t m = 517 - 516.8. Is m greater than -3/5?
True
Let v be (-316)/(-8) + (-22)/4. Which is greater: v or 434/13?
v
Let n = 1339/69600 - -3/800. Suppose m - j = j - 9, 0 = 3*j - 15. Is m >= n?
True
Suppose -2 = 2*n + 4*j + 4, -5*n + 3 = 4*j. Let s = n + 0. Suppose d = s*c - 16, -3*d - 3*c = 2*d - 10. Is d < -2/11?
True
Suppose -16*q - 1827 = 13*q. Let j be 1*(-2 - -1) + -63. Are j and q unequal?
True
Let x be (-48)/70 + (-2)/(-7). Let w be -4 - (0 - 2) - -4. Suppose -5*k = -5*k - w*k. Which is smaller: k or x?
x
Suppose 5*w - 18 = 3*m, 5*w - 5*m = -3*m + 17. Let n be 1*(w - 15/6). Suppose 0 = -2*a + 7*a - 4*v + 20, 4*a + 4*v = 20. Which is greater: a or n?
n
Let z(h) = -h**3 + 16*h**2 - 11*h - 59. Let x be z(15). Are 2/1577 and x equal?
False
Suppose 2*i + 299 = 2*k + 57, 0 = 4*k + 4*i - 476. Is k != 120?
False
Let p(a) = 5*a - 3*a - a - 5. Let v be (1 - 18/(-5)) + (-24)/(-60). Let l be p(v). Is -1 <= l?
True
Suppose 4*x - 16 = 0, 3*m = -0*m - x + 46. Let r be 4/(-14) - m/(-49). Suppose r = 5*t - 19 - 11. Which is smaller: 8 or t?
t
Let n be (22/8)/((-17)/(-272)). Is 45 smaller than n?
False
Let l(i) = i**2 + 13*i + 52. Let v be l(-7). Suppose 0 = 3*q + 7*q - v. Which is smaller: -4/15 or q?
-4/15
Let s be (-4)/(-66)*3*-3. Let x = 3.1 - 12.1. Let l = 9 + x. Which is smaller: l or s?
s
Let x be (-374)/(-5) - (-1 + -1). Let u(m) = -m**3 - 4*m**2 + 10*m. Let n be u(-7). Let s = n - x. Which is bigger: s or 1?
1
Let b = -9 + 3. Suppose -42 = 5*u + 2*u. Is u equal to b?
True
Let i = -1.98 - -2.2. Let k = 1.78 + i. Let g = 0 + -2. Is k bigger than g?
True
Let b = -53 - -27. Let c be (-2)/(-6) + (-595)/255. Which is smaller: c or b?
b
Let d = -1115 - -1299. Which is greater: 183 or d?
d
Let c = -1297 - -16841/13. Let i be (-1 - -5) + 1 + -4 + -2. Which is smaller: i or c?
c
Suppose -i - 6 = -t, -3*t - i + 2 = -4. Suppose 2 = 3*p - g, t*p - 26 = -0*p - 5*g. Suppose j = 3 - p. Is j < 1?
False
Let n be 3/(-4) - (-40)/(-160). Which is smaller: -5/111 or n?
n
Let d = -5536 + 5549.892. Let p = d + 0.008. Let x = p - 14. Which is greater: x or -1/3?
x
Let o be (-49)/49*(-1)/18. Let z = -37 - -38. Is z greater than o?
True
Suppose -2*m = x + 1, -m + 5*x - 9*x = 11. Let g = -21 + -1. Let d be (4/(-6))/(g/(-6)). Is m <= d?
False
Let t be (-4)/18 + (-2)/(-9). Let z = 21 - 11. Let p be ((-4)/z)/((-2)/(-20)). Which is smaller: t or p?
p
Let o(p) = p**2 - 9*p + 1. Let v be o(9). Let q be -10 + 14 - -5*v. Is q greater than or equal to 10?
False
Suppose 7*s - 12*s = -1110. Which is greater: s or 221?
s
Suppose -2*n = 2*x - 426, 615 = 3*n + 15*x - 18*x. Is n at least as big as 211?
False
Let y = -1103 + 1103. Which is smaller: y or -1250?
-1250
Suppose -5306*d + 5543*d + 237 = 0. Let v(q) = q**2 - 3*q - 2. Let p be v(4). Let h be p/(-4) + (2 - 3). Are h and d nonequal?
True
Let i = -841/3460 + -6/865. Which is greater: -1/29 or i?
-1/29
Let v be 16/(-36) - (-39)/27. Which is smaller: 2/19 or v?
2/19
Let p be (-28)/(-49) + (-300)/(-14). Is p smaller than 19?
False
Let c = 23 - 15. Let u be ((-3)/12)/((-2)/c). Let v = 9.3 + -9. Is v > u?
False
Let p(z) = -z**3 - 2*z**2 + 8*z - 1. Let j be p(-4). Is j != -17/9?
True
Let w = -137 + 231. Let p = -93.94 + w. Let u be 4/22 + 57/(-132). Is p bigger than u?
True
Let o = -257509/50 - -5150. Which is smaller: 1 or o?
o
Let k be 4/(-18)*(-5)/(-8). Let d(c) = c**3 - 64*c**2 + 189*c - 367. Let l be d(61). Which is smaller: l or k?
l
Let b be (-3)/((-18)/4) - 56/(-24). Let z be 6/2 + -1 - 0. Suppose -5 + z = -b*w. Is 2 > w?
True
Let c = 147 + -146.8. Do c and 0.06 have different values?
True
Let z = -921 - -923. Is z at least 2?
True
Let s(l) = -l**3 + 4*l**2 + 11*l + 8. Let q be s(6). Suppose 5*h - 45 = -5*d, -h + 7 = q*d - 7. Which is smaller: h or 36/11?
36/11
Let n = 21.918 + -0.018. Let x = n - 22. Which is greater: x or 17?
17
Let v = -0.0966 + 1.9966. Which is smaller: 1 or v?
1
Let h be (-10)/6 + 52/(-3). Let o be (0 + -1 - h)*3. Let v be (-8)/1*15/o. Which is smaller: v or -1?
v
Let p = -21 - 0. Let d = p + 30. Let j = 8 - d. Which is smaller: j or -0.2?
j
Suppose -6*a + 126 - 126 = 0. Is a less than -2/303?
False
Suppose w - 2*m - 2 = -25, -3*w + m - 69 = 0. Let c(n) = -n**3 + 5*n**2 - 4*n + 48. Let t be c(6). Let j = t - w. Which is greater: 10 or j?
j
Let u(v) = -v**3 + 11*v**2 - v + 24. Let c be u(13). Which is smaller: -325 or c?
c
Let m = 1872 + -1873. Is m > 1/45?
False
Let q be (-8)/3*(-24)/16. Let d be -3*4*q/(-20). Is 1 greater than or equal to d?
False
Let l = 0.86 - -92.14. Let j = -97 + l. Let z be 6*(-1 - -2) + -1. Is j < z?
True
Let g = 164 + -166.68. Let c = -0.02 + g. Let n = c - 1.3. Is n greater than or equal to -2/7?
False
Let w = 5.9 + -29.9. Let o = 23.7 + w. Which is bigger: -0.6 or o?
o
Let l = 0.45 - -1.25. Let p = 21 - 19.7. Let z = l - p. Is 2 at least z?
True
Let s be 34/2 + 2*(5 - 7). Let t be -4*(-4 - -1) + -1. Is t greater than or equal to s?
False
Let j = 20.968 - -0.032. Let u = 21 - j. Which is smaller: 1 or u?
u
Let j = -2.46 + 0.46. Which is smaller: j or -69?
-69
Suppose -4*z + 4*x = z - 5, -z = -4*x - 1. Let t = 10418675/19 + -547797. Let j = -554 + t. Which is smaller: z or j?
j
Suppose 0 = 10*x + 1438 + 302. Let i be -4 - (-350)/x*-2. Is 1 > i?
True
Let r = 165/133 + -162/19. Are r and -6 equal?
False
Let u = 2/1709 - -1693/13672. Let f = -0.9 + -0.1. Is u < f?
False
Let l be 5 + (4 - 0)*241. Let j = l + -12591/13. Is j greater than 0?
True
Let w(i) = i**3 - 36*i**2 - 83*i + 119. Let c be w(38). Is c greater than or equal to -150?
True
Let n = -22177490/1473 + 15056. Which is bigger: n or 1?
1
Let r = -37 - -41.6. Let v = -15.4 - -17. Let q = r - v. Which is smaller: -3 or q?
-3
Let j = -415.9 + 435. Let g = j - 1.1. Let l = g + -18.4. Which is smaller: l or -0.2?
l
Let u = -125 - -124. Is 98 at most as big as u?
False
Let i = -50 + 55. Suppose -i*g + 10 = -0*g. Are g and -1/2 non-equal?
True
Suppose 0 = -0*k - k + 1932. Let f = -13147/7 + k. Let d = 54 - f. Which is smaller: d or 1/2?
d
Let q(p) = 57*p + 57. Let u be q(-1). Is u != -3/158?
True
Let h = -12.9 - -78.9. Which is greater: h or 0.18?
h
Let l be 6/4*-1*66. Let p be (l/(-374))/(-2 - 0). Let b = p - 2/17. Is 6 bigger than b?
True
Let t = -3287/24 - -137. Are 1/3 and t non-equal?
True
Let j = -1.1 - -1. Let d be (48/220)/((-3)/(-10)). Which is smaller: d or j?
j
Suppose 2*j - 39 = j. Let a(r) = 2*r - 12. Let t be a(7). Let w be t/(-11) - j/(-33). Which is smaller: 0 or w?
0
Let c(i) = -i**3 - 7*i**2 - 2*i - 10. Let f be c(-7). Let u = -0.6 + -1.2. Let h = -2 - u. Is h less than or equal to f?
True
Let o = -511 - -5619/11. Is o >= -1?
True
Suppose -6*u + 7 = -5. Let c be 3/((-84)/44) + (3 - u). Which is bigger: 3 or c?
3
Let p = -212 - -214. Are p and -2 nonequal?
True
Let c = 0 - 6. Let m = 110 + -109. Do m and c have the same value?
False
Suppose 0 = -7*y + 3*y + 3*l, 3*y = -l + 13. Suppose y*o + 0*o - 3 = 0, -3*r = 2*o - 77. Let k = 25 - r. Which is smaller: -3/28 or k?
-3/28
Let l(z) = 11*z + 2*z**2 + 0*z - 7 + 9*z. Let s be l(-10). Which is greater: -13/2 or s?
-13/2
Let v = 314 - 312. Which is greater: v or -2/23?
v
Let u = -71/1980 - -1/180. Let n = u - 43/33. Let f(l) = -l**3 + 4*l**2 - 7*l + 2. Let o be f(1). Is n smaller than o?
False
Suppose -122*x - 230 = -120*x. Do x and -115 have the same value?
True
Let b be (-16)/24*33/16. Which is smaller: -2 or b?
-2
Let t = 12.15 - 7.15. Which is smaller: t or 0.28?
0.28
Let l = -421 - -412.3. Which is greater: -4 or l?
-4
Let t(o) = -o**2 + 5*o + 4. Let v be t(7). Let w be (-5)/(-10) + 126/(-12). Is w greater than v?
False
Let i be (-1)/4 - 30/(-152). Let x = 18 - 18. Which is smaller: x or i?
i
Let h be 13/44 + 5 + (-152)/32. Which is smaller: 2 or h?
h
Let z = 1 - 2. Let c = 44/25 - 59/25. Is c > z?
True
Suppose 34*i = 37*i - 9. Suppose 0*k - 25 = -3*k + 5*n, 0 = -k + 2*n + 9. Suppose 0 = -6*a + 5*a - 4*j + i, -k*j = -5*a + 40. Do 7 and a have the same value?
True
Let q be 3/3*(3 - 3). Is q greater than or equal to -18/157?
True
Let p = 5/10386 - 4466015/72702. Are -62 and p nonequal?
True
Let j = -198 - -197. Which is greater: j or 4/41?
4/41
Suppose 3*j - j - 2 = g, 0 = 3*g - 5*j + 3. Suppose 0 = -5*d + 15, -11 - 16 = -5*b - g*d. Let h(m) = -m**3 + m**2 + 2*m + 5. Le