l = 34 - 38. Let d be l/6 + (-336)/(-450). Are 0.1 and d unequal?
True
Suppose 4*m + 6*y - 5*y - 33 = 0, 4*m = 2*y + 30. Let h = 33 - 18. Let n be (-20)/h*(-3)/(-2). Is m bigger than n?
True
Let p = -237 + 168. Let n be (4/6)/(598/p). Let h(d) = d**3 - 3*d**2 + 3*d - 2. Let x be h(2). Which is greater: x or n?
x
Let f = -2 - -3. Let w = -86 - -86. Is w equal to f?
False
Let w = 121521/8 + -1617301/104. Let o = w - -361. Which is smaller: -1 or o?
-1
Suppose 0 = 2*r - 3*r - 0*r. Suppose -20 + 3 = 3*q - 5*u, r = -4*u + 16. Which is greater: 5 or q?
5
Let c be (-3)/(-15 - 0)*-5. Is c != -6/167?
True
Let v = -126728/2241 + 1534/27. Which is smaller: 1 or v?
v
Let z = 18 + -124/7. Let w = 18 - 12. Is w at most z?
False
Suppose -5*b = -5, 6*q - 4*q - 5*b - 53 = 0. Suppose 25*k = q*k + 180. Which is smaller: k or -44?
k
Let p(x) = -x**3 - 15*x**2 + 18*x + 21. Let z = -37 - -21. Let i be p(z). Is 0.1 at least as big as i?
True
Let x = 17 - 13. Let z be -1*9/(-6)*x. Suppose 2*q - z = 3*q. Which is smaller: q or -5?
q
Let o(n) = -n**3 - 3*n**2 + 1. Let j be o(-3). Let a = 7 - 3. Suppose c + t = -2, a*t + j = -5*c - 8. Is c not equal to -2/15?
True
Let f be (-12)/(-9)*18/(-42). Which is smaller: f or 3/14?
f
Suppose 33 + 47 = -20*f. Do -10 and f have the same value?
False
Suppose -21 - 24 = -5*j. Let m = j + -10. Which is greater: m or 0?
0
Let k = -12.9 + -0.1. Let i = 36.4 - 23.1. Let v = k + i. Is 0 less than or equal to v?
True
Let q = 6 + -6. Suppose -3*a = -q*a. Suppose -3*f - 3 + 0 = a. Is 2 > f?
True
Let g(k) = -11*k**3 + 21*k**2 - 7*k - 29. Let t(j) = 7*j**3 - 14*j**2 + 5*j + 19. Let h(w) = 5*g(w) + 8*t(w). Let r be h(6). Is -2/21 > r?
False
Let p = -232 + 229. Is p at least -22?
True
Let g = 0.091 + -0.391. Is g less than 5?
True
Let u = -31.28 - -12.07. Let f = u + 0.21. Let g = -19 - f. Which is smaller: g or 3/2?
g
Let g be (7/((-2982)/(-18)))/(-1). Is g at least as big as 1?
False
Let c be (4/22)/((-3)/(-3732)). Let n = c + -226. Which is bigger: n or 0?
n
Let s be 72/(-10) + (-90)/10. Which is bigger: s or -17?
s
Let d = -403 - -402.92. Let m = -7.97 - -8. Which is smaller: m or d?
d
Let n(i) = i - 5. Suppose -2*d + 4 = -d. Let t be n(d). Let h be (117/18 + -5)*-2. Which is smaller: t or h?
h
Let p(r) = r**3 + 6*r**2 + r + 5. Let u(q) = q - 7. Let b be u(1). Let c be p(b). Is 1/9 bigger than c?
True
Let u be (30/(-25))/((-4)/(-90)). Let l be (1/3)/(0 + 57/u). Suppose z = -2*f - 5, -f - 3 = z - 0*z. Are l and z equal?
False
Let x = 2480 - 29797/12. Which is smaller: x or -3?
x
Let x be (-12)/30 - 238/5. Let l = x - -49. Suppose 5*f - 1 = -2*k + 7, 0 = -3*k + f - 5. Is k at most as big as l?
True
Let d be 34/(-2) + 4*5/10. Suppose -9*q = -4*q + 80. Is d greater than q?
True
Let i = 43 - 43. Suppose 0 = -6*n + 2*n. Do n and i have the same value?
True
Let o(b) = 14*b - 4. Let k be o(4). Suppose -2*d - 153 = -5*d - 2*c, 3*d + c = 153. Is d equal to k?
False
Let c be ((-14)/35)/(78/10). Let j be (-60)/(-14) - (-2)/(-7). Suppose -l = n + j*l - 11, n - 3 = -l. Is n equal to c?
False
Let m(f) = 11*f - 242. Let z be m(22). Is z smaller than -2/273?
False
Let h = 216 + -156. Suppose -101 - h = -7*i. Which is smaller: i or 22?
22
Suppose 3*k + 14*a + 1 = 13*a, 4*k - 6 = -5*a. Is k at least -6/67?
False
Let c = 34 - 37. Let l be (-1)/(c/9) - -16. Let n = l - 23. Which is bigger: -2 or n?
-2
Let r = 5.82 - 6.42. Let d be (-1)/3 + (-2)/12. Which is greater: d or r?
d
Suppose -3*f - 203 = 5*z, -f - 81 = -0*z + 2*z. Which is smaller: z or -39?
z
Let i(j) = j - 2*j**3 + 12*j**2 - 2 + 0*j - 10*j**2. Let p be i(1). Is -4/19 > p?
True
Let p = -1513/5 + 46913/155. Is -0.1 smaller than p?
True
Let a = 243 - 243.1. Which is smaller: a or 73?
a
Let a(u) = -5*u - 21. Let n(b) = -6*b - 22. Let q(k) = -4*a(k) + 3*n(k). Let s be q(-8). Suppose -s*m = -3 + 5. Which is greater: -2/17 or m?
-2/17
Let k be (-15)/40 - (-82)/224. Suppose -2*q = -5*s + 3, 4*s + q = -4*q + 9. Which is bigger: s or k?
s
Let p(y) = 2*y - 3. Let j(o) = 4*o + o**2 - 6 + 8 - 5*o + 2*o**3 - o**3. Let x be j(0). Let g be p(x). Is -6/13 less than or equal to g?
True
Let g(j) = 2*j**2 - 68*j + 73. Let f be g(33). Let l(y) = 10*y - 41. Let z be l(f). Let k(a) = -a**3 + 6*a**2 + 6*a - 6. Let s be k(6). Is s < z?
False
Let w(z) = z**3 + 26*z**2 + 25*z + 8. Let o be w(-25). Suppose 4*c = 5*x - 21, -x + o = -3*c - 5. Let g = -1 + 0.8. Which is smaller: g or c?
c
Let m = 1 - -2. Suppose m*d - 9 = -6. Let a be (136/44)/2 - d. Which is smaller: 2 or a?
a
Suppose -4*y - 7*v = -3*v, 0 = -5*y + 3*v - 8. Let d be 4/(4/3) - 43. Let l be (-8)/d - (-38)/(-290). Which is bigger: l or y?
l
Let s(r) = -r**3 - 9*r**2 - 15*r - 40. Let j be s(-9). Which is smaller: j or 94?
94
Let b be (-9 + 10/4)*-170. Is b at least as big as 1105?
True
Let b be (-48)/84*1/(6/(-21)). Suppose 3*s - 5*h = 18, 5*h - 6*h = 5*s - b. Is s greater than or equal to -3/38?
True
Let k = -1.03 + 1.33. Which is bigger: -1/70 or k?
k
Suppose 2*x = -3*x + 50. Let n = x - 9. Suppose -2*j = -3*j + n. Which is bigger: 2/13 or j?
j
Let x(a) = -a**3 - 11*a**2 + 10*a - 19. Suppose 3*l + 42 = -2*v, -26 - 19 = 5*l - 5*v. Let n be x(l). Let g = n - 5. Is -3/7 greater than or equal to g?
False
Let q be (-4 - -3)/(761*-1). Let j = 805/33484 - q. Let i be 4/6 - (-10)/(-6). Do i and j have the same value?
False
Let x = -0.101 - 0.017. Do -2 and x have different values?
True
Suppose 2*h = -3*g - 6, -3*g - 6 = -0*g - 5*h. Is g at least as big as -31?
True
Suppose 4*c = -1 - 3. Let z = 5013/13 - 385. Let t = z - 61/78. Which is smaller: t or c?
c
Let i(w) = -w**2 - 17*w - 20. Let n be i(-12). Suppose 0 = -35*k + n*k + 15. Which is bigger: k or -12?
k
Let q(z) = z - 8. Let x be q(8). Is x at least as big as -20?
True
Let s(f) = -f**2 - 10*f - 9. Let g be s(-7). Suppose g = 4*z + 4. Do z and 3 have the same value?
False
Let d = -138 - -137.9. Which is smaller: -3/385 or d?
d
Let b be (-16)/2*(-23)/4. Is b at most as big as 1?
False
Suppose -3*h + 3*s - 3 = -6, 2 = -s. Which is smaller: 2/835 or h?
h
Let o = -8 + 7.967. Let z = o - 3.967. Which is greater: -2/3 or z?
-2/3
Let s = 1 + -0.8. Suppose -4*g - 8*g = -g. Suppose -34*l + 21*l - 78 = g. Do s and l have different values?
True
Let x be 80/(-140)*14/(-60). Is 0.18 equal to x?
False
Let r = -0.3 - -0.3. Suppose -41 = 5*p + 34. Is p at most r?
True
Let f = -7 - -5. Let x(a) = -a**3 - 8*a**2 - 9*a + 4. Let m be x(-7). Let o be (7/((-21)/m))/2. Which is greater: o or f?
f
Suppose 0 = -0*v - v + 6*v. Is -2/143 at most as big as v?
True
Let c = -116333/3070 + 379/10. Which is smaller: c or 0?
0
Let y = 6 - 6.3. Let o = y - 0.4. Let p = 15.1 - 15. Is o at least as big as p?
False
Let o = -102 + 916/9. Let x = -20 + 21. Are o and x non-equal?
True
Let q be (-1300)/585*(-2)/5. Let s = 4 + -2. Do s and q have the same value?
False
Let z = 210 - 209.8. Which is bigger: -4/9 or z?
z
Let a be (-20)/(-25)*(-15)/2. Let p = -10 + 6. Which is greater: p or a?
p
Let x be 3 + 4 + (-5288)/152. Is -29 >= x?
False
Let f be ((-6)/(-5))/((-14339)/(-1105) - 13). Do -51 and f have the same value?
True
Suppose 0 = t - 3, 56*t = 5*h + 53*t + 24. Let j(g) = g - 5. Let m be j(6). Suppose -m = 2*f + 5, 0 = 5*y + 3*f + 29. Which is smaller: h or y?
y
Let s(z) = 10*z - 19. Let w be s(1). Suppose 5*m - 35 = -0*m. Let l be 2/w + m/(-9). Which is greater: 2/9 or l?
2/9
Suppose 115 = -2*d - 3*d. Let j(m) = 11*m**3 + 4 + m**2 - 2*m**2 - 3 + 11*m**3. Let s be j(-1). Which is smaller: d or s?
d
Let g(r) = r**3 - 16*r**2 - 13*r - 56. Let v be g(12). Is -787 greater than v?
True
Suppose -x - 4*x = 0. Let t = 147 + -1325/9. Let h = t + -5/18. Is x bigger than h?
True
Suppose 0 = 7*c + 987 + 259. Are c and -180 non-equal?
True
Let f = 89.7 + -86. Let r = f + -4. Do r and -0.5 have the same value?
False
Let q = 0.1 - 1.1. Let y = -20 - -20. Let d be y - 2*6/(-52). Is q >= d?
False
Suppose 3*v - 2*h - 6 - 6 = 0, 2*v + 11 = -5*h. Let l(z) = z - 6. Let x be l(v). Is x < -5?
False
Suppose -5*r = 84 - 34. Suppose 3 - 53 = 5*c. Let o = r - c. Which is smaller: 1/11 or o?
o
Let g(s) = -2*s**3 + s. Let n be g(-1). Let r be (-40)/(-5)*n/1. Is r smaller than 9?
True
Let z = 306 + -306. Which is greater: 148 or z?
148
Let i = -200591 - -603778709/3010. Let m be (1