reater: 1 or t?
1
Suppose -2*f = -2*b + 16, 0 = b + 3*b + 4*f + 8. Let p be (24/10)/(6/20). Suppose -2*c + p = 2*c. Which is bigger: b or c?
b
Let f(a) = a**3 + a**2 - 6*a - 5. Let b be f(-3). Which is bigger: -3 or b?
-3
Suppose 5*c = -2*u - 71, -4*c - 2*u - 64 = -4*u. Let y be (-10)/c + (-2)/3. Is 1/6 less than or equal to y?
False
Let q = -0.2 - -1.2. Let a = 24.2 - 24. Which is smaller: a or q?
a
Suppose 0 = -0*r + 5*r - 10. Let f be (-1)/((-12)/(-8) - r). Which is smaller: f or 6/7?
6/7
Let d = 239/3 + -79. Let f be 8/28 + (-4)/(-84). Is d at least as big as f?
True
Suppose 5*m - 15 = 5*o, -2*m - 3*m - 3*o = 25. Is m < -1?
True
Let s be 6/(-9) + 1 + 178/(-570). Is s less than -1?
False
Let x = -2 + 14. Let k = x - 8. Let u = -5 + k. Is u smaller than 0.1?
True
Let p = 28/5 + -117/20. Let i(q) = q**3. Let j be i(1). Which is smaller: p or j?
p
Let z(p) = p**2 - 15*p - 1. Let t be z(15). Let j be -3 - (-4 - (-1 - 1)). Let d be j/(7/2 + 2). Which is bigger: d or t?
d
Let k = -241 - -731/3. Which is bigger: 4 or k?
4
Suppose -l + 5*l - 16 = 0, p - 4*l + 15 = 0. Which is greater: -8 or p?
p
Suppose -16*d = -12*d + 48. Which is smaller: d or -10?
d
Let q = -8 - -8.6. Let s = q - 0.5. Which is greater: -1/3 or s?
s
Let m(c) = -c**2 - 5*c - 3. Let d be m(-3). Which is smaller: d or 2?
2
Let k = 0.22 + -0.12. Is k <= -6?
False
Let o = -184 - -1097/6. Are -2 and o non-equal?
True
Let x = -166 - -151. Which is smaller: x or -18?
-18
Let f = 89/45 + -3053/315. Let g = f + 148/21. Is 0 >= g?
True
Suppose 3*i - 3*d = -i - 28, 16 = 4*d. Suppose 8 = -z + 2*y, 0*y - y + 18 = -4*z. Is i < z?
False
Let d be 4/(-14) + (-3808)/49. Let i be (-1)/(15/d) - 4. Which is greater: 1 or i?
i
Let g be 191/138 + (-2)/12. Let m = g - 457/92. Let w = m + 37/12. Is 0 less than or equal to w?
False
Let l(k) = k**3 - 6*k**2 - 6*k - 8. Let m be l(7). Let y = 0.8 + -0.3. Let b = y + -0.4. Are b and m equal?
False
Let u be (-22)/(-6) - (-2)/(-3). Let f be (1 + -2 - u)*-1. Suppose f = -s - s. Are -2 and s unequal?
False
Let o = 0.06 + 0.94. Let x = 8 - 11. Is x bigger than o?
False
Let y(r) = 1 + 5*r**2 - 2*r**2 - 6*r**2 - 3*r**2. Let j be y(-1). Is j < -4?
True
Let j = 0 - 3. Let o be 100/(-12) + (-1)/j. Let f be ((-1)/(-2))/((-4)/o). Is -3 less than or equal to f?
True
Let o be 16/6 + 6/(-9). Suppose -v - v = o. Let j be 6/(-21)*8 + 2. Which is smaller: v or j?
v
Suppose -a = f + 13, -3*f - a - a - 35 = 0. Let n = f + 9. Which is smaller: 1/4 or n?
n
Let v(b) = b**2 - b + 3. Let n be v(0). Suppose -g - n*d = -19, d + 4 = 2*g + 1. Is 3 bigger than g?
False
Let k be (-72)/88 - 2/11. Is -5/6 > k?
True
Let o(a) = -3*a - 3. Let f(h) = -h - 1. Let m(w) = -11*f(w) + 4*o(w). Let n be m(1). Which is smaller: -1 or n?
n
Let x = -2 + 2. Suppose 0 = -2*j + 3*y + 20 - 4, -12 = 3*y. Suppose -2*b + j*p = -6, 2*p - 3*p - 6 = 2*b. Is x not equal to b?
True
Let s(q) = -20*q**2 + 2*q + 2. Let w be s(-1). Let g = 13 + 1. Let i = g + w. Which is bigger: -5 or i?
-5
Let h be (27/(-198))/(6/(-16)). Is h equal to 1?
False
Suppose 4*u - 12 = -0. Suppose u*p + 23 = 5. Which is smaller: -7 or p?
-7
Let n = 4 - 3. Let i be 32/(-55) + (-2)/(-5). Does i = n?
False
Let y(t) = -t - 3*t**2 + 21 + 2*t**2 + 0*t. Let h be y(0). Suppose -6*g - h = -3*g. Is -6 >= g?
True
Let p be 0 + (-1)/(14/(-8)). Let z(r) be the first derivative of -r**4/4 + r**3/3 + r - 1. Let i be z(1). Do p and i have the same value?
False
Let y(g) = 8*g. Let d be y(1). Let o = 12 - d. Let x = o - 5. Which is smaller: 1 or x?
x
Suppose -5*c = -5*o - 10, 0 = -5*o + c + 3 - 21. Let t be (-1 - 1)/(6/9). Which is greater: o or t?
t
Let f = -43 + 71. Is f != 26?
True
Let h = 19 - 12. Suppose -3*f + h = -w, 3*f + 5 = -5*w + 3*w. Which is greater: -2/5 or f?
f
Let k be -1 + (-69)/(9/3). Suppose -2*j + 14 = 4*i, -4 = -4*j - 0. Let d be 18*(-3)/k - i. Which is greater: -1 or d?
d
Let r = -5 - 1. Let a be r/(-2 + 3/3). Let f be a/4 + 5/(-2). Is 1 greater than or equal to f?
True
Let h = -916/5 + 6487/35. Which is smaller: 1 or h?
1
Suppose 8*i - 12 = 5*i. Suppose 2*b - 8 = i. Let q = b - 4. Do 2 and q have the same value?
True
Let h = 0.01 + -0.1. Let q = h - 0.31. Which is smaller: -1 or q?
-1
Let w be ((-6)/4)/(36/192). Let d be ((-6)/(-3))/((-3)/12). Is w <= d?
True
Suppose -4*i = -0*i. Let u be 1 + i - (4 - 17). Suppose -u = -5*w - 39. Is -4 != w?
True
Let g = 155/6 - 51/2. Let v = 1.1 + -2.7. Which is bigger: g or v?
g
Suppose 0 = f + 3*h - 13, -4*f + 6*f - 5*h = 15. Is f < 10?
False
Let i be 3/(-9)*(-48)/(-14). Let z = -81889/46865 + 6/1339. Let g = z - i. Is 2/5 at most as big as g?
False
Let r = 19 - 18.94. Which is smaller: r or -1?
-1
Suppose 0*c = m + 2*c - 1, -5 = -5*m + 4*c. Is 3 smaller than m?
False
Let a = -119.5 + 120. Which is greater: -0.2 or a?
a
Let r(k) = -k - 3. Let t be r(-4). Let v be (t/(-4)*2)/(-2). Let b be (-2)/3 + 5/(-15). Which is greater: v or b?
v
Let x = -1832/7 - -261. Which is bigger: -2 or x?
x
Let t = 2 - 2. Let q = 55 - 55. Is t greater than or equal to q?
True
Suppose -12*s + 6 = -13*s. Let q be (-6)/((-1 - -2)/1). Is q at most s?
True
Let o = 40 - 197/5. Which is smaller: 2 or o?
o
Suppose 4 = -2*q + 6. Suppose -3*r - 2 = -8. Which is greater: q or r?
r
Let q(r) = r**3 - 4*r**2 + 5*r - 4. Let m be q(3). Let p = 0 - m. Is p at most -2?
True
Let q(f) = f**3 + 6*f**2 + 6*f - 8. Let c be q(-6). Let o be (2/3)/(c/(-12)). Let t be 1/(0/1 - 1). Which is bigger: t or o?
o
Suppose -2 = -x - 0*x. Suppose -h - 10 = 3*r, -13 = 4*h + r + x*r. Is -5 >= h?
False
Let w = 5 + -2. Suppose s = -w*s - 12. Suppose 4*b + 4 + 12 = 0. Are s and b equal?
False
Let r be (-2)/((8/(-18))/(-2)). Let m = r + 9. Do m and -4/5 have different values?
True
Let x(y) = y + 10. Let f be x(-10). Suppose -p - 2*p = f. Is 0 equal to p?
True
Suppose 0 = 4*r + f + 9, -2*r + 5*f + 22 = r. Which is greater: r or -14/9?
r
Suppose 3*z - 9 = 3*u, 4 = 3*z + z + 4*u. Let p = z - 1. Suppose 5*m = -p + 16. Are m and 3 equal?
True
Suppose -4 = -2*i - 0. Suppose 0 = 2*u - 1 + 3, -i*u - 1 = y. Suppose 5*b = 6 - y. Are 0 and b nonequal?
True
Let k be ((-2)/(-6))/(1/6). Suppose -6*r + k*r + 24 = 0. Suppose 4*a - 2*x - 18 = 0, -2*a + 2*x + 0*x = -r. Which is smaller: a or -1?
-1
Let s = 0 + -2. Let a = s - -2. Let o be (-6)/(-135)*5*1. Is o less than a?
False
Let s(f) = 2*f + 6. Let a be s(7). Suppose x + 4*x + a = 0. Which is bigger: x or -5?
x
Let s = -135 + 136. Suppose -2*r - 4*p = -r + 9, -r = 3*p + 8. Are s and r equal?
False
Suppose -4 = -3*m + m + 4*x, 5*m - 2*x - 10 = 0. Suppose -12 = 4*i + 4. Let v be 2/i*(-48)/40. Is m >= v?
True
Let d be 11133/(-30)*4/(-6). Let i = d - 244. Is 3 greater than or equal to i?
False
Suppose 5*y + 3*d - 16 = 0, -5 = -4*y + 2*d - 1. Suppose -12 = -5*w - 2. Let m be (6/9)/((-4)/w). Which is greater: y or m?
y
Suppose -5 + 13 = 2*w. Let s be (w - 1) + 1552/(-396). Let c = s + 5/9. Do c and 0 have different values?
True
Let y = 0 + 4. Suppose 3*x + 1 = y*x. Which is greater: x or 2?
2
Let h(c) = c**3 - 9*c**2 - 11*c + 14. Let m(x) = 9*x**2 + 1. Let k be m(-1). Let d be h(k). Let a be d*(-2 + 2 - 1). Which is greater: a or -3?
-3
Let k be 4/6*(-9)/(-42). Suppose -2*c - 5 = -1. Let r = c - -1. Do k and r have different values?
True
Let r be (23 - 25)*2/(-26). Which is bigger: r or -3?
r
Let m be 6/21 + 15/21. Is 1 less than or equal to m?
True
Let i be 2/(-4) - (-5)/6. Let c(o) be the second derivative of -o**5/20 - 2*o**4/3 - o**3/6 - 9*o**2/2 + 3*o. Let s be c(-8). Is i greater than or equal to s?
True
Let l = 1.12 + -0.12. Which is smaller: 3 or l?
l
Suppose -2*d + 54 = -24. Let i = -235/6 + d. Is i >= 0?
False
Let p = -241/11 - -223/11. Is p at most -1?
True
Let p = 0.7 - -0.3. Let f = 0.7 + 0.8. Let k = f + -2.1. Which is smaller: k or p?
k
Suppose -4*p + 12 = -6*p. Let w be (p/4)/((-18)/8). Is 0 bigger than w?
False
Let y(o) = o**2 + 3*o + 1. Let l be y(-3). Let i be 1 + (2/6)/l. Is i at least as big as 0.2?
True
Let r(p) = p**3 + 5*p**2 + 3. Let a be r(-5). Let x = 0 + 3. Suppose q = 5*u - 22, 4*q + x*u - 9 = 18. Is a bigger than q?
False
Let t be 456/(-16)*(21/9 - -1). Is t >= -95?
True
Suppose 4*s + 10 = -s. Which is bigger: 0.6 or s?
0.6
Let x = 1/18 - -4/9. Is 2 at least x?
True
Let x = -3.05 + 0.05. Let m = x + 1. 