s w = -8?
True
Suppose -209 = r - 4*h, 5*h - 2*h + 893 = -4*r. Which is greater: -222 or r?
r
Let a(f) = -2*f**2 - 3*f - 5. Let x be a(-2). Suppose 25 = 2*p + 65. Let y be (35/p)/(2/8). Is x at least as big as y?
True
Let k = 2/1381 - 19340/4143. Is -4 < k?
False
Let h = 1012 + -433. Are h and 578 equal?
False
Let p(z) = -2*z + 28. Let c be 626/30 + (116/(-30) - -4). Let r be p(c). Are r and -12 nonequal?
True
Let p = -3 + 5. Let g be (-2)/6 - p/21. Let d = 14 + -13. Which is smaller: g or d?
g
Let c = -2063.9 + 2064. Which is greater: c or -0.845?
c
Let y = -23 + 27.08. Let t = y - 4.1. Is 1/4 less than or equal to t?
False
Suppose 0 = -2*v + 6*v - 16. Suppose 36 = -v*p - 4*q, -2*p - 3*q = 16 + 1. Are p and -8 nonequal?
True
Let h(x) be the first derivative of x**3/3 - 6*x**2 - 11*x + 8. Let r be h(12). Let p be ((-2)/(-4))/(r/11). Which is bigger: p or 2/3?
2/3
Suppose -5*i + 3*g = -g - 1309, -3*g - 253 = -i. Suppose 4*h - 4*l + 940 = 0, 2*h + 4*l + i = -181. Let r be 6/8*(-56)/h. Which is smaller: 0 or r?
0
Suppose -4*u - 5 = -d, -2*d = -3*d - 3*u + 5. Suppose 181 - 56 = -d*k. Let c = 34 + k. Are c and 8 equal?
False
Let v = -2/313 - -345/5008. Let i = v + 3/16. Let h = 6.9 + 1.1. Is i less than h?
True
Let v be -126 - (0 + 1 - (-14 + 15)). Is 2 > v?
True
Let y = -20 - -10. Let d = -9.9 - y. Let g = -11 + 4. Is d >= g?
True
Let n = 0.1317 - 29.1317. Which is bigger: n or 0.07?
0.07
Suppose 46 = 7*p - 24. Is p at most as big as 15?
True
Suppose 0 = -3*h - 3*y + 3 - 0, -5*h + 4*y = -23. Suppose -6 + 0 = -h*f. Let a(k) = k**2 - 9*k + 9. Let w be a(8). Which is smaller: w or f?
w
Suppose 3*q + 0*q = 3, -5*s + 86 = q. Which is greater: 18 or s?
18
Let a be (15/6 + -4)*18. Let s = -22 - a. Suppose -t - 3*t = -s*k + 2, 5*t = -2*k - 19. Are k and -14/5 nonequal?
True
Let w = -1 + -15. Suppose 0 = 2*b + 8 + 24. Let g = -33 - b. Is g smaller than w?
True
Let j = 23.005 - 0.105. Let f = -23 + j. Is 0.046 > f?
True
Suppose -6 = -10*i + 13*i. Let u = -14 + i. Is u at most -17?
False
Let s be (-4)/15 - 6/15. Suppose 4*f = -p - 89, p - 11 = f - p. Let v = f - -28. Is s at most as big as v?
True
Let u = -727/20 + 182/5. Which is smaller: -4 or u?
-4
Suppose 4*x + 1184 = -3*o + 5*x, -2*x + 788 = -2*o. Which is greater: -396 or o?
o
Suppose 0 = 5*f - i - 5, 0*i - 3 = -3*f + i. Let c = 10.74 + 0.26. Which is smaller: c or f?
f
Let q be (-10)/4*4/(-5). Suppose 0 = -c + q + 7. Suppose 26*h - 5*j - 16 = 28*h, h = 5*j + 22. Which is bigger: h or c?
c
Let a = -29 - 34. Let b = a + 31. Let i = -34 - b. Which is smaller: -2/19 or i?
i
Let g = -69.35 + 71. Let r = -2 + g. Let z = 827/2 + -413. Which is greater: z or r?
z
Suppose -z = -3*z + 2. Let v be (7 + -5)*4/(-540). Which is smaller: v or z?
v
Let t = -231 - -217. Let n = -28 + 15. Which is bigger: n or t?
n
Let d = 1439378 + -431813791/300. Let o = d + 18/25. Let g = 43/84 + o. Do g and 0 have the same value?
False
Let w = -154 - -153. Which is smaller: w or 2/509?
w
Let s be (3 + -8)*(-1)/(-5). Which is bigger: -5/24 or s?
-5/24
Let c = -545 + 543. Are -1/233 and c equal?
False
Let n(i) = -i**2 - 17*i + 5. Let h be n(-17). Suppose -g + h*g - 2*r = -4, 3*g + 2*r = -10. Let k = 167 + -508/3. Which is greater: g or k?
g
Let u(r) = 3 - 3 + r**3 - 2*r + 3 + 2*r**2. Let i be u(-3). Let m = 6/5 + -43/40. Which is greater: m or i?
m
Let x(o) = -85*o - 589. Let f be x(-7). Let z = 3 - -6. Let q be 2/6 - (-51)/z. Is q > f?
False
Let k(m) = -9*m**2 - m + 1. Let v be k(-2). Let w = 32 + v. Let d = 1/56 + 93/1064. Is d >= w?
True
Let a = -26 - -32. Suppose 10*u = a*u + 48. Which is smaller: u or 13?
u
Suppose 5*c - 5*g - 3 - 12 = 0, -12 = -4*c + 2*g. Suppose 3*s = i - 6*i - 28, 4*i + 26 = -c*s. Which is greater: s or -4?
-4
Let w be 6/18 + 3/(27/78). Suppose -4*c + w*c = 4*t - 9, -4*t + 3 = c. Is -1 less than c?
False
Suppose 2*y - 116 = 3*j, 7*j - 3*y + 69 = 5*j. Let i be 15*((-24)/9)/1. Is j != i?
True
Suppose -3*f = -8*f + 4*w - 16, -f + 2*w = 8. Let g be 2 - (2 + 1 + 1). Let m be (2 + g)/(4/(-2)). Is m smaller than f?
False
Suppose 4*d - 4*a - 12 = 0, -d = -5*d + a - 3. Let o be (15/12 + 0)*-4. Let x be 3 + o/((-15)/(-14)). Does d = x?
False
Let o = -705 + 702. Is o less than 7/2?
True
Suppose 2*d + 4*f - 3 + 11 = 0, 4*d - 4*f - 8 = 0. Is 4/13 greater than or equal to d?
True
Let s = -2/2873 + -5660/123539. Let i be 1 - (-23 - (4 + -5)). Let v(q) = -2*q + 45. Let y be v(i). Is y <= s?
True
Suppose -3*x = r + 15, -3*r = r + 3*x + 15. Let d be (4/(-12) + 1)*-3. Is d equal to r?
False
Let w be 2 + -29 - -2 - 1. Suppose 91 = -23*x - 461. Are x and w nonequal?
True
Let h = 66 - 51. Let m = h + -19. Which is bigger: m or 0.4?
0.4
Let s be 37/2 - (-1 - -5). Let g = 14 - s. Is 8/7 < g?
False
Let q = -38 + 37. Let r be (q/(-2))/(9/162). Which is greater: r or 31/3?
31/3
Let z = 26 + -25.93. Let l(u) = -u**3 + 2*u**2 + 4*u + 1. Let s be l(3). Let h be s/16 - 2/8. Which is greater: h or z?
z
Suppose -x + 516 = 518. Which is bigger: x or -11/20?
-11/20
Let x be (-3 + 8)*(-8)/(-3940). Which is smaller: -0.1 or x?
-0.1
Let g = 5083/31 - 164. Let a = g - 53/279. Suppose 0 = -5*z - 3*k + 2 - 8, -5*z = -2*k - 4. Do z and a have different values?
True
Let i be -4*(2 - 3) - 189874/47538. Which is smaller: -13 or i?
-13
Suppose -7*p + 3*p = 264. Let a be ((-4)/3)/(55/p). Which is smaller: a or 3?
a
Suppose 3*m = -65 + 11. Are m and -17 non-equal?
True
Let y(z) = -4*z**2 + 7*z + 6. Let h(q) = q**2 - q - 1. Let i(p) = 6*h(p) + y(p). Let f be i(-1). Do -1/27 and f have the same value?
False
Let n(b) = b**3 - 4*b**2 + 3*b + 3. Let f be n(3). Let q be (-1 - (-2)/(-10))/(20/(-100)). Suppose 34*z - 31*z = q. Which is greater: z or f?
f
Let t = -3.6 - -24.6. Let k = 23 - t. Let i = 12 - k. Which is greater: 0.1 or i?
i
Let x be 2/(-4)*(-138)/3. Suppose 0 = 4*q + y - 12, -3*y - 3 = -4*q - 7. Are x and q equal?
False
Let g = 118441/4 - 28648. Let h = -968 + g. Which is bigger: h or -7?
h
Let g be 4 + 1 + -4 + -10. Let d(h) = h**3 + 13*h**2 + 3*h - 22. Let k be d(g). Let n = k - 1366/5. Which is smaller: n or 2?
n
Let r(k) = 29*k**2 + 17*k - 1. Let z be r(1). Is 51 greater than or equal to z?
True
Let w = -2.4 + 15.4. Let o = w - 9.1. Let g = -0.1 - o. Which is smaller: 2/3 or g?
g
Suppose 2*d - d - 3*t = 3, 3*t = 3*d - 9. Suppose 2*u = d*b - 19 - 9, u + 3*b + 14 = 0. Does -14 = u?
True
Suppose 3*c = -9 - 27. Let g be 30/(-66)*(-2 - c/5). Which is smaller: g or 0?
g
Let u(t) = -4*t - 29. Let x be u(-7). Let d be (12/9)/(1166/(-33)). Is d != x?
True
Let w = 2 + 0. Suppose 4*d - 14 = w. Is -0.2 greater than or equal to d?
False
Suppose -5*w + 5 = 5*y - 10*w, 0 = -5*w. Let j = -24419/25 - -977. Are y and j unequal?
True
Let y = 840 + -98. Is 743 equal to y?
False
Let s(u) = -2*u + 3. Let y be s(-4). Suppose 3*m + y = 2*i, 4*i + 5 = 2*m - 1. Is m less than 2?
True
Let s(l) = 6*l - 54. Let z be s(9). Is 3/283 less than or equal to z?
False
Let u be (6 - 6)/(-2 + 0). Suppose -5*g + u*g = 0. Suppose 0 = 3*t + x + 3, -5*x + g - 1 = t. Which is bigger: t or -2/15?
-2/15
Let t be (-3 + 40/12)/((-1)/(-66)). Suppose -4*v + t = -106. Which is greater: v or 31?
v
Let d = 0.141 - 0.115. Are d and -0.02 nonequal?
True
Let b = 28 + -31. Let y = 1 + b. Are 0 and y non-equal?
True
Let t be (-6 + 48/9)*2041/(-6). Let q = t + -227. Is 3 at least q?
True
Let n(u) = u**3 - 7*u**2 + 5*u + 5. Let t(b) = -b**2 - 11*b - 4. Let w be t(-10). Let y be n(w). Let d(j) = -2*j - 27. Let x be d(-13). Is y < x?
False
Let p be ((-16)/10)/4 + (-397)/(-5). Let u = p - 87. Which is bigger: 0 or u?
0
Let h(b) = -b - 7. Let y be (1 - -11)*2/(12/(-6)). Let n be h(y). Which is bigger: 3 or n?
n
Let u = -1.7 - 10.3. Let b = u - -12.5. Let s = -0.6 + b. Is -2/7 equal to s?
False
Let y = -1060 + 1081. Which is bigger: y or 0.02?
y
Let p = -6 - -138. Let j be (-42)/98 + p/14. Is 10 < j?
False
Let i = -113.46 - -0.46. Let v = i - -108. Which is smaller: 0.3 or v?
v
Let c = 3 - -1. Suppose -28 = -c*b - 12. Are 4 and b unequal?
False
Let x be (2 - -1)*4/(-12). Is -1/2174 greater than x?
True
Let f(v) = 10*v + 3*v**2 - 2*v**2 + 6 - 5. Let x = -25 - -15. Let y be f(x). Are y and 1 nonequal?
False
Let y = 8 + -8. Let l be 2/(-6) - (-5)/42. Let t = 5/7 + l. Is y greater than or equal to t?
False
Le