Let a = l - -106470/47. Let u = a + 811. Which is bigger: 2 or u?
2
Let z = 95 + -146. Let v = z - -51.041. Let c be (329/42 - 7)*6/(-20). Is v not equal to c?
True
Let j = 3317 - 3667. Is j >= -349?
False
Let i = -2582 - -43889/17. Let b(y) = y**2 - 3*y + 2. Let r be b(4). Let t be (r + -3)/(-3)*0. Which is smaller: t or i?
i
Let c be ((-5)/2 - (-60093)/24090)/4. Let w(v) = 3*v - 29. Let l be w(10). Is c at most l?
True
Suppose -5*z + 4312 = 3*u, -8*z - 5*u = -5*z - 2584. Is z != 860?
True
Let f be 10/55 + (-1136)/6490. Let t be (28/4 - (-328)/(-40)) + (-12)/(-10). Do f and t have different values?
True
Let y = -21 + 21. Let j = y + 9. Let l = j - 8. Which is bigger: l or -1/77?
l
Let g = -96860 + 96853. Let n be 1*(6/(-10))/3. Which is bigger: g or n?
n
Let j = 670 - 1284. Let f = j - -613. Which is bigger: -1/69 or f?
-1/69
Let p be (-14)/12 - -1 - 23150/204. Let b = p - -763174/6715. Which is greater: 0 or b?
b
Suppose 3*l = l - 6. Suppose 28*s - 26*s = -184. Let x = -93 - s. Is l at least as big as x?
False
Let m be 20/(-18138)*(11 - (-14)/((-112)/100)). Which is greater: m or 1?
1
Let w be (-14)/16 - 3/24. Let t be 2/11 + (-130)/(-11). Let h be (46/t - 4)/(-1 - -2). Which is greater: h or w?
h
Suppose -6*t + 1600 = 4*t. Let v = 2228 + -2070. Which is greater: v or t?
t
Suppose 0 = -2*i + 2*b + 20, 3*i + 5*b - 7 - 15 = 0. Suppose -172*a + 163*a - i = 0. Is -0.38 > a?
True
Let j(v) = -5*v**3 + 11*v**2 + 8*v + 4. Let b(r) = -11*r**3 + 21*r**2 + 18*r + 9. Let l(g) = -4*b(g) + 9*j(g). Let n be l(15). Which is greater: -6/23 or n?
n
Suppose 0 = y - 5*c - 158, -7*y + c = -4*y - 418. Let i be (-1)/6*(-24)/16. Which is smaller: y or i?
i
Let t be (-116)/29*1/(-4). Suppose 9 = 3*d + 2*f + t, -4 = -f. Which is smaller: d or 3/52?
d
Let z = 1570.8 - 1798.8. Which is bigger: z or -0.08?
-0.08
Let b = -67.9 - -70. Let p = b + -2.1. Which is bigger: p or 1/6?
1/6
Let x = 32644 - 32643. Which is greater: 12/1805 or x?
x
Let x = -333 + 332.6. Let m = 219 + -219.2. Which is smaller: m or x?
x
Let a = -51302.006 - -51350. Let d = 0.006 + a. Let z = d - 40. Are z and -0.1 equal?
False
Let k be (16/10)/(60/150). Suppose -k*u - 3*u = -8*u. Do u and -2/783 have different values?
True
Let j(d) = -31*d - 74. Let g be j(-8). Let f be ((-49)/147)/(2/g). Is f less than or equal to -29?
True
Let w = -2.2 + 1.2. Let y = 294 + -138. Let j = y - 149. Which is greater: w or j?
j
Let h(l) = -l. Let d be h(2). Let y be 6/(((-112)/287)/d). Which is smaller: 31 or y?
y
Let o = 31869 + -31877. Which is bigger: -5/2 or o?
-5/2
Let m(p) = 5*p**2 + 6*p + 10. Let k be m(-3). Let o = k - 327. Let q = o + 1433/5. Is q smaller than 1?
True
Let q be 121/31 + (0/3 - 4). Let k be (-248)/(-310) + (-2)/(-10). Which is smaller: k or q?
q
Suppose 6*a + 15 = 9*a. Suppose 1 - 31 = -a*c. Suppose -6*t = -c - 0. Which is smaller: 3/14 or t?
3/14
Let p(f) = f**3 - 16*f**2 - 4*f + 26. Let u be p(16). Let d = u - -66. Suppose -2*l - 4*k = -0*k + d, 5*k + 21 = l. Which is smaller: l or 6/7?
l
Let t be 410/(3 - 13) - -5. Let z = -0.023 - -3.023. Are z and t equal?
False
Let t = 24298 - 24223. Is -0.001 at least as big as t?
False
Let j(w) = -w**3 + 20*w**2 - 36*w - 8. Let f be j(18). Let a be 2/9*-12*(-132)/f. Which is smaller: a or -46?
-46
Let k = 170 + -54. Let v = -12 + k. Which is bigger: 0.1 or v?
v
Let s = 431 - 1024. Let l = -400 - s. Is l not equal to 191?
True
Let b = 0.028 + -42.028. Let v = -1145 - -1187. Let p = b + v. Which is bigger: -0.5 or p?
p
Suppose -18 = h - 3*r - 6, -3*h - 6 = r. Let x be 0/(-5) + 2 - h. Suppose 0*a = 5*a - x. Is a at least as big as -3/20?
True
Suppose 5136 = 72*l - 613 + 421. Is 27 > l?
False
Let x be (352/(-80))/11*(-25)/46*1. Which is smaller: x or 56?
x
Let o be ((-4)/6)/((-3)/108*2). Suppose -o*l = -13*l - 3384. Let v be (-1)/(-4) + 774/l. Which is smaller: 1 or v?
v
Let g = -8085 + 8045. Is -45 greater than g?
False
Let k = 621.8238 - -0.1762. Which is smaller: k or -2/7?
-2/7
Suppose -2*a + b = 0, -3*a = -7*a + 3*b. Suppose 5*i + r - 10 = 0, 2*i + 3*r = -a*i - 9. Let k be (-2*i/(-18))/1. Which is greater: -30/11 or k?
k
Suppose 4*b = -3*z + 92, 4*z = 3*z - 5*b + 16. Let q be (91 - 75) + 20 + 1. Which is bigger: q or z?
q
Let o(x) = 892*x + 753. Let a be o(2). Is 7612/3 equal to a?
False
Let j = -1049.58 - 2.42. Let f = 919 + j. Which is bigger: -0.3 or f?
-0.3
Let y(s) = -s**2 + 20*s + 56. Let r be y(23). Let l be (72/(-3))/(-6) - 19. Does r = l?
False
Suppose 16*m + 737 = 7*m - 1981. Are m and -300 equal?
False
Let d = -1441 - -1360. Is d at most as big as 0.5?
True
Let w = 226099 - 225878. Let h = 0.3 + -1.3. Which is smaller: w or h?
h
Let o = -23011 - -22993. Which is smaller: 3 or o?
o
Suppose 20*s - 19314 = 12606. Which is smaller: -1 or s?
-1
Let g(w) = -w**3 - w**2 + 3*w. Let v = -1 - -4. Suppose v*t - 11 = 4*o + 1, -3 = -t + o. Let z be g(t). Are 13/11 and z unequal?
True
Let z be (-60)/105 - 75*2265/(-35). Is z less than 4854?
True
Let y = 573/574 + -15/14. Let s = 75.9928 - 0.0928. Let c = s - 76. Is c at most as big as y?
True
Let n = -335617364/6063 - -55355. Which is bigger: n or -1?
n
Let f be ((-73664)/20)/8 + 6/(-10). Is f greater than or equal to -1387/3?
True
Let l = -6913 + 13471/2. Let v = -173 - l. Let f = 5 - v. Is f not equal to 80?
True
Let k = 0.124 - -0.646. Let i = 0.97 - k. Which is smaller: i or -46?
-46
Let w = 695 - 2332. Is 1 at most w?
False
Let z(j) = -28*j + 1029. Let s(k) = 3*k - 114. Let u(v) = 35*s(v) + 4*z(v). Let f be u(18). Is f at most -3/5?
False
Let n(l) = 4*l**2 + 4*l - 1. Let s be n(-2). Let m be ((-1072)/42)/(-4) - (-2)/s. Is 0.2 at most m?
True
Let q(y) = y**3 + 49*y**2 + 399*y + 59. Let x be q(-40). Is -1501 greater than x?
False
Let m be (9/5)/((-885)/150 - -6). Suppose -5*o + 0*o - 10 = 0. Let q be (-12)/(-18) - (-1 - o). Which is smaller: q or m?
q
Let r be (-1 + (-3 - 2) + 4)/(-2). Let u = 2.2 - 1.1. Let z = -4.1 + u. Is z less than or equal to r?
True
Suppose -14*q = -8*q - 624. Let y = -104 + q. Does -5/51 = y?
False
Suppose 4*t = 3*j + 38, -5*j = -14*t + 16*t + 20. Let i be (0 - 22/21)*6. Which is smaller: j or i?
i
Suppose 3 + 9 = 2*i. Suppose 0 = 5*g - 5, 90 - 61 = 5*v - g. Suppose -6 - i = -v*q. Is q smaller than 0?
False
Suppose 24174 = 5*z - v + 3428, -3*z - 2*v + 12432 = 0. Is 4148 at least z?
True
Suppose -3050*x = -3054*x + 52. Let o(s) = 2*s**2 - 26*s + 1. Let f be o(x). Is 1/319 at most as big as f?
True
Let q = -0.235 - 155.765. Let r be ((2 - -2) + 1 + -1 - 4)/(-4). Which is smaller: r or q?
q
Let a = -129 - -74. Let l = -64 - a. Which is greater: l or 5?
5
Let v = -2 - -2. Let h be 23/((-184)/(-80)) + -7. Let y be h/(-15)*-1*145/(-1972). Which is smaller: v or y?
y
Suppose g + 18 = 15. Let r be 3/(-4)*20/g. Suppose -5*y + 5 = o - 2*y, o - r = -4*y. Which is smaller: o or 2?
2
Let t(r) = 159*r**2 + 71*r + 111. Let x(d) = 31*d**2 + 14*d + 22. Let z(f) = 2*t(f) - 11*x(f). Let m be z(-2). Is m at least as big as -83?
False
Suppose -4*q + m + 75881 = 0, 0 = 5*q - m - 62065 - 32786. Is q smaller than 18972?
True
Suppose 5*a - 1700 = 4*q + 3101, 5*a = 3*q + 4802. Suppose a = -i + 961. Which is bigger: i or 1/471?
1/471
Let q be 8/(-6)*90/(-40). Suppose -9*f + q*f = -306. Let j = -57 + f. Is -6 bigger than j?
False
Let s = -0.11225 + 0.01225. Is -2198 at least as big as s?
False
Let q = -89 - -164. Let w = q + -74. Let o be -4 + -18*w - -3. Which is bigger: o or -20?
o
Suppose 0 = -10*p - 5*p + 540. Let x be (-4)/p - 4/(-36). Let n be 2*(1/21 - 0). Is x equal to n?
False
Suppose -5*z - 2*p + 20 = 0, 0*z = -3*z - 3*p + 3. Suppose 3*o - z = -0. Suppose -2*a + 3 = o*m - 5, 5*m - 8 = -2*a. Which is bigger: m or -3/4?
m
Let o(v) = 5*v**2 - 34*v - 6. Let l be o(7). Let u(j) = j**3 + 9*j**2 + 7*j + 10. Let f be u(-8). Let p = 21 - f. Is p at most as big as l?
False
Let i(j) = -j**2 - 15*j + 3. Let k be i(-13). Suppose k*s + 6 = 32*s. Let f be 3/(s/6 + (-3)/(-18)). Is f bigger than 2?
True
Let y = 0.002 - -0.027. Let n = -32.029 + y. Let k = n + 54. Is 2/5 > k?
False
Let z = 51 + -97. Let t = -112 + 164. Let l = z + t. Which is greater: 9 or l?
9
Let a be 21/(-42)*(-1 + 1). Let t be a + -2 - (-6 - 0). Suppose -2*z + t*z = 64. Which is smaller: z or 33?
z
Let b(l) = 2*l**2 - 208*l + 1806. Let h 