?
True
Let l = -0.99 + 0.19. Let d = -8.92 - 0.08. Let g = d - -8.8. Is l greater than g?
False
Let g(p) = p**2 + 3*p - 2. Suppose -3*n - 4 = 2*t, -5*n + n - 5 = 3*t. Let d be g(n). Is -19/5 < d?
False
Let a(y) = -20*y. Let m be a(1). Let z be ((-3030)/m)/(1/(-2)). Let o = z + 917/3. Which is smaller: o or 4?
o
Let l be 2/(-7) + (0 - (-3195)/(-42)). Let y = l - -151/2. Let k = -6 + 4. Is y bigger than k?
True
Let u = 662/35 + -96/5. Which is bigger: 43 or u?
43
Suppose -2*c + 53 + 24 = -g, c - 42 = -3*g. Let z = -43 + c. Are z and -3 non-equal?
True
Suppose 9*a + 567 + 2313 = 0. Is a at most -321?
False
Let u = -1265 + 1204. Is -61 less than u?
False
Let v = 521378/377957 + -2/13033. Is 0 <= v?
True
Suppose 2*i + 62 = 2*p - 0*i, 4*p - 127 = 5*i. Suppose 23*r + 5*r - 784 = 0. Is p greater than r?
False
Let g = 8 - 8. Suppose g = -q - 2*t, -q = 3*t - 0*t - 2. Is -6 equal to q?
False
Let h be (0 - 16)*26/52. Let t be ((-3)/h)/((-21)/(-20)). Which is bigger: -1 or t?
t
Suppose -6*z - 12 = -2*a - 4*z, -2*a - 5*z = -47. Let t be ((-1)/3)/(a/99). Which is smaller: -1 or t?
t
Let g(c) = c + 9. Let h = -6 + 24. Let i be (-79)/9 - 4/h. Let k be g(i). Which is greater: k or -1?
k
Suppose 8*o + 33 = 11*o. Let r = o - 11. Suppose 3*i = -r*i - 9. Are i and -4 unequal?
True
Let w = 12 + -8. Suppose 9 = 3*z - w*g - 6, -z + 7 = -2*g. Let n = 308 + -308.1. Which is greater: n or z?
z
Let m be 1/2*-2*(-3 - -4). Let j be (-15)/(-240) - (m + 1). Which is greater: j or 0?
j
Let z be (-40706)/(-21398) + 14/(-91). Let h = -1227683/288873 + z. Let j = -33/13 - h. Is 1 equal to j?
False
Let j(g) = -g**2. Let v be j(-1). Let f be (-26)/(-105) + v/5. Let c = -68 + 69. Is c greater than or equal to f?
True
Let q = -631 + 668. Is -9 greater than or equal to q?
False
Let z = 38 - 14. Let k = -22 + z. Which is bigger: -6/11 or k?
k
Let x(j) = -j**3 + j**2 - 6. Let p be x(0). Let m be (-16)/p*(-6)/4. Is m at most 2/11?
True
Suppose 0 = 3*m - 18*m + 360. Is 71/3 <= m?
True
Suppose -2*i + 0*i + 14 = 4*c, -3*i - 1 = -5*c. Suppose -2*t - i = t. Is t at most 2/75?
True
Let j = 4.21 + -3.8. Let i = -0.4 + j. Which is smaller: -8 or i?
-8
Let s(w) = -2*w**3 + 7*w**2 - 7*w + 11. Let m be s(3). Does m = -2/33?
False
Let i = -16 - -14. Let z be ((-1)/i)/(4/(-28)). Is -5 at least as big as z?
False
Let n be ((-3)/(-6))/(1/(-6)) + 4. Which is bigger: n or 2/671?
n
Let k = 319/2 - 67297/422. Are -1 and k unequal?
True
Let s = -2.8 + 2.9. Let a = -0.9 - s. Which is smaller: 12 or a?
a
Let p(f) = 2*f - 3. Suppose -m - 2 + 1 = 0, 5 = x - m. Suppose 53 = -n + 6*n + x*d, -2*d = -n + 5. Let b be p(n). Is 16 smaller than b?
False
Suppose 0 = 3*q - 5*r + 8, 3*q - 2*r - 4 = 0. Suppose q*f = 3*s + 10, -f + 10 = 2*s + s. Suppose 0 = -2*w + f, 9*n - 4*n + 7 = w. Is n bigger than 1/5?
False
Suppose 5*z + 6*z + 11 = 0. Let j = 5 + -3. Let k be (-16)/(-11) - j - z. Is 0 less than or equal to k?
True
Let k = 115 + -111. Is 40/11 smaller than k?
True
Let m = 446/3 + -622/3. Is m greater than or equal to -58?
False
Let c = 10009/26 - 385. Let q(j) = -j - 7. Suppose -18 = 4*m - m. Let d be q(m). Which is smaller: c or d?
d
Let w = -31 - -40. Let p = w - 9. Is -2 less than or equal to p?
True
Let y = 317 + -441. Which is smaller: 0 or y?
y
Let k(l) = 5*l + 5. Let j(s) = -9*s - 9. Let h(x) = -6*j(x) - 11*k(x). Let d = 0 + 1. Let c be h(d). Is -2/3 bigger than c?
True
Let v = -15 + 20. Suppose -3*q = -4*t - 63 + 10, 0 = 4*q + v*t - 50. Suppose 0*z + 4*z = 3*i + q, -2*i - 4*z + 10 = 0. Is -1/3 bigger than i?
True
Suppose -m = -0*m + r + 9, 2*m = 5*r - 11. Let z = 806 - 16928/21. Which is bigger: m or z?
z
Suppose 0 = -11*w + 5*w + 6. Suppose -3*k = 3*h + 9, w = -h - 3*k - 8. Let p = -142/279 + 2/31. Do p and h have different values?
True
Suppose -4*t - 518 = -2*v, 4*t - 3*v + 10*v = -563. Is t >= -132?
True
Let d = -77 + 74. Let j be (-2)/1 + (-159)/d. Which is greater: 52 or j?
52
Let c be ((-1)/33)/(78/(-6084)). Which is bigger: 3 or c?
3
Let l be 12/(-136)*24 + -4. Let f = -1280/187 - l. Is f at most as big as 0?
True
Suppose b + 4 = 5*b. Suppose -3*k = m + 62, 11 = -4*m - 9. Which is smaller: b or k?
k
Suppose a - 6 = 5*i + 13, 0 = -4*a - 5*i - 24. Let w = 1.11 + -8.41. Let x = 7 + w. Which is greater: x or a?
x
Suppose 2*n = -p + 1440, 2*n - 7160 = 4*p - 9*p. Let s be p/(-8)*22/55. Let w = 73 + s. Which is bigger: 2 or w?
2
Suppose -167*u = -171*u + 188. Is u less than or equal to 45?
False
Suppose 0 = -63*l + 62*l - 24. Let b(n) = -2*n**2 - n - 7. Let j be b(-6). Let k = 50 + j. Is l less than or equal to k?
True
Let v = 724 - 532. Is v < 192?
False
Let q be 393/(-18) + 12/(-72). Is 2/5 smaller than q?
False
Let s = -53/15 + 1121/330. Let c = -1 + 1. Is c > s?
True
Let i = -2786/17 - -164. Suppose 108 = -5*l + 3*y, -5*l - 57 - 49 = -y. Let m = l - -22. Do m and i have different values?
True
Let g = -614/465 - 2/155. Let s = -1257 - -1260. Is g > s?
False
Let k be -1 - -6 - (15*-14)/5. Suppose -228 = -5*t + g, 0*g - 232 = -5*t - g. Do k and t have the same value?
False
Let i(y) = y**2 + 18*y + 46. Let m be i(-14). Let h = 16 - 25. Is m equal to h?
False
Let i = -0.181 + 18.781. Let p = i - 0.6. Let g = p + -19. Is g greater than or equal to 6?
False
Suppose 6 = -3*t - 9. Let l be 2 - (-35)/95*t. Does l = 1?
False
Let x(s) = s**2 + 10*s + 4. Let b be x(-10). Suppose 2*m = -b + 6. Is m equal to 1/2?
False
Let o = -1018 + 678. Is -339 greater than or equal to o?
True
Let w = 496 - 491. Let a = -1 + 4. Is a <= w?
True
Let v = 39 + -37. Are 1/4 and v equal?
False
Let t(y) = 2*y**3 + 18*y**2 - 28*y - 9. Let k be t(-17). Let c = -170429/41 - k. Is -1 greater than c?
False
Let v(p) = -p**2 - p + 2. Let j be v(-2). Let w = 298 + -286. Is w > j?
True
Let f be ((-9)/(-132))/((-1)/(-4)). Let b = 404 + -403. Which is bigger: b or f?
b
Let t = 478 + -372. Which is bigger: t or 104?
t
Let u = -5.1 - -5.2. Is u at least as big as 44?
False
Let o = -0.272 + 0.072. Do 105 and o have different values?
True
Suppose t + 3*f = -t - 7, 0 = -2*t + 3*f + 11. Let u(r) = r**2 - 15*r + 6. Let v be u(14). Let b be (-4)/(-30) + v/(-240). Is t equal to b?
False
Suppose -5*p + 2*l = 8, p - l - 1 = -5. Suppose p = -j - 4 + 1. Let k = -5 - -2. Does k = j?
True
Suppose 7*j - 24 = 18. Let g be 21/(-28)*(-32)/j. Suppose -5*h = -4*h + 1. Is h less than g?
True
Let z = -20 + 45. Let i = z - 17. Suppose -3*k = 12, i*k + 11 = -u + 5*k. Are -2/43 and u non-equal?
True
Let l = -16 + 25. Suppose l*o = 6*o. Suppose 0 = -o*q - 4*q. Is 2/21 bigger than q?
True
Let q(z) = -2*z + 14. Let x be q(6). Let i = 21 - 11. Let p = 12 - i. Is p less than x?
False
Let f = -8.12 + 6.12. Let i = -6 + -3. Which is greater: f or i?
f
Let s be (-3 + 1)*11/(-2). Suppose -3*n = -q + 102, -6*n = -7*n - 2. Suppose o - q = -7*o. Is s less than or equal to o?
True
Let r(l) = l**3 + 6*l**2 + 7*l - 5. Let z be ((-168)/(-140))/(3/(-10)). Let m be r(z). Is -1/11 equal to m?
False
Let u be (-9 - 0)*3/(75/(-10)). Let w = u - 113/30. Which is smaller: 1 or w?
w
Let d = 0.0895 - 16.7895. Do -1/3 and d have the same value?
False
Suppose 121 = 6*s - 5*s. Which is greater: s or 123?
123
Suppose 2*t - c = -0*t - 84, c - 41 = t. Let x = -43 - t. Which is smaller: 3/8 or x?
x
Let z = 0.3 - 0.37. Let y = -4.93 + z. Let o = y - -5. Is -2/33 at most as big as o?
True
Let o = -493482/365 + 1352. Let s = o - 308/77015. Which is smaller: 0 or s?
s
Suppose 5*k - 23 = -3. Let p be -2 + k*(-3)/(-9). Let m = -2.1 - 0.9. Is p > m?
True
Suppose 3*f - 11 = -2. Suppose f*t - 10 = 5*b, -4*t = -2*b - 0 + 10. Let v(o) = o**2 - 4*o - 1. Let l be v(3). Which is smaller: l or t?
t
Let l be ((-63)/294)/((-3)/4). Suppose 4*g = 4*p, p + 5 = 2*g + 4. Which is bigger: p or l?
p
Let t be 296/(-149) - (4 - 24/4). Let y be -5*((-6)/5 + 1). Which is smaller: t or y?
t
Let g(b) = b**3 - 2*b**2 - 3*b. Let p be g(4). Let o = 31 - p. Which is smaller: o or 10?
10
Suppose -3*x + 5*q = 86, -7*q + 3*q = x + 23. Which is greater: -24 or x?
-24
Suppose -2*s + p + 7 = 0, -3*p + 8 = -4*s + 27. Which is smaller: s or -38?
-38
Let y be (-132)/(-308) - ((-552)/(-406) + -1). Let u(c) = c**3 - 2*c - 1. Let b be u(-1). Which is greater: y or b?
y
Let g be (-7)/(-5) + (-21)/(-35). Suppose -51 = f + g*f. Let k(d) = -15*d**2 - 1. L