aller: 10 or u?
u
Suppose -188*y = -186*y + 228. Which is bigger: y or -111?
-111
Suppose 0 = 2*z + 2*o + 3 + 5, 2*o + 14 = -5*z. Let k be z/(-8) - 0/1. Do -7 and k have different values?
True
Let p be (-1)/(-2 - -6)*-8. Suppose -2*k - p = l, -26 = 3*l - 0*l - 4*k. Let f be (-69)/9 + (-2)/(-3). Which is smaller: f or l?
f
Let j(z) = z**3 + z**2 - z - 2. Let h be j(0). Let u = -23 - -25. Suppose 10 - 14 = u*g. Is g at most h?
True
Let x = 3 - 217. Which is smaller: -1/3 or x?
x
Suppose 5*a - 119 = -2*n - 2255, 436 = -a + 4*n. Which is smaller: a or -427?
a
Suppose -3*c - c + 8 = 0. Let r(f) = 3*f - 31. Let p be r(11). Suppose d + 0*d - 13 = -3*z, -p*z = -5*d + 14. Is c less than or equal to z?
True
Suppose -620 = r - 2*m, -888 - 1613 = 4*r - m. Is r at most as big as -625?
True
Suppose -4*n + 11 = -f, -3*n - 1 = 3*f - 28. Suppose -21 = -4*o - 5*b, 4*o - b - b = -14. Is f bigger than o?
True
Let x = 1309 - 1591. Which is greater: -284 or x?
x
Suppose -4*i - 2*m = -2 - 24, -36 = -4*i - 4*m. Which is smaller: i or -7?
-7
Suppose 5*v - b = -80, -3*v + 4*b = 9*b + 48. Is v less than 0.2?
True
Suppose 0*y = 5*y - 4*i - 10, 5*y - 10 = i. Let a(c) = c**3 - 45*c**2 - 47*c + 46. Let x be a(46). Which is greater: x or y?
y
Let k be 81*(-6 - (-28)/6 - -2). Is k <= 51?
False
Let p = 2679.851 + -2683. Let o = 0.149 + p. Let r = 0.05 + -4.05. Are o and r unequal?
True
Suppose 0 = -22*z + 48*z. Which is greater: 1/454 or z?
1/454
Let d(c) be the first derivative of c**4/4 + 8*c**3/3 - 3*c**2/2 - 8*c + 3. Let r be d(-8). Let j = 29 - r. Is j greater than or equal to 12?
True
Let w = 4 - 8. Let j be 6/2*(w - -5). Suppose -5*z + 40 = 4*p - 11, j*z = -p + 18. Is p bigger than 10?
False
Let u = 1 - 2. Let b = 0.25 - -0.09. Let c = -0.04 + b. Which is smaller: u or c?
u
Suppose 0 = 5*r, o - 2*r - 1 - 3 = 0. Let z be 3 + 5/20 + (-13)/4. Suppose -5*k + 1 + o = z. Is k greater than or equal to 2/19?
True
Let p = 547782/235 - 2331. Is p at most 0?
True
Let t = 169648/154718535 - 2/82959. Is 0 greater than or equal to t?
False
Let t = 0.42 + -0.1. Let r = t + -0.22. Is -3 equal to r?
False
Suppose -64 = -8*x - 8*x. Which is bigger: x or -62?
x
Let u = -17 - -22. Let v be -7 + 3 + 40/u. Is 14/5 less than or equal to v?
True
Let o be 6*(3 - 0 - 357/126). Let n = -24/23 + 1798/1679. Do n and o have the same value?
False
Let a = 34811/8188 - 3/2047. Let w = 8 + -4. Which is smaller: a or w?
w
Suppose -10 = 5*l, -2*l + 18 = 5*z - l. Is 23 < z?
False
Let h be (-1 - (-3624)/75) + -3. Let l = h - 44. Which is greater: l or -1?
l
Suppose -9 - 21 = -l. Suppose -6 = 4*t - 3*w + 54, -2*t = -w + l. Which is bigger: -13 or t?
-13
Suppose -3*n + 5 + 85 = 0. Let b be 32/n - 4/6. Which is smaller: b or -0.4?
-0.4
Let k = 19 + 40. Let l = -777/13 + k. Is l > -1?
True
Let r(s) = -2*s + 31. Let n be (4/6)/(10/180). Let g be r(n). Which is smaller: g or 3?
3
Suppose 78 = -5*i + 18. Do i and -10 have different values?
True
Let x(n) = n**3 - 6*n**2 - 4*n + 6. Let j be x(8). Suppose -20 - j = -2*h - 5*d, -h - 3*d = -62. Let u be h/21*(-2)/(-88). Are u and 0 unequal?
True
Let g = 21.8 + -22.8. Which is smaller: 303 or g?
g
Let a be (297/(-5) + 3)*(-25)/10. Which is smaller: a or 139?
139
Let p = -1 + -1. Let l = -2301.1 - -2301. Is p at least l?
False
Let s be ((-110)/(-11) + -15)*3/1227. Which is greater: s or -1?
s
Let z(r) = -16*r + 112. Let t be z(7). Which is smaller: 1/88 or t?
t
Let v be (6 + -5 + 0)/(-951). Is v greater than 1?
False
Let y = -0.34 + -0.06. Let s = 1 + 1. Suppose n = 5*z - 3, 0 = -s*n - z - 3 + 8. Which is greater: y or n?
n
Let o be ((-32)/28)/((-47)/(-9) + -5). Are 1/4 and o non-equal?
True
Suppose 7*z - 2*z = 10. Suppose -z = -f - 10. Suppose 54*k - 49*k = -3*g - 38, 2*g = 3*k. Is f < g?
True
Suppose -4*p - 39 = -35. Which is greater: 10/47 or p?
10/47
Suppose -892 = -5*l - 362. Suppose -3*j - l = x, -3*x - j - 530 = 2*x. Are -106 and x nonequal?
False
Let a be (1 - -5)*(-2)/(-4). Let y be ((-42)/(-12))/(3/(-48)). Let v = -51 - y. Is a less than v?
True
Let c be (4*3)/3 - 0. Let m(b) be the second derivative of b**5/20 - 5*b**4/12 + 2*b**3/3 + b**2 + 9*b. Let k be m(c). Which is smaller: k or 2/9?
2/9
Let l = -2.6 - 1.4. Let w = l - -13. Let n = w - 9. Is n bigger than 4/3?
False
Let a = 561 + -560.858. Is -1 at least as big as a?
False
Let c = 60248/13 + -4637. Let v = 216445 + -14069194/65. Let g = v - c. Which is greater: -3 or g?
g
Suppose 0 = -3*w - 3*t + 18, 0 = 5*w - 7*t + 6*t. Suppose -4*x + 20 = 0, -4*d = 3*x - 6*x + 47. Is w less than d?
False
Let h = 3715/2 - 1856. Let q = -9.8 + 12. Let u = q + -2. Are u and h equal?
False
Let s = 1733 - 1803. Which is smaller: s or -72?
-72
Let u(i) = -i**3 - 38*i**2 - 68*i + 147. Let a be u(-36). Let k = -4 - -7. Is k at least as big as a?
True
Let a = 7.645 + 2.345. Let k = 0.01 + a. Let i = k + -9.95. Which is smaller: i or 0.1?
i
Let k be ((-1)/68)/(6/(-425508)). Let r = k + -1043. Is -1 less than r?
True
Suppose -6*h - g = -h + 18, -3*h - g = 12. Which is smaller: h or -38/9?
-38/9
Let k = -44.75 - -45. Let r = k - -0.35. Is r >= -5?
True
Let t be 69/115 + ((-26)/(-40) - -1). Is t at most 1?
False
Let s = -241 + 228. Is -10 at least as big as s?
True
Let t = -3 - -3.1. Let k = 0.3 - t. Let x = -5681.8 + 5682. Is k greater than or equal to x?
True
Let b = 9 + -6. Let d be (-18)/(-4) + -1 + (-13)/(-26). Which is smaller: d or b?
b
Let d be (8/252*-1)/((-8)/20). Which is bigger: d or 0?
d
Let g = 22 + -27. Let f be (g - -12)*(4/1 - 3). Let b(v) = v**2 + 4*v + 6. Let m be b(-4). Which is smaller: m or f?
m
Suppose 0 = -2*v + 7*v - 15. Let g be v + (-25)/(-9) - 4. Which is bigger: g or 3?
3
Suppose 4*n = -2*g + 18 + 12, 2*n - 10 = 0. Let y be 24*(g + -2 + -2). Let c = y - 44. Is -20 at least c?
True
Suppose 0 = -0*x - x. Suppose x*y - 30 = y - 5*f, -2*y - f - 71 = 0. Let n be (2/(-20))/(14/y). Which is smaller: -6 or n?
-6
Let t be 20/22 + 20/220. Is t bigger than 165/7?
False
Let n be (-68)/16*(-3)/((-6)/(-8)). Let f = n + -1. Do f and 16 have the same value?
True
Suppose 0 = -27*v + 16*v + 16*v. Let l = -40/19 + 1421/684. Is v <= l?
False
Let l = 202 - 141. Let q = -163/2 + l. Let b = q + 21. Which is smaller: 1 or b?
b
Let l = 2003 - 1980. Which is bigger: l or 155/7?
l
Let v be (1 + 5)/(2*24/160). Which is smaller: 13 or v?
13
Let o = 407.59 + -412. Let g = -4.4 - o. Let l be 1/5*-3 - 0. Which is greater: l or g?
g
Suppose -15 = 5*u, -5*q - 10 + 1 = 3*u. Let k be (-12)/(-56)*(-2)/40. Let y = 79/56 + k. Is y greater than q?
True
Let q(s) = s**2 + 2*s + 5. Let f be q(-4). Let u(c) = -c**2 - 200*c + 10. Let z be u(0). Which is smaller: f or z?
z
Let p(g) = 4*g - 147. Let t be p(-27). Is -254 < t?
False
Suppose m + 404 = 5*m. Let c = m - 53. Let l be ((-10)/c)/(2/(-4)). Which is bigger: 0 or l?
l
Let c = 6.26 + -6. Let f = -1.933 + 0.193. Let r = f - c. Are -2 and r unequal?
False
Let c = 9 - 29. Let r(v) = -v**3 - 3*v**2 - 2*v + 1. Let g be r(-2). Which is bigger: g or c?
g
Let c(a) = -3*a + 29. Let w be c(9). Suppose 5*i - d - 5 - 9 = 0, -3*i - d = -w. Which is smaller: 4/5 or i?
4/5
Let c = -4313/3 + 1437. Is -20 > c?
False
Let h = 856 + -5976/7. Suppose -5*w = -4*w - 14. Suppose 3*k - 23 = 2*l + 2*l, 4*k - 2*l - w = 0. Which is smaller: h or k?
k
Suppose 14*f + 3026 = -2924. Which is smaller: -426 or f?
-426
Suppose 0 = -d - 5*k - 7, 3*d - 5*k = -4*k + 11. Is 17/7 greater than d?
False
Let k(m) = m**3 - 6*m**2 - 15*m - 7. Let b be k(8). Suppose 0 = 2*g - 4*j + 12 - 0, 2*j = 5*g + 22. Let c be 0/2 + g/(-6). Is b at least c?
True
Let r be (-4 + 0)/(435/522 + (-2)/6). Suppose -3*i = -3*g, -6*i + 2*i = 2*g - 12. Which is bigger: r or g?
g
Suppose 387 = -45*t + 2*t. Which is smaller: t or -3/5?
t
Let r = 52 + -73. Let c be 15/r + 2/(-7). Let o = 3711/10 + -371. Are c and o unequal?
True
Let v(g) = -g**3 - 6*g**2 + 7*g + 4. Let a be v(-7). Suppose 5*c + a*m - 30 = 0, 0*c - 5*m + 21 = -2*c. Let q = 469 - 5153/11. Which is bigger: c or q?
c
Let n = 328 + -332. Which is greater: 1/309 or n?
1/309
Let l be 155/(-225) - 28/(-35). Which is bigger: l or -0.18?
l
Let c = -45.5949 + -0.2451. Let d = c - -46. Is -1 greater than d?
False
Let i = -0.45 + 0.75. Is i smaller than 24?
True
Let l = 267 - 338. Is l != -71?
False
Suppose