 y - 6, 0 = -2*f - 2*y - 1048. Are -526 and f non-equal?
False
Suppose -1613 = 2*b - 3*c, -5*c = 7*b - 2*b + 4070. Is -813 at most b?
True
Let k = -32.127 + 0.127. Which is smaller: k or -2/13?
k
Let v be 1/2 - 1 - 49518/1260. Is -41 smaller than v?
True
Suppose 8 - 3 = 5*j. Let q = -5.88 + 2.88. Which is smaller: j or q?
q
Suppose -449 = -16*x + 18*x - 5*p, 3*x = 4*p - 677. Is x != -230?
True
Let l = -6 + -16. Let i = 12 - 35. Let a = l - i. Which is smaller: -2 or a?
-2
Let t = -152 + 349. Is 197 bigger than t?
False
Let u(y) = y**3 + 6*y**2 - y - 4. Let b be u(-6). Let r be 4/14 + 18346/68922. Let x = r - -2/547. Which is smaller: x or b?
x
Suppose -2*t + 10 = -7*t. Let i = 136 - 136. Let m be (i/((-8)/(-4)))/t. Which is smaller: 2 or m?
m
Let k = -32 - -39. Suppose k*x + 208 = 26. Suppose -28 = v - z, z - 54 = 2*v - 0. Is v at least x?
True
Suppose -53*c + 2 = -52*c. Let m(j) be the third derivative of j**5/60 - 5*j**4/12 + j**3/3 - 3*j**2. Let i be m(10). Is c != i?
False
Let g = 8 - 10.2. Let w = -48.9 - -42.1. Let m = w + g. Is m > -1?
False
Let y = 1240.1 + -1302. Let l = y - -62. Which is greater: 3/44 or l?
l
Suppose -23*u + 143 - 626 = 0. Let f = -1127/30 + 579/10. Let l = f + u. Which is greater: l or 0.25?
0.25
Let c(u) = 2*u**3 + 7*u**2 + 5*u + 3. Let z be c(-4). Let f = 36 + z. Is 6 at least f?
True
Let i be (274/60 - 15/3)*3. Is -2 smaller than i?
True
Suppose 7*g - 5*g = 0. Suppose 0 = 2*f - g*f - 4. Let o = f + -3. Which is smaller: -3/7 or o?
o
Let g = -9 - -11. Let d = -125 - -132. Is d greater than or equal to g?
True
Suppose 10 - 230 = -11*v. Is 161/8 smaller than v?
False
Let f(y) = y**3 - 5*y**2 + 12*y - 38. Let j be f(4). Which is smaller: -11 or j?
-11
Let x = -1309 - -6467/5. Let y = x - -15. Let c = -4 - -4. Which is greater: c or y?
c
Let i(a) = -4*a + 45. Let h be i(11). Is 2/319 at least as big as h?
False
Let h be (-6 + (3 - 5))*21/28. Are h and 43 non-equal?
True
Let q = 28 - 15. Suppose 2*t + d = 123, 169 + 134 = 5*t + 4*d. Let g be (-162)/t*(-2)/6*14. Which is smaller: q or g?
g
Let r be (-94)/4 - (-12)/8. Let h be (-1)/r*169/(-9). Let w = h + 9/22. Is 0.2 less than w?
False
Let z be (240/(-630))/(1/3). Which is bigger: -2 or z?
z
Suppose 5 = -5*z - 3*t, 0 = -15*z + 12*z + 2*t - 3. Is z equal to 2/727?
False
Let i be (4 - 32/10) + (-2)/(-10). Do i and -3/20 have the same value?
False
Let a(r) = 5 + 2*r**2 + 8*r**3 - 1 - r - 7*r**3. Let c be a(-4). Let z = -22 - c. Which is greater: -4 or z?
z
Suppose 1448*q = 1434*q - 84. Let m = 33 + -47. Let v = m - -9. Is v at most q?
False
Suppose -10833 = 35*h + 34*h. Does h = -2?
False
Suppose -271 = w + 2*t, -4*w - 1375 = w + 5*t. Is w bigger than -280?
True
Let b be (-1)/(-4) + (-2)/8. Suppose -27*s = -68 + 14. Which is bigger: s or b?
s
Let v = 8942/11 - 812. Which is smaller: v or -0.7?
-0.7
Let m(c) = -c**3 - 7*c**2 - 4*c - 5. Let a(k) = -k + 1. Let u be a(7). Let o be m(u). Let s = -17 - o. Is s != -0.3?
True
Let g be 4/(-16) + (-53)/(-4). Let l be (-16 + g)*(-1)/3. Let i be 10/34*4/10. Is l not equal to i?
True
Let v be 18 + -3 + -5 - 10. Which is greater: v or 79?
79
Let s(l) = -l**3 + 4*l**2 + 3*l + 11. Let z be s(5). Suppose -4*d = 5*c - z, -d + 3 = 2*c - 2*d. Let r = 4314/115 + -188/5. Is r greater than c?
False
Let d(z) = 39*z - 182. Let p be d(5). Which is smaller: p or 15?
p
Let u(c) = -3*c**3 - 12*c**2 + c - 17. Let q(t) = t**3 + 1. Let x(n) = 2*q(n) + u(n). Let z be x(-13). Let w be (147/z - 1)/(-1). Which is greater: 1 or w?
1
Let l = 426 - 291. Let z be ((-30)/l)/(2/12). Is 0 <= z?
False
Let t = 45 - 21. Let c be (2*-6)/2*4/3. Let g be c/((t/4)/3). Is g smaller than -5?
False
Let j(g) = 150*g + 380. Let k be j(-3). Is -61 greater than or equal to k?
True
Suppose -64 = -3*f - v, 5*f + 4 - 122 = 4*v. Suppose 4*g + 2*q = -0*g - f, g + 16 = -4*q. Let y be 1/(-8)*g*-6. Which is smaller: 1 or y?
y
Let b(f) = -f**3 + 6*f**2 - 1. Let s be b(5). Let d be (1/(-2))/((-6)/s). Suppose -3*m = -d*p + 2 - 6, 0 = p + m - 3. Which is smaller: p or 2/7?
2/7
Suppose -2*m + 1 + 3 = -3*l, l - 27 = -5*m. Suppose m*k - 8*k = 24. Suppose -2*t - 20 = -4. Is t equal to k?
True
Let v = -50 - -50. Which is bigger: 39 or v?
39
Let a(j) = 6 + 3*j + 10 - 6 + 5. Let z be a(-10). Let g = z - 0. Which is smaller: g or -16?
-16
Let w(i) = -4*i - 10. Let n be w(-3). Suppose 4*t + 8*q + 65 = 5*q, -50 = 4*t - n*q. Which is bigger: t or -13?
-13
Let q = 1/23 - 25/46. Let x be (10/45)/(4/3). Which is greater: q or x?
x
Let n(q) = q**3 + 16*q**2 + 15*q + 2. Let z be n(-15). Let r(j) = 3*j - 3. Let o be r(z). Suppose -9 = -5*d + o*u - 26, -d = -2*u + 9. Which is smaller: d or 1?
d
Suppose -4*y + 5*h + 13 = 0, -4*y + 3*y = 5*h + 28. Let g(t) = 14*t + 213. Let x be g(-15). Let l = x - y. Is 7 greater than or equal to l?
True
Let p be (9*2/1764)/(2/(-32)). Is 0 >= p?
True
Let i = -31 + 33. Suppose -i*s - 3*r - 1 = -10, -4*r + 12 = 3*s. Is s >= 2/11?
False
Let o(z) = -6*z + 74. Let m be o(10). Suppose -c = -3*s + 61 - 22, -2*s + 19 = -3*c. Is s at least as big as m?
True
Let r(c) = c**3 + 3*c**2 - 4*c + 1. Let v be r(-4). Let s be 15 + -13 - (v + 30). Let l be 3 - s*1/(-11). Which is bigger: l or -1/2?
l
Let u be (2 - 6/4)*(11 - 3). Suppose 5*y + 4*r - 1 = 0, u = 5*y - r + 2*r. Is y > 51?
False
Let i = 1.93 + -2.23. Which is smaller: -1/8 or i?
i
Suppose 4*j = -3*d - 2869, -2*d - 2*j - j = 1913. Let o be (-1900)/d - -3 - 5. Which is greater: o or 0?
0
Suppose 3*u - d = 2386, u - 304 = 4*d + 495. Is 795 less than u?
False
Suppose -3*h = -4*h - m + 38, -156 = -4*h - 2*m. Suppose -6*l + h = -2*l. Suppose i = 2*i - 5*b + l, 3*i + 2*b - 4 = 0. Which is bigger: i or 3/19?
3/19
Let z(g) = 6*g - 28. Let i(c) be the third derivative of c**4/6 - 19*c**3/6 + 4*c**2. Let m(u) = -7*i(u) + 5*z(u). Let y be m(3). Is 1 greater than y?
True
Let g = -1176600 - -120015547/102. Let f = g + -137/6. Is f < -1?
False
Let r = -19.4 + -2.6. Let p = 22.03 + r. Which is smaller: -3 or p?
-3
Let p be ((-28)/(-16) - (-8)/32) + 29. Is 33 >= p?
True
Suppose 4*b - 150 = -11*b. Suppose z = 2*z - 11. Is z > b?
True
Let x(n) = 2*n**3 + 3*n**2 - 29*n - 24. Let u be x(-9). Is -977 equal to u?
False
Suppose -71*o + 74*o + 3 = 0. Is o equal to -1/508?
False
Let v = -26.31 - -16.31. Let z = -2 + 0. Is z <= v?
False
Let b = 0.08 + 0.08. Let p = 1.06 - b. Let t = -74 - -74.1. Which is smaller: p or t?
t
Let t(q) = -2*q + q**2 + 6*q - 6*q + 5 - 7. Let n be t(-1). Suppose -n + 3 = j. Does j = 7/4?
False
Let g = 1.514 + 0.456. Let c = -2.19 + g. Let b = 0 - 0. Are c and b non-equal?
True
Let t be 12/12 + (26 - 2). Let m = -77/3 + t. Let y = 1.6 + -2. Which is smaller: m or y?
m
Suppose -6*j + 26 + 4 = 0. Suppose 4*p - 3*f = -48, j*f - 41 - 24 = 5*p. Let k = 17 + p. Is k > 8?
False
Let z be 6/7 + 16/56. Let h be (3 + (-2 - -1))/2. Which is bigger: h or z?
z
Let g(l) = -l**2 - 14*l - 14. Let a be g(-8). Which is smaller: a or 37?
a
Let v = -14.3 - -5.3. Let w = 2 + -1. Let j = w + v. Which is smaller: j or 0.1?
j
Let m = 1.7 + -2. Let u = -134/3 + 45. Is u greater than m?
True
Let s = -1554/13 + 374553/3133. Which is smaller: 0 or s?
0
Suppose -3*h + 4 - 1 = 0. Let d = -205 + 1843/9. Do h and d have the same value?
False
Let q = 2 + 3. Let s be (7 - 5)*q/2. Let o = 0 - s. Is o >= -5?
True
Let c = -0.37 + 0.7. Let g = c + -0.15. Is g less than or equal to 1?
True
Let i = 15302874571/580 + -26384281. Let k = i - 1/580. Is -16 at most k?
True
Let b = -2.49 + 5.49. Suppose -3*y + 2*m - 10 = -5*y, -5*m = -2*y + 45. Suppose 0 = -3*j - y + 4. Which is smaller: j or b?
j
Suppose o = 4*o - 2*r, 2*o = 3*r. Let x = 7 + -8. Is x greater than or equal to o?
False
Let y = -7 - 8. Let c = -1.0559 + 0.0559. Which is bigger: c or y?
c
Suppose -2*d - 6 = 0, -4*q + 8*d = 7*d - 307. Which is smaller: q or 542/7?
q
Suppose 5*h = -5*q - 2460, -73*h = -68*h + 2*q + 2466. Which is bigger: h or -496?
h
Let p be (-992)/(-9) - (-6)/(-27). Let j be 4/18 + p/(-9). Let m = j + 20. Is m at least as big as 7?
True
Let q = 32.999 - 33. Let v = -0.599 + q. Is 0.2 >= v?
True
Suppose 3*f + 0*f + 75 = 0. Let n = 1504 + -1537. Let q = f - n. Which is greater: q or 7?
q
Let d = -170 + 1528/9. Let u be (-1*1)/((-1)/(-58)). Let t = 59 + u. Which is greater: d or t?
t
Suppose 4*d 