(1/(-5)). Suppose -73*k = -200*k - 170 - 465. Are k and d nonequal?
True
Suppose 2*g + 144 = 4*m, -94*m + 89*m - 150 = 3*g. Which is smaller: -73 or g?
-73
Let n(m) = 706*m**2 + 6*m + 5. Let j be n(-1). Suppose w + j = -5*s, -s + 2*w - 140 = 1. Which is smaller: -0.1 or s?
s
Suppose -125*g + 144*g = 9690. Which is bigger: g or 505?
g
Let m be (112/40)/((-3)/705). Let g be (m/16)/(-7) - (-1)/2. Which is smaller: 6 or g?
6
Let b be (2 - (-35)/(-14))/((-106)/1122892). Let l = b + -5297. Which is smaller: 0 or l?
l
Let m = 36/203 + 8/609. Is 0 at least as big as m?
False
Let k be ((-48)/9)/4 - (-42)/18. Let a(c) = 6*c**3 + 2*c**2 - 4*c + 2. Let y be a(k). Is 13 smaller than y?
False
Let p(v) = 4*v - 23. Let t be p(7). Let u be 0/(t - (-36)/(-6)). Which is bigger: -0.2 or u?
u
Let b(r) = r**3 - 19*r**2 + 24*r + 16. Let k be b(18). Suppose 4*u + 3*q + 349 = -239, k = -u + 5*q. Is -144 at least as big as u?
True
Let y be (1/6)/((-45)/(-90)). Let m be 6/(3 + (-4 - 1)). Which is smaller: m or y?
m
Suppose -y - 2*n + 8 = -6, 4*n = 3*y + 8. Let w be (y - 51)/(4/16) - 6. Is w at most as big as -191?
True
Let m(a) = -2*a**3 - 19*a**2 - 10*a + 3. Let j be m(-9). Let w be (-7)/((-14)/j)*-3. Let x be 206/(-12) + 2/(-6). Which is smaller: x or w?
w
Let p = -791 + 650. Let w be (-470)/p*324/(-170). Which is bigger: w or -5?
-5
Let y(c) = -c**2 - 2*c + 26. Let h be y(4). Let a be (30/(-870))/(3*-1 + h). Let o = 0 + 0. Are a and o equal?
False
Let c(n) = n + 1. Let r be c(2). Suppose -u - r - 9 = -3*f, -3*u - 24 = 3*f. Let i be (53/u - -6)*3*19. Is i greater than 6?
True
Suppose 46 = r + 6. Suppose -3*g - 3 = 9, i - 4*g - r = 0. Is i < 26?
True
Suppose 185 + 4562 = -376*r - 1269. Suppose 5*u - 4*o + 173 = -2*o, u + 4*o = -17. Is r greater than or equal to u?
True
Suppose 3062 = -22*c - 2548. Which is smaller: c or -259?
-259
Let d = 54.9584 + 0.0416. Let b = 56.1 - d. Which is greater: -20 or b?
b
Let u be (7/1554)/((16/144)/(3/(-6))). Which is smaller: 1 or u?
u
Let g be 12*(0 - (-7)/(-3)). Let x(t) = -52*t - 205. Let k be x(-4). Suppose 0 = -13*r + 17*r + w + 118, -r = k*w + 24. Do r and g have different values?
True
Let d be 3/8 + 3/(-6). Suppose -71*i + 69*i - 5*j = -416, -3*i + j = -590. Let a = 197 - i. Is d < a?
False
Let c be 113/(-226) + (-14698)/4. Which is smaller: 0 or c?
c
Let a = -40.96 - -38.66. Is a less than or equal to -37?
False
Let c(s) = -s**3 + 21*s**2 + 12*s + 56. Let r be c(18). Let f be (15/30)/(2/r). Is f greater than or equal to 313?
False
Suppose -17*j + 15*j = 1422. Let w = j + 343. Let l = 2601/7 + w. Are 5 and l nonequal?
True
Let n(l) be the first derivative of -3/2*l**2 - 1 - 6*l. Let m be n(-12). Is 29 greater than m?
False
Let m be 44/2 - 4/(9 - 7). Suppose -12*n + m*n = 8. Is n not equal to -2/17?
True
Let u(a) = -a + 16. Let o be u(20). Let l be ((-306)/(-81))/(o/(-6)). Which is smaller: l or 5?
5
Let g(a) = 16*a + 4. Let z be g(4). Let t = 90 - -4. Let s = z - t. Which is bigger: s or -28?
s
Let g = 7283 - 7283.06. Is g less than or equal to 5/58?
True
Let i(x) = x**3 - 14*x**2 + 51*x - 16. Let o(f) = -f**2 - 4*f + 84. Let b be o(-11). Let s be i(b). Which is bigger: s or -18/11?
-18/11
Let w = 47 + -47.31. Let g = w - -0.29. Let x = 7/32 + 1/288. Which is bigger: x or g?
x
Let p be 3/12 - 195/764. Suppose 239*c - 151*c - 88 = 0. Which is smaller: p or c?
p
Let d = -405 + -3302. Which is bigger: d or -3705?
-3705
Let s(w) = w**2 - 176*w - 78. Let r be s(0). Is r <= 0?
True
Let i be 36719/94*16/(-24). Let v = -781/3 - i. Is v bigger than 0?
True
Suppose -1826 = h + 3*f, 5*f = 3 - 8. Which is greater: -1824 or h?
h
Let f = -1044 - -1044.153. Let p = 37 + -36. Which is smaller: f or p?
f
Let x = 2186 - 6556/3. Is 1431 > x?
True
Let g be (48/(-3) - -17)*(1 - 2). Is g at least 8/217?
False
Let m be 3 + 0 + 35893/(-3212). Let a = m + -42/73. Let t be (-3)/((-383)/(-110) + -3 + 12/(-66)). Which is smaller: a or t?
t
Let o(y) = -3*y**3 + 5*y**2 - 5*y + 3. Let w be o(3). Suppose 3*l + 0*l - c + 143 = 0, 0 = -l - c - 45. Let x = w - l. Do x and -6/11 have the same value?
False
Let z = 3325/624 + -69/13. Let x(j) = -3*j + 13. Let r be x(3). Suppose 0 = r*l - 8, -4*l + 4 = -2*i - 4. Which is greater: i or z?
z
Let r = -189 + 191.39. Let l = r - 2.29. Which is bigger: l or 15.9?
15.9
Let a = -684 - -739.6. Let i = -297.4 - a. Is i less than or equal to 0?
True
Suppose 0 = 3972*l - 3965*l - 1232. Is l less than or equal to 4?
False
Let v be 3/7 + (-715)/(-3003). Let n = 94 - 94. Is v bigger than n?
True
Let d(x) be the third derivative of x**4/24 + 10*x**3/3 - 4*x**2. Let j be d(-20). Let r = -0.11 + 3.71. Is r at least j?
True
Let n(q) = 6*q**2 + 15*q - 14. Let j be 4/(-26) + 2820/(-260) + 4. Let w be n(j). Which is smaller: w or -0.1?
-0.1
Let c = -5.054 - -5.1. Let k = c - 0.339. Which is smaller: 0.1 or k?
k
Suppose -3*u - 4*t + 15 = 0, -4 = 4*u - 4*t + 4. Which is smaller: -24 or u?
-24
Let m(o) = 2*o**2 + 14*o - 424. Let b be m(-21). Is 170 greater than or equal to b?
True
Let x = 0.24 + -1.24. Let c be (1 + -2)/((-962)/(-2220)). Which is greater: x or c?
x
Let r be 5/2*(-39)/(2340/(-7824)). Which is smaller: r or 324?
324
Let b = -158 - -393. Let p be b/45 - 0 - 2/9. Let m be (-48)/(-14)*(-42)/(-30). Which is smaller: p or m?
m
Let c be ((-10)/(-14) + -1)*-7. Suppose -c*w - 3 = 1. Let s be (-10 + (-784)/(-96))*8/6. Which is greater: s or w?
w
Let t = -225 - -128. Let w = t - -116. Which is smaller: 17 or w?
17
Suppose -384 = 398*t - 404*t - 4*k, -k - 114 = -2*t. Is 20 < t?
True
Let o(j) = 5*j**3 + 97*j**2 - 33*j - 29. Let u be o(-20). Which is greater: 1 or u?
1
Let h = 3.87 + -4.51. Let d = -1.14 - -0.4. Let q = h - d. Is q <= 4/7?
True
Let w = 46 + -124. Let x = -80.7 - w. Which is smaller: x or 2?
x
Let n = 33064 - 33061. Let t(m) = -m**3 + 6*m**2 + 7*m + 3. Let q be t(7). Are n and q equal?
True
Let l(u) be the first derivative of u**3/3 + 3*u**2 - 14*u + 1. Suppose 20*v - 9 = 23*v, -2*v = 4*s + 30. Let q be l(s). Is -2 smaller than q?
False
Let d be 15/(-45) - (-1 - 5/(-3)). Let o be 2 - 30/(2 - d). Let j be 33/(-5) + 4/(-10). Which is smaller: o or j?
o
Let t = -46 + 48. Suppose -5*d = -3*i - 6 - 3, 2*d + t = 4*i. Suppose -3*y + 12 = 0, -i*y = -h + 2*y - 17. Which is bigger: -2/35 or h?
-2/35
Let p = -58.532 + 59. Let m = p + -0.368. Is m != -0.39?
True
Let x be 10/(-15) - (-14)/21 - -15. Suppose -x = 3*g + 12. Let f be ((-1)/2)/(2/(-12)). Which is greater: g or f?
f
Let r = -43/1821 - -12884306/30957. Let q = 416 - r. Let j be (1 - -1 - 2)*(-5)/(-10). Which is smaller: q or j?
q
Let o(j) = 3*j**2 + 70*j - 46. Let x be o(-24). Let f be -3*(x + 32/(-12)) - 3. Which is greater: f or 0?
0
Let p be 2990/70 - (-4)/14. Let d = 77 - p. Suppose -31*u = -d*u + 78. Is 26 at least u?
True
Let l be (-1)/2*6 - 2. Let x be (1161/(-72) - -16)*38. Which is smaller: x or l?
l
Let l(v) = -v**3 - 14*v**2 + 1. Let j be l(-14). Let x be -2 + (-2 - 110/(-26) - 0). Let z = x - -27/52. Is z at least j?
False
Let r = 317 - 306. Let w be r + -12 - (-4)/4. Let n = 58210/63 - 924. Which is smaller: w or n?
n
Let t = 3264 + -1847. Is -2 at most as big as t?
True
Let d be 4/16*(-20)/545. Let r = 267 + -262. Suppose -r*i = -7*i - 2. Is i >= d?
False
Suppose -160*m + 170 = 10. Which is smaller: m or 18/4079?
18/4079
Suppose 6*p + 4*p + 14*p = 16752. Are p and -3 equal?
False
Suppose y + 2*o = -202, 2*o = 4*y + 7*o + 808. Let b be ((-5)/(-38))/((-6)/(-9210)). Let w = b + y. Is 0 smaller than w?
False
Let g be 0 + (385/(-100) - -4). Which is smaller: -11 or g?
-11
Let u be (-4 - (-60)/16)*(-8)/2. Suppose 16 = -4*p - 36. Which is smaller: u or p?
p
Suppose 2*b + 0*x + x = 6, -5*b = x - 12. Suppose -2*o - 3 = -3*y, -b*y + 4 = -10*o + 8*o. Which is greater: y or 2/37?
2/37
Let s = 7574 - 13425. Is -5853 > s?
False
Suppose -128*o + 1 = -127*o. Let a = 1930/76953 - -1/681. Which is greater: o or a?
o
Let h be 10/25 - ((-28)/5 + 2). Let n(d) = -6*d - 18. Let s be n(-6). Let m be ((-117)/s)/((-5)/2). Which is greater: m or h?
h
Let v be 2/(-18) + (1/3 - 2560/(-144)). Does 31 = v?
False
Let k be (-2)/9 + 2*6/54. Suppose k = -4*m - 4*m + 1056. Which is smaller: m or 131?
131
Let v = -67 - -58. Let n be (1/(-1))/(3/9). Is n <= v?
False
Let d = 53 - 49. Suppose -d*b