(-2). Are c and 0 non-equal?
True
Suppose -17*h = -13*h + 56. Is h smaller than -12?
True
Let m(z) = z. Let h be m(-3). Suppose 7 = -d + 8. Let l be (d/(-3) + 1)/(56/(-240)). Is l at most h?
False
Suppose -12 = -g - 5. Suppose -g*c = -3*c. Let m be c/9 - 2/(-10). Which is smaller: m or 0?
0
Let l be -1 + (2 - -1) + -1. Let b be ((-3)/(9/(-8)))/((-5)/(-105)). Let t be b/(-90)*-3 - 2. Is l at most as big as t?
False
Suppose 0 = 3*p - p + 316. Let b = -8741/140 + -1917/20. Let k = p - b. Which is greater: k or 3?
3
Let c(a) = -a**3 + 10*a**2 - 9*a - 9. Let b be c(9). Suppose 3*p = 89 + 31. Suppose p = v - 5*v. Is v smaller than b?
True
Suppose -y - 3*g - 5 = -4*g, 0 = 2*g - 4. Let h be ((-12)/9)/((-15)/(-27)). Is y smaller than h?
True
Let r = -21 - -6. Let k(g) = g**3 + 19*g**2 - 67*g - 36. Let x be k(-22). Which is smaller: x or r?
r
Let c = -9 + -19. Let y be (c/(-10))/(20/50). Suppose 0 = y*l - 2*l. Which is smaller: l or 1?
l
Let x be 18/(-45) + (-225856)/110. Let p = 2055 + x. Is 0 at most as big as p?
True
Let d(n) = n**3 - 3*n**2 - 12*n. Let l be d(-5). Let k = l + 102. Is k <= -37?
True
Suppose 5*k - 4*z - 177 = -75, 4*k - 69 = -z. Let y(w) = w**2 + 7*w + 6. Let h be y(-6). Which is smaller: k or h?
h
Let k be (-4)/8 + (-67)/2. Let t be 2/(-6) - 700/(-30). Let f = k + t. Is f < -11?
False
Suppose g + 0*q + q = 7, 0 = -2*q. Suppose 5*l + g = 12. Are l and 1 non-equal?
False
Let f = -15 - -13. Let q be f*(3 - 6/(-4)). Let s be ((-3)/(-37))/(q/6). Which is smaller: s or -1?
-1
Let a = 1 + -4. Let o = 4.7 + -2.7. Is a <= o?
True
Suppose -6*p + 5*p = -6. Let m be (-3)/p + 3/2. Let t = m + -1/2. Which is bigger: 1/5 or t?
t
Suppose j - 5*i + 25 = 0, 2*j + 0*j - 2*i + 66 = 0. Let z = 37 + j. Suppose z*n + 3*n = 25. Which is greater: n or 2?
n
Let n be ((-280)/(-9))/(-5) - 4/(-18). Do n and -12 have the same value?
False
Let h be 4 - ((-112 - 1) + 1). Let y = h - 1275/11. Is y greater than -1?
True
Let h be 8/12*(-15)/(-5290). Is h less than -1?
False
Let y(i) = 2*i + 7. Let b be y(-8). Let o = 1 + b. Let u = 12 - 19. Is u > o?
True
Suppose d - 367 = -5*s, -s - 79 = -2*s - 3*d. Suppose 5*v - 13 = -s. Suppose 17*y + 150 = -54. Do y and v have different values?
False
Let n = -105.7 + 104.8. Which is smaller: 0.9 or n?
n
Let x = 51 + -118. Let i = 537/8 + x. Suppose 2*d = -5*w + 27, w = 2*d - d + 4. Is i greater than or equal to d?
False
Let v be 0/(2 + (2 - 2)). Suppose v = 4*n - 3*s + 2*s + 81, -4*n - 77 = 3*s. Is n != -23?
True
Suppose 4*u = -5*m - 2568, 0 = 4*u - 9*u - 10. Are m and -513 unequal?
True
Let m be ((-6)/(-4))/((-87)/(-232)). Suppose 3*x - 10 = 4*c - 30, m*x + 12 = -2*c. Is c at least as big as 10/3?
False
Let j be (4 - 5)/((-1)/37). Let o = j + -46. Is o bigger than -8?
False
Suppose 0 = -0*m - m - 36. Let j be (8/(-16))/((-11)/(-814)). Is j <= m?
True
Let w be 11/7 + -1 - (-2340)/(-126). Are -18 and w equal?
True
Let o = -3386 - -84668/25. Let g = 76/175 - o. Is -2/9 at least as big as g?
True
Let s = 49/15 - 8/3. Is s bigger than 1?
False
Let a(i) = i**3 + 16*i**2 + 12*i - 22. Let l be a(-15). Suppose 2*d = 15 + l. Which is smaller: d or 18?
18
Let q be (-2)/((-2056)/144 + 12). Which is smaller: q or 3?
q
Suppose -5*y + 2*y - 538 = -5*w, 3*y + 544 = -w. Is -181 greater than y?
False
Suppose -5*k - 4*m = 13, m = -2*k - 9 + 5. Let q = 1712 - 299601/175. Let w = -506/3325 + q. Are k and w unequal?
True
Let i = -6 + 66. Let j be 30*3*8/i. Let f be (-16)/(-6)*j/(-8). Is f >= -6?
True
Let l = -93 - -557/6. Let s(k) be the first derivative of -k**4/4 - k**3 + k**2/2 + 2*k - 1. Let b be s(-3). Which is smaller: l or b?
b
Suppose -156 = 4*q - 5*t, q + t + 35 = -4. Let w be 4/(-8)*(q/(-5) - 1). Which is smaller: w or -3?
w
Let t = 27 + -30.2. Let j = 1.2 + t. Let h = j + 1.2. Which is bigger: -1 or h?
h
Let y(u) = -u**3 + 2*u**2 + 6*u + 8. Let r be y(4). Is 2/77 bigger than r?
True
Suppose -542*u + 281*u - 427 = -268*u. Let s(q) = 59*q**3 + q**2 - q + 1. Let g be s(1). Which is bigger: u or g?
u
Let v = -375 - -546. Suppose 4*d - 88 = -3*t, -4*t - 56 = 3*d - v. Are t and 28 unequal?
False
Let l = 3.67 + -24.67. Let s = 3.9 - 5. Let q = -0.1 - s. Is q < l?
False
Let q(x) = -11*x**2 + x + 1. Let r be q(-1). Let n(s) = 2*s**2 + s - 1. Let a be n(-2). Suppose a*j + 36 = -14. Which is bigger: j or r?
j
Let u be -1 + (-30)/(-12) - (-17)/(-10). Suppose -41*v = -36*v. Which is smaller: u or v?
u
Suppose 20 = 5*a, 5*a - 3*a + 48 = 4*u. Suppose 0 = 4*c + u - 6. Is 9 > c?
True
Suppose 7*a = 26 - 33. Let u(l) = 4*l - 2. Let h be u(2). Let p be (a/(-2))/(h/96). Do p and 8 have the same value?
True
Let r = 5.9 - 9. Which is greater: r or -2?
-2
Let q be 0 + ((-10)/(-10))/(1/8). Suppose -8*o - q = -0*o. Let d = -0.1 - -0.06. Which is smaller: d or o?
o
Let r = -1350 - -17552/13. Which is bigger: -42 or r?
r
Suppose 25*s - 32*s = -308. Suppose 5*q - 82 - 123 = -5*r, -2*q - 3*r = -78. Which is smaller: q or s?
s
Suppose 33 + 12 = 5*u. Suppose -12*y = -u*y + 21. Is y bigger than -7?
False
Suppose -20 = -4*l - 0*l. Suppose -d - 3*r + 1 = 0, -5*d + 7*r + l = 3*r. Let w be 2/((-1 - -4)/3). Which is smaller: d or w?
d
Let s be ((-154)/(-6) + -2)*1. Let m = 23 - s. Let d(c) = 2*c - 16. Let r be d(7). Is m not equal to r?
True
Let p = -99/10 + 91/10. Which is greater: p or 0.2?
0.2
Let m(n) = 18*n + 5. Let d be m(1). Suppose -w + c - d = -c, c = 2*w + 46. Is 0.1 at least w?
True
Suppose 0 = 5*u - 25, -3*u = -2*q - 3*q - 5. Suppose 0 = -q*s + 4*f - 38, -1 - 3 = s + 3*f. Which is bigger: s or -17?
s
Let o = -0.07 + 0.01. Let x = o - 2.94. Which is smaller: 2/9 or x?
x
Suppose 61*q = 72*q. Which is bigger: q or 77?
77
Let c(w) = 0 - 4*w**2 - w**3 - 1 + 5*w + 2. Let u be c(-5). Let x(p) = p**2 + 19*p + 63. Let h be x(-6). Is u at most h?
False
Let i = -223 + 23. Let l be (-1227)/(-6) + 3 - 30/10. Let u = l + i. Is -0.1 != u?
True
Suppose 9 = -2*y - 3*c + 3, 5*y - c - 2 = 0. Suppose y = -4*m + 12 - 8. Let i be (-3)/9*(-15)/m. Is 3 <= i?
True
Let v(d) = 7*d**2 - 7*d + 3. Let t(o) = -6*o**2 + 6*o - 2. Let k(f) = -6*t(f) - 5*v(f). Suppose 4*g = -3*x + 3, 3*g - x - x = 15. Let s be k(g). Does s = 3?
True
Suppose -5*g = 3*c + 8 - 22, 4*g - 8 = -4*c. Let n(o) be the second derivative of o**3/2 + 3*o**2/2 + o. Let k be n(c). Which is smaller: k or 1?
k
Let z = 3 - 2.92. Let o = 0.052 - -32.948. Let l = 33.2 - o. Which is bigger: l or z?
l
Let v(h) = -h**3 - 7*h**2 + 8*h + 16. Let x be v(-8). Let d be (27/(-36))/(222/x). Which is smaller: 0.2 or d?
d
Let g = 10 + 0. Suppose 0*v - 2*m - 10 = -v, -16 = 4*m. Suppose 2*d = -v*i + 19 + 1, 5*d = 4*i + 59. Is d >= g?
True
Let c be (-200)/(-140) - (-6)/(-14). Are c and 1/1824 unequal?
True
Suppose -3*u = -6 + 3. Let s be (-3)/(-2) - u/2. Let q be 6/(-176)*(-15)/((-180)/(-8)). Which is bigger: s or q?
s
Let t = 4416 + -2287489/518. Are t and 1 nonequal?
True
Let f = -0.6 + 0.6. Let u = 0 - f. Let s = -274 - -271. Which is greater: u or s?
u
Let r = 2388 + -2389. Which is smaller: -17/122 or r?
r
Let p(y) = y - 126. Let m be p(10). Are m and -231/2 non-equal?
True
Let q = -0.05 + 3.05. Let f = -1.5 + q. Let t = -1.5 + f. Is 1 smaller than t?
False
Let i(b) = -15*b**2 + 4*b - 5. Let t be i(1). Let k be ((-20)/(-16))/((-12)/t). Which is bigger: k or 2?
2
Let j = 2392.1 + -2391. Which is bigger: j or 0.5?
j
Let j = 345 - 324. Is j at least 85/4?
False
Let y(f) = -2*f - 29. Let m(l) = 2*l + 30. Let t(b) = -2*m(b) - 3*y(b). Let q be t(-17). Suppose -3*c - 12 - 12 = 0. Is c smaller than q?
True
Let p = 7/187 + -2133/51986. Which is smaller: p or 1?
p
Let o(k) = k - 8. Let n = -25 - -27. Let t be (n/(-6))/((-7)/168). Let i be o(t). Does 5 = i?
False
Let p = 218.1 - 177. Let d = p - 40. Is d >= 0.3?
True
Let i = 9018538326/131 + -68844228. Let p = -424 - i. Is 0 greater than p?
True
Let l be 66 + -71 + (0 - 2023/(-405)). Do 1 and l have the same value?
False
Let k be (1/(-1))/(-5)*-707. Let g(r) = -r**3 - 14*r**2 - 13*r - 9. Let l be g(-12). Let n = k - l. Is -1/2 smaller than n?
True
Suppose 3*x - 4 = 5*x. Let n = -0.036 + 0.646. Let c = 0.91 - n. Is c != x?
True
Let q(m) = -m**2 + m + 1. Let w(c) = -3*c**2 + 8*c + 2. Let r(y) = 2*q(y) - w(y). Suppose -3*v - d + 16 + 5 = 0, 0 = -4*d + 12. Let a be r(v). Is -2 > a?
False
Suppose 0 = m - 2