a be h(-19). Suppose -3*i - 3*w + 3 = -6*w, -i - 5*w + 19 = a. Is 17/6 equal to i?
False
Suppose -101*j - 66047 = -92032 - 91276. Which is bigger: 1168 or j?
1168
Let o be 5 + 6*(3 + -4). Let g = -439 - -598. Which is smaller: g or o?
o
Suppose -2*f + 263 = 2*m - f, -5*m + 630 = -3*f. Suppose -3*w - a = -m, 0 = -6*w + w - 2*a + 216. Let b be (9 + 3)*2/w. Which is bigger: 2 or b?
2
Let r = -7454 - -7453. Which is smaller: 6/563 or r?
r
Suppose -3*o + 8 = -2*h, 0 = 4*h - h + 5*o - 26. Suppose -h*r - 8 - 10 = 0. Let n be (-13 - r)*2/2. Is n < -7?
False
Let j be (10545/925)/(2/1030). Which is smaller: j or 5872?
j
Let o = -165 + 149.8. Let v = o - 0.6. Let x = -16 - v. Which is bigger: x or -19?
x
Suppose 56*u + 57*u - 141*u = 0. Which is smaller: u or 29/500?
u
Let c = -8.8 + 8. Let w = -0.6 - c. Let y = -73.1 - -57.1. Which is greater: y or w?
w
Let h be -7 + (42/(-147))/((-2)/39). Is h at least -21.9?
True
Suppose -4*d + 9*d = 125. Suppose 3*i = -h + 2, 0*h + 4*h = 5*i + d. Suppose 19 = -3*b - 2*l, 8 = -h*l - 2. Is b > -5?
False
Let y be (105/(-27) - -4)/(-3 - (-1 + -1)). Is -42 at least y?
False
Let u = 13 + -389. Let p = u - -371. Which is smaller: 5 or p?
p
Let a be ((-6)/(-15))/((-6)/5250). Let m = a + 538. Let f be (-4 - m/(-32))/3. Is 0 less than f?
True
Let r(g) = 10*g**2 - 10. Let q be r(-3). Let v = q - 81. Let h = -663 - -12594/19. Which is smaller: v or h?
v
Let h be 5 + 2 + (-5)/(-1). Let q = -10 + 19. Which is smaller: h or q?
q
Suppose -l + 2*l + 14 = 3*z, -30 = 3*l - 5*z. Let p = -1/15696 - 1977667/455184. Is l < p?
True
Let y be (2/1 - 102) + -1. Let l be -2*19/(342/891). Is l > y?
True
Let z = -20581 - -307481/15. Which is greater: z or -81?
-81
Let g(d) be the second derivative of -23*d**3/6 - 83*d**2/2 - 3*d - 51. Let c be g(-1). Let x(t) = -6*t**2 - 2*t - 1. Let l be x(3). Which is smaller: c or l?
l
Let j = 7793/19 - 219102/323. Suppose -o - 264 = -4*h, -2*o + 12*h - 9*h = 533. Let k = j - o. Is 1 at least as big as k?
True
Let u(q) be the third derivative of -q**4/8 - 2*q**3 - 26*q**2. Let i be u(-7). Suppose 13*o = -i*o + 17*o. Which is bigger: -8/29 or o?
o
Let t = -13638 - -13649.889. Let b = 0.111 + t. Is b < 4?
False
Let m = 87.364 - -12.176. Let b = m + -1.54. Is 1 not equal to b?
True
Let t(p) = -3*p**2 - 25*p - 51. Let x be t(-5). Which is smaller: -1/9483 or x?
x
Let q = 17317 - 17167. Is 137 <= q?
True
Let v = 39 + -37. Suppose v*n + 4 = 3*m, 7 = -5*n - 5*m - 3. Let s be (0/(-1))/((2/n)/(-1)). Is 1/25 greater than s?
True
Let m = -125 + 128. Suppose -2*b = 2*b + 2*v - 50, -3*v + 3 = 0. Suppose -3*u - b = -m*p, p - 14 = 4*u + 17. Is u at least as big as 0?
False
Let c = 65 - 35. Let y = 1.7 - 29.7. Let w = c + y. Which is bigger: w or 0?
w
Let r = 19.18 - 0.18. Let p = 10173 + -10173.6. Does p = r?
False
Let n be (-46)/(-115) + (-48)/(-5). Suppose b = 2*w - n, -2*b = 2*w - 0 - 4. Which is bigger: b or -17?
b
Suppose 0 = -3*m + 109 + 197. Let r = m - 85. Suppose 0 = -3*d + 5*w + 65, 3*d - w = -7 + 56. Which is smaller: d or r?
d
Let a be (-74)/(-15 - (-25 - -12)). Which is smaller: a or -35?
-35
Let r(l) = -l**3 - 30*l**2 + 63*l - 32. Let c be r(-32). Let j be (2/(-40))/(-1 - -25). Is c less than or equal to j?
False
Let p = -6568 - -6554. Suppose 49 = -5*n - 16. Which is bigger: p or n?
n
Let t(u) = 4*u**3 - 2*u**2 + u - 4. Let x be t(-5). Let j = 17331/31 + x. Let o = -290229.9 - -290230. Which is smaller: j or o?
j
Let d = -87 + 92. Suppose 2556 = -d*y - y. Let x = y - -8948/21. Which is smaller: 0 or x?
0
Let q(l) = l**3 - 15*l**2 + 13*l - 17. Let h = -222 + 235. Let t be q(h). Is t not equal to -186?
False
Let a = 408 + -730. Which is smaller: -329 or a?
-329
Suppose -93*q + 101*q + 1344 = 0. Which is greater: -170 or q?
q
Let s = -3491 - -1458. Which is smaller: -0.2 or s?
s
Let l(i) = 2*i**3 - 11*i**2 + 68*i - 164. Let c be l(3). Which is smaller: c or -189/41?
c
Suppose -5*i = 2*g - 74, -3*g + 17 = 2*i + 2*g. Let q be (-7)/(-2) - 8/i. Suppose -5*b - 2 - q = 0. Are b and 1/4 non-equal?
True
Let z = -1463/2 - -756. Suppose -2*n = 0, 4*l - 3*n - 257 = 139. Suppose -4*q + f = -l, -54 = -3*q - f + 22. Which is smaller: q or z?
z
Let m(b) be the second derivative of b**5/20 + b**4/12 - b**3/6 - 3*b**2/2 - 126*b - 1. Suppose -3*t = -4*t. Let r be m(t). Is r < -20/7?
True
Suppose -3203 = 38*s - 5*h + 4711, -4*h = -3*s - 632. Which is smaller: -12/5 or s?
s
Let o = 845/2989 + -16/61. Suppose -136*f - 179 = -43. Which is smaller: f or o?
f
Let a(w) = -8*w - 1 + w**2 + 8*w. Let l(z) = -z**3 + 5*z**2 - 4*z + 3. Let v(x) = 2*a(x) - l(x). Let q be v(2). Is q not equal to 1/39?
True
Let g(w) = -w + 17. Let a be g(13). Let h(p) = -p**2 + 10*p - 4. Let f be h(a). Let t be -12 - -15 - (2 + f). Which is smaller: 0.1 or t?
t
Let i = -8489 + 7434. Is -1055 bigger than i?
False
Suppose -q + 4*n = 3041, -n = 311*q - 307*q + 12249. Which is bigger: q or -0.1?
-0.1
Let b be (2/(-716))/(323430/9240 - 35). Which is bigger: -1 or b?
b
Let q = 7 - 6. Let g be (5/3 - 2)*q. Let m = 440 - 429. Does m = g?
False
Let q be (-61 - -2127)*(2 - 12/8). Is 1030 greater than q?
False
Let f be 908/7 - 2/(-7). Suppose -6*n = -n - f. Let u = -218 - -243. Which is bigger: n or u?
n
Suppose 3*a + 150 = -r - 99, 340 = -4*a - 4*r. Which is greater: -69 or a?
-69
Let k = -85498 + 85473. Let w = 0.09 - -0.01. Let d = 0.1 + w. Is k >= d?
False
Let k(m) = -18*m. Let q be k(-2). Let z be 3*3*112/q. Suppose z*d = 23*d. Are 1/25 and d equal?
False
Let y be 98/637 - (-43553)/65. Which is smaller: 671 or y?
y
Suppose -q + 2*s = 31 + 4, -2*q - 64 = 2*s. Let w = q + 23. Let z be (20/(-3) - -3)/(2/6). Which is greater: w or z?
w
Let l be 6/(-4)*7*520/3990. Do 0.05 and l have the same value?
False
Let y = -20 - 13. Let d(z) = z - 16. Let k be d(16). Suppose k = 2*n + 69 - 1. Is n < y?
True
Suppose 0 = 2*s - j - 3, -3 + 14 = 4*s - 3*j. Let u(m) = 669*m + 32109. Let r be u(-48). Which is greater: r or s?
s
Let i(q) = q**3 + 18*q**2 + 45*q. Let p be i(-15). Suppose -28*s + 22*s - 210 = p. Let b = 55 + -89. Which is smaller: s or b?
s
Let r(f) = -7*f + 45. Let y be r(6). Let w be (-13 + 7)/(y/(-46)). Is 92 bigger than w?
False
Let z = -11 - -17. Let h = 15 + z. Suppose -h*m = -20*m - 1. Which is bigger: m or 21?
21
Suppose 3*h - 8 = -h - 4*l, -l = -3*h - 2. Suppose 0 = -11*c + 26*c - 60. Suppose 4*s - 5*g + 86 - 8 = 0, 4*s + c*g + 60 = 0. Are h and s non-equal?
True
Let y(j) = -j**2 - 4*j + 4. Let c be y(-2). Let f be 860/c - 2/4. Suppose -3*n = h - 82, 4*n + 3*h - 4*h = f. Which is smaller: 0 or n?
0
Suppose -4*g = 3*o - 43 - 15, -o - 2 = -4*g. Suppose 0 = -t - a + 28, -a - o = -9. Is 26 smaller than t?
True
Let m be 6/15 + (-6)/(-15)*-81. Let b be 10/(-150) + 2/5. Which is bigger: b or m?
b
Let c = 2.591 - 37.591. Let t = -284 - -318.95. Let y = t + c. Is y < -4?
False
Suppose -4*s - 2*h + 7*h + 557 = 0, 4*s = -3*h + 549. Let y = s - 242. Let m = y + 103. Is 1/37 bigger than m?
True
Let q = 30101 - 30123. Does 490 = q?
False
Let d be ((-8)/(-6))/(7*(-6)/(-63)). Suppose -36 - 64 = 5*h + 5*v, d*h + 16 = 4*v. Let f be (-129)/(-12) + -2 - 4/h. Is f bigger than 7?
True
Let y(g) = g**2 + 18*g - 1. Let x be y(-18). Let q be -1 - ((x - -57) + -1). Is -54 > q?
True
Suppose 3311 = 26*s - 3917. Suppose 0 = -3*w + 5*n - s - 659, 0 = -4*w + 3*n - 1264. Is w at least as big as -1/2?
False
Let j be 9 + 2*(250/(-56) + (-26)/91). Is j at most as big as 1938?
True
Let p be 24/6*14/(-8)*-1. Let d be (p + 1 + -8)/(-5). Which is bigger: d or -6?
d
Let t(h) = h**3 + 4*h**2 + h - 4. Let p be t(-2). Suppose -2*n - 33 = 4*c + 147, p*c = -3*n - 250. Which is greater: -82 or n?
n
Suppose 3*d + 2*j = 864, 873 = 3*d - 0*j + 5*j. Suppose 4*i + 3*p - d = 0, 9*p = 3*i + 8*p - 208. Do i and 70 have the same value?
True
Suppose 0 = -v + 1 - 0. Let f = -1429/35880 + 7/312. Which is smaller: v or f?
f
Let z be 1 - (4956/26 + -2 + 3). Let m = z + 190. Let d = 2/39 - m. Which is greater: d or 0?
d
Let k = 215209/126 - 1708. Let f(c) = -10976*c - 142688. Let z be f(-13). Which is greater: k or z?
k
Let f be 0 + (0 - (-4)/10). Let n be (-2 - -5) + 1589/(-7). Let q = n - -223. Which is greater: q or f?
f
Let v = -1195319/30514 - 305/803. Which is bigger: -41 or v?
v
Let y = 415047946/2784119 + -4/214163.