 1). Are -0.1 and a unequal?
True
Let a = 29 - 132. Which is smaller: a or 0.1?
a
Let l be (-5)/(181 + 6 + -4). Which is smaller: l or -1?
-1
Let j be (256 - -1)*145/25. Let c = -127813/85 + j. Let y = -168/17 - c. Is 3 greater than y?
False
Let m = 71.38 - -3.52. Let v = 75 - m. Which is bigger: v or 0.002?
v
Suppose 3*v - 2 = 2*v. Suppose -r - 3*o = 20, -r - 3*o = -5*r - 5. Let w be (-3 - r) + 0/1. Is w >= v?
True
Let i = -32 - -17. Let v(y) = -3*y**2 - 33*y - 96. Let c be v(-4). Are c and i equal?
False
Let s = 44 + -80. Let a = -37 - s. Is a >= 2/39?
False
Let z = 575/6 + -36797/384. Which is smaller: z or 1?
z
Suppose -d + x = 1, 7*x = d + 2*x + 9. Let t be (-21)/(d - (-29)/(-2)). Suppose 2*o + 5*u - 4 = 5, -5*o - u + 11 = 0. Which is bigger: t or o?
o
Suppose -4*i - 12 = -w, w = -i - 3 - 0. Which is greater: w or 247?
247
Let m(i) = -5*i**2 - 33*i + 83. Let s be m(5). Is s equal to -206?
False
Let k be -2 - (-25)/(-1195)*-96. Is k less than 0?
False
Suppose -3*n - 3*i + 5 = 2, -2*n + 8 = -4*i. Let d be -2*((-46)/4 + n). Let x = d - 19. Which is greater: x or -1/3?
x
Let d(f) = -3*f**3 + 14*f**2 - 11*f + 8. Let z(y) = 2*y**3 - 9*y**2 + 7*y - 5. Let x(a) = -5*d(a) - 8*z(a). Let r be x(1). Which is greater: r or 2/39?
2/39
Suppose -114*r + 86*r = -1680. Which is smaller: 73 or r?
r
Suppose 0 = -19*i - 28*i - 47. Is -2/203 less than or equal to i?
False
Let o(f) = f**2 + 13*f + 26. Let m be o(6). Is 139 at most as big as m?
True
Let g = 99 - 100. Is -0.0592 at most g?
False
Suppose 10 = -2*q + 4*m, -3*m + 5*m = 2*q + 2. Suppose q*u + 7 = -2, 3*v + 4*u = 66. Is -1 smaller than v?
True
Let p = -1 - 0. Let q(k) = -k**2 - 9*k - 5. Let x be q(-8). Let o = x - 5. Is p smaller than o?
False
Let a be 2410/(-8) + -2*75/(-120). Is a less than -302?
False
Let u be 16/12 - 1/3. Suppose -2 = v + v. Let l be 0/((-1 - v) + 3). Which is smaller: l or u?
l
Let p = 0 + 17. Suppose -157 = r - 0*r - 175. Is r smaller than p?
False
Let v be (1 + (-33)/6)*(-12)/(-18). Let m be (-24)/10*10/v. Is 3 greater than or equal to m?
False
Suppose -3*i - 42 = -3*f, 2*f + 26 = 5*f + 5*i. Is 74/7 <= f?
True
Let a be (-7593400638)/(-21090) - (-1)/(-5). Let b = 360048 - a. Let o = 24/37 - b. Is o equal to 0?
False
Let x(u) = -u**3 + 11*u**2 - 11*u + 6. Let n be x(10). Let v = -94 + 89. Which is greater: n or v?
n
Let a be (-6 + 8)/((-2)/(-10)). Let v be -4 + 0 + 54/a. Which is bigger: v or 0?
v
Let q(z) = -12*z + 3. Let y be q(-7). Let o = -82 + y. Which is smaller: -1 or o?
-1
Let u = -26 - -20. Let c be 2 - 2 - (-4)/u. Let i = -165/2 + 1173/14. Are c and i equal?
False
Let b = -3642 - -921428/253. Which is bigger: b or 1?
1
Suppose 4*t + 174 = -14. Let w = -70 - t. Which is greater: -24 or w?
w
Let g(u) = -5 + 0*u**2 + 20*u + u**2 - 2*u**2 + 2. Let l be g(16). Is 60 < l?
True
Let y = 90 + -83. Which is bigger: -2 or y?
y
Let b = 26/3 - 8. Suppose -n + 72 = -4*t - 25, 0 = -2*t - 2*n - 46. Let m be 17/(-12)*(-18)/t + 1. Is b bigger than m?
True
Let i(o) = -o - 7. Let b be i(-5). Suppose -5*g + 10 = -3*m + 163, 4*g + 5*m = -152. Let n = -131/4 - g. Which is smaller: n or b?
b
Let f = -26 + 50. Let b be f/(-30)*(-2)/2. Let r be (-21)/(-35) + 6/(-10). Which is smaller: r or b?
r
Let y = -2323 - -1145. Which is smaller: y or -1179?
-1179
Suppose 40 = 5*u + 55. Is u less than or equal to -24/13?
True
Suppose 4*q + 36 = 4*y, -6*q + q - 2*y = 38. Let s = q - -6. Let k be s*((-7)/22)/(-7). Is k less than 1?
True
Suppose 3*o = -0*o - 9. Let b be (180/(-200))/((-6)/(-28)). Are b and o equal?
False
Let u be (-7 + -5 + 136)/(-46). Is -2 >= u?
True
Suppose -12*b = -71 - 49. Let m be (-2)/b + (-2 - 114/(-45)). Is 2.1 bigger than m?
True
Let q(o) be the third derivative of o**5/20 + o**4/12 + o**3/3 + 7*o**2. Let b be q(2). Are 18 and b unequal?
False
Let z be -2 + (-39)/(-15) - (-24)/(-40). Which is bigger: 2/109 or z?
2/109
Let h be (-4 + 0)*-1 - 6. Let u be 35/(-21)*(-1 + h). Is u greater than 4?
True
Suppose -3*m = -0*m - q - 34, 3*q - 66 = -5*m. Let i(p) = p - 9. Let j be i(m). Suppose -j*y - 1 = -4*y. Is y at least 0?
True
Let n = 391 + -390.03. Is 2 > n?
True
Let v(r) = r**3 - 7*r**2 - 5*r + 9. Let o be v(7). Let g be -3 + -1 - 108/o. Are g and 8 non-equal?
True
Suppose -a - 4 = 14. Let z = 17 + a. Suppose 5*l + 6 = -4*d, -2*l - d - 5 = -2*d. Which is greater: z or l?
z
Suppose 2*x = 3*d - 18, 0*x - x - 9 = 3*d. Let p(r) = -r**3 - 8*r**2 + 9*r - 8. Let s be p(x). Let n be 1*(s - -2) + 2. Is -4 smaller than n?
False
Let m = -1278 - -1331. Which is greater: m or -0.1?
m
Let u(c) be the first derivative of 2*c**3/3 + 37*c**2/2 - 27*c + 2. Let p be u(-19). Suppose -4*r + 30 = -7*r. Which is greater: p or r?
p
Let b be 70/(-21)*(-3)/2. Suppose 10 = 5*v + b. Which is greater: -0.2 or v?
v
Let i be 3/(-12)*(5 + -17). Let f be ((-22)/4 + i)*-6. Is 15 < f?
False
Let u be (1/2)/(102/36). Suppose 6*o = 5*o. Do u and o have different values?
True
Suppose 11*s - 10*s - 9 = 0. Let i be (-79)/s - (-14)/(-63). Is -10 at least as big as i?
False
Let v(u) = 5*u**2 - 12*u + 31. Let m be v(9). Are 329 and m equal?
False
Suppose 7 = -3*j + k, -5*k = 4*j - 5*j + 21. Suppose 0 = 3*d - 5*d + 6. Suppose z - 3*f = 16, -d*f - 5 = 3*z + 7. Is j at most z?
True
Let h = -10 + 29/3. Let a = -53 - -43. Which is smaller: h or a?
a
Let c(z) = 5 - 11*z + 0*z + z**2 + z. Let k be c(10). Let m(u) = 2*u - 12. Let q be m(k). Are q and -2 unequal?
False
Let i = -1.1 - -1.3. Let t = 0.3 - -0.4. Let m = t - i. Which is smaller: m or 1/4?
1/4
Let w(f) = 3*f**2 + 29*f + 40. Let g be w(-7). Let d = -3268/195 - -6/65. Which is bigger: d or g?
g
Let p = -447 - 135. Is p greater than or equal to -582?
True
Let y(i) = i**3 + 11*i**2 - 2*i - 13. Let n be y(-11). Let l = 16 - 26. Let s = l + n. Which is greater: s or 4?
4
Let b(g) = 3*g**2 - 3*g - 13. Let k(w) = w**2 - w - 4. Let f(j) = -2*b(j) + 7*k(j). Suppose 2*c = -12*c - 14. Let t be f(c). Which is smaller: -2 or t?
-2
Let m = -4 + 8. Let l be ((m/2)/(-2))/1. Which is smaller: 2 or l?
l
Let v be (39 - 7)*(-2)/(-4). Let c be 24/v + (-1)/2. Are 5 and c equal?
False
Let c(t) be the third derivative of t**5/60 + t**4/6 - t**3/6 - 3*t**2. Let y be c(-2). Are y and -4 equal?
False
Suppose -5*v + 21 = 4*p, p = -4*v + 17 + 2. Let a = -157.7 - -160. Let f = a - 2.33. Are f and p nonequal?
True
Let i be 682/(-24) + (75/20 - 3). Let v be 8002/(-282) - (-2)/3. Let a = v - i. Which is smaller: -1 or a?
-1
Suppose 3*l = -2*b + 102, 0 = 32*l - 36*l - 4*b + 128. Suppose -i - 39 = -x, 4*x + 4*i - 195 = -x. Which is smaller: l or x?
l
Let a = 62 - 62. Let d(v) = -v**3 - 4*v**2 + 9*v - 4. Let j be d(-7). Let t be (j/(-7))/4 - -2. Does t = a?
False
Suppose -144 = 94*u - 98*u. Suppose 4*r + 50 = 190. Which is smaller: u or r?
r
Let o = -3/6524 - 103835/1193892. Which is smaller: 0 or o?
o
Suppose -348 = -42*c + 30*c. Which is smaller: c or 39?
c
Let b = -88 - -63. Let a = -61 - b. Let f be ((-3)/(-9))/(102/a). Is f less than or equal to 0.2?
True
Let u = 13.001 + -0.001. Is 3 bigger than u?
False
Let j(i) = 3*i + 33. Let f be j(-16). Let l be (-18)/40 - f/60. Which is smaller: l or -0.07?
l
Suppose -5*r = -38 + 113. Let t = 36 - 21. Let d = t + r. Which is bigger: d or -3/10?
d
Let z be 12/(-3) + (-1 - -148). Let s = z - 272. Is -130 equal to s?
False
Let h(f) = 23*f - 1. Let l be h(-2). Is l != -234/5?
True
Let n be 2629/1287 + 6/(-39). Which is greater: n or 2?
2
Suppose 1446 = 11*s - 1414. Is 260 at least as big as s?
True
Let y = 2.379 - 1.579. Is y less than or equal to -4/5?
False
Let t be (15/(5/5))/(-1). Which is greater: -14 or t?
-14
Let l = -0.03 - 0.57. Let r = l + -1.4. Let d = -4.051 - -0.051. Is r at most as big as d?
False
Let c = -16 - -10. Let k be 2 + c + 2 + 7. Let d be (-6)/(k/(10/(-3))). Is 1 equal to d?
False
Let r be (6/(-4))/(18/61224). Let i be (3 - r)/(4 + -26). Let j = -232 - i. Which is smaller: j or 0?
0
Suppose 0*u - 17 = -5*s + 4*u, -2*s + 3*u = -11. Let q = -50 + 50. Are q and s equal?
False
Let r be (-2)/(-2) - (463 + -452). Let m(a) = -3*a + 6. Let v be m(4). Let h(d) = -d**3 - 5*d**2 + 8*d + 3. Let z be h(v). Is z at most as big as r?
False
Let n = 0.64 - -0.26. Let i = -0.9 + n. Is i less than or equal to 2?
True
Let c = 13/7 - 253/140. Let t be 532/8*((-18)/