e the same value?
False
Let c = -572/5 + 114. Let v = 35 + -35.044. Let l = v + 0.344. Which is smaller: c or l?
c
Let p(s) be the first derivative of -s**2/2 - 7*s - 2. Let k be p(-5). Let t be k + 1 + 1 + 12. Which is smaller: t or 14?
t
Let x = 14983/5 + -2979. Let p = 18 - x. Which is greater: p or 2/9?
p
Let z = -899 - -900. Which is greater: -10 or z?
z
Let f = 11.87 - 0.87. Let u = 154.6 - 143. Let r = f - u. Does 4 = r?
False
Let o be (-104)/65*3*20/(-48). Which is bigger: 574 or o?
574
Suppose 1 = -b - 0. Let m be 0 + -1 - 70/(-7). Let q be m/(-6) - 210/(-156). Which is bigger: b or q?
q
Suppose 4667 = 57*h - 44*h. Which is bigger: 360 or h?
360
Let m = -4567/5 - -917. Is 3 >= m?
False
Let x = 2416/2989 + -38/49. Suppose -2*w + 3*o = -0*w - 1, 0 = w + 5*o - 7. Suppose 0*u - 3*c = -u - 16, 13 = -3*u + w*c. Which is greater: u or x?
x
Let b be -1 + 15 - (-17 - -19). Is b greater than or equal to 17?
False
Let v be ((-123)/492)/(2/(-8)). Let q = 6.91 + 0.09. Let c = 5 - q. Is v at least as big as c?
True
Suppose 3*j - 12 = -u - 0*u, 12 = 4*j. Suppose 3*x - 13 = t, 2*t - 2*x + 22 = u*x. Let k = -137 - -1508/11. Is k at least as big as t?
True
Let l be 57 - (4 + -2)*1. Is l >= 53?
True
Let p = -5 + 4. Is 14.3 greater than p?
True
Let j = 109 + -713/7. Which is greater: j or 7?
j
Let a = 37 - 22. Let p be ((-24)/14)/(4/(-28)). Let c = a - p. Is 3 != c?
False
Suppose -11 = -n - 1. Let k(u) = u**3 - 11*u**2 + 11*u - 8. Let l be k(n). Is l less than 0.1?
False
Let z = -0.129 + 59.129. Let y = z - 58. Which is smaller: y or -0.7?
-0.7
Let k be 3 + (-19)/7 + -2. Let s = -1 + 1. Suppose s = -13*w + 18*w + 5. Are k and w equal?
False
Let q = -0.099 + 5.099. Is q > 3?
True
Let v = -89 - -98. Let d = v + -53/6. Which is smaller: 1/4 or d?
d
Let b = -77 + 147. Let j = b - 34. Let h be 2*(-3)/j*-22. Is h at least 3?
True
Let v = 209/129 + 2/43. Which is bigger: 0 or v?
v
Let y = -21 + 24. Suppose 4*i + 3*o = 15, -5*o + 22 + y = -i. Suppose i = -s - z + 1 + 1, -1 = -2*s + z. Is s at least 1/5?
True
Suppose z = 2 - 1. Let q = -8/205 - 53/3895. Which is greater: q or z?
z
Let m = -11.32 + 2.32. Which is greater: 2/5 or m?
2/5
Let k = 4 + -3. Let b be ((-166)/2075)/(58/60 - 1). Is b > k?
True
Let s be (((-4)/6)/((-1)/3))/1. Which is greater: s or 30/11?
30/11
Let o(q) = -1 + 4*q**2 + 2*q - q**3 + 5 + 2*q**3. Let f be o(-4). Let i = -3 - f. Is 2 smaller than i?
False
Let c = 8079 - 8078.7. Let k = -0.09 - -9.09. Is c at least as big as k?
False
Let j = 9237 + -378715/41. Suppose 0 = -n + 4*n. Which is smaller: j or n?
n
Let n = 95/23 + -3445/667. Are n and 0 non-equal?
True
Let a(p) = 3*p**2 + 37*p - 162. Let q be a(-20). Which is smaller: 296 or q?
296
Let f = -45 + 23. Let y = -177/8 - f. Which is smaller: 0 or y?
y
Let i(b) = 2 + 0 + 3*b + 0 + b**3 - 6*b**2. Let d be i(5). Suppose -70 = 12*x + 14. Is d greater than x?
False
Let s = 102.9 - 102. Is 21 smaller than s?
False
Let d be 0 - -2 - 5934/720. Let y = 1/120 - d. Which is bigger: y or 7?
7
Suppose 0 = 2*x + y - 2*y - 5, -2*x - 7 = 3*y. Let b = 13.13 + -0.13. Let s = b + -13. Is x at least s?
True
Let f be -1*(-1050)/(-715) + (-60)/(-110). Which is bigger: -2 or f?
f
Let n = 0.32 + -31.32. Let v = -0.632 - 30.168. Let w = v - n. Are w and -2 equal?
False
Suppose 6*k - 146 = 52. Let x(m) = m**2 + 10*m + 34. Let v be x(-10). Which is bigger: k or v?
v
Let j(z) = -z**3 - 3*z**2 + 3*z. Let u be j(-4). Let p = -1 + u. Let b = 10979/6 + -1830. Which is bigger: p or b?
p
Let r = -26.5 - -27. Let j = -0.69 + r. Let i = j + 3.19. Is 3 at most i?
True
Let r be 150/(-66)*(-312)/30. Is 25 != r?
True
Let m = 431/2 - 31465/146. Let n = -1026 + 1027. Is n less than m?
False
Let o = -334.78 - -0.78. Which is smaller: -0.1 or o?
o
Let g(n) = 2*n + 1. Let m(j) = j + 1. Let c(i) = g(i) - 3*m(i). Let l be c(1). Does -9/5 = l?
False
Suppose -5*u - 2 = 3. Let h be u/18*-3*-2. Let n be -2 - (17/(-9) + 0). Which is bigger: n or h?
n
Suppose -4 = n, -10 = 3*j - 4*n + 10. Let h be j/(-42) + (-12)/21. Let q = -6 - 6. Which is smaller: h or q?
q
Let m be (-3 + 9)/(((-75)/(-40))/(-5)). Is -14 bigger than m?
True
Suppose 2*k + 2*v = -0*k + 52, -3*k = -2*v - 83. Let x be 2*((-1)/2 + 41 + -22). Let i = k - x. Is -11 not equal to i?
True
Let h be (2 + -8 + -1)/(-3 + 2). Suppose -30 = 2*k - h*k. Is k less than or equal to 5?
False
Let z = 513 - 496. Which is greater: z or 29?
29
Let d = -41 - -46. Let v be (-1 - 71/5)*d. Let w be 4/((-16)/v) - 1. Which is smaller: w or 1/3?
1/3
Let u be ((-55)/(-10) - 3)*-26. Which is smaller: -70 or u?
-70
Let p = 0.7482 - -0.2518. Which is smaller: -0.0208 or p?
-0.0208
Let q = -28 + 34. Suppose 0*g = q*g - 12. Which is smaller: 4 or g?
g
Let q(d) = -2*d**2 - 19*d - 24. Let x be q(-8). Which is smaller: x or -2/21?
-2/21
Suppose 10*y + 214 = 64. Let t be (1 + 9/y)*5. Which is smaller: 3 or t?
t
Let q = 1795.9 - 255.9. Let b = q + -1531.79. Let z = 0.21 - b. Is -1/4 bigger than z?
True
Let f(d) = -d**2 - d + 13. Let s(g) = g**3 + 8*g**2 + g + 9. Let a be s(-8). Let n be 0/((-1)/(a + 0)). Let u be f(n). Which is greater: 12 or u?
u
Let n be ((-6)/21)/(22/33). Which is greater: n or -48?
n
Let v be (9/60)/((-1563)/15 + 7). Is v equal to 1?
False
Let r be (57/(-6))/(27/6 - 4). Let a = 14 + -34. Is r equal to a?
False
Let t = -9 + 10. Suppose -m + v - 16 = -0*v, 2*v = -m - 31. Is t less than m?
False
Let h = -155 + 739/5. Do -7 and h have different values?
True
Let c = 27 - 17. Suppose c*i + 26 = 12*i. Let v = -10 + i. Is v >= 3?
True
Suppose -27180*i - 395 = -27175*i. Suppose 0 = -0*f + f + 80. Is i bigger than f?
True
Let i = -21/8 - 25/24. Suppose 0 = -4*v - 20 - 0. Which is smaller: i or v?
v
Suppose -8*x + 173 = -7*x + 5*q, 0 = -x - q + 177. Do x and 180 have the same value?
False
Let n(u) = u + 1. Let b(z) = -12*z - 16. Let c(h) = -b(h) - 10*n(h). Let y be c(-5). Let o be y/(-3)*(-72)/64. Which is greater: o or -1?
-1
Let h = -0.016 + 0.316. Which is smaller: h or -19/4?
-19/4
Suppose -4*q + 204 = 268. Which is smaller: q or -14?
q
Let t be (-1)/(-20 + 1)*(-4)/(-136). Which is smaller: t or -1?
-1
Suppose 1066 = 22*i - 3818. Which is smaller: i or -0.1?
-0.1
Let s = -95.52 + 3.32. Let t = -92 - s. Is t < 3/14?
True
Let h = -24 - -25. Let c be (-2)/(-1) + (h - 5). Let t be (c - -1) + 65/60. Which is greater: t or -1?
t
Suppose -3*p = -6*p - 3. Let o = -23 - -27. Suppose -o*j = -12*j + 8. Which is greater: p or j?
j
Let c be (-6)/8 - (-4)/(-16). Let v(w) = 16*w**3 - w. Let l be v(c). Suppose -11*z + 5*i = -8*z + 32, -8 = 4*i. Does z = l?
False
Let q(h) = h**3 + 7*h**2 - 9*h - 94. Let w be q(-5). Are w and -8/227 nonequal?
True
Let i = 16 + 59. Let v be (2/10)/((-15)/i). Let z = -11641/22 - -529. Is z at most as big as v?
False
Let i be (27 + -30)/(2/((-8)/6)). Suppose 0 = i*w - 3*w - w. Which is bigger: 2/3 or w?
2/3
Let c = -11 + 34. Let q = -35 + c. Is q < -11?
True
Let o(k) = -44*k**2 - 4*k. Let c(m) = m**3 + 4*m**2 - 6*m - 8. Let b be c(-5). Let d be o(b). Let z be (d/(-92))/(-1) + 4. Is 1 at most as big as z?
False
Let n be 1/(3 - ((-28)/(-16) + 1)). Let m be (n/(-8))/(-3*2/(-12)). Which is smaller: m or -2/51?
m
Let l(c) = c**2 - c - 1. Let m(j) = 4*j**2 - 10*j - 2. Let u(t) = -3*l(t) + m(t). Let o be u(5). Which is smaller: -10 or o?
-10
Suppose -2*i - 267 = -5*v + 80, 0 = v - 4*i - 55. Which is bigger: v or 72?
72
Let z(d) = -71*d + 17. Let c be z(2). Let v be 3 + -6 + (-385)/c. Let s = -2 - -2. Which is greater: s or v?
v
Suppose w - 217 = 4*q, 4*w - 439 = 2*q + 387. Let r be -1*w - (6 + -3). Let z = r + 1448/7. Which is smaller: 0 or z?
z
Suppose 0*i = -2*h + i - 1, 10 = h + 3*i. Suppose h = -7*g + 6*g. Let q = -25 - -36. Which is greater: q or g?
q
Let o = -10 - -16. Let v(q) = -q**3 + 13*q**2 + 68*q + 5. Let a be v(17). Suppose -5*s = -2*n + 11 - a, -s + 2*n = o. Which is greater: s or -1/4?
s
Let t be (-6)/(-16) - (-231)/(-168). Do t and -4/469 have different values?
True
Let i = 70 - 67. Suppose -t - 6 = -4*g + 16, -4*t + i*g - 114 = 0. Do -31 and t have different values?
True
Suppose 5 = -2*r - u + 25, 2*u + 50 = 5*r. Let f = -3 - r. Is -12 greater than f?
True
Let f = -1729/60 + 86/3. Let n(r) = 9*r + 134 - r**3 + 14*r**2 - 7*r**2 - 143. Let s be n(8). Is s < f?
True
Suppose 0 