s big as 0?
True
Let g = 10845/494 - 45/38. Do 22 and g have different values?
True
Let k = 22.8 + -20. Let m = 2.3 - k. Which is smaller: -1/3 or m?
m
Let f = -174 + 62. Which is smaller: -110 or f?
f
Suppose 0 = 5*k + 48 - 143. Suppose 4*v + z + 0*z = -101, -z = -v - k. Let n be (-3)/(-18) - 5/v. Which is bigger: 0 or n?
n
Let m(i) = 46*i**2 - i. Let y(u) = u**3 + 7*u**2 - 9*u - 9. Let a be y(-8). Let d be m(a). Is d < 48?
True
Let d be (6/(-4))/((-306)/(-870)) - -5. Is d not equal to 2?
True
Let l = 110 - 110. Which is bigger: l or 3/370?
3/370
Let t(o) = -o + 10. Let h be t(11). Let y be 15/(-10)*(h + -1). Suppose -f - 1 = -3*p, y*p - 3 = -p + 3*f. Which is bigger: p or -1/3?
p
Let j(b) = 12*b - 6. Let z be j(5). Let w = z - 90. Let h = w - -40. Is 4 less than or equal to h?
True
Let f(k) = k**3 - 6*k**2 + 5*k + 4. Let y be f(5). Suppose -3*m + y*v = -25, 0*m = 4*m + 3*v. Suppose 6 - 26 = -5*l. Is m greater than or equal to l?
False
Let r(v) = 4*v - 6. Let g = -12 + 14. Let c be r(g). Is 7/4 bigger than c?
False
Let o(x) = 2*x - 4. Let r be o(-8). Let t = r - -23. Suppose -t = -17*s + 18*s. Which is smaller: s or -4?
-4
Suppose 4*g - 12 = 168. Let i be ((-108)/45)/((-9)/(-170)). Let l = i + g. Which is smaller: l or -2?
-2
Let w = -174 + 1214/7. Let y = 6 + -9. Let q = y - -1. Which is smaller: w or q?
q
Let i = 55.7 + -86.7. Are 0.1 and i unequal?
True
Suppose -6*z + 3*z + 6 = 0. Suppose -o = -z*o - 20. Let r be 2/(-10) - 8/o. Is 0 <= r?
True
Let c = -986 + 693. Let x = c - -4693/16. Which is bigger: -1 or x?
x
Let m = 1.37 - -280.63. Is m smaller than 2/7?
False
Let a be ((-4)/3)/(2/(-21)). Let h = a + -1. Let v = 14 - h. Which is greater: v or -4?
v
Let j(v) = -v + 1. Let g be j(6). Let k(u) = -u - 2. Let x be k(g). Let m = 1592/3 - 531. Which is greater: x or m?
x
Let q be (18/36)/((-2)/(-4)). Suppose -13 + q = 3*o. Is 2 smaller than o?
False
Let t = -10.1 - -10. Is 337 less than t?
False
Let h be 2/5 + 168/(-45) + 4. Which is bigger: h or -0.03?
h
Let v = 58/81 - 9709/13446. Let n = -39/415 + v. Which is bigger: -1 or n?
n
Suppose 4*n - 16 = 0, 0 = 3*m - 8*n + 3*n - 13. Let u = -56 - -23. Let w be 2/((-105)/u + -3). Is m less than w?
False
Suppose -243*c + 198 = -237*c. Which is greater: c or 21?
c
Let s(f) = -f**3 - 4*f**2 + 9*f + 16. Let v be s(-4). Do -20 and v have the same value?
True
Let t(k) = -4*k - 6. Let g(j) = -3*j - 5. Let s(y) = 3*g(y) - 2*t(y). Let q be s(-6). Suppose q*z + 0*z = -18. Does z = -6?
True
Let w(c) = c**3 - 12*c**2 + c - 9. Let k = 23 - 11. Let a be w(k). Suppose 6 + 3 = a*z - 3*f, -5*z + f + 27 = 0. Which is smaller: 7 or z?
z
Let q = 4.1 + -4.27. Let k = q + 0.37. Which is greater: k or -11?
k
Let w = 22 + -36. Let v = 9 + w. Let b be v/(-2) - (-4)/8. Is b greater than or equal to 4?
False
Let a = -40 - -34. Let v(o) = -o**2 + 2*o + 18. Let n be v(a). Is -29 at most n?
False
Suppose -1462*f + 1451*f = 0. Let m = 8/27 - 61/54. Are m and f non-equal?
True
Let g(i) = i**3 - i**2. Let k be g(-1). Let d be k*1/(6/(-15)). Let m = 0 - 1. Which is smaller: d or m?
m
Let j be ((-36)/(-10))/(6*(-2)/40). Which is greater: j or 4?
4
Let g = 0.12 - -0.48. Let v = 47 + -45.6. Let n = v + g. Which is bigger: n or 1/7?
n
Suppose -4*v + s = -43, 4*v - 29 - 2 = -3*s. Suppose v*n = 11*n. Let b = 4/13 - 55/221. Which is greater: n or b?
b
Let h = -77 + 1019/13. Is h at most 0?
False
Let w = -7/10 - 771/20. Let t = -39 - w. Which is smaller: t or 13?
t
Let o be (-4 - -3)/(-1 - 6/(-4)). Which is smaller: -7 or o?
-7
Suppose 0*m + 12 = 2*m. Let d = m + -14. Is d bigger than -7?
False
Suppose 5*q + 15 = -5*o, 5*o - 8*q = -4*q + 21. Is 2/159 greater than or equal to o?
False
Let m be (24 - (-8 - 0))/((-35)/14). Suppose -5*v - 45 - 20 = 0. Which is smaller: v or m?
v
Let k = -179 + 179. Do k and -1/82 have the same value?
False
Let x = 31 + -27. Suppose -r - x*r = 0. Is r smaller than -2/15?
False
Let s = 10 - 16. Let q = s - -3. Which is smaller: -1 or q?
q
Let u = 19 - 16. Suppose p + 2 = -u*v + 6, -p + 4*v = -11. Suppose b = -3*b + 32. Is b at most p?
False
Let f be -6*(-8)/(-7368)*2/2. Do f and 0 have the same value?
False
Suppose -100 = 5*b - 5*f, 3*b = -0*b - 2*f - 65. Is -22 <= b?
True
Let u = -163 - -119. Which is greater: -1 or u?
-1
Suppose 0 = 304*f - 302*f + 592. Which is greater: f or -2?
-2
Let t = 0.3 + 3.7. Let f = t - 3.2. Let j = 0.9 - f. Is j less than 0.2?
True
Let o = -1456 - -1456.1. Let m be 24/44 + 1*-1. Which is smaller: o or m?
m
Let u = -1473 + 1477. Let c = 6 + -2. Is u not equal to c?
False
Let d = -0.7608 + -356.9392. Let r = -375 - d. Let b = -17 - r. Is -2/7 <= b?
True
Let o = 0.01 + 0.99. Let j = 74 - 65. Is o > j?
False
Let w = 11 - 10. Let l be w*-2*(-30)/12. Let z be 2/(2*1/4). Is z less than or equal to l?
True
Let m be -5 + (44/24)/11*-4. Which is smaller: -6 or m?
-6
Let i = -2.759 + 1.459. Is -0.3 bigger than i?
True
Let c be ((-57)/38)/((-2)/(-4)*-1). Let b be c/(-9)*12/16. Is -2/13 bigger than b?
True
Let u be (-2 - (-46)/24)*-3. Let i be 40 + -4*2/4. Which is bigger: i or u?
i
Let b = -100 - -58. Let t = -43 - b. Which is bigger: t or -3?
t
Let c = 798 + -722. Which is bigger: c or 78?
78
Suppose 4*w + 21 = -m + 32, 2 = m + w. Which is bigger: m or -21/19?
m
Let z(h) = 8*h**2 - 6*h + 3. Let q be z(-4). Suppose 5*y = -0*y + q. Suppose 3*g = 5*t + y, t + t + 18 = 4*g. Is 2 less than g?
False
Let o = -0.16 + -14.84. Let v = -5 - o. Let f be 12/(-16)*3/(-9). Is f <= v?
True
Let l = 105 + -126. Let j be 52/(-455)*(-5)/2. Which is bigger: j or l?
j
Let s = 3.07 + -3. Let a = -1.93 - s. Let x = a + 2.4. Is x not equal to -4?
True
Let m be (2/(-3))/((-4)/(-6)). Let a be (-9)/15*((-4)/12 + m). Is a > 0?
True
Suppose -5*j = j - 4*j. Suppose -4*u + 0*u + 75 = 5*k, j = k + 5*u + 6. Is k smaller than 18?
False
Let w(m) = 30*m - 30. Let y be w(1). Which is smaller: 2/1241 or y?
y
Suppose 2*m - 4 = -0*m, j - 4*m + 9 = 0. Suppose 2*f - 6 = 4*f. Let p = -2 - f. Does p = j?
False
Let x be -14 + ((1 - -1)*-1)/(-2). Suppose -v - 16 = -2*k, -k = 5*v + k + 56. Which is smaller: x or v?
x
Let s = -147271/5 - -29606. Is s bigger than 153?
False
Suppose -5*f = -775 - 1805. Let l be 98/f - 7/42. Which is greater: -1 or l?
l
Suppose 8*s - 2 = 3*m + 3*s, 5*s - 44 = -4*m. Suppose -m*k = -5*k - 43. Are k and 43 non-equal?
False
Let h = 2 + -3. Let s(u) = 1. Let g(j) = j + 2. Let w(x) = -g(x) - 2*s(x). Let k be w(-3). Is h at most as big as k?
True
Let x be 2/((-4)/(-2*4)). Let n be ((0 + 0)/x)/(-2). Let y be (3 + (-24)/9)*n. Is -2/9 >= y?
False
Let l = -722 + 574. Which is smaller: l or -293/2?
l
Let h be 510/14 - 13/((-637)/28). Which is bigger: h or 5?
h
Let s be (2 + -124)*(-3)/(-2). Which is bigger: s or -182?
-182
Let g = 58564 - 7027753/120. Let r = -5/24 - g. Which is smaller: r or 2?
r
Suppose 16 - 400 = -48*j. Which is smaller: j or -13?
-13
Let v be 2/(-7) - 716/140. Suppose 4*w - 2*m - 3 = -29, -3*w - 12 = m. Do v and w have different values?
True
Let a = 14 + -25. Let c be (-24)/a + -2*1. Suppose -4*n = -3*o, -4*n = -o - 4*o. Which is smaller: c or o?
o
Let f be (4/(-8) + 0)*22. Let v = f - -16. Suppose -4*z - 28 = 3*h + 2*h, -v*z = -h + 6. Which is bigger: z or -4/3?
-4/3
Let n = 995 - 1005. Are n and 3 equal?
False
Let m = 24 - -15. Let a = m + -271/7. Which is greater: a or -24?
a
Suppose -530 = 5*z - 2*m, 4*z + 4*m + 367 = -29. Let j = z + 193. Let c = -272/3 + j. Is c < -2?
False
Let z = -2487 - -5156. Are z and 2668 non-equal?
True
Let j(g) = 3*g + 103. Let i be j(-35). Is i > -17/22?
False
Let z = 353 - 376. Which is smaller: z or -20?
z
Let j = 144/5 + -436/15. Is j greater than or equal to -1?
True
Let u be (1 - (-18)/(-21))*-5 + 1. Which is smaller: u or -400?
-400
Let o(t) be the first derivative of t**4/4 - 2*t**3 + 1. Let i be o(6). Let f = i + 0. Which is smaller: f or 2/43?
f
Let l = -10.47 + 11.47. Is -2.57 at most l?
True
Suppose 0 = -4*i + 12, 77 = -4*p + 4*i - 247. Do -78 and p have the same value?
True
Let g = 26521/63 - 421. Let w(j) = -j**3 + 5*j**2 - 3*j - 5. Let b be w(4). Is g less than or equal to b?
False
Suppose m + 20 = 5*f, f = m - f + 8. Let a = 21 - 21. Suppose a = 8*v - 3*v - 35. Do m and v have different values?
True
Let c = -24 - -55. Let d = c - 30. Are d and -1 uneq