ual to 1?
False
Let t = -475 - -2435. Which is bigger: t or 0?
t
Let n be ((-1)/(-1))/((-158)/78 - -2). Let d = 34 + n. Is d < -5?
False
Let j(f) = -5*f - 30. Let d be j(-5). Let w(n) = -8*n - 1. Let u be w(1). Is u at most as big as d?
True
Let p be (4/45)/((-2)/20). Let m(b) = b**3 - 4*b**2 - b - 5. Let l be m(4). Let n be (12/l)/(18/27). Is p less than or equal to n?
False
Let z = -48 + 44. Let t(y) be the first derivative of -y**4/4 - 5*y**3/3 - 3*y**2 - 6*y + 1. Let i be t(z). Is i equal to -1?
False
Let m be 1/(((-140)/50)/((-8)/(-10))). Suppose -2*y - 5 = 15. Let c be (-2)/((-5)/(y/(-4))). Is c smaller than m?
False
Let z = -49 - -82. Let h = -33.2 + z. Do 2/15 and h have the same value?
False
Suppose -20*c = -474 + 2554. Which is smaller: c or 2?
c
Let u = 14 + -13.63. Let o = -73/54 + 50/27. Is u <= o?
True
Let x = 0.53 - 26.53. Let i = -19 - x. Let f be 12/(-56)*(-12)/(-9). Which is greater: i or f?
i
Let c(q) = q**3 + 9*q**2 - 16*q + 3. Let w be c(-11). Let m = -65 - w. Let t = -1 + 1. Which is bigger: t or m?
t
Suppose 0 = 3*s, 0 = 3*a + s + 5 + 25. Let w(c) = c**3 + 10*c**2 + 4. Let k be w(a). Suppose 6 - k = -2*p. Is p at least as big as -4/9?
False
Let t be (42366/(-88))/((-12)/8). Let s = -375 - -54. Let d = s + t. Which is smaller: d or -1?
-1
Let o = -1 - 5. Let a be o/(-24)*8/3. Which is smaller: a or -1/17?
-1/17
Let i = -79 + 133. Let h = -17 + i. Which is bigger: h or 1/4?
h
Let d(p) = -p + 1. Let n = -22 - -14. Let t = n + 16. Let h be d(t). Is h at most -9?
False
Let x be ((-5)/2 + 3)*-6. Let d be x*1*(-2)/(-6). Which is greater: 1/51 or d?
1/51
Let j = 15 + -13. Let d be 33/(-18) + (-1 - (-6)/j). Are 1 and d nonequal?
True
Let x = -19 - -15. Let i(h) = -h - 10. Let p be i(x). Let y be -8 + (1 - 0)*1. Which is smaller: p or y?
y
Let i be -1 + -1 - -2*1. Let k(b) = b**3 - 11*b**2 + 2*b - 15. Let t be k(11). Let z = t - 9. Are z and i non-equal?
True
Let b(x) be the second derivative of x**5/20 - x**4/4 - x. Let d be b(3). Let k(z) = 7*z - 57. Let i be k(8). Which is smaller: i or d?
i
Let m = -25915 + 102960293/3973. Is 0 > m?
True
Let r be (3 - (0 - -138)/(-1)) + -1. Is 140 less than r?
False
Let x = 0.0478 - -0.1522. Is x bigger than 4?
False
Let x = -282347/11 - -25637. Which is smaller: x or -30?
x
Suppose 26 - 3 = 2*g - c, 4*g = c + 41. Let v be (-153)/42*(-1)/g. Let o = v + -1/14. Which is greater: 0 or o?
o
Let q be (-3 - (4 - 24)) + -1. Let w be q + -2 - (-1)/1. Suppose -3*p + 48 = -0*p. Is p less than or equal to w?
False
Let d(r) = r**3 + 3*r**2 - 5*r - 5. Let a be d(-4). Let o = a + 0. Let j = 20 - 21. Are j and o equal?
True
Let z(p) = -47*p + 283. Let s be z(6). Which is smaller: s or 2/4397?
2/4397
Suppose 0 = 6*r - r - 25. Suppose 0*x + 320 = 4*x + r*d, 359 = 5*x - 4*d. Let y be -1*-3*x/(-9). Is -24 > y?
True
Let u = -21.3 + 17.3. Which is smaller: -1/7 or u?
u
Let o = -1191 + 1232. Which is greater: o or 0.5?
o
Let h(c) = -c**3 - 15*c**2 + 36*c + 35. Let m be h(-17). Is m at least as big as 34/23?
False
Let s = -333 - -331. Do -0.724 and s have different values?
True
Let u = 1760 - 1761. Is -1/109 at least as big as u?
True
Let j = 11.1 + -2.1. Let u = 16 + -30. Let w = u + j. Is 0 smaller than w?
False
Let i = 252 - -345. Do i and 598 have different values?
True
Let b = -72 - -177. Let f = b - 38. Let h = 196/3 - f. Which is greater: h or -3?
h
Suppose -25 = j - 6*j. Suppose j*l = l. Suppose p + 5*b - 27 = l, 3*p + 5*b - 37 = 4. Are p and 7 non-equal?
False
Suppose -105 = 3*m - 24*m. Suppose 3*n = 8*n + 5. Let y = n + m. Which is bigger: y or 3?
y
Let b(a) = -6*a - 6. Let y be b(-6). Suppose -n - 4*n = -y. Let m be 28/2*(-3)/(-6). Is m smaller than n?
False
Suppose 5*t + 218 - 213 = 0. Let v = -2/487 - 1926/5357. Which is smaller: t or v?
t
Let c(s) = 17*s**2 - s + 1. Let u be c(0). Which is greater: u or 1/412?
u
Suppose -3*a = x - a + 42, 2*a - 158 = 3*x. Is x bigger than -55?
True
Let t = 5908/15 - 394. Which is greater: t or -0.14?
t
Let o = -2/437 + -844/6555. Which is greater: o or 143?
143
Let d = -1/445 + 463/89. Let s = 28/5 - d. Let k be 10/(-4)*6/30. Which is smaller: k or s?
k
Let l = -2.9 - 8.8. Let j = l + -0.3. Let z = j + 11.9. Which is bigger: z or -3?
z
Suppose 4*x - 2*x - 6 = 0. Let d be 2/(-3)*x + 7. Suppose 3*y = -3*f, 3*f + 3 = -d*y + 1. Is f >= 3/2?
False
Let y = 39 - 41.2. Let u = -2.1 - y. Let r = 3 - 4. Is r equal to u?
False
Let t(h) = -10*h - 128. Let z be t(-18). Is z smaller than 52?
False
Let r = -1 + 1. Let m = -52 - -55. Let g be (-10)/m + (-1 - -4). Which is smaller: r or g?
g
Let d = 40 - 39. Let a be -2 + (8 - d - 0). Which is smaller: 23/5 or a?
23/5
Let q = -389.2 + 389. Which is greater: -8 or q?
q
Suppose 70 + 20 = -5*v. Suppose 127 - 307 = -9*n. Let g = v + n. Is 4/7 less than g?
True
Let f be 6/(-10)*(-4)/(-6). Let j(l) = l**3 + 8*l**2 + l + 3. Let x(d) = -d**3 - 9*d**2 - d - 2. Let g(h) = -3*j(h) - 2*x(h). Let a be g(-6). Is f >= a?
False
Let c = -285 - -288. Which is smaller: 7 or c?
c
Let x be -1*(-1 + 3 + -9). Let z = 2.03 + -0.1. Let n = -2.93 + z. Is x greater than n?
True
Let l be 1910/4 + 9/(-18). Is 477 less than l?
False
Let c = -837 - -840. Is 8 less than or equal to c?
False
Let j = -71 - -6. Let y be 160/3*11/(110/(-12)). Do j and y have the same value?
False
Let y(w) = -w**3 - 5*w**2 + 5*w - 5. Let m be y(-6). Let d(x) = -3*x. Let p be d(-1). Suppose p*b + 33 = 6. Is b < m?
True
Let c be 22/1 - (2 - 3). Let b = c + -40. Let f = -20 - b. Which is bigger: f or -4?
f
Suppose 0*a + 4 = 2*a. Let z(q) = 5*q**2 - 2*q - 2. Let t be z(a). Is 16 bigger than t?
True
Let s be 2 + (-2 - -10 - -4). Let k = 17 - s. Suppose -k*o + 4*w - 45 = 0, -12 = -0*w + 4*w. Are o and -20 unequal?
True
Let t = -4 - 21. Let u = 17 + t. Let m = -704/9 - -78. Does m = u?
False
Let k be 164/(-60) + (3 - 1). Let d = k + -13/15. Let r(n) = -n**3 + 6*n**2 - 2*n - 15. Let x be r(5). Which is bigger: d or x?
x
Let r = 6 + -5.9. Let z be (-3)/(-12) - (-203)/(-28). Let b be 5/z*(-14)/(-35). Which is smaller: b or r?
b
Let m(p) = p + 2. Let z be m(6). Let v(q) = -q**3 - 13*q**2 - 12*q + 8. Let o be ((-72)/(-30))/((-2)/10 + 0). Let u be v(o). Is u at most as big as z?
True
Let y = -6/49 + 79/245. Which is smaller: y or -6?
-6
Suppose -3*r + 8*r + 5*j = 280, 0 = 4*r - 2*j - 212. Let g = r - 54. Is -3/5 not equal to g?
True
Let c(u) = 28*u**2 - 2*u - 1. Let b be c(-1). Suppose -8*o = s - 29, -3*o - 5 = -s + 24. Is b greater than s?
False
Let a(m) = -m**3 + 17*m**2 + 17*m + 6. Let h be a(18). Let s be -1 + -3 + (-45)/6. Which is bigger: h or s?
s
Let u = -1.12 - 6.88. Is 1.3 greater than or equal to u?
True
Let c(s) = -7*s - 3. Let m be c(-1). Suppose -16 = m*y - 2*d, y + 3*d = 4*d - 6. Is y less than 16?
True
Suppose 0*u + 18 = 2*u. Suppose u*p - 13*p = -20. Suppose p = -2*b + 3. Is b smaller than -1?
False
Let g = 2198554/319 - 6892. Is g at most as big as -1?
False
Let z = -0.655 - -0.085. Let q = z + -1.43. Which is smaller: q or 1/23?
q
Let t(j) = -j**2 - 3*j. Let s be t(-3). Let c be -11 + (-5 - (-7140)/446). Which is smaller: c or s?
s
Suppose -2*q - 277 = 2*h + 557, -25 = -5*q. Is -424 smaller than h?
True
Let w(t) = 3*t**3 - t**2 - t - 4. Let l be w(3). Let k = 157 - 156. Which is bigger: k or l?
l
Let f be ((-142)/22)/((-3)/(-6)*-2). Is 7 > f?
True
Suppose -39*x + 29*x = 0. Let d = 0.9 + -12.9. Which is greater: x or d?
x
Let v = -165 + 2477/15. Suppose -13 = -5*z - 8. Which is smaller: z or v?
v
Let a be 3/5 - (-352)/80. Let h(g) = -g**3 + 3*g**2 + 10*g. Let q be h(a). Which is smaller: -1/23 or q?
-1/23
Suppose -4*o - 2*y = -5*y - 87, y = -3*o + 49. Is o >= 24?
False
Suppose 5*s = 20, 0 = 4*w + 7*s - 6*s - 84. Is 20 != w?
False
Let i = -377 - -377. Let v be 2 + -3 - (-8)/5. Which is greater: i or v?
v
Suppose 0 = -5*j + 5*v - 38 - 17, 0 = 4*j + 3*v + 65. Which is bigger: -150/11 or j?
-150/11
Let u = -29 + 28. Which is bigger: u or 49?
49
Suppose w = 1, h + 0*h = -3*w + 7. Suppose -10 = -9*v + h*v. Suppose -p = 5*m + v*p - 9, -2*m = -4*p - 14. Is 3 less than or equal to m?
True
Let j = -2 + 1. Let a = -256564 + 3338848/13. Let b = a + -270. Are j and b non-equal?
True
Suppose 0*p + 2*p + 34 = 0. Let d = p - -22. Suppose 2 = -v, d*s + 4*v = -6 - 12. Are -2 and s non-equal?
Fals