?
False
Suppose 3*r = -2*q - 2*r - 3, -r + 12 = -q. Let c(d) = -d**3 - 9*d**2 - d + 1. Let g be c(q). Is g < 9?
False
Let m = -567 + 555.76. Let o = m - 0.51. Let b = 0.25 - o. Which is bigger: 1 or b?
b
Suppose -10 + 2 = s. Suppose -f + 4*l = 21, 4 = -2*f - 2*l - 38. Let p = -29 - f. Is p greater than or equal to s?
True
Let z be 1/(-7) + 22/7. Suppose -n + z = -1. Let t be (-6)/n*4/102. Which is greater: t or 0?
0
Suppose 0 = -14*b - 32 + 4. Let n(p) = p**2 - 4*p + 4. Let j be n(3). Are j and b nonequal?
True
Let z(y) = -2*y**2. Let p be z(1). Let c = p + 2. Let o be (-2)/(2 - c - 15). Is 1 at most o?
False
Let t be (-20)/9*12/(-6). Is 4 at least t?
False
Let q = 0.1 - 0.2. Let p = -51.962 - -52. Let h = -6.962 - p. Which is smaller: h or q?
h
Let x = 5560426/345 + -241994/15. Let b = x - -79/5. Do -1 and b have different values?
True
Suppose 3*y - 4*p = 184, 5*y - 6*p - 296 = -2*p. Suppose 4*h - y = -0*h. Let a be 165/12 + (-1)/(-4). Is a < h?
False
Suppose 38*w = 43*w - 15. Let b be -1*((-25)/10 - w/(-6)). Is -1 > b?
False
Let g = 1.7 + 54.3. Let o = g - 66. Does o = 2?
False
Let o be -7 - (-4 - 1) - 56/(-26). Which is bigger: 43 or o?
43
Suppose m - 2 = 2*x, -m - 2*m + x + 1 = 0. Let y = -38 + 18. Let a be (3 + y/8)*m. Is -1/41 >= a?
False
Let v(u) = -6*u + 38. Let q be v(10). Let o be q/(-176)*5/((-115)/(-2)). Are o and 1 unequal?
True
Let j be (100/20)/(2/4). Suppose 5*h - 30 = -4*m - j, -h + 5 = m. Is h less than 3/41?
True
Let r = -2.3 - -1.42. Let o = 0.38 + r. Which is smaller: o or -2/3?
-2/3
Let r = 1560061/14745 - 8/2949. Is r at most as big as 107?
True
Let h = -32 + -25. Let x = h + 66. Which is greater: x or 6?
x
Let s be 2*(-5 - (-99)/22). Which is bigger: 4/409 or s?
4/409
Suppose -8*x = -7*x - 2. Let k be x + -1 + (-84)/(-132). Suppose c - 4*n = -1 - 17, -3*c - 9 = -3*n. Is k less than or equal to c?
True
Suppose 2*p = -3*p + 105. Let x = p - 18. Suppose -x*v = v + 12, 13 = 4*u - 3*v. Which is greater: -2 or u?
u
Let c = 65 + -839/13. Suppose -12 = -5*l - 17. Is l bigger than c?
False
Let w be (-2)/3*3/(-7). Let z be (-3)/(-7) - (-32)/56. Which is greater: w or z?
z
Let m = -182 + 219. Is 37 less than or equal to m?
True
Let n = -67 - -100. Let i = n + -35. Which is smaller: -1/3 or i?
i
Let u = -401/7 + 57. Let t = 40.1 - 40.03. Which is greater: t or u?
t
Suppose -18*l = -13*l - 20. Which is smaller: 9 or l?
l
Let h be 6/8 - (15/(-12) + 1). Which is smaller: h or 28/23?
h
Suppose 2*k + 2*b = -3*k + 40, 3*k - 45 = 3*b. Let q = -7 + k. Which is bigger: 2 or q?
q
Suppose -5*n - b = -0*b - 49, -5*n + 4*b = -54. Let l be 8/n*(-45)/(-6). Which is smaller: 5 or l?
5
Let q(l) = -28*l**2 - 9*l - 11. Let h be q(-2). Are h and -103 equal?
False
Let j be (-4 + 2 - 26) + 0. Let r = -23 - j. Do r and 3 have the same value?
False
Let s = -460 + 465. Does s = -6?
False
Let b = 41 + -25. Let w = -30 + b. Is w less than or equal to 0?
True
Suppose -2394 = -26*s - 12*s. Which is greater: 436/7 or s?
s
Let r(k) = 2*k**2 + 49*k + 164. Let f be r(-4). Is f bigger than 37/41?
False
Let m(q) = -30*q + 85. Let n be m(10). Is -214 > n?
True
Suppose 127 - 19 = a. Suppose -7*k + k = a. Which is smaller: k or 0.1?
k
Let m = 502 - 372. Are 130 and m equal?
True
Let r(j) = j**2 + 13*j + 21. Let a be r(-13). Which is smaller: a or 22?
a
Let i be 21*(4/6 + (-1 - -1)). Suppose -5*d + q + 17 = -i, 5*d + 2*q = 43. Which is greater: 13/2 or d?
d
Let l = -29 + 45. Suppose 3*v = -v - l. Is -4 bigger than v?
False
Let m be 4/(-14) + (-2121)/(-49). Let b = 40 - m. Is 0.08 > b?
True
Suppose 2 = -4*q + 3*j, 11 = -3*q - 4*j - 3. Which is bigger: q or -20/3?
q
Let h = -505 - -3526/7. Is h equal to -2?
False
Let w = 20.1 + -25.3. Which is bigger: w or -1?
-1
Let t = -23 - -45/2. Suppose -660*j + 665*j = -60. Is t < j?
False
Suppose -w = 2 - 5. Let p be (w/(-2))/((-9)/(-132)). Let b be -3 + -3 + p/(-3). Is 1 >= b?
False
Let z be (-3 + 21/6)*(-11 + 11). Does z = 1?
False
Let i be 3/(-5) - 696/(-60). Suppose 10 = i*d - 1. Are 2/51 and d nonequal?
True
Suppose 78 + 498 = 16*g. Is g equal to 34?
False
Let m be (12*1/2)/2. Suppose -m*k + 20 = z + 1, -4*k = 3*z - 32. Let q be 84/22 - z/(-22). Is 4 <= q?
True
Let c = 128 - 515/4. Let n be 2/(-4) - (-6)/6. Which is greater: c or n?
n
Let x = 98 + -50. Suppose 8*c = 4*c + x. Which is greater: c or 0?
c
Let j be (-16)/64 - 26/(-40). Let x be 1 + (0 - -1) - -138. Let r = x - 702/5. Which is smaller: j or r?
r
Suppose 2*o - 2*j - 78 = 0, 0*o = o - 4*j - 39. Suppose 31*y = 28*y - o. Is y != -13?
False
Let q(r) = -r**2 - 86. Let m be q(0). Is m > -86?
False
Let i = -8839/219 + 121/3. Is i at most as big as -0.05?
False
Suppose 9 = 28*j + 37. Do j and 1/99 have the same value?
False
Suppose -25 = 4*i + 5*x, i - 2*x + x - 5 = 0. Which is smaller: i or -256?
-256
Let t(p) = 18*p + 166. Let s be t(-41). Is -1 smaller than s?
False
Let m(q) = -q**3 + 94*q - 14. Let v be m(-12). Is v less than 585?
False
Let n = 28 + -23. Let v = 46 - 41. Is n bigger than v?
False
Let h = -4.08 - -1.08. Which is smaller: h or 3?
h
Suppose w - 2*k + 73 = 0, 3*k - 94 = 4*w + 198. Are -74 and w non-equal?
True
Let i = -130 - -353. Which is smaller: 1/3 or i?
1/3
Let g = 37.0729 - 0.0729. Let c = -1.4 - -1.3. Is g bigger than c?
True
Let b be 2/(-20) - 3*8135/(-50). Is 485 smaller than b?
True
Let y = -0.1 - 0.14. Let l = y - -0.64. Which is bigger: -1/7 or l?
l
Suppose -3*l + 1 = -8. Let n = -1 + l. Suppose -3*a + 4*a - n = 0. Which is greater: a or 3/5?
a
Suppose -2*l + l = 5*v - 26, -l = 4*v - 21. Let o be (8/112 + (-2)/(-4))/2. Is o > l?
False
Let b = -352 - -433. Is 81 equal to b?
True
Let a = -0.45 - -0.05. Let o = a + 0.4. Let b = 128.12 - 128. Which is smaller: o or b?
o
Let i be (2 + -3)*(-5)/(-1). Is i less than -10?
False
Let m(a) = -a**3 - 2*a**2 + 8*a + 33. Let y be m(7). Which is smaller: -350 or y?
y
Let v(d) be the first derivative of -d**4/4 + 8*d**3/3 - 3*d**2 + 14*d - 16. Let z be v(7). Is 24 <= z?
False
Let d = 2936 + -2187317/745. Is d greater than or equal to -1?
True
Let j(o) = -38*o + 130. Let t be j(3). Which is smaller: t or 31/2?
31/2
Let i = 1/909 + -353/45450. Let j = i + -583/2550. Is j at most as big as -1?
False
Let v be (-4)/(-14) - -8*957/(-1512). Which is smaller: -6 or v?
-6
Let c be ((-428)/(-4) - 1)/(22/11). Is 313/6 greater than c?
False
Let h = 34.161 - 0.361. Let b = 34 - h. Which is greater: b or 10/13?
10/13
Let u be 10/(-12) + (36/27)/4. Which is smaller: u or 0.48?
u
Let i = -50 - -40. Let h be i/(-95) + 34/38. Which is smaller: 6 or h?
h
Let z(m) = -3*m**2 - 2*m + 24. Let r be z(0). Which is greater: r or 21?
r
Let a be 0*3/(-12) - -4. Suppose i + 5*k = -a*i, 4*i = 5*k + 9. Let r = 1 + -1. Is r bigger than i?
False
Let z be (-9)/(-36) + 23/4. Suppose 2*b - b = z. Suppose d + 10 = b*d. Is 0.9 at most d?
True
Let b be (-14)/(-3465)*18/132. Does b = 0?
False
Let a(h) = h + 6. Let m be a(-6). Let g be (-2)/(-1)*(m + 2). Let k be (-1)/(-8 + 7) - -2. Which is bigger: k or g?
g
Let i be 32/(-6)*15/(-2). Let l be 2 - (4/(-2) + i). Which is smaller: -35 or l?
l
Let f = -1116 + 1140. Let h(q) = q**3 - q - 1. Let w be h(3). Is f less than w?
False
Suppose -6*p = -7*p. Suppose 3*j - 2*d - 3 - 13 = p, 0 = j - 2*d - 4. Which is bigger: j or 7?
7
Let h be ((-99)/(-22))/((-2)/4). Let w(t) = -4*t - 24. Let q be w(h). Which is smaller: q or 13?
q
Let h(k) = -k**3 + 9*k - 9. Let q be h(6). Let i be 1254/q*1*(-2)/6. Which is smaller: i or 0.1?
0.1
Suppose 65 = -5*k - 3*n, -13 = -4*k + 2*n - 43. Let s be (250/(-8))/((-1265)/k). Let p = -3/46 - s. Which is smaller: 0.2 or p?
p
Let i = -28 - -10. Let g be 6/i - 2/(-42). Which is smaller: 1 or g?
g
Let w be (-4)/(-6)*3 - 2. Let p be w/(-2) + 8/(-7). Let t(k) = 12*k - 73. Let x be t(6). Which is smaller: p or x?
p
Let c = -1825/12 + 152. Let j = -73 - 19. Let k = j + 458/5. Which is smaller: k or c?
k
Let o = 15 - 17. Let a = 15.9 - 14. Let d = o + a. Which is smaller: d or 11?
d
Let o(c) = -c - 5. Let n be o(-5). Let b = -6.3 - 3.4. Let z = -10 - b. Are z and n unequal?
True
Suppose 32*c + 4*p + 13 = 33*c, -4 = 5*c + 3*p. Are c and -5 unequal?
True
Let l = 16.3 - 0.3. Let p = -330.8 - -347. Let g = p - l. Which is greater: g or -2?
g
Let m(i) = 52*i**3 + i**2 - i. Let s be m(1). Su