than m?
True
Let x = -9 - -33. Let n be ((-6)/x)/((-2)/4). Which is bigger: -0.2 or n?
n
Let u = -0.38 - -0.18. Which is smaller: -2 or u?
-2
Let z = -1/281 - -1153/8149. Let m = z - -129/116. Which is bigger: 2 or m?
2
Let u = 7 + 8. Let z = u + -14.8. Is z at least as big as 0?
True
Let v be 3*(-4 + 17/3). Is v equal to 8?
False
Let c = -5.4 - 0.6. Let j = -8 - c. Is j smaller than -2?
False
Let k be ((-2)/3)/((-12)/90). Suppose -4 = 3*q + 2*t, -2*q - 6 = -k*t - 16. Suppose -4*s + 6*s = q. Which is bigger: -2 or s?
s
Let o be 3/9 - 7/12. Let v be 4/(16/3) + -1. Let k = o + v. Is k < -1?
False
Let v be 2 - (2 - (6 + -3)). Which is greater: v or 3/2?
v
Let d = 141/2 + -71. Let i = 6.86 + -7. Is i greater than d?
True
Let x = 13.01 - 13. Which is smaller: 0 or x?
0
Let y = -1.79 + 1.7. Is y less than 1?
True
Let y = 1 + 6. Let t = y - 2. Let z = t + -4. Which is smaller: z or 1/3?
1/3
Let y be 2*((-3)/(-6) + 0). Let t = 65/2 + -32. Which is greater: t or y?
y
Let b be (-2 + 3)/1*-2. Let s be -1 - (0 - 2) - b. Let c be (-4)/18 + 98/36. Which is smaller: s or c?
c
Suppose 60 = -0*z + 5*z + 5*j, 4*z = -j + 36. Suppose 0 = 3*n + 2*b - 26, 4*n + z = -2*b + 42. Is n at least as big as 7?
True
Let x = 9 + 4. Is x bigger than 0.1?
True
Let n = -5 + 7. Let d(o) = 8*o**2 - 8*o - 2. Let z(m) = 7*m**2 - 8*m - 1. Let x(f) = -6*d(f) + 7*z(f). Let l be x(7). Is n <= l?
False
Let n = -504 - -17137/34. Which is bigger: n or 1?
1
Let j be 0 - 0 - (6 - 8). Which is smaller: j or -4?
-4
Let u(f) = f**3 - f. Suppose -5*m = -b, -3*b = 3*m + m. Suppose -3 = 3*v - m. Let c be u(v). Do c and 2/11 have different values?
True
Suppose 3*l - 1 = 4*d - 6, -3*l = -2*d + 1. Let o = 0.2 + 0.2. Let f = o + -0.3. Is d >= f?
True
Let t(j) be the second derivative of j**4/12 + j**3/2 + j**2 + 2*j. Let q be t(-2). Suppose -w = -3*k + 2, q = -2*w + 6*w - 4*k. Which is smaller: w or 2?
w
Let h be 154/8 + (-1)/4. Suppose 2*t - 3*b + h = 0, 0*t - b + 1 = 2*t. Let v be (1/t)/(-10 + 9). Is v equal to 0.02?
False
Let s = 2 - 2. Let r = -3 + 4. Is r bigger than s?
True
Let d = 4.3 - 8.2. Let y = 7 + -11. Let r = d - y. Is 0.1 >= r?
True
Let j be ((-4)/245)/((-18)/(-45)). Is j greater than or equal to 1?
False
Suppose -2*n = -b - 10, -4 = 3*n - 2*n - 5*b. Suppose -h + n = 1. Is h at least 4?
True
Let a = -0.03 + -0.07. Is -2/15 smaller than a?
True
Let t = 20 + -12. Let l = t + -12. Suppose s + 2 = -1. Which is greater: s or l?
s
Let f be -9*(-3)/(-9)*3. Let v = -8 - f. Which is smaller: 3 or v?
v
Let m = -492 + 6384/13. Let j = m + -16/39. Is j smaller than 0?
True
Let a = -1 - 1. Which is bigger: 1 or a?
1
Suppose -5*g = g. Which is greater: g or 10/9?
10/9
Let x be (4/6)/(-2)*-3. Let v(y) = y**3 + 5*y**2 + 4*y - 3. Let t be v(-4). Let z = 4 + t. Is x at least as big as z?
True
Suppose -2*h - 5 + 4 = -3*z, -5*h = 3*z - 8. Is -1/10 equal to z?
False
Suppose -3*s - 2 = -20. Suppose -k - 1 = -s. Suppose -28 = k*p + 2. Does p = -5?
False
Let n = 17 + -17.13. Let x = -0.14 - n. Does x = 0?
False
Let t = -23 - -57. Is t equal to 0.2?
False
Let z be (-1 - 22/(-10))*(-175)/7. Do -30 and z have different values?
False
Let n be ((-4)/6)/(2/(-3)). Suppose -g - 2*g - 24 = 0. Let z be g/21 - 14/(-21). Which is bigger: n or z?
n
Let t = 10/53 + -516/2173. Is t less than or equal to 0?
True
Let d(z) = -3*z + 14. Let k be d(4). Which is bigger: -3 or k?
k
Let j = -96/5 - -19. Is j >= 0?
False
Suppose 0 = -8*b + 3*b. Suppose p - 3*t + 16 = 0, 4*p + 6*t - t - 21 = b. Are p and -4 equal?
False
Suppose -4*o = -s + 1, -2*s = 4*o - 0*s - 2. Let w = -0.3 - -2.3. Is o less than w?
True
Suppose 2*u = -9 + 1. Let z be (6/5)/(9/(-30)). Is z at least as big as u?
True
Let r = 9 - -25. Is r not equal to 32?
True
Suppose 7 = a - 13. Let w be 2/(-8) + 154/8. Which is smaller: w or a?
w
Suppose 0 = -4*j + 9*j + 190. Which is smaller: j or -39?
-39
Let d = -2 + 3. Let s be (-2)/6 - d/(-2). Is s smaller than 0?
False
Let s be (-1*1/(-22))/((-4)/16). Is 3/4 >= s?
True
Suppose -3*t = -4*t - 7. Which is smaller: t or -6?
t
Let j be (-10084)/(-18)*1/4. Let n = 140 - j. Is 1 < n?
False
Let b = 20/23 - 94/161. Which is greater: b or 0.5?
0.5
Let u = -0.02 - 0.78. Let n = -3.8 - u. Is n < -1?
True
Let z be -3 + (-5)/(1 + -2). Suppose 7 = -3*x + 4*y, -2 = -z*x - 7*y + 3*y. Which is smaller: x or -3?
-3
Let h = 66 + -66. Which is smaller: 3 or h?
h
Let x be 26 - 28 - (-1 - (-102)/(-101)). Is 1 at least as big as x?
True
Let k = 46 + -45.93. Which is smaller: k or -2?
-2
Let n = -18 + 30. Is 11 greater than n?
False
Suppose -3*w = 4*p - 16, 2 = -2*w + p - 2. Let i = 5151814/27013 + -7/3859. Let u = i - 191. Which is smaller: w or u?
u
Let o be (-9)/12 + (-6)/24. Is -1 greater than o?
False
Let u = -12 - 6. Let g be 0 + (-1 - u/15). Which is bigger: 0 or g?
g
Let r be 3/(2 - (-3)/(-6)). Suppose -r*q = -6*q. Let o = 16 + -50/3. Which is smaller: o or q?
o
Let n = 96 - 83. Is n greater than or equal to 12?
True
Suppose 8*n + 110 = 30. Which is greater: -1 or n?
-1
Let v(a) = -a**3 + 3*a**2 - 3*a + 4. Let m be v(3). Let u(p) = p**2 + 5*p + 3. Let h be u(m). Suppose -h*q + 0 = -3. Is q at most 1/5?
False
Let x be -1*(-3)/(-54)*4. Let g = 0.3 - 1.3. Is x equal to g?
False
Let f(g) = g. Let v be 1*-1 - (4 - 8). Let o be f(v). Suppose 0*c = -5*c + 2*b - 8, o*c - 12 = -3*b. Is c at most 2?
True
Let x be 0 - (0 - -3) - -2. Is -3 less than x?
True
Let r(o) = -o**2 - 6*o - 5. Let z be r(6). Let q = z - -383/5. Is 0.3 less than q?
False
Suppose 0 = -5*m - 4*a - 15, -4*m - 4*a - 21 = a. Which is greater: m or -2/13?
m
Suppose -6*g - 1 = 5. Let c(u) = -2*u**2 - 1. Let d be c(-5). Let a be -2 - (-2 - 6/d). Which is bigger: a or g?
a
Let h be 2/7 - (-120)/70. Which is smaller: h or 6/5?
6/5
Suppose -8*o = -12*o + 16. Suppose -b = -0*b - o. Which is smaller: 1 or b?
1
Let l = -92747/1476 + 32/369. Let o = 62 + l. Let w = -20/3 - -7. Is o at most as big as w?
True
Let q = 121/3 + -40. Is 0.2 less than q?
True
Let c = -12 - -20. Let i = -3 + c. Which is greater: 6 or i?
6
Suppose x - 3*l + 7 = -0*x, 3*x + 3*l - 27 = 0. Is x < -3/4?
False
Suppose 4*p - 4*f = -112, 8*p - 4*p + f + 112 = 0. Let o be p/(-48) - 2/(-8). Which is smaller: o or -1?
-1
Let h = -7 + 30. Are 23 and h nonequal?
False
Let l = 17 - 15. Which is bigger: l or 1?
l
Let l be -4 + (-35)/(-11) + 4/(-22). Which is greater: l or 2/55?
2/55
Suppose 29 = 12*k + 17. Which is smaller: 7/4 or k?
k
Let f be 3*(-26)/28 + 3. Is f smaller than -1?
False
Let q = 9/10 - 1/10. Let a = -5 + 6. Which is smaller: q or a?
q
Let c(l) = -l**2 + 4*l + 4. Let z = -8 + 13. Let u be c(z). Which is bigger: -3/4 or u?
-3/4
Suppose -4*k + 35 = k. Let o(h) = 2*h - 17. Let r be o(k). Which is smaller: r or -2/3?
r
Let c be 8/20 - 21/(-10). Is -1 bigger than c?
False
Let o(k) = -k + 6. Let q be o(5). Let t(i) = i**2 + i + 1. Let m be t(-2). Suppose 4*v = v + m. Is q at most as big as v?
True
Let y(c) = -c**3 - c**2 + c. Let a be y(0). Which is greater: 1/65 or a?
1/65
Let a be -4 + 4/8*12. Which is smaller: a or 19/6?
a
Suppose 0 = 2*u - 7*u - 230. Is -46 greater than u?
False
Let d be (-10)/(-8)*(-8)/(-34). Which is greater: d or 1?
1
Let z = -1331/2 + 648. Let u = 311/18 + z. Is -0.1 > u?
True
Suppose -7*q + 5 = -30. Let o = 7 - 1. Is q <= o?
True
Suppose 110*g + 15 = 115*g. Let d = 79/32 + 1/32. Do g and d have different values?
True
Let g be (24/(-4) - -3)*(-2)/18. Suppose -p = 2 + 2. Let d be p/6 - (-5)/3. Which is bigger: g or d?
d
Suppose -m - 3 = -z, -5*m - 6*z + 4*z = -6. Which is bigger: m or 28?
28
Let n be 0 + -1 + 4/10. Suppose 0 = 4*c - 19 + 7. Suppose q = c*q. Is n at most q?
True
Let h = -4 + 5. Let n be ((-1)/(-2))/(5/2). Which is greater: n or h?
h
Suppose 0*g = -3*g + 9. Let u = -43 - -41. Let o = g + u. Is 0 at most o?
True
Let q(l) = -9*l - 3. Let r be q(-4). Suppose r - 13 = c - 4*p, -2*c + 25 = -5*p. Which is greater: c or 1?
1
Let u = -14 - -21. Let n be 2/u - 178/(-14). Suppose 0*c - 5*k + 26 = c, 0 = -3*c - 2*k + n. Which is smaller: 3/10 or c?
3/10
Suppose b = -5*s + 47, -2*s + 0*s = -b - 23. Suppose 0*r + 2*r = -s. Is -3 >= r?
True
Let s = 5 - -1. Let a = 5 - s. Which is smaller: a or -3/8?
a
Let x be 2/3 + (-4)/6. Let h = -14/9 + 52/45. Do x and h have different values?
True
Let v be