*4). Is -1 not equal to x?
True
Suppose 0 - 2 = -2*p. Suppose -2*i + 82 = -4*t, 4*i - 3 - p = 0. Let m be (-5)/(t/(-14)) + 3. Which is greater: 0 or m?
0
Let z be 2*(-1 - 0) - -2. Suppose z = p + 5, 3*k + 5*p = k - 63. Let j = -7 - k. Is j > 12?
False
Let k = -7.1 + 5. Let d = -1.96 - 9.14. Let i = d - k. Which is greater: -2 or i?
-2
Let c = 63 - 58. Suppose -c*q + 2 = -3. Are 2/39 and q unequal?
True
Let a(w) = w**2 - w - 2. Let g be a(0). Is -13/14 >= g?
True
Let z be 3/2*3/9. Let m = 14 + -13. Suppose m = -2*t - 5*k, -5*t + 9 = -0*k + k. Which is greater: z or t?
t
Let c be 4030/1829 + (-3 - -1). Are -1 and c unequal?
True
Let a(t) = -t**2 + 3*t - 2. Let h be a(3). Let s = -23387046/5 - -1225480637/262. Let z = s + -3/262. Is z <= h?
True
Suppose -2*o + 1401 = -4*z + z, 2*o = 2*z + 1396. Is 693 bigger than o?
False
Let w(s) = 237*s - 4. Let j be w(-2). Let v = j + 268. Let c = v + 1475/7. Is c > 2?
False
Suppose 22*f - 21*f - 6 = 0. Suppose -f*s = -9*s - 15, 2*k + 4*s + 38 = 0. Are -4 and k unequal?
True
Let w be -93*7 - (-6 - (-75)/15). Which is greater: -1954/3 or w?
w
Let q = 146 + -3061/21. Suppose -60*n + 4*c = -58*n - 8, 0 = -n - 2*c - 4. Is q at least n?
True
Let v(a) = a**2 + 7*a + 6. Let h be v(-1). Which is bigger: -3 or h?
h
Let m be 4*((-28)/16 - -2). Suppose 0 = -y - 5*t + 14, 8 = -y + 2*t + m. Is y at least as big as 3/8?
False
Let i(w) = 29*w - 230. Let x be i(-21). Which is smaller: -841 or x?
-841
Let a(l) = -l**2 + 5*l + 6. Let i be a(6). Suppose i = 2*k + m + 6 + 1, 13 = -3*k - 2*m. Let u = 3/28 - 101/420. Is u at least k?
True
Let t(l) = l**3 - 8*l**2 + l - 8. Suppose -5*n + 5 = -0*n. Suppose -2*j + 5*h + n = 0, -2*h + 3*h = -4*j + 35. Let r be t(j). Are r and -1/4 equal?
False
Let w be 32/30 - (-98)/(-147). Which is greater: -81 or w?
w
Let d = 1166 + -1282. Which is smaller: d or 3?
d
Suppose 5*p - 4*h - 766 = 1341, -2 = -h. Which is smaller: 424 or p?
p
Let j = 54 - 60.02. Let c = 1 + -0.98. Let l = c + j. Is l at most as big as -0.1?
True
Let a = -15 + 17. Let x be ((-4 - a) + 0)*2. Is x less than or equal to -14?
False
Suppose 9*w + 1065 = 4*w. Let i = -330 - w. Let y be 18/i - 2/(-13). Which is bigger: -2/19 or y?
y
Let t(r) = -r**2 - 12*r - 30. Let c be t(-4). Let m(v) be the first derivative of v**3/3 - v**2 - 1. Let y be m(c). Which is smaller: y or 4?
y
Suppose -5*h - 2*b + 28 = 0, -4*h - 4*b + 3 = -29. Let z = 39742/11 + -3608. Is z greater than h?
True
Suppose -230 = -98*o + 103*o. Is -0.15 greater than o?
True
Let h = 14.4 - -0.6. Let f = h - 16. Which is bigger: -46 or f?
f
Let t = 469.482 + -469. Is t less than or equal to -1?
False
Let x = -1955 + 1956. Is 2/1793 less than x?
True
Let g = 0.11 - 0.11. Let q = g + -1. Let i = -2 - q. Which is smaller: 5 or i?
i
Let z = 3934.1 + -3934. Let b = 3.4 + -0.9. Which is greater: z or b?
b
Suppose -3*s + 12 = -0*s - v, 5*s + 5*v = 0. Suppose -2 = -q + 2. Let k be q*(10/4 + -2). Which is bigger: k or s?
s
Let h(k) = -4*k. Let t be h(1). Let f be (t/(-8))/((-1)/(-26)). Let r be ((-6)/(-4))/((-7)/(-56)). Which is greater: f or r?
f
Let h = 2434 + -3577. Let b = h - -1153.02. Let y = b - 10. Does y = 1?
False
Let i(o) = -4*o**3 - 14*o**2 + 12*o + 19. Let s(x) = -5*x**3 - 15*x**2 + 12*x + 20. Let r(y) = 6*i(y) - 5*s(y). Let p be r(7). Are p and 1/6 unequal?
True
Let a be (-6)/(-9) - 1/(-12). Let c = 0.58 + -1.4. Let x = 0.72 + c. Which is smaller: x or a?
x
Let o(j) = j**3 - 12*j**2 - 45*j - 47. Let a be o(14). Which is bigger: a or -854/3?
-854/3
Let p be 6/(-45)*571 + 4/30. Let o be ((-1080)/p)/5 - (2 + 1). Which is smaller: o or -1?
-1
Let x(l) = -2*l - 2. Suppose y = 2 - 4. Let u be x(y). Suppose o = -2*f + u - 5, -3*o - 2*f = 17. Are -7 and o nonequal?
False
Suppose 9*k = 9 + 9. Suppose 3*l - k*u + 96 = l, -51 = l - 2*u. Is -45 bigger than l?
False
Let o be 1914/(-110) + 3*4/30. Which is bigger: o or -12?
-12
Let y be (-5)/12 + (-12)/(-18). Let q be ((-26)/(-65))/((-1)/(-5)). Let r(l) = -l**3 + 3*l**2 - 4*l + 2. Let g be r(q). Which is smaller: g or y?
g
Let f = 2/1739 - -50423/6956. Let u = 129/20 - f. Which is bigger: -1 or u?
u
Suppose 0 = 4*w + f + 101, -11*w + 15*w = 5*f - 71. Is w bigger than -113/5?
False
Suppose -k = -u + 3*k + 16, 3 = -k. Let b(q) = -q**3 + 12*q**2 - 12*q + 17. Let a be b(11). Let c be (-4)/(-6) - (-8)/a. Is u > c?
True
Let a = -2 - -2.5. Let y = 0.287 - 0.017. Let i = 0.07 - y. Is a != i?
True
Let h = -39.27 - -39. Let j = 0.235 + h. Is 0.1 greater than j?
True
Let f(v) = v - 19. Let x be f(20). Is -2/267 at least as big as x?
False
Let b = -31 + 28. Let t be 3/(-1) + -9 + (-9)/b. Is t less than or equal to -19/2?
False
Let w be (-37)/(-148) + 89/12. Which is smaller: w or 8?
w
Let q = -12 - -9. Let o = -2 + q. Let k = 7 + o. Which is smaller: k or 0.5?
0.5
Let y = -10 - -9.9. Let v = -2193411461/519 - -4226225. Let q = 2/173 - v. Is q less than y?
False
Let x = 139.6 - 198.6. Which is bigger: 4 or x?
4
Let t = 0.03384 + -0.00484. Let l = 3 - 2. Is l at most t?
False
Let p(x) = -x**2 - 12*x - 32. Let z be p(-9). Let m = z - -6. Is m smaller than 9/10?
False
Let v be -8 + 16 + 16/(-2). Let w = 0.1 - 0.17. Let m = -4.07 - w. Is v at most m?
False
Let f = 683 + -683. Is f != 0.015?
True
Let q = -1018 - -1014. Let k = 5 - -1. Let b = 1 - k. Is q > b?
True
Suppose 4*q + 13 = -d, 2*d + 2*q - 7*q - 13 = 0. Let p = -15 + 35. Let b = -12 + p. Is d bigger than b?
False
Let f = -28 + 63. Suppose 0 = -3*j - t - 1, -4*j + 5*t - f = j. Which is smaller: -11 or j?
-11
Let a be (-4548)/(-1365) + (-6)/(-39). Let q = 24/7 - a. Let j = 16/35 + q. Which is greater: -14 or j?
j
Let v = -1 - 16. Let w = v - -19. Let n = 1.94 - w. Which is bigger: 1 or n?
1
Suppose -2*d = -5*b - 12 - 29, 5*d - 5*b - 110 = 0. Is d equal to 43/2?
False
Let w(u) = 4*u - 7. Let o(v) = 5*v - 6. Let p = -33 + 35. Let j(z) = p*o(z) - 3*w(z). Let s be j(7). Is s smaller than -8?
False
Suppose 6*a + 60 = -6*a. Let q be a/15*(-2)/(-2). Which is bigger: q or 0?
0
Let a be (1/(-2))/((-3)/48). Suppose -t - 4 = -a. Do -2 and t have different values?
True
Let d be -8*(-3 - (-21)/8). Which is greater: 168/41 or d?
168/41
Let s be ((-9)/(4 - 1))/(93/(-899)). Which is smaller: s or 28?
28
Let t be -5 + 472/(-2)*(-11)/539. Which is smaller: -1 or t?
-1
Let n = 155 + -154. Let m = -4 + 4.2. Let z = m + -0.4. Which is greater: z or n?
n
Let h be (-3)/48*(-51)/68. Which is bigger: h or 1?
1
Suppose -836*i = -844*i - 288. Which is smaller: -30 or i?
i
Let h(i) = -i**2 - 9*i + 62. Let b be h(-11). Which is greater: -1/3 or b?
b
Let n(q) = q + 1. Let b be n(-12). Let f be 2/b - (1217/22 + 3). Which is bigger: -59 or f?
f
Suppose -u = 2*u. Suppose -t - t = u. Let q = 124/13 - 3622/377. Is q smaller than t?
True
Let g(d) = -d + 7. Let h be g(5). Let w(r) = 3*r**2 - 3*r. Let y be w(2). Suppose 0 = 2*b - y + 2. Is h less than or equal to b?
True
Suppose 117*m = 113*m. Is 4/47 <= m?
False
Suppose -2*w = 3230 + 7954. Let y = -61574/11 - w. Which is bigger: -7 or y?
y
Let h = -18 - -15. Let g(u) = u**3 + 5*u**2 - 5*u + 1. Let w be g(h). Do 1/2 and w have different values?
True
Suppose -4*q - 45 = -17. Which is greater: q or -13/2?
-13/2
Let q = -0.2 + 0.192. Let f = 19.992 - q. Let r = f - 18. Are -0.4 and r unequal?
True
Let y = 0.1 - -6.47. Let x = y + 1.43. Suppose 0 = -2*l + 6, -5*l + 10 = 2*s - l. Are x and s unequal?
True
Let w be ((-80)/(-522))/((-18)/27). Is 0 at least as big as w?
True
Let a = -125 + 135. Let k be (-5)/(-1)*28/5. Suppose 12 = 4*o, -4*v + 7*o + k = 3*o. Is a < v?
False
Let w be 84/960 + 2/(-16). Let t = w - 29/80. Is -1/3 not equal to t?
True
Let y be 2 - (4/(-1) - -2). Suppose 4*l + 92 = -y*g, -3*l + 4*l + 17 = g. Let u(x) = 13*x + 5. Let o be u(-2). Is o > l?
False
Let c = 3.8 + -1.8. Let p(x) = 15*x - 19. Let u be p(2). Do c and u have the same value?
False
Suppose -3*n = -2*n - 49. Suppose -58 = -3*u - n. Do u and -4 have different values?
True
Let r be -4 - (6/(-15) - 76/10). Suppose -3*w - 4*q = -0 - r, -w - 3*q - 7 = 0. Is w >= 42/5?
False
Let m = -19 - -19.1. Let b = -14 + 18. Suppose -t = -0 - b. Do m and t have different values?
True
Let a = 3 + 0. Let z(x) = x**2 - 12*x + 48. Let f be z(7). Suppose -a*i = 3*p + 12, -f = 5*i + 3*p - 3. Are i and -4/15 equal?
False
Let