*o. Let m be r - -2 - (-40)/(-72). Is m less than t?
False
Let p = -984.7 - -982. Which is smaller: -36 or p?
-36
Let n = 0.54 + -0.64. Which is bigger: n or 38.9?
38.9
Let q = -228 + 228. Is q less than -15/121?
False
Let t = 0.88 - 0.8. Let s = t + -0.12. Let a = s + 5.04. Is 1/4 smaller than a?
True
Let f = 76.3 + -81.3. Which is smaller: -1/38 or f?
f
Suppose -2*z + 4*i + 2 - 10 = 0, z + 16 = 5*i. Suppose 3*t + 22 = 5*m, -3*t + z*m + 3 = 23. Let u be (-4)/t*1/(-7). Are u and -1 equal?
False
Let h(i) = i**3 + 27*i**2 - 23*i + 18. Let s be h(-28). Do -122 and s have the same value?
True
Let u = -1/147 - 97/147. Let q = 12 - 15. Let m = q - -4. Which is smaller: m or u?
u
Let y = 28 + -25. Suppose -4*i = -2*u + 20, -2*u - 7 = 2*i + y. Let g = -4 - -17. Which is smaller: u or g?
u
Suppose -3*p + 0*p = -4*k - 95, -32 = k + 2*p. Let s be (-255)/11 + -4 + 12/66. Which is greater: k or s?
k
Let i(n) = -3*n + 116. Let l be i(17). Which is smaller: l or 64?
64
Suppose -3*b = -0*i + 5*i + 208, -12 = -3*i. Let q be b/77940*113 - 1. Let w = -2/2165 + q. Which is smaller: w or -1?
w
Let x(p) = -p**2 - 7*p - 1. Let w(k) = -k**2 - 8*k - 2. Let u(d) = 3*w(d) - 4*x(d). Let z be u(-5). Suppose -z*t + 7 = 1. Which is greater: t or 1?
t
Suppose 25 = w + 4*w, 2*z - 227 = -w. Are z and 108 non-equal?
True
Let f = 2434 - 36496/15. Is 0 > f?
False
Let g be 2/(-8) - (-7 - (-24294)/(-24)). Which is smaller: g or 1018?
1018
Let c be (4/(-2))/(8 + -6)*7. Are c and 8/19 equal?
False
Let s = -81 - -80.96. Which is greater: s or 70?
70
Let w = -7 + 12. Let v = w + -5.1. Let i = 3/10 + -19/30. Is i less than or equal to v?
True
Let x = 182 + -181. Which is bigger: -1/46 or x?
x
Let c be (-4)/(-6) + (-17)/3. Suppose 25 = -3*q + q + 5*v, -4*q = -3*v + 71. Let b be ((-6)/c)/(8/q). Which is bigger: -5/2 or b?
-5/2
Let c = -28.3 - -25.4. Is c less than 2/7?
True
Suppose -2*h - r = 747, 4*r + 161 + 195 = -h. Which is smaller: -374 or h?
h
Let t be (-10 + 10)/(2 - (2 - -2)). Do t and 1/534 have different values?
True
Suppose 18*i = 13*i - 10. Let y be (-6)/(-12) + 1/i*1. Let u = -307/35 + 46/5. Is u <= y?
False
Let d(u) = -7*u**2 + 28*u - 219. Let l be d(6). Is -300 smaller than l?
False
Let l = 5.26 - 3.9. Let w = 0.26 - l. Is w less than or equal to 0?
True
Let z = -149 - -105. Let v = 0.0848 - 0.0848. Is z greater than v?
False
Suppose 4 = 4*a - 3*q, -q - 3*q = -5*a + 4. Let o(l) = l**2 - 4*l + 7. Let c be o(2). Suppose 7*p - a - c = 0. Which is smaller: 4 or p?
p
Let o = 1307 - 797. Suppose n = 6*n - o. Let u = -819/8 + n. Is u bigger than -1?
True
Let d be (-7)/(-1)*(-46)/(-337134). Which is greater: d or 0?
d
Suppose -z - 3*u + 80 = 0, 104 = z + 2*u - 5*u. Let j = z - 29. Suppose -j = -2*g + 9. Is g at most as big as 35?
False
Suppose 2*x = -3*v + 3042, -4*v + 2619 + 1417 = -4*x. Are v and 1013 non-equal?
True
Let k be (-2 - 532/(-40))/((-14)/(-28)). Which is bigger: 22 or k?
k
Suppose 2*o + i = 3*o + 5, -o - i = -3. Which is greater: o or 12/35?
12/35
Suppose 4*k + 26 = n, 0 = -4*k - 3*n - 37 + 3. Is -40/7 <= k?
False
Let d = -25.52 - -25.42. Which is greater: d or -63?
d
Let z = -970 - -992. Is z greater than or equal to 3?
True
Let g = -29 + 8. Let o = g + 20.7. Is o less than or equal to 0.4?
True
Suppose z + 5*t - 1 = 4*z, 0 = 3*z + t + 25. Let g(x) = -2*x**3 - 13*x**2 + 5*x - 3. Let r be g(z). Let j = r + -2. Are j and -1/2 nonequal?
True
Let l be -1 - 1 - 70/10. Let z be (l/27)/(1/(-3)). Let b be 2/(-22)*1*-1. Which is smaller: z or b?
b
Let c(p) = 237*p**2 + 14*p + 28. Let d be c(-3). Does 2120 = d?
False
Let x(t) = t**3 + 7*t**2 + 5*t - 6. Let j be x(-6). Let o = j + -1. Is o less than -5/12?
True
Let b = 2740.1 - 2556. Let p = b - 174. Let l = p - 10. Which is smaller: l or -0.08?
-0.08
Let g = 25 - 31. Let y be 4/g*(-27)/(-72). Let j = -0.9 - 0.1. Does j = y?
False
Suppose s - 6*s - 41 = -4*l, l - 5*s - 29 = 0. Let z be (6/1)/12 + 2/l. Which is greater: z or -8?
z
Let j = -58 - -38. Let o = -20 - j. Which is smaller: 2/31 or o?
o
Let i = -462 + 363.8. Let q = -98 - i. Suppose 0 = x + 2*x. Is x equal to q?
False
Let d(a) = -3*a**2 + 13*a - 25. Let z be d(5). Which is bigger: -37 or z?
z
Let q be 1/((2 - 3) + 2). Let i = 693 - 686. Is q greater than or equal to i?
False
Suppose -6*k = 21*k + 54. Which is greater: -16 or k?
k
Let o be (-7)/((-35)/20) + 0. Which is smaller: 41/13 or o?
41/13
Suppose 11*a = -596 - 251. Let t = a + 77. Which is smaller: t or 2/3?
t
Let l = -0.1577 + -64.9423. Let r = l + 65. Is 0.09 at least r?
True
Let h be (-1)/(3/(-4))*-768. Let c = h + 6167/6. Let p = c + -19/6. Which is smaller: p or 2?
p
Let k be -18*(201/(-66) + 3). Suppose -4*d + 4*t = -12, -3 + 0 = t. Is k > d?
True
Suppose -2*n - 3*n + 2*g = -38, 4*g + 22 = n. Let p be (-1)/n + -1*(-38)/84. Which is greater: 14 or p?
14
Suppose 8 = 2*n - 2*m, -6 = -4*n + 2*m - 0*m. Do n and 3/14 have different values?
True
Let u = 9.4 + -13. Let c = 15 + -13.4. Let a = c + u. Is a != 0?
True
Let u(r) = -r**3 + 10*r**2 - 6*r - 9. Let g be u(7). Which is greater: g or 98?
98
Let h(m) be the third derivative of m**6/20 + m**5/30 + m**4/24 + 2*m**3/3 + 26*m**2. Let i be h(-2). Is -38 != i?
False
Let g be (-25)/(-3) - (1 - (12 + -20)). Let h = 4 - 31. Is g not equal to h?
True
Let h = -4.6 + 22.6. Let v = -30 + h. Let c = v + 13. Is 1 smaller than c?
False
Let g = 0 + 0. Let k be (1 - (-28)/(-12))/(3/(-909)). Let m = -6461/16 + k. Which is smaller: g or m?
g
Suppose -5*o = -2*a + 7, 3*a + a - o = 23. Suppose -a*c + 7*c + 4 = 0. Is c smaller than -15/4?
True
Let g = 594/17 + -1171/34. Which is bigger: 3.3 or g?
3.3
Suppose 2*c + 30 = 5*w, 2*w + 35 = 7*w - 3*c. Let x be (-5)/(-15)*-3 + -3. Let u = w + x. Is 3/11 > u?
True
Let c be -3 - (-8 - -5)*46/6. Let w = 19 - c. Let u = -295 + 2060/7. Is u less than w?
False
Let z = 30953/1914 + -5/957. Which is smaller: 15 or z?
15
Let a(s) = -s**3 + 6*s**2 - 5*s - 1. Let f = -26 - -31. Let h be a(f). Suppose 2*z + 3 = 3*l - 4*l, -4*z - 15 = -l. Which is smaller: h or z?
z
Let n(x) = x**3 + 3*x**2 - x. Let i be n(-3). Suppose i*r - r + 16 = 0. Let s be (r/5)/(2/(-5)). Does s = 7/2?
False
Let f = -617/12 - -97/2. Let x = -9/4 - f. Suppose -4*a + 4 = -2*a. Are x and a equal?
False
Let r = -1221 + 1218. Which is greater: r or -97/35?
-97/35
Let j = -2 + 4. Suppose -j*d = 2 - 0. Let x be 3/(-6) + 2/5. Which is greater: d or x?
x
Let k be -1*(-1)/2 - 648/1264. Is k at least as big as 0?
False
Let k(b) = 3*b + 5*b + b - 14*b + 29. Let m be k(8). Which is greater: -2/5 or m?
-2/5
Let z = 1316/9 - 6814/45. Which is bigger: z or 4?
4
Suppose 395 = 5*j - 0*j - 2*m, j - 67 = -2*m. Suppose 133 = -7*k - j. Is k smaller than -30?
False
Let b = 0.0111 - -0.0889. Which is bigger: b or -0.066?
b
Suppose 20 = 4*r - 3*r. Suppose 2*s = -2*s - r. Let y = 5 + s. Which is bigger: -1/12 or y?
y
Suppose 2*t + 8 = -61*p + 59*p, 1 = -p. Suppose 0*r + 14 = -3*f + 4*r, 4*r - 16 = 4*f. Which is bigger: t or f?
f
Let a = -953 - -901. Which is smaller: a or -54?
-54
Let b(k) = 2 + 7*k + 7 + 5*k - k. Let p be b(2). Is 31 != p?
False
Let a be (-45)/6*8/(-186). Is -0.2 greater than or equal to a?
False
Suppose n - 87 = -5*h - 31, 28 = 3*h + 2*n. Let s = 9 - h. Let k be (-10)/s - (-8)/12. Is k greater than 3?
True
Suppose -2*y = 5*y - 56. Suppose -3 - y = -11*z. Are z and 3.3 non-equal?
True
Let s = -6953/114 - -61. Let w = 1 - 2. Which is bigger: w or s?
s
Suppose -n + 911 = -5*b - 616, -2*n - b = -3109. Let g be 2*(-4)/n*-4. Is g at most 0?
False
Suppose -3*n = r - 1, 3*r + 8 = 5*n - 3*n. Let y be (-2)/(1*2/5). Which is bigger: y or r?
r
Let w(o) = -o**3 - 6*o**2 + 9*o - 9. Let x be w(-8). Suppose 2*g + 4*h = 110, -37 = -4*g + 5*h + 131. Is g smaller than x?
False
Let k = 8 + -17. Let p(u) = u**2 + 9*u - 4. Let y be p(k). Let h = y + 10. Which is smaller: h or 0.1?
0.1
Let y(q) = 3*q - 3. Let l be y(-1). Let f(x) = 11*x + 63. Let r be f(l). Which is smaller: -21/8 or r?
r
Let y(d) = -d - 181. Let u be y(-10). Which is bigger: u or -169?
-169
Let t = 26 - 21. Suppose 0*d = -t*x + 5*d + 95, 4*x - 3*d - 71 = 0. Which is greater: x or 15?
15
Let u = -6.7 + 45.7. Let y = 42.6 - u. Let j = y - 1.6. Is j not equal to 3?
True
Let j = 35749/55 + -650. Which is bigger: j or 1?
1
Let y be (5 - 50/4