?
False
Let a = -163 - -173.1. Let y = 9.1 - a. Which is smaller: y or -6.6?
-6.6
Let l = -1697/5 + 338. Let b = -145/2 - -72. Which is smaller: b or l?
l
Let t = -30.91 + -0.09. Let j = 18 + t. Let o = 14 + j. Are -0.1 and o equal?
False
Let c = -9 - -9.1. Let s = 0.2 - c. Let k = 1.1 - s. Which is smaller: -4/7 or k?
-4/7
Suppose -5*h + 20 = 0, -5*h + 580 = -2*c - 3*c. Is -113 less than c?
True
Suppose 5*n + 37 + 8 = 0. Let l(x) = -x - 4. Let d be l(n). Suppose -9*j = -3*j - 18. Which is smaller: j or d?
j
Let h be 2/5*150/(-140). Is 1 at least as big as h?
True
Let b(l) = 6*l + 214. Let k be b(-46). Which is bigger: k or -66?
k
Let f = -19/82 + 2135/9922. Let m be 1833/1089 + 1 - 2. Let v = f + m. Which is bigger: -0.5 or v?
v
Let l be 24/(-30)*-15*(-2)/(-68). Suppose -2*f + 4*p + 2 = 3*f, -2 = f - 2*p. Suppose f*o + 5 = 7*o. Which is smaller: l or o?
l
Let b = 6 + -32. Let y = b + 26. Which is smaller: 3 or y?
y
Let j(s) = -21*s + 395. Let k be j(-12). Is k equal to 649?
False
Suppose -3*h - 6*h = -5*c - 479, -5*h = c + 123. Which is greater: -102 or c?
-102
Let r(a) = a**2 - a. Let k be r(-2). Suppose -3*o = -3*q - 1 - 5, 2*o - k = q. Are o and 0 equal?
False
Suppose 2*w + 9 = -w. Let v = -14 - -18. Let l be v/(-6)*w/(-44). Is l >= 1?
False
Let c(l) = -l**3 - 6*l**2 + 7*l + 2. Let f be c(-7). Suppose 0 = 2*k - 4*j - 10, 27 = f*k + 2*k - j. Let r be (-4)/8 - k/(-4). Which is smaller: 2 or r?
r
Let z(a) = -a + 8. Let b be z(5). Suppose -b*p + 3 = 2*c - 6, -4*c - 5*p + 15 = 0. Suppose 0*x + x = c. Which is bigger: 5 or x?
5
Suppose -3*j - 3*d = -6*j + 12, 19 = -4*j - 3*d. Let f = j + 4/3. Does -19 = f?
False
Let w = -43 + 104. Let c = w - 62. Which is smaller: c or 6?
c
Let l = -3.05 - -0.05. Let j = -0.1 - 3.9. Let h = l + j. Which is bigger: 1 or h?
1
Let v be 3/(-1) + 5 + 1. Suppose 2 + 1 = -v*d. Which is greater: d or 2/131?
2/131
Let y = -10.117 + 10.1. Is -1/7 at least y?
False
Let z(g) = 9*g**2 + g. Let b be ((-9)/2 - -4)*2. Let l be z(b). Suppose -20 = l*a - 4. Is -1 equal to a?
False
Let v be 930/70 - 4/14. Let y be -73 + 92 - (-1 + 4 + 1). Is v greater than y?
False
Let t(o) = o**3 - 12*o**2 - 15*o + 3. Let h be t(13). Let r be (-2 + h/(-12))/(-1). Suppose -3*g - 5 = 2*m - 4*m, 16 = 4*m. Which is smaller: r or g?
r
Let b = -0.0288 + 47.6288. Let f = b + -48. Is f > -0.9?
True
Suppose -3*c + 50 = 2*c. Let w = -88.8 + 89. Is w less than c?
True
Suppose -3*s - 15 = 3*f, f = 3*f - 4. Let a(c) = -2*c. Let p be a(1). Let y be -6*(-1)/p - -1. Which is smaller: y or s?
s
Let y = 373 + -363. Are y and 11 equal?
False
Let q = 0.0397 + 2.9603. Which is smaller: q or -135?
-135
Let l be (-8)/(-12) + 4/3. Suppose -22 = -x - l*x + 5*f, 6 = x - f. Suppose b = x*b + 9. Is -1 less than b?
False
Let o = 0.24 + -337.24. Is 0.1 bigger than o?
True
Let x(i) = 3*i**2 + i - 42. Let l be x(-10). Are l and 250 non-equal?
True
Let m = -27 + 38. Let q = m - 12. Let u = 351/212 + 5/53. Which is bigger: q or u?
u
Let m = -298 - -291. Is m equal to -6?
False
Let v = 251 - 176. Let l = -74.91 + v. Which is smaller: 0 or l?
0
Suppose -19*h - 7 = -7. Which is smaller: h or -1/621?
-1/621
Let q(b) = -2*b**2 + 23*b - 25. Let g be q(6). Which is greater: g or 43?
43
Suppose -17*t - 2*u = -13*t + 32, -5*t - u = 40. Is 4 greater than or equal to t?
True
Suppose -7*v = -15*v + 12600. Let h be 1/2 + (v/(-6))/(-7). Does h = 37?
False
Let l(x) = -x + 19. Suppose 4*a + 3*y = 68, a - 3*y - 9 = 8. Let z be l(a). Which is smaller: -3 or z?
-3
Let g be (1 - 2)*0/(-2). Suppose -3*z - z + 108 = g. Let r = 23 - z. Is r < -2?
True
Let d be ((-45)/6)/((-3)/(-20)). Let i = d - -50. Which is smaller: i or -4/5?
-4/5
Let z(i) = i**3 + 8*i**2 - i - 61. Let q be z(8). Are 955 and q non-equal?
False
Let a be ((0 + 4/(-23))*1)/(-78). Which is smaller: 0 or a?
0
Let i = 51 - 39. Let m = 1.34 + -1.34. Is i greater than m?
True
Let m = 14 + -29/2. Let b = -53 - -64. Is b > m?
True
Let m = 9 + -7. Suppose -m*v + 6 = -5*i, 0*v - 4*i - 6 = -2*v. Let a be (2 + 1 - v)/3. Do -3/7 and a have different values?
True
Suppose 31*h + 53*h + 84 = 0. Which is bigger: h or -1/3938?
-1/3938
Let l be -1 - (0 - -2)/(-2). Let v be l/(15/((-30)/(-6))). Which is smaller: 2/73 or v?
v
Let k = 5.2 + 10.8. Let j = 0.2 + 16.8. Let t = k - j. Which is smaller: -5 or t?
-5
Suppose 0 = 20*c - 34 + 54. Do c and -22/39 have the same value?
False
Let f = 2284/3 + -739. Let p(g) = 12*g**2 - 1542*g - 751. Let q be p(129). Are q and f equal?
False
Let d = 239.5 + -242. Are d and 5/2 equal?
False
Let q be (-16)/52 - 47565/(-2275). Which is greater: q or 20?
q
Suppose 25*m = 29*m. Let t = -18/49 - -1931/5390. Which is smaller: t or m?
t
Let g = 61 - 33. Let x = 62 - g. Are 33 and x equal?
False
Let n be -5 - 5 - (-105)/9. Is n < 10?
True
Let z = 6270 + -69024/11. Let a be 23*27/66 - 3. Let t = a + z. Is t at most as big as 1?
False
Let z = 43 + -26. Suppose -3*i - 3*k - 18 = -i, -3*i = 2*k + z. Let m = -7 + 3. Is i <= m?
False
Let t = -32 + -13. Let f be ((-25)/(-15))/((-6)/162). Is f less than or equal to t?
True
Let c = 11 + 1. Suppose 0 = 3*u - 6 - c. Let l(m) = -m**2 - 5*m - 1. Let b be l(-4). Which is greater: u or b?
u
Let x(u) = u**2 - 9*u + 8. Let i be x(8). Let p = -122/58473 - 1048651976/1344879. Let w = p + 780. Which is smaller: w or i?
i
Let r = 8 - 86/11. Is r != 14?
True
Let w be 30/165 - 2/(-55)*-5. Which is smaller: w or -78/79?
-78/79
Let z = -60 - -60.78. Which is greater: z or 2/7?
z
Suppose 2 + 1 = q. Suppose 2*x + 36 = q*x. Let d be 6/(-12)*x/(-39). Which is smaller: 0 or d?
0
Let b = 15 - 15. Suppose 5*l = -4*h - 1 + 6, 5*h + l - 1 = b. Which is smaller: 5.5 or h?
h
Let o = -1859 - -1549. Which is smaller: o or -3?
o
Suppose 11*t - 8*t = 3. Let b = 5 - 9. Let z be (10 + b)*1*2/12. Is z at most t?
True
Let d = -563501/30 - -18781. Let k = d - -19/6. Which is smaller: 0 or k?
0
Let p = 379 + -379.058. Are p and 3 unequal?
True
Let w(r) = -r**3 + 21*r**2 - 20*r + 22. Let t be w(20). Which is greater: t or 23?
23
Suppose -7*x + 131 = 40. Suppose -2*y + 9 = -q, 0 = -5*y - 3*q + x + 37. Which is smaller: -1 or y?
-1
Let l(v) = v + 13. Let i be l(-9). Suppose 0*c = -i*c - 32. Let s be (-4)/(-14)*(18 + -17). Is c < s?
True
Suppose 3*k - 4 - 5 = 0. Let o = -1 + k. Suppose o*l - 14 = 4*r, 2*r - 1 = -3*l + 4. Which is smaller: r or -6/7?
r
Let y = 0.69 + -1.79. Let p = -22.1 - -24. Let n = p + y. Which is smaller: 1/2 or n?
1/2
Let a = -483 - -487. Which is smaller: 3.2 or a?
3.2
Let r be 2/7*(-1 - -2). Let o = -29467.65 - -29468. Is r at least as big as o?
False
Let k = 12.52 - 12.68. Is k > -0.1?
False
Let z = -85 - -137. Let d = z - 34. Does -0.2 = d?
False
Let f = 11 - 11.1. Let t = 1.1 + f. Which is greater: 3 or t?
3
Let r = -3 - -14. Suppose -12*s = -r*s - 24. Which is smaller: s or 23?
23
Let x = 0 - 0. Let i = 494/2959 - -4/269. Which is smaller: x or i?
x
Let z = -43.96 - -2.96. Which is smaller: 2 or z?
z
Let v = 4.6 + -5. Let c = -5.4 - v. Let a = -700 - -702. Which is bigger: a or c?
a
Let a = -42 - -41.14. Let f = a - 2.14. Is f bigger than 1?
False
Let t(o) = -2*o**2 - o - 1. Let f(v) = v**2 + 10*v + 15. Let g be f(-8). Let z be t(g). Let p = 17/10 + -159/70. Which is bigger: p or z?
p
Suppose t - 6*t + 3*l = -15, -2*t = 2*l - 6. Suppose t*z = 6*z - 420. Let h be 6/2 - 416/z. Is h < -1?
False
Let h be 32/(-80)*-1*5. Suppose 2 = h*c - c + 3*w, 0 = 4*c - 3*w - 83. Is 17 greater than or equal to c?
True
Let f be 11/(10 + -11)*-1. Suppose 8*d = 3*d + 55. Is f at least d?
True
Suppose 0 = -3*d + 38 - 8. Suppose -6*b = -d*b + 2272. Let g be -2 + (b/(-282))/(-1). Which is smaller: g or -1?
-1
Let n(s) = 50*s**2 - 4*s + 1. Let g be n(4). Let z = -1539/2 + g. Which is smaller: 15 or z?
15
Let l(m) = -m**2 + 16*m + 19. Let d be l(17). Is 15/26 less than or equal to d?
True
Suppose -2*s + o - 2 = 6*o, 3*o = -s - 1. Let n be (-4)/s - 28/6. Let m = 6 + -8. Which is smaller: m or n?
m
Suppose 566*r - 177 = 569*r. Is r less than -64?
False
Suppose 2*l + 4*b + 48 = 0, 3*b = -2*l - 2*b - 48. Let t be 28/6 - (-16)/l. Let i be ((-4)/6)/(3 - t). Which is smaller: i or 2?
i
Let c = 0 + 7. Suppose -c = v + 8. Let b be (-5)/v*12/(-62). Which is smaller: 0 or b?
b
Let l = 1253 + -1236. Which is smaller: -21 or l?
-21
Su