2 at least q?
True
Let z(j) = -10*j**3 + 11*j**3 + 6 + 4*j**2 + 5*j**2 + 8*j. Let p be z(-8). Suppose -p*o = -3*o + 36. Which is greater: -13 or o?
o
Let w = -1.79 - -0.19. Let x = -1.49 - w. Let l = 1.89 + x. Which is smaller: -0.4 or l?
-0.4
Let j = 971.1 - 971. Which is smaller: j or 3/64?
3/64
Let u = 0.109 + 0.041. Are u and -0.4 nonequal?
True
Let j(w) = w**3 - 7*w**2 + 7*w - 5. Let h be j(6). Suppose -3*b - 24 + 20 = l, 5*l = -3*b - 8. Is h greater than b?
True
Let h(b) = 7*b + 21. Let k be h(4). Which is bigger: 50 or k?
50
Let u(o) = o**2 - 6*o - 4. Let y(f) = f**2 - 6*f - 4. Let c(h) = -2*u(h) + 3*y(h). Let g be c(9). Is 24 greater than g?
True
Suppose -5*k + 2*k = -4*q - 2127, -5*q + 2*k = 2650. Let w = q + 2648/5. Is w not equal to 3?
True
Let n = 37 + -69. Let l = 36 + n. Is 7 at most as big as l?
False
Suppose 91*r - 10 = 81*r. Is -1/7 less than or equal to r?
True
Let p = -514 - -563. Which is smaller: 48 or p?
48
Let s(h) = h + 7. Let f be s(-7). Let x be (8 + -5)/((-6)/(-16)). Let p be x/10 + 27/(-15). Is f less than p?
False
Let b be -140 - 8/3*3/(-2). Is b greater than or equal to -674/5?
False
Let m = 238 - 234. Do m and 54/11 have the same value?
False
Let o = -72 + 84. Let f be (o/(-20))/((-1)/15). Is f not equal to 10?
True
Let j be -5*8376/(-40) - 13. Which is greater: j or 1033?
j
Let u(n) = -3*n**3 + 1. Let j be u(-1). Suppose -12 = j*f - 2*f. Let a = f + -1. Is a bigger than -2?
False
Let t = -0.099 - -0.099. Which is smaller: t or 190?
t
Let t(x) = -x**2 + x + 40. Let p be t(0). Let l be (1 + 2)/(12/p). Which is smaller: l or 9?
9
Let q be 2/6 + (-1342)/4158. Which is smaller: -1 or q?
-1
Let m = -12344851 - -18060519746/1463. Let b = 35/19 - m. Which is smaller: b or 0.1?
b
Let t be (-278)/60 - (232/(-48) - -5). Which is smaller: t or -7?
-7
Let h = 101 + -91.4. Let o = 9.4 - h. Is o bigger than 0.12?
False
Suppose 2*b - 5*r + 4 = 0, -b - 2 = -0*b + r. Let x(y) = -y + 7. Let c be x(3). Suppose 0 = -c*a - 1 - 11. Is a less than or equal to b?
True
Let p = 4.96 + -1.51. Let q = p + -3.6. Is -0.1 != q?
True
Suppose 0 = -101*f + 21*f + 80. Is f greater than -6/221?
True
Let h = -23/14 - -15/7. Let j = 2 - 6. Which is greater: h or j?
h
Let v = 37 + -38. Let d be v/((-102)/(-21) + -5). Do 17/3 and d have different values?
True
Suppose -20*x = -22*x + 32. Which is bigger: x or 10?
x
Let o = 34 + -33.6. Are o and -22 non-equal?
True
Let c be (-4)/10 - (-188)/20. Let x(q) be the first derivative of -q**2/2 + 12*q + 6. Let w be x(c). Is 1 bigger than w?
False
Let k = -698 + 585. Is k at least as big as -1250/11?
True
Let a = -3.89 - 0.11. Let q = a + -16. Which is smaller: 0 or q?
q
Let g be 30/(-14)*-1 - (-8 + 10). Suppose 8*x + 2*x = 4*x. Which is smaller: x or g?
x
Let p be -5 + (-17)/(34/(-12)) + -2. Suppose 0 = -5*b + 2*f + 8, -3*b - 3*f + 9 = 21. Which is smaller: b or p?
p
Let w(y) = -66*y**2 - 464*y - 15. Let h be w(-7). Is h <= 31?
True
Suppose -4*f - 84 = -1788. Let i = f - 1719/4. Which is bigger: 0.1 or i?
0.1
Suppose 3 = -2*w + 11. Suppose z + 3*r + w = -3, -r = 0. Let i be (2/(-120))/(z/(-14)). Is -1 less than or equal to i?
True
Let f(h) be the third derivative of h**6/120 + h**5/12 + h**4/24 + 2*h**3/3 - 24*h**2. Let a be f(-5). Is a less than or equal to -5/28?
True
Let f = -2/87 + -56/87. Let w = 459/713 + -1704079/9982. Let a = w - -170. Which is smaller: a or f?
f
Suppose 4*n - 38 = -2*i, 3*n - 24 = n + 4*i. Let p be (-3)/((-75)/n) - 994/10. Which is bigger: p or -100?
p
Let i = -257/1232 + 3/112. Let m = -17 + 21. Suppose 4 = -3*w + 4*n + 8, 0 = -3*w - m*n - 4. Does i = w?
False
Suppose -5*w - 4 - 8 = 4*z, 0 = 2*z - 5*w - 24. Suppose 5*s = 3*r + 42, -24 - 4 = z*r - 4*s. Let k = r - -20. Which is smaller: 1 or k?
1
Let k = 55.18 - 24.72. Let r = k + 0.54. Is r less than or equal to -0.1?
False
Let v = 2/4635 - -222458/50985. Is v < 3?
False
Let t be 6 + 488/(-48) + -1 + 5. Which is smaller: 103 or t?
t
Let r = 98 - 98. Let j be 32/48 - (r - 16/(-33)). Let q = 0.9 + -1. Are j and q non-equal?
True
Let h = 33 - 295/9. Let t be 1/(2*3/(-6)). Does t = h?
False
Let m = 0.0518 - 0.0318. Which is bigger: -2/129 or m?
m
Let u be (16/(-200) + 0/2)*1. Let h(l) = l**2 - l - 1. Let k be h(1). Is k at least as big as u?
False
Let a = -21 + -6. Which is bigger: 0.06 or a?
0.06
Let s = -4212 - -25331/6. Which is bigger: -0.2 or s?
s
Let l = -8 - -10. Let v(q) = 4*q. Let c be v(l). Is 8 <= c?
True
Let l be ((78/(-4))/13)/((-6)/212). Let x = l - 56. Which is smaller: -20/13 or x?
x
Let h = 56 + -38. Suppose -80 = -716*c + 712*c. Is h > c?
False
Let m be 1*12/(13 + -11). Let i(o) be the third derivative of -o**5/60 + 7*o**4/24 - 7*o**3/6 + o**2. Let u be i(m). Is u smaller than -1?
False
Suppose 3*d = -3*d. Suppose 5*c + 4 + 11 = d. Let k = -3 - c. Is k >= 0?
True
Let g be (-11)/((-340)/(-32)*4). Which is smaller: 0 or g?
g
Let o(g) = -g**2 + 4*g + 1. Let q be 13/(-39) - (-14)/6. Let u be o(q). Suppose 2*k + 57 = u*k. Is k equal to 19?
True
Suppose -3 = z - 8. Let c(s) = 2*s. Let h be c(1). Suppose z*q - 27 = 2*i + h, 5*i - 3*q + 25 = 0. Are -2/9 and i equal?
False
Suppose 3*k - k - 110 = -2*t, -5*t - 124 = -2*k. Let s = k - 53. Is s less than or equal to 60/13?
True
Suppose -7*s = 7*s + 14. Let p(j) = -3*j**2 - 3*j - 2. Let r be p(s). Let o(z) = -z. Let w be o(4). Is w <= r?
True
Let r be 210/(-18) + 4 - -7. Which is greater: 0.009 or r?
0.009
Let k(q) = -q**3 + 2*q**2 + 4*q - 4. Let f be k(3). Let o = -16 + 33. Let l = o + -6. Is f at least l?
False
Suppose 2*t + 34 = 4*x, 8 = t - 4*x + 25. Suppose -2*b = -b + 19. Are t and b nonequal?
True
Let z = 319/2205 - 6/49. Let u(c) = -c**3 - 16*c**2 - 18*c - 44. Let q be u(-15). Which is smaller: q or z?
z
Let o = -8485 - -25676/3. Let f = 73 - o. Which is bigger: 52 or f?
52
Let m = -33253/9 - -3686. Which is smaller: m or -9?
-9
Let x = -25395/17 - -1495. Do x and 2 have different values?
True
Let b(i) = -i + 11. Let r be b(0). Let q(x) = 10*x**2 + x**3 + 17*x + 74 + 47 - 101. Let k be q(-8). Are k and r nonequal?
True
Suppose 10*q = 3*q + 21. Suppose -244 = -0*f + 4*f + 2*c, 4*c + 188 = -q*f. Which is bigger: f or -61?
f
Let s be (-1 + 0)/((-4)/(-2)). Let o = 0.597 + 0.103. Is o greater than or equal to s?
True
Let x = 80 + -80.1. Which is smaller: x or -7/12?
-7/12
Suppose 0 = i - 2*o + 7, -o + 0 - 7 = -4*i. Let y be i*(0 + (-5 - -3)). Let d be y/(-33) - 292/(-88). Which is bigger: 3 or d?
d
Let d be (-3)/(-142)*(-5)/((-105)/(-14)). Let l = 7 - 6. Which is greater: d or l?
l
Suppose 234 = 5*q - 116. Let g = q + -68. Let v be 4/(-6) + 16/6. Is g < v?
False
Let d = 19 + -19. Suppose -5*b + 0*b + 19 = 4*y, 5*y - 2*b - 32 = d. Suppose 2*k = 3*k + y. Is k at most as big as -7?
False
Let b = -299 - -204. Let g = 92 + b. Which is bigger: -1/4 or g?
-1/4
Let g = -758 - -21981/29. Let f(d) = d**2 + 5*d - 6. Let r be f(-6). Which is greater: r or g?
r
Let w = 129/500 + -1/125. Let g = -4 - 1. Which is smaller: g or w?
g
Let a = -2.5 - -2.4. Let k(s) = -s**3 - 4*s**2 + 6*s + 3. Let o be k(-5). Let g be 3/9 + o/15. Which is greater: g or a?
g
Let w be (-2466)/(-18819)*(-3)/(-20). Let b = w + 2/205. Is -1 > b?
False
Let m be -6 + (2 - -1) - -31. Let k = m - 49. Which is greater: k or -23?
k
Let l = 97.41 - 97. Let u = l - 0.28. Is -1 greater than u?
False
Let i(f) = -f**3 - 5*f**2 - 4*f + 2. Let y be i(-4). Suppose y*j - 4*j + 38 = 0. Let o = 18 - j. Which is greater: o or 1/21?
1/21
Let h(f) = f**2 + f. Suppose 3*p - 3 - 3 = 0. Let u be h(p). Suppose -5*o = -5*s - 90, u = s - 3*s. Which is smaller: 1 or o?
1
Let w(i) = i**3 - 6*i**2 + 9*i - 4. Let x be w(4). Is 5/19 greater than or equal to x?
True
Suppose 15 = 4*z + 5*f, -5*f = 3*z - 7*z + 25. Suppose 4*p + 11 = -z*t + p, -19 = 4*t - p. Suppose 2*v = 7*v + 20. Is t at most as big as v?
True
Let v = -502/15 - -1832/15. Which is smaller: 89 or v?
v
Suppose 5*o + 11 = 1. Let t be 1278/(-30) + o/10. Let w = t - -42. Which is bigger: w or -0.2?
-0.2
Let r be ((-6)/(-4))/(-3) - 25/(-10). Suppose 0 = 4*s - q - 3, -q - 1 = -r*q. Let k = 35398/75 + -472. Which is smaller: k or s?
k
Let a = 0.143 + 83.857. Which is smaller: a or -3?
-3
Let s be 1/(-5) + 10 + 5316/(-20). Does -256 = s?
True
Let q = 4 - 6. Let l be 4 + (3 + -19 - q). Which i