
Let u(j) = -j**2 + 35*j + 247. Let w be u(43). Is -97 not equal to w?
False
Suppose 2*v + 4 = -4*b, -4*b + 2*v = -v - 6. Let t = 5 - 5. Let f = t + 0. Is f not equal to b?
False
Let u = 1143 + -1155. Is 40 bigger than u?
True
Let g be 391/(-104) - 39/(-104). Let i = g + 33/52. Is i greater than -2?
False
Let o = -0.16 + -10.84. Let x = 11.1 + o. Let n = 6.8 + 2.2. Which is smaller: x or n?
x
Let a(f) = -f + 10. Let d be a(8). Let o(m) = -4*m + 3 + 2 + d*m + 7. Let u be o(7). Is u greater than or equal to -0.1?
False
Suppose -2*n - 5*f + 127 = 0, f = 7*n - 2*n - 331. Suppose 2*o + 3 = -3, -2*o = -4*a - n. Let s be 132/a + (-2)/(-6). Is -7 less than s?
False
Suppose 0 = 5*l + 3*t, 58*l + 5*t = 56*l. Let y = 66 - 45. Is l equal to y?
False
Let y = -88.8 + 89. Let z = y + 1.8. Which is smaller: -4 or z?
-4
Let q = -22302/1685 - -12/337. Which is smaller: q or -12?
q
Suppose -2*f + 66 = -0*f. Let b = f - 47. Let t be -15 + 10 + -21 + 11. Is b != t?
True
Let h be (-660)/(-176) - 1*5. Are h and -63 equal?
False
Suppose -18 = -43*d + 25*d. Suppose -5*u + 3*j + 37 = 0, 3*u + 3*j = 4 - 1. Suppose y + 22 = -4*f - f, -u*f - 26 = 3*y. Which is greater: d or y?
d
Let w = -8 + 19. Let c = w + -9. Suppose -q + 2*x - 4 + c = 0, q + x = 7. Is 5 greater than or equal to q?
True
Let u = 45.18 + -0.18. Which is greater: u or -1/4?
u
Let b be (-5 - (-9940)/(-50))*-5. Are b and 1019 non-equal?
False
Let p be ((-1)/(-2))/(5/270). Let z be (-2)/9*p/(-18). Which is greater: 4 or z?
4
Let k = -497747/1500 + 1991/6. Does 1 = k?
False
Suppose 10*r - 25 = 35. Suppose -4*g + 2*g + 3*i - 16 = 0, -2*g + 4*i = 20. Let w be r + -3 - g/(-1). Is 0.3 at least as big as w?
False
Suppose 3*o + 83 = 2*l, -o - 4*l = o + 66. Let j be o*(-12)/176 + -2. Let w = 107/836 + j. Do 0 and w have different values?
True
Let u = 3 - -42. Let j = 42 - u. Which is bigger: j or 19?
19
Let w(i) = 19*i**2 + 1. Let n be w(1). Let o be (4/(-6))/(n/(-12)). Which is bigger: o or 2.7?
2.7
Let s = -11893/15 + 2342/3. Which is smaller: s or -11?
s
Let v be 2*1/7 + 4/(-14). Which is bigger: -3/38 or v?
v
Suppose -13*v = 367 + 75. Is v greater than or equal to -36?
True
Suppose 21*b + 39 = 8*b. Which is smaller: b or 51?
b
Let w = -974 - -974. Let f = 14 - 14.9. Which is greater: w or f?
w
Suppose f = 4, -4*h + 2*f + 0*f + 98924 = 0. Let n = -174472/7 + h. Let z = -192 - n. Is z less than or equal to -2?
False
Let m = -377 + 391. Does m = 18?
False
Suppose -3*a - 13 = -5*a - 3*z, 4*z + 20 = 2*a. Suppose 5*o = o + 20. Suppose -o*n + 3*g = -39, -4*n + 38 = 6*g - 5*g. Do n and a have the same value?
False
Let n(r) = -16*r**3 + 3*r**2 + 4*r. Let u be n(-2). Let k = -121 + u. Is k equal to 10?
False
Let z = -68 - -41. Let m = z - -17. Let v = m - -11. Is -12 smaller than v?
True
Let g = -67.033 + 67. Which is smaller: 1/5 or g?
g
Suppose 20*r - 808 = 12*r. Let s = -102 + r. Is s greater than -10/17?
False
Let u = -6 - -3. Let o(c) = 2*c**2 + 53*c + 54. Let a be o(-1). Is a less than u?
False
Let l = -36 - -38. Suppose 0 = s - 2, -l*s + 0*s = 3*h + 2. Are h and 3 equal?
False
Let u be (-3051)/437 + 7 + 2/23. Suppose -20 = f - 0*o + 4*o, 3*o = -2*f - 15. Which is bigger: u or f?
u
Let o = -1334 + 1314. Is -8 at most as big as o?
False
Let z(u) = 9*u - u**2 - 5 - u**2 + 2*u. Let g be z(5). Is 3/4 <= g?
False
Let y = -67 - -66. Which is smaller: -2/39 or y?
y
Suppose -3*a - 5 = -2*a, t + 15 = -2*a. Let i be (-80)/(-18) - (-20)/t. Is i not equal to -1?
True
Let l = -1464 - -1909. Do 447 and l have different values?
True
Let h = -585/53 + 11. Suppose 0 = 2*i + 3 - 1. Is h at least as big as i?
True
Suppose 5*x - 8 = -4*f, 3*x - 93 = -5*f - 96. Which is greater: -1.73 or f?
-1.73
Suppose 2*w + 24 = -w. Let j be 12/w - (-14)/(-4). Which is smaller: -4 or j?
j
Suppose 19*y = y + y. Which is bigger: y or 3/37?
3/37
Let z = 1172 + -1175. Is z smaller than 0.93?
True
Let i = 94 - 95. Let v be 0/(i/((-5 - -4)/(-1))). Which is smaller: 1/175 or v?
v
Let g(n) = 11*n + 1. Let h(o) = 5*o + 1. Let p(z) = -6*g(z) + 13*h(z). Let f(m) = 3*m - 7. Let k be f(6). Let y be p(k). Which is bigger: -6 or y?
y
Let s = -273 + 275. Which is smaller: -3 or s?
-3
Let t = -46.98 - 0.02. Which is bigger: t or -0.09?
-0.09
Suppose -555 = -13*v - 191. Are 9 and v equal?
False
Let k be ((-204)/357)/((-2)/427). Is 2 <= k?
True
Let r be (-22)/(-4) + 4/(-8). Let b be 5/2*6/5. Suppose 4*k + 12 = 4*u - 0*k, -b*u = -r*k - 13. Do u and 2/5 have the same value?
False
Let u = -494913/203 - -2438. Is u < 1?
True
Let m be (2 - 1)*2*276/72. Is m at least as big as 9?
False
Let g be 1/(-2)*-2 + -1. Let c be (1/2)/1 + g. Let p = -126.46 - -130.46. Which is smaller: p or c?
c
Let g = 164/21 - 12473/1596. Which is bigger: -1 or g?
g
Let m(s) be the second derivative of s**3/6 + s. Let x be m(2). Suppose 2*c = -5*t - 19, -c = -0*t - x*t - 4. Which is bigger: -1 or t?
-1
Let t = -76 + 72. Which is greater: 11 or t?
11
Let g = 0.097 - 0.527. Let x = 4.97 - g. Let o = 5 - x. Is o at most as big as 0.2?
True
Let b(a) = -a**3 + 16*a**2 - 49. Let v be b(16). Which is greater: -46 or v?
-46
Let q = -76 + -22. Is q > -98?
False
Let g(y) = -2*y - 16. Let r be g(-10). Suppose -r*s = -3*s - 1. Is 2 less than or equal to s?
False
Suppose -18*x = -8*x. Is 2/379 at most x?
False
Let b = 1.631 - -0.069. Let y = b - 1.9. Do y and -18 have different values?
True
Let r = -2278 + 1300. Which is bigger: -977 or r?
-977
Let a(f) = -f**2 + 9*f - 5. Let t be a(7). Suppose 4*l - t = -5. Is -1/28 at most as big as l?
True
Suppose -3*g + 4*g + 27 = o, -2*o = g - 39. Let a = 56 - o. Are 34 and a equal?
True
Let b be -6 + -4 - 1*-3. Let g = b - -7. Suppose -2*i + 8 = -2*q - g*q, -2*q - 14 = 4*i. Which is bigger: -13/3 or q?
-13/3
Let c = -241 - -341. Let g = c + -63. Is g bigger than 36?
True
Let h = -25 - -22. Let o be ((-8)/(12/h))/2. Is o greater than 1/62?
True
Let w(u) = -u**3 + 14*u**2 + 10*u + 110. Let r be w(15). Which is smaller: 570/17 or r?
570/17
Suppose -2*m + 9 = 11. Let n = -46 + 22. Let l be n/(-26)*(-2)/(-4). Is m < l?
True
Let n = 339.183 + -339. Let v = -0.083 + n. Is v >= -31?
True
Let m = -34 + 34. Let f be 5/(-5) + 1 + m. Suppose -16 = 4*i - 4*y, -3*i - 8 = -0*y + y. Which is greater: f or i?
f
Let q be 3/((-18)/(-24)) + 25. Which is smaller: 32 or q?
q
Suppose -3 - 2 = -5*v. Suppose 4*b - v = 3*b. Which is bigger: 2/83 or b?
b
Suppose 2*i + 12*i + 14 = 0. Suppose 4*k - 14 + 38 = 0. Let h = k + 4. Which is smaller: i or h?
h
Suppose 11 = j + 3*t, 2*t + 1 = -5*j + 4. Suppose 3*s = -16 - 20. Let a be 1*j*(-3)/s. Is 1/6 >= a?
True
Let o = -22 - -21.62. Let d = 0.58 + o. Are -0.1 and d equal?
False
Let o be 2/10*2*(1 - -4). Suppose -5*c - 2*f + 0*f + 41 = 0, o*c = -4*f + 26. Which is smaller: c or 5?
5
Let k be ((-6732)/10336)/(3/(-20)). Which is greater: 4 or k?
k
Suppose -d + 354 + 1019 = 0. Let y = 951 - d. Let j be -3 + -1 - y/105. Which is smaller: j or 0?
0
Let h = -70 - -79. Let n be (3/h)/(1/(-9)) - -22. Is n greater than or equal to 21?
False
Let l be (-2)/(-5) - 94/210. Let p = -14 - -16. Let q = p - 2. Does l = q?
False
Let g(q) = -7*q**3 + 3*q**3 - 1 + q - q**2 + q**3 + 2*q**3. Let h be g(0). Which is smaller: -2 or h?
-2
Let i = -10.7 - -2.7. Let p = i - 0. Let r = p - -6. Is 7 equal to r?
False
Let f be (-8 - -1)/(6/(2 + 4)). Which is bigger: f or -74/9?
f
Let w = 60 - 53.9. Let d = -5.94 - 0.06. Let h = w + d. Which is bigger: h or -2/3?
h
Let m be (-110)/22 + (-7)/(-5). Let p(w) = w**2 + 8*w + 2. Let v be p(-8). Which is smaller: m or v?
m
Let v = -21.3 - -21.31. Do 0 and v have the same value?
False
Let w = 223 - 1128/5. Is -4 at most w?
True
Let u = 236.2 + -238.2. Are u and -457 nonequal?
True
Let z = -66 + 66. Suppose 2*f = -2*o + 4*o + 2, -3*f + 5*o + 7 = z. Is f equal to -4?
False
Let c = -298 + 452. Let b = -153.986 + c. Which is smaller: 2 or b?
b
Suppose -38*i - 25 = -43*i. Let c = 41294641/96 + -430148. Let h = c - -5/32. Which is smaller: h or i?
h
Let c = -39.2 - -43.104. Let a = c - -0.096. Is -3 <= a?
True
Let n be 26/(-104) - 21/60. Let j = 0.01 - -1.49. Let z = j + -0.5. Which is greater: z or n?
z
Suppose 3*z - a - 63 = 0, -z + a + 23 = -0*z. Let w be (-1)/5 - (-303)/15. Let v = w - z. Which is smaller: 5/2 or v?
v
Let x(k) = 2*k**2 + 8*k -