pose -q + 2*a - g = 6*a, -31 = 4*q + 3*a. Which is smaller: -2 or q?
q
Let f = -74817427579/1503989800 + -2/6064475. Let z = f - -399/8. Is z equal to 0?
False
Suppose -5*g + 39 = -86. Suppose g = 3*b + 118. Suppose -99*k = -85*k + 434. Is b smaller than k?
False
Let k = -21956.976 - -21880. Let z = 77 + k. Do -0.2 and z have the same value?
False
Suppose -5*r - 242 = z, 0 = 3*r - z + 30 + 112. Let x = r + -1. Let i be (-2)/(-8)*(-56)/x. Is i at most as big as 1/9?
False
Let c be (40/(-25))/(8/20) + -21. Does -27 = c?
False
Let f = -32.45 - -0.45. Let n = -249.8 + 282. Let p = f + n. Is p equal to -1.2?
False
Let v = 5.9 - -0.1. Let t = 859 + -1717/2. Are v and t unequal?
True
Let s(d) = 31*d**2 - 2*d. Let z be s(3). Suppose -5*f - z = -8*f. Let i be 29/7 + (-13)/f. Do 4 and i have different values?
False
Suppose 3*c = 4*d - 21, 3*c + 9*d + 18 = 12*d. Is -12/5 greater than or equal to c?
True
Suppose 4*w - 106 = -102. Is w at most 2/1773?
False
Let f = 11 - 7. Let l be 2 + (0 + 1)*-8. Let g = l + f. Which is smaller: -3/2 or g?
g
Let h(p) = p**3 + 31*p**2 - 29*p + 25. Let g be h(-32). Suppose 20*n = 18*n - 142. Are g and n unequal?
False
Let f be 2475/15660 - (26/12 - 2). Are f and -0.2 unequal?
True
Let a be (-4)/(-41)*82/41. Which is smaller: a or 0?
0
Let j(g) = -g**2 - g + 2. Let f be j(-2). Let t = -55/357 + 2/21. Is f at least as big as t?
True
Let f(b) = -b**3 - b**2 + 7*b + 3. Let n be f(-4). Suppose 2*x = -x + 4*v, -5*x - v + n = 0. Suppose x*a + 5*p = -16, -3*p + 2*p = 4*a. Is 10/11 smaller than a?
True
Let f be (0 + 1 + -2)*-1. Suppose -f + 2 = -s. Which is smaller: s or -5/19?
s
Let a(s) = -s**2 - 11*s - 33. Let z be a(-10). Let q = z - -22. Is q less than -1/89?
True
Let c(a) = 4*a - 16. Let m be c(-7). Let i = m - -70. Does i = 28?
False
Let y(p) = p**2 - 12*p + 37. Let k be y(6). Let q be 2 + (-8)/7*1. Which is greater: q or k?
k
Let o = -1535 + 1534.9. Is o at least as big as 1085?
False
Let w = 1519 - 1501.86. Let m = 17 - w. Let j = m + 0.17. Which is bigger: j or 0.1?
0.1
Let w = 10653/38 - 559/2. Which is smaller: w or 2?
w
Let t be 5/15*3*-55. Is 0.2 > t?
True
Suppose -17*p = -31*p. Let m = -53/1035 - 1/230. Is p at least m?
True
Let z(y) = -2*y + 10. Let m be z(-9). Suppose -5*k + 123 = m. Suppose 4*u - k + 23 = 0. Which is bigger: u or -0.01?
-0.01
Suppose 23*b - 6006 = 641. Which is bigger: 290 or b?
290
Suppose 3*k = 2*q - 9 + 1, 4*k - 3*q + 11 = 0. Let z = -0.14 - -0.02. Which is bigger: k or z?
z
Let z(k) = k - 8. Let h be z(10). Let y be (0 + (-1)/30)/(h/(-6)). Is 0 not equal to y?
True
Let g = 2922 + -2923. Is g equal to 0.403?
False
Suppose -26 = 2*a - 4*n, 2*n - 3*n - 1 = 2*a. Let g be a/7*2/(-12). Suppose -77*o = -4*h - 79*o, 5*o = 2*h. Which is greater: h or g?
g
Let k = 1/23 + 21/575. Let d = 24/325 + k. Is d at least as big as 1?
False
Let k = 73.04 - -10.96. Which is greater: k or 12?
k
Let h = 1.1 - -0.8. Let c = h + -3.3. Let l = c - -1.18. Is l greater than or equal to 1?
False
Let m(u) = -3*u - 2*u**2 + 4*u**2 + 24 - 15*u - u**2. Let r be m(16). Let l be 6/r - 285/(-348). Is l greater than or equal to 0.1?
False
Suppose 193 - 178 = 5*p. Is p not equal to 4?
True
Let w = 17 + -5. Let u be (-4)/w + (-6)/4. Is u at least -1?
False
Let v = -2815.23 - -2815. Is 0 bigger than v?
True
Suppose 3*j - 8*j - 3*u = 12, 4*j = -5*u - 20. Suppose -2*l + j*l + 90 = 4*g, 95 = 5*g - l. Which is smaller: 21 or g?
g
Let r(d) = -d**3 + 11*d**2 - 21*d + 90. Let k be r(10). Let x be -14*(2 + (-2)/4). Are k and x equal?
False
Let x = -15599 + 733120/47. Do x and -1 have the same value?
False
Let a = -89 + 89.5. Which is smaller: 13 or a?
a
Let j = 190 - 189. Is j less than 3/395?
False
Suppose 12*c - 4 = 8. Which is greater: 3/58 or c?
c
Let x be (3 - 130/45)/((-9)/54). Which is smaller: x or 55/7?
x
Suppose 0 = 6*a + 139 - 367. Suppose -4*z + a = h - 2*z, -3*z + 73 = 2*h. Let m = -32 + h. Which is smaller: 1/4 or m?
m
Suppose 0 = u - 3*i - 15, 5*u - 8*u = -4*i - 25. Suppose u*d = -2*n - 14, 2*d + 8 = 2*n + 2. Let f = -91/423 + -1/141. Is f greater than n?
True
Let o = -1.21 - 66.79. Let k = o - -67.5. Which is bigger: -0.01 or k?
-0.01
Suppose 0 = -5*q + 8 - 3. Let x = 159/4 + -40. Which is bigger: q or x?
q
Suppose 5*a + 0*a + 40 = 0. Let t(p) = -p**3 - 3*p**2 + 4*p + 3. Let s be t(-2). Do s and a have the same value?
False
Let f = -2 - -1. Let k = 1480 + -1473. Is f at most as big as k?
True
Let i be (10/(-4) - (-6 - -3))*-2. Is i at most 2/263?
True
Let o(r) = 6*r**2 + 26*r + 13. Let g be o(-6). Which is greater: 71 or g?
g
Let y be (322/(-28))/((-1)/4). Is -1 greater than y?
False
Let i be 6*2/4*7/3. Let l be i/21*(-6)/5. Which is greater: -1.7 or l?
l
Let u(n) = -n**2 - 18*n - 17. Let j be u(-17). Suppose j*m = -2*m - 6. Are m and -28 unequal?
True
Let t = -100 + 379. Which is bigger: t or 275?
t
Let y(i) = -i - 8. Let f be y(-6). Suppose -t + 21 = 189. Let d be t/35 + f/10. Do -6 and d have different values?
True
Suppose 4*u = 3*t - 42, u + 63 = 3*t + 4*u. Suppose t = h + 10. Is 9 at least as big as h?
True
Let q(y) = y**3 + 8*y**2 - 2*y - 3. Let h be q(-5). Suppose 5*s + h = 12. Let x be s/6*(-8)/(-28). Is -2 at least x?
False
Let t = -109 + 56. Let o = 54 + t. Does 0 = o?
False
Let p = -2/339 + -668/1695. Which is smaller: -85 or p?
-85
Let d = 825 + -826. Which is smaller: 194 or d?
d
Let f = 0.48 + -0.54. Let p = -0.3 + 0.34. Let r = f - p. Which is smaller: r or -0.09?
r
Let h = 82 - 148. Let y = h - -65. Suppose 0 = 3*j + 3*b - 7 - 5, 3*b = 4*j + 12. Is j greater than or equal to y?
True
Let u = 20/107 - 2542/10165. Which is smaller: u or 3?
u
Suppose 4*n = 2*n + 38. Let h = -95 - -80. Let j = h + n. Is 3 less than j?
True
Let z(q) = q**3 + 11*q**2 - 5*q - 23. Let i be z(-11). Let a = 41 - i. Suppose 0*y - 45 = -5*y. Is a at most as big as y?
True
Suppose 2*c = -3*c - 15. Let v = -2 - c. Let i be (2/3)/(4 + v). Which is smaller: i or 0?
0
Suppose -3*p - 111 - 156 = 0. Which is smaller: -88 or p?
p
Let t be (1/6)/((-122)/8). Suppose 335*q - 340*q + 4*h + 29 = 0, -4*q - 2*h - 8 = 0. Is t != q?
True
Let h be (-368)/60 - (-2)/15. Let o be ((-34)/4)/(h/(-12)). Which is bigger: o or -16?
-16
Let h = 12 + -12. Let w = h + -4. Are w and -8 non-equal?
True
Let p be 2 - (2 + 3 - 3). Suppose d + c = -32, -5*d = -p*c + 2*c + 172. Let z be (-206)/36 + (-8)/d. Which is smaller: z or -6?
-6
Suppose 2*g + 4*g - 36 = 0. Let o be (g + -3)*(-32)/60*-1. Which is greater: -2/5 or o?
o
Let o be ((-10)/(-4) - 2)*8. Let g be (14/o)/((-10)/4). Let x(a) = -2*a**2 + 19*a + 33. Let i be x(11). Is i greater than g?
True
Let k = 1834090/32637 - 44/2967. Let o = k - 939/22. Do 13 and o have the same value?
False
Let n(j) = -1 + 4*j**2 - 8*j - 6*j**2 + 7 + j**2. Let p be n(-7). Let u = 10 - p. Is -2 less than u?
False
Let q(z) = -z**3 + 6*z**2 - 2*z + 8. Let j = 7 - 1. Let u be q(j). Suppose -3 = 18*l + 33. Which is smaller: u or l?
u
Let o = -27.82 - -27.8. Is 27 at most as big as o?
False
Let h(q) = q**2 + q - 2. Let l be h(1). Are 21/16 and l equal?
False
Suppose -86*o + 94*o + 272 = 0. Is -37 at most as big as o?
True
Let q = 25 - 22. Suppose -q*l = -6 + 24. Let r(f) = f + 5. Let c be r(l). Which is smaller: c or -2/19?
c
Let x = 690 - 690.1. Is x > 36/7?
False
Let f(i) = -6*i**3 - 3*i**2 + 8*i - 9. Let l be f(2). Which is bigger: l or -55?
l
Suppose -3 = 5*k - 3*m, -4*k + 3*k - 2 = -2*m. Let y(q) be the third derivative of q**5/60 - q**4/6 + q**3/6 - q**2. Let a be y(4). Which is greater: k or a?
a
Let m = -2.98 - 0.02. Let q = m - -2.9. Let j be ((-5)/(-3) - 1) + (3 - 4). Is q >= j?
True
Let k(m) = m + 82. Let f be k(0). Suppose q + f = 5*v, -3*q - 4*v - 210 = -7*v. Does q = -68?
False
Suppose -4*q - 4*p = -9*q - 20, 0 = -2*q + 2*p - 6. Let v be 3/(-3) + (-6)/(-8). Are v and q nonequal?
True
Suppose 4*m + 4*a - 24 = 0, -2*a + 30 = 5*m - 5*a. Suppose 4*x - 5*o = -52, -x = -m*x - 2*o - 32. Is x bigger than -0.2?
False
Suppose 0 = -3*o - 5*w + 208, 224 = 3*o - 4*w + 34. Is 73 less than o?
False
Suppose 0 = 4*y - 17*y - 468. Which is smaller: -39 or y?
-39
Let f be (-1)/(-7) + 788/(-28). Let b be 9/f - 8/(-14). Let m = 3/65 + 28/13. Is m smaller than b?
False
Suppose -3*b + 3*m - 6 = 0, -10 = -5*m + 5. Is b less than -2/11?
False
Let f = -