 - 86 = 0. Let p be (-6)/12*1/(-5 - -6). Are k and p equal?
False
Suppose c - 2*n = 6*c - 49, 0 = c - 4*n - 1. Suppose -3*i + 143 = -139. Suppose 22*t - i + 28 = 0. Are t and c nonequal?
True
Suppose 2*h - 4*h = -3*c - 4, 5*c = -4*h + 30. Let b(r) = -2*r**3 - 6*r - 2*r**2 + 0*r**2 + 5*r + 2*r. Let o be b(-2). Is h >= o?
False
Suppose 0 = 8*n - 2368 - 240. Is n greater than 1629/5?
True
Suppose -45 = 5*v + 2*d, 6*v - 4*d = 3*v - 27. Let w = v - -11. Suppose 4*k - 3*q + 3 = 27, 2*k = w*q + 14. Which is smaller: k or -0.2?
-0.2
Suppose 6*a - 3*a = -3. Let x be 2 - (0 - 3 - 0). Suppose 0 = -2*p + x - 3. Which is greater: a or p?
p
Let l = -16 - -6. Let x be 552/5 - 6/l. Let r = 889/8 - x. Which is smaller: r or 0?
0
Let r = -1.09 - 1.91. Let w be (2/9)/((-2)/3). Which is smaller: w or r?
r
Let k(f) = 3 + 3*f + 6*f**2 + 8*f - 5*f**2 + 0. Let s be k(-11). Suppose -4*w - s = 5. Which is smaller: w or -4?
-4
Suppose 0*a - 3*a = -2*k - 17, 4*k = 5*a - 29. Suppose -3*o - 2*o = -x + 28, -4 = 2*x + a*o. Which is bigger: 3 or x?
x
Let b(u) = u**2 - 6*u. Let p be b(6). Suppose 5*j + 4*y = 0, 3*y + 8 = -7. Let s be j + 51*(-2)/26. Which is smaller: s or p?
p
Let a = 0.0391 - -4.1409. Let s = 0.18 - a. Let r = -0.3 - -0.3. Which is greater: s or r?
r
Suppose 0 = 2*z + 27 - 23. Which is greater: z or 29?
29
Suppose 13*m - 119 = -4*m. Which is greater: 13/2 or m?
m
Suppose 2*o + 27*o + 870 = 0. Is 5 equal to o?
False
Let r(v) = v**3 - v**2 - 8*v + 20. Let o be r(4). Which is bigger: 25 or o?
o
Let o = 78.18 - -7.72. Let j = 23.1 + o. Is j at most 2/5?
False
Let z = 29 - 40. Let w = z + 13. Let y be ((-6)/10)/((-3)/8). Is w > y?
True
Let h(j) = -17*j**2 + j + 1. Suppose -4*a = -3*a - 2. Suppose -5*d + 4*d - a*l - 1 = 0, -2*l + 1 = -d. Let x be h(d). Is x at least as big as -18?
True
Suppose -b = -o + 3*b + 37, 0 = 3*o - 3*b - 102. Suppose -3*s - o = 8*s. Which is greater: s or -10/3?
s
Let v = -31 + 39. Suppose 13*d = v*d. Is d bigger than -10?
True
Let d = 16 - 18. Let h be ((-1)/d)/((-9)/(-54)). Let j = -2/157 - -1421/628. Which is smaller: j or h?
j
Suppose 14 = q - 3*y - 7, -4*y + 24 = 3*q. Let d = 346/29 - q. Is 0 greater than or equal to d?
True
Suppose -137 = -5*t + 3*y + 49, -3*t + 2*y = -111. Suppose 0 = -7*m + 2*m - 3*r - t, -5*m + 3*r - 21 = 0. Let z be (70/(-4))/(-5)*-2. Which is smaller: m or z?
z
Let q(o) = o**3 + 7*o**2 - o - 3. Let u be q(-7). Suppose 45 - 113 = u*d. Let t = -10 - d. Which is smaller: t or 8?
t
Let a be (3 + 161/(-63))*9. Which is smaller: 0.6 or a?
0.6
Let d(m) be the first derivative of m**4/4 - 7*m**3/3 - 9*m**2/2 + 6*m + 11. Let q = -7 + 15. Let a be d(q). Is a >= 2?
False
Suppose 3*n = -3 + 15. Suppose 0 = 2*g - 4*f - 10, 2*f - 20 = -n*g - 0*f. Let p be 16/6*(1 + 25/20). Are p and g non-equal?
True
Let t = 59 - 42. Suppose 91*h - 3*q + 66 = 94*h, -178 = -13*h + 5*q. Is h < t?
True
Let j = -28 - -28.11. Let f = 14.9 + -15. Which is smaller: j or f?
f
Suppose -2*g - 6 = -4*x, 0*x + 2*x = 3*g + 9. Suppose -o = -5*s + 4*o - 375, x = 5*s + 4*o + 330. Let j be s/(-25) - (-4)/(-2). Does j = 1?
False
Let y = -15.084 + 0.084. Which is smaller: 0 or y?
y
Let b = -91 - -8. Is -84 < b?
True
Let j = 0.113 - 23.913. Let v = j + 6.3. Let a = 18 + v. Is 1/3 not equal to a?
True
Let j(i) = 2*i + 11. Let f be j(-5). Let w be -2*f/((-3)/(-6)). Let r(b) = b**3 - 13*b**2 + 15*b - 41. Let l be r(12). Which is smaller: w or l?
l
Suppose 2*n = -2*p + 208, -p - 20 = -5*p. Suppose 5*t = 2*t + 132. Let k be 19/t - 18/n. Is k != -4/7?
True
Let r be (1 - -1)*-2 - (0 - -1). Let o be -3*r/(-1665) - 0. Is -1 greater than o?
False
Suppose -2*b - 5 = -f - 8, -5*b + 8 = -3*f. Is -1/211 < b?
True
Let x = -28 + 28. Let k be x - (17 + -1 - -2). Is -17 < k?
False
Let t = -28.6 - -30. Let z = -0.4 + t. Which is bigger: -0.2 or z?
z
Let i = -420 - -420.3. Which is bigger: i or 15?
15
Let v = 1.38 + 15.52. Let w = 186 - 183.1. Let j = w - v. Which is smaller: 0 or j?
j
Let o be (120/14)/((-2)/(-3577)). Let d = o + -9489268/619. Let y = d + -1256/5571. Which is bigger: y or -0.02?
-0.02
Let p be 6/4*16/6. Let w be (-24)/p - (3 + -6). Let a be w/12 + 2/56. Which is smaller: -1 or a?
-1
Let v(s) = -s**2 + 10*s - 17. Let m be v(8). Is -2/369 < m?
False
Let x = 23.46 - -0.94. Let w = 23 - x. Let h = 1.7 + w. Is -1 less than h?
True
Suppose -5*a + 2 = -4*a. Suppose 0 = -3*g - 0*d + 5*d - 5, -g = 2*d - a. Which is smaller: -1/29 or g?
-1/29
Let m = -76783/83 + 925. Which is smaller: m or 1?
m
Suppose 2*z = -6*z - 16. Let v be (2*-5)/z + 0. Is v less than or equal to 5?
True
Let u = -2749 + 35617/13. Which is smaller: u or -9?
u
Let l = 15 + -10. Suppose 8*s - l*s = 3. Suppose 5*u = 6*u - s. Which is smaller: u or 1/8?
1/8
Let b be (-3)/(-5) - 126/(-15). Let h be ((-48)/b - -2) + 4. Suppose -2*v = -6*v. Is v at most as big as h?
True
Let d = -1746 - -103016/59. Which is smaller: 3 or d?
d
Suppose 2*x + 2 = 5*r - 6, -2*x = 8. Does r = -2/265?
False
Let p be ((-8)/32)/(210/8). Is p <= -1?
False
Let o(t) be the first derivative of t**3/3 - t**2/2 - 9. Let y be o(1). Suppose y = 2*i - 0*i. Is -3/5 less than i?
True
Suppose -5*j - 9 - 7 = p, -30 = -5*p - 3*j. Suppose -p*b = -6*b + 18. Let q be 2/b - (-5)/105. Which is greater: -1 or q?
q
Let h be ((-2)/36)/(((-20)/(-5))/32). Let g be 115/20 + 1/4. Let c = g - 5. Is h != c?
True
Let t(f) = 5 - 20 - 8 - 8*f. Let w be t(-3). Is w greater than or equal to 3/13?
True
Let u be ((-945)/(-126))/(10/264). Which is smaller: u or 196?
196
Let x = -846 - -846.34. Which is smaller: -11 or x?
-11
Let a = 71/5 - -952/15. Which is smaller: a or 77?
77
Let o = 69/10 - 37/5. Let a = -84 - -51. Is a at most as big as o?
True
Suppose -4*u - 4 - 4 = 0. Suppose -2 = 4*z + 6. Let v = z + 3. Is v less than or equal to u?
False
Let f = -68 + 97. Suppose 5*n + f + 11 = 0. Is -8 smaller than n?
False
Let n be (-1)/(-4) + 8/(-32). Let z = 1.24 - 0.14. Let a = z - 2.1. Which is greater: n or a?
n
Suppose 1774 = -4*i + 506. Let t be (i/15)/(40/(-25)). Let x = -99/8 + t. Is x greater than or equal to 2?
False
Suppose o - 3*o - 30 = 0. Let l = o - -21. Let c = l + -3. Which is bigger: c or 1?
c
Let d(k) = -k**3 + 19*k**2 - 34*k. Let z be d(17). Suppose z = 7*q - 22 - 6. Let i = 3 - 1. Are i and q non-equal?
True
Let q be ((-1)/11)/(3 - 4). Is 7 greater than or equal to q?
True
Let o = 172 - 212. Is -3 != o?
True
Let z(d) = -5*d**2 - 12*d - 11. Let x(m) = 9*m**2 + 23*m + 21. Let l(k) = 4*x(k) + 7*z(k). Let b be l(-6). Let c = -107 - -104. Which is smaller: c or b?
b
Let f = 652.9 - 653. Do 182 and f have the same value?
False
Suppose -14 - 4 = -3*k - n, 0 = k + n - 8. Which is smaller: -84 or k?
-84
Let t = 49/5 - 873/85. Is t at most as big as 1?
True
Let g be (-2 + 20/16)/(-18). Suppose -12 = -3*x + x - 2*t, 2*t = -5*x + 24. Suppose -x = 5*a - 9*a. Is a >= g?
True
Let s(m) = -m**3 - 3*m**2 - 2*m - 2. Let b be s(-3). Suppose -57 = b*u + 3. Let j = u - -15. Are 3 and j non-equal?
True
Let d(f) = -6*f**2 + f. Let j be d(2). Let l(b) = 16*b**2 + 7*b + 2. Let w be l(1). Let z = j + w. Are 0 and z unequal?
True
Suppose -f + 4*u = 0, 84 = 8*f - 12*f - 5*u. Suppose j = 2*x + 27, -x + 2*j = 7 + 2. Are f and x unequal?
True
Let g be (30/(-9) - -3)/(6/(-1170)). Suppose g = -3*r - 2*r. Which is smaller: r or -3?
r
Suppose -5*h - 2*n - 15 = 0, -28 = 3*h - 0*n + 5*n. Let a = 3 - h. Suppose -3*b = 4*s + 2 - 5, -4*b + 5*s + a = 0. Do 0 and b have different values?
True
Let g = -14 - -23. Let u(y) = 14*y + 4. Let m be u(-2). Let z be m/20*15/(-2). Is g at least as big as z?
True
Suppose -106*m = -89*m. Which is smaller: 2/1181 or m?
m
Let k(q) = -4*q + 3. Let c be k(1). Let j be ((-5)/10)/(62/8). Is j less than c?
False
Let k = -4 - -12. Suppose -36 = -5*i - 4*x, 4*i - x - k = x. Suppose i*u - 21 = b - 10, 2*u = 4*b + 2. Is b at least -3/10?
True
Let q = -673895/18162 + -13/2018. Let m = -37 - q. Suppose 2*u = -u. Is m at least as big as u?
True
Let k = 16 - 23. Let q = 1738 - 1738. Is k at least as big as q?
False
Let g = -115 - -116. Let s = -13 - -10. Let w = s - -11. Which is greater: w or g?
w
Let m = 0.08 + -22.08. Let s = m + 22.8. Is 0 < s?
True
Let o(f) = -28*f**2 - 2*f - 2. Let y be o(-1). Let t = y + 62. Is t > 32?
True
Let q(t) = t - 26. Let s be 2 - -2 - -6*