e different values?
True
Let o(c) = -c + 7. Let i be o(-6). Let y(f) = f**3 - 14*f**2 + 11*f + 27. Let x be y(i). Which is bigger: x or -1/4?
x
Let y(j) be the second derivative of j**4/12 - 8*j**3/3 + 4*j**2 + j. Let i be y(16). Is i > 9?
False
Let r = -1.2 + 5.1. Let c = r + -3.3. Let i = c - -1.4. Which is smaller: i or -14?
-14
Let z(q) = 12*q**3 + 1. Let w be z(-1). Let b = w + 12. Suppose -r = b - 2. Is -4/13 >= r?
False
Suppose 0 = 5*u - 3*k + 228, u + 2*u - 4*k = -128. Let m be u/3 - (-8)/(-4). Let v be (-2)/m*(-24)/(-4). Which is smaller: 0 or v?
0
Let o be (-1)/2 + (27/(-2))/(4 + -7). Let q(g) = 8*g + 5. Let b(z) = -17*z - 10. Let i(y) = -6*b(y) - 13*q(y). Let j be i(-5). Is o equal to j?
False
Suppose 19 - 19 = 15*g. Is -5/137 at least as big as g?
False
Let z(a) = a + 7. Let j be z(-6). Suppose -3*w - 2*h = 1, -3*w + 4*h = 2*w + 31. Let i be (12/148)/(w/2). Are j and i equal?
False
Let f = 1.047 - 0.047. Let k = -2 + 3. Let i = k + -0.9. Is i > f?
False
Suppose 3*a - 12 - 3 = 0. Suppose a*t + 4 = 19. Suppose 3*d + t*o = 2*d - 1, 0 = -5*o + 15. Is d >= -10?
True
Let g = 16.14 - 16. Let v = g - 0.1. Let s = v + -5.04. Which is greater: 1 or s?
1
Let i = -317 + -145. Let d = 3 + 11. Let y be 6/d + 170/i. Is y > 0?
True
Let k be (-485)/2 - (-3)/(-6). Let f = k + 3643/15. Let a = -16408/5 + 3282. Which is bigger: a or f?
a
Let k be (-5 - (-2 - -1)) + (33 - 3). Suppose -28 = 2*u - k. Which is bigger: u or 1/20?
1/20
Let r = 416 + -415. Is r >= 2/1965?
True
Let m = 5/6 - 7/6. Let v = -6.1 + 6. Let l = -0.9 + v. Which is smaller: m or l?
l
Let x be (-30)/50 + 2/5. Are x and -166 equal?
False
Let w = 684 + -654. Suppose x = 15 + 8. Let f = x - w. Is f less than or equal to -7?
True
Let i be (3 - (-5)/(-2)) + 6/(-4). Which is smaller: -1/344 or i?
i
Let o(t) = -2*t**2 - t**3 + 0*t**2 - 13 - 5*t**2 + t + t. Let u be o(-7). Let q = u - -28. Which is smaller: 0.05 or q?
0.05
Let o = -4.85 + 5. Let a = o - -0.05. Let f = a + -0.3. Which is smaller: f or -2?
-2
Let g be 21/(-27)*46/(-2). Let s = g - 53/3. Is s at least 2?
False
Let o(s) = -s**2 - 11*s + 15. Let z be o(-12). Suppose u + 3*u + 6 = p, -5 = -u - z*p. Let r be (-8)/24*(u - 0). Which is smaller: r or 0?
0
Let c = 29.9 - 35. Let j = -5 - c. Let k = 1.7 + 0.3. Is k less than j?
False
Let l be (2114/350 - 6)/(46/(-4)). Which is bigger: l or -4?
l
Suppose 0 = -0*c - c + 2. Let l be 455/990 - c/11. Let h = -5/9 - l. Is 0 at most h?
False
Let p(j) = 3*j**2 + 5*j - 28. Let v be p(-7). Let c = v + -65. Let m be 82/4 + (-3)/6. Which is smaller: m or c?
c
Let h(a) = a**2 + 32*a + 135. Let y be h(-5). Is y greater than or equal to 20?
False
Suppose 0 = -2*n + 10, 0 = -5*r + 3*n - 45 - 20. Which is smaller: 36 or r?
r
Suppose -9*g = 9 + 765. Is g < -87?
False
Suppose 711 + 682 = -23*r + 222*r. Suppose -12 = -5*s + 2*s. Is s at least as big as r?
False
Let f = 0.24 + -0.39. Let w = -25 + 24.7. Is f smaller than w?
False
Let p = -3.8 - 2.2. Let r = -0.01 - -7.01. Let h = p + r. Is h <= -11?
False
Let h(i) = i**3 + 5*i**2 - 2*i - 4. Let o be h(-5). Let j = -12 + 20. Does o = j?
False
Let k be (-8)/28 - 24/(-182). Suppose 6 = 2*n - 4*s, -2*n = 4*s + 3 - 1. Which is smaller: k or n?
k
Let u = 2.43 + -27.43. Which is smaller: -4 or u?
u
Let w = 65/11 - -75/11. Are 12 and w nonequal?
True
Let l be 1*((-1)/(-4) - (-37)/(-148)). Is 2/4525 smaller than l?
False
Let w = 0.01 - 0.05. Let o = 0.198 + 3.762. Let x = o - w. Which is greater: x or 0?
x
Let z be 81/(-92)*(-1 + 10/(-6)). Which is bigger: z or 2?
z
Let v = 924/67 - 1741606/126295. Let w = v + 5561/88595. Which is bigger: w or -1?
w
Suppose -5*s - 16 = 14. Let t be 3/27 + 17/9. Is t at most s?
False
Let r = 11.34 - 0.34. Let x = 17 - r. Which is smaller: x or 1/12?
1/12
Let l be (1 - 12/(-6)) + (-470444)/198. Let v = l - -2373. Is v at least -1?
True
Let q(z) = -z + 9. Let i be q(5). Suppose 4*w + 5*c - i*c = 7, 3*c - 10 = -w. Let x be w - (17/(-19))/(-1). Which is bigger: 1 or x?
1
Let m = -797 + 1001. Which is smaller: m or 2?
2
Suppose -464 = -b + 4*q, 4*b + 4*q = 435 + 1421. Is b equal to -1?
False
Let m(o) = -4*o + 14. Suppose -5*t = 4*y - 11, 0*y = -5*t - 2*y + 13. Let r be m(t). Which is bigger: 1 or r?
r
Let n = -0.07 - -0.07. Let p = -134 + 111. Is p >= n?
False
Let v be (-137 + 137)/(2/4*4). Are v and -7/171 unequal?
True
Let z be ((-3)/(-4))/(-12*(-54140)/(-640)). Is 0 bigger than z?
True
Let a be -24 - (3/18 - 7/42). Is -330/13 less than a?
True
Suppose 2*j - 8*m = -6*m + 2, 0 = 2*j + 2*m - 22. Which is greater: j or 4?
j
Let g = 377 + 493. Let n be (-2)/9 - g/(-27). Are n and 33 equal?
False
Let i = 81/2 - 9473/234. Let m be 5 + -5 + (-580)/(-6552). Let l = i - m. Which is bigger: l or -1/2?
l
Suppose 358 - 108 = 25*g. Is 83/8 greater than g?
True
Suppose 2*j = -2*w + 3*w - 22, -69 = -3*w + 5*j. Let n = 27 - w. Which is greater: -4/17 or n?
-4/17
Suppose u - 5 = o, -6*u + 11*u = o + 21. Is -27 at least o?
False
Let t = 0.368 - -0.032. Let g(q) = -2*q**2 - q. Let p be g(1). Which is bigger: t or p?
t
Let u(y) = y + 2. Let r be u(8). Let c be 10/(-4)*18/r. Suppose 4*p + 21 = 3*s, -6*p - 25 = -2*p + s. Which is smaller: c or p?
p
Let p = 728 + -728. Is p greater than or equal to 0.047?
False
Let c be 10/(3 - -2) + 5. Suppose -c*z + 2*z = -20. Which is smaller: z or 13/5?
13/5
Let x be (-572)/(-15) - (-4)/(-30). Suppose -3*d - 13 = -b - 4*d, -3*b = 4*d - x. Let m = 13 - b. Is -1/16 > m?
True
Suppose 4*k = -5*o + 148, -6 = -0*k - 3*k. Let m = o + -31. Let v(w) = -w**3 - 5*w**2 - 3*w - 3. Let z be v(-4). Which is greater: z or m?
m
Suppose -5822 - 996 = 7*c. Let x = -57468/59 - c. Is x less than 0?
True
Let n = -52 + 170. Which is smaller: n or 0?
0
Let c be 2 + 2 + -1 + 1. Suppose -7*y + 2*y - 5*b + 30 = 0, c = -y + b. Let x = -2 + 2. Which is greater: y or x?
y
Suppose -2*o = 3 - 9. Let a be 1*-2*o/6. Which is smaller: a or -2/9?
a
Suppose -27*t = -103 - 113. Is t > -5?
True
Let b(d) = -2 - 9 - 78*d + 87*d. Let a be b(1). Does a = -3/5?
False
Let d = 5 + -43. Let j = -27 - d. Suppose 8*u = j*u + 81. Which is smaller: -26 or u?
u
Let z be -1*(-4)/(-8)*-36. Let l = z - 20. Which is smaller: 0 or l?
l
Let s = -256/133 + 42/19. Let v = 6 - 5. Let p be -1*(-4 - -3)*v. Which is greater: p or s?
p
Let s(c) = c**2 + 4*c - 6. Let n(w) = -w**2 - 5*w + 5. Let d(u) = 4*n(u) + 3*s(u). Let x be d(-6). Let v be x/(-24) - 6/(-18). Are v and -0.02 equal?
False
Let y = -4.5 + -25.5. Let u = y + 29.7. Is 9/4 at least as big as u?
True
Suppose 0 = -29*f + 14*f - 1680. Which is greater: -111 or f?
-111
Let y = 29 + -28. Let w = -2 + y. Let p(b) = -b + 3. Let t be p(4). Is t at most w?
True
Let j be 44/(9 + -5) + 80. Which is bigger: 0 or j?
j
Let o(j) = -2*j - 1. Let n be o(-7). Suppose -n = 2*k + 5*r, -2*k - 4*r - 17 = -7*k. Which is smaller: k or -39?
-39
Let u be (8 + -3)*28/10. Suppose -3*p + 19 = -u. Suppose -2*k = 6, -t - 4*k + 3*k = -p. Are 13 and t unequal?
True
Let q = 2.7 - 0.7. Let o = q + -1.96. Let y = 27/22 - 8/11. Are o and y unequal?
True
Suppose -m = i - 10, 3*i = m + 3 + 7. Which is bigger: i or 12?
12
Let p = -9 - -8. Let y be (-207)/(-161) + (-3 - 0). Is y smaller than p?
True
Let s be (8544/656 - 13)*1*-3. Let o be (0/2)/((-4)/2). Which is smaller: o or s?
s
Let j be (-3)/(-8) + (10 - 6201/(-104)). Is j less than or equal to -1?
False
Let t(s) = 15*s - 117. Let k(l) = 8*l - 59. Let r(j) = 11*k(j) - 6*t(j). Let u be r(27). Does u = -2/251?
False
Let c(x) = -x**2 + 10*x + 3. Let j(t) = t**3 + 18*t**2 - 2. Let h be j(-18). Let a = 12 + h. Let d be c(a). Is d less than or equal to 0?
False
Let b(k) = 3*k**2 + 3 + 6*k**3 + 2*k - 8*k**3 + 3*k**3. Let n be b(-2). Is 3 < n?
False
Let p = 0.7 - -2.3. Let k = 2.95 - p. Suppose -3*c - 5 = -b, 0*c + 5*c - 4*b + 6 = 0. Which is greater: c or k?
k
Let c = -121/259 - 25/37. Are -1 and c equal?
False
Let s = 133 - 92. Do 0.4 and s have different values?
True
Let j = -132851/87 - -1527. Let r = j + 95/348. Which is bigger: r or 79?
79
Let h = 1.58 - 1.68. Let z = 199/4 + -50. Which is greater: z or h?
h
Suppose 3*k - 121*y + 253 = -122*y, k + 3*y = -79. Which is greater: -86 or k?
k
Let t be (-144)/(-112) - (-3)/9*-3. Is t greater than -1.73?
True
Suppose 2*k - 8 = -20. Let w be (360/(-16))/(-15)*(-4)/k