 = 21199/37 - 573. Which is smaller: 0 or o?
o
Let d = 218.9 + -210. Let s = d - 9. Are 7 and s equal?
False
Suppose -2*d + 30 = -2*n, -d + 33 = -2*n + 2*d. Let x = -65 + 72. Suppose -5 - x = w. Are w and n unequal?
False
Let x(t) = 2*t - 3. Let a be x(6). Suppose -12 = -2*f + 2*s, 0 = 11*f - 7*f + 3*s - 38. Are f and a unequal?
True
Let k = 20 - 19. Let g be (6/(-2))/(-1)*k. Suppose -b = -0*b - g. Is 5 at most as big as b?
False
Let g = 94 + -98. Is -5 >= g?
False
Let q = -213.77 + 214. Is q at least -4?
True
Let s = -0.48 + -2.52. Suppose 0 = -d + 6*d. Let t be 1*(2/5 + d). Is s less than t?
True
Let o(m) = 3*m + 19. Let y be o(-7). Let h be (-5)/y*26/91. Do 0 and h have different values?
True
Let g = 38754195/58366 + -102297/154. Let j = -2/379 + g. Which is smaller: j or -8?
-8
Let n be (8 - -2) + -1*(-1)/1. Let o(z) = -z**2 + 11*z - 5. Let j be o(n). Is j < -6?
False
Let l = 0.06 + 0.34. Let m = 8 + -8. Which is bigger: m or l?
l
Let o be (-2)/(-18) - 273/27. Let v = -20 - o. Which is greater: 0 or v?
0
Let z(i) = 2*i**2 + 6*i + 2. Let o be z(-7). Let j be (10/25)/(-2 + o/30). Is -9 <= j?
True
Suppose -9*x + 1 = 10. Is 16/39 smaller than x?
False
Let c(u) = -u + 2*u**2 + 3 - u**2 + 1. Let j be c(0). Suppose j*x - 4*b + 8*b - 4 = 0, 0 = 4*x + 3*b - 4. Is 2 > x?
True
Let f = 3222/1355 + 6/271. Which is smaller: 3 or f?
f
Let p(a) = -a**3 - 3*a**2 - a - 1. Let r be p(-4). Let s = r + -3. Let i be ((-3)/(-1 + -5))/(12 - 14). Which is bigger: s or i?
s
Let q = -3364 - -6204. Let x = q - 19931/7. Which is smaller: -6 or x?
x
Suppose 3*i = -5*t - 122, -i - 1 = 3. Let u = t - -24. Is -8 less than u?
True
Let o be (-8)/(-5)*-2*(-16)/(-128). Is o at most 1352?
True
Let b be -16 - -14 - 184/(-34). Let q = 487/68 - b. Are 5 and q non-equal?
True
Let d be (-4)/26 + 1 + 264/(-143). Which is smaller: d or -6?
-6
Let g(r) = 19*r**2 - 10*r - 9. Let j be (3 - 2)*-1*(-2 - -3). Let k be g(j). Which is smaller: k or 22?
k
Let t be 17/51 - (-55)/(-3). Let d be (t/(-3))/3*7. Suppose c = -0*c - d. Is -14 less than or equal to c?
True
Let m(g) = -43*g - 605. Let k be m(-11). Which is smaller: k or 1/17?
k
Let q be 7/(-60) - (-3)/12. Suppose 0 = g + 4*g + 4*g. Which is smaller: q or g?
g
Let b be (-2)/4 + (-2)/(-4). Let d = 0 - b. Let u = 2650/7 + -378. Which is smaller: u or d?
d
Let m be 3 + 0 - (2 + 1). Suppose m = 4*a - 1200 + 408. Let u be 6/27 - 116/a. Is 1 <= u?
False
Let q = 3 + -4. Let c be q + 2 + (1 - -1). Let p be (-1)/3 - 2/c. Do p and -6/5 have different values?
True
Let y be 2000/8 + 1 + -4. Which is smaller: y or 246?
246
Let d = 39 - 38.35. Let q = d + -0.75. Which is bigger: q or 20?
20
Let z be ((-9)/6)/(6/(-16)). Suppose z*g = -0*g. Is g less than or equal to -2/7?
False
Suppose 2*b - 3*b = -5*p + 55, 5*b + 163 = -3*p. Let l = b - -59. Let v be (12/l)/((-178)/(-8)). Which is smaller: -1 or v?
-1
Let n be 28/(-12) + 1922/(-102). Is n at most as big as -20?
True
Let c(j) = 17*j**2 - 174*j - 50. Let g be c(13). Is g less than 561?
False
Let h(f) = -16*f**2 + 32*f + 3. Let w be h(3). Does w = -45?
True
Let p(b) = 2*b**2 + 4*b. Let y = 36 + -62. Let s = 23 + y. Let g be p(s). Is g > 8?
False
Let y(c) = 4*c**2 - 3*c + 40. Let n be y(12). Is n <= 582?
True
Suppose -2*b + b = 4*k - 9, 4*k - 3*b - 5 = 0. Suppose 3*p + k*p = 20. Suppose 6 = 5*t - t - 5*h, 2 = t - h. Is t less than p?
False
Let f = -0.1378 + -39.8622. Are f and -1 nonequal?
True
Suppose 2*k - 3 = 3*n, -4*n = -3*n - 5*k - 12. Suppose -4*c = 2*c - 132. Suppose -5*y + h = c, y = 2*h - 6*h - 17. Are y and n equal?
False
Let d(z) = z**3 - 9*z**2 + 11*z - 7. Let v be d(7). Let h be (-838)/(-7) + (-8)/v. Let t be h/(-135)*(-3)/(-4). Which is greater: 0.7 or t?
0.7
Let g be 43044/(-28680) + (-3)/(-2). Which is greater: g or -1?
g
Let v(b) = -13*b + 75. Let x be v(5). Let q be (2 + x/(-4))/((-5)/(-10)). Let l = 25/42 - 1/6. Is l != q?
True
Suppose -4 = -2*y + 6*v - 4*v, 0 = 2*y - 5*v + 2. Let d(f) = f**3 + 8*f**2 + 6*f + 7. Let n be d(-7). Suppose -5*p + 6 = -n. Is p >= y?
True
Let a = 16 + -11. Let k = -0.54 - -7.14. Let c = k - 5.6. Do a and c have the same value?
False
Let k(z) = 4*z + 1. Let s be k(-2). Let m be 150/(-14) + 2/s. Let t(d) = -d - 16. Let v be t(m). Is -5 < v?
False
Suppose 0 = 2*a - 3*p - 97, 2*a - 5*a + 133 = -2*p. Let f = 42 - a. Which is smaller: f or -1/55?
-1/55
Let b(g) = -g**3 + 19*g**2 + 18*g + 39. Let i be b(20). Is i > 2/125?
False
Let d(h) = 2*h**2 - 62*h - 4. Let t be d(29). Are -120 and t nonequal?
False
Let y(k) = -4*k - 2. Let m be y(-6). Let z be 23/m + 2/(-2). Let p be 1 + 4/16*-5. Which is greater: z or p?
z
Let q be (55/(-15) - -4)*-2. Suppose -2*m + 31 = -3*v - 55, -4*m = v + 38. Which is smaller: q or v?
v
Let v = 64 - 67.1. Let w = 5 + v. Let t = 1.1 + w. Which is smaller: 2 or t?
2
Let j be (-1 - -1)*(-6)/18. Suppose -2*p + 18 = -n - 4*p, j = 2*n + 3*p + 31. Is -1 at least as big as n?
True
Let k = 0.45 - -7.55. Let y = k - 44. Which is smaller: 0 or y?
y
Let c be 4/(-130)*275/(-15). Let u = -3/13 + c. Let j = 1 + -2. Do u and j have the same value?
False
Suppose -5*z + 68 = 2*x, 2*z - 69 = 4*x - 205. Is x at most as big as 30?
False
Let n(t) = -5*t**2 - 3*t + 2. Let g be n(-2). Let y = 19 - 0. Let w = 9 - y. Which is smaller: g or w?
g
Let z = 2 - -6. Let r = z - 7.7. Let v = -7.8 - -14.8. Which is smaller: r or v?
r
Let q = -110 - -95. Is -0.2 > q?
True
Let m = -19 + 63. Let s = m + -44. Which is smaller: s or 20?
s
Let m(n) = 3*n**2 + 31*n - 384. Let o be m(12). Which is smaller: 421 or o?
o
Let p = -35 + 43. Let m(t) = t**2 - 7*t - 12. Let z be m(p). Is z greater than -2?
False
Let k(y) = -5*y**3 + 19*y**2 - 2*y - 17. Let j(f) = 2*f**3 - 9*f**2 + f + 8. Let x(d) = -7*j(d) - 3*k(d). Let m be x(-6). Let a = -2 + 8. Is m smaller than a?
True
Suppose -4*r = d - 7*r + 5, -2*r = 3*d + 59. Let o(z) = -z**3 - z**2 - 2*z - 1. Suppose 2*u - 5*u = -6. Let n be o(u). Is d greater than n?
False
Suppose 0 = -2*n - 3*h + 9, -3*n + 2 = -3*h - 4. Let q(l) = 2*l - 4. Let v be q(n). Suppose 2 = 3*t + 5*o, -v*o + 0*o = -2. Does t = 1?
False
Let c = 4488 - 31240/7. Which is smaller: 26 or c?
c
Let m = -1393 - -5416. Let j be m/852 + -5 + 2/8. Is j != 0?
True
Let g = -737.4 - -139.4. Which is smaller: g or 0.3?
g
Let n(u) = -u + 36. Let s be n(0). Let v be (-48)/s - (0 + -2). Let t = 9.13 - 0.13. Which is greater: v or t?
t
Suppose 10*p = -7*p - 714. Is -46 <= p?
True
Let v(k) = k + 19. Let p be v(-29). Let y(x) = 2*x**2 + 15*x + 9. Let z be y(-6). Which is smaller: p or z?
p
Let d = -92 + 78. Let c = d - -13. Which is bigger: c or -2/91?
-2/91
Let z = 57 + -55. Let q = -16 + 14. Which is smaller: z or q?
q
Let o be (-24)/(-42) + ((-8)/14 - 0). Is 8/37 != o?
True
Let h(a) = 3*a**2 - 18*a - 19. Let z be h(7). Suppose l - 16 = 5*l. Let k be z/6 + l/(-6). Is 2/25 not equal to k?
True
Let c = -66 - -49.2. Let y = c - -7.8. Suppose -s - 2 - 1 = 0. Is y smaller than s?
True
Let v be (-36)/(-90)*(-114)/(-4). Is 12 >= v?
True
Suppose -6*h - 6 = -24. Which is smaller: 6 or h?
h
Let s be (-70)/(-7)*14/5. Suppose -s + 18 = -2*a. Suppose -a*w = w. Which is smaller: w or 4?
w
Let g(t) = -3*t + 3. Let j be g(-2). Let p = j + 61. Which is bigger: p or -1?
p
Let r(l) = -l**3 + 14*l**2 - 11*l - 2. Let u be r(13). Suppose 3*o + 0*o - u = 0. Suppose -d = -5*g - 2, 5*g = -d - 3*d + o. Is g at most -4/9?
False
Let l = 0.15 - 0.45. Let o = -7.9 - l. Let i = o + 7. Are -2 and i nonequal?
True
Suppose 1051 = 6*h - 95. Is 193 bigger than h?
True
Suppose 8*j = 3*j + 30. Let a be (j/(-10))/(1/(-15)). Suppose -12 = -a*p + 8*p. Is 13 less than or equal to p?
False
Let d be 5 + 6 + -10 - 0. Which is smaller: d or -2/2587?
-2/2587
Suppose -5*k - 4*t + 12 - 3 = 0, -k = -3*t - 17. Suppose 3*z + 4*m = -k, -z - z - 2 = 4*m. Is -16/7 greater than z?
True
Let s = -0.232 - -0.132. Is -464 < s?
True
Let f = -1290 + 1281. Is -118/13 less than or equal to f?
True
Let n be ((-18)/15)/(3/15). Let x be (-2)/n - 170/51. Let z be ((-2)/(-6))/(x/(-9)). Which is smaller: -2 or z?
-2
Let s be (50/70)/(2110/35 - 4). Is s greater than 1?
False
Let h be (33/(-9) - 0) + (3 - -1). Is h at least as big as 4?
False
Let z(v) = -38 + 20 + 13 + 2*v. Let u be z(3). Is -1/113 equal to u?
False
Let u = -949 - -949. Which is bigge