2*r - 8. Let t be c(-6). Suppose 5*j - j + t = 0. Which is smaller: j or z?
j
Let r(s) = -s + 1. Let a be r(-2). Suppose -v + 5*l + 50 = 4*v, 3*v - l - 22 = 0. Let y be (21/v - 0)/(12/6). Which is greater: a or y?
a
Let z = 2.1 + -3.9. Let x = 12.8 + z. Let g = 12.1 - x. Which is greater: -1/4 or g?
g
Suppose 4*l = -l + 5. Let h be (-24)/(-45) - (48/(-18))/(-8). Does l = h?
False
Suppose 2974 = 5*m + 3004. Let g = -6/193 - 9222/1351. Are g and m equal?
False
Suppose -2*o + 86 = -3*f - 0*o, -4*f - 118 = -o. Let j = -88/3 - f. Let y = 0.8 + -2.8. Which is smaller: y or j?
y
Suppose 3*v - 2 = u + 7, -4*u - 15 = -5*v. Suppose -x = -2*h - 6, -4*h = v*x + 2*x + 26. Is x greater than or equal to 4?
False
Let z(c) = -c**2 + 4*c + 2. Let m be z(4). Is m smaller than 21/20?
False
Let h(u) = 2*u - 25. Let i(a) = 3*a - 38. Let g(o) = 8*h(o) - 5*i(o). Let v be g(8). Which is smaller: v or 0?
v
Suppose 0 = -0*d - 4*d - 4. Suppose -3*u - 40 - 20 = -3*t, -2*t + u = -44. Let k be -4*(2 + (-39)/t). Which is smaller: d or k?
k
Let b = 0.253 - 0.29. Let i = b + 2.037. Is 6 at most i?
False
Let m be 22*(-6 + 3)/(-3). Let f = m + -10. Suppose x = 3*u + 16, -u + f = -2*x - 6*u. Is 5 less than x?
False
Let y = -1941 + 3910. Do y and 1970 have the same value?
False
Let x = 196630/92837 - 2/5461. Is x > 2?
True
Let z = -22.9 - -73.9. Is -0.1 at most z?
True
Suppose 0 = 2*z - n + 328, n = 5*n + 8. Let m be z/6*6/(-5). Which is greater: m or 34?
34
Let i(k) = 9*k. Let d be i(0). Do 506 and d have the same value?
False
Suppose -4*g - s = 2 + 3, -4*s = 20. Suppose -2*j - 23 + 1 = g. Let u = 465 - 476. Do u and j have different values?
False
Suppose n - 2*h = -6, 2*n - 4 = 3*n - 3*h. Let z(k) = -2*k**3 + 1. Let b be z(-2). Let g = b + -17. Is g at most n?
False
Let k = 0.025 - -2.075. Which is smaller: -2 or k?
-2
Suppose -203 = -5*m + 52. Let s be 1 - 2342/(-46) - 1. Let x = m - s. Which is greater: x or -1?
x
Suppose -5*o - 4*v + 2 = 0, -5*o + 3 = 2*v - 3. Suppose -9 = -5*w + 1. Do o and w have different values?
False
Let c = 6448136557583/15790 - 408368370. Let o = -2/1579 + c. Suppose -2*z - 1 = 1. Which is smaller: z or o?
z
Let i be 21/3*(-2 + (-80)/(-28)). Let a(q) = q**3 - 5*q**2 - 3*q - 19. Let s be a(i). Does s = 34?
False
Let z(p) = -p**2 + p + 1. Let f(r) = -3*r**2 + 8*r - 6. Let o(a) = -f(a) + 4*z(a). Let h be o(-6). Which is smaller: -7/8 or h?
h
Let o = 0.3 + -0.2. Let l = 11.06 - 11. Let u = l - 0.06. Is o <= u?
False
Let u = -759 + 519. Which is greater: u or 0.1?
0.1
Let a = -2115 - -1467. Is a at least as big as -646?
False
Let z = 13 - 57. Let n = z + 43. Is -3/23 < n?
False
Let m(o) = -o**3 - 2*o**2 + o + 2. Let w be m(-3). Suppose -4*g = 2*a - 104, 0 = -3*a - 2 + 14. Suppose -g = -2*s - 0*l - 2*l, -28 = -2*s - 3*l. Is s <= w?
True
Let w = -726 - -6526/9. Let l = -73/18 - w. Which is smaller: l or -3?
l
Let y = -25 - -353/14. Let b(g) = -g**2 - 110*g - 1. Let p be b(-110). Which is greater: y or p?
y
Let h(c) = c**3 - 6*c**2 - 2*c - 2. Let b be h(6). Let w be (0/(-1))/(1 - 3). Let y be 2 + -15 + w + -2. Is y > b?
False
Let y = -17069431/6945 - -12289/5. Is -0.1 at most as big as y?
True
Suppose -3*w + 12029 = -26*w. Is -2 at least as big as w?
True
Let h(q) = -q**2 - 7*q - 21. Let g be h(-9). Is g less than or equal to -40?
False
Let g = 27 - 53. Let q be 6/12 - g/(-12). Let l = q + 37/15. Is l greater than or equal to 1?
False
Let u(p) = p - 12. Let q be (-2 - -34)/2 + -3. Let s be u(q). Which is smaller: 1/18 or s?
1/18
Suppose -2*p - 2*b + 171 = 3*b, 2*p = 3*b + 163. Let s = p + -57. Is s at least as big as 25?
True
Let d be -118 - ((-8)/(-10))/((-4)/10). Let j be (-677)/6 - (1 - -1). Let r = d - j. Is -2 < r?
True
Let r = 31 - 28.8. Let j = r - 1.6. Which is bigger: j or 0?
j
Let r = 0.1 - -0.9. Let t = 5.066 - 3.166. Is r at least t?
False
Suppose -8*n = -295 + 1479. Is -147 less than n?
False
Suppose -5*h + 9 = -6. Let b be ((-22)/3)/((-492)/126 - -4). Let t = b + 81. Which is bigger: h or t?
t
Let x(v) = 12*v - 219. Let i be x(18). Is i <= -8?
False
Let h(i) = -i**3 + 3*i**2 - 3*i + 2. Let v be h(2). Suppose -3*k = v, 5*p + k - 135 = 2*k. Is p > 26?
True
Let s = -4771046/115 + 41487. Let y = 1/23 - s. Is -1 less than y?
True
Let s be ((-35)/65)/((-3)/(-15)). Let r = s + 441/130. Let u = r + -11/30. Is -1 >= u?
False
Let r be (-28)/3297*6/(-4)*3. Is r at most 0?
False
Let s be ((-10)/60*2)/(131/18). Which is smaller: s or 1?
s
Let m(d) be the second derivative of d**4/12 + d**3/6 + 3*d**2/2 - 5*d. Let b be m(-3). Suppose 6*i = i + 3*c - b, -4*i = 2*c - 6. Which is smaller: -3/19 or i?
-3/19
Let l(d) = -2*d**2 + 17*d - 15. Let j(u) = -u**2 + 8*u - 7. Let m(n) = -7*j(n) + 3*l(n). Let w = 1463 + -1459. Let t be m(w). Which is greater: t or -4/9?
t
Let g be (4 - 1)/(49 - 48). Is 19/7 less than g?
True
Let y(a) = -a**3 + 4*a**2 + a - 6. Suppose 4 = -4*f + 4*q - 4, f + 3*q + 6 = 0. Let g be y(f). Which is greater: 53 or g?
g
Let q = -6.3 - 18.46. Let h = q + 30.7. Let j = h - 6. Is 0.2 less than or equal to j?
False
Let t = 0.92 - 56.92. Let z = t - -63. Is z bigger than 0.1?
True
Let l = -54 - -266. Which is greater: l or 1/5?
l
Let a be 8/7*(13/6)/(-1). Let f = a - 8/21. Is -2 > f?
True
Let t = 4 - 5. Suppose -3*c + 56 = -7*c. Let m be 4/c + (-108)/112. Is t < m?
False
Let g = -26 + 35. Let w = -5 + g. Suppose -3*h = -4*x - 2*h - 14, w*x + 4*h + 24 = 0. Is x less than -11?
False
Let u = 2592 + -2869. Which is smaller: u or -279?
-279
Let o(g) = -2*g + 22. Let w be o(7). Let y = -18 + 19. Is w greater than y?
True
Let o = 13 + -10. Suppose -o*n + 6*n + 4 = 4*d, -5*d - 4*n = 26. Let x be (d/(-8))/((-2)/(-8)). Is -2/3 at most x?
True
Let a be (3/(-6))/(-1)*2. Let u be (a - 26) + (-18)/54. Let t = -23 - u. Is t < 1?
False
Suppose 0 = -6*y + 3*y - 21. Let f(q) = q**2 + 5*q - 15. Let c be f(y). Which is greater: c or 1/11?
1/11
Let l be 5/((-7)/(420/(-25))). Let i be 8/(9/(27/2)). Is i not equal to l?
False
Let p = 0.87 - -0.13. Let i = p + 2. Suppose w - 2*f = 2*f + 2, -3*w + 5*f = -6. Is w less than i?
True
Let r = 2.918 + -2.9. Let h = r - 2.018. Which is smaller: -1 or h?
h
Let w be (-6)/(-5)*20/8. Suppose d + 4 = w. Let j be (1/(3/3))/d. Which is greater: -1/7 or j?
-1/7
Suppose 3*m = m - 3*w - 18, -3*m + 3*w + 3 = 0. Let o be (-2 - -2 - (m - 13)) + -3. Do o and 13 have the same value?
True
Let o = -392/15 - -4232/165. Is o equal to -1?
False
Let z = 1.04 + -1.197. Let l = 0.143 - z. Is l less than or equal to 0.8?
True
Let p be ((-8)/(-12))/(4/18). Suppose p*q + 4*x = -48, -q + x - 2*x - 15 = 0. Let l = q + 10. Which is bigger: -1 or l?
-1
Let n be (-44)/(-10) - (-30)/(-75). Suppose -4*k = 3*d + n, -3*k + 2*d + 0 - 3 = 0. Let r be (k/6)/((-6)/(-12)). Which is smaller: r or 1?
r
Let n = 11632 - 593204/51. Is 0 less than or equal to n?
True
Suppose 0 = -r - 9 + 4. Let m be ((-4)/(-5))/(r/25*13). Let v = -2 + 1. Which is bigger: m or v?
m
Let g be (-11)/(-44) + 18/(-8) + 2. Are g and -6/73 non-equal?
True
Suppose 26*s = -644 - 682. Which is bigger: -103/2 or s?
s
Let s = 109917/4 + -60344273/2196. Let n = s - 19982/289323. Let w = n - -1036/4743. Do w and -1 have different values?
True
Let o = 306 - 305. Let m be 2/2*(-30)/(-14). Which is smaller: m or o?
o
Suppose 0 = x + l - 3*l - 799, -3*x + 2352 = 3*l. Which is smaller: x or 788?
788
Suppose -u - 4*u - 254 = 3*b, 5*b + 446 = 3*u. Let x = 135 + b. Do 46 and x have different values?
True
Let d be -6 - (-3 + 1) - 70/(-18). Let n = -7.1 - -7. Which is smaller: d or n?
d
Let k be 4/14 - (-2)/(-7). Let a be (28/14)/((-54)/129) - -4. Is a > k?
False
Let l be (1/2*6)/1. Let m = l - 9. Let n be (-2*4/12)/(4/30). Which is bigger: n or m?
n
Suppose 4*h - t = -24, h - 2*t + 12 = -h. Suppose -4*p - 31 = -7. Let c = p - 1. Which is bigger: c or h?
h
Let j be -8*6/60*-30. Which is bigger: 27 or j?
27
Let k = 35.216 - 0.216. Which is greater: k or -1/2?
k
Let f be (-199)/(6/(-24)*-4). Which is smaller: -198 or f?
f
Let z be ((-276)/3542)/((-3)/49). Which is bigger: 0 or z?
z
Let j = -2.63 - 1.37. Which is greater: -0.08 or j?
-0.08
Let k be -2 + 26217/10095 - (-12)/(-20). Which is bigger: k or 1?
1
Let b be -2*((-21)/7112)/(3*1). Which is greater: 1 or b?
1
Let t(y) = 2*y - 147 - y + 145. Let x be t(11). Which 