 - 0/1. Let m = 1 + d. Let s = 1.1 - 1. Is s smaller than m?
False
Let o = 81.65 - 79. Let y = o - 3.3. Let m = y - -0.7. Which is smaller: -1 or m?
-1
Let q = 21 - 15. Let x(t) = t - 4. Let a be x(q). Let l be (4 - (2 - 2))/(6 + -2). Is a greater than l?
True
Let r(k) = k**2 + 4*k + 5. Let x be r(-2). Which is smaller: -3/25 or x?
-3/25
Let h(j) = j**2 - 3*j + 1. Let o be h(1). Is -14/31 less than o?
False
Suppose 0 = 5*j - 10, -j = -m - 3*m - 10. Is m at least 0.2?
False
Let c = -17 - -14.5. Let l = c + 1.5. Is l bigger than -8/3?
True
Let w be ((-12)/(-22))/(15/(-10)). Which is bigger: w or 0?
0
Let g be ((-8)/28)/(1 + 1). Let t(c) = -c**3 + 4*c**2 - 2*c - 2. Let n be t(3). Is g at least as big as n?
False
Suppose 2*o = -5*q + 16, 3*o + 4*q - 10 = 7. Suppose 1 - o = -z. Is z less than 1?
False
Let v = 3.07 - 0.07. Is -1 less than or equal to v?
True
Let k = 41 + -42. Is k less than or equal to -1?
True
Let b be (-5 - 225/(-36))/((-2)/216). Are b and -135 unequal?
False
Let i = 2 - 6. Let p = i - -3. Let k = -1 + 3. Is k > p?
True
Let r(w) = w + 31. Let k be r(15). Is k at most 48?
True
Let k = 6 - -9. Suppose -4*c + 3*a - k = 0, 0*a - 3*a = -c - 15. Let z be 1*-2 + (-26)/(-12). Which is greater: z or c?
z
Let x be (-2 - -2)*3/(-6). Suppose x*d = -d. Suppose 5*c = -d*c. Is c bigger than 1/2?
False
Suppose 0 = w + w. Suppose 0 = 2*f + 4, -5*j = -w*j + 4*f - 27. Let g = -0.4 - -0.4. Does j = g?
False
Let j = 158/1885 - 1/145. Let p(s) = -s**3 + s**2 + 6*s + 3. Let d be p(-2). Suppose d*y + 13 = 10. Is y at most as big as j?
True
Let n be (-4 - (-459)/90) + (-6)/10. Which is smaller: -13 or n?
-13
Let g(t) = t**2 + 8*t + 4. Let s be g(-8). Suppose s*q = 2*v - 8, q + q - 12 = -v. Is -2/5 at most as big as v?
True
Let g = -24 + 25.1. Let i = -0.8 + g. Do -2/5 and i have the same value?
False
Suppose -15 + 5 = 2*f. Let q = f + 3. Which is bigger: -2/3 or q?
-2/3
Let k = 2/11 + -83/396. Is -1 > k?
False
Let w = -1480 + 362598/245. Is w at least 0?
False
Let w = -53215/916 + -150/229. Let t = w + 58. Which is greater: 0 or t?
0
Let i = 5.89 + 0.11. Which is bigger: i or -0.2?
i
Suppose -3*l + 4*f - 143 = 0, -4*l = -l - 5*f + 145. Are l and -45 equal?
True
Let y = 859/4402 - 15/71. Let z = 127/186 + y. Let t = 0.06 + 0.04. Is t smaller than z?
True
Let p(z) = -z**3 - 5*z**2 - 5*z + 1. Let k be p(-4). Which is smaller: 4 or k?
4
Let t be 2/((-12)/(-240)*(-10)/4). Does 0.3 = t?
False
Let b = 9.7 - -0.3. Let i = -12 + b. Which is bigger: -0.6 or i?
-0.6
Let o be (-25)/(-25) - (134/14)/1. Which is smaller: -9 or o?
-9
Let l = 6 - 5. Let d be (2/l)/(-2)*-5. Suppose 5*c - 3*r = 2*c - 27, -3*r = d*c + 5. Is c at least -5?
True
Suppose -o + 4*z + 0 + 22 = 0, 0 = -o - 5*z - 5. Let b = o + -8. Is b greater than or equal to 4/5?
True
Let p(w) = -20*w + 1. Let t be p(-1). Suppose k + l + 0*l = -t, 29 = -k - 3*l. Which is greater: -18 or k?
k
Suppose -2*p = 3*p. Let k = -58/7 - -631/77. Is p at least k?
True
Suppose -21 = -11*s + 1. Is s at least 2?
True
Let o = 215/6 + -73/2. Let s be -3 + 2 - (0 + 0). Is s >= o?
False
Let y(m) = -m**2 + 3*m + 5. Let h be y(4). Suppose -154*a = -150*a - 4. Is h bigger than a?
False
Let a = 1 - 1. Let x(o) = -13*o**3 + 1. Let j be x(-1). Let g = 27/2 - j. Which is smaller: g or a?
g
Let g = 0.08 + -0.18. Is g smaller than 0.2?
True
Let b = -39 + 69. Is b at most 30?
True
Let i = 11.12 - 11. Let k = i - 0.42. Let z = 0 + 2. Which is smaller: k or z?
k
Let l = -8 - -8.06. Let p = -0.046 + 0.146. Is l at most p?
True
Let p be 8 + (0 - (0 - -2)). Is p equal to 5?
False
Suppose 5 = 2*l - 4*t - 15, -3*l = -t - 45. Which is bigger: l or 18?
18
Let q = -62 + 65. Which is smaller: -0.1 or q?
-0.1
Suppose -8*g - 8 = -6*g. Let c be (0 - 2 - g)/(-2). Which is smaller: c or 0?
c
Let x be (2 - 4)*(0 - 2). Is 4 greater than or equal to x?
True
Suppose -4*m - 5*a - 14 + 93 = 0, -107 = -5*m + 2*a. Suppose h - 4*j + m = -0*h, 0 = -h - 4*j + 19. Is -1 > h?
False
Let k = 197/40 - 1/8. Is 5 less than or equal to k?
False
Let i(a) = -a**3 + 6*a**2 + 7*a + 1. Let h be i(7). Let c be (-8)/28 - 1 - -1. Is c greater than h?
False
Let p be ((-1)/2)/((-2)/(-4)). Let c = 441080449/2051 + -215056. Let b = 1/293 - c. Does b = p?
False
Let v = -72233/22 + 3280. Let k = v - -20/11. Is k less than -1?
True
Let s = -0.2 - -0.19. Let g = 0.22 - s. Let b = 0.07 + g. Do b and -2/5 have different values?
True
Suppose -w + 1 = 3*t - 0, -3*t = -3*w - 9. Let u = -2.8 + -0.2. Is t <= u?
False
Let o = 0.2 - 1.2. Let g = 23 - 18. Suppose -3*y + 15 = 3*f, 8*f - 5*y = 3*f + g. Is f > o?
True
Let t = 0.18 - -0.22. Let c = -0.8 - -0.3. Let i = c + t. Is -0.1 <= i?
True
Suppose 3*m - 11 = -4*b, -m = -5*b + 3*m - 25. Let o(g) = -g**2 + 8*g - 9. Let w be o(7). Are w and b nonequal?
True
Let n be (-1 + 8/4)*1. Which is smaller: 0 or n?
0
Let s = 5.3 - -0.7. Let i = -5.9 + s. Which is greater: -0.02 or i?
i
Suppose 8 = -2*u, -3*i - 6 = -u - 2*u. Let f be (2/(-2))/(i/10). Which is smaller: f or 2?
f
Let b = -1.6 + 2. Let w = -0.3 + b. Let s = -0.08 + -2.92. Is w greater than or equal to s?
True
Let u = -12.5 - -15. Let o = -4.5 + u. Suppose 4*m = 9*m. Is o smaller than m?
True
Let b = 1/6 - 13/42. Is b not equal to 1?
True
Suppose -2*q + 0*q + 2 = 0. Which is greater: q or 9/10?
q
Suppose 0 = -u + 6 - 16. Is -10 > u?
False
Let a = -1.1 - -0.1. Let l be (-786)/1071 + (-4)/(-6). Let b = l - -6/17. Is b < a?
False
Let u(c) = c + 12. Let s be u(-5). Let y be s/12 + (-3)/12. Let w = -0.1 - -0.3. Which is bigger: w or y?
y
Let h = 0.23 + 0.07. Let x = h + -0.4. Let j = -133/4 - -33. Which is smaller: j or x?
j
Let m = -14 + 18. Suppose -q + m = -5*q. Does q = -8/9?
False
Suppose 0*w - 4*w = 0. Is w equal to 1?
False
Let q = 40/3 - 12. Let w be (-2)/(-6) - (-56)/12. Suppose 0 = -0*c + w*c. Is q at least c?
True
Let u = -6 - 20. Let y = 29 + u. Which is smaller: 0.3 or y?
0.3
Suppose 4*s - 4 = -3*q, -6*q + 4 = -11*q + 4*s. Suppose -5*l + 0*l + 5 = q. Which is smaller: 1/13 or l?
1/13
Let b(d) = -d - 12. Let f be b(-13). Let t be 4/1*2/8. Is f at most as big as t?
True
Let x be (-21)/(-28)*4/6. Is x < -0.6?
False
Suppose -3*u = g - u + 56, 4*u + 250 = -5*g. Let z be 3 - (g/(-14))/1. Which is smaller: 1 or z?
z
Let t = -44 + 43. Are t and -3/14 nonequal?
True
Let r be (3/(-4) - 1/4)/1. Is -14/11 smaller than r?
True
Let a = -9 + 29. Is a at most as big as 21?
True
Let a = -4 - -60. Let m be (-2)/6 - a/21. Is m >= -3?
True
Let p = -1.8 + 2. Suppose 12 = 5*c - 8. Suppose 5*k - 3*k = c. Which is smaller: p or k?
p
Let l(i) = -15*i. Let q be l(-2). Suppose 0 = 7*b - 4*b. Suppose b*c - q = 5*f + 2*c, 0 = 3*f - 2*c + 18. Is -6 < f?
False
Suppose i + 90 = -4*a, -8*a = -7*a + i + 21. Is a < -24?
False
Let o = 5.23 - -0.37. Let p = -6 + o. Which is bigger: p or -0.1?
-0.1
Let u = 15 - 8. Let a be 2 + 0/(-1) - 14. Let c be (-2)/(-6) + u/a. Which is bigger: c or -2/3?
c
Let w = -1.62 + -5.08. Let z = -3 - 4. Let n = w - z. Which is bigger: n or 0.1?
n
Suppose -9*u + 2*n + 162 = -5*u, 69 = 2*u - 5*n. Is u bigger than 43?
False
Let o = -2.8 + -13.2. Let p = 17 + o. Is 0 less than or equal to p?
True
Let n(x) = 2*x**2 - 3*x + 1. Let p(t) = -3*t**2 + 4*t - 1. Let m(v) = -4*n(v) - 3*p(v). Let b be m(0). Which is bigger: b or 1?
1
Suppose 5*v - 30 = 5*i, -4*v = -0*v + i - 14. Which is smaller: v or 7/2?
7/2
Let k be ((-3)/(-3))/(7/(-84)). Which is greater: k or -13?
k
Let q be -1 + 5 - 30/7. Is 14 less than or equal to q?
False
Let c = -1 - 0. Let y = -2 + 2. Which is greater: c or y?
y
Suppose d = -4*w + 4, -3*w - 3*d = -2*d - 4. Is 4/61 at least as big as w?
True
Suppose -5*c = s + s + 1, c - 13 = 4*s. Let t = 0 - -1. Suppose -1 = 2*r + t, -2 = 2*f + 2*r. Which is greater: c or f?
c
Let n = -3 + 4. Let o be -1*8*12/72. Is n equal to o?
False
Suppose 0 = 5*p - 3*b + 9, 3*p + 2*b = b - 11. Is p less than or equal to -1?
True
Let s(d) = -d**2 + 4*d - 4. Let z be s(3). Let g = 193 + -2891/15. Is z < g?
True
Let q = -4 - -4. Let u be (4/(-3))/((-4)/(-12)). Do q and u have the same value?
False
Suppose -5*w = -3*a, -4*w = w + 4*a. Which is smaller: w or -1/5?
-1/5
Let v = 6 + 1. Let s = v + -7. Which is smaller: s or 3?
s
Let k = -0.07 - -5.07. Let x = k - 3. Let z = x + -1.8. Is -1 greater than z?
False
Let 