 648. Is x > -104?
True
Suppose -3*n + n = -5*p - 210, -5*n - 5*p + 525 = 0. Let i be 5*(-4)/6*n/10. Is -36 < i?
True
Let h be (2 - 0)*7 + -4. Let l(u) = u - 20. Let t be l(h). Which is smaller: -11 or t?
-11
Let h = 12210216505/2814 - 4339096. Let l = h - 1772671/382704. Let x = -1/272 - l. Is x bigger than 5?
False
Suppose -5*b + 22 + 8 = 0. Let s(q) = -1 - 2 + 3*q - 16. Let l be s(6). Is l greater than b?
False
Let i be (4/6)/((-14)/(-21)). Let h be (-9 - -7) + i*11. Let b = 10 - h. Is b at most as big as 0?
False
Let g = 409.96 + -423. Let b = g + 13. Which is bigger: -1 or b?
b
Let n = -14 - -13. Which is smaller: 2/867 or n?
n
Suppose -11*n + 467 = 478. Is 1/92 > n?
True
Let s(u) = u**2 + 20*u + 22. Let d be s(-19). Suppose -d*w = g + 63, 5*w - 6*g + 105 = -9*g. Is -20 at least as big as w?
True
Let h(v) = v - 63. Let r(l) = -l + 31. Let u(x) = 4*h(x) + 7*r(x). Let c be u(-12). Which is bigger: c or -1/21?
c
Let t = -192.18 + -30.72. Let w = t - -202. Let g = -21 - w. Which is bigger: -10/3 or g?
g
Let g = -2 + 7. Let u be (-2)/(-4)*-2 - g. Let l be (-14)/(-21) - (-52)/u. Which is bigger: l or -7?
-7
Let w be ((-182)/(-144599))/(0 + 1). Is -1 < w?
True
Suppose -3*o = 2*o. Let i(k) = k**2 - 9*k - 25. Let x be i(12). Suppose o = -4*g - 5*q + 2*q + x, 3 = 3*g + 4*q. Is 3 greater than or equal to g?
False
Suppose 5*g = -f - 4*f + 10, g - 4*f - 2 = 0. Suppose 2 = z + g*p - 12, -p = -z + 14. Let v be -2 - (60/(-2))/2. Is v >= z?
False
Let z = 12.8 - -3.2. Let u = z + -11. Let w = -0.187 + -0.013. Which is greater: w or u?
u
Let u = -2169.6 - -2169. Is 0.087 greater than u?
True
Let i be 3*(1 - (-2)/6). Suppose 4*k + 2*r = 16, 4*k - r + 2*r = 12. Suppose 2 = c - k, 0 = -2*j - 2*c + 20. Which is bigger: j or i?
j
Let i(k) = -7*k + 65. Let c be i(12). Let y(p) = p**2 + 19*p + 12. Let x be y(c). Which is smaller: 0 or x?
0
Let v = 47.3 + -47.22. Is v equal to 12?
False
Let a be 0/(0 + -2 + 0). Suppose 0 = -5*u - 21 - 114. Let l be (-42)/u - 3 - -1. Do a and l have the same value?
False
Suppose 15 = -5*g - 0. Let j = -421 - -1671/4. Is j <= g?
True
Let h(a) = a**3 - 23*a**2 - 27*a + 27. Let i be -16*((-6)/4 - 0). Let m be h(i). Which is smaller: m or -0.1?
m
Let a = 1094/35 - -568/7. Is a less than 113?
True
Let d = -38.6 + 39. Let s = 0.5 - d. Let w = -5.93 + -0.07. Are w and s nonequal?
True
Let k = 3/463 - -454/1389. Which is greater: -55 or k?
k
Let g(h) = 3*h**3 - 27*h**2 + 3*h - 25. Let c be g(9). Let l be 1 + -3 - -20 - 1. Is l smaller than c?
False
Suppose -r = -0*f + 4*f - 151, 122 = 3*f - r. Let a be (-3)/f*2*1. Suppose 5*h - 6*y + 5 = 34, 0 = h - 4*y - 17. Which is bigger: a or h?
h
Let a = 1217 - 3878/3. Which is greater: a or -75?
-75
Let j = -7 - -5. Let n(h) = 8*h**3 + 7*h**2 - 6*h - 6. Let d(l) = 7*l**3 + 6*l**2 - 5*l - 5. Let z(a) = 6*d(a) - 5*n(a). Let k be z(-1). Are k and j non-equal?
True
Let q = -15.62 - -16. Let l = 0.19 - q. Which is greater: 1/2 or l?
1/2
Let r be (5/890 - 0)*-2. Is r <= -1?
False
Let q(u) = u - 20. Let l be q(17). Let y(x) = x**3 + x**2 - 5*x + 1. Let g be y(l). Which is smaller: g or -4?
-4
Let z = -313.9 - -314. Does -287 = z?
False
Let h = 32 + -18. Let l be (6/(-4))/((-7)/(1176/(-18))). Let z = l + h. Is 3/4 bigger than z?
True
Let u be 20/(-40) - (-2030)/372 - 5. Which is smaller: u or 1?
u
Suppose -6*y + 5*y = -2. Let r(c) = -31*c**2 - 24*c**2 - c**3 + 51*c**y. Let k be r(-4). Which is bigger: k or 1/3?
1/3
Suppose 8*h = 10*h - 8. Suppose 17 = 2*l - 5*b - 3, h = l - b. Is 1 at least as big as l?
True
Suppose -50 = -n - 17. Is n smaller than 30?
False
Let j = -9 + 5. Let h(d) = 4*d - 2. Let u be h(3). Let b = j + u. Is 7 <= b?
False
Let f = 7 - 5. Let a be (-5)/10*(-13 - 1). Suppose -a + 17 = -f*z. Is -21/5 > z?
True
Let o = -1.99 - 0.01. Let k = -0.7 - -0.5. Let m = k + 0.1. Is o at least m?
False
Let o(g) = g**3 + 7*g**2 - 5*g + 10. Let w = 18 - 25. Let p be o(w). Suppose 3*f + 4*q - 3*q = p, 0 = 4*f + 2*q - 58. Is f > 16?
False
Let b be (4/(-2) + 3)/(-4). Let a = -63 + 377/6. Is b < a?
True
Let a be (-1 - (-1 - -4))/1. Let v be (17 - 33) + a/2. Which is smaller: v or -17?
v
Let h(w) = w**3 - 4*w**2 + 5*w - 6. Let m be h(3). Which is bigger: 2/135 or m?
2/135
Let l = -25 + 16. Suppose -4*o + 9*o + 45 = h, -2*o + h - 15 = 0. Which is bigger: o or l?
l
Let p = -0.1 - -0.1. Suppose -2*y + 18 = -2*a, 3*a - 4*a - 5*y = -21. Which is greater: p or a?
p
Let r = 0.059 - -0.081. Is r > -3/2?
True
Let m be (-2 + (-61)/(-31))/(-46). Do 1 and m have the same value?
False
Suppose -b + 7*m + 139 = 12*m, 0 = 2*b + m - 269. Is b >= 134?
True
Let d = -8 - 10. Let n be 6/36 - (-39)/d. Let h = 0 - 3. Is n < h?
False
Let p(q) = q + 9. Let v be p(-7). Suppose j - v*j = -15. Let c be 5*(-3 - (-57)/j). Which is greater: 5 or c?
5
Let t be (-33)/((-6897)/22) + 20/171. Is -31.5 > t?
False
Let r be 27/2 + (-3)/6. Let z = 135 - 123. Let q = r - z. Is 1 bigger than q?
False
Let x = 21 + -20. Suppose -24 - 1 = 5*z. Let b be ((-4)/(-6))/(z/3). Which is bigger: x or b?
x
Suppose 4*m + 5*t + 110 = 0, 0 = -5*m + 4*m + 5*t - 40. Let r = m + 29. Do -4 and r have the same value?
False
Suppose 1 = 6*g - 11. Let u be 3 - (27/(-5) + 2). Let o = u - 23/5. Is o at least as big as g?
False
Suppose -2*c + c - 4*n = 0, -3*n = -3*c. Suppose 0 = -5*q - k + 4 + 3, c = -4*q + 4*k - 4. Let h = 161/120 + -1/120. Which is smaller: h or q?
q
Let c = -67/20 - -5/4. Which is smaller: c or -3?
-3
Suppose -3*h = p + 128, -3*h = 20*p - 17*p + 408. Which is smaller: p or -144?
-144
Let d(u) = 10*u**3 - u**2 + u + 1. Let v be d(-2). Let o be 21/105 + 27907/v. Let a = o - -328. Which is greater: a or 1?
1
Let h = 4 - 5. Let u be (20/(-6))/(20/(-30)). Suppose u*d + 9 = -1. Which is greater: h or d?
h
Suppose 4*q - 4*p = q - 47, -3*q - p = 22. Let n be (-60)/153 - 3/q. Let x = 1 - 1. Is x <= n?
False
Let i be (0/2)/(9 + -7). Are -1/41 and i non-equal?
True
Let w = -2/6879 - 1011203/34395. Which is smaller: -28 or w?
w
Let n be (-6)/(-57) + 21708/627. Is 36 != n?
True
Let j(a) = -5*a - 7. Suppose 5*r = s + 9 + 3, 5*s = -3*r - 4. Let i be j(s). Suppose 11 = -5*m - 4. Is m != i?
True
Let o be ((-12)/(-8))/((-191)/2). Which is smaller: 1 or o?
o
Let z = -65 - -60. Let o(i) = -7*i - 35. Let s be o(z). Is 1/41 at least s?
True
Let s be (14 + -12 - 3)*0. Which is smaller: 12/209 or s?
s
Suppose 5*x - 3*x + p = 21, 5*x = -p + 51. Let r be (4 - -2)*(2 - -1). Let j be (r + 8)*(-2)/(-6). Is x >= j?
True
Let v = -65 - -67. Suppose v*g = 3*g - 1. Which is smaller: -3/11 or g?
-3/11
Let b(y) be the first derivative of y**3/3 + 17*y**2/2 + 16*y + 7. Let z be b(-16). Which is greater: z or -6/13?
z
Let g(n) = -8*n + 1. Let a be g(-6). Suppose -x = -4*q + a, 4 = x + 5. Let m = -66 + 77. Is q less than or equal to m?
False
Let t = 1.5 + -0.35. Let f = -50 + 51.1. Let a = f - t. Is a greater than 2?
False
Let a = -694 - -652. Is -1/3 smaller than a?
False
Let l(r) = r**3 - 7*r**2 + 9*r - 10. Suppose 5*a - 1 = -2*p + p, 33 = 5*p - 3*a. Let b be l(p). Let m be (-12)/((-2)/b + 4). Which is smaller: -4 or m?
-4
Let u be 4/(-32) - (-13)/(1144/3). Which is greater: -12 or u?
u
Suppose -3*r - r = -v - 8, 3*r = 6. Let s be 11 - (2322/(-66))/(-3). Is s at most as big as v?
True
Suppose 5*s + 21 + 3 = -3*z, 3*z = -9. Let y be (-21)/28 + s/(-4). Let n = 2/193 + -203/965. Is y at most n?
False
Let s(i) = 6*i + 77. Let m be s(-10). Is m greater than 14?
True
Let u be (-3)/(19 + -3 - -1). Let f = -138 - -138. Is f at least u?
True
Let j(u) = 3*u - 13. Let w be j(5). Suppose 0 = 4*b - 3*i - 99, 3*b - 5*i - 29 = w*b. Is b > 21?
True
Let a = 8 - 6. Suppose -6*r + 222 = -4*r + 3*w, -424 = -4*r + 4*w. Let p be 186/r - 4/18. Which is bigger: a or p?
a
Let c = 6 + -104. Let y = 100 + c. Are y and 3/7 unequal?
True
Let w = -615 + 611. Which is smaller: w or -8?
-8
Suppose 5*d - 1 = 14, 68 = 2*n - 2*d. Suppose -54 = -7*z + n. Does -1/5 = z?
False
Let k(t) = t**2 + 7*t + 9. Let p be k(-6). Suppose -2*l - 3*g - 5 = 0, -5*l - p*g + 2*g + 20 = 0. Is l not equal to 6?
True
Let q(f) = f**2 - 15*f + 21. Let a be q(15). Suppose 6 - a = -3*p. Let g be (-6 + 7)*p/3. Which is greater: -0.2 or g?
g
Let c = -485 - -787. Do 303 and c have different values?
True
Suppose 0 = -5*a + s - 9, 12*s - 4 = 11*s. Which 