 3*i(k). Let z be p(-25). Do -78 and z have different values?
False
Suppose 5*v = 71*w - 48*w + 8208, 5*w + 1768 = -3*v. Is -356 > w?
False
Let c = -1.433 - -1.233. Which is greater: c or 0.466?
0.466
Suppose p + 221 = 4*j, 5*j - 4*p = 159 + 131. Let y = j - 43. Let h(z) = -z**2 + 5*z + 33. Let o be h(y). Are -33 and o non-equal?
False
Suppose -3*y = 5*p + 18, 5*p - 8*y + 50 = -3*y. Let k be 70*(21/p + (-36)/(-9)). Is k bigger than 40?
False
Suppose 0 = 4*v - 2*j + 3682, 2*v - 2*j + 1769 + 69 = 0. Which is bigger: v or -921?
-921
Suppose -5*i - 2*f - 12 = 47, i - 3*f = -22. Is i bigger than -8?
False
Let q = 14377512632347/12012 + -1196929120. Let p = 1/1716 - q. Let m be 3*3/(-6)*180/54. Which is bigger: m or p?
p
Let y = -3767.2 + 3767.3. Which is smaller: 2/13081 or y?
2/13081
Let v = 2608 + -2595. Which is smaller: v or 219/17?
219/17
Let h be -8 + (-30)/(-6) + (-15)/(-1). Suppose 3 + 45 = -h*x. Let s = x - -24. Is s != 19?
True
Let g = 4513 + -4521. Which is smaller: 37 or g?
g
Suppose 5*i + l = 2*l + 2762, -l = -3. Let y = -551 + i. Which is smaller: y or -1/33?
-1/33
Let y be 8/(-60)*(-10)/(-112)*122. Let b = y - 31/14. Suppose -1 = 4*o - p + 17, -2*o = 2*p + 14. Which is bigger: o or b?
b
Suppose 6*c - 13 = c + 2*d, 0 = -4*d + 4. Let n be 0*(20/(-32) - (-3)/(-8)). Suppose n = 20*y - 4*y + 160. Is y bigger than c?
False
Let u = 48/71 - 1926/3479. Let b = 34 - 30. Suppose 3*w - 16 = b*d + 1, -2*w + 4*d = -18. Which is smaller: w or u?
w
Let q be -133 - (22 + -13) - -13. Which is bigger: -45 or q?
-45
Let w(s) = -s - 13. Let y be w(-13). Let o = 57421/20 - 2870. Let q = o - 61/60. Which is bigger: y or q?
q
Let c = 58 - 58. Suppose m + 5*l - 4 = c, -2*m + 5*m + 45 = 4*l. Let d(q) = -3*q - 32. Let u be d(m). Which is smaller: 3/10 or u?
3/10
Let m = 4271 + -499702/117. Are m and -2 nonequal?
True
Let w = -253 - -2285/9. Let g be (51/(-9) - -6)/(1/3). Let o be g/(-1 - (-1 - 0 - 1)). Is o less than w?
False
Let c(d) = d**2 - d - 2. Let a(b) = 3*b**2 - 2*b - 7. Let k(f) = 4*a(f) - 14*c(f). Let z be -1*(-1)/(1/3). Let y be k(z). Which is greater: y or -4/11?
y
Let q be 4*1 - (-159336)/(-552). Let n = q - -285. Which is smaller: 1 or n?
n
Let f = -214 + 229. Suppose -f*g - 61 = 179. Which is greater: g or 5?
5
Let l = -5906 + 442949/75. Which is smaller: 1 or l?
l
Let c = -5696 - -7896. Is 2200 greater than or equal to c?
True
Let f be 22/(-4)*(24 - -2). Suppose -3*h = 5*g - 4*g + 431, 2*h + g = -288. Is h greater than f?
False
Let f = 2/27 + 7/27. Let h(c) = 2*c**3 - 2*c**2 - c + 360. Let o be h(0). Which is smaller: o or f?
f
Let s(z) = -z - 13. Let g(f) = -f - 15. Let h(w) = 3*g(w) - 4*s(w). Suppose -3*o - 18 = 3*o. Let a be h(o). Which is smaller: a or 3?
3
Let c be 70810/5475 + (-1)/(-6)*2/5. Let g be 32/14 + (-2)/7. Suppose -11*n = -g + c. Which is greater: n or -2/7?
-2/7
Let m be 714/715 + -3 + 2. Let x(j) = 1651*j - 80899. Let r be x(49). Do r and m have the same value?
False
Suppose -3*f = -3 - 3. Suppose 0 = -l + f*l + 12. Suppose 2427*o + 1524 = 2300*o. Is l >= o?
True
Let y = 51.9 + 5.1. Let m = y + -59. Let b = m + 3. Which is smaller: -17/6 or b?
-17/6
Suppose -2*p + 10 = k, 3*k = 4*p + 4 - 34. Let m be ((-3)/(6/(-4)))/p. Let c = 1659 + -1655. Is m smaller than c?
True
Let p(f) = 20*f**3 - f**2 + f. Let y be p(1). Let w = y + -27. Let a = w + -11. Is a bigger than -19?
True
Let j be (128/36 + -4)/(-2). Let y = -29 + 37. Let g = y + 1. Is j equal to g?
False
Suppose 1320*j - 53 = 1373*j. Which is smaller: 39/127 or j?
j
Let g be 226/(-350) + (-4)/(-14). Suppose 6751*i = 6575*i. Is g at least as big as i?
False
Suppose -r + 177 = 2*y + 2*y, 3*y - 885 = -5*r. Let v = -186 + r. Which is greater: -42/5 or v?
-42/5
Let w = -1.3 - -1.18. Let o be (491 - -22)*(-4)/6. Let d = o - -343. Is w > d?
False
Let m = 575 + -1016. Let y = -444 - m. Do -57 and y have the same value?
False
Let y be (-1)/(-4 + 32955/8242). Does 635 = y?
False
Let t = -64 + 70. Suppose -3*g = 0, -g - 1 = 7*x - t*x. Let h be 2/((-108)/50) + 1. Which is smaller: h or x?
x
Let h = 274 + -245. Suppose -h + 32 = 3*n. Let c be 2/24*18/20. Which is smaller: n or c?
c
Let g be (3/(-9))/(((-6)/(-9))/(-2)). Let o = -8/423493 - 224025757/107990715. Let l = 32/15 + o. Which is smaller: l or g?
l
Let s(b) = 5*b - 194. Let c(q) = 7*q - 157. Let v be c(28). Let f be s(v). Does -118 = f?
False
Let m(k) = -k**3 - 9*k**2 - 12*k - 30. Let o be m(-8). Suppose -10*f = -8*f - o. Which is smaller: f or 19/13?
f
Let q be (-26)/(-4) + (-21)/14. Suppose b + 5*z + 19 = 0, 2*z + q + 0 = -3*b. Let k(i) = i**3 - 12*i**2 - 12*i - 7. Let h be k(13). Which is smaller: b or h?
b
Suppose 244*w = 242*w + 22. Let r = 6 - 26. Let i = -19.9 - r. Which is bigger: i or w?
w
Let g = 4362 - 3182. Which is smaller: 1179 or g?
1179
Let q be (-60047)/(-143) + 30/(-33) + 1. Is 419 at most as big as q?
True
Let h = 25.8 - 21.542. Let v = 0.058 - h. Let o = 4.3 + v. Which is bigger: o or -6?
o
Let b = -815.142 - -813. Let p = 0.142 + b. Are -0.007 and p unequal?
True
Let i be (-484)/(-66) + 2/(-6). Let b be (-1 - (-9)/i)*(-43)/602. Is 2 <= b?
False
Let b = 12772.996 + -12867. Let o = b + 94. Which is smaller: 2 or o?
o
Let t(f) = 206*f + 84. Let a be t(7). Suppose -4*x + 2*q + 1814 = 0, -5*q = 5*x - 749 - a. Are 455 and x equal?
False
Suppose -7*c + 132 - 69 = 0. Let o be (-24)/((1/c)/((-2)/12)). Does 37 = o?
False
Let r = 10.18 + -12.2. Let f = 0.02 + r. Which is smaller: f or -1/36?
f
Let n(f) = -6*f - 5*f + 1 - f**2 + 8*f. Let c be (30/25)/(3/(30/(-4))). Let j be n(c). Which is bigger: j or 10/9?
10/9
Suppose -4*y = -32, 3*r = 7*r - 6*y + 708. Which is greater: -174 or r?
r
Let p = 0.023 + -0.15. Let s = p + 0.127. Is s <= -16?
False
Let q(s) = -s**3 - 2*s**2 - s + 1. Let h be q(-2). Suppose 0 = h*l - 2 - 4. Suppose l*g + 25 = 19. Is g > -4?
True
Let b be (1309/21)/17 + (6 + 3)/(-3). Is b smaller than -6.1?
False
Let q be (13 + 148526/(-11424))*6/4. Which is greater: q or 1?
1
Let f = 15.8 - -5.2. Let a = -251 + 554. Let c = a + -303.1. Which is bigger: c or f?
f
Let n = -1814 + 1194. Is n greater than 2/3?
False
Suppose 153 = 9*w - 0. Let f = -85 + w. Is -67 at least as big as f?
True
Let u = -383842 + 1535201/4. Suppose 0 = -0*y - y - 43. Is y at most as big as u?
True
Let m = -14687 - -14688.6. Which is greater: 496 or m?
496
Suppose -43*n + 41*n + 8 = 0. Let m = 312 + -6801/22. Is n < m?
False
Let v = 4072 - 4014. Which is smaller: -16 or v?
-16
Let v = -16/1219 - 19168/25599. Is 46 smaller than v?
False
Let q be 57*(-33)/(-144) + -13. Let z = 7 + -4. Let u = -2 + z. Which is greater: q or u?
u
Let j = 618164/1740277 + -362/1067. Is 0 smaller than j?
True
Let d be -322 + 0 + 8/2. Let j = 224 + d. Let f = 101 + j. Do f and -2 have the same value?
False
Let r = -64 - -49. Let d be (-11)/33 + (-2)/((-18)/r). Which is smaller: -9/13 or d?
d
Suppose 5*p + g - 27 = 0, 0 = -2*p + 4*g - 2*g + 18. Let a(x) = 7 + x**2 - x**3 - p + 0*x**3. Let o be a(0). Which is smaller: o or 2/145?
2/145
Let o = -3981 - -3585. Is -396 bigger than o?
False
Suppose -5567 = -39*u + 49. Which is smaller: 154 or u?
u
Let f(n) = n**2 - 5*n + 8. Let y be f(4). Suppose -4 = -4*z + 12, 0 = y*b - 2*z - 916. Is b less than or equal to 231?
True
Suppose 12*g = 1245 - 6873. Which is bigger: g or -471?
g
Let z = 20 + -39/2. Let q = -351 - -506. Let f = q + -173. Is f smaller than z?
True
Suppose 0*f - 4*k = f + 28, -4*k - 12 = -f. Let i be (f/((-24)/(-77))*-3)/2. Are 38 and i unequal?
True
Let d(q) = -14*q + 7. Let k(u) = -u**3 + 23*u**2 - u + 31. Let x be k(23). Let n be d(x). Is -104 at most n?
False
Let o = -20 - -24. Suppose 3 = -o*i + 7. Let f be (-124)/341 + (2 - 2). Which is smaller: f or i?
f
Let t(m) = 8*m - 20. Let g be (33/6 - 2)*64/112. Let w be t(g). Which is smaller: w or -32/7?
-32/7
Let v = 79 + -76. Let j be (-58)/v*72/168. Which is bigger: -9 or j?
j
Let d = -18.5 + -2.5. Let v = d + 30. Let l = -9.1 + v. Which is smaller: l or -48?
-48
Let j be (-3 + (-47975)/(-4))/((-219)/(-12)). Let b = 657 - j. Do -2/5 and b have the same value?
False
Let m be -8*(-17)/(-51)*(-1 - 9940/(-16)). Are -1654 and m non-equal?
False
Let p = -1591/705 - -8/141. Let a(y) be the first derivative of 3*y**2/2 - 27*y - 5. Let f be a(8). Which is bigge