True
Let i(y) = y**2 - 10*y + 3. Let a be i(10). Let f be 5/20 + 1/(-4). Suppose a*m - m = f. Does m = -2/5?
False
Let n be 860/7300 + (-1)/5. Which is smaller: n or 1?
n
Suppose 5*q = -3*a - 18, 2*q + 2*a = -4 - 4. Let c be -1 + ((-2)/2)/1. Is q bigger than c?
False
Let i = -458 - -351. Is i greater than -2/5?
False
Let k = -62.1 + 62. Is 15/2 bigger than k?
True
Let p be (32 - 32) + -1 + 0. Let q = -0.99 + -0.01. Let k = q - -0.97. Which is greater: k or p?
k
Let a(m) = -1263223*m**2 + 5*m + 3. Let d be a(9). Let u = d - -7469552061/73. Let s = u + -1616. Which is smaller: 1 or s?
s
Suppose -11*d + 29*d = -2070. Which is smaller: d or -576/5?
-576/5
Suppose -5*n + 46 = 5*m - 9, 5*n - 47 = -3*m. Let r be -1*n*((-35)/10 - -3). Do r and -0.3 have the same value?
False
Suppose 283 = 5*z + 2*a, 5*a + 65 = -4*z + 288. Which is smaller: z or 115/2?
z
Suppose 0 = 2*i - 4, -4*d + 3*i + 7650 = -8*d. Is -1914 at least as big as d?
True
Let r be 408/205 + (-10)/5. Let n = r - 404/615. Let q be (-273)/26*4/6. Which is bigger: q or n?
n
Let j = -0.4 - 4.6. Let b = j - -13. Let q = b - 8. Which is bigger: q or 0.1?
0.1
Let s = 1431/43076 - 3/356. Do s and 1 have different values?
True
Let f = -755 + 747.91. Let v = -0.09 - f. Let h = v - 4. Which is smaller: h or 4?
h
Let v = 6417050949/5117240 + -5/4093792. Let d = -1254 + v. Which is smaller: 1 or d?
d
Let s = 309.7 + -308. Is s smaller than 0.1?
False
Let b be -1*(-7)/2 - (5 + -6). Let k be (1/2)/((-6)/(-60)). Which is bigger: k or b?
k
Let v = 67721/2123 - 351/11. Which is smaller: v or -1?
-1
Let c be (-6*(-2)/6)/5. Let t = -4.9 + 3.4. Is c greater than or equal to t?
True
Let i be 11 + 0 + -5 + (-296)/49. Suppose -2*n + 0*n + 2 = 0. Are n and i non-equal?
True
Suppose 6*p - 13 = 5. Let g be (-1*(3 - p))/(-2). Let i = 31 - 218/7. Is i not equal to g?
True
Let g = 94 - -7. Suppose 4*n + 2*f - 116 = 0, -2*f - g = -5*n + 26. Suppose -x = -4*y + 15, 4*x = 2*x + 5*y - n. Is x bigger than -12?
True
Let x = 3.59 + -1.59. Which is smaller: x or -5.54?
-5.54
Let m = 31.4 + -32. Let j = m + -0.4. Which is smaller: j or 0.8?
j
Let r be 18/(-2)*(-1920)/45. Suppose r = 11*d - 3*d. Is d greater than 49?
False
Let f = -13 + 18. Suppose 3*t = -5*z + 20, 3*z = t + f*z - 8. Is t less than -10/23?
False
Let z = 783/5 - 157. Let k = 7 + -3. Which is bigger: k or z?
k
Suppose -2*a - 3*a = -t + 800, a = -2*t - 171. Which is smaller: -162 or a?
-162
Let x = -5/46 + 335/966. Which is smaller: x or 1?
x
Let h = 840 + -712. Are h and 129 non-equal?
True
Let p = -0.13 - 0.87. Which is smaller: 0.005 or p?
p
Let a = 1997/140 - -295/28. Let u = a - 126/5. Which is smaller: u or -7/6?
-7/6
Suppose -3*c - 12 = 3*g, 4*g - 19*c + 16*c - 12 = 0. Which is greater: g or -7/47?
g
Let n = 13 - 7. Suppose 17*k - 1042 = -192*k + 421. Is k > n?
True
Let z be (1/(-3))/(3/(-9)). Suppose 1 - 5 = -2*u. Suppose y + u*a - 5 = 0, -y - 4*a + 7 = -a. Is y < z?
False
Suppose 237 = -30*p - 3. Let x = 19 + -4. Suppose x = -4*f - 17. Is p >= f?
True
Let g(q) = q**3 + 6*q**2 - 9*q - 12. Let r be g(-7). Suppose 2*b + 5*w = 20, -4*w - 3 = -r*b - 19. Is 23 equal to b?
False
Let s = 1.355 - 0.105. Which is smaller: s or -1/4?
-1/4
Let u be 688/402 + 145/(-87). Is u at most as big as -1?
False
Let f = -19/8710 + 5/402. Let z be 2*1/52*-2. Let h = z + f. Which is bigger: -1 or h?
h
Let h be (-78)/66 + 6/33. Let r be 20/(-25)*(-6 - h). Suppose -4*g = 3*p - 23, 0*p - 2*p + 3*g + r = 0. Which is bigger: 4 or p?
p
Suppose 9*p - 100 = 197. Suppose -3*i - 15 = 4*t, 2*i - 3*t + p = 2*t. Which is smaller: i or -10?
-10
Suppose 6 = -0*q + 3*q, -2*z = -q + 14. Let b be 2/(-4)*4/(-1) + z. Which is bigger: b or -60/13?
b
Let n be 0 + 6/(1 + 2). Let b be ((-4)/8)/(n/4). Let q(y) = 6*y**3 - y + 1. Let p be q(1). Which is greater: p or b?
p
Let w = 6 - 4. Suppose -l - 6 = 2*l, 0 = 4*o + l + w. Let c be 0/(2 + o/(-1)). Which is greater: -2/27 or c?
c
Let m be 8 + (-657)/165 + -4. Is m > -3?
True
Let k = 129 - 128.859. Let h = 0.011 - k. Which is bigger: -2/5 or h?
h
Let d be (-362)/4*-4*11/(-220). Which is smaller: -17 or d?
d
Let z(v) = 34*v - 333. Let x be z(8). Are -62 and x nonequal?
True
Let r = -43 - -54. Let p = -11 + r. Let k = -3.01 + 0.01. Is k greater than p?
False
Let q = 1/893 + 580439/9823. Let j = q - 8329/143. Which is bigger: j or 0?
j
Let j(p) = -7*p + 10. Let h(a) = -20*a + 30. Let g(c) = 6*h(c) - 17*j(c). Let b be g(5). Suppose 27 = -2*s + b. Is -10 equal to s?
False
Let u(l) = l**2 - 3*l + 3. Let i be u(2). Let f be (-30)/25*i*5. Which is greater: -2/3 or f?
-2/3
Let b be -2 + ((-129)/7 - (-12)/28). Let v be (20/(-8) + 1)*14. Is v <= b?
True
Suppose -8*d - 5 = -37. Suppose -z + 5*z + b - 16 = 0, 2*z = d*b + 26. Which is smaller: z or 8?
z
Let j(c) = 3*c**2 - c - 9. Let f(p) = -7*p**2 + p + 19. Let q(g) = 4*f(g) + 9*j(g). Let m be q(-4). Let v = -1 - 0. Is m less than or equal to v?
True
Let a be 5 - (-1)/((-2)/4). Let r be 3*((-10)/a - -2). Let u be ((-6)/(-8))/(69/(-368)). Are u and r non-equal?
False
Suppose -5*r - 2*b + 10 = 0, 86*b - 6 = -3*r + 82*b. Suppose 18 = -4*l - 2*t, l - t - 3 = -0*l. Which is smaller: r or l?
l
Let o(s) = 3*s**2 - 2*s - 5. Let j be o(-5). Suppose 0*t + 5*t = j. Let p be t/(-20) + (-4)/20. Which is bigger: -2 or p?
p
Let t be 0 + (-2)/1 + 0. Let v = 29 - 16. Suppose -6*y + 2*y = 20, -3*y - v = -r. Is r bigger than t?
False
Let j(l) = 4*l**2 - 14*l + 28. Let m(o) = 11*o**2 - 42*o + 86. Let q(x) = -8*j(x) + 3*m(x). Let d be q(8). Is -40/3 at least as big as d?
True
Let h = -237 + 163. Are h and -74 nonequal?
False
Let x(q) = q**3 - 5*q**2 - 6*q - 17. Let h be x(7). Which is bigger: h or 38?
h
Let w = -1000/27 - -15388/27. Let n = 532 - w. Is -1 smaller than n?
True
Let o = -111 + 101.8. Let q = o + 9. Which is smaller: -1 or q?
-1
Let x = -15 - -21. Let b be 0*x/(-24) - (-4)/(-2). Are -2/9 and b non-equal?
True
Let a be 1 - 10/7 - (-1600)/875. Is a not equal to -3?
True
Suppose 8403 = -5*d - 11087. Let t be (2 - 4)*d/14. Let q = t - 556. Is q <= 2?
True
Let o = 4322 + -4321. Let p = -1253 - -16297/13. Is p > o?
False
Let t(n) = -n - 3. Let s be t(-5). Suppose -4*b = -i - 3, 2*i = 3*i - s*b + 7. Which is bigger: -10 or i?
-10
Let o be (-201)/39 - (-6)/39. Let t be 4/6*75/o. Let a(m) = 2*m - 28. Let i be a(9). Does i = t?
True
Suppose -3*s = t + 5, -t - 5 = -s - 0*s. Let x = 36 + -50. Let i be ((-1)/(-4))/(x/12). Are s and i non-equal?
True
Suppose z + 2*r = -10 - 28, -3*z + r - 86 = 0. Let k be (12/(-20))/(1/z). Which is smaller: k or 16?
16
Let g(h) = -h**3 - 22*h**2 + h + 24. Let b be g(-22). Let k = 7 + -5. Are b and k equal?
True
Let z = -16/199 - -1154/19303. Let c be 1*(1 + -2) - 0. Are c and z equal?
False
Suppose 8*m - 18 = 6. Let r be 1/m*(-6)/14. Suppose -3*h = -3, -1 = -5*l + h - 2. Which is greater: r or l?
l
Let j be (-1)/(((-20)/(-15))/4). Is -10 not equal to j?
True
Suppose 5*n = -5, n = -2*s - 2 + 1. Let r be 2 - -3*(s - 5). Do -12 and r have the same value?
False
Let q be -3*(1 - 2) + (292 - 296). Let d = 2/291 + -2924/2037. Is d at most as big as q?
True
Let g = 23 + -209/9. Let r be -2 + 2 - 0/1. Let k be (0 + r)/(-2 + 3). Does k = g?
False
Let a = -42/95 + -3/19. Which is smaller: a or 118?
a
Suppose 125 = 5*x - 0*x. Let z(p) = -p**3 - 15*p**2 + 26. Let k be z(-15). Which is smaller: x or k?
x
Let y = -1288 - -1289. Which is greater: y or 4/393?
y
Let a be -1*22*(-2)/(-4). Let x(i) = 3*i**2 + 17*i + 11. Let y be x(-2). Is a at least y?
True
Let w(o) = 67*o - 49. Let n be w(-9). Is n <= -653?
False
Suppose -4*a - 5*h = a - 31700, 0 = 4*h - 16. Let x be 2/17 + a/(-9350). Is x at least as big as -2?
True
Let z = -12 + 11. Let x = 8997/2 - 46747/10. Let o = x + 174. Which is greater: o or z?
z
Let s = 139/16 + -111/16. Is s < -18/7?
False
Let a be (-2)/8 - 17/(-4). Let w(k) = -3*k + 19. Let z(c) = -15*c + 98. Let u(q) = -11*w(q) + 2*z(q). Let d be u(a). Do 1 and d have the same value?
False
Suppose -40*f + 5 = -45*f. Let k = -836975/77 + 10870. Let c = 1/11 + k. Is f equal to c?
False
Let b(m) = -3*m**2 + 6*m + 11. Let c be b(6). Which is smaller: -4 or c?
c
Let u = -1186.4 - -1184. Let n = 3 + -2.9. Is u not equal to n?
True
Let j = -12 + 32. Let y be (-12)/54 - j/(-9). Which is smaller: -1 or y?
-1
Let j = 1