 Let x be h(-14). Suppose -x*g = 2*y - 18, 5*g - 2*y + 1 - 25 = 0. Let d be 3 + 1*3/1. Is d greater than or equal to g?
True
Let s = 69 + -66. Suppose 20 = -s*y - 58. Is y not equal to -26?
False
Let l = -7.12 + 6.55. Do 3/5 and l have the same value?
False
Let a be 972/135351*(-1)/10. Which is smaller: a or -1?
-1
Let t(y) = y**3 - 10*y**2 - 15*y + 5. Let a be t(11). Are -2 and a unequal?
True
Let q = -222 - -315. Let g = q - 92. Do g and 27 have different values?
True
Let u be (-3)/(15/(-4) + 3). Suppose -2*f + 2 = 2*x, u*x - 4*f = -0 - 4. Suppose 18 = 4*g - 0*k - 2*k, -k - 1 = x. Is g less than 5?
True
Suppose 2*h = x - 60, 3*x + 2*h = 4*h + 180. Let l be ((-20)/50)/((-2)/x). Which is smaller: 13 or l?
l
Let j(w) = w**3 - 11*w**2 + 9*w + 2. Let a be j(10). Let t be (-5 - 44/a)*2*9. Let k = 29 - 20. Is k >= t?
True
Let s = 18 - 23. Let c(f) = -3*f + 1. Let i be c(s). Suppose o = b + 5, 5*b + 9 + i = -3*o. Is o at least 2/25?
False
Let b = 807 + -830. Is b > -0.8?
False
Suppose 148 = -4*z - 940. Let h = z + 2453/9. Which is bigger: 1 or h?
1
Let u = 2390.81 + -2391. Is u less than -9?
False
Suppose 3*b - 10 = -2*b, -5*t = 2*b - 1104. Suppose 0 = 4*z + 4*f + t, 2*z - 4*f + 75 = f. Which is smaller: -0.1 or z?
z
Let s = -24 - -86. Let t = 63 - s. Which is greater: 1.8 or t?
1.8
Suppose -58*n - 10 = -53*n. Let m(x) = -x**2 + 7*x + 9. Let o be m(n). Are -2/9 and o equal?
False
Let z = -5.88 - -2.58. Is z at most 0.2?
True
Let a be (-1)/(-4)*(-69 - 100). Which is bigger: a or -43?
a
Suppose 4*h + 16 = 0, -2*b = -3*h - 6 - 58. Let w = b + -19. Let i(f) = -f + 8. Let x be i(w). Which is bigger: x or 3?
3
Let i = 32 - -2. Is i less than or equal to 35?
True
Let j(h) = -h**3 - 4*h**2 + 3*h - 6. Let y be j(-5). Let l be (0 + -1)*y/12. Which is smaller: l or 1?
l
Let p = -115 + 117. Which is bigger: p or -52?
p
Suppose -3*x + 4*l + 3 = 0, x = 2*l - 2 + 3. Is -101 at least x?
False
Let u(m) be the first derivative of m**3/3 + 3*m**2 + 8*m + 2. Let i be u(-5). Suppose 0 = -i*y + 8*y. Which is greater: y or 10/11?
10/11
Let c = -124849/20 + 6244. Let q be (-2)/(-9) + (-46)/45. Let i = c + q. Is 2 < i?
False
Let v = -337 - -11797/35. Which is smaller: 0 or v?
0
Let x(f) = -9*f - 113. Let n be x(-13). Which is greater: n or 54/11?
54/11
Let p = -2233 + 24538/11. Are p and -2 equal?
False
Let g(z) = 9*z**3 + 13*z**2 - 7*z - 6. Let y(p) = 4*p**3 + 6*p**2 - 3*p - 3. Let c(r) = 3*g(r) - 7*y(r). Let q be c(-2). Is q less than 3/23?
True
Suppose 0 = -2*q + k - 4*k - 388, -2*q - 388 = 5*k. Which is smaller: -196 or q?
-196
Let c be 54/8 - (-3)/12. Suppose 4*z + 17 = w, -5*w + 3 = 5*z - c. Suppose w*k = 3*i + 16, -3*k - 2*i + 21 = -0*i. Is k at least as big as -3?
True
Suppose 3*a - 1 = 2*u - u, -2*u = -2*a - 2. Let d be 1/a*(-2)/(-2). Let t be (18/(-16))/(d/(-2)). Which is greater: t or 1?
t
Let h = -1055 + 1113. Is h at most as big as 60?
True
Suppose 0 = -5*j - x + 20, 3*j = -3*x - 6 + 18. Suppose 4*w + 58 = k, -4*w - 78 + 10 = j*k. Let d = -22 - -8. Which is smaller: d or w?
w
Let f = 123924/7 + -17674. Is f greater than 28?
True
Let y = 39 - 23. Let r = -16.3 + y. Is -1 bigger than r?
False
Suppose 5*d + 8 = -2, -36 = -5*r + 3*d. Let x be 10/(-16)*r/(-45). Let y = -34 + 172/5. Is y smaller than x?
False
Let q = 8258/3409 + 3/487. Is q greater than 1?
True
Let z = -12 + 13. Let a = 0.9 - z. Let j = a - 0.6. Which is greater: 2 or j?
2
Let i = -4 - -3.83. Let y = i - 0.03. Which is greater: y or 1?
1
Suppose g = 3*g. Let h be 43/5 + 126/(-210). Suppose -h*b + 14*b - 6 = 0. Which is bigger: g or b?
b
Let g = 59 + -60.9. Let i = -4.9 - g. Is i less than -3?
False
Suppose 0 = -2*u - 3*u + 10. Suppose 0 = u*g - 5*g + 18. Which is greater: g or 5?
g
Let z be 2/(-8)*-2*7. Let n = 9077/8 - 1131. Let q = z - n. Which is smaller: -1 or q?
-1
Let c = 79.54 + -79.5. Which is bigger: 12.1 or c?
12.1
Suppose 14 = w - 4*g, 5*g + 28 = -w + 4*w. Suppose 13 = 4*y - 19. Let x be (10/(-4))/(w/y). Which is bigger: -3 or x?
-3
Let a = 0 - -2. Let q = 2.1 - a. Let h = -14 - -16. Is h != q?
True
Let g = 81 + -17. Suppose 59*w = g*w + 35. Which is smaller: -39/5 or w?
-39/5
Let t = 3 - 11. Let u be ((-234)/t)/(-9) + 2. Which is bigger: u or -0.1?
-0.1
Let k(j) = j**2 + 5*j - 36. Let i be k(4). Which is smaller: i or -4/11?
-4/11
Let o = 0.2 - 0.3. Let u = 104 - 70. Let r = -29 + u. Which is bigger: r or o?
r
Let r = -16 + 21. Let f be ((-20)/36)/r*-87. Let g = f + -9. Is g greater than or equal to 10?
False
Let k be 1/((-286)/1788 + 2/12). Let b = 149 - k. Which is smaller: -3/29 or b?
-3/29
Let d = -11 + 13. Let c be ((d - 5) + 1)*-4. Let k be 18/c + (-6)/24. Is k != -1?
True
Suppose 5*y + k - 3*k = -90, 4*y + 69 = k. Let v = y + 19. Let c be ((-2)/(-3))/((-2)/v). Is c bigger than -1/3?
False
Let s = -31 - -45. Let f = -13 + s. Are -16 and f unequal?
True
Let b(k) = -k + 6. Let g be b(5). Let s = 3515/6303 + -7/573. Which is greater: g or s?
g
Let k be (4 - 245/60)*-58. Let g = -11/2 + k. Is -20 != g?
True
Let i = -4.22 - -4.3. Which is smaller: -2/39 or i?
-2/39
Suppose -85*g = -72*g + 1131. Is g equal to -1116/13?
False
Suppose -c - 4*f = -3*f - 9, 4*c - 5*f = 36. Let p(u) = u + 4. Let x be p(0). Which is smaller: c or x?
x
Let x be (2 - 147/78)*(3 + -5). Which is smaller: x or -2/33?
x
Suppose 72*m - 3 = 73*m. Does 113 = m?
False
Suppose -s + 0*s + x = -7, -5*s - 4*x + 8 = 0. Suppose 5*y - 5 = -3*o, -s*y - o = -2*o - 4. Let q be y/(-4 + (-1 - -4)). Is q < -3/10?
True
Let t(j) = j - 18. Let y be t(15). Let h(c) = c**3 - 4*c**2 + 3. Let p be h(y). Let q be ((-8)/p)/(1/(-6)). Which is greater: q or -1?
q
Let c = 0.7 + 34.3. Let a = c - 35.4. Which is smaller: 0.11 or a?
a
Let p(d) = 7*d - 32. Let a be p(10). Suppose 5*s = -87 - a. Suppose 5*g - 76 = -196. Does s = g?
False
Let s be (-9)/(27/10) + 3. Let a = -9 - -9. Is a > s?
True
Let j(y) = -5*y + 2. Let f be j(4). Let i be f/((-8)/(-2) + -2). Is -6 less than i?
False
Let x be ((-30)/9)/((-8)/12). Let l(h) = -h**2 + 5*h + 1. Let b be l(4). Suppose -b*c - 15 = x. Which is smaller: c or -3?
c
Suppose 4*p - 3*l = -2*l - 24, 21 = -p + 4*l. Is -12 >= p?
False
Let r be (-1 - 0)/((-8)/56). Let d = -13 + r. Let c be -9*(2 - (-8)/(-6)). Is c != d?
False
Suppose -2*x + 0*x + 8 = 0. Suppose 0 = 4*h + x*y + 8, -4*y + 3*y - 2 = -2*h. Which is greater: h or 1/4?
1/4
Let t = 14 - 4. Suppose -6*q - 44 = -4*p - 2*q, 0 = 2*p + 4*q - 10. Which is smaller: p or t?
p
Let y = -220 - -219.74. Let t = 38 - 38.23. Let p = t - y. Which is greater: p or -1?
p
Suppose -12*p + 6*p = -408. Is 68 at least p?
True
Let y = 38 - 41. Let v be 9 + -11 + (y - -4 - -2). Is v != -3?
True
Let d be (-144)/(-40) + 4/10. Let q be 64/120 + d/6. Suppose -x = -5*j - 11 - 11, -4*j = 3*x + 10. Is x at most as big as q?
False
Let v = 130 - 129. Let d be (v - 2) + (10 - 8). Let x = 0.1 + 0.1. Do x and d have the same value?
False
Let t = 9 + 2. Let p = t + -11. Which is greater: p or -8?
p
Suppose 0*h = 4*h, 63 = -3*t + 5*h. Is t equal to -16?
False
Let h = 83/4 - 47/2. Let f(l) = -3 + l**2 - 6*l - 4*l + 2*l. Let o be f(8). Is o not equal to h?
True
Let p(j) = 9*j**3 + 60*j**2 - j + 18. Let u be p(-7). Which is greater: -362/3 or u?
-362/3
Let z be (336/(-96))/(-1 + 2/4). Let j be (-33)/z - (-5)/(70/(-4)). Which is greater: j or -4?
-4
Let t be (4/35)/(4/10). Suppose 0 = 5*o - 5*l + 145, -3 + 151 = -4*o - 4*l. Let f be -3 + 20/(-216)*o. Which is bigger: t or f?
t
Let s = -9 + 30. Let f = -19.1 + s. Let i = -2 + f. Do i and -10 have the same value?
False
Suppose -7 = -4*v - 11. Let u = -2/151 + -91/4530. Which is smaller: u or v?
v
Suppose 0 = -2*v + 4*v - 74. Let m = v + -42. Is -5 <= m?
True
Suppose 195 = -2*d - 3*d. Let b be 28/(-4) + 4 + d. Do b and -41 have different values?
True
Let v = 53.1 + 2.9. Let p = -57 + v. Is -0.01 bigger than p?
True
Let u be (-4)/((-16)/(-70))*6. Is u smaller than -2?
True
Let t = 217 + -123. Let n = 94 - t. Which is smaller: n or 6?
n
Let a = -19 + 21. Suppose k + 2*i = 4, 52 = 5*k + a*i - 0*i. Let j = k + -4. Is j >= 5?
True
Let l(y) = y**3 - 5*y**2 - 6*y - 2. Let w be l(6). Let p be ((-46)/(-21) + w)*98/21. Suppose 0 = -4*c + 2*c. Which is bigger: c or p?
p
Suppose 35*n + 8 = 32*n - 5*x, -x = -5*n - 60. Which is greater: -25 or n?
n
Let m be (