Suppose -5 - 3 = -4*d. Let f = 1 - d. Which is bigger: f or 2/19?
2/19
Let x = 19.82 + -20. Let r = x - -0.38. Let l = -2.5 + 0.5. Which is smaller: r or l?
l
Suppose 0 = -7*g + 2*g - 90. Is -2 at least as big as g?
True
Let h(j) = -4*j + 5. Let k(n) = -n. Let l(a) = h(a) - 5*k(a). Let w(c) = c - 1. Let s be w(-3). Let t be l(s). Which is smaller: t or 2/11?
2/11
Let x = 1.6 + -2. Let b = x - -3.4. Which is smaller: 0.1 or b?
0.1
Let h = 0.2 - 0.1. Let p = -1.1 + h. Let f = -2 + p. Which is smaller: 0.1 or f?
f
Suppose 0*n = 4*o + n + 8, -5*n + 8 = -4*o. Let y = 3 - o. Suppose -6 = -4*g + 3*x, -2*x + 6 = y*g - 5*x. Does 1/4 = g?
False
Let g(q) = q**3 + 12*q**2 - 12*q - 6. Let w be g(-13). Let u = -130/7 - w. Let i = 0.1 - 0.1. Which is smaller: u or i?
i
Let s = 12/5 - 29/10. Let m = 4 - 5. Which is smaller: m or s?
m
Suppose 5*l + 21 = -4*z, -27 = -5*z + 4*l - 2. Suppose 0 = -3*v + 40 + 35. Suppose y - 3*j + 15 = -y, -y + 5*j = v. Which is smaller: y or z?
y
Suppose 7*h + 54 = -16. Which is bigger: h or -8?
-8
Let p(u) = 2*u**2 + 10*u + 56. Let f be p(-8). Is 103 >= f?
False
Let p be (8/20)/((-588)/(-38)). Let l be (-3)/((-5)/((-10)/147)). Let q = l - p. Which is smaller: q or -1?
-1
Let d be (-2)/4*4/(-172)*6. Which is smaller: d or 1?
d
Suppose 3*q = -q - 3*k + 3, 3*k = 15. Let h = -5 - q. Let p be 0 - (21/(-12) - h). Is -1 less than p?
True
Let b(g) = -g**2 - 3*g - 2. Let n be b(-3). Do -6/5 and n have different values?
True
Let k = 0.03 + -0.33. Suppose 0 = -4*x + 10 - 2. Let p be (-3)/8*x/(-3). Which is smaller: k or p?
k
Let i = -455 + 7737/17. Let p = i - -24/85. Suppose d = 5*d - 4. Is p greater than or equal to d?
False
Let w(d) = d**3 - 14*d**2 - 8*d - 57. Let x be w(15). Is x at most 49?
True
Suppose 3*m - 8*m = 10. Let k be 5*2*m/(-10). Suppose -8 = -6*s + k*s. Is s not equal to 2?
False
Suppose -15 + 0 = -5*k. Suppose -k*u = -4*u. Are 0 and u equal?
True
Let w(i) = i**2 + 4*i + 6. Let g be w(-4). Let d = g - 3. Which is greater: d or 5?
5
Suppose -13 + 4 = -3*q. Suppose 0 = -n - l - 2, -39 = 3*n - 5*l + 7. Let f = -3 - n. Is q greater than f?
False
Let v be (0 + (-1 - 2) - -1) + -11. Which is greater: v or -12?
-12
Suppose -4 = -4*f + n + 5, -5*f + 3*n + 20 = 0. Suppose -3*t + 5 = -1. Is t <= f?
False
Let p(m) = -3*m**2 + 9*m. Let j be p(8). Let l = 28 + j. Let o = l - -458/5. Is 3 < o?
False
Suppose -5*a + 3*b = -b - 17, 0 = -2*a - 5*b - 13. Let y be a/((-3)/(-6) + 2). Which is greater: 1/2 or y?
1/2
Let k = -6 + 3. Let o be (-1)/(-2)*(-18)/k. Suppose 1 + 2 = o*r. Is -1/5 > r?
False
Let j be (-2)/(4/2)*0. Let n be -1*(0 - -1) - -2. Suppose -n = 2*k - k. Which is bigger: j or k?
j
Let w be 3 + (-1)/(1/(-2)). Suppose -n = -w + 2. Let k be (-16)/(-9) + (-4)/(-18). Which is bigger: n or k?
n
Let z(q) = q**3 - 7*q**2 + 6*q + 3. Let l be z(6). Let p = 8 + -11. Let c = 5 + p. Which is smaller: l or c?
c
Suppose 4*c + 0*d = d, -2*c - 14 = -4*d. Suppose 4*r - 26 = -6. Let h = r + -4. Do h and c have different values?
False
Let x = 0.7 + 0.3. Let r = 31 + -30.8. Is r >= x?
False
Let w = 227913/124 - 1838. Which is bigger: 0 or w?
w
Let s = 38 + -37. Let g = -1 + 0. Let r = 0 - g. Is r >= s?
True
Let f be ((-12)/(-10))/(-3)*5. Which is smaller: -3/5 or f?
f
Suppose -u + 3*m = -12, 5*u + 0*u + 2*m = 77. Is 13 > u?
False
Let s be 2 - (2/2 - 0). Let g be s/5*(3 + -4). Which is smaller: g or -1?
-1
Let f = 0.6 - 0.5. Let x = -16.4 - -19. Let o = -0.6 + x. Is f not equal to o?
True
Let o = 8 + -5. Suppose 15 = 2*u + 4*s + s, 3*u - o*s + 9 = 0. Suppose 2*n + u*n + 2 = 0. Which is greater: -1/4 or n?
-1/4
Let n = -3.8 + -0.2. Let s = 4 + -4. Is n greater than or equal to s?
False
Suppose 4*y + 1 - 121 = 0. Suppose -3*m = v - 5*v - y, -27 = -4*m + v. Which is bigger: m or 7?
7
Let a be ((-6)/(-4))/(21/14). Does a = -1/10?
False
Let t = -71 + 353/5. Is t >= -3/20?
False
Suppose -6*r = 1 - 19. Suppose 2*g - 3*b + 5 + 6 = 0, -3*b + 31 = -4*g. Let m be g/(-4)*(-8)/(-10). Which is greater: m or r?
r
Let a be 6/30 + 21/(-55). Which is smaller: a or -5?
-5
Let b = 32 - 20. Suppose 0 = 5*m + 15, -b = 2*f + 4*m + 4. Let y = 0.9 + 0.1. Which is greater: y or f?
y
Let t be (-4)/24 + ((-1833)/990 - -2). Which is greater: 0 or t?
0
Suppose 2*h = 3*h. Suppose h = -4*s - s. Which is bigger: s or -1/8?
s
Let s be (0 + 1)/1*1. Let m = 292 - 7009/24. Which is greater: s or m?
s
Let h(i) = -i**2 + 0*i**2 - 4*i**2 - i - 5 - i**3 + i**2. Let k be h(-4). Which is bigger: -2 or k?
k
Let w = -2 + 2. Let s = w + 2. Let b = 7 - 4. Is b > s?
True
Suppose -5*h = -3*s - 6, 2*s + 3*s + h + 10 = 0. Let i = -3 - s. Is i equal to -4?
False
Let h = -8 - -2. Is -21/4 > h?
True
Let k = 76/21 + -16/7. Let b be (4 - 2)/(2*1). Which is bigger: k or b?
k
Suppose -3*d - x - 4*x - 85 = 0, 2*d + x = -52. Which is smaller: d or -27?
-27
Let q = 2/143 + -149/429. Let a(w) = w**2 + w - 1. Let p = 2 + -2. Let f be a(p). Which is greater: f or q?
q
Let x(h) = h**3 - 3*h**2 + 2*h - 3. Let q be x(2). Let j be q*1*(2 - 1). Is j at most as big as -5/3?
True
Let k(r) = -r**2 + 4*r + 9. Let y = -8 - -14. Let x be k(y). Which is smaller: x or -4?
-4
Suppose 3*x = -19 + 31. Suppose 2*h + 0*h = 8. Is h not equal to x?
False
Let v = 32 - 18. Is v equal to 1?
False
Let f = -117 - -117.2. Is f smaller than 27?
True
Let o = 17 + -16. Is 7 != o?
True
Let b(x) = x**3 - 6*x**2 - 2*x + 11. Let t be b(6). Is t at most 4/11?
True
Let k = -3 - -3. Suppose k*j - 2*j + 6 = 0. Suppose -4*g + n = -n + 14, -j = -n. Is g greater than or equal to -3?
True
Let s be (-3 - -2)/((-2)/60). Let m be 4/16*16/s. Which is smaller: m or 0?
0
Let v = 397 - 3565/9. Which is bigger: v or 2?
2
Let n be 3/2*784/4. Suppose -777 - n = -3*i. Let a = i + -2503/7. Is -1 <= a?
True
Let r = -11 + 11. Which is greater: r or -1/2?
r
Suppose -4*b = 25 + 67. Is -23 greater than b?
False
Let u = -0.9 - -1. Let d = -402 + 1595/4. Let t = d + 3. Is t smaller than u?
True
Let l be 2 + (-2)/(6/(-3)). Suppose -u = l*u + 24. Let w = u - -11. Which is bigger: w or 6?
6
Suppose 0 = -5*f + k - 2*k - 98, -f + 3*k - 10 = 0. Is f at least as big as -35/2?
False
Let h = 2.6 + -2.7. Do -9 and h have the same value?
False
Let z(d) = -2*d - 7. Let u be z(-6). Suppose u*w - 9*w = -32. Is w > 7?
True
Let u = -1.2 + -1.4. Let p = 0.4 - u. Which is smaller: -2/7 or p?
-2/7
Let x be (-7 - -2)*(-4)/(-45). Let p be -11*2/6 - (7 + -11). Are p and x equal?
False
Let n(i) = -i**3 + 9*i**2 + 10*i. Let f be n(10). Let j(h) = -4*h + 1. Let q(d) = 7*d - 2. Let u(g) = 5*j(g) + 3*q(g). Let a be u(0). Which is smaller: f or a?
a
Let q(f) = f**3 - 16*f**2 + 16*f - 14. Let p be q(15). Which is greater: -1 or p?
p
Let z(x) = -x**3 - 3*x**2 + 2*x - 5. Let f be z(-4). Suppose -t + 1 = 4*i + 10, -f*i - 5*t = 11. Let l be 18/(-22) - (-3 - i). Is l greater than or equal to 1?
False
Let x = -0.9 + -0.1. Let j = -3.98 - -4. Let z = j + 0.98. Does x = z?
False
Let w = 0.507 + -0.007. Let f = 0.07 - 3.07. Let u = f - -3. Is u less than or equal to w?
True
Let m = 17.9 + -18. Do -15 and m have the same value?
False
Let b be ((-6)/(-2))/((-141)/(-3)). Let j = b - -37/893. Which is smaller: 0.1 or j?
0.1
Let x(t) be the second derivative of t**5/20 - 7*t**4/12 - t**3 + 5*t**2 + t. Let d be x(7). Let m be (-12)/d*(-4)/6. Is m at most as big as 0?
True
Let y be (12 + -15)/(-2*1). Which is smaller: y or 1?
1
Suppose 149 = 10*u - 391. Which is greater: 56 or u?
56
Suppose -3*v = -5*v + 16. Is v at most as big as 22/3?
False
Let o = -25 - -29. Is o at least 3?
True
Let o = -112 + 114.86. Let x = 0.14 + o. Is -0.2 > x?
False
Let h = 239/4 + -60. Which is greater: h or 2?
2
Let j = 0.2 - 1.2. Let r be (2/6)/((-6)/(-36)). Let n be ((-20)/9 + r)*3. Which is greater: j or n?
n
Let g = 29 - 26.1. Let l = g + -3. Let t be (-1)/(-1*(-14)/(-4)). Is l smaller than t?
True
Let i = -9.6 + 9. Let n = 0.4 - i. Let o = n + -0.7. Which is greater: o or -0.1?
o
Let u = 6 - 6. Which is smaller: -1 or u?
-1
Let r(a) = a**3 - 6*a**2 + 1. Let n be r(6). Is n > 0?
True
Let v = 2789/14 - 199. Which is smaller: -1/3 or v?
-1/3
Let y = 0.01 + 0.39. Let l = -0.44 + y. Let f = l + -2.96. Which is greater: f or 0.1?
0.1
Suppose 6*b - 3*b - 24 = 3*g, 12 = -b - 4*g. Let c = 0 - 5. Let d = -6 - c. Is b >= d?
True
Suppose s -