 3/(-10) + (-2)/4. Is i equal to t?
False
Let r = 0.0177 + 252.9823. Let c = 254.21 - r. Let m = 0.21 - c. Which is bigger: m or 0?
0
Let n be (10 - 14 - 10/(-4)) + 2. Which is smaller: -18.6 or n?
-18.6
Let d(q) = 4*q - 2. Let m be d(-4). Let f = m + 27. Suppose 0 = 5*v + 4*x - 42, v + 0*v + 5*x = 0. Is v greater than or equal to f?
True
Suppose -4*g - 11 = 3*o, -3*g - 6*o - 4 = -8*o. Is g bigger than 40?
False
Let x be (0 - (2 - 0)) + 0. Let l(m) = m**3 + 2*m**2 + m + 2. Let d be l(x). Suppose d*o = 3*o + 15. Which is bigger: -2/3 or o?
-2/3
Let w = -8.5 + 8. Let i = w + 0.7. Let j = -6.926 - 0.074. Which is smaller: i or j?
j
Suppose 2*t = -2*s + 97 + 69, -3*s = -3*t - 261. Do s and 83 have different values?
True
Suppose 10 = 4*j - 2*j. Suppose 40 = 2*y - 7*y - 5*b, -j*y = -4*b + 13. Let r be -5 + (3 + 0 - 2). Is r < y?
False
Let g = 6 + 14. Let i = g + -17. Let a = 0 - -0.2. Which is bigger: a or i?
i
Let y = -20 - 1. Which is greater: y or -145/7?
-145/7
Let g be 82 + -93 - (-7834)/712. Which is greater: g or 0?
g
Suppose 0 = 7*h - 38 + 38. Which is smaller: h or 11/34?
h
Let g be 2/(2 - 48/25). Suppose 4*r - 5 = n - 47, -4*n - 3*r = -92. Which is greater: n or g?
n
Let t = -532.36 - -548. Let a = t + 0.36. Let k = a - 20. Which is smaller: k or 0.2?
k
Suppose -2*g + 63 - 15 = 0. Suppose g*s - 21*s = -45. Which is smaller: s or 0.2?
s
Let m(j) = -9*j + 30. Let g(w) = -4*w + 15. Let f(z) = 7*g(z) - 3*m(z). Let x be f(17). Are x and 8 non-equal?
True
Let x = -107.75 + -12.25. Do x and 7 have the same value?
False
Let l(s) be the first derivative of -s**2/2 - 11*s - 4. Let c be l(-5). Let b be 9/c - (-57)/18. Is b smaller than 3?
True
Let r = -195 - -171. Is r at least -24?
True
Let d be (0 + 0)*(-2 + 0 - -3). Let q = 2 + d. Let a = 709/18 - 77/2. Which is bigger: a or q?
q
Suppose -3*n = -0*n + 2*w - 53, -3*n = -3*w - 63. Suppose -s = -n + 26. Let u(i) = -2*i**2 - 15*i - 8. Let b be u(s). Which is smaller: 10 or b?
b
Let v = -2/547 + 27356/1641. Let a = -2996 + 3013. Is a smaller than v?
False
Let b be 5 - (-3 + -1) - -1. Suppose 4*m - 2*m = -b. Which is greater: 1 or m?
1
Let r = -138545 - -1522423/11. Is r < -142?
True
Suppose -16*i + 19*i = 348. Let y = 1277/11 - i. Is 2/9 > y?
True
Suppose -8*l + 6*l - 32 = 0. Let x = 0 + 9. Let t = x + l. Do t and -1 have different values?
True
Let h = -21.87 - -22. Let c = 786/7 - 112. Which is bigger: c or h?
c
Let i(j) = -4*j - 7. Let g = -22 - -20. Let m be i(g). Let z be m/3 + 204/(-18). Which is smaller: z or -1?
z
Let f(y) be the second derivative of y**5/20 + y**4/3 + y**3/6 + 15*y - 4. Suppose -7*m + 2*m - 15 = 0. Let n be f(m). Which is bigger: 7 or n?
7
Let l(d) = -d**3 + 39*d**2 + 4*d - 115. Let n be l(39). Is n less than -3?
False
Let n(q) = 2*q**3 + 28*q**2 + 31*q + 54. Let u be n(-13). Suppose 4*p + 6 = -26. Which is smaller: p or u?
u
Suppose 5*j + 195 = -5*l, 5*l = j - 4*j - 117. Let z be ((-2814)/(-4))/(72/(-4)). Let k = z - j. Is k bigger than -1?
True
Let m = -750 + 754. Suppose 2*t = -z - 8, 0 = -5*z + 3*t - 1. Let y be m/8 - z/(-4). Which is bigger: y or 9?
9
Let q be 5*2/3*3. Let x = -6993 - -7005. Is q less than x?
True
Let x be 2/(-6) + 2/6. Suppose -2*i - 5*o = 132, x = i + 2*o - 12 + 76. Let u be i/(-48) + 2/(-4). Which is bigger: 2 or u?
2
Let b be 6 + 5/4 + -2. Is b less than 4?
False
Suppose -2*n + 10 + 4 = 0. Let r = 2 + n. Which is smaller: 7 or r?
7
Let g = 6.3 + -6.3. Let n = g + -0.09. Let t = -3 + 4. Is t at most n?
False
Let r be (-7)/((-28)/(-16)) + 19. Suppose -2*k = 5*f - r, -4*f + 32 = 5*k - 14. Let p be k/4*9/(-5). Which is greater: p or -6?
p
Let v = -2 + 15. Let w = 13.1 - v. Let m = 2 + -5. Which is smaller: m or w?
m
Let w = -238 + 252. Let z = 0.063 - 14.023. Let l = z + w. Is l <= 2?
True
Let h be (-34)/((-2)/(-2)) - -1. Suppose 56*i - 320 = 51*i. Suppose 0 = -10*u + 8*u - i. Is h less than or equal to u?
True
Let w(s) = 8*s**2 + 31*s - 65. Let f be w(-6). Which is smaller: f or 417/11?
f
Suppose 3*r + 4*a - 241 = 0, r + 5*a = 2*r - 74. Suppose -3*c - 2*g = c - 96, 3*c - r = 2*g. Let z be (-1)/(-2) - 10/c. Which is smaller: 1 or z?
z
Let o = -1786/3 + 586. Let c = -373/39 - o. Suppose 2*k - 5*p - 15 = -k, p + 3 = 2*k. Is k at most as big as c?
False
Suppose 10*k - 11*k - 30 = 5*q, 20 = 4*k. Suppose 2*c = -2*c - 36. Let y be q/2 + c/(-18). Which is greater: y or -5/3?
-5/3
Let g = -1 - -1. Let t be (-820)/((24/9)/4). Let p be 2/17 + t/1785. Is p greater than or equal to g?
False
Suppose -32 - 10 = 2*m. Let a = 22 - 13. Let r be 8/m + 6/a. Which is smaller: 0 or r?
0
Let l = 225 + -224. Is l bigger than 5?
False
Let r be (-1)/(-2)*-1*14560/624. Let k = 4 + -17. Which is smaller: k or r?
k
Suppose 0 = -l + 115 + 19. Suppose -5*b - 186 = l. Is b bigger than -64?
False
Let s be ((-2)/(-3))/((-4)/6). Let n be (-6)/(-30)*s/(-2). Let o be 6/(-27) + 33/27. Which is smaller: n or o?
n
Suppose 2*z - z - 20 = -4*b, -5*b + 18 = 3*z. Let t(v) = -6*v - 5*v**2 + v**3 + 0*v**2 + 0*v. Let u be t(b). Which is bigger: u or 3/7?
3/7
Suppose -4*z - 2*n = 8, -2*n = 2*z - 31 + 37. Which is greater: 4/969 or z?
4/969
Let g be (-2)/(1 - 2) - -11. Suppose -2*v - g = 15. Let t = -16 - v. Do t and -1/2 have different values?
True
Suppose -s + 4 = 3*j - 2, -4*j = 8. Suppose -g + 3*p + s = -2, -3*p + 38 = g. Which is smaller: 27 or g?
g
Let m = 32180 - 32149.958. Let o = 0.042 - m. Which is smaller: o or 1?
o
Let i be (-5)/(-10)*-18*3. Let s = i - -27. Which is bigger: s or 2/25?
2/25
Let r = -35 - -40. Suppose 3*x + 11 = -r*l, -5*x + 4*l + 13 = -18. Is x less than or equal to 5?
True
Let i = 1 + -1. Let o(b) = b**3 + 4*b**2 - 11*b - 22. Let u be o(-5). Let q be (-3 - -1) + u/6. Is q at least i?
False
Suppose 0 = -3*k - 0*k - 9. Let d be -3 + -5 + 4 - 20/(-16). Is k greater than or equal to d?
False
Let u(v) = -v**3 + 4*v**2 + 5. Let c be (140/(-50))/(1/5). Let n = -10 - c. Let i be u(n). Is i > 5?
False
Suppose -5*j + 710 = h, -4*j - 5*h + 221 + 326 = 0. Is j greater than or equal to 143?
True
Let j(q) = q**2 - 16*q - 22. Let c be j(17). Let d(r) = -r**2 - r + 16. Let v be d(c). Which is greater: 2 or v?
2
Let i(h) = 3*h - 4. Let j(s) = -7*s + 9. Let c(x) = 9*i(x) + 4*j(x). Let g be c(-5). Let u = 0.048 + 0.952. Which is greater: u or g?
g
Let z = -12 - -9. Let r(i) = -i**3 - 4*i**2 - 2*i + 3. Let u be r(z). Suppose 4*p - 3 = -u*p - 3*s, -2*s = -p - 13. Is p equal to -4?
False
Suppose 93 = 5*o - 242. Is o greater than or equal to 69?
False
Let k = 44176/159 - 833/3. Is 0 at most as big as k?
True
Let t be (-12)/(-8) - 10/(-4). Let y be 4 + -1 + (t - 14). Let d = -3 - y. Which is smaller: 3 or d?
3
Let r = 373 + -369. Is r at most 24/7?
False
Let a be (-35)/(-10)*(-16)/(-14). Let y be (-94)/4 + a/(-8). Let n = -19 - y. Which is greater: 0 or n?
n
Let l(p) = -2*p**3 - 44*p**2 - p - 24. Let g be l(-22). Suppose -a - 3*a = 0. Let t be (g/(-6)*a)/(-1). Which is greater: -12 or t?
t
Suppose 0 = -4*f - i - 15 + 168, 0 = -5*f + 5*i + 160. Is f greater than -2?
True
Suppose -3*p = 2*p + 4*v - 433, 0 = -p + v + 83. Suppose -4*b - 43 = p. Which is greater: -31 or b?
-31
Suppose -2*d - 3*p + 7 = 0, -5*d - 4 = -5*p + 16. Is -5/16 at most d?
False
Let b be 2/3*(-9)/(-16). Let v(g) = -g**3 - 20*g**2 - 21*g - 37. Let f be v(-19). Is b at least f?
False
Let w be 4/(-6) - (-12354)/90. Let s = w + -137. Is s <= 0.26?
True
Let i = -2164 + 28121/13. Are 0 and i equal?
False
Suppose 6 + 9 = -5*b. Let u = 1090 - 1092. Which is bigger: b or u?
u
Let g = 173 + -172. Which is greater: 4/29 or g?
g
Suppose -4*n = 5 + 27. Is -2/69 <= n?
False
Suppose -13 = -4*i + d, 0 = d - 2*d - 1. Suppose 0*z + 3*z = 5*a + 27, -z - 3*a - 5 = 0. Suppose -t = -z + 1. Is t < i?
False
Let h be 8*(-2)/(-4)*-1. Suppose 3*r + 24 - 63 = 0. Suppose -4*y + r - 9 = 0. Which is greater: h or y?
y
Let f = -9.5 + 9.552. Let k = f + -0.162. Which is bigger: k or -3?
k
Let k be (26 - 2184/63) + 1/(-3). Let p(f) = -2*f - 6 + 8 - f. Let l be p(4). Are k and l equal?
False
Let b = -225 + 226. Which is greater: b or -23?
b
Let l(u) = u**2 - 17*u + 45. Let b be l(14). Let k be 4*(15/20)/b. Is 2/65 >= k?
False
Let c(h) = -47*h + 55. Let q be c(-4). Let a = -264 + q. Let w be -20 + (1 + -1)/2. Which is smaller: a or w?
a
Let x = 12322 + -61296/