er: 0 or t?
0
Let d(b) = -b**3 + 7*b**2. Let g(z) = -z + 1 + 6 + 0. Let u be g(0). Let v be d(u). Which is bigger: v or 1/4?
1/4
Let g(k) = k**3 - 6*k**2 + k - 6. Let s be g(6). Let i = 100/23 + -916/253. Which is greater: s or i?
i
Suppose 2*m + 0*v = v, -v + 4 = 0. Let s be 12/18*m/6. Which is smaller: s or 0?
0
Let r = -0.52 - -0.5. Let p = -0.08 + r. Is p bigger than -0.2?
True
Let k = -0.308 - 12.692. Let y = -0.1 - -0.2. Is k at most y?
True
Let o = 10 - 16. Let w = o - -3. Is 0 bigger than w?
True
Let x be 7 + 1 - (-2)/2. Suppose -4*w = 4, -3*m + w + x = m. Is -3 <= m?
True
Suppose -2*b - 18 = -4*c + 10, 3*c + 5*b = 8. Let t = 6 + 1. Is c > t?
False
Let d = 5/23 - 173/690. Let v = d - 4/15. Which is smaller: v or -1/3?
-1/3
Let k be (-8)/(-6) - (-2)/3. Suppose -k*q - q + 4*j + 1 = 0, 5*q = -2*j + 19. Suppose q*f - 15 = -3*b, 5*f - b = f. Is 1/11 != f?
True
Let q = -27/4 + 29/4. Is q less than -15?
False
Suppose 4*m - 3 + 11 = 0. Let f be (-1)/m*(-1 - 1). Let r be (12/42)/(f*2). Which is smaller: 0 or r?
r
Let v be 2*(-2 + -2 + 3 + 3). Which is smaller: v or 36/11?
36/11
Suppose -5*b + 3*l + 40 = -2*l, -4*b + l + 20 = 0. Suppose 0 = -0*r - b*r - 4. Which is smaller: -1/8 or r?
r
Suppose z - 2*z = 0. Let r be 12/(1*(-1 - z)). Let d be (r/35)/(16/(-56)). Which is smaller: 0 or d?
0
Let d be ((-4)/14)/((-1)/7). Let j be (-8)/4*d/(-4). Is 1 at most as big as j?
True
Let p = -56 - -65. Is -3 < p?
True
Suppose 61*i = 56*i - 5. Is 0 greater than i?
True
Let b be -2 + 1078/420 + (-2)/5. Suppose 2*v + 4*n = 2, 0 = -3*v - 0*n - 2*n - 1. Which is smaller: b or v?
v
Let o(z) = -2 + 2 - z**2 + 4*z. Let w be o(4). Let j = -1010/7 + 144. Which is greater: j or w?
w
Let q = 0.2 + -0.1. Let p = 0.01 - -0.19. Which is greater: p or q?
p
Let c be 0 + -20 + (-8)/(-4). Let f = c - -20. Is 0 less than f?
True
Let y be 2/(-6)*6/4. Let q = 0.02 + 0.08. Do y and q have different values?
True
Let h = -43 + 43. Which is smaller: 10 or h?
h
Let b be 1 + (2 - (-75)/(-24)). Let a be -2 - ((-26)/10 + 14/(-35)). Is a at most as big as b?
False
Let j = -0.01 + 0.1. Which is greater: 2 or j?
2
Let f be 9/6*(-8)/(-6). Suppose -4 = -4*o + 8. Suppose 0 = 3*x - o*t - 9, f*x + 3*x - 5 = -5*t. Which is greater: 0 or x?
x
Suppose -4 = p + 4*q, -4*p + 3 = -q + 2. Is p not equal to 5/13?
True
Let u = -0.1 + -2.9. Let q = u - -1. Let j = 3 - 2. Is q < j?
True
Let r = -15/11 + 49/44. Do r and 0.2 have the same value?
False
Let k be (-2 + (-20)/(-12))*-3. Which is smaller: k or -2/21?
-2/21
Let m(g) be the third derivative of -g**4/24 + 7*g**3/6 - g**2. Let s be m(6). Let c = 2770/11 - 252. Which is smaller: s or c?
c
Let t be 8/(-16)*4/10. Which is greater: -1 or t?
t
Let n = 2 - 5. Is -3 greater than n?
False
Let u be ((-4)/5)/(2/(-5)). Let n be ((-2)/(-5))/(u/10). Suppose n*z + 9 = 3*w, -5*z - 17 + 6 = 4*w. Is 1/2 at least as big as w?
False
Let v(p) = p**2 + 9*p + 3. Let g be v(-4). Let a = 9 + g. Let f be 1 - a/(-6)*1. Is f >= -1?
True
Let u = 8 - 5. Let j = 0 + u. Is j smaller than 2?
False
Let i = 3 - 2.98. Let h = i - -0.08. Is h bigger than -1/4?
True
Let z = -2 + 1.3. Let j = z + -3.3. Are -2 and j nonequal?
True
Let l = -122/9 - -40/3. Is -2/7 equal to l?
False
Let j = 1 + -1. Suppose -4*i - 4*q = j, 4*q + q + 40 = 3*i. Suppose -i*n + t = 9, 2*t - 9 = -3*n + 4*n. Which is smaller: n or 2?
n
Let s be ((-12)/170)/((-8)/(-2960)). Let g = -26 - s. Which is greater: 0 or g?
g
Let c(h) = h**3 - 5*h**2 - 7*h + 7. Let g be c(6). Let r be 1/(-1) + -1 + 4. Which is smaller: g or r?
g
Suppose -t + 4 = -u - 4*t, -4*u + 24 = 2*t. Which is greater: 7 or u?
u
Suppose 2*r - 2 + 4 = 0. Let d be (6 - 3) + (-25)/8. Are d and r unequal?
True
Let u(v) = v**3 + 8*v**2 - 7*v + 7. Let q be u(-9). Suppose 5*n + 56 = -4*a, -4*a - 8 = -3*n + 4*n. Which is smaller: q or n?
n
Let s be (-2)/4*10/(-4). Which is greater: s or 2?
2
Let y = 9 + -9. Let f = 0.9 + -0.9. Is f < y?
False
Let f = -2.34 + -0.06. Let a = 0.4 + f. Let c = -3.03 - -0.03. Is a greater than c?
True
Suppose 4*k + k - 35 = 0. Suppose -5*u = 2 + 33. Let s = u + k. Which is smaller: -1/4 or s?
-1/4
Let x = 3 - 3.6. Let s = x - -0.6. Which is bigger: s or -0.5?
s
Let u = -0.89 + 0.09. Let j = 2.2 - u. Which is smaller: j or -2?
-2
Let o = 11 + -7. Let a be (3/9)/(o/6). Suppose -4*q + 13 - 5 = 0. Is a greater than q?
False
Suppose -5*k + 10 = 0, 2*v + 0*v - 2*k = -6. Let g be -1 - -2*(-10)/(-4). Suppose -2 = g*z + 2. Is z smaller than v?
False
Let o = 18.1 - 18.05. Which is smaller: o or -11?
-11
Let f be 2*((1 - 0) + -3). Let t be f/3 + (-1)/(-3). Let i be (-2)/8 + (-9)/(-132). Which is bigger: i or t?
i
Suppose 0*q + 5*q = 15. Suppose -d + 2*l = 11, -4*d - l + 1 + 0 = 0. Let c = 2 - d. Are q and c equal?
True
Let r(j) = 2*j - 14. Let m be r(4). Which is smaller: m or -5?
m
Let n = -2697 - -64673/24. Let h = 17/8 + n. Suppose 3*m = m. Is m > h?
True
Let q = -42 + 38. Is q bigger than -5/2?
False
Let v(u) = -u + 2. Let p be v(1). Does p = 17?
False
Let y be (45/(-8))/(-3) + -2. Let s = 5/8 + y. Let p be (-1)/(2/(1 + -3)). Which is bigger: s or p?
p
Let b(n) = -n - 12 + 8 + 5. Let p = -4 + 7. Let x be b(p). Is -3/4 > x?
True
Let y = -14 - -6. Let h = -13 - y. Which is greater: h or 4?
4
Let a be (-4)/(-10) + (-2)/(1350/145). Which is greater: -1 or a?
a
Let y be 5/(-10) + (-60)/8. Do y and -15 have the same value?
False
Let c = -66 + 42. Let n be c/(-12) + 36/(-22). Which is smaller: n or 0?
0
Suppose 0 = -9*f + 6*f. Let z be (0/1)/(1 + f). Is -1/4 > z?
False
Let u be (-176)/(-20) + 4/20. Let a = u - 8. Is -3 greater than a?
False
Let k be 1/2 + 279/(-70). Let u = -23/7 - k. Which is bigger: u or 1?
1
Suppose 0 = -a - y + 5 + 1, 0 = 3*a - 2*y - 18. Let n be 2/5 + a/(-15). Is -1/4 equal to n?
False
Let l(z) = -5*z**2 - 7*z + 2. Let s be l(-5). Let f be 19/(-44) + (-16)/s. Which is smaller: -2/3 or f?
-2/3
Let t be 0 + (-1)/6 - (-92)/72. Which is greater: t or 2?
2
Let d be ((-245)/115 + 2)/(-1). Let p = 5 - 6. Which is smaller: d or p?
p
Let h be 38/9 - 4/18. Let n = 3 - h. Let c be 33/(-45) + n/(-3). Are c and 1 non-equal?
True
Let s(p) = 3*p**3 - 3*p**2 + 7*p - 10. Let a be s(2). Are a and 16 nonequal?
False
Let j(m) = -2*m**3 - m**2 + m. Let l be 3 - (-1 + 0 + 1). Suppose -2 = o - l. Let r be j(o). Is -7/5 bigger than r?
True
Let m = 4 + -6. Suppose 8*q - 3*q - 14 = x, -38 = -5*x - 2*q. Suppose -2*l + 8 = -x*l. Is l at least as big as m?
True
Let b(a) = a**3 + 5*a**2 + 4*a + 2. Let g be b(-4). Which is smaller: 3/5 or g?
3/5
Let d = 3 + -11/3. Let v(y) = y**2 + 2*y - 1. Suppose 0 = -n - 1 - 1. Let u be v(n). Which is smaller: u or d?
u
Let k be 6 + -4 + 1*-3. Let f = -8/39 - 116/195. Is k <= f?
True
Let z(y) = y**3. Suppose 3 = -4*j - 1. Let f be z(j). Which is smaller: f or -2/13?
f
Let d be (-646)/(-80) - 6 - (3 - 1). Which is smaller: d or -1?
-1
Let v(k) = k**2 + 5*k - 9. Let l be v(-7). Suppose 0 = l*f + 4 - 14. Let o be (2/1 - f)/1. Is 2/5 bigger than o?
True
Let v = -13 + 12. Let k(y) = -y + 6. Let b be k(5). Let i = b + v. Which is smaller: i or 1?
i
Let v = -6.18 + 0.18. Do -1/5 and v have different values?
True
Let o(d) = -d**2 - 9*d + 21. Let f be o(-11). Which is greater: f or 1/76?
1/76
Let m be 1/(-3)*3/5. Suppose -2*i + 10 = -3*q, -4*i = 4*q - 0*q + 20. Which is bigger: m or i?
m
Suppose -3*r - 10 = -8*r. Let a = -2 - -3. Is r smaller than a?
False
Let o be -16 - (-1*3 + 1). Let q be 1*2 - o/(-8). Is -5 at most as big as q?
True
Let b be 2/(-92 + (-3)/1). Which is smaller: b or -1?
-1
Let w(f) = f**3 - 4*f**2 + 3*f - 1. Let o be w(4). Let h be (-21)/(-3)*2/(-2). Let s = o + h. Which is smaller: 3 or s?
3
Let y = 2 + -2. Is -6 less than or equal to y?
True
Suppose -79 + 72 = d. Is d equal to -7?
True
Let f be 2*1 + (-14)/9. Suppose -2 = h + x, 3*x - 9*x - 6 = 0. Is h != f?
True
Let y = -5.5 - -6. Let f = -110 - -106. Are y and f non-equal?
True
Let c be 4/(1/((-10)/(-1))*9). Is c equal to 0.1?
False
Suppose -9*t = -4*t - k + 956, -4*t = 3*k + 761. Is -191 > t?
False
Let q = -24.954 - 0.046. Which is smaller: 1 or q?
q
Suppose -12*k + 14*k = 10. Which is greater: k or 3?
k
Let f = -41/2 + 455/22. Suppose 0 = 2*x + 3*x - 15. Let v be -3*52/(-48) - x. Which is bigger: f or v?
v
Let w be -3 - 0 - 0/2. Let k(g) = -g**3 - 6*