3 - t**2 - 2*t + 1. Let b be m(0). Which is bigger: -2 or b?
b
Let q = 8862/5 + -1765. Is 6 less than or equal to q?
True
Let b(l) = -2*l - 1. Let h be b(9). Is h greater than -19?
False
Let y be (2/3 - (-10)/(-15))/1. Is -41 > y?
False
Let d = -28 + 20. Let b be d/(-20) - 17/5. Which is bigger: b or -2?
-2
Let b = -9 - -3. Which is bigger: -5 or b?
-5
Let i be (-4)/6 + -3*100/(-315). Let a = 0.1 - 0.4. Is a bigger than i?
False
Suppose 5*v = p + 22, 2*v - 5*v - 6 = p. Do p and -12 have the same value?
True
Let g be (32/(-120))/((-2)/(-5)). Is 2/3 less than or equal to g?
False
Suppose -k = -0*k + 5*g - 21, -g = -3*k - 1. Suppose 9 = 3*a, 0 = n + a - 6*a + 16. Let m be (-1)/n - 8/12. Is k less than or equal to m?
False
Let m = -3.9 + -0.1. Let x = -4 - m. Let b = 1 + x. Is 2 at least b?
True
Let j = -75 + 71. Let o = -3 + 3.2. Which is smaller: j or o?
j
Let a be 3 + (-8)/(2 + 0). Let g be (a/3)/((-1)/(-3)). Are g and 1/14 non-equal?
True
Suppose 4*t - 2*t + 4*y = -4, 57 = 4*t - 5*y. Let n be (-226)/(-8) + (-2)/t. Let k be 2/n*1*-4. Which is smaller: -1 or k?
-1
Suppose -3*n - 195 = 5*a, -6*n - 260 = -2*n - 4*a. Let j be n/30 - (-3)/2. Which is smaller: j or -2?
-2
Let i = -40 + 32.8. Let m = i + -1.7. Let j = -9 - m. Is j greater than or equal to 2?
False
Let t be -4 + 92/20 + -1. Let g = -3 + 5. Which is smaller: g or t?
t
Let j = -1.2 - -0.2. Let z = -11 + 8. Let s = -5 - z. Which is greater: s or j?
j
Let p be 1/(-3) - (-1291)/(-15). Let t = p + 86. Does t = -12?
False
Let v(g) = -g - 6. Let f be v(-4). Let i = -7 - -6. Which is smaller: f or i?
f
Let s = -37 - -40. Is s < -8?
False
Suppose 6*h + 4 = 2*h + 4*o, -5*o - 13 = 4*h. Let f be 46/(-24) - h/8. Let y = -2 - -1. Is f at least as big as y?
False
Let j = 72.43 - 72. Let x = 0.12 - 0.19. Let t = j - x. Which is greater: -0.1 or t?
t
Let k(f) = -2*f - 2. Let s be k(-6). Suppose 7*u = s*u. Suppose -4*i + 0*i = 0. Is i < u?
False
Let g = 20/9 + -89/36. Suppose 4*z + 15 = f, -3*f - 3*z + 1 = -4*z. Let q = 0 + f. Is q at least as big as g?
False
Suppose -47 = -2*j + 53. Suppose -3*w + 8*w + j = 0. Is w bigger than -11?
True
Let b = -33/5 - -7. Which is smaller: b or 3/8?
3/8
Suppose -3*q + 4*p = 23, -4 + 5 = 4*q + p. Let t be (q - 4)*(-2)/5. Let g be (0 + -1)*(-6)/2. Which is smaller: g or t?
t
Let k be 368/208 - (2 + -2 + 2). Is -1 at most as big as k?
True
Let g be (-1)/(3 + (-4)/2). Let v be (g + -1)/(-2 + -1). Is 0 bigger than v?
False
Suppose 5*x + 5 = 15, 46 = -2*y + 5*x. Let a = y - -14. Let d be -2 + 1 + (-4)/2. Which is greater: a or d?
d
Suppose -q + 4*o = -6, q + 4*o + 4 = 2. Let r(u) = 6*u - 2. Let j be r(1). Which is smaller: j or q?
q
Let m(k) = -k**3 + 8*k**2 - 8*k + 8. Let p be m(7). Let c be ((-4)/18)/(1/p). Let h = 6 + -5. Which is smaller: c or h?
c
Let l be 1 + (8 - 9/3). Let t = 9 - l. Is 2 >= t?
False
Let s be (-1 - 13)*(7 - 4). Let q be (2/(-3))/(4/s). Let v(n) = -n + 9. Let b be v(q). Is 1 greater than b?
False
Suppose 2*u + 30 = -3*r, 4*u + 0*u - 3*r = -60. Is u smaller than -14?
True
Let g = 13 - 11. Suppose -g*o = 2*o. Which is greater: o or -1/10?
o
Let m be (-2*2 - -2) + 2. Suppose -r + m*r = 0. Suppose -b + c + 8 = r, 4*b - 3*c + 2 - 29 = 0. Is 3 less than b?
False
Let j be 0 - (2 + -2) - 0. Let t be 4 + (-4)/2 + j. Suppose 5*g = -t*a + 12, 6*g - 3*g - 3 = 3*a. Which is smaller: a or 3/4?
3/4
Let k be 58/(-198) - (-14)/77. Which is smaller: 1 or k?
k
Let b = -16.3 - -18. Let v = b - 0.6. Let f = v + -1. Do -1 and f have the same value?
False
Suppose -8 = -2*l, -4*a - 3 - 5 = -4*l. Let y be 14/21*(-3)/a. Are y and -1/4 non-equal?
True
Let f = -63/20 - -16/5. Do -1 and f have different values?
True
Let w(i) = 4*i**2 - 15*i + 3. Let g(v) = 5*v**2 - 16*v + 3. Let u(t) = 3*g(t) - 4*w(t). Let s be u(12). Is s != -1?
True
Let g be (1/2)/(4/(-80)). Let a be 6/(-4)*20/g. Which is bigger: 4 or a?
4
Let v(q) = 8*q - 20. Let l be v(-5). Is -59 at least l?
True
Suppose -5*j + 120 = -7*j. Is 2 > j?
True
Let z = -0.04 + -0.06. Which is greater: 23 or z?
23
Let a be (-2)/(2 - -2)*40. Let k be (a/6)/(10/(-15)). Suppose k*u - 8 = 3*u. Which is greater: u or 3?
u
Let k = 7/9 - -37/45. Is 2 >= k?
True
Let m be 3/(-9)*(-4)/4. Let x(b) = b**2 - b - 5. Let a be x(4). Which is smaller: m or a?
m
Let u = -5 - -8. Let v be u/(-2) + (-2 - -4). Suppose 5*j - 2 - 8 = 0. Which is greater: v or j?
j
Let k be (-130)/(-13) + 1 + -4. Let j = -10 + k. Is -3 >= j?
True
Let v(b) = -b**2 + 2*b + 3. Let w = 6 + -3. Let g be v(w). Suppose 2*z + g*r - 2 = -3*r, 0 = -4*r. Are z and -1 non-equal?
True
Let w = 2.8 + -8.4. Let i = w - -1.6. Which is greater: i or 3?
3
Let x(o) = 2*o**3 - 2*o**2 - 3*o - 2. Let y be x(3). Let l = 17 - y. Are -8 and l non-equal?
False
Let s = -1.06 + -0.04. Let z = s - -1. Which is smaller: 1/3 or z?
z
Let u(d) = 7*d - 3. Let i be u(-1). Is i greater than or equal to 0.5?
False
Let d = 481/9 - 161/3. Which is smaller: d or -1.1?
-1.1
Let o = -4.1 + 4.4. Which is smaller: 12 or o?
o
Let m(r) = -r**3 + 2*r**2 + 4*r - 3. Let k be m(3). Let s be (-25)/15*(-12 - k). Suppose -3*y - s = y. Is y bigger than -4?
False
Let d be 4/6 + 22/(-15). Suppose 4*o - 4 = 4. Suppose -5*l + 3*w = o*w + 12, 0 = -4*l + w - 10. Which is smaller: d or l?
l
Let m = -100 - -702/7. Are m and -0.3 nonequal?
True
Suppose -c + 2 + 0 = 4*t, 0 = -t + 3*c + 7. Is -1/14 greater than t?
False
Suppose n = 4*n. Do n and 0 have the same value?
True
Let t = 17 - -99. Do -1 and t have different values?
True
Let o = 2 + -2. Let c be (-4)/10 - (-288)/45. Suppose -c*i = -2*i + 4. Which is smaller: i or o?
i
Let b = -5.033 + 38.523. Let y = 33 - b. Let m = 0.09 + y. Which is greater: 1 or m?
1
Let l = 117 + -583/5. Let g be 6/18 - (-6)/9. Is g >= l?
True
Let n = 96 + -99. Let y be 8/(3 + -1) + 0. Suppose y*r + 12 = -4. Are r and n non-equal?
True
Let k be (-38)/(-69) - 1/3. Which is smaller: k or -1?
-1
Let h = 1510/2021 - 22/47. Let q = 46/473 - h. Which is greater: q or -1?
q
Suppose -2*h = -j, -3*h + 0*h = -5*j. Suppose 0 = -h*y + 3*y. Is -2/33 > y?
False
Suppose 2*h = -h + 15. Suppose -b - 4*f = 6, -4*f - f = h. Which is greater: b or -3?
b
Let u = 8 - 3. Suppose -13 = u*m - 3*h, -4*h = -5*m + 3*m - 8. Do 0 and m have different values?
True
Let r be 4/(-18)*1/2. Is r at most as big as 0?
True
Let g = 7 - 5. Suppose -5*z + 0*k = 4*k - 30, 0 = -4*z + 3*k - 7. Let l be (-6)/(-4)*z*1. Which is smaller: l or g?
g
Suppose 3*u = 2*c - 2*u + 3, 0 = 4*c - 3*u - 29. Let z be c/3 + 2/(-3). Suppose 5*v = z*v + 6. Are 2 and v nonequal?
True
Let t be (0 - 1)/1*5. Which is smaller: t or -4?
t
Let r = 31 + -49. Let z be r/4*4/12. Is -1 >= z?
True
Suppose 0 = 3*m - 16 - 8. Suppose y + m + 10 = 0. Which is bigger: y or -17?
-17
Let l be (2 - (-5)/(-3))*-3. Is l greater than 2/5?
False
Let m(l) = -2*l + 2*l - 5 - l + 0. Let r be m(-4). Is -1 bigger than r?
False
Let f = -1 + 2. Let t be (1 + 2 + -4)/f. Which is smaller: -1/6 or t?
t
Let t(g) be the first derivative of g**3/3 + 3. Let z be t(-1). Suppose -n - 2 = -z. Is n at most -1?
True
Let y(o) = 5*o**3 + o**2. Let j be y(-1). Let h = j - -2. Let i be ((-21)/196)/(h/7). Which is greater: i or 0?
i
Let g = 30.8 - 26. Let u = 5 - g. Which is bigger: 2 or u?
2
Let p be 4/(-22) + (-15)/(-990). Which is bigger: p or 4?
4
Suppose 0 = 6*k - k - 25, 4*k = 4*j + 28. Let g = 3 + j. Is g greater than or equal to -1?
True
Suppose 4*a - 82 - 70 = 0. Suppose 5*m + 12 = 3*r - 6, -2*m = -4*r + a. Which is smaller: 12 or r?
r
Let w be (1*-2)/(-2) - -1. Let g(q) = 3*q + q - w - 5*q. Let k be g(-5). Which is greater: k or 1?
k
Let q(i) = 2*i - 15. Let r be q(7). Is r equal to -0.12?
False
Let c = 16 - 8. Which is bigger: c or 9?
9
Suppose 4*r = 3*r - 4*c + 8, -4*r + 18 = 2*c. Let j be (-3112)/(-14) + 4/(-14). Let x be (-3)/r - j/(-360). Is -1 equal to x?
False
Suppose 0 = -4*o - 3*s - 6, -4*s = 3*o + 11 - 3. Let q be ((-4)/170)/((-10)/45). Let z = q + 5/17. Is z less than or equal to o?
False
Suppose 4*i = -x + 4*x, -3*x + 3*i = 0. Let t = 2 - -1. Let c = 4 - t. Which is bigger: c or x?
c
Let r(i) = -36*i**3 + 2*i**2 - i + 2. Let g be r(2). Let h = g - -4198/15. Is h equal to 0?
False
Suppose 0*o = -3*o - 24. Let p = -532 - -530. Is o smaller than p?
True
Suppose 0 = -k - 7 + 9. Suppose -4*n + 2*