Let r = -235 + 235. Is r at most as big as -9/8?
False
Let u be 12/(-14)*(-301)/86. Which is smaller: -1 or u?
-1
Let i be 179/(-41) - (-1 - (-11 + 14)). Which is bigger: i or 0?
0
Let u be (-58)/70 + 2/5. Let l = -21 - -23. Let n be ((-3)/l)/((-27)/6). Do n and u have different values?
True
Let g = -153/52 + 22/13. Suppose -b + 3*b = 2, -2*b = -k - 2. Which is bigger: k or g?
k
Let z = 84 + -77. Let s(q) = q**3 - q**2 - 3*q - 1. Let i be s(3). Suppose 4*h + 6 = -10, -2*y + 3*h = -i. Which is bigger: z or y?
z
Let x = -1487 + 1475. Are x and 2/155 equal?
False
Suppose 5*y - 4*i = 15, 3*y + 22*i - 16 = 23*i. Which is greater: y or -4?
y
Suppose 3*v - 42 - 6 = 0. Is 2 at most as big as v?
True
Let j = -26 - -26. Let s be j - (7/3)/7. Do s and 4 have the same value?
False
Suppose 23*m + 8 = 19*m. Let x be 2 - 4 - (m + -31). Do x and 31 have the same value?
True
Let u = 43.3 + -39.3. Let c(o) = o**2 + 2*o - 3. Let h be c(-4). Which is smaller: h or u?
u
Suppose -800 = -4*n + 24*n. Is n at least -35?
False
Let n be 10/(4 + 1)*(-3311)/(-22). Which is greater: n or 302?
302
Let q = -35.551 - -0.851. Let v = 35 + q. Is v less than or equal to 0.08?
False
Suppose -6*l + 346 = -446. Which is bigger: l or 265/2?
265/2
Let d(h) = -h**3 + h**2 - 5*h - 8. Let v be d(-7). Is v greater than 418?
True
Let f = -22 - -24. Suppose 5*p = -2*t - 27, f*t + 4*p + 19 = 3*t. Which is smaller: -2/47 or t?
t
Suppose -u + 2*u - 6 = 0. Suppose 3*r + 4*y - 60 = u*r, -3*y + 73 = -4*r. Let p be 8/(1/((-2)/1)). Is r smaller than p?
False
Let i = 577 - 592. Let b = -41 - -24. Let j = b - i. Are j and -6 equal?
False
Let i = -29 - -5. Let v = 15 + i. Which is greater: -3/2 or v?
-3/2
Let a be (-3)/(-48)*-433 - -2. Let y = a + 25. Let z = 9/112 - y. Which is smaller: z or -1?
-1
Let o = 822 - 30417/37. Which is smaller: 0 or o?
o
Suppose -4*r + 14 - 6 = 0. Suppose 2*c - r = 4. Let f = c - 15. Is f less than -2?
True
Suppose 0 = -j + 2*h, 0 = -j + h - 0 - 2. Let c = -4 - j. Which is greater: 9/8 or c?
9/8
Let d = -20.9 + 14.35. Let i = d - -6.4. Which is greater: 1 or i?
1
Let q = -13 + 9. Let m = q + 2. Let u = 2427/5 + -487. Are u and m unequal?
True
Let g = -2 + 7. Suppose -g*c = -t - 347, -c - 5*t = -2*c + 55. Let u be 4/14 + (-48)/c. Which is smaller: u or 0?
u
Let n = -6319/27 - -234. Which is smaller: 7 or n?
n
Let r be 3/6*(3 + 7). Suppose 0 + 24 = 4*v. Suppose r*t - v*t = 0. Which is smaller: t or 1/11?
t
Let r = 80 + -244/3. Let t(b) = 2*b - 13. Let a = 112 + -106. Let q be t(a). Is r <= q?
True
Let k = -27 - -36. Let y be 4/9*90/20. Suppose -y*s - k = s. Does -5 = s?
False
Let w = -5918/3 - -4923779/2496. Is w equal to -1?
False
Suppose 5*i + 20 = 5*u, 0 = u - 2*u - 5*i + 4. Let y = u - 2. Suppose -y*l + 8 = 0, 5*t + 6 = -6*l + 5*l. Do -8/5 and t have the same value?
False
Let b = 37.033 - 0.033. Let l = 24 - b. Let y = 585.1 + -585. Which is smaller: y or l?
l
Let b = 68 + 8. Let c = 89 - b. Which is smaller: 16 or c?
c
Suppose 4*u = u. Suppose u = -5*c - 3*o - 15, 7*c = 3*c + 3*o + 15. Let y(m) = -10*m + 71. Let d be y(7). Which is smaller: c or d?
c
Let d = -28 - -10. Let m = d - -22. Let f be m/(-32)*-23 - 3. Which is bigger: -1 or f?
f
Let s be 10/(-15)*423/6. Let v = s - -23. Is v != -24?
False
Let m(c) = c**2 - 3*c + 11. Let l be m(0). Let z(b) = 2*b + 10. Let j be z(l). Which is bigger: j or 30?
j
Let r = 6 - 2. Suppose 4*v = -y + 25, -91 = 2*y - 5*y - r*v. Which is smaller: 34 or y?
y
Suppose 0*q = 5*q - 650. Suppose 5*w = -3*l + 118, 5*l + 2*w - q = 7*w. Suppose -4*z + 5*j = -l, -z + j + 7 = -0*z. Is z at most as big as 4?
True
Let q be (-4)/(-6)*3 + -3. Let s = -6159/230 + 134/5. Which is smaller: q or s?
q
Let p = 0.741 - 0.73. Let f = 0.111 - p. Which is greater: 1/12 or f?
f
Let p(a) = 4*a + 205. Let w be p(-20). Which is smaller: w or 0?
0
Let y = 685/18 + -38. Let d = 4 - -1. Suppose -4*g = g - d. Is g <= y?
False
Let t(j) be the third derivative of j**5/60 + j**4/12 - 11*j**3/6 - 4*j**2. Let s be t(-5). Which is bigger: s or 0?
s
Let u = 446 - 505. Is -59 less than u?
False
Let l(h) = -2*h**3 + 4*h**2 - 5*h. Let z be l(2). Let s be 2 + 12/z + 824/(-280). Which is bigger: s or -1?
-1
Let w be (-1 - -2)/(-15 - -14) - -1. Is w >= -3/8?
True
Let z(m) = m**3 + 13*m**2 + 35*m - 3. Let y be z(-8). Which is smaller: y or 34?
34
Let j = -63 + 61. Let u be 4*(-6)/(-18) - j/(-3). Is u less than or equal to -0.97?
False
Let m(l) = 7*l + 2. Let t be m(2). Suppose p = -p - t. Is p < -3?
True
Let f(u) be the first derivative of u**2 + u + 16. Let b be f(-8). Is -17 at least b?
False
Let b be (11 + 1)*3/6. Let a = b - 25/4. Do -19 and a have different values?
True
Suppose -v - 9*z + 12*z = 208, -3*z = 5*v + 950. Let t = v - -203. Suppose 2*i + 3*i = 4*u + 4, -u = -i. Which is bigger: t or i?
t
Let z = -18.823 + 18.67. Is z at most 2/5?
True
Let b = 514 + -511. Which is bigger: 15/8 or b?
b
Let n = 1545.2 + -1546. Let a = 0.1 + 0.9. Let p = a - 2. Does n = p?
False
Let y(d) = -d**3 - 9*d**2 + 38*d + 23. Let j be y(-12). Is 33/8 at least j?
True
Let g = 6 + -5.4. Let h = g - 4.6. Let s = -0.3 - -0.3. Is s greater than or equal to h?
True
Let l = 0.3 - 17.9. Let i = 18 + l. Which is smaller: i or -0.2?
-0.2
Suppose x - 16*k + 17*k - 3 = 0, -5*x - 3*k + 25 = 0. Is x at least 26?
False
Let f = -49229/17 + 2897. Let i be 0/(2/2 - 0 - (-1 - -3)). Which is bigger: i or f?
f
Let w(d) be the second derivative of -d**5/20 + 2*d**4/3 + 4*d**3/3 + 5*d**2 + 9*d. Let u be w(9). Which is greater: u or -3/19?
u
Let o be 1/(-4) - 29/(-4). Suppose -o*b + 2*b = -110. Is 21 greater than b?
False
Let l = 161 + -3379/21. Let v be (-29)/35 - (-2)/5. Let w = v + l. Which is bigger: w or -1?
w
Let l be (-4 + 6)*21/6. Suppose l*d = -35 - 42. Which is smaller: d or 2?
d
Let j = 806 - 36268/45. Let l be (-114)/(-22) - 8/44. Suppose 0 = -l*q + q. Is j equal to q?
False
Suppose -3*b - 2*b + 1805 = -4*j, -4*b + 2254 = -5*j. Let k = j + 25201/56. Is k < 1?
True
Let y = -14 - -18. Suppose -y*m - 16 = 0, -5*q + 3*m = -2*q + 24. Is q at least as big as -11?
False
Let x = -40.3 - 2.7. Let y = x + 17. Which is smaller: y or -2?
y
Let o = -1.2 + 1. Let a(s) = s**3 + s**2 - 5*s - 4. Let n be a(-3). Let g be (-12)/20 - n/45. Which is bigger: g or o?
o
Let z = -68/3 + 263/12. Suppose -19*v + 315 - 334 = 0. Which is smaller: z or v?
v
Let n = -45128598676788991 - -875991227641653414320/19411. Let w = 65607011 + n. Let h = w - -2/329. Are 0 and h equal?
False
Suppose -5*l + 0*o + 3*o = 1, -2*l - 5*o = -12. Let p be (-2 - 0) + (l - -2) - 1. Is p smaller than 2/31?
True
Let m = -228 - -228. Which is smaller: m or -12/5?
-12/5
Let o be 0/(2 - 7/(-7)). Which is smaller: o or 16/49?
o
Let j be (-3 + 9 - -6) + 5. Is 3 at least as big as j?
False
Let w = 1.9 + -11.9. Let f = 0 + -34. Let g = 34.1 + f. Which is smaller: g or w?
w
Let k = 129 + -4517/35. Let u be (3 - (1 - -3))/1*0. Let i = u - 1. Which is smaller: i or k?
i
Suppose -6*r + 4*r = 26. Let x = r + 19. Let j = -0.195 - 1.805. Which is smaller: x or j?
j
Let m = 0.131 - 0.247. Let y = 0.066 + m. Which is smaller: 0.5 or y?
y
Suppose 474 = 3*d - 3*s, 3*d + 5*s + 310 = 5*d. Let j = d - 72. Let h = j - 349/4. Which is smaller: h or 1?
h
Let v(z) be the second derivative of -z**4/12 + 2*z**3/3 + 3*z**2 - 3*z. Let g be v(5). Let l = 328/795 - 2/159. Which is smaller: g or l?
l
Let y(p) = 94*p - 618. Let q be y(6). Is -32 at least q?
True
Let z(p) be the second derivative of p**5/20 - 5*p**4/6 + 3*p**3/2 + p**2 - 10*p. Let a be z(9). Which is smaller: 5 or a?
a
Let z(w) = 3*w**3 + 21*w**2 + 23*w + 31. Let t be z(-6). Suppose h - 6*h = 5. Is h smaller than t?
True
Let a = -30 - -38. Let u be (-2)/a + 20/(-5). Which is smaller: -5 or u?
-5
Let h = 290 - 278. Which is smaller: -1/2 or h?
-1/2
Suppose -4*r = -c - 53, 0 = -4*r - 4*c - 4 + 52. Let q(a) = -a**3 + 8*a**2 + a - 5. Let i be q(8). Suppose -i*l + 2 = -r. Is l >= 6?
False
Suppose -2*v + 12 = t, 3*v + 10 = -4*t + 38. Let q = t - 6. Let i be 4/(-3)*(-7)/28. Does q = i?
False
Let u be 6*-1 + (-2070)/(-161). Which is bigger: 8 or u?
8
Suppose 0 = 2*t - 4, 3*n + t = -t - 29. Which is smaller: n or 8?
n
Let p be (-5)/((-180)/(-4179))*-1. Let z = -483/4 + p. Is -5 at most as big as z?
True
Let m = -13/4 + 63/20. 