-25). Which is smaller: -1 or k?
k
Suppose 0 = -10*c + 14*c. Let i = -29413 - -29392. Does i = c?
False
Suppose -1059 = -4*t - 3*s, -2*t = -t - 3*s - 276. Suppose 0 = -8*u + 349 + t. Which is greater: u or 76?
u
Let k(r) = 3*r**3 - 13*r**2 - 2*r + 11. Let h be k(4). Suppose 0 = -v - 3*v + 2*x - 14, -x = -3*v - 9. Let z be v/(-6) + 28/(-3). Which is greater: z or h?
z
Suppose -35*t - 7242 = 24*t + 43*t. Is -57 >= t?
True
Let f(q) = 5*q**3 + 2*q**2 - 3*q**3 - 35 - 2*q + 28 + 2*q**3. Let g be f(-3). Let i = g + 83. Is -8 >= i?
True
Let u = 319.22 + 4.78. Let g = 332 - u. Are 2 and g equal?
False
Let d(h) = -h**2 + 8*h + 17. Suppose 3*a = -3*y - a + 34, -a = -2*y + 19. Let f be d(y). Let q be (12/(-5))/3*10. Is q not equal to f?
True
Suppose -14*y - 94 = -12*y. Let t = y - -174. Is t greater than 128?
False
Suppose m - 9*s = -5*s + 12, 28 = -m - 4*s. Let g be (-3 - (-28)/m) + -2. Which is smaller: g or -1?
g
Let b = 25 - 23. Suppose 3*c + 0*y = y + 1, b*c + 3*y = 19. Let x = 35257/27433 + 2/3919. Which is greater: c or x?
c
Let f(j) = -j**2 - 23*j + 624. Let n be f(16). Is n not equal to 20/233?
True
Suppose 0 = 5*l - 4*l - 7. Suppose -4 = -w + l. Let n be ((-144)/(-27))/(-2 - (-24)/9). Which is smaller: w or n?
n
Let m = -4514 + 17835/4. Which is greater: -54 or m?
-54
Let f be (-2900)/(-40) + (-5)/2. Suppose 3*i + 7*i - f = 0. Let n = i - -2. Is n <= 8?
False
Suppose 11*n - 16*n + 5 = 0. Let l = n + 59. Suppose f - 4*t - l = 0, -8*f = -5*f - 2*t - 150. Do f and 50 have the same value?
False
Let h(b) = -b**3 + 28*b**2 + b + 1. Let u be h(28). Suppose u*p - 440 = 9*p. Which is greater: p or 4?
p
Let u(j) = -664*j - 663. Let v be u(-1). Is 1/2669 > v?
False
Let r = -40 - -74. Suppose 3*q + 38 = -4*v, 2*q + q - r = 5*v. Suppose 7*h = w + 52, -5*h = 2*w - 5*w - 44. Is w bigger than v?
True
Let v = 87 - 73. Let u be (-84)/32*(-3)/v. Let y = -1/16 + u. Is y at most as big as 5.1?
True
Let q(j) = j**3 + 5*j**2 - 2*j - 2. Let a be q(-4). Let d = 16.8 + -16.846. Let l = 0.054 - d. Is l less than a?
True
Suppose 3*c - 8614 = 4*j, 2*c + 3*j + 0*j - 5720 = 0. Let s = -117512/41 + c. Suppose -34*i + 248*i = -58*i. Which is smaller: i or s?
s
Let j = 0.08 - -2.92. Let i = 94.72 - 103.299. Let b = i - 0.421. Which is smaller: b or j?
b
Suppose 13 + 3 = -l. Let t = 14 + l. Let g be (80/125)/(2/5) + -1. Is t at most as big as g?
True
Let g be (6/(-16))/((-7)/((-28)/(-3)))*0. Are g and 2/17079 non-equal?
True
Let n(g) = 181*g - 50. Let r be n(8). Suppose -2*z = -6*z + 3*a - r, 0 = -a - 2. Which is smaller: -2/7 or z?
z
Let t be (-6)/(72/(-20)) + (-3)/(-9). Suppose -3*v = -v + t*v. Let w = -76295/63 + 1211. Which is bigger: w or v?
v
Let n = 19/1430 - -160103/4290. Is 37 >= n?
False
Suppose 32*f + 14 - 46 = 0. Let a be (22/66*(f - 1))/1. Which is smaller: a or -2/369?
-2/369
Let z = -72.5101 + 0.0101. Let y = -72.52 - z. Is y greater than 1/18?
False
Let n = -2.3 + 2. Suppose 2*b = 4*q + 78, 2*q + 5*b + 79 = 10. Let t(m) = -m**2 - 19*m + 68. Let h be t(q). Is h greater than n?
True
Let c(v) = -v + 25. Let k be c(14). Suppose -k*r + 13*r = 8. Suppose -2*y + r*y = -3*y. Which is bigger: y or 1/2?
1/2
Let x = 206 - 72. Let l = -132 + x. Is l >= -0.011?
True
Let i(v) be the third derivative of 0 + 1/15*v**5 + 0*v + 5/24*v**4 - 5/6*v**3 - 36*v**2. Let o be i(2). Which is smaller: 23 or o?
o
Let u = -24998 + 26472884/1059. Which is smaller: u or -1?
-1
Let m(c) = -10*c**2 + 314*c - 314. Let h be m(1). Are 275 and h equal?
False
Let k(p) be the first derivative of p**3/3 + 11*p**2/2 + 10*p + 3. Let m be k(-10). Suppose -10*d + 12*d = m. Is d smaller than 12/11?
True
Suppose -2 = -8*x + 6. Let g be (4 - x)*-1 + -87 + -138. Which is greater: -229 or g?
g
Let u = -26024 - -46835. Let h be u/2748*(-6)/(-7). Let j = h - -2/229. Is 8 < j?
False
Suppose -2*l + 4 - 8 = 0. Let j be (-1)/((-546)/(-291)) - (l - 0). Let s = -10/7 + j. Which is smaller: 1 or s?
s
Let m be (-1 - 1) + (-119)/(-3). Let a = 174984 + -174946. Do a and m have the same value?
False
Let h(n) = n**3 - 13*n**2 - 15*n + 22. Let v be h(14). Let y(x) = -x**2 + 10*x - 16. Let d be y(v). Let m be (-22)/14 - (-4 - -2). Which is greater: d or m?
m
Let p = 623 + -1793. Let q be (15/p)/((3/2)/1). Which is greater: -2/3 or q?
q
Suppose 259*b - 518*b - 1200 = -247*b. Which is bigger: b or -78?
-78
Suppose -4*a + 20 = -4*c, -326*c = -330*c - 20. Is -44/181 < a?
True
Let w be (-1 - -8) + 20/(135660/(-47413)). Which is smaller: w or 1?
w
Let i(s) = -7*s**2 + 37*s - 8. Let o be i(5). Suppose 1 = -n - 7. Let v = 7 + n. Which is smaller: o or v?
v
Let y(z) = z**2 - 119*z + 2988. Let i be y(38). Let h be 18/24*(-718)/6. Which is smaller: i or h?
i
Let x(c) = 8*c - 837. Let o be x(0). Let g = o - -873. Is g smaller than 462/13?
False
Let b(z) = 7*z**2 - 16*z - 40. Let q be b(-2). Suppose -2*v - 723 = 5*x, -q*v + 5*x = -18*v + 673. Is -350 bigger than v?
False
Let p = 413 - 273. Suppose s = 3*h - 33, 3*s + p - 54 = -4*h. Let u = -88/3 - s. Which is smaller: -0.22 or u?
-0.22
Let s = 267 + -142. Let i be (-8)/(-64) - s/104. Which is smaller: i or -3?
-3
Let i be 6/(-15)*310/31 - 70216/(-17556). Which is greater: i or 0?
0
Let r(y) = y**2 - 8*y + 2. Let w be r(8). Suppose 0 = -w*a + 5*a + 261. Let m = a + 341/4. Which is smaller: -1 or m?
m
Suppose 7*u + 526736 = 21*u. Suppose -13144 = -36*x - u. Are -681 and x unequal?
True
Let p = -24692/4035 - -68/269. Let u = 31/5 + p. Is 4.1 greater than u?
True
Let l(g) = g**3 + 5*g**2 + 2*g - 3. Let t be l(-3). Suppose 0 = k - f + 4*f - 140, -5*f = -3*k + 364. Let y = 134 - k. Which is greater: y or t?
t
Let r = -21.61 + 20.51. Which is bigger: r or 1/2?
1/2
Let s be (-2)/((8/15)/(43/516)). Is 35 greater than or equal to s?
True
Suppose 4*y - 9 = 2*p - 3, -16*p = 5*y + 11. Which is greater: 28/1023 or p?
28/1023
Let v = 8373 + -8368. Which is bigger: -95 or v?
v
Let b = 24998 - 24993.0123. Let g = -0.0123 - b. Is g greater than -0.67?
False
Suppose 4 = -3*o + 67. Let l = -73066/9 + 8140. Which is greater: l or o?
l
Suppose -115 = 2*o + 3. Let z = 119 + o. Let t = z - 61. Does t = -1?
True
Let l = -149 + 84. Let d = 92.7 - 29.7. Let w = d + l. Which is smaller: -1/5 or w?
w
Let b = -6009 - -6001. Let j(g) = -g**2 - 4*g + 5. Let r = -15 - -9. Let p be j(r). Which is smaller: b or p?
b
Let a = 98104 + -488122/5. Is 480 less than or equal to a?
False
Let t = -5047 + 5046.81. Which is greater: t or 1.4?
1.4
Suppose 108 - 214 = 18*c + 182. Which is greater: c or -14?
-14
Let b be ((-42)/(-15))/((-1)/(-5)). Let d = 110 + -241. Let q = d - -130. Which is smaller: b or q?
q
Suppose 48*s - 46*s - 216 = 2*x, -3*x + s - 316 = 0. Which is bigger: x or 0.06?
0.06
Let h(x) = -32*x**3 - 31*x**2 + 21*x + 28. Let r be h(-8). Is r not equal to 14261?
True
Let v be (-1344)/424 - (-3 + (-1 - -1)). Let f = -29/795 - v. Which is smaller: f or 10?
f
Suppose -4*g - r + 580 = 0, 4*g - 5*r - 322 - 258 = 0. Is g bigger than 4/9?
True
Suppose 12220 = 18*b - 65*b. Let v be b/(-35) - (-12)/(-28). Which is greater: 4 or v?
v
Let p(q) = q**3 - 10*q**2 + 9*q - 5. Let h be p(4). Let m = h - -119. Do m and 1 have the same value?
False
Let u = -1.3437 + 0.1097. Let b = -0.234 - u. Are b and -257 unequal?
True
Let c be ((-70)/(-364))/((-7)/2). Is 1 equal to c?
False
Let k(h) = h**3 + 4*h**2 - 15*h + 9. Let g(y) = 2*y**3 + 8*y**2 - 28*y + 18. Let b(z) = 2*g(z) - 5*k(z). Let f be b(-7). Is 43/9 at least as big as f?
False
Let a(o) = 5*o**2 - 24*o - 122. Let u be a(14). Are u and 521 non-equal?
True
Let r(b) be the first derivative of b**3/3 - 7*b**2/2 + 28*b + 129. Let i be r(4). Is 14 greater than i?
False
Let x be (-1 + 39/5)/(1037/1105). Which is smaller: x or 8?
x
Let r(s) = 113*s**2 + 321*s - 959. Let n be r(3). Which is bigger: 1026 or n?
1026
Let q = 7/44 - -89/11. Let o(j) = -2*j**2 - j + 53. Suppose 16*m + 40 + 40 = 0. Let u be o(m). Which is smaller: q or u?
u
Let q(p) = p**3 + 48*p**2 + 47*p - 2070. Let z be q(-46). Is z greater than or equal to -4588?
True
Let f(h) = -3*h**2 + 2. Let b be f(-2). Let k be (-2 - b)*(-3)/26. Suppose -2*a - 7 = 5*a - 0*a. Which is greater: a or k?
k
Let c = -957 + -1726. Is c at least -2683?
True
Let z be -2 + 356/(-32) - 7/(-56). Is z at least as big as -17?
True
Let l = -4.8 + -1.2. 