 n or o?
n
Suppose -12 = -15*q + 11*q. Suppose -n - 4*t = 83, q*n - 5*t + 142 = -90. Are -79 and n equal?
True
Let s = 538 - 541. Is s equal to -0.05?
False
Let q be -5 - (-6)/(-4)*-84. Are 121 and q nonequal?
False
Let k be (0 - (1 - 1)) + -5. Suppose -c - 2 = -5*z - 7, -3*c - 21 = 3*z. Let h = -2 + z. Which is smaller: k or h?
k
Let o(f) = -f**3 + 5*f**2 - 2*f - 4. Let s be o(4). Let k be -1*6/(-3)*2/s. Let j(m) = -2*m - 1. Let n be j(-1). Does k = n?
True
Suppose 0 = -11*d + 12*d - 26. Suppose 0 = 4*o + 74 - d. Are -11 and o nonequal?
True
Let a(s) = -5*s**2 + 50*s - 500. Let m be a(17). Is -1095 < m?
False
Let u = 18.583 - -0.017. Let s = -6.4 - u. Let v = s + 24.7. Is v bigger than 0.1?
False
Let u = -718.9 + 718. Which is greater: 15 or u?
15
Let d = 365 + -365.1. Which is smaller: 291 or d?
d
Let x(f) = 66*f**2 + 5*f - 11. Let w(y) = 33*y**2 + 2*y - 5. Let j(a) = -7*w(a) + 3*x(a). Let r be j(-1). Is -33 != r?
True
Let t be 7/2*(-2)/(-364)*2. Is t at most as big as -1?
False
Let i(x) = -x**3 + 4*x**2 - 3. Let z = -60 - -64. Let c be i(z). Is c less than -2?
True
Let o = 0 - -1. Suppose -3*v + 2*x = -42, -9 = -0*x + 3*x. Suppose -g + v = -3*g. Is g at most as big as o?
True
Let r = -6 - -6.04. Let t = -0.01 - r. Let q = -6.95 + t. Is 0 > q?
True
Let f = -1402 + 1340.9. Is 1/3 greater than or equal to f?
True
Suppose 5*l = -4*a + 2*a + 5, -4*l = -4*a - 32. Suppose -l*c - 4*t + 101 = 0, 5*c + 3*t + t - 179 = 0. Let g = c + -31. Which is smaller: g or 20/3?
20/3
Let d be (30 - 28)/(6/(-441)). Is d at most -143?
True
Let s = 1099 + -967. Which is greater: 134 or s?
134
Let p be 42/7*(-19)/(-10). Let h = -129/10 + p. Let q = 1 + -1/2. Is q != h?
True
Let x be 4*(1 - (-9)/(-2)). Let k be (32/(-140))/(12/x). Suppose -22 = -d - 21. Which is bigger: d or k?
d
Let q(f) = 13*f + 586. Let w be q(-45). Is 7/23 at least w?
False
Let b = 29 - 30. Suppose z + 5 + 40 = 0. Let s be 10/(-45) - (-98)/z. Which is greater: b or s?
b
Suppose 0 = 6*q - 53 - 109. Let v = -0.5 - -0.6. Which is smaller: q or v?
v
Let l = -12/13 - -86/65. Is 102 smaller than l?
False
Let n(h) = -h**2 - h + 1. Let x be n(0). Let g = 2 - 12. Let j = 8 + g. Which is bigger: j or x?
x
Let z be 1/2*(-1 + 1). Suppose -29*k + 28*k + 2 = 0. Let x be ((-24)/(-144))/(k/(-16)*1). Is x smaller than z?
True
Let n(t) = t + 16. Let j be n(-16). Let x be (1 + j)/((-7)/343). Let h = 145/3 + x. Is 12 > h?
True
Suppose -4*f = 5*g + 1426 + 1331, 0 = 3*f - 2*g + 2085. Are f and -692 equal?
False
Let o be 26/4 - 3/(-2). Let k = 9 - o. Let s = 42/5 - 69/10. Is k at most as big as s?
True
Let i be ((-4)/(-2)*1)/(208/480). Is 6 at most as big as i?
False
Let o be 162/108*((-116)/18)/1. Is -9 at most o?
False
Let z be ((-5)/(-10))/(1/(-36)). Let y = 19 + z. Is -8 less than or equal to y?
True
Let z be (-765)/68 + (-3)/(-12). Which is smaller: z or -36?
-36
Let v = -1126 - -1093. Is -33 >= v?
True
Let o be 37 - (3 + -6) - -1. Let u = o + -42. Which is bigger: u or 2/7?
2/7
Let t(y) = 5*y + 16. Let n(w) = 2*w + 52. Let d be n(-24). Let x be t(d). Are 36 and x equal?
True
Let q = 73 + -107. Let r = -34 - q. Which is smaller: 0.06 or r?
r
Let m(w) = w**3 - 6*w**2 + 6*w. Let u be m(5). Suppose 3*b + b - u*g + 23 = 0, 5*g = 15. Let r = 6 + b. Does 2 = r?
False
Let s = -75 - -74.922. Let v = s + 0.028. Let n = 46 + -139/3. Is n <= v?
True
Let v(h) = -h**2 + 19. Let k be v(6). Let g = k - -17. Do g and 10/7 have different values?
True
Let p be (-13)/(-4) - (5 + -1). Let l = -2/3 - p. Which is smaller: 1 or l?
l
Let o be (-125)/45*36/(-30). Which is greater: 3 or o?
o
Suppose 3*z - 2*z = 67. Suppose o + 4*v = -4*o + z, v = -2. Suppose 0 = 3*r - o, r - 20 = -5*j - 0. Is 3 < j?
False
Suppose 0*x + 7*x = -280. Let j = x - 15. Let r be 10/j - 6/(-33). Is 3/4 smaller than r?
False
Let m = 20 + -11. Let k be 8/44 + 4/(-22). Suppose -q - q + 20 = k. Is m > q?
False
Let b = 42 - 23. Let q = -39 + b. Let u = -19 - q. Is u >= -4/9?
True
Let i = -18 - -22. Let p be (6 - -2 - i) + 12. Let h = 14 - p. Which is bigger: -3/4 or h?
-3/4
Let p be ((-85)/15 + 3)*6/4. Let u be 28/56 + 2/p. Let m be 2/66*12/10. Which is smaller: m or u?
u
Let a = 6227 + -6241. Let q = -155 + 1706/11. Which is bigger: a or q?
q
Let k be (-155)/(-8)*(-1 + 90/95). Let w = k - -36/19. Are w and 1 non-equal?
True
Suppose 0 = -4*s + 14 + 10. Let k be 61/6 + (s - 148/24). Is 8 greater than k?
False
Let p = 47 - 23. Let g = 16.54 - -0.46. Let k = g - p. Is k at most -1/4?
True
Let r be (-27)/(-12) + (6 - 2) + -5. Are 2 and r equal?
False
Let i = -17.8566 + -0.1434. Is -32 < i?
True
Let w = 3 + -1. Suppose 5 = -3*c - w*c. Let r = 18236/11 - 1658. Which is bigger: r or c?
r
Let h = 32/3 + -61/6. Which is smaller: -207 or h?
-207
Let l be ((-4)/6)/(5/(-30)). Suppose 0*s - s + l*f + 6 = 0, -4*f - 4 = 0. Suppose s*y = 5*c + y - 8, 0 = -4*c + 5*y + 19. Is c <= -1/4?
False
Let r = -327 - -303. Which is smaller: -17 or r?
r
Let r be (-252)/(-99) + (-8)/2. Is r at least as big as 1/3?
False
Let o be ((-6)/(-5))/(18/40). Let u(w) = -w + 5. Let t be u(7). Let x be (-9)/t + 1/(-2). Which is bigger: x or o?
x
Let u = 114 - 573/5. Which is bigger: -43 or u?
u
Suppose -17 = 3*h + 2*l, 2*l = -3*h + 5*l + 3. Is h < -61?
False
Suppose -3*d = -5*c - 33, 4*d = -c + 27 - 6. Let u be d/(-8) + 2/(-8). Let g = 7/8 - 97/120. Which is smaller: u or g?
u
Let v(j) be the second derivative of -j**5/20 - 7*j**4/6 + 5*j**3/2 - 13*j**2/2 - j. Let m be v(-15). Let y = m + 10. Which is smaller: -1 or y?
y
Let y = -3 + 0. Let g be 3/8*10/(-1). Which is bigger: g or y?
y
Let a(m) = -10*m + 50. Let n be a(8). Let j(p) = 14*p - 1. Let q be j(-2). Does n = q?
False
Let c = 0.19 - -2.81. Suppose 3*s = -2*s. Let m = 2 - s. Is m greater than c?
False
Let b = -3.8 - -4. Let z = 27 + -24. Which is smaller: z or b?
b
Let y = 0.02 - 2.02. Let o = -40.2351 - 0.0649. Let w = o + 40. Which is smaller: w or y?
y
Let v = -1724 - -1923. Which is greater: v or 200?
200
Let y(m) = -5*m**2 + 62*m - 21. Let u be y(7). Is u not equal to -1?
True
Suppose 9*r = 8*r + 5. Suppose -4*z - 7 = -5*u, 0*z + 21 = r*u + 3*z. Let y be (1 - 0)*(u - 5). Is y equal to -1?
False
Let y = -709.31 - -705. Let n = y - -4.1. Let x = n + 0.3. Is x at least 1/3?
False
Let o(d) = 2*d**2 - 11*d - 6. Let t be o(7). Suppose 3*p = -l + 5*l + t, -p - 14 = 5*l. Is p equal to 6/19?
False
Let d(k) = -3*k - 17. Let r be d(-7). Suppose -4*o + 0 + 4 = 4*c, 3*o - 10 = r*c. Is o at most as big as 15/8?
False
Let q = 10/1139 + -10782/190213. Which is bigger: -1 or q?
q
Suppose 7*f + 95 = 2*f - 5*p, -2*f = p + 36. Let a = f - -13. Which is bigger: -2 or a?
-2
Let y(n) = n**2 - 3*n - 4. Let t be y(-4). Which is smaller: 2 or t?
2
Suppose -3*d - 4*v = -118 - 231, d - v - 128 = 0. Is 125 greater than d?
True
Let k = -662 - -679. Which is greater: 11 or k?
k
Let y be (-2)/(-5) - (198/(-45))/(-11). Which is bigger: y or 4/125?
4/125
Let r be (6 - -3)/(-3 + 2). Let b(w) = -4*w - 36. Let n be b(r). Which is smaller: n or -3/71?
-3/71
Suppose 6*s = 7*s + 4*u - 2, -2*u = 0. Which is smaller: -3 or s?
-3
Let c = 0.08 + -23.08. Let x = -228 + 250.9. Let d = x + c. Is d < -15?
False
Suppose 0 = 13*z - 346 - 122. Is 32 < z?
True
Let x be 0 - (1/3*0)/3. Let a be (-8)/((x - 1) + 4) + 2. Is a smaller than 0.17?
True
Let x = -57 + 90. Let b = x - 33.1. Is b bigger than 5?
False
Let f be 5/(8635/572) + (-1)/3. Which is smaller: -1 or f?
-1
Let x be 16/638*4/16. Let a = x + 2538/2233. Is a greater than 2?
False
Suppose -2*f = 3*f. Let t = -85 - -266. Let n = 4523/25 - t. Which is greater: n or f?
f
Suppose 2*o - 19 = 1. Suppose 0 = 4*r - 2*j + o, -r - r - j - 7 = 0. Which is smaller: -4 or r?
-4
Suppose -4*i = -5*t - 11, 12 = -5*t + 5*i - 3. Which is smaller: t or -6/73?
-6/73
Let z = -386 + 378. Which is bigger: -20 or z?
z
Let b = -405 + 406. Which is smaller: b or 335?
b
Suppose 0 = 17*l + 19469 - 8232. Which is greater: -1 or l?
-1
Let r = 1401413/21238 + -2444/37. Let m = 6/41 - r. Are m and 0 equal?
False
Let f = 654.54 - 655. Which is greater: f or 1.6?
1.6
Let c = 12.7 + -20. Is c less than or equal to 1/2?
True
Suppose 4*z + 5 = 13. Let l(n) = 0*n**2 + 0*n + 4*n - 7*n - 2 - n**z. Let k be l(-2). Is -2/15 smaller than k?
True
Let t = -2785/1287 + 28/13. Is 1 <=