t q = 548/2493 - -2/831. Let z = -53/36 + q. Is z at least as big as 1?
False
Suppose -4*z + 867 - 127 = 0. Are z and 0 unequal?
True
Let q = 326.8 - 327. Is 70/11 >= q?
True
Let o = -1034 - -1072. Is -8 >= o?
False
Let a(i) = i**3 + 9*i**2 + 11*i - 9. Let r be a(-6). Let y(t) = 14*t - 22. Let h be y(4). Are r and h equal?
False
Let a be (6/(-4))/3 + (-560)/(-32). Let c be (-8 - -10) + a/(-5). Is -1 less than c?
False
Let p = 190.407 + -190.9. Which is bigger: p or -1?
p
Let r = -407/15 - -73/3. Which is bigger: 7 or r?
7
Let n = 2.71 - -0.09. Let q = -4 + n. Let u = q - -1.1. Is u smaller than -3/5?
False
Let x = -16 + 11. Let s = 0 - x. Suppose -s*q + 5 = c, 5*q + 4 = -5*c + 9. Is q >= 2/13?
True
Let c(l) = 257*l**3 + 2*l**2. Let j be c(1). Is 260 equal to j?
False
Let j = 5 + -5.32. Let g = j + -17.68. Let a = -18.02 - g. Is 1/3 > a?
True
Let v(o) = o - 207. Let x be v(69). Is x bigger than -273/2?
False
Let c(b) be the first derivative of -b**3/3 - 6*b**2 - 13*b + 6. Let h be c(-11). Does -2 = h?
True
Suppose 6 = 4*o - 22. Let x(q) = q**3 - 7*q**2 + 2*q. Let d be x(o). Do d and 15 have the same value?
False
Let h(k) = k + 1. Let j be h(0). Let w = 191 - 188. Which is greater: j or w?
w
Let j(w) = -217*w + 363. Let l be j(10). Which is smaller: -1806 or l?
l
Let r(o) = 21*o - 222. Let v be r(26). Do v and 326 have the same value?
False
Let g = -543.9 - -544. Let i = -87 + 48. Are g and i equal?
False
Suppose -4*l + 19 = 2*r - 227, -3*l - 2*r + 186 = 0. Let q = l + -168. Let x be (-1920)/q - (-2)/9. Which is smaller: x or 17?
17
Let n = 13 + -13. Suppose 2*w - q - 2*q + 34 = 0, n = -5*w - 3*q - 64. Which is greater: 0 or w?
0
Let a = -446 - -27204/61. Suppose 15 = -5*r - 0. Let h be ((-1)/r)/((-12)/36). Which is smaller: h or a?
h
Let x = 1.2467 - 0.2467. Does -10.05 = x?
False
Suppose -h - 51 = -3*a, 4*a - 2*h - 68 = -0*a. Is 17 smaller than a?
False
Let z = -56 + 56.06. Let h = -0.23 - 0.07. Which is smaller: h or z?
h
Let b(t) = -19*t**3 + 1. Let u be b(1). Let c(o) = o**2 - 10*o + 3. Let h be c(7). Is u bigger than h?
False
Suppose -15*c = 3*t - 12*c, -2*t = -3*c - 25. Which is smaller: t or 1?
1
Suppose -2327*w = -2333*w + 678. Are 115 and w equal?
False
Let g = 0 + 8. Let t = -81.1 - -73. Let i = g + t. Which is bigger: i or 0.2?
0.2
Let n = -956 + 742. Is n equal to -216?
False
Let p = -187 + 194. Which is smaller: 10 or p?
p
Suppose j + 72 = 3*j + 3*u, -u = 0. Let c = -875 + 910. Is c less than j?
True
Let q(u) = u**2 - 17*u + 35. Let g be q(15). Suppose -4*s = -m - 0*m + 9, g*m = -5*s - 30. Which is greater: 0 or s?
0
Let h = -1 + 13. Suppose -11 = h*l - 11*l. Is l at least as big as 2/5?
False
Suppose -3*x + x + 32 = 0. Let v be ((-3)/(-2))/((-45)/x). Which is smaller: -2 or v?
-2
Suppose 0 = -106*u + 109*u - 18. Suppose 0 = -2*f + u*f - 8. Do f and 14 have the same value?
False
Let i be 2 + (-8)/4*1. Is -9/67 < i?
True
Let y = -1531/7 - -219. Which is bigger: y or 4.7?
4.7
Let t = 429 - 428.9. Is -283 less than or equal to t?
True
Let g be (-1)/((-1)/(11 + -1)). Let n = g - 13. Suppose -3*y + y = 4*k + 22, y - 31 = 4*k. Which is greater: k or n?
n
Let z be (8/6)/(32/432). Is z greater than 20?
False
Let x = -496.91 + 505. Let a = x - 0.09. Let k = 8 - a. Is 6/7 greater than k?
True
Let b = 284.32 - 314. Let n = -0.32 + b. Is n greater than -0.1?
False
Let w(h) = h**2 + 5*h + 4. Let f(m) = 2*m**2 + 23*m - 14. Let r be f(-12). Let g be w(r). Let l(a) = -a - 7. Let c be l(-5). Is c at least as big as g?
True
Let a(q) = -14*q. Let u be a(6). Let o be 3/((u/8)/7). Let b = -7/11 - 9/55. Which is smaller: b or o?
o
Let q = 31 - 31.19. Let l = -0.09 - q. Is 0 greater than l?
False
Let p = -0.5 - -2.5. Let a(x) = 2*x + x**2 + 0*x**2 + 1 - 2*x**2 - x. Let d be a(2). Which is greater: p or d?
p
Let l = -799 + 8799/11. Let w be (-1)/(-2) - 8723/6534 - 0. Let f = w + l. Which is smaller: 0 or f?
0
Let j = -248 - -260. Is 7 <= j?
True
Let s be (0/3)/((-4)/(-2)). Let k be (-7)/9*(-190)/665. Is k less than s?
False
Let d be 1*((-35)/(-7) - 8). Is d less than -52/15?
False
Let t(v) = -v**3 + 7*v**2 - v + 10. Let k be t(7). Let o be k + ((-10)/14)/5*19. Which is bigger: -2.7 or o?
o
Let z(w) = -41*w - 173. Let l be z(-4). Which is greater: l or -5?
-5
Suppose 4*p - s = 8, -10*p - s = -6*p. Which is smaller: 7/37 or p?
7/37
Let o be (-2)/152*(-260)/(-5395). Which is smaller: -1 or o?
-1
Suppose -4*w = w - p + 17, 3*w - 4*p = 0. Let j be (w/(-8))/((-3)/12). Which is smaller: -1/32 or j?
j
Suppose 0 - 8 = -2*j. Let r be 11/22 - 74/j. Let n = -124/7 - r. Is -1 not equal to n?
True
Let u = 29 - 32. Let g = u - -3.91. Is 2/7 less than or equal to g?
True
Suppose -20 + 12 = 4*r. Let s be -9 - (-4 + 8)/(r + 8). Which is bigger: -10 or s?
s
Let u = -78 + 149. Let t = u + -78. Let j be (1*(-2)/4)/(-1). Which is smaller: j or t?
t
Let n be 3 + 70*(3 + -2). Suppose i - n = -3*t, 0 = -t + i - 0*i + 27. Suppose -6*l = -2*l - 3*u - 15, 3*l + t = -5*u. Are l and 6/5 equal?
False
Let v be 4/(-14) + (-955)/(-35). Suppose 3*f - 5*s = 34, -4*f + 3*s + v = -0*f. Which is greater: -4 or f?
f
Let f be 8/36 + (-763)/(-9). Let z be f/102*2/5. Do z and -1/2 have different values?
True
Let z be (-64)/34 - (-6 - (-624)/102). Suppose -3*q = -4*v - 13, -2*q - 2*v = 2 - 6. Let u be z + (5 + -2)/q. Which is smaller: -2 or u?
-2
Suppose -115*w = -114*w + 87. Which is greater: -3/4 or w?
-3/4
Let k = -1735/8 - -218. Do k and 0 have the same value?
False
Suppose t - 1 = 0, 4*t + 19 = 5*g + 28. Let i = 914/1653 + -14/29. Is g less than i?
True
Let f = 222/67 + -4783/938. Let a = 9/7 + f. Let n = 2.6 - 2. Which is smaller: n or a?
a
Let q(c) = c**3 + 2*c**2 + 2. Suppose 2*p + u = -2 - 7, 2*p + 5*u = -29. Let a be q(p). Let l be a/(-7) + 15/(-35). Is l equal to -0.1?
False
Let u = 3 - -1. Suppose 0 = -6*z + 4*z + u. Let p be (25 + -5)*z/12. Which is greater: 4 or p?
4
Let g = 9 + -8. Let y be 8 + -9 - 2*g. Suppose 2*h + 0 = -8. Is y less than h?
False
Suppose -3*j - 4*y + 0*y = 14, 3*y + 7 = -4*j. Suppose 0*l + 26 = -l - j*r, 31 = -l - 3*r. Let k be (-4)/(l/(-2))*2. Do k and 2 have the same value?
False
Suppose -4*t + s + 4 = 0, -3*t = 9*s - 6*s - 3. Is -4/59 not equal to t?
True
Suppose 9*k - 12*k = 2*s + 152, 2*k = 2*s - 88. Which is bigger: k or -47?
-47
Let y = -4150 + 1074848/259. Which is bigger: 1 or y?
1
Let x(f) = f + 6. Let o be x(-16). Let m be o/70 - (-62)/140. Which is smaller: -1 or m?
-1
Let r = 1065/2 - 531. Which is bigger: r or -7/9?
r
Suppose 3*o + 3*n - 154 + 1 = 0, -2*o - 4*n = -92. Which is smaller: o or 2/11?
2/11
Let l = 42 + -39. Let y = -5 - -9. Let f be 1/y + 5/140. Which is greater: f or l?
l
Let d be -29 + ((-12)/10)/((-12)/(-40)). Let m = d - -27. Which is smaller: m or -5?
m
Let u = 405617/11 - 36805. Do 68 and u have different values?
True
Suppose -158*h + 160*h + 2 = 0. Which is greater: -2/93 or h?
-2/93
Let z be 13/(13/4) + 5. Is z less than or equal to 19/2?
True
Let f be 66/(-117) - (-1)/3. Suppose -1 - 7 = 4*m - 4*j, 3*m = -5*j + 34. Suppose m*u = u. Is f >= u?
False
Let t(u) = -u**3 - 7*u**2 - 8*u - 7. Let x = -6 - 0. Let s be t(x). Suppose 13 = -s*y - 3*q - 7, 5*q + 29 = -4*y. Is y at least 4/9?
False
Suppose c - 412 = -260. Which is smaller: 155 or c?
c
Let t be (-18)/9 - (0 + -11). Let l be 18/27*t/20. Suppose 0 = -5*x + 5 - 0. Is l greater than x?
False
Let h(l) = -2*l + 12. Let y be h(4). Suppose 0 = 2*c - 4 - y. Which is greater: 14/5 or c?
c
Let m = 252/37 + -6183/370. Do -11 and m have the same value?
False
Let p = 2328.11 - 2447. Let f = p + 119. Which is smaller: -2/3 or f?
-2/3
Let p = -7 - 0. Let l = 1.19 - 8.29. Let g = p - l. Is -5 bigger than g?
False
Suppose h + 5*x = -0*x - 11, -8 = 4*x. Is h at least as big as 3/316?
False
Suppose k - 2 - 1 = 0. Suppose -k*a + 2*a + 4 = 0. Suppose 4*m - 2*m = a. Which is greater: 0 or m?
m
Let l = 632 + -631. Is -4/121 != l?
True
Let c = 18.8 + -25.65. Let b = c + 7. Is b < -0.1?
False
Let j be -2*24/(-16) + -3 + 0. Is -1/195 <= j?
True
Let v(d) = d**2 - 13*d - 13. Let a(k) = -2*k**2 + 27*k + 27. Let y(o) = 6*a(o) + 13*v(o). Let z be y(8). Let b = 205 - 12506/61. Is z equal to b?
False
Let c be 8/((-48)/18) + -3. Which is smaller: c or -41?
-41
Let n = -814 - -1693. Which is smaller: n or 87