t as big as t?
False
Suppose 12 = -488*s + 494*s. Let o be 0*(-10)/60 + s/8. Is 34/3 greater than o?
True
Suppose z + 2*x + 2 = -x, 3*z + 39 = 2*x. Suppose -48*k + 50*k = -42. Let d = k - -22. Which is smaller: z or d?
z
Let z be ((-4)/6)/((-15)/((-540)/24)). Let v = -1/7858 - -110079/526486. Is v greater than or equal to z?
True
Let f(p) be the third derivative of -p**6/120 - 5*p**3/6 - 7*p**2. Let m be f(-4). Let j = 53 - m. Is -2 greater than j?
True
Let p be 140/(-1750) - (-124596)/(-50). Which is smaller: -2491 or p?
p
Let d(l) = -15*l + 27. Let v(c) = -c + 2. Let w(p) = d(p) + 6*v(p). Let j be w(5). Is j at least 1/2?
False
Let l be 2/(-3) - 2367/(-3429). Let t = 16223/7 - 10303488/4445. Let a = l + t. Which is greater: 1 or a?
1
Let x = -61784/3 + 20585. Suppose -4*f = a - 2*a + 7, 26 = -2*a - 2*f. Is a != x?
True
Let g = -2600 + 2601.087. Let i = -1.16 + g. Let x = i - 0.027. Which is greater: x or -0.22?
x
Let d = 26 + -23. Let p(y) = -1 - y + y**3 + 0*y**3 + y**2 + y**d + 30*y**3. Let z be p(-1). Is z bigger than -30?
False
Let d be 2/7 - (-68)/(-42). Let r = -84 - -84.078. Let p = r + 0.022. Which is smaller: p or d?
d
Let s be -3 + 28*168/32. Suppose 0 = 5*y - 8*y + 2*j - 124, -s = 3*y + 3*j. Are y and -51 nonequal?
True
Let b(h) = -117*h**3 + 2*h**2 - 2*h - 3. Let m be b(-1). Suppose -14*o + 16*o = -m. Which is smaller: -58 or o?
o
Let p = -26.09283 - -0.09283. Which is greater: -80/3 or p?
p
Suppose x + 2*b - b = 81, x - 82 = -2*b. Suppose h = 28 - x. Let l = -105/2 - h. Which is greater: -3 or l?
l
Let q = -74 - 5. Let j = q - -40. Let c = j - -50. Are c and 0.2 nonequal?
True
Let u = 26838 - 26838. Which is smaller: u or 43/447?
u
Let o = 36927 + -33986. Are -0.2 and o equal?
False
Let f = 3709 - 4056. Which is smaller: f or -345?
f
Let j be -14*(-12)/28 - ((-20)/(-4) - 0). Let a(v) = 2*v + 2. Let y be a(-2). Which is smaller: j or y?
y
Let d = -2/781 + 4712/10153. Suppose 0 = -4*u - 2*v - 0 - 6, u + 3*v = -9. Suppose u = 5*x - m - 10, 4*x - m = 4 + 5. Which is smaller: d or x?
d
Let x(f) = 4*f + 2. Let a be x(-3). Let z = 307 - 351. Let w = z - -43. Which is smaller: w or a?
a
Let d = -46 - -46. Let l be 3 - -1 - (d/8)/(-7). Suppose 4*h = 12, -l*x = -3*x - 3*h + 18. Is x not equal to -10?
True
Let d(l) = l**3 + 8*l**2 - 32*l + 28. Let n be d(-11). Let g(x) = -x**3 + 22*x**2 - 85*x + 2. Let u be g(n). Is 23 at most as big as u?
False
Let h be (2 + -4)*(-11)/(-72 + 6). Suppose 98*i - 94*i - 52 = 0. Which is bigger: i or h?
i
Suppose -12*r + 67 = -29. Let z = 8 - r. Let u = -8279/9 + 921. Which is greater: z or u?
u
Let q(b) = b**2 - 2*b - 3. Let i be q(4). Let d = 2/529 - -31706/8993. Which is smaller: i or d?
d
Let t(c) = 7*c**3 + 5*c**2 + 4*c - 7. Let r be t(-3). Let i = r + 240. Is 75 greater than i?
False
Suppose 0 = 5*v + 4*b + 10, -30*b = -26*b. Let a be (-2 + 5*-5)*-1. Are a and v equal?
False
Suppose 19*r - 85*r = -1716. Is r > -7?
True
Let c(x) = -x**2 + 9*x - 12. Let n = 23 - 15. Let w be c(n). Let y be 0/(w + -2 + 10). Is y greater than -7/16?
True
Let l = -43.6 + -145.6. Let v = l + 189. Which is smaller: 2.1 or v?
v
Suppose -12*o + 16*o = -12. Let c be o/18 - (-15)/27. Which is smaller: 1 or c?
c
Let n = 2.262 + -0.162. Let h = n + -3.1. Is -28/9 greater than h?
False
Let t = 10 - -75. Let u = t + -42. Let q = u + -44. Which is smaller: q or -28?
-28
Suppose 0 = -12*h + 3*h. Suppose 3*p - 1 = r, 5*p - 10 = -4*r + 3. Which is greater: p or h?
p
Let s = 125 + -52. Suppose -5*x = 4*l - s, 5*x + l - 94 = 4*l. Suppose 4*m - 5*n = -2, 0 = 5*m + n + x. Is m smaller than -1?
True
Suppose 0 = 3*a + 114 + 198. Let s be (1 - 3) + 3 - -104. Let n = s + a. Which is smaller: -2/17 or n?
-2/17
Let n = 34 - 12. Let t(j) = -102*j - 26498. Let i be t(-260). Is n bigger than i?
False
Let b = 101 + -444. Let h = 305 + b. Is -2 not equal to h?
True
Let m be 2 + (15 - (-490)/(-28)). Which is greater: 4858 or m?
4858
Let q be 5 + 2/6*-51. Let z be q/30 + (59/260)/1. Which is smaller: -1 or z?
-1
Suppose 85 = 27*r + 166. Which is bigger: r or 95?
95
Suppose 10*j - 20 - 32 = -2. Let h = 21.15 - 21. Which is smaller: j or h?
h
Let n be (-21 - -11) + -1 + -45. Do 2 and n have the same value?
False
Let a = 6 + 0. Let c = -244 - -266. Suppose c*w - 8*w = -14. Is a >= w?
True
Suppose o + o = 0. Suppose -n = 2*g + 2*n + 14, -4*g + 2*n + 4 = o. Let j = -1921/1820 - 3/140. Do g and j have the same value?
False
Let q = -2 + 4. Let p be (25/30 + 610/(-60))*3. Which is greater: q or p?
q
Let u = 203 + -191. Let d be 1/(-3) - 29/3. Let j = d + 22. Are j and u non-equal?
False
Let f = 0.8 - 7.8. Let g be (204/(-306))/(6 + -5). Which is greater: g or f?
g
Suppose 20*t - 21*t = 1. Let m(i) = 99*i + 7. Let y be m(t). Let o = -20 - y. Which is greater: o or 71?
o
Let s(v) = -27*v + 48. Let i be s(2). Let x be 78/(-1573)*(-2 - 10/i). Which is greater: x or -4?
x
Let o be -2 - 0 - (5 - (6 - -1)). Suppose o = 12*r + 3*r. Is r > 14/25?
False
Let k be ((-4)/425)/(2/10). Let l be (12 - 12)/(-12 + 15). Is k bigger than l?
False
Let c = -9.25 - 0.75. Let v = 9.9 + c. Let h = -135.8 - -136. Does h = v?
False
Let p(z) = -z**3 - 7*z**2 - 15*z - 16. Let f be p(-5). Suppose 0*r = f*r. Let b be 2/(-31 - (5 - 3)). Is r at least as big as b?
True
Let k(g) = -g**3 - 15*g**2 + 15*g - 12. Let j be k(-16). Suppose 33 + j = -r. Let q = r + 37. Is q at least 3.1?
False
Let b be (5 + -9 + 6)/(8/836). Which is smaller: 835/4 or b?
835/4
Let y be ((-751416)/36)/(350/132). Let w = y - -7872. Is 1 > w?
True
Let i = 1119 - 348. Let j = -2/194079439 - -12419337381215/16108593437. Let k = i - j. Is -1 greater than or equal to k?
False
Let v be 838/(-15) + (-126)/(-630) - 6. Is v at most -6/7?
True
Let d = -14 - -13.96. Let u = 0.13 - d. Let a = -4.84 - -3.84. Is a != u?
True
Let i(q) = -9*q**3 - 4*q**2 + 15*q + 6. Let u be i(-3). Which is smaller: 165 or u?
165
Suppose 12*s + 1024 = 44*s. Let l(o) = o**3 - 31*o**2 - 31*o - 23. Let c be l(s). Which is smaller: 10 or c?
c
Let x(p) = 2*p**2 + p - 12. Let r be 0 + (-1)/4 - (-22)/(-8). Let b be x(r). Suppose 4 = -4*c + g + 5, g - b = 0. Are -1 and c nonequal?
True
Let t = 542 + -531.8. Which is greater: 16 or t?
16
Suppose 8*n + n + 13*n = 22. Which is smaller: n or 1/507?
1/507
Suppose 104 = 9*s - 247. Let i = 1972 - 1933. Is s at most as big as i?
True
Let t(v) = 26*v**2 + 1. Let b be t(-5). Let d = b + -456. Which is bigger: 193 or d?
d
Let c(i) = -i + 1. Let a be c(-3). Let x be (-4 - -4 - a)/((-6)/(-105)). Let s be 3/((-3)/(-2))*77/x. Which is bigger: s or -1?
-1
Let o = 32 + -23. Let l be 3/(-6) - (-7)/2. Suppose -l + 14 = g. Are o and g unequal?
True
Let c = -16797 + 3157833/188. Is c smaller than 37?
True
Let x = -2.47 - -2.156. Let u = 0.214 + x. Which is greater: -282 or u?
u
Let h = -17 - 19. Let v = h - -81/2. Let y be (106 - 35) + -81 - ((-2)/5)/(6/240). Is y at least v?
True
Let y be 260/104*4/10. Let t = 503177/101 + -4982. Is y equal to t?
False
Let l = -129 - -67. Let b = -59.96 - l. Let f = 0.04 - b. Do -0.06 and f have different values?
True
Suppose -693 + 630 = -3*w. Let v be 13983/(-1998) + w + -14. Which is greater: v or 1?
1
Suppose -9*r - 260 = -13*r. Let o(y) = -2*y**3 - 3*y - 3*y**2 - 65 + r. Let h be o(-2). Do 9 and h have the same value?
False
Let a(m) = m - 10. Let g be a(7). Let l be (g - 5)/((-1)/(-4)). Let q(i) = -i**2 + 46*i - 337. Let h be q(38). Which is smaller: l or h?
h
Suppose 4*z + 17 = -3*b, 5*b - 17 = z - 7. Is 10/221 at least b?
False
Let u be ((-2)/3)/(616/44). Which is smaller: -24 or u?
-24
Let r = 1787035/914031 - 569/291. Are r and -2/3 nonequal?
True
Let z be -24 + 13 + 4 - -2*67. Is z not equal to 129?
True
Suppose 4*r - 1 = 3*r. Let c be -4 + 51 + (r - 1). Let b = 66 - 20. Which is smaller: b or c?
b
Suppose 36*l + 45 = -27. Let d be 1/l + (-7)/14. Which is smaller: -52 or d?
-52
Let d(o) = o**3 - 3*o**2 - o - 78. Let s be d(0). Let p = s + 91. Which is smaller: p or 12?
12
Suppose 0 = -35*f - 1544 + 1229. Which is bigger: -269/31 or f?
-269/31
Let i = 52/3 + -23. Do i and -5 have the same value?
False
Suppose 290 = 11*v - 16*v. Let l = -58 - v. Let w be ((-524)/(-540) + -1)*-10. Is l < w?
True
Let o(c) = c**3 + 6*c**2 - 1. Let g be o(-5). Let l(w) = 2*w - 11. Let p(d) = -d**3 + 15*d**2