 -0.16 + 7.16. Let o = n - 7. Is 2 at least as big as o?
True
Let q(a) = a + 4. Let x be q(-3). Which is greater: 3/10 or x?
x
Let b = -1 - 7. Let j be (-5)/(-20) + 18/b. Which is greater: j or -3?
j
Let m(c) = c**2 - 7*c + 8. Let p(x) = x**2 + 5*x - 8. Let q be p(-7). Let i be m(q). Suppose -u = i*u. Are u and 1/4 equal?
False
Suppose -7*i + 3*i - 20 = 0, 0 = -2*p - i - 3. Is -2/7 smaller than p?
True
Let b = -649/52 + 25/2. Let p = b - 7/26. Which is smaller: -6 or p?
-6
Suppose -3*a - l = -a - 3, -a = -l - 6. Suppose 0*p - a*p + 9 = 0. Suppose b + p = 4*t, -3*b - 1 = -2*t - 2*t. Which is smaller: -3 or t?
-3
Suppose -3*x = -3*f - 3, 1 = -5*f + 3*x - 0. Suppose 0 = z + f. Is 0 greater than z?
True
Let d(c) = 6*c + 3. Let a be d(-2). Let h = -10 - a. Which is smaller: h or 1/4?
h
Let x be ((-5)/(-2))/(2/(-4)). Let b = x + 9. Suppose -5*f = p + 16, -b*p - 2 = -f - 1. Is p smaller than -2/5?
True
Suppose 0 = 19*a - 14*a - 70. Which is smaller: 13 or a?
13
Let z(v) = 4*v**3 + 14*v**2 - 3*v + 5. Let i(c) = c**3 + c**2 + c + 1. Let n(b) = 5*i(b) - z(b). Let t be n(8). Do t and -7 have different values?
True
Let h = 10.1 + -0.1. Let u = h - 10.1. Is 0 not equal to u?
True
Let r be 32/516*(-15)/20. Let d = 0 + 0. Which is greater: d or r?
d
Suppose -3*a + 0*a - 6 = 0. Let u be (3 - (3 + a)) + -4. Is u at least -4/5?
False
Let v be -2*16/12 + 3. Let a be (-2)/(-6) - 52/48. Which is greater: a or v?
v
Let g be 4/(-6)*1/(-2). Let y = 17/40 + -1/40. Which is smaller: g or y?
g
Suppose -2*f = -i + 4, 0*f - f - i = -4. Suppose 5*o + 26 = s, -5*s - 5*o + f*o - 20 = 0. Is s smaller than -2/5?
False
Let f be 40/48 - 2/6. Is f greater than -0.11?
True
Let f = -6.02 - -6. Let p = f - 0.18. Is 3 at most p?
False
Let r = 841142 + -584593978/695. Let w = -319 + 44339/139. Let j = r - w. Is 2/5 bigger than j?
True
Suppose 15 + 17 = -4*n. Which is bigger: 1 or n?
1
Let z = -0.03 - -0.07. Let n = z - -0.06. Is 3 at most n?
False
Suppose -j - 1 + 0 = 0. Let x = 3 - j. Which is greater: 3 or x?
x
Let m = 27 - 26. Is m at most as big as 1?
True
Let m = -172/5 - -35. Is 2 greater than m?
True
Suppose 5*y = y + 5*z - 20, -4*z = 3*y - 16. Let r = -18 - 1. Let b = r - -20. Are y and b equal?
False
Let i = -9 + 11. Suppose 3 = h + i*h. Which is bigger: -2 or h?
h
Suppose 6 + 2 = 4*g. Let d(j) = 3*j**2 - 3*j + 2. Let i be d(g). Suppose 3*p + 2 = -4*o, i = -3*o - p + 2*p. Is -2 > o?
False
Suppose 39*u - 6 = 41*u. Let l = 7 - -4. Let k = 7 - l. Which is smaller: k or u?
k
Let c = 0.6 + -0.1. Let g = c + -1. Let a = g + 0.6. Which is greater: a or -0.2?
a
Let x(w) = -8*w**3 - 2*w**2 + 1. Let h be (-6)/2 - 2/(-1). Let a be x(h). Let o = 3 - a. Is o greater than or equal to -5?
True
Let n be 3/88*18/27. Is 1 greater than or equal to n?
True
Let t = -0.008 + 0.008. Let y be 3/(-26)*(-4)/3. Which is smaller: t or y?
t
Let n = -4 - -5. Which is bigger: n or -2?
n
Let u = 0.8 - -0.2. Let y = -14 + 10. Is u not equal to y?
True
Suppose 6*v + 9 - 45 = 0. Is v less than or equal to 8?
True
Let d = -0.13 + 0.02. Let v = d + -3.89. Let c = v - -3.6. Is c != 0?
True
Let u = -59.6 - -58. Which is greater: u or -2/3?
-2/3
Let d = 165 - 166. Which is greater: 10/27 or d?
10/27
Let w = -20 - -19. Does -2 = w?
False
Suppose 8 = 5*w - 2. Suppose -4*c = -w*c. Is c less than 2/9?
True
Let s(w) = -2*w - 4. Let k be s(-3). Let n = 1 - k. Let m be (16 - 14)*(-2)/4. Is m smaller than n?
False
Suppose 31 + 0 = -w + 2*u, -4*w + 3*u - 129 = 0. Is -33 smaller than w?
False
Let q = -12 - -10.7. Which is bigger: 0.1 or q?
0.1
Let x = 10.8 - 10. Is 1/3 != x?
True
Suppose -2*l - s + 1 = 2, -2*s = 2. Suppose -4*d - 16 = -l*m - 5*m, 3*d = 3*m - 12. Is m at most as big as -2?
False
Suppose 0 = 3*z - 0 + 9. Let l(g) = -g**2 - 4*g + 2. Let u be l(-5). Let b = u - z. Are -1 and b equal?
False
Suppose 0 = -2*v + 5*j + 71, 58 = v + j + j. Suppose -4*b + v = -4*h, h = -h + 3*b - 26. Which is greater: -11 or h?
h
Let s = -71 - -56. Is s > -15?
False
Let q be (-8)/(-20) + 5421/(-1590) + 3. Which is smaller: q or 0?
q
Let q = -22 - -32. Let k be q/3 - 4/(-6). Let d be (k/(-6))/(12/18). Is -7/4 smaller than d?
True
Let w be 8358/1674 + (-4 - 1). Which is greater: w or 1?
1
Let b(q) = q + 7. Let o be b(-6). Let k(u) = -u + u + u + 0. Let v be k(o). Which is smaller: 1/6 or v?
1/6
Let g = -0.2 + 0. Let j = -2.4 + 2.54. Let n = j + -0.24. Is n > g?
True
Let h(i) = i**2 + 7*i - 1. Let m be h(-6). Let s(k) = k**3 + 5*k + 1 - 6*k - 6*k + 6*k**2. Let d be s(m). Which is bigger: 0 or d?
d
Let p = 42 - 43. Is p <= 1/62?
True
Let t = 0.03 - -0.59. Let c = t + -0.02. Let d = c - -0.4. Is d != 1?
False
Suppose -4*x + 102 = 22. Let y = x + -27. Which is bigger: -2 or y?
-2
Let h = 1.11 + -1. Let k = 1.11 - h. Which is smaller: 0.1 or k?
0.1
Let c be 3/6 + (-76)/120. Which is greater: c or 1?
1
Let q = 5 - 8. Is q at least as big as -3?
True
Suppose 2*d - 2 = -0*d. Let f = d - 1. Let p = -37 - -37. Do f and p have different values?
False
Let d(l) = -l**2 - 4*l**3 + 5*l**3 - 6 + 6*l**2 - 8*l. Let f be d(-6). Suppose -3*x + 2 = f*i - 2*i, -9 = i - 4*x. Are -1 and i equal?
True
Let i = -486 + 477. Suppose 2*n = -16 - 2. Is i less than n?
False
Let n be ((-1)/(-5))/((-4)/(-20056)). Let a = -985 + n. Let v = a - 707/40. Which is bigger: -1 or v?
v
Let v = 0.04 + -0.64. Let g = -0.4 + v. Which is greater: 2 or g?
2
Let v = -32.69 + -0.31. Is -0.1 < v?
False
Suppose -6 = -2*x - 2, 2*r = 5*x - 10. Suppose r*l = -3*l - 9. Let m(v) = v**3 + 2*v**2 - 3*v + 4. Let d be m(l). Which is smaller: d or 3?
3
Suppose -5 = 4*x + 3, 2*x = -3*k - 19. Which is smaller: k or -1?
k
Suppose 2*k - 5 = 5. Suppose 6 + 9 = -k*m. Is -2 equal to m?
False
Let q = 20492 + -62807/3. Let n = q - -439. Is n >= -5?
True
Let g = 17 - 18. Which is bigger: g or -0.4?
-0.4
Let l = -0.26 - -0.16. Does -24 = l?
False
Suppose 4*u = u. Suppose 4*j - 2*j + 24 = 0. Let y be (2/(-3))/(j/9). Is y at most as big as u?
False
Let w = 0.84 + 0.06. Let o = w + -1. Is o less than 3/2?
True
Let s(c) = 4*c + 19. Let a be s(-7). Let r be (-4)/(-14) - (-592)/(-14). Let m be 4/(-8) + a/r. Is m < 0?
True
Let a = -734 - -8068/11. Let v = 319 - 320. Is a at least as big as v?
True
Let b(t) = -t**3 + t**3 - 2*t**3 - 1. Let s be b(-1). Is 1/4 at most s?
True
Let i = 1 - 0. Let c be i*3 + -5 + 4. Let w be 2 + (0 - 2)*-1. Which is greater: c or w?
w
Suppose -s = 3*s + v + 9, 3*v + 15 = 0. Let x = -13914 - -97667/7. Let d = x + -39. Which is smaller: d or s?
s
Let h = -0.4 - -0.4. Let l = -1.8 - -0.8. Is l > h?
False
Suppose 0 = l - 3*c + 11, -4*l + 7 = 5*c. Let o = 16 + l. Let r = 128/9 - o. Which is greater: 0 or r?
r
Let h = 12 + -16. Is h <= -1?
True
Let l(q) = q**2 - 5*q - 1. Let u be l(5). Let v = 9/11 + -61/88. Do u and v have the same value?
False
Suppose -a = -4*t - 1, -2*t - 29 = -5*a - 6. Suppose w + 4 = -j + t, 2*j = -w - 7. Let s = 2 + -6. Are s and j nonequal?
False
Suppose -2*x + 16 + 0 = -2*d, 0 = x + d + 2. Let i(o) = -o**3 - o**2 + 3*o + 2. Let b be i(-2). Suppose -20 + b = -5*a. Which is smaller: x or a?
x
Let x(v) be the third derivative of -v**5/60 - 7*v**4/24 + 5*v**3/3 - 3*v**2. Let t be x(-7). Let n be 6/t*(-2)/6. Which is smaller: n or -1?
-1
Let k = -2/179 + 380/1969. Is k <= -0.1?
False
Let f = 0.4 + 0.6. Let u = f + -1.7. Let n = u + -1.3. Is n not equal to -2/11?
True
Let p = -0.14 + 0.14. Is -2/3 smaller than p?
True
Let v = 30 + -1352/45. Suppose -3*c = -5*c. Is c less than or equal to v?
False
Suppose 2*h = 8, -5*f - 3*h + 3 = -2*f. Let u be (-4 + 1)*3/9. Which is greater: u or f?
u
Let x(r) = -r**3 - 7*r**2 - 2*r + 4. Let k be x(-3). Let n be 2/(-6) - k/24. Let u = -1 - -2. Which is bigger: n or u?
u
Let b be (-868)/(-4)*(-2)/(-8). Let u = 2379/44 - b. Suppose -2*p - 1 = -3*p. Is u bigger than p?
False
Let v = -18 + 30. Let r be 2/(-8) + (-21)/v. Let o be 0 + (-1 + 3)/r. Which is smaller: -2/5 or o?
o
Let c = 53/20 + -9/4. Which is smaller: -0.12 or c?
-0.12
Let x = 175/9 - 19. Which is bigger: 0 or x?
x
Suppose -3*k - 3 = -0*k. Let d be 6 + -2 + 0 + k. Suppose -14 + 2 = -d*i, 4*m = -5*i + 24. Does 1 = m?
True
Let d = 9 + -4. Let u = 3 - d. Is -2 at least as big as u?
True
Suppose -2*l - 4*x + 184 = 3*l, 3*l - x - 107 = 0. Let z be (l/8)/((-3)/4). Which is smaller: 