2 or u?
0.2
Suppose 4*a = -a. Let c = -276/13 + 21. Is a bigger than c?
True
Let k(s) be the first derivative of -s**2/2 + 7*s - 6. Let q be k(6). Which is smaller: 1/8 or q?
1/8
Let g = -2 + 3. Let t be ((-5)/2)/(g/(-2)). Let k be (10/4)/t*2. Are 1 and k non-equal?
False
Let g = 9 - 9.04. Which is greater: 3 or g?
3
Let b = 1 + -2. Let w = 31 + -30.03. Let g = -0.03 - w. Are g and b non-equal?
False
Let x = -130 + 130.2. Let m = -2.05 + 0.05. Is m > x?
False
Let j = 1231/9 + -137. Let g = 9 + -6. Suppose -g*h - 5*k = 2, 2*k = -h + 3*k + 2. Do j and h have different values?
True
Let t be (2/3)/((-24)/9). Is t equal to 9?
False
Let o = 321 - 4171/13. Let k = -4/143 - o. Does -1 = k?
False
Let y(r) = r**3 + 7*r**2 - 7*r + 9. Suppose 2*v = -u - 17, -4*v + 3*v - 5*u = 13. Let o be y(v). Is -2/7 greater than o?
False
Let a = 60 + 10. Which is smaller: a or 2/7?
2/7
Suppose w - 85 = 2*s, 3*s - 5*w = -s - 185. Let r = s + 283/7. Are r and 1 nonequal?
True
Let x be (-3)/((-6)/4)*(-6)/(-66). Which is greater: x or -1?
x
Let p = -1 - 0. Let q = -3 - -3.5. Let b = q - 0.5. Which is bigger: p or b?
b
Let b = -0.08 - -0.09. Let s = b + -0.41. Is 1 less than s?
False
Let l = -29 + 51. Suppose -2*x - 4*o = -0*x + l, o = -5. Which is smaller: x or -4/5?
x
Let b be 1/(((-4)/(-10))/2). Suppose 0 = -4*n - t - 1, -3*t - 2 = 4*n + 1. Suppose 0 = -5*m, n = -y + 3*y - b*m - 2. Which is greater: y or 2/5?
y
Suppose -l + 25 = -6*l. Let j = l + 7. Which is smaller: j or 5/3?
5/3
Let d be (2 - -8)/(3 - 5). Let a = -8 - d. Let k be (12/(-81)*a)/(-2). Which is smaller: k or 1?
k
Let m = -0.06 - -0.06. Is m less than or equal to -3?
False
Let q be (-4)/(-10) - 148/(-5). Let h be (-3)/(-15) + (-21)/q. Which is bigger: h or -2?
h
Let u be 4/30 + 64/(-255). Is 2 equal to u?
False
Let f(s) be the first derivative of -s**3/3 + 2*s**2 + 6*s + 1. Let p be f(-4). Let b be p/(-20) - 2/4. Which is bigger: b or 2?
2
Let g = -4 + 16. Let t be 8/g + (-40)/78. Let f = 2.5 - 2.5. Is f at least as big as t?
False
Let f = 2 - 1. Suppose 0 = 5*a + 5*j - 30, f - 26 = -5*j. Let m be 2 + -3 + 1 + a. Which is smaller: -1/4 or m?
-1/4
Suppose -3*c = -8*c + 50. Let r be c/40 + (-23)/28. Is -1 smaller than r?
True
Let f be 6*(-3)/6 + -3. Let h be (-16)/f - (-6)/(-9). Let m be 24/20 + (-2)/10. Are m and h unequal?
True
Suppose 5*g + x = 0, 0*g + 3*x = 4*g - 19. Are -1/29 and g non-equal?
True
Suppose 44*c = 49*c - 330. Which is bigger: 2/9 or c?
c
Suppose 0 = 2*y - 3*n + 12, -4*n = 3*y + 1 - 0. Let l = 6 - y. Is l >= 2/3?
True
Let n = 27 - 37. Let l = 397/5 + -79. Is n bigger than l?
False
Let d = 13 - 12. Let i = -16/35 + 2/35. Which is bigger: i or d?
d
Let f be 8*(-5)/(-40)*(-2)/24. Is f less than -1?
False
Let k(s) = 2*s - 6. Let q be k(4). Suppose 4*w - 36 = 4*d, -4*w - q*d + 5 + 7 = 0. Is w at least as big as 5?
True
Suppose -3*o = -1545 - 2295. Let w = -65258/51 + o. Let h = w - -4/17. Which is smaller: -0.4 or h?
-0.4
Let m = -12 + 17. Let n be (0 - 15) + (-1)/(-2). Let t = n - -19. Which is smaller: m or t?
t
Let y(h) be the second derivative of -h**3/6 + 3*h**2 + 2*h. Let f be y(5). Suppose 0 = 5*w - 5. Is w not equal to f?
False
Let h be (1*(1 + -2))/(-1). Which is smaller: -2 or h?
-2
Let f = 1.15 + -1.1. Let m = -0.75 - f. Which is greater: 0 or m?
0
Suppose 3*c + 38 = -5*p, p = 3*c - 0 + 14. Let u be (-42)/4*(-4)/c. Which is greater: u or -6?
-6
Let u = -5/2 + 21/10. Which is greater: u or 0?
0
Let y be 16/(-16) - ((-1)/1)/1. Are 1/14 and y nonequal?
True
Suppose -f + 4*r = 8, 35 - 10 = 5*r. Suppose -f = -12*b + 8*b. Which is smaller: 2 or b?
2
Let x be -1 - (1 + -4 + 3). Let y = -1 - 0. Is y greater than or equal to x?
True
Suppose 4*c - 40 - 32 = 0. Suppose -62 = 4*d - c. Do -11 and d have the same value?
True
Let v = -3 + 8. Suppose 3*f + 2*z + 2*z + 16 = 0, 4*z = v*f - 16. Suppose f*h - 3*h - 3 = 0. Is -4/7 not equal to h?
True
Let w be (1/24)/(1/(-2)). Which is bigger: w or -1?
w
Let t(x) = -x + 1. Let a be t(-1). Let y be a/((-12)/(-9)*3). Is y greater than 1/4?
True
Let m = -2.03 + 0.03. Let d = 0.5 + 2.5. Let x = -2 + d. Is m greater than x?
False
Suppose 2*a = -2*a + 3*c + 79, 5*c = -25. Let f be ((-1)/2)/(2/a). Is -3 < f?
False
Suppose 0 = 2*n - 3*v, 2*v = -3*v. Do -1/19 and n have the same value?
False
Let a = 5 - 4. Let n = -2/3 + a. Is -1 less than n?
True
Let y be ((-3)/57)/(3/6). Let o = 4 + -5. Do o and y have the same value?
False
Suppose 3*c - 16 = -5*v, -4*v - 5*c + 4*c + 10 = 0. Let o be 9/6*(6 - v). Is o less than 2?
False
Suppose 12 + 0 = -4*q. Which is greater: -7/2 or q?
q
Suppose -14 = -2*j - 4. Suppose -2*a - 12 = -2*z, 2*z - z - j*a - 22 = 0. Suppose h + 0 = -z. Which is bigger: -1 or h?
-1
Suppose 13 = -5*p + 3. Let u be (-1 - (-31)/11) + p. Is -1 greater than u?
False
Suppose -24 = -0*x + 4*x. Let v be 10/(-66) - 2/x. Suppose 2*a - 4 = 4*r, -1 = r + 4*a - 9*a. Which is bigger: r or v?
v
Let g be (9522/(-8))/((-1)/(-4)). Let p = 38205/8 + g. Let o = -29/2 + p. Do o and -1 have the same value?
False
Let l be (0 - 3)/((-2)/6). Let c be ((-3)/l)/((-11)/3). Is c > 1?
False
Let a = 12 + -11. Is a bigger than -6?
True
Let x be ((-9)/(-7) - 0)*-1. Let f = 47/42 + x. Is f <= 0?
True
Suppose 7 = -a + o + 2*o, -a + 2*o - 4 = 0. Suppose 4 = -d + a. Let x be 3/d*2/(-18). Is 1 <= x?
False
Suppose 0*n + 17 = -17*n. Is n at most as big as -3?
False
Let x = 0.3 + -0.1. Let d = 96 - 94. Which is smaller: x or d?
x
Let n = -443/357 - -31/21. Is n greater than 1?
False
Let b be 16/(-56) + 353/35. Which is bigger: 9 or b?
b
Let o = -222 + 2000/9. Suppose -13 = -s - 5*h - 0*h, 8 = 4*h. Suppose 0 = s*k + 2 + 1. Is o less than k?
False
Let q be (-4)/(-6)*(-3)/(-1703). Let z = -6774/32357 - q. Which is bigger: 0 or z?
0
Let a(t) = 6*t - 2*t - 3*t. Let g be a(-2). Let b = g - -3. Is 1/3 smaller than b?
True
Let y be 3/(((-81)/2)/(-3)). Which is bigger: -1 or y?
y
Let a = 237/5 - 47. Let l(n) = -n**3 - 2*n**2 - 2*n + 1. Let z be l(-2). Let p = z - 5. Which is bigger: p or a?
a
Let p(r) = 5*r**2 - 4*r - 7. Let v be p(-2). Is 22 <= v?
False
Let d = 2/1075 - -999/40850. Let o = d + 35/114. Is 2/3 less than o?
False
Let h = -0.1 + 0.06. Let t = -0.54 - h. Is t != 1?
True
Let b = -4/5 - -3/5. Let g = -1.4 + 2.5. Let r = g - 1. Which is smaller: b or r?
b
Suppose -4*o - 27 = -o. Let f be (2 - -1)/((-2)/6). Is f >= o?
True
Let i(k) = -k**2 + 12*k - 32. Let w be i(8). Which is bigger: w or -2/65?
w
Let x(m) = m**3 + 7*m**2 - 9*m - 9. Let q be x(-8). Let c be (-4)/20*(-10)/28. Do q and c have the same value?
False
Let q(u) = u**3 + 0*u**2 - 4 + u**2 + 4*u - 6*u + 2. Let n be q(-1). Which is bigger: -2/7 or n?
n
Let f be (6 + -4)/(-28)*4. Is 3 greater than or equal to f?
True
Let h(g) = 3*g. Let m be h(2). Let v be (m/(-4))/((-15)/20). Let d be (-5)/v + 3/6. Which is greater: 0 or d?
0
Let v(a) = -4*a + 12. Let w be v(12). Let i be 8/w - (-4)/18. Is -3/4 equal to i?
False
Let w be (-5817)/(-6) + (-2)/(-4). Suppose -v - w = -6*v. Let k = -1354/7 + v. Is 1 at least as big as k?
True
Let q(f) = f**3 + 8*f**2 + 8*f + 5. Let p be q(-7). Suppose 3*v - v = 4*l - 10, 3*v + 3 = 2*l. Suppose -2*a = -4, 0 = -3*s - 0*a - 2*a + v. Is s bigger than p?
True
Let y(c) = c**2 - 6*c + 8. Let x be y(6). Let s = 10 - x. Suppose -6*t + 29 = -2*t + 5*z, -1 = 4*t - z. Is s greater than t?
True
Let s = 101 - 101. Which is smaller: 2/183 or s?
s
Let y = -26 - -26.9. Is y smaller than 3?
True
Suppose 13 = 2*n - n. Let m = n - 13. Which is bigger: -1/6 or m?
m
Let y(d) = d - 2. Let l be y(2). Which is greater: l or -1?
l
Suppose 2*i - 54 = 2*r, -22 = r - 6*i + 4*i. Which is bigger: r or -30?
-30
Let c be (-1)/6*(-8)/(-6). Let j = 101.8 - 96.8. Does c = j?
False
Suppose -5*d - a - 27 = -6*d, -3*a + 95 = 5*d. Do 23 and d have the same value?
False
Suppose 0 = -4*a - 4. Let b = a - -3. Let x be -2*-1*1/(-2). Which is greater: b or x?
b
Let d be (58/(-6))/((-1)/3). Let c = d + -20. Which is bigger: 10 or c?
10
Suppose 0*t = -22*t + 22. Suppose -5*v + 3*v + 18 = 3*u, 5*v = u + 11. Which is bigger: u or t?
u
Suppose -4*i = 5*l - 2*l - 12, -3*l - i + 3 = 0. Let z be -2 + l/(-3) - -2. Which is smaller: -3/10 or z?
-3/10
Let l be 1*(-2 + 45) - 3. Let j be (4/l)/((-1)/2). Which is bigger: j or 1?
1
Let u = 45 + -51. Is u at 