al to t?
False
Let t = -2867 - -2887.03. Let y = t - 20. Which is bigger: y or 10?
10
Let g(r) = -100*r - 2893. Let i be g(-28). Which is greater: -135 or i?
i
Let y be -10*((-756)/30 - 0). Let i = 367 - y. Is i > 114?
True
Let d be (18/243)/(15145/(-1391412)). Let y = -51/3029 + d. Let o = y + 33/5. Is -2 != o?
True
Let w be (-6)/9*60/(-8) + 4. Suppose w*c - 455 + 140 = 0. Which is greater: c or 33?
c
Let a = -31 - -30.43. Let q = a - 0.14. Let y = 0.71 + q. Is -30 less than or equal to y?
True
Let k be (-10)/(-6 - -1 - -4). Let m be (-16)/26*k - (-2)/13. Let n be (-8)/16 + (-30)/4. Which is smaller: m or n?
n
Let g be ((-118)/(-413))/(4 + -2). Is g < -132/7?
False
Let u = 156.7 + -11.7. Let o = 145.05 - u. Which is smaller: 0.03 or o?
0.03
Let i be -21 + 15 + 156 + 1. Suppose 0 = 5*b - 2*z - i, -b - 2*z = -4*z - 35. Is 30 bigger than b?
True
Let t = -11.12 - -10.31. Let m = 1.09 - 0.41. Let g = t + m. Which is bigger: 0.1 or g?
0.1
Let v = 404 - 410. Let i be 3/(-6)*v/(96/1912). Is 60 at least as big as i?
True
Let c(d) = d**3 - 7*d + 11. Let f be c(2). Suppose -15 = 4*z - f*p, -2*z + 5*p = -z + 15. Which is bigger: -216 or z?
z
Let j be ((-2085776)/137172)/(-44) - 2/6. Is j at most 1?
True
Let c be (9/18)/(1/2) - -4. Let r be (c + (-35)/10)*-22. Are -31 and r equal?
False
Suppose -22*m + 7 = -15*m. Let a = 4/185 - -841/3885. Is a at most m?
True
Let w be 7/((-21)/(-27)) - 3. Let j(o) = 3*o**2 - 9*o + 6. Let x be j(w). Let r = 59 - x. Which is bigger: r or -5?
r
Let i = 37378 - 53902. Which is smaller: i or -16523?
i
Suppose 0 = 2*w + 5*a - 5138, 6*w + 32*a = 28*a + 15392. Is w at least 2562?
True
Let t be -2 - (-1 + (-53406)/56420). Let v = t + -3/806. Let m be 3/((-81)/(-2))*6 + (-15080)/10440. Is v at least m?
True
Let h = 0.117 - -872.883. Let p = 873.2 - h. Do p and 2/17 have different values?
True
Suppose -7*i + 840 = -29*i - 38*i. Let a be (-8)/24*(0 + -9). Suppose a*r - 4*r - 15 = 0. Are i and r unequal?
True
Suppose -14*u - 186*u - 105800 = 0. Is -529 < u?
False
Let h be ((-5)/28)/((-77928)/238)*2. Which is bigger: 0 or h?
h
Let r = -3.618 - -4.018. Is -1118 less than r?
True
Let l(k) = 3*k**3 + 16*k**2 - 5*k + 18. Let j be l(-6). Let a = 2 + -23. Are a and j equal?
False
Let v = -103 - -71. Let z = -31 - v. Let b be z/(-3)*-6*-1. Which is smaller: b or 6?
b
Suppose 9*x + 20 - 29 = 0. Suppose l - 3 = -x. Is l > 0.13?
True
Let d = -202 + 198. Let v be (5 + d + 4)/(1/19). Is v at most 96?
True
Let g = -1.16 - 79.84. Let n = 81.3 + g. Are n and 2.3 unequal?
True
Suppose 4*i + 12 = -0*i. Let c = -1879/1096 - 22/137. Is i >= c?
False
Let k be 454/10 - (27 + -7). Is k <= 25?
False
Suppose -455 + 79 = -p. Suppose u - d + 169 - 536 = 0, 3*u = 2*d + 1111. Is u >= p?
True
Let m = 13449 + -13438. Which is smaller: -0.324 or m?
-0.324
Let w = -17609 - -17608.6. Is -0.1376 at most as big as w?
False
Let x(u) = 112*u + 3554. Let f be x(-59). Which is greater: f or -3055?
f
Suppose 16 = -10*t + 66. Suppose 2*a = -z - 4*z + 12, a + t*z = 11. Which is bigger: -16/39 or a?
a
Let q(a) = 17*a**2 + 2*a + 15. Let b be q(-3). Suppose 0 = 47*g - 44*g + b. Are g and -54 equal?
True
Let b(o) = 17*o + 11. Let f be b(-5). Let q = f - -165. Let g = -98 + q. Which is greater: -5 or g?
-5
Let r be 1/((4 - 146/38)/3). Let u be (r/(95/(-1218)))/(8/(-20)). Are u and 608 non-equal?
True
Suppose 31 = 6*g - 59. Let c be (22/(-5) - (-6)/g) + 3. Is c not equal to -1/17?
True
Let d = -15 + 18. Suppose -2*q = d*q - 375. Suppose 6*h + q = h. Which is greater: h or -17?
h
Suppose -6*t = -5*v - 11*t + 1095, -5*t = 0. Suppose 0 = -216*u + v*u + 84. Is u > -18?
False
Let c be 21 + (4 - 18) + (1 - -467). Which is bigger: 465 or c?
c
Let g = -526 + 528. Let h be -4 - g*2/5*-5. Is -1/269 greater than or equal to h?
False
Let x = 7695 - 7906. Is x equal to -20?
False
Let j be 788/1386 + (-29)/((-4872)/(-48)). Is j equal to 0?
False
Let h = 130 + -118. Let x be 2/((-4)/(-280)*4). Suppose -5*w = 5*i - x, w + 2*w = 4*i + 49. Which is smaller: w or h?
w
Let m(h) = h**2 + 8*h - 7. Let p be m(-9). Let x = -1874 + 1856. Let j be ((-6)/x)/(p/6). Is 4/37 smaller than j?
True
Let i = 142 - 142. Suppose i = -5*f + 3*f + 96. Which is smaller: f or 47?
47
Let d(t) = -1 + 6 + 23*t + t**2 - 3 + 7. Let i = -3190 - -3177. Let j be d(i). Is -121 at most as big as j?
True
Let l(m) = m**3 + 86*m**2 + 165*m + 111. Let d be l(-84). Which is greater: 364 or d?
364
Let x = 913.92 + -939. Let l = -25.1 - x. Let y = 6 - 6.07. Is y smaller than l?
True
Let g(y) = y**3 + 4*y**2 - y - 12. Let j(x) = -16*x + 45. Let t be j(3). Let u be g(t). Is u less than 1/61?
True
Let n = 300/859 - 989372/2813225. Which is smaller: n or 0?
n
Let v(m) = 4*m + 426. Let q be v(9). Does -1 = q?
False
Let z(n) = -n**2 + 3*n + 3. Suppose y - 4*m = 40, 3*m + 4 + 2 = 0. Suppose 0*r + y = 8*r. Let c be z(r). Is 0.087 smaller than c?
False
Let p = -2.5299 + -360.4701. Which is greater: -2/17 or p?
-2/17
Let a = 2917810/67 - 43548. Are -3 and a non-equal?
True
Let a = 17.75 - 18. Let f = a - 33.75. Let h = f - -33.5. Which is smaller: 4 or h?
h
Suppose 0 = 4*y + 4*j + 20, 3*y - y = j - 7. Let u be (y - (-2 + 0)) + (-330)/42. Let d = -9 - u. Is 2 <= d?
False
Suppose 37 - 154 = -13*w. Suppose -6*o = -w*o - 258. Let a = o - -86. Is a smaller than 4/19?
True
Let a(x) = x**3 + 10*x**2 + 9*x + 1. Let q be a(-8). Is 233/4 at most as big as q?
False
Let q = -819 - -825. Let h be 16/9 - (-4)/18. Let t = h - -1. Which is smaller: t or q?
t
Let a = -462 - -460.165. Let y = a + 3.849. Let w = y - 0.014. Which is smaller: w or 7?
w
Let x(f) = -4*f**2 + 19*f - 57. Let i be x(7). Which is smaller: -131 or i?
-131
Suppose 4*m = -2*z + 26, -7*m + 4*z = -2*m - 39. Suppose -m*r + 140 = -3*r. Let b = 49/295 + 20847/590. Which is greater: r or b?
b
Let x(g) = 3*g**2 + 223*g + 135. Let s be x(-72). Which is greater: s or -1842/5?
-1842/5
Let z(w) = 15*w**2 + 11*w - 10. Let a be z(1). Suppose 17 = 3*h - 4*p, -8*h + 7*h = 3*p + a. Let n be (42/90)/(1/(-3)). Which is smaller: h or n?
n
Let s be ((-11)/(-8))/(6/(-56)). Suppose -92 = -2*v + a - 118, 0 = 2*a. Which is greater: s or v?
s
Let q = -123 - -124.49. Let n = -0.49 + q. Let y = -3/1510 + -12017/31710. Do n and y have the same value?
False
Let a = 1897737/295 - 6433. Which is bigger: a or 24?
24
Let d(s) = s**3 + 4*s**2 - 7*s + 4. Let x be d(-5). Let p(w) = 2*w**2 - 27*w - 15. Let y be p(x). Is -28/13 > y?
False
Let b be 4/(-26) - 4571/455. Let w = 312/35 + b. Which is greater: -2 or w?
w
Let z = 1319407/25395861 + -23/443. Which is bigger: -1 or z?
z
Let q = -0.114 - -0.212. Let o = q - -0.102. Is -90 equal to o?
False
Suppose -d - 4*p = 231, d + 20*p + 198 = 5*p. Is d less than 2?
True
Suppose 0*i = -4*i - 28, 1785 = y - 2*i. Is y bigger than 1771?
False
Let z = 8 + -6. Let m be z/(-7) - (-960)/(-21). Suppose -13*n + 21 = -14*n - 5*t, 3*n = -5*t - 113. Are m and n equal?
True
Suppose 14 + 26 = -5*c. Let f be (c/(-18))/((-130)/(-3)). Let m(q) = -14*q**2 + 96*q + 13. Let z be m(7). Is z bigger than f?
False
Let a be 5 - 4 - 3578/812. Let o = -67/14 - a. Which is smaller: -1 or o?
o
Let u(d) = -1607*d + 8036. Let f be u(5). Which is bigger: f or -2/44175?
f
Let w = -2/3857 - -814/3857. Is 2/9 smaller than w?
False
Let k = 694 - 890. Let u be 14/k + (-617)/(-14). Are 400/9 and u unequal?
True
Let o = 16.67072 - -0.32928. Is 0.376 greater than o?
False
Let i(s) be the first derivative of -2*s**3/3 - 4*s**2 - 20*s - 3. Let z be i(-6). Let v be ((-192)/z)/4*4. Which is smaller: 5 or v?
v
Let k(p) = -2*p**2 - 8*p - 7. Let d be k(-3). Let n be 40 + (-5 - (0 - d)). Which is greater: 35 or n?
35
Let b be (-184)/(-31142)*(2/5)/((-1496)/(-165)). Which is smaller: b or 1?
b
Suppose u + 3 = 2*u. Suppose 3*f - 68 = -0*q - 5*q, 0 = -3*f + 3*q + 36. Suppose k = f*k - 60. Does k = u?
False
Let g = 142 + -142. Let p = -2136830622409/12802 + 166913812. Let b = p - -9/173. Which is bigger: b or g?
g
Let h = -694434 - -694481. Let i = -8 + 12. Is h not equal to i?
True
Let n(t) = -4*t**2 - 1 - 25*t**2 + 8*t - 18*t**2 + 65*t**2. Let r be n(-1). Which is smaller: r or 68/9?
68/9
Suppose -227 = 5*a - 6*a. Let o = a - 455/2. Is -75 > o?
False
Let w = -35779/6 - -3040153/510. Which is bigger: w or -3?
w
Let u be (-26)/207700*