Let s = 2 + z. Let t be (-6)/(-12) + (-2)/4. Does s = t?
True
Let g(p) be the first derivative of 3*p**2/2 + 3*p + 3. Let d be g(-4). Let x(q) = q**2 - q - 8. Let y be x(0). Which is bigger: y or d?
y
Let o = -8 - 14. Let a = o + 17. Let b be -6*(5/3 + -1). Does a = b?
False
Suppose -3*x + 76 - 101 - 95 = 0. Let m be 2/((-2)/(1 + 0)). Which is bigger: m or x?
m
Let g(h) = -h**3 + 27*h**2 + 29*h + 126. Let v be g(28). Is 155 >= v?
True
Let z = 6029/30 + -201. Which is smaller: z or 1?
z
Suppose 5*z - 2*q = -51, 4*z - 3*q + 54 = -z. Let h be (-8)/(-6) - (-6)/z. Let k = h + -5/12. Which is smaller: k or -1?
-1
Let u be (-3700)/730 + (-36)/(-9). Is u less than or equal to -1?
True
Let j = 16 - 13. Suppose j*i - 4*i = 0. Suppose i = 7*d - 6*d + 1. Is -3 less than d?
True
Let g(u) = 8*u - 4. Let p be g(2). Suppose 0 = 5*o - 6*o - p. Let d be 0 - (o/4 - -4). Which is smaller: d or 1/16?
d
Let p = -0.083 + -218.917. Is p != 2/9?
True
Let j = 5066 - 10133/2. Let t = -0.4 + 2.4. Let y = -5 - t. Which is smaller: y or j?
y
Let v(n) = n**3 - 4*n**2 + 3*n - 8. Let y be v(4). Suppose f - l = -2*f - 7, l - y = 0. Let d be (-8)/(-10) + 0 + -1. Is f at least d?
False
Let c be (-9)/21 + (-38760)/(-280). Is c < 136?
False
Let r(x) be the first derivative of -3*x**2/2 + 13*x - 38. Let q be r(4). Which is smaller: q or -2/139?
-2/139
Let l be (-207)/(-46) - (-223)/(-14). Which is smaller: l or 0.4?
l
Let z = -169 + 511/3. Let h = -190 - -953/5. Let c = h + -1/10. Which is greater: z or c?
z
Let f(m) be the second derivative of m**4/6 - 3*m**3 + 17*m**2/2 - 4*m. Let w be f(8). Which is smaller: w or 2/49?
2/49
Suppose -2*p = -22 - 130. Let l be (-1 - -2)/(p + 1). Is -1 at least l?
False
Let i be 1/(-4 - (-21)/5). Suppose i*k - 9 = 21. Let u be 6/10*(-4)/k. Which is smaller: u or -1?
-1
Suppose -5*u - 10 = r, 4*r = -4*u + 3*r - 9. Are u and -3/13 non-equal?
True
Let z = 47 + -47. Let w = -3507/16 + 219. Which is bigger: w or z?
z
Let v be ((-2)/(-7))/(1 + (-98)/70). Do v and 0 have the same value?
False
Let a = -0.66 - -1.23. Let f = a - -0.43. Which is smaller: 12 or f?
f
Suppose -3*f + 5*x + 6 = 0, 12*f - 2*x = 16*f - 34. Is f less than or equal to 38/5?
True
Let u = 512 - 511. Is u smaller than -1/1856?
False
Let q(s) = -7*s**3 - s**2 + 2*s**3 - 6*s + 6*s**3 + 6*s**2 - 3. Let v be q(-6). Let i(n) = -n - 10. Let b be i(-7). Is v less than or equal to b?
True
Let u = 94688/25 - 3787. Do u and 0 have the same value?
False
Let q = 1.016 - 0.016. Let s = 29 - 30.1. Let w = -1.1 - s. Which is smaller: q or w?
w
Let p = -4 + 5. Let x = -1/132 + -25/1056. Are p and x nonequal?
True
Let v(n) = -n**2 - 16*n + 38. Let d be v(-18). Which is smaller: d or -0.4?
-0.4
Let d be (-10 - 0) + 2268/108. Is d greater than or equal to 6?
True
Let y = 7 - 7.19. Let p = 0.394 + -0.004. Let t = p + y. Which is bigger: -3 or t?
t
Suppose 0*s - 2*s = -12. Suppose s*i - i + 31 = -4*j, 0 = -4*j + 2*i - 66. Is -13 >= j?
True
Let c = 1 + -1. Let r = 70877/210 - 675/2. Are c and r nonequal?
True
Let h be 36 - (10/(2 + 0) - 2). Let m = -51 + h. Is m greater than or equal to -13?
False
Let j = 665 - 445. Let g = 154 - j. Let s = g - -861/13. Is -1 greater than s?
False
Suppose -o = -5*c + 70, -5*c - 4*o = -o - 90. Which is bigger: c or 190/13?
c
Suppose 5*y - 5 + 75 = 5*u, -2*y - 40 = u. Let h = y + 12. Let o be 14/h*(-21)/7. Which is greater: o or 5?
o
Suppose 6*n = n + 30. Suppose 3*y = 4*g + 227, 5*g + n*y = 5*y - 260. Is g at least as big as -51?
False
Suppose -b + 8 = b. Let x be -19 - 8/b - 1. Let f = 89/4 + x. Which is smaller: -1 or f?
-1
Let m(l) = 8*l**2 - 2*l. Let g be m(1). Let s be (-115)/(-351) + (-2)/g. Let o = -4222/1755 - s. Is o greater than -3?
True
Let z = 4.2 + -4. Let a = -71.5 + 55. Let m = a + 17. Which is smaller: m or z?
z
Let z be 20/(8/(-2)) + 5. Suppose 0*g - 5*g + 10 = 0. Let y be -1*g/4*z. Is y at least as big as -1/10?
True
Suppose -4*n - 13 = v, 2*v + v - 12 = 5*n. Let u(y) = 2*y + 39. Let m be u(-18). Suppose 4*l - m*z = -15, 2*l + 2*l = 2*z - 14. Is l greater than or equal to n?
True
Suppose 26*z - 3744 - 15366 = 0. Are z and 734 equal?
False
Let a(p) = -15*p**2 - 3*p - 4. Let z be a(-1). Let v be 22 + (1 - z/(-4)). Is 20 less than v?
False
Suppose -3 = p, -4*h - 2*p - 1 = p. Let w(j) = -j**3 - 25*j**2 - 47*j - 19. Let r be w(-23). Suppose r*g - 14 = h. Which is greater: g or 3?
g
Let w = -358.08 + 359. Is w smaller than 0.3?
False
Suppose 4*j - 14 = 2*x, j = -3*x - 0*j. Let s(b) = -21*b + 2. Let h be s(x). Which is bigger: 22 or h?
h
Let o(w) = -w**2 + 12*w. Let g be o(12). Suppose -3*u + 4*c - 6 = 0, 4*c = -g + 12. Suppose -3 = -u*n - 1. Which is smaller: -1 or n?
-1
Suppose 0 = 2*z + 6, -2*p + 16*z - 13*z - 125 = 0. Is -332/5 smaller than p?
False
Let b(s) = -s - 18. Let q be b(-20). Suppose 5*y + 6 = q*y. Does y = -2?
True
Let y(c) = -8*c - 96. Let x be y(3). Is 1/2 at least as big as x?
True
Suppose 2*r - 664 - 1259 = 5*s, 4*r - 1921 = 5*s. Do s and -385 have different values?
False
Let y(t) = t**3 - 2*t**2 - 4*t + 1. Let b be y(3). Let k be 5*10/25*b. Let d be (6/(-15))/(k/(-180)). Is d bigger than -18?
False
Suppose 35*j - 144 = 33*j. Let c = -58 + j. Which is smaller: 10 or c?
10
Let n(s) = -s**3 + 6*s**2 - s + 7. Let j be n(6). Let b = -211889/41 - -5168. Are j and b equal?
False
Let i = 1294 + -1299. Let v = -21/8 + 27/8. Is i not equal to v?
True
Let q = 1/859 - -841/15462. Which is greater: 0 or q?
q
Let m = -23 + 25. Suppose -m*v = -v - 3. Suppose -40 = -3*o - k, -5*k - 91 = -v*o - 21. Is 16 at most as big as o?
False
Let w = 2/43091 + -87644/31499521. Which is smaller: 1 or w?
w
Let o = -103.24 + 104. Let f = 0.17 - -0.07. Let s = o + f. Are s and 0 nonequal?
True
Let g be (52/(-54))/(-6 - (-119)/21). Which is smaller: g or 3?
g
Suppose -2*m - 654 = -3*q, -4*m - q - 1280 = -0*m. Is -321 at most as big as m?
True
Let h be ((72/(-84))/(-1*3))/(-1). Which is smaller: h or 129?
h
Suppose 3*o - y = 394, 2*o = -2*o - 4*y + 520. Let l = 112387/13 + -8514. Let q = o - l. Is q > -1?
True
Let o be (-4)/(-16) + (-90)/296. Let s = o - -45/148. Let q be ((-1)/9)/((-1)/(-3)). Which is bigger: q or s?
s
Suppose 180 = -7*j + j. Are j and -34 equal?
False
Suppose r + 0*t + 2 = t, 2*t + 31 = -3*r. Suppose b + 12 = 5*n, 2*b + n - 11 - 9 = 0. Suppose -2*g = 24 - b. Is g smaller than r?
True
Let v(k) = -3*k + 15. Let l be v(0). Let g(y) = y**2 - 12*y - 18. Let n be g(l). Is n greater than or equal to 27?
True
Let u = 9 - 7. Suppose -61 = u*y + v, v = -y - 3*y - 127. Let r = -21 - y. Is r <= 11?
False
Suppose 4*u - 80 = -4. Let y(t) = -t**3 + 7*t**2 - 7*t + 3. Let c be y(7). Let s = -27 - c. Is u greater than s?
False
Let c(n) = n - 4. Let d be c(7). Suppose d = k - 3*v, -3*k - 15 = -0*k + 3*v. Let u be -1 - ((-16)/(-7) + k). Which is smaller: u or 3?
u
Let j be 3/4 - (-27)/(-68). Let g = -35 + 36. Which is greater: g or j?
g
Let u = 11.7 + -2.7. Let f = -9.06 + u. Let t be (-3)/10 - 2/10. Is t at most f?
True
Let t = -10.9 - 0.1. Let b = 11.3 + t. Is -5 >= b?
False
Suppose -3 = 7*q - 10. Suppose 1 - 10 = -3*t. Let p be (t/(9/6))/(-2). Which is greater: p or q?
q
Let b = 43 + -24. Let s = -22 + b. Do s and 2 have the same value?
False
Let v = 1.97 - -0.03. Let m = -0.35 + 1.37. Let b = m - 0.02. Is v <= b?
False
Let d(r) be the second derivative of -r**5/20 - r**4/2 - 2*r**3/3 - 3*r**2/2 + r. Let z be d(-5). Let y = z - -9. Which is smaller: 0 or y?
0
Suppose -3*b - 107921 - 1667266 = 0. Let s = 12419549/21 + b. Let y = 322 + s. Which is smaller: y or 0?
0
Let x(n) = -2*n**2 + 23*n + 32. Let s be x(13). Let a be (-8)/28*s + 1/4. Which is greater: a or 1/6?
a
Let s = 754.04 - 739. Let l = 0.04 - s. Let d = l - -15.3. Which is greater: 0.04 or d?
d
Let y = 121 - 122. Which is smaller: 0.011 or y?
y
Let a = 6451/14 + -461. Suppose 12 = -0*m - 3*m, 2*m = -2*n - 8. Is a < n?
True
Let w be (64/(-392))/(36/(-63)). Are w and 3/107 non-equal?
True
Let r = -3624 - -25554/7. Which is greater: r or 27?
27
Let x = -2953/5 - -591. Is x at least 15.4?
False
Let p = -149 + 145. Let b = -8 + p. Is b at most as big as -1?
True
Let c = -0.01 - -0.01. Let y = -0.2 - c. Let i be 2*(-4)/(-16)*2. Which is smaller: i or y?
y
Suppose 3*o - 151 + 157 = 0. Are -17/7 and o nonequal?
True
Let 