3 or o?
o
Let s = 0 + 0. Suppose 0 = 18*z - 22*z + 8. Let o be (-56)/(-414) - z/9. Is o at least s?
False
Let r be (-9)/(-666)*12/(-18). Are 1 and r nonequal?
True
Let h = 8 - 671/84. Which is smaller: 1 or h?
h
Suppose 61 = -4*j + 4*w - 31, 0 = j - 5*w + 43. Let q be 282/9*(-9)/15. Which is bigger: q or j?
j
Let l = 246.9 - 259. Let q = l + 11.87. Is 2 <= q?
False
Let a be (1328/(-4))/(-4) - -12. Which is bigger: a or -3?
a
Let c be 0/5*3/12. Suppose 0 = -5*d - 2*x - 3, 5*d + 3*x + c = -2. Are d and -2/61 equal?
False
Suppose 5*a = -5*j + 25, -4*a - 10 = -74*j + 73*j. Which is smaller: j or 73/10?
j
Suppose -4*g = -9*g - 100. Let i be 8*(2 - g/(-8)). Which is greater: -6 or i?
i
Let y = 63 + -56. Let v = 2/129 + -88/129. Which is bigger: v or y?
y
Let l = 803/248 + -7/62. Let f be 205/24 - 2/(-8). Let v = l - f. Is -5 greater than or equal to v?
True
Let g(n) = -12*n**2 - n + 2. Let s be g(1). Let j be (1 + 2)*s/(99/(-12)). Suppose -4*y = -7*y + 12. Does y = j?
True
Let s(a) = 3*a - 120. Let v be s(0). Let z be -2 - v/(15/(-5)). Is z at most as big as -42?
True
Let p be ((-6132)/(-528) - 8)/(2/(-8)). Which is smaller: p or -13?
p
Suppose 8*q = 5*t + 11*q - 430, 2*q = 0. Let a = -22 + t. Which is smaller: 0.1 or a?
0.1
Suppose -5*b = -14 + 39. Let k be b/(-70)*4/6. Which is bigger: 1 or k?
1
Let d be (59/(-4))/(-5 + (-21)/(-4)). Let y = -53 - d. Is y at most 17/3?
False
Suppose -6 = -3*h - 0*h. Let f = h - -82. Suppose -4*u + 4*d = -f, 3*u - 5*d = 2*u + 13. Is u < 23?
False
Let i(a) = 17 - 5*a + 0*a + 30*a**2 - 29*a**2 + a. Let d(m) = -m. Let b(p) = -6*d(p) - i(p). Let t be b(8). Is -10 greater than t?
False
Let q(x) = x + 1. Let u be q(-4). Let h be 1/u - 2/3. Let o be 2/(-4)*(28 + -27)*(-120)/(-20). Which is smaller: h or o?
o
Suppose 3*p + 4*c = 65, 0*p + 4*p - 96 = -3*c. Suppose 4*d - 20 = -0*d, 3*d = 4*r + p. Do r and -1 have the same value?
False
Suppose 57 = -5*n - 43. Is -96/5 less than n?
False
Let p = -5.43 + 5.44. Suppose 0 = -6*q + 8*q. Which is smaller: q or p?
q
Let h = 446 - 70469/158. Which is greater: h or 1?
1
Let s = 247 + -230. Which is greater: s or 121/7?
121/7
Suppose 10*n + 168 = -18*n. Is -6 greater than n?
False
Let x(z) = 2*z**2 - z**2 - 2*z + 0 + 9 + 10*z. Let a be x(-7). Suppose a*c - c = 1. Which is greater: 6 or c?
6
Let a = -63 + 62. Let d be a/(((-64)/136)/(-1 - -3)). Which is smaller: d or 3?
3
Suppose 5*s - 2*d - 155 = 0, 5*s - 74 = 2*s + 5*d. Is -4 smaller than s?
True
Suppose 0 = 2*d + 3*p - 6 - 2, -2*d - 4*p = -10. Let h(u) = u + 8. Let z be h(-7). Let s be (2/(-6) + z)/((-7)/3). Is d > s?
True
Suppose 5*l = m - 5, 4*m = 2*l - 6*l + 20. Let g = -0.27 - -0.13. Is l bigger than g?
True
Let o(z) = -z**3 + 16*z**2 + 18*z - 18. Let i be o(17). Let n be (i/(-12))/((-9)/(-12)). Which is greater: n or 1?
1
Suppose 3*z = 6*d - d + 222, 0 = -2*d + 3*z - 96. Let i = 41 + d. Is i < 2/15?
True
Suppose 10*z = 6*z + 100. Let w be (10/z)/(((-16)/155)/2). Is -9 <= w?
True
Let o(r) = r**3 + 9*r**2 + 9*r - 82. Let b be o(-7). Let z = 78 + -126. Which is smaller: b or z?
z
Suppose 16 = -5*s + 1. Let q be s/(-9) + 4/(-18). Which is smaller: 0 or q?
0
Let s be -1 + 12/(-9)*18/(-12). Is s bigger than -9/32?
True
Let n = -0.2 - 0. Suppose -o + 4*j - 8*j + 21 = 0, -4*o + 3*j = 11. Let s be (o/(-2))/(18/9). Which is greater: s or n?
n
Let l be 51 + (-6 + -6)/3. Which is smaller: l or 49?
l
Let i = 54186/30401 - 27/707. Which is smaller: i or 3?
i
Let z = -167 + 149.8. Let m = z + 17. Let c = m + 0. Is -6 less than or equal to c?
True
Suppose 9*j - 4*j = -2*u - 12, -2 = -j + 4*u. Suppose 13 = 3*z - 5. Let w(q) = q - 7. Let h be w(z). Which is smaller: h or j?
j
Suppose -10*r - 260 = -14*r. Let c = 66 - r. Is 2 equal to c?
False
Let o be (-1524)/(-2835) - (-4)/(-10). Let z = o - -4/27. Is -2/3 less than or equal to z?
True
Let j(a) = -a + 8. Let c be j(4). Suppose c*q + 14 = -114. Which is smaller: -33 or q?
-33
Suppose -9 = -a + 4*i, -8*i + 3*i = -5*a - 30. Let v(j) = -j**3 - 12*j**2 - 10*j + 20. Let u be v(a). Which is greater: 10 or u?
10
Let a = 16 - 6. Let m be (4/5)/(4/a). Suppose 0 = -5*j - 2*z + 11, 3*j - 7 + 0 = -z. Is j bigger than m?
True
Let q = 3067 - 3091. Which is greater: -15 or q?
-15
Suppose 0*l - 3*i - 19 = 2*l, 4*l - 2 = 2*i. Is l greater than -8/37?
False
Let x(h) be the first derivative of h**2 - 10*h - 49. Let p be x(7). Is p less than or equal to 3?
False
Suppose 6 = 3*h + 171. Let f be (-6)/(-33) - 45/h. Which is greater: 6/19 or f?
f
Let x(q) be the first derivative of q**2 + 10*q + 9. Let b be x(-6). Which is bigger: b or -5?
b
Suppose 3*x + 17 = -5*c, 5*c = -2*x - 4 - 14. Suppose 3*t - 21 = -l, 0 = -l - x + 4. Suppose -3*h - t = -18. Is 4 at least as big as h?
True
Let q = 2147 + -2135.99. Let c = q - 11. Let l = -0.01 + c. Is 9 at most l?
False
Suppose -4*s - 10 = -9*s. Suppose 0 = 2*g + s*g - 3*p + 94, 4*g - 2*p + 92 = 0. Which is bigger: -2 or g?
-2
Let d = 2 - -2. Suppose -2*i - d = 8. Let b(m) = m - 6. Let c be b(i). Is c not equal to -12?
False
Let q(i) = -i**3 + 3*i**3 + 11 + 11*i**2 - 8*i - 3*i - 3*i**3. Let b be q(10). Do 5/3 and b have the same value?
False
Let r = -13.9 - -14. Let q = 56.98 - 57. Is q < r?
True
Suppose -43 + 271 = -6*l. Let k be l/(-6) - 2/18*3. Is 6 bigger than k?
False
Let t = 4.4 + -4. Let s = -1.6 - t. Let b = 34 - 32. Which is smaller: s or b?
s
Let n = 1 - 7. Let m = -79 + 76. Let c be n + 1/(4 + m). Is -2 > c?
True
Let j = -0.072 - -0.272. Let s = -1084/3 + 365. Is j at most s?
True
Let l = 7404 - 7403. Let g = -185/1404 + 3/52. Is g equal to l?
False
Let m = 9 - 7. Suppose 4*t - d + 27 = 0, 5*t - m*d + 3 + 33 = 0. Let z = -7 - t. Is -3 >= z?
False
Suppose 4*r - 1 = -3*h, 0 = 3*r - 6*r - 4*h + 6. Let g be 30/(-34) - (2 - 2). Is g < r?
False
Let x = -105.532 - 0.468. Which is smaller: 1 or x?
x
Let p = -11.76 - -0.76. Is -2/11 smaller than p?
False
Let g = 18148 + 46055. Let j = g - 2118509/33. Let o = j + -78/11. Is o > 0?
False
Suppose 205*d - 174*d + 217 = 0. Are d and -1/56 equal?
False
Let q = 279 + -198. Which is greater: 0 or q?
q
Let c = -65 + 64.32. Let j = c + 0.38. Do -3/5 and j have different values?
True
Let m = -37 - -37. Suppose m = -3*c - 2*c + 35. Is -2/13 not equal to c?
True
Let q be -14 + 2527/77 + (-4)/(-22). Which is smaller: q or 16?
16
Let q be (-11)/(1631/70*5). Which is smaller: 1 or q?
q
Let w be ((-18)/12)/(6/(-32)). Let t(u) = -u**3 - u + 10. Let i be t(0). Let f be (1 - i)/(8/(-8)). Is w at most as big as f?
True
Let y(t) = t**2 + 3*t. Let l be y(-4). Suppose -3*n + 4*a - 6*a = -11, 0 = l*n - 2*a - 24. Let x be (0 - 1)*(4 - n). Which is bigger: 4/9 or x?
x
Suppose 5*w - 18 + 3 = 0. Suppose 0*j = -j + w. Let x = -685 - -687. Is j != x?
True
Let o = -46 - -46. Let i = 85/9 - 2183/234. Let c = i - -33/52. Which is smaller: o or c?
o
Let y be (-5 - 18/(-4))*-228. Which is greater: 116 or y?
116
Let f be (-3)/(-2) + (-606)/405. Let d = 529/2970 + f. Which is bigger: 2/13 or d?
d
Let n(u) = -34*u**3 + 5*u**2 - 2*u. Let j be n(1). Which is smaller: j or -30?
j
Let v = -61.8 + -6.2. Let d = -99 - v. Let s = d - -31.1. Is -3/7 != s?
True
Let o be 4*2/(-15)*30/24. Which is smaller: -17 or o?
-17
Suppose q - 94 = 3*g + 95, 0 = -g + 2*q - 68. Which is greater: -0.1 or g?
-0.1
Let c(k) = -k**3 + 36*k**2 + k - 37. Let q be c(36). Is q less than 7/33?
True
Suppose -3*p = 18 - 153. Let r be 125/p - 4/(-18). Suppose -9 = -r*w + 2*w. Is w greater than or equal to 9?
True
Let t be (-2)/4 + 10/28. Let l be ((-1)/2*2)/1. Let r be (1 + -2 - l) + 0. Which is smaller: t or r?
t
Let p = 34 - -56. Suppose 24 = 4*b - m, 2*m = -5*b + 6*m + 41. Suppose -h - p = b*h. Is -14 less than h?
False
Let c = 4945 + -4917. Let p = 94 + -66. Is p greater than c?
False
Suppose -56 = -2*v - 3*n + 6*n, 0 = 2*v - 2*n - 58. Suppose 8*c + 92 = 3*q + 9*c, -4 = c. Which is greater: q or v?
q
Let b be (-3)/2*(-3)/(-9). Let p = 53 + 17. Let f = p - 73. Which is smaller: f or b?
f
Suppose 5*k - 381 = -8*n + 5*n, -n + 5*k + 127 = 0. Is 128 less than n?
False
Let z be 1/(-3)*(-42)/7. Let w(b) = -b**3 + 15*b**2 - 15*b + 17. Let j be w(14). Suppose -2*c = -d - z*d - 1, j*d + 2 = c. Which is bigger: d or -3?
d
Let v be (-12008)/(-237)*(-1)/((-2)/(-3)). Which is greater: -82 or v?
v
Let p(j) = 