r: q or b?
q
Let y be ((-15)/6)/(-5)*2. Which is smaller: 2 or y?
y
Let q = 0.32 - 0.12. Let x be 2 - 1*(0 - -1). Suppose x + 4 = -5*d. Which is smaller: q or d?
d
Suppose j + 3*c = -12, -2*c = 3*j - 6*c - 16. Let v be (12/(-10))/3 - j. Which is smaller: -1 or v?
-1
Let v = 24 - 47/2. Which is greater: v or 1?
1
Let h be (0/(-5) - 3)*(-8)/(-6). Let j(c) = -c**2 - 5*c + 9. Let k be j(-7). Which is smaller: k or h?
k
Suppose 0 = -4*s + 3*w + w + 20, 4*w = -2*s + 10. Suppose -3*u + 6 = -0*u. Suppose u = -s*r + 7. Is 1 greater than r?
False
Suppose -2*f = -18 - 0. Let l = f + -15. Let q = -1.8 - -1.8. Which is greater: l or q?
q
Let g be (29 + 0)*24/6. Is g smaller than 116?
False
Let s = 3 - 4. Let o = -65 + 779/12. Which is bigger: s or o?
o
Let h = -306 + 1235/4. Suppose 18 - 8 = 5*z. Is z bigger than h?
False
Let q = -4364755222/1071 + 4075402. Let s = 2/153 - q. Which is bigger: -21 or s?
s
Suppose 0 = -4*b - 2*i - 3 + 19, 3*i + 6 = 4*b. Suppose -b*r = 6*l - l + 13, -l = -2*r. Suppose 0*m + 10 = -5*m. Is r >= m?
True
Let p be (-24)/(-30)*(-14 + 4). Let i = -1222 - -5973/5. Let z = i + 27. Which is smaller: p or z?
p
Suppose -2*l - 10 = -4*n, -4*n - 4 = l + 1. Let f(o) = -o**3 + o**2 + 4*o + 1. Let g be f(3). Does g = n?
False
Let g(m) = -m**2 - m + 2. Let q be g(0). Let i = 0 + 12. Let a(c) = c**2 - 12*c + 1. Let n be a(i). Is n greater than q?
False
Let r be 4/2 + 7173/(-21). Let z = r - -339. Is -2 != z?
True
Let c = -6/7 - -193/21. Let w = -29/3 + c. Is w at most as big as -1?
True
Let m(c) = 2*c**2 - 2*c - 8. Let g be m(-2). Let j(u) = -2*u + 2 + u - 4. Let d be j(g). Are -6 and d non-equal?
False
Let j = 68/15 - 21/5. Let l = -2631 + 31615/12. Let n = 13/4 - l. Which is smaller: n or j?
n
Suppose 26 = -0*q - 2*q. Let c(t) = 12*t**3 - 2*t**2 - t. Let b be c(-1). Is q less than b?
False
Let o = 249 + -3733/15. Which is bigger: 1 or o?
1
Suppose 6*x = 3*x - 3. Let k = x - -1. Let i be (0 - 2) + (-18)/(-8). Does i = k?
False
Let b = 147 + -148. Is -4/3 greater than or equal to b?
False
Let s(i) = -56*i**3 - 2*i**2 + 1. Let z be s(-1). Let d = -331/6 + z. Is d bigger than -1?
True
Let p be 1/2*-2*1. Are p and -2 non-equal?
True
Let b = 154/25 + -628/175. Which is smaller: 2 or b?
2
Suppose -4*j + 2 + 6 = 0. Let w be ((-64)/(-28))/j - 1. Suppose 5*v = 1 - 6. Do v and w have the same value?
False
Suppose -7*z + 5 = -2*z. Let b be (15/(-5))/(-3 - -17). Is b <= z?
True
Let v be 28/60 + (-1)/5. Are -1 and v non-equal?
True
Let c(q) = -5 + 2*q**2 + 0*q + 12 - 3*q**2 + 8*q. Let t be c(9). Which is smaller: -8 or t?
-8
Let b = 18 - 26. Let o(l) = -l**2 - 7*l + 7. Let q be o(b). Do q and -5/6 have the same value?
False
Let z = -0.019 + 0.089. Is -1/3 bigger than z?
False
Let m be (-1 - 6/2)/(-1). Let h be m/42 - 1 - -1. Which is greater: h or -1?
h
Suppose 2*n + 10 = 3*s, -3*n + 4*n - 4 = 0. Let i be s/(-9) - (-15)/9. Let y be (-1 + -1 - -2)/i. Are 4/9 and y equal?
False
Suppose 4*s + 142 = -2*m, -27 = 2*s + 3*m + 54. Let p be (11/s)/((-4)/(-3)). Which is bigger: p or 1?
1
Let l = -10 - -10. Which is smaller: -3/11 or l?
-3/11
Let x = -3 - -3.1. Let u = -0.4 - x. Let o = u - -0.5. Which is smaller: -1 or o?
-1
Let q = -0.56 + 0.97. Which is bigger: -1 or q?
q
Let z = 0.08 + -0.04. Let r be (-12)/(-7) + -1 + -1. Which is bigger: r or z?
z
Suppose -2*o + 16 = -6*o. Let l(u) = -u**2 + 10*u - 2. Let i be l(10). Let n = i + -1. Which is greater: n or o?
n
Let s = -8 + 10. Suppose 6*j = s*j. Which is smaller: j or 2?
j
Suppose 5 = 2*u - 1. Suppose -a = -u*a + 8. Suppose -5*r = -p + 32 - 2, 3*r = -15. Is a greater than or equal to p?
False
Let m = 50.2 - 51. Which is greater: 1 or m?
1
Let i(o) = o**2 + 11*o + 11. Let l be i(-6). Are -20 and l non-equal?
True
Let x be (-1)/1 - (-6 + -4). Let p be x/(-6) + 5/3. Which is smaller: p or 0?
0
Let p = 1309709/33 + -118270/3. Let h = p - 265. Which is bigger: h or 1?
1
Let z = 32 - 23. Is 8 smaller than z?
True
Let h = 386/87 + -3/29. Is 3 at least as big as h?
False
Suppose -60 + 10 = -2*r. Suppose 0 = 3*c + 2*c + r. Let l be -6 - c - 1/(-3). Is l less than or equal to 0.05?
True
Let o(b) = -b**2 - b - 7. Let u(p) = -p - 1. Let m(s) = -o(s) + 6*u(s). Let t be m(4). Let f = t + 2. Which is smaller: -2/3 or f?
f
Let l = -10 + 10.03. Let x = -0.07 - l. Let n = 0.1 + x. Is n > -2/7?
True
Suppose -7*o - 4*o = 341. Is o equal to -31?
True
Let t = -20 - -24. Which is smaller: 3 or t?
3
Let t = -14 - -263/19. Is t at least -1?
True
Suppose 0 = -0*w + w - 4. Suppose 0 = -k - 4*k - 4*i + 46, k + 3*i - 7 = 0. Let c be (-11)/10 - w/k. Are -3 and c unequal?
True
Let a = -25 + 24. Let b be ((-1)/22)/(a/(-2)). Which is greater: b or 1?
1
Let m = 0.3 - -0.1. Let u = 0.5 - m. Let v be -2 - -4*(-2)/(-5). Which is bigger: v or u?
u
Let a(s) = -s + 14. Let x be a(13). Which is bigger: x or 4/7?
x
Let m be (-10)/6 + 50/30. Let t(l) = -1 + 2*l + 2 - 3*l + l**2. Let h be t(1). Which is smaller: m or h?
m
Let f = -5 + 11. Are f and 5 unequal?
True
Suppose -u - 4 - 19 = 0. Are -23 and u unequal?
False
Suppose 0 = -o + 4*o. Let h = -74706997/653176 + -1/81647. Let p = -114 - h. Which is bigger: p or o?
p
Suppose 24 = 3*u + u. Let n = u - 4. Let q = 13 - 9. Which is greater: n or q?
q
Let y be (-4)/(-18) - 4/45. Let w be (-174)/(-14) + 39/(-91). Let r = w + -12. Which is greater: y or r?
y
Let b be (-4)/3 + (-4)/6. Let m = b - -1. Is m bigger than -1?
False
Suppose -6*r + 3*r = -30. Let b = r - 15. Is 0 greater than b?
True
Let f = -100933891/8320 - -121313/10. Let g = f + 3/128. Which is smaller: g or 1?
g
Let p be 2/(-3) - 24/(-27). Suppose 4*t = 2*t + 4*q + 6, 0 = -3*t - 2*q + 1. Let b be t*0/((-2)/1). Which is bigger: p or b?
p
Suppose s - 7 = -2*w - 1, w + 3 = s. Let k = 4 - 1. Suppose k*l - 3 = 3. Is w smaller than l?
True
Let p = -0.34 - 0.06. Let t = 1.4 + p. Let h = -0.3 + 0.4. Which is smaller: t or h?
h
Let p be 1*(-4)/20 + (-78)/(-290). Which is bigger: 1 or p?
1
Let t = 4 + -8. Let j(y) = y**3 - 5*y**2 + 4*y - 4. Let k be j(4). Is k smaller than t?
False
Let c be 2/(-5)*60/(-6). Let r be 2 + (12/c - 2). Let x = -3 + 4. Which is bigger: x or r?
r
Suppose 6*h - 7 = -5*a + 4*h, 2*a - 4 = -2*h. Is -7 greater than a?
False
Let p be 4/(-6) + 52/(-12). Which is smaller: -4 or p?
p
Let j = -2.029 - -0.029. Which is greater: -2/13 or j?
-2/13
Let k = -7.9 - -0.9. Which is smaller: k or 1?
k
Suppose d - 4*r - 17 + 4 = 0, 5*r = 5*d - 20. Which is smaller: d or 8/9?
8/9
Suppose 7 = 5*s + 2. Which is smaller: -2 or s?
-2
Suppose -6 = s - q, -5*s - q = -0*s + 48. Is -8 != s?
True
Let q = -37 - -26. Let m = 18 - 30. Which is smaller: m or q?
m
Let y be (-2)/((2 - 2) + -2). Let m be 3/216 + (y - 1). Let h = 67/360 + m. Is 0 greater than or equal to h?
False
Suppose -6*h + h - 9 = u, 4*u + 21 = -5*h. Let f = 9/13 - 71/65. Which is smaller: h or f?
h
Suppose 0 = 5*a - 2*o + 5108, -1409 = 5*a + 3*o + 3679. Let s = 1999/2 + a. Let r = s - -201/10. Is -1 >= r?
False
Let n(z) = -z**3 - 14*z**2 - 4*z - 16. Let x be n(-14). Suppose 0 = 4*c + 5*v + 41, 5*c + 3*v = -v - x. Which is smaller: 0.2 or c?
c
Let v = 25/29 - 1041/1073. Which is greater: 2 or v?
2
Let t = -4 - -3. Let s = -0.11 + 0.61. Let v = s - 1. Are v and t equal?
False
Suppose 5*b = -5*r - 130, 6*r - 5*b + 90 = r. Let g be (r/4)/((-21)/18). Let k = -5 + g. Is -2/7 at least k?
True
Let o(g) be the third derivative of -g**6/120 + g**5/15 - g**4/24 + g**3/2 - 9*g**2. Let q be o(3). Which is bigger: 2/7 or q?
q
Let a(p) = p + 1. Let t be a(2). Let c = 0 + 0. Suppose -5*s + 5*j + 20 = c, 0*s = s + 5*j + 2. Is t greater than or equal to s?
True
Let x(a) = -a**2 - 10*a - 13. Let l(m) = -3*m**2 + 2*m - 1. Let p be l(2). Let w be x(p). Let s be w*(-3)/12*1. Which is greater: s or -0.1?
s
Let y be (-1 - (-40 - -2)) + -2. Suppose -4*f - y = -5*p, p - 19 = 4*f + 4. Are f and -1 equal?
False
Let m(d) = d**2 - 6*d + 14. Let z be m(4). Let f be (9/3)/(2/4). Is f less than or equal to z?
True
Suppose -5*z = 4*z. Which is smaller: 3/62 or z?
z
Let p be 8/(-4)*(-11)/2. Let l = 15 - p. Suppose 0 = 3*h, -l*r = -3*h - 4 + 12. Which is smaller: -1 or r?
r
Suppose -4*i - 5*u = -20, 0 = 2*i - 3*i + u - 4. Suppose -3*b = b - 4. Let g = b + i. Is g bigger than 2/7?
True
Let j = -14 - -18. Suppose 3*f - f = 2*