 to 0?
True
Suppose -4*i - 14 = 3*r - 8*r, 3*i + 5*r - 7 = 0. Let a be (-30)/(-105)*2/16. Which is bigger: i or a?
a
Let c = 44 - 44. Is 7/47 at least as big as c?
True
Let k = -4.85 + 3.9. Let y = -0.2 - -0.15. Let c = k + y. Do -2/15 and c have the same value?
False
Let z = -14 + 18. Suppose 5*p = 5*r - 23 - 7, -z*p = -r + 9. Is p at least 0.09?
False
Let x(l) be the second derivative of -l**5/20 + l**4/4 + 2*l**3/3 + l**2/2 + 5*l. Let r = -4 - -8. Let y be x(r). Which is bigger: y or 2/7?
y
Let x be (1/3)/((-4)/(-72)). Let k be 0 + 0 + ((-36)/(-6))/x. Which is smaller: 2 or k?
k
Let j = -0.97 - 0.13. Let n = j + 1. Let a = 57 - 56. Are n and a equal?
False
Suppose 9*f = 55*f - 46. Is f at most as big as 1/611?
False
Let s(k) = -2*k - 9. Let h be s(-10). Suppose 13 = -i - h. Let j be (1 + 0)/((-2)/i). Are 13 and j unequal?
True
Let a = -0.16 + 0.16. Let u = -0.65 + 0.67. Which is greater: a or u?
u
Suppose u = -2*u + 3. Let p = 2 - -3. Suppose s + p*k = -9, -5*s - 92 = -4*k + 11. Which is greater: s or u?
u
Let q be 7/9 + (-4)/(-18). Let t be (12/(-132))/((-1)/(-2)). Are t and q unequal?
True
Let n be 0 + 0 + (-12 - 1). Suppose 3*i - o = 2, 5*i + 0*o + 5*o = 30. Let w be i*-1 + (-18 - -8). Which is smaller: n or w?
n
Suppose -6*u + 4*u - 3*v - 264 = 0, 0 = -3*u - 4*v - 398. Let y be 10/20*(-4)/u. Is -1 at least y?
False
Let t(v) = v**2 + 6*v - 41. Let p be t(-13). Is p at least 50?
True
Let n = -0.09 + -0.26. Let q = -0.05 - n. Let w(i) = -i**3 + 9*i**2 + 10*i + 5. Let x be w(10). Is q at most x?
True
Let g(f) = 5*f**2 + 46*f - 26. Let m(n) = 4*n**2 + 45*n - 27. Let l(y) = 2*g(y) - 3*m(y). Let o be l(-22). Which is greater: o or -3?
o
Let a = 775 - 6311/8. Which is smaller: a or -13?
a
Let d = 22 + -241/11. Is -1 at most d?
True
Suppose 57*c + 176 = 58*c. Is c greater than or equal to 175?
True
Suppose 5*h - 500 = x + x, 5*h = 0. Let k = x - -1495/6. Suppose -4*v = -0*v + 3*u + 2, 3*v = -u - 4. Which is bigger: v or k?
k
Let g(z) = -z**3 - 9*z**2. Let i be g(-9). Suppose i = -8*s + 5*s. Suppose 4*o + s + 4 = 0. Which is greater: 1 or o?
1
Let q = 982 - 1125. Is q <= -144?
False
Suppose 3*v + 4*c = 3*c + 347, -5*v = 2*c - 580. Is v greater than 0?
True
Let c = -89.96 - -97. Let k = c - 7. Let d = k + 0.16. Which is smaller: 4 or d?
d
Let s be (-3)/2*52/2379. Is -3/5 greater than or equal to s?
False
Suppose -8 = -17*u - 76. Which is greater: u or -27/7?
-27/7
Let k = 32991547/452529 + -4/64647. Let o = k + -217/3. Which is smaller: o or -2/7?
-2/7
Let l be (-287)/48 + (-4 - (-1 - 9)). Which is greater: l or 0?
l
Let b = -0.2 - -1.2. Let a = 235.6 + -240.626. Let d = a - -0.026. Which is greater: b or d?
b
Suppose 103*n + 134 = -2956. Let c be -29 + (2 - (0 + 3)). Is n less than c?
False
Let v = -243 - -243. Is 4/25 at most as big as v?
False
Suppose h = 2*c - 0*c + 312, -5*c + 2*h = 778. Let v = c + 619/4. Which is smaller: 0 or v?
0
Let n be -4 + (-16)/(-20) + (-10540)/(-3075). Is n >= -0.1?
True
Let t = 11.22 + -0.22. Let d = t + -16. Let z = d - -6. Which is smaller: z or 3?
z
Let s be (5336/(-20))/2 - (-2)/(-2). Let a = -134 - s. Suppose -4 = i + 3*i. Which is bigger: a or i?
a
Let d(g) = -g**2 + 2. Let s be d(-3). Let q be (-4)/8*2*s. Let w(k) = k**2 - 7*k - 3. Let u be w(q). Is u != -7?
True
Let t = -131266/13965 - 1/2793. Let x = -621/65 - t. Does -1/3 = x?
False
Let m be 6 + -11 + 1 - 1*284. Is m greater than -289?
True
Let r = 17 - 349. Is -661/2 greater than r?
True
Let q = -7.1 - -7. Let j = -2 + 2.21. Let y = -0.41 + j. Which is greater: y or q?
q
Suppose -3*l - 12 = -7*l. Let v = 59 + -63. Let b = l + v. Which is bigger: -8 or b?
b
Let k be (-21)/14 + (-1)/2 + 1. Are -2/123 and k unequal?
True
Suppose -4*p - 10 = -3*l, -p - 3 = 5*l - 6*l. Let w(d) = -d**3 - 5*d**2 - 2*d - 6. Let c be w(-5). Suppose -2*i - l = -c*i. Which is bigger: i or -2/25?
i
Let l(f) = -f**3 + 8*f**2 + 3*f - 23. Let v be l(8). Let o(s) = s**3 + 4*s**2 - 5*s + 4. Let y be o(-5). Let r be ((-10)/255)/(y/6). Does v = r?
False
Let j be ((-12)/(-21))/((-12)/(-14)). Let m be (0 + 1)*(-54)/(-6). Let u = m + -9. Is u at least j?
False
Let m = -3/151 + -1024/1661. Suppose 4*t - 20 = -3*n, 0*n - n + 15 = 3*t. Suppose n = 5*c - 7*c. Are c and m non-equal?
True
Suppose 0 = 7*b - 11*b + 504. Let i be (4 + (-480)/b)/(3/7). Let v = 3 - 2. Is v less than i?
False
Let h = 834 - 835. Let m be (0 - -1)*(-1)/83. Is h smaller than m?
True
Suppose 929 - 36 = -47*x. Let n(g) = g**3 - 8*g**2 + 9*g - 3. Let t be n(6). Which is smaller: x or t?
t
Let v = -114 - -114. Which is greater: -12/49 or v?
v
Let b be (6776/(-770))/(-5*(-2)/(-4)). Is 5 equal to b?
False
Let n be (-6 - 6/(-3)) + 4. Is n equal to 16/19?
False
Let w = 2 + 22. Let d be 3/w + (-6)/16. Is d < -1?
False
Let a = 209/2 + -105. Is 2/361 > a?
True
Let g(t) = 2*t**2 + 3*t + 4. Let p be g(-5). Let n = 86 - 48. Which is smaller: n or p?
n
Suppose -188*g + 42 = -195*g. Is g less than or equal to 1.6?
True
Let y be (-144)/(-78) - (-2 - -2). Are y and 3 equal?
False
Let y = -542.9 + 541.9. Let m = -0.1 + -20.9. Is m greater than or equal to y?
False
Let i = 11 - -4. Let w be -6 - -6 - ((-39)/i + 3). Which is smaller: w or 20?
w
Let v = 2599910815/151979128 - 201582/10619. Let w = v - -2/1789. Let n be (3 - (-21)/(-6))*6. Which is smaller: n or w?
n
Let p = 18 - -10. Let r be (-244)/p + 2/(-7). Let d = r + 10. Is d less than or equal to 6/11?
False
Let d(o) = -o**3 + 5*o**2 - 3*o - 2. Suppose -w - 5*a = 1, 0 = 4*w - 3*a - 10 - 9. Let v be d(w). Which is smaller: 10/3 or v?
v
Suppose u + 4*u = -35. Let b be ((-3)/3 - 0) + (-10)/u. Is 0.1 at most b?
True
Let c be (-1678)/(-9)*(3 + (-36)/8). Let w = c + 282. Which is greater: w or 1?
w
Let q = -3647/4852 - -2/1213. Is 5.31 at most q?
False
Let w = -5257 + 78901/15. Is w at most 4?
True
Let t = -68 - -90. Is 9 >= t?
False
Let i be 36/((-2 + -5)/7). Which is greater: -39 or i?
i
Suppose -2*i + 32 = -4*s + 276, -4*s + 238 = -5*i. Let p = -76461/5 - -15231. Let h = s + p. Is 1 less than or equal to h?
False
Suppose 8 = 4*b - b - 4*s, -3*b + 3*s = -6. Suppose b = -4*y + 3*y. Which is bigger: 1 or y?
1
Suppose -20*j + 18*j + 34 = 0. Is j greater than 15?
True
Suppose -36 = 5*r + 3*b - 7, 3*b - 6 = 0. Let h(n) be the third derivative of -n**6/120 - 2*n**5/15 - n**4/4 - 3*n**3/2 + 59*n**2. Let p be h(r). Is -14 <= p?
False
Let w = -128/3 - -43. Suppose -5*l - 25 = 0, -6*t + 5 = -4*t - 3*l. Let u be 1 + -2 + 5 + t. Which is smaller: w or u?
u
Suppose v + f - 4*f = 0, 0 = 4*v - 5*f. Let r = -4153/11 - -378. Let t = r - 56/99. Are t and v unequal?
True
Let n = -81 + 18. Let p = 64 + n. Let y = -81/46 - -6/23. Is p >= y?
True
Let h = -0.3 + 0.4. Suppose -4*s - 5*a - 26 = 0, -2*a - 3*a = -3*s - 2. Let u be ((-115)/50 - -2)*18 - s. Which is smaller: h or u?
u
Let d = 5.6 - -21.4. Let g = d - 24. Is 0.1 at least as big as g?
False
Let x = 9023/10 - 901. Let b = 23598071/130 + -181525. Let u = b + x. Which is smaller: 0 or u?
u
Let p be 6/27 + (-48)/(-27). Let k(z) = z**2 - 4*z + 6. Let j be k(3). Which is greater: p or j?
j
Let b be (0 + (-2)/8)*(-274 - -272). Let k = 12 - 58. Is k at least as big as b?
False
Let a be (3 - (-752)/(-378)) + (-10 - (-14 + 5)). Suppose 0*y = 2*y. Which is bigger: y or a?
a
Suppose 0 = -71*d + 50*d - 1554. Which is smaller: d or -75?
-75
Let l = -0.074 - 0.126. Let a(c) = -2*c**3 + c + 1. Let h(j) = j - 1. Let o be h(0). Let b be a(o). Is b less than or equal to l?
False
Let v be ((-15)/5)/((-1)/5). Suppose 9 = -2*o - v. Let s = -2 + 5/2. Which is smaller: s or o?
o
Let d = -7609/3 - -2529. Are 5 and d equal?
False
Suppose 0 = n + 33*n + 748. Which is smaller: -20 or n?
n
Let d = -920 + 1532. Suppose -8*i = -2*i + d. Let h be (2 + i/45)/(-6). Which is smaller: h or 0?
0
Let u = 0.211 + -0.222. Which is greater: u or -0.3?
u
Suppose -6 = 4*s - 2. Which is greater: 3/257 or s?
3/257
Let b(f) = 2*f**2 - 7*f - 60. Let s be b(-4). Is -2/1551 greater than s?
False
Let n = 149 + -143. Is 7 bigger than n?
True
Let v = 199.04 - 199. Is v > 2?
False
Let i = 156 + -152.3. Let k = -0.52 + -0.18. Let r = k + i. Which is smaller: 0.4 or r?
0.4
Suppose -3*k + 0*k = -4*i + 31, 24 = i - 4*k. Let w be 5/(5/i) - 2. Let y be w + 2/(72/(-76)). Is -1 > y?
False
Suppose -11*b + 8*b + 