d = -538007/88 - -6114. Are d and -1 equal?
False
Let y(l) = l**3 - 3*l**2 - 3*l + 2. Let o be y(0). Let p be 98/(-12)*o*(-4)/56. Let h = 1 - -1. Is p greater than h?
False
Let z = 5024 - 85508/17. Is -5 at most z?
False
Let i = 251 + -252. Let w = 103/6 + -34523/2010. Which is bigger: w or i?
w
Let p = -33 - -37. Suppose -9 = p*m - 9. Which is smaller: 1/437 or m?
m
Let k(o) = o**3 + 7*o**2 + 6*o - 1. Let q be k(-6). Let j = -144.7 + -328.9. Let h = 475 + j. Is q less than or equal to h?
True
Let h be (-2)/4 - 30/4. Let p be (174/8)/(2/h). Let g(s) = s**2 - 958*s + 47879. Let l be g(53). Which is smaller: l or p?
p
Let r be 48/(-4) + (-3 - -2) + 1. Let p be (0 + (-6)/(-9))/(r/990). Is -57 > p?
False
Let k = -14.702 + 14.602. Which is bigger: 826 or k?
826
Let r = 1006 - 901. Let p be 21/(-714)*(r/9 + 1). Which is smaller: p or 1?
p
Suppose 4*h + 1162 = 4*b - 170, 2*b + 4*h - 648 = 0. Let l be 2416/b - 16/(-120). Which is smaller: 8 or l?
l
Let s = -2.2 + 2.1. Let d = 3215/6 + -74017/138. Is d < s?
True
Let l(u) = -74*u - 18. Let q(g) = 37*g + 9. Let b(f) = 3*l(f) + 7*q(f). Let k be b(3). Let w be 704/k + 2/15. Which is greater: w or 4?
w
Let y(p) = -24*p - 18. Let o be y(6). Let r = 63 + o. Let x = r - -1187/12. Does -2/3 = x?
False
Let r be (-24)/15 - -2 - (-16)/(-40). Suppose -4*z + 15 + 57 = r. Suppose 0 = -3*l + 38 + 10. Are l and z unequal?
True
Let g = -12.002 + 11.602. Which is bigger: g or 63?
63
Let n be 111112/116790 - (-8)/(-10). Which is bigger: 1 or n?
1
Suppose 0 = -0*c - 4*c - 556. Let u(s) = -s**3 + 17*s**2 + 6*s + 77. Let z be u(18). Is z at most c?
True
Let j be ((-128)/24 - -7)/(-1). Suppose t + 2*l + 3 = 8, -18 = 3*t - 5*l. Do j and t have the same value?
False
Suppose -4*c = -2*o + 6, -o + 1072*c + 2 = 1071*c. Which is smaller: o or 2/35009?
2/35009
Let v be -3 + 0 + 3 + 0/2. Let b(y) = 13 - 11 + v*y**2 - 3*y**2 + 2*y**2 - 4*y. Let s be b(-4). Which is greater: s or 28/13?
28/13
Suppose -j - 3*j + 55 = 43. Is j equal to 79/37?
False
Let a = -38 + 88. Let f be (-1)/(1 - 0) - a. Suppose -14*w - 38 = 3*t + 695, -t = 5*w + 261. Is f greater than or equal to w?
False
Let m be (3 - 0 - 3) + 2 - 13587. Let n be m/13559 + (0 + -3)/(-3). Which is smaller: n or 0?
n
Let f = -6856 - -6897. Let n be (-20)/(-6)*(9 + 3). Which is bigger: n or f?
f
Let p(u) = 12*u + 72. Let y be p(6). Suppose -4*t = -5*t - 5*m + y, 0 = -2*m. Are t and 144 equal?
True
Suppose -3*g + 4 = -d - 14, -d - 4*g = -17. Let c be (-6)/9 - 14/d. Let j = -2 - -9. Which is bigger: c or j?
j
Let w = 83/17 - 730/153. Let p = -5.85 + -0.15. Is w less than or equal to p?
False
Let m = -11 - -15. Suppose 5*l + 4*r - 76 = 0, 3*l + 11 = m*l + 5*r. Suppose -109 + 75 = -2*a. Is a != l?
True
Let b = -44 - -32. Let k be (-65)/(-39)*b/(-10). Suppose -2*s - 4*y = 4, -k*s + 4*y = 3*y - 6. Which is bigger: s or -7?
s
Suppose 119*c - 15 = -5*d + 117*c, 3*c = 0. Which is smaller: -1690 or d?
-1690
Let t = -859.376 + 1.376. Let w = t + 855. Is w at most -3.9?
False
Let t = -58763/6 - -9732. Let q be (-3*868/(-210))/(15/(-75)). Is q <= t?
True
Let v(c) = 9*c**3 + 15*c + 3. Let w(d) = d**3 + d + 1. Let z(n) = -v(n) + 12*w(n). Let h be z(-5). Let r be (3/9)/(9/h). Is r < -14?
False
Let z = -504 - -509. Let f(r) = 26*r - 131. Let n be f(z). Is n > -2/475?
False
Let m = -0.095 - 0.114. Let f = 0.791 - m. Is -2 at least f?
False
Let j be (-1)/826*(1 - (-25)/(-26)). Let i = j + -5422689/21476. Is -252 at most as big as i?
False
Let r = -3.9 + 4. Let y = -0.5 + r. Let a = -52986/91 - -4078/7. Is y equal to a?
False
Suppose 55*f - 60*f = 0. Suppose 30*q - 27*q - 6 = f. Suppose 4*y + q*c = -18, 5*c = -2*y + 5*y + 20. Is y not equal to -5/3?
True
Let j(g) = -5*g - 18. Let i be j(-2). Let p be (i - (-228)/30)/(14/(-5)). Let d be (4/14)/(99/(-77)). Which is greater: p or d?
p
Let m be (744/60 - 14)*(175/(-2))/5. Let t(x) = 12 - 2*x + 14 + 0*x. Let l be t(m). Which is greater: -32 or l?
l
Let i = 206 - 202. Suppose 2*a - 4*b = 22, i*a - b + 5*b + 16 = 0. Let j = 3 - 6. Which is greater: a or j?
a
Let k = 19211/163149 + -1/9597. Which is bigger: k or 2.26?
2.26
Let y = -1672/93 + -290/31. Which is smaller: y or 0.06?
y
Let o(s) = s**3 + 12*s**2 - 26*s + 20. Let d be o(-14). Let k be 15/6 + d/16. Suppose 2*l + 4*a = 30, -a + 111 = -k*l + 7*l. Is 23 at most l?
True
Let d = 2274 - 2266. Let k = 1 + -2. Let w = 3 + k. Do w and d have the same value?
False
Let u = 121 + -365. Let x = u + 225. Which is bigger: 0.2 or x?
0.2
Let i(t) = -t**3 - 61*t**2 - 118*t - 1. Let u be i(-59). Let n = 22.5 + -29. Let f = n + 65.5. Which is smaller: f or u?
u
Let u = 0.01 - -0.027. Let f = 9863.963 - 9864. Let x = u + f. Which is bigger: x or 3?
3
Let o = -0.169 - -224.169. Let d = o + -223. Which is bigger: 11 or d?
11
Let t = 744 - 794.9. Let i = t - -48.37. Let u = i - -0.63. Is -1/2 less than u?
False
Suppose -7*y = -4*y + 18*y - 6531. Which is greater: 0 or y?
y
Let j(a) = -5*a**2 + 9*a - 30. Let z be j(4). Let o = z + 72. Is o greater than or equal to -23/10?
True
Suppose 0 = 31*u - 126 - 29. Suppose -5*q + 95 = u*x, -2*x + 45 = 5*q - 56. Is 23 smaller than q?
False
Let b be 2/10 - 30/(-325)*14646/(-12). Which is smaller: -111 or b?
b
Suppose 0 = -79*t + 64*t - 15. Which is bigger: t or -1/740?
-1/740
Let x = 5141/4 - 1286. Let v(i) = i**2 + 2*i - 1. Let r be v(-2). Let y be (7 + -7)/(1*r). Which is bigger: x or y?
y
Suppose 19*t = 20*t - 2. Let m be 48/(-312) + (-116)/(-494)*t. Is m equal to -1?
False
Let s = 261.9 - 303. Let j = 41 + s. Do -12 and j have different values?
True
Suppose 4*p + 20 = -4*q - 0*p, -20 = -q + 4*p. Suppose -4*n - 48 - 20 = q. Which is bigger: n or -3?
-3
Suppose -20*w + 7626 = 986. Let d = w - 332. Which is smaller: d or -6?
-6
Suppose -12*j = -4*j - 16. Suppose -5*z + 6 = -j*p, 4*z + p - 6 + 9 = 0. Let l = -11 - -11. Are z and l unequal?
False
Let u = 1198 + -1199.361. Which is smaller: u or -0.1?
u
Let y = -3.975 - -3.709. Which is greater: -19 or y?
y
Suppose -9*n - 42 - 30 = 0. Let j be n + 3 - (4 - (9 + -3)). Is -32 at least j?
False
Let a = -59 + 113. Suppose -8*k + 2 + 14 = 0. Let s be a/72 - (0 - -1 - k). Which is smaller: s or 1?
1
Suppose 0 = b - p - 2, -2*b - 38 = -5*b - 5*p. Is b less than -261?
False
Let x be (0 - 6)*(-7)/(-2) + (56 - 51). Is x at most as big as -167?
False
Let g = -0.49 + -0.3. Let b = -2149.21 - -2149. Let y = b + g. Which is smaller: -0.19 or y?
y
Let a(v) = -v**2 + 3*v + 39. Let d be a(-5). Let j be ((-130624)/585)/(-16) - 14. Is j at least d?
True
Let m be (-1040)/35 + 2/(-7). Let h(i) = -9*i**2 - 16*i + 38. Suppose -12 = 27*o - 66. Let p be h(o). Is m smaller than p?
False
Suppose -8*h + 6 = -5*h. Suppose -3*z + 10 = 5*d - 4, 3*d - 15 = -4*z. Let c be (-165)/44*(-1)/z. Which is bigger: h or c?
h
Let d = -279 + 284. Let v(u) = 2*u - 1. Let c be v(0). Let q be c/6 + (-21)/(-54). Which is smaller: d or q?
q
Let c = -9036 - -9019. Let m = 2009/6 - 334. Which is smaller: c or m?
c
Let x be 5/420*-6*-14. Is x >= 1/1983?
True
Let t = 42.924 - 43. Let p = t + -0.484. Let s = p - -0.64. Which is greater: s or 5?
5
Suppose -5*i + 9 = -5*v - 6, -2*i + 5*v = 3. Let m(h) = h**2 + 23*h + 58. Let c be m(-22). Let t = c - i. Is 30 greater than t?
False
Suppose 0 = d + 1, 5*a + 2*d + 126 = 679. Let r be 1286/70 + a/259. Is 20 greater than r?
True
Let m be 357/340*4/(-140). Does m = 4.3?
False
Let b be -2*4464/738 + 12. Suppose -2*q = -14 + 16. Is q <= b?
True
Suppose -5396 = -13*l + 3691. Which is smaller: l or 5583/8?
5583/8
Suppose 9*a - 22 = 14. Suppose 2*w - a*w + 4*q = 4, 2*q = -4*w - 48. Suppose -2*u - 3*u = 50. Do u and w have the same value?
True
Suppose 910 = -5*r + 10*r + 5*a, 1804 = 10*r + 2*a. Does r = 904/5?
False
Let u be (-24)/((-39)/(-48) - 1). Suppose -s - 2*g - u = -4*s, -4*g = -2*s + 88. Let t = -2512 + 2553. Are s and t unequal?
True
Suppose 0 = -289*d + 4272 - 15832. Which is greater: d or -12/23?
-12/23
Suppose -299 = -4*n + 49. Suppose -3*u + 4*s = -7*u + 124, 2*u = 3*s + n. Let y be -4 - (-68)/18 - (-26)/u. Is -0.1 < y?
True
Let f be 1895 + (-96)/(-9 - -17). Which is smaller: 1882 or f?
1882
Let u(b) = b**2 + 16*b. Let x be u(-16). Suppose -4*i - 75 = 3*g + 59, x = -5*g - 3*i - 227. Which is bigger: -47 or g?
g
Let p = -8558 - -9187. Which 