ler: z or -2/5?
-2/5
Let s = 21 - -16. Let t = -34 + s. Is 3 greater than t?
False
Let w = -14 - -22. Let p(z) = w*z - 1 + 0*z + 0*z - 5*z. Let i be p(7). Which is smaller: 19 or i?
19
Let l = 759 - 790. Are l and -63/2 nonequal?
True
Let n = 0.25 - 0.278. Let c = n + -0.972. Let y(o) = -4*o**3 + 2*o - 1. Let m be y(1). Which is smaller: m or c?
m
Let i(z) = -16*z + 293. Let n be i(26). Is n smaller than -129?
False
Let o = 375 + -296. Is 79 bigger than o?
False
Suppose -3*o = 55 - 61. Which is smaller: -396 or o?
-396
Suppose 208 = -59*t - 146. Let s(l) be the second derivative of -l**3/6 - 7*l**2/2 + l. Let a be s(t). Which is greater: a or -2/15?
-2/15
Let s = 284 - 284.1. Do -2/663 and s have the same value?
False
Let m = 24 - 11. Let i = 1 - m. Let p = -12.1 - i. Is p < -2/5?
False
Let y = -6 + 7. Let m be (-4)/3*(-17 - y). Suppose -f = -5*f - 12, 5*t = -3*f - m. Is t < -11/3?
False
Suppose -2*b = 3*k + 5 - 16, 4*b + 3 = -k. Let f be b/6 + 484/(-42). Let o = -85/7 - f. Is 1 at least as big as o?
True
Let l = -283.99 + 284. Which is smaller: 1 or l?
l
Let w = -0.01 - -0.09. Let n = -1.08 + w. Let u = -0.28 - 7.72. Is u greater than or equal to n?
False
Suppose -5 = 8*a - 3*a, 5*t - 5*a - 180 = 0. Suppose 4*p = 39 - t. Is -2/89 bigger than p?
False
Suppose -447 - 53 = -4*n. Let m = n + -27. Let y = m - 1664/17. Which is smaller: y or 0?
0
Let h be (-1)/(-12)*280/(-7385). Which is smaller: 1 or h?
h
Let z = -8 - -11. Suppose z = -4*r + 19. Let c = 3 + 2. Which is smaller: c or r?
r
Let f = -27 - -29. Let q be (f - -1)/(1/1). Let s be -2*(q/(-15) - -1). Is -3 bigger than s?
False
Let r(s) = -8*s**2 + s**3 - 2*s - 2*s**3 + 3 + s - 6*s. Let l be r(-7). Let k be (l - 3)/(1 - -2). Which is smaller: k or 3?
k
Let b = 21 + -28. Let m(a) = 3*a + 23. Let k be m(b). Let v(d) = -d**3 + d**2 + 4*d - 3. Let n be v(2). Which is bigger: n or k?
k
Let y = -808 - -5672/7. Is y greater than 2?
True
Let d = -519 + 586. Suppose -v = -2*a - 44 - 27, -3*v + 2*a + 205 = 0. Is v at least as big as d?
True
Suppose 9 = 3*j, j - 16 - 32 = -5*d. Let g(b) = -b - 9. Let u be g(d). Are u and -17 equal?
False
Let a(p) = p**3 + 33*p**2. Let f be a(-33). Which is greater: 8/141 or f?
8/141
Suppose 2*z - 22 = -110. Let t = z + 51. Is 7 >= t?
True
Let f = -380 + 315. Which is smaller: -66 or f?
-66
Let u(c) = 4*c**2 - 35*c + 13. Let v be u(8). Is v < -5?
True
Let k be (1*-1)/(14/(-28)). Suppose k*a - 9 = z, 11 = 3*z + 2. Suppose 1 + 5 = -a*b. Which is smaller: b or 12/11?
b
Suppose -24 = 5*w + 16. Let h(d) = 4*d - 1. Let x be h(w). Do x and -34 have the same value?
False
Let a be (9 - 44/5)/((-2)/(-42)). Let q = -1.06 + 0.06. Is a less than or equal to q?
False
Suppose -64*v + 126*v = 1922. Which is greater: -7 or v?
v
Let l be (-1*1)/(1/(-1)). Let d = 317 + -446. Let p = d + 2192/17. Which is smaller: p or l?
p
Let b = 1.7 - 1.7. Is -33 greater than or equal to b?
False
Suppose 3*p - 4 - 3 = 4*b, 0 = 2*p + 5*b + 26. Let y be p/((-4 + -1)/(-15)). Is -10 <= y?
True
Let o be ((-3772)/10 + (-28)/35)*-2. Let l = o - 3794/5. Which is bigger: 0.1 or l?
0.1
Suppose -7*d + 16 = -271. Let q = d + -42. Is q >= -3/26?
False
Let o be (-9)/11 + 3 + -2. Suppose 2*h - 6 = -4. Which is smaller: o or h?
o
Let p be ((-12)/(-60))/(8/(-580)). Which is smaller: p or -14?
p
Let n be (-567649)/498 + 4/(-24). Let z = 1140 + n. Which is smaller: z or 1?
z
Let t(v) = v**3 - v**2 - v - 1. Let j(i) = -6*i**3 + i**2 + 5*i + 3. Let p(b) = j(b) + 5*t(b). Let o be p(-2). Which is greater: -13 or o?
o
Let b be 5/(-2)*(-3 - (-117)/45). Which is bigger: -5/46 or b?
b
Let v(y) = y**2 - 7*y + 5. Let q(l) = -l**2 + 6*l - 4. Let r(o) = -5*q(o) - 4*v(o). Let t be r(3). Let j be t/18 + 175/(-6). Which is smaller: j or -28?
j
Let m = 1201 - 1148. Is m at least as big as 39?
True
Let d be (-3)/(9/(3836 + 7)). Which is smaller: -1282 or d?
-1282
Suppose -31*h + 26*h = v - 291, -h - 1403 = -5*v. Which is bigger: v or 1401/5?
v
Suppose -60 = -3*k + 42. Let w be (6/k)/(-3) + 0. Which is greater: w or 1?
1
Let t = -34144/63 + 542. Is t bigger than 1?
False
Let h = 5665/17 - 333. Is h greater than 5?
False
Let n(h) = -h**3 - 3*h**2 + 8*h - 10. Let u be n(-5). Do u and 22/15 have the same value?
False
Let l = 40924/105 - 1169/3. Which is smaller: l or -7?
-7
Let h = 123 + -859/7. Is h at least -237?
True
Let q = -298 - -310. Suppose 4*n - 44 = 4. Are n and q non-equal?
False
Let t(w) = w**3 - 4*w**2 + w - 3. Let b be t(4). Let v = -235/11 + 21. Is v not equal to b?
True
Let s = -115 + 110. Let g = -288/19 - -15. Which is bigger: s or g?
g
Suppose 34 - 4 = 2*d. Suppose -6*l + d = -l, p + 5*l - 13 = 0. Let y(c) = 3*c + 3. Let m be y(-2). Which is smaller: m or p?
m
Suppose -4*b = -12*b. Suppose -15 = -4*l - 5*i + 6, 4*i - 24 = -5*l. Let y be (l/56)/(3/(-12)). Which is bigger: b or y?
b
Let d = -544 - -543.9. Is d greater than 586?
False
Let s = 11.57 - -3.43. Is 0.3 greater than s?
False
Let i = -7 - -7.8. Let s = i - -4.2. Let v = 1401/62 - 716/31. Are v and s non-equal?
True
Let g = -0.5 - -0.2. Let c = -0.22 + -10.78. Let f = c + 10.9. Is f less than g?
False
Let c(k) = 3*k**3 - k**2. Let r be c(1). Suppose 10*o - r*o = o. Which is greater: -2 or o?
o
Let l be 7 - 1*4*7164/144. Is -190 >= l?
True
Let m = 380587/5038 - 831/11. Are m and 1 nonequal?
True
Let r be (-6)/(-21) + (-110)/(-7). Suppose 12 = -2*j + 2, 5*w - 3*j = 25. Suppose -4*q = -w*a + 6*a - r, -22 = -3*q - 5*a. Which is greater: q or 1?
1
Let q = -15 + 15.082. Let h = q + -0.052. Let r = -307/1341 - -1/149. Is r at least as big as h?
False
Suppose -6*k + 10*k = 20. Suppose -4*y - 6 = 2*f, -27 = -4*y + k*f + 2. Let w be 1/4 - y/(-4). Which is smaller: w or 0?
0
Let t = 13.01 - 0.01. Let h = 14.1 - 12.1. Is t equal to h?
False
Suppose t - 112 = 4*a + 1, 10 = -2*a. Is t at least 92?
True
Suppose -19 = -3*x + 29. Let a(g) = g**3 - 16*g**2 + g - 14. Let p be a(x). Let d(q) = -q**3 - q**2 + 3*q + 3. Let f be d(-2). Which is greater: p or f?
p
Let u = -3/106 - -4112/159. Let x = -26 + u. Which is smaller: x or 0?
x
Let u = 87 + -55. Let p = u + -29. Is p less than 0.3?
False
Let o = -26 + 41. Suppose 7*l + 27 = -o. Are l and -27/4 nonequal?
True
Suppose -3*i - 4*t = 121, -2*i - 3*t + t - 84 = 0. Is i > -139/3?
False
Let x = -3 + 4. Let o be 9/3 + 2 + -3. Suppose g + o = -g. Which is greater: x or g?
x
Let m be 8/(-28) - 33/7. Let k = -114 + 344/3. Is k bigger than m?
True
Let z be (-24)/(-15) + -1 + 1133030/490325. Let b = 3/1783 - z. Is -3 bigger than b?
False
Let o = 62 + -43. Let l = 28 - o. Let n = l + -9. Is n <= 1?
True
Let k = 3.45 + -2.45. Which is smaller: k or 195?
k
Let a = -22.7 + 21.7. Which is bigger: a or 1.34?
1.34
Let p = 0 + -0.1. Let w = -0.186 + 0.118. Let o = -0.632 + w. Is p < o?
False
Let f(g) = g**3 + 5*g**2 + 8*g - 11. Let v be f(-6). Which is smaller: v or 2/5?
v
Let k(f) = -51*f + 152. Let s be k(3). Let w be 1/(-2) + (-6)/(-4). Let x = s + w. Which is smaller: x or 8?
x
Suppose 0 = -5*n - 0*n. Let c be n - (0/3 - -1). Let k(x) = -86*x + 790. Let j be k(9). Is j at most c?
False
Suppose 2*f + 125 - 147 = 0. Which is smaller: 3 or f?
3
Let g = -943259/71 - -13285. Is 1 smaller than g?
False
Let b = 1507/1692 - 1/564. Let a = b - 1/18. Suppose -5*t = -5*w - 10, 0 = -4*t + 7*w - 2*w + 10. Is t smaller than a?
True
Let c = -340/131 - -101497/393. Which is greater: 257 or c?
257
Let a = 17.8 + -32.8. Is a smaller than -0.2?
True
Suppose 2*l = -5*h + 7*l - 25, 5*h = l - 17. Let j(y) = y - 9. Let c be j(9). Let z be 4/(-1) + c/(-3 - 0). Is h smaller than z?
False
Suppose -h + g + 3*g + 12 = 0, 2*h + g + 3 = 0. Suppose 4*z - 3*z - 17 = h. Is 19 smaller than z?
False
Let o(r) = 5*r**2 + 15*r + 22. Let f be o(-4). Is f smaller than 42?
False
Suppose -2*b + m + 3*m = -120, 3*b - 168 = 3*m. Suppose b = 2*l - 5*g, 2*l - 10 - 10 = -3*g. Let j be (6/l)/((-1)/4). Which is smaller: j or -1?
j
Suppose 0 - 3 = -3*v. Which is bigger: 72/29 or v?
72/29
Suppose -a + 339 = 3*d, 1009 = 3*a + 2*d + 3*d. Which is bigger: a or 332?
a
Let p = -0.59 - -0.19. Let f = p + -0.6. Which is bigger: f or 0.02?
0.02
Let x be (9/(-204))/((-21)/(-28)*2). Which is smaller: x or 0?
x
Let c = 16 - 0. Let w = -7 + c. Let m be 9/(-2) + -5 + 10. Is w not equal to m?
True
Let p(w) = 