r?
-11
Let q be (14/3)/(4/6). Let d = q - 1. Suppose n = -n + d. Which is greater: 2/7 or n?
n
Let a = 8.1 - 8. Let s(x) = x**2 + 9*x - 5. Let t = 8 + -18. Let f be s(t). Is f at least as big as a?
True
Let g = 9 - 19. Are g and 0.2 unequal?
True
Let b be (-1 + 3)*(-1)/(-1). Suppose -3*f + 5 = b*f. Is 2/3 greater than or equal to f?
False
Let z(y) = -y**3 + 6*y**2 + 5*y + 10. Let d be z(7). Which is smaller: -5 or d?
-5
Let k(n) = -3*n - 5*n**3 + 3 + 13*n**3 - 3*n**3 - 6*n**3 + n**2. Let h be k(2). Which is smaller: -6 or h?
h
Let n be 10*((-48)/(-10))/(-8). Which is smaller: 8/7 or n?
n
Let g = -29 - -21. Let i be g/(-28)*(-1)/(-1). Is 0.1 >= i?
False
Let l be (1/(-16))/(1/6). Let p = 1155 + -1156. Which is smaller: p or l?
p
Let w be (2 + -3)*(-1)/1. Suppose -2*b + b = w. Let g = b - -1. Is 0 greater than g?
False
Let f be ((-3)/(-2))/(3/6). Let g = 47 - 26. Suppose g - 6 = 5*z. Are f and z non-equal?
False
Let y = -3 - -3. Let n = 488 + -749. Let c = n - -2873/11. Which is smaller: y or c?
y
Let r = -45.9 + 46. Which is greater: r or 2/103?
r
Let h = -441/10 - -44. Let r = -2 + 1. Does h = r?
False
Let t(h) be the second derivative of -h**3/6 + h**2 + h. Let z be 2/3*15/2. Let a be t(z). Is -1 greater than a?
True
Suppose 13 = -4*i - 3*v + 44, 3*v - 7 = 2*i. Let y be (-33)/6 - (-4 + 2). Let u = i + y. Is 1 bigger than u?
True
Let c = 24705501 + -12797445025/518. Let q = 276/37 - c. Let p = 12/7 + q. Is 2 equal to p?
False
Let t(a) = -7*a + 1. Let h be 1 + 0 + -1 - -1. Let o be t(h). Which is smaller: -5 or o?
o
Let m = 2 + -7. Suppose -v + 10 = -3*v. Is m greater than or equal to v?
True
Let d(t) = -t**2 - 9*t + 16. Let v be d(-10). Which is greater: 7 or v?
7
Let h = -0.0656 - 57.5344. Let o = h - -53. Let c = 5 + o. Which is smaller: -1 or c?
-1
Let b be 1*(-1)/2*2*-13. Suppose -12 = -3*s + 2*s. Is b greater than or equal to s?
True
Suppose -4*s + 45 = -8*s - 5*w, 2*w = s + 8. Is -114/11 smaller than s?
True
Let d be 988/248 + -1 + -3. Which is bigger: d or 0?
0
Suppose -t - 6 = -0*t. Which is smaller: t or -4?
t
Let r be -3*(15/(-9) - -4). Is r >= -7?
True
Suppose 5*r - 61 = -3*h, 0 = -3*h + 3*r + r + 16. Let o be 34/(-30) - h/(-9). Which is smaller: 0 or o?
0
Suppose 10*h + 153 = 3. Suppose 28 = -3*o - 20. Is h equal to o?
False
Let i be (-2)/4*(-2)/3. Let s = 2/3 - i. Is -2/9 smaller than s?
True
Let g(t) = -1. Let c(h) = h**2 - 2*h. Let b(f) = c(f) - g(f). Let w be b(3). Is 5 at least as big as w?
True
Suppose 0 = -2*z - 5*l - 10 + 25, 5*z - 4*l + 12 = 0. Which is bigger: -6/67 or z?
z
Let u be 35997/(-128385) + 2/10. Let f = 2/317 + u. Is -1 greater than f?
False
Let w(u) = u**2 + 4*u + 3. Let k be w(-4). Let d = 9 - 7. Suppose s + 8 = 6*f - 3*f, 3*f + 2*s - d = 0. Is f smaller than k?
True
Let y(b) = -b**2 - 16*b - 35. Let u be y(-16). Which is greater: u or -36?
u
Let d be 0 + 5/(-20)*-6. Is d < 2?
True
Let x = -237/4 - -59. Let l be 35/(-28)*((-14)/(-10) + -1). Which is smaller: l or x?
l
Let v be (-4)/4*(-2)/(-2). Let u = 18 + -17. Let y be (-2)/(-4)*(u - v). Is 0.3 greater than y?
False
Let w = -1.5 - -3.6. Let b = 1.2 - w. Let s = b - 4.1. Which is greater: -2/7 or s?
-2/7
Suppose -d + 0 - 2 = 0. Is 10 at least as big as d?
True
Let g = -1.995 - 0.005. Which is smaller: g or 9?
g
Let r = 732/329 - 1/94. Let d be (2/(-28))/((-9)/225). Let s = d - r. Which is smaller: 0 or s?
s
Let d = -39 + 33. Do d and -33/7 have the same value?
False
Let d(b) = b + 8. Let q(j) = 2*j + 16. Let u(k) = 13*d(k) - 6*q(k). Let p = -21 + 15. Let y be u(p). Which is bigger: 4 or y?
4
Let a = -0.02233 + 238.96233. Let q = a + -241. Let y = 0.06 + q. Which is smaller: y or 1?
y
Let z = -25 - -24.81. Let f = z - -0.06. Which is smaller: f or -2/7?
-2/7
Let v = 46 - 45. Which is smaller: 1/14 or v?
1/14
Suppose -2*s + 4 = q + 11, -4*q - 4 = -4*s. Let g be (q + (-57)/(-18))*-2. Which is bigger: -0.1 or g?
-0.1
Suppose 0*n + 20 = 3*w - 5*n, -w + 4*n + 9 = 0. Suppose 11 = -w*p + 1. Does -2 = p?
True
Let q be (-21)/(-140) + 4/(-10). Which is bigger: q or 0?
0
Suppose -2*l + 75 = -3*c - 0*c, 0 = -l + 4*c + 25. Which is smaller: 44 or l?
44
Let l = -26 - -26. Which is smaller: l or 4/7?
l
Let q = 12 - 7. Let v be q + -9 + 5/1. Is v bigger than 4?
False
Let h be -2*(0 + 1/(-6)). Suppose 0 = 29*d - 38*d + 18. Is d < h?
False
Suppose p + 5 = -4*m, 3*m + 1 + 0 = 2*p. Let r be ((-6)/4)/(2 - 1). Which is bigger: r or m?
m
Let w = -0.0162 - -0.2162. Let k = -6 - -2. Which is smaller: w or k?
k
Suppose 0 = -2*s + 20. Suppose -5*x = s - 30. Which is smaller: x or 3?
3
Suppose 4*a = f + 6, -3*a + 16 = 5*f - 0*a. Is f greater than or equal to 2?
True
Suppose o - 18 = -3*i, i + 1 = -2. Is 26 bigger than o?
False
Let c = -5 - -16/3. Which is bigger: -1/8 or c?
c
Let k = 3 + -12. Which is smaller: -8 or k?
k
Let f be 5/(10/4) + -1. Let c = f + -1. Let j = -2 + 2. Is j equal to c?
True
Let w be (5 + -2)*-1 - -2. Which is smaller: 2/17 or w?
w
Let b = -281/4 + 70. Do b and -1 have different values?
True
Suppose 54 - 52 = 2*u. Is u smaller than 3/44?
False
Let g = 0.34 + 13.66. Let t = -14.2 + g. Which is bigger: -1 or t?
t
Let m = 15 - 12. Is 3/4 greater than m?
False
Let w be 2 + 6 + 0 + 1. Which is greater: w or 11?
11
Let u(g) = -g - 5. Let i be u(-6). Let w be 0 + (-4)/(-2) + -4. Is w at most i?
True
Let z = 6 + -7. Let b(g) = -g + 4. Let y be b(-3). Which is smaller: y or z?
z
Let f be (3 - (-21)/(-2))*(-2)/3. Which is greater: f or 2?
f
Let f(y) = 9*y - 1. Let o be f(4). Let n be o/(-49)*(-2)/5. Let b = 0.1 + -0.2. Which is smaller: n or b?
b
Suppose 0*o = -4*o + 32. Let a(d) = 6*d + 1 - o*d - 1. Let k be a(1). Which is smaller: k or -3/2?
k
Let s(c) = -c**3 - 3*c**2 + 10*c + 1. Let g(h) = h**2 + h + 1. Let z(b) = -3*g(b) + s(b). Let k be z(-7). Let o be k/(1 + 0 - 7). Is -1 at least o?
False
Let j(b) be the second derivative of b**5/20 + b**4/12 + b**3/6 + b**2/2 + 2*b. Let i be j(0). Let m = 100 + -498/5. Which is greater: m or i?
i
Suppose -29 = 2*x - 7. Is x at least -10?
False
Let g(l) = -l**3 + 11*l**2 + 11*l + 11. Let k be g(12). Is -3/7 smaller than k?
False
Let l = -7 + 11. Is 0.1 bigger than l?
False
Suppose -x = -2*x + 5*w - 8, 4*x = w + 6. Suppose -7*r + x*r = 0. Let n = -184 + 1105/6. Is n > r?
True
Let i = 65 - 64. Is i <= 0.019?
False
Let t = -2.2 + 2.17. Let c = -3.93 - -4. Let x = t - c. Does 1 = x?
False
Suppose 6 - 4 = t. Suppose k - 3*u = -t*u + 8, 2*u - 2 = -k. Which is smaller: k or 5?
5
Suppose 0 = -4*w - 8 + 4. Which is smaller: w or 2/53?
w
Let t(m) = m**2 - 12*m - 13. Let d be t(13). Which is bigger: d or -2/3?
d
Let m be (-4)/(-6)*-6 - -1. Let v = -3/2 - 0. Is m less than or equal to v?
True
Let v = 0.01 + -0.11. Which is bigger: 2/7 or v?
2/7
Let t = 3 - 2. Suppose t = 4*d - 5*d. Does d = -8?
False
Let n be (120/100)/((-4)/(-10)). Which is smaller: n or 24/7?
n
Let r = 58 - 58. Let u = -1661/4 + 433. Let y = u + -18. Is r equal to y?
False
Let i be -6 + (2 - (1 + -1)). Let h be 9/i + 1/4. Let m = 3 + h. Is 0 > m?
False
Let u = -151 - -2870/19. Suppose -2*w + 3*w = -3*w. Which is greater: w or u?
u
Let w(h) be the first derivative of h**2/2 - h - 3. Let r be w(-4). Let v be (2/(-4))/((-1)/(-10)). Is r at least v?
True
Let y = 0 - 1. Let x = -5/409 - -2452/100205. Let r = 523/2695 - x. Which is smaller: r or y?
y
Let u(k) = -k + 2. Let p be u(-3). Suppose -10 = p*m - 50. Do 7 and m have the same value?
False
Let s be (1 - 1)/((-2)/2). Suppose 4*h - 3*a + 19 = -s*a, -3*a + 18 = -3*h. Does 0 = h?
False
Let f = 8 + -5. Is -2 != f?
True
Let y be 14/42 + 2/(6*-1). Which is bigger: y or -3?
y
Let c = -1.1 - -0.1. Let p = 28.8 + -29. Is c at most p?
True
Let u be (-3)/12 + (-17)/(-4). Let h be 1*(-3)/(9/(-15)). Which is smaller: u or h?
u
Let g be (-60)/(-9)*6/(-5). Let j = -8 - g. Let m be (-1 + 1)/(1 - j). Is m >= 7?
False
Let j = 8 - 5. Let s = 3 - j. Is 3 < s?
False
Let u = -0.1 - 0. Let v = -6 - -8. Which is greater: u or v?
v
Let g(y) = -y**2 - 5*y - 2. Let k be g(-3). Let h be k/(-8) + 6/8. Is h at least 1/3?
False
Let t = -25 - -24. Suppose -2*s = -0*s. Is t at most as big as s?
True
Let w = -25 - -15. Which is greater: 3 or w?
3
Let r = 20/9 - 238/99. Which is bigger: r or 1?
1
Let b = -41 - -41.1. Is 0.35 greater than b?
True
Let q(a) = 