= -12 - -15. Are i and p nonequal?
True
Let a(k) = -k**3 + 7*k**2 - 4*k + 4. Let v be a(6). Let f be ((-1)/(-2))/(2/20). Suppose 4*s = j - 37, -f*s + s = 4*j - 48. Which is greater: v or j?
j
Let o be (-11)/(-11)*(2 - 1). Let l = 38 + -23. Let u be 3/l + 7/15. Is u at least o?
False
Let q = -161273/1056 - 53/96. Let h = 153 + q. Let w(k) = k**2 - 4*k + 4. Let j be w(3). Which is greater: h or j?
j
Let o be 2090/6 + 1/(-3). Suppose 2*y = -2*y + o. Which is greater: y or 88?
88
Let w(q) = 2*q**3 - q**2 - 5*q + 10. Let a be w(3). Let o be (-2)/(-16)*a/60. Let s(j) = -j**3 - 5*j**2 + 7*j + 7. Let h be s(-6). Which is bigger: h or o?
h
Suppose 24*z - 17*z - 707 = 0. Is 0 smaller than z?
True
Suppose -3 = 3*o + 3*x + 3, 0 = 4*o + 2*x + 4. Which is bigger: 23/29 or o?
23/29
Suppose 2*u = 5*u + 12. Let d = 7.9 + -6.9. Which is greater: d or u?
d
Let j = -215 + 211. Let g be 4/(-18) - (-188)/36. Suppose 4 = n - 0, 4*x - g*n = -28. Which is bigger: x or j?
x
Let b(g) = -g**3 + 3*g**2 + 70*g + 25. Let t be b(10). Is t equal to 38?
False
Let t(p) = 7*p - 12. Let j be t(4). Let s = 11 - j. Is s greater than -5?
False
Let f = -107.892 + 108. Let b = f + -0.018. Which is smaller: b or -2/5?
-2/5
Suppose -m + 3*c + 1 = 0, -2*c - 3 = -4*m + 1. Let n be (-6)/9 - (-19)/15. Is n > m?
False
Let c = -2/136673 + -268848/307377577. Is 0 > c?
True
Let a be (136/(-90))/(-2) + (-2)/3. Suppose 6*y = -8 + 14. Which is smaller: a or y?
a
Let s = -14 + 16. Suppose 12 = 3*y - p, s*y = -y + 4*p + 12. Is y at most 3?
False
Suppose 13*u - 28 = 24. Let b be u + 0 - (-9 - -8). Which is smaller: 7 or b?
b
Suppose 0 = -x + 15 - 3. Suppose 3*o + 3*u = o - x, 3*o = u - 7. Which is bigger: 1/7 or o?
1/7
Suppose -3*x - b = -2*b - 15, 3*b = 0. Suppose 6 = x*g - 2*g. Suppose 0 = g*l - l. Which is smaller: l or 5/4?
l
Suppose 3 = 2*s - k, -7*s + 5 = -5*s - 3*k. Which is greater: 28/29 or s?
s
Let u = 536/351 + -16/13. Let k = -130/621 + u. Is k greater than -0.1?
True
Suppose 5 = y - 0. Suppose 4*v = -5*f - y, 2*v - v + 5*f = -5. Let h be -1*(2 + 9/(-4)). Is v at most h?
True
Let u be 3/(-18) + 5/(-6). Let j = -126030 + 1390570/11. Let v = j + -386. Which is smaller: u or v?
u
Let n be (-1040)/(-15)*12/4. Suppose 3*v + n = 5*w, 2*w + 2*v - 39 = w. Is 40 bigger than w?
False
Let c(h) = 5*h + 42. Let j be c(-7). Is j smaller than 7?
False
Let w(m) = -2*m - 52. Let c be w(-22). Is 30/13 less than c?
False
Let v be ((-22)/(-55))/((75384/(-30))/6). Which is greater: v or 0?
0
Let u(k) = -3 - k + 4*k + 7 - k**2. Let f be (-4*3/(-4))/1. Let r be u(f). Which is smaller: 5 or r?
r
Let v(i) = 2*i**2 + 3 - 14*i - i**2 + 3. Let r be v(13). Let s = r + 6. Which is smaller: -1/5 or s?
s
Let h be (-10)/(-25) - 140/225. Is 0.23 > h?
True
Suppose 444 = 9*h - 3*h. Let k = h - 71. Is k at least as big as 5?
False
Let a(y) = 9*y**2 - 37*y - 41. Let m be a(10). Which is smaller: 0 or m?
0
Let z = -0.88 - -2.08. Is 3 at least z?
True
Suppose 0 = 2*p + 5*y + 15, 4*p - 3*y - 47 + 12 = 0. Suppose -3*d = p*g - 18, -2*d - 13 = -5*g - 0*d. Let n be (-13)/g + 3 + 0. Are -2 and n nonequal?
True
Suppose -19*b - 215 = 393. Is b greater than or equal to -46?
True
Let v = 12 - 11.93. Let z = -2179/2 - -1089. Is z not equal to v?
True
Let i = -63.6 + 57.6. Is 36 at most i?
False
Suppose -19 = -o + 2*r + 38, 0 = 2*o + r - 109. Let f be ((-2)/10)/((-11)/o). Which is greater: f or 3/37?
f
Let j be (-7 + 8)*-19 + 1. Which is bigger: -22 or j?
j
Let s = 0.3 - 0.3. Let m = 0.22 + 2.78. Is s at most m?
True
Let p = -7 + 10. Suppose -3*y = -5*h + 13 - 0, -5*y + p*h - 43 = 0. Which is smaller: -13 or y?
-13
Let b be 116/10 + 8/20. Let i be (-10)/(-105)*7/b. Let u be (-1 - -1)/(12/(0 + 3)). Which is greater: u or i?
i
Suppose -k + 569 = 5*f, 10*k - 9*k - 5*f = 569. Is k at most as big as 570?
True
Suppose 2*d + 49 = -q + 2*q, 4*d = 4*q - 216. Suppose -65 = -6*c - q. Which is bigger: 1/20 or c?
c
Let l = -100 + 123. Is l at most 1/3?
False
Let o be ((-17962)/8)/(-2269 - 5). Let n = -11/379 + o. Let z = 5/8 - n. Which is smaller: z or -0.3?
z
Suppose 0 = 5*n - 5 - 15. Suppose 0*g + 12 = -n*g. Let p(b) = -b**3 - 2*b**2 + 4*b + 3. Let y be p(g). Which is smaller: -2/9 or y?
-2/9
Let j = 4.5 + -17. Let o = -15 - j. Let n = o - 1.5. Which is greater: -0.2 or n?
-0.2
Suppose -4 = 4*k, -5*k = 3*y - y + 1029. Let s = -1519/3 - y. Is 0 < s?
True
Let b = 108 + -38. Suppose 0 = -5*n + k + b, 11 = 2*n - 4*k - 17. Is n equal to 0?
False
Let a be 285/35 + -6 + 2/(-1). Which is bigger: a or 1?
1
Let q(j) = -j**2 + 19*j + 41. Let i be q(21). Is 5/14 less than or equal to i?
False
Let d = -0.0888 + -0.0112. Is 3/208 smaller than d?
False
Let w = -222.1 - -221.1. Is -0.69 < w?
False
Let b = -15667/354 - 9/118. Let x = -533/12 - b. Is x equal to 1?
False
Let r(x) = -x**3 - 6*x**2 - x + 3. Let o be r(-6). Suppose -40*q + 165 + 75 = 0. Which is greater: q or o?
o
Let z = 21 - 42. Let m = 84 + 21. Let k = m + -106. Which is bigger: k or z?
k
Let o be (-3)/105 + (-2)/5. Let g be 3/(-6) - 2/(-4). Let i = 1 - g. Is i at least o?
True
Let n = -30 - -43. Let r(z) = z**2 - 14*z + 13. Let l be r(n). Let x = l + 0. Which is bigger: x or -1/3?
x
Let o be 2850/(-9) - (0 + 1). Let y = -321 - o. Which is smaller: y or 1?
y
Suppose 2*d - 12 = -0. Which is smaller: 11 or d?
d
Suppose -13 = -3*v - 4. Suppose 0 = f - v*f - 10. Suppose -5*b + 0 = -5*m + 5, -2*b + 5*m + 10 = 0. Do f and b have the same value?
True
Let n = -109 - -106.05. Let v = -3.2 - n. Is -0.1 at most v?
False
Let c(h) = -2*h + 16. Let i be c(8). Let r be i/(-2*(3 + -2)). Do 2/125 and r have the same value?
False
Let a = 88 + -78. Which is greater: 126/11 or a?
126/11
Let s = -3.5 + 0.5. Let h(u) = -11*u - 11. Let j be h(-9). Let w be 1/((-7)/22 - 16/j). Is s <= w?
True
Let h be (-54 - -54)/(-1 + 5). Is h greater than -1/1197?
True
Let z be ((-2)/10)/(4/10). Let q = 162 + -162.12. Are q and z non-equal?
True
Let b = -42 - -30. Let r be 10/60 + (-10)/b. Let m be (80/(-168))/(1/(-3)). Is m < r?
False
Let m(j) = -2*j - 19. Let r be m(-14). Let f be 40*(-9)/66*(-6)/r. Is f <= 5?
True
Let t = 46 + -15. Let v = 40 - t. Suppose -5*u - v + 4 = 0. Are 0 and u unequal?
True
Let z be 4/(-2 - 8/(-3)). Suppose -3*g - z = -0. Let b = 50 + -152/3. Are g and b non-equal?
True
Suppose 37*s = 34*s + 213. Which is greater: s or 72?
72
Let q = -66 - -66. Is q at least -15?
True
Let l be 10 + ((-261)/15 - 8). Is l equal to -3?
False
Suppose 2*z + 972 = 922. Is z <= -26?
False
Let w(y) = -4*y**2 + 5*y + 22. Let k(r) = -11*r**2 + 14*r + 67. Let a(s) = -3*k(s) + 8*w(s). Let z be a(6). Is z > -3/10?
False
Let q = 33 - 22.8. Let a = q + -3.2. Which is greater: -1 or a?
a
Let k = 0.3 + -0.5. Let t = k + 1.2. Let y = -113 - -112. Is y less than t?
True
Let i = -0.33 + 4.13. Let y = 4 - i. Which is greater: y or -2/31?
y
Let n be ((-9)/12)/(((-54)/48)/3). Is -5.8 equal to n?
False
Let b = -11946 - -7863. Let q = 404246/99 + b. Let t = q + -2/11. Are 1 and t unequal?
True
Let q(a) = a + 5. Let l be q(-5). Suppose l*z - 4 = -z. Suppose -5*g - z*o = -15, -5 = g - 3*o + 11. Is -3/2 at most as big as g?
True
Suppose -3*w - 2*w - 19 = -4*j, 4*j = -5*w + 29. Suppose i = j*i + 2*y - 46, 3*i + y = 28. Are 2 and i unequal?
True
Suppose 0 = -z - 5*l + 6*l + 10, -3*z - 2*l = -5. Let v be -2 + 1 - 4*-4. Suppose 5*f - 5 = v. Which is greater: z or f?
z
Suppose -1163 = 14*j - 239. Which is greater: j or -197/3?
-197/3
Let i = -20 - -13. Let g be (-2)/7 - 37/i. Suppose 22 = -g*t + 7. Which is smaller: -4 or t?
-4
Let x(g) = -g**3 - 6*g**2 + 2*g + 13. Let d = 84 - 90. Let b be x(d). Which is smaller: -1/8 or b?
-1/8
Suppose -l + 4*x + 27 - 7 = 0, -3*l = 4*x + 4. Let p = 442/177 - -10/59. Are l and p non-equal?
True
Let p = 182 - 188. Is p at most as big as -4?
True
Let c = 5 - 5.2. Let x = 21.9 + -18.9. Is x not equal to c?
True
Let v = -1134 + 3379/3. Is v bigger than -1/4?
False
Let o be (-4)/2 + -2 + 7/(-6). Is -4 at most as big as o?
False
Suppose 11*m = 6*m. Let q = -0.6 - -0.3. Let k = -0.7 - q. Which is smaller: k or m?
k
Let m = -38 + 33. Let i(f) = f**3 + 4*f**2 - 6*f - 4. Let b be i(m). Is b at least 0.23?
True
Let a = 39 - -38. Let s = a - 157/2. Which is greater: 1 or s?
1
Let z(m) = -8*m - 2. Let t be z(-1). Suppose 4*q = t*q. Whi