l. Which is greater: b or 3?
3
Suppose 0 = 4*p - 6*p. Suppose 3*i + 6 = -4*u, 4*i = -2*u + 6*u - 8. Which is bigger: p or i?
p
Let j = -0.113 + 0.013. Suppose 0 = -5*h - 6 - 4. Let v be 5/6 - (-1)/h. Is v != j?
True
Let w(c) = -c**2 + 0*c - 6*c + 5*c**2 - 5*c**2. Let q be w(-5). Is q >= 5?
True
Let u = 10/39 - -106/195. Let z = -1 + 4. Let d = z + -2. Which is smaller: u or d?
u
Let f(m) = 4*m + 19. Let p(i) = -i - 6. Let c(d) = 2*f(d) + 7*p(d). Let w be c(10). Which is greater: 4 or w?
w
Let n be 0 - ((-119)/(-3) - 0). Let l be (-4 - 5/2)*-6. Let b = n + l. Is 1/4 less than b?
False
Suppose 3*j + 21 = 4*f, j + 0 = 1. Let a be f/(-33) + (-26)/99. Is 0 <= a?
False
Suppose j + 28 = -5*o, 14 = -4*j - 4*o - 18. Are j and -3 unequal?
False
Let v(i) be the first derivative of -i**2/2 + 8*i + 2. Let m be v(7). Let y = 59/10 - 589/110. Which is smaller: m or y?
y
Suppose -3*c + 0*c + 15 = 3*a, 2 = 2*a. Suppose 26 = 4*p + 6. Which is bigger: c or p?
p
Let b be 1/3 - (-142)/6. Let t be 6/b + 6/8. Let q be (-1)/(t/(-4 + 3)). Which is greater: q or 8/5?
8/5
Let u(j) = j**3 + 19*j**2 - 20*j + 16. Let h be u(-20). Which is bigger: h or 5?
h
Suppose -6*w - 5*k - 50 = -w, w = k - 6. Let q be ((-21)/6)/7*w. Let d be (0 - -4) + (-2)/(-2). Which is smaller: d or q?
q
Let s = -369/7 - -53. Let m = -11.07 - -11. Let r = m - 0.93. Which is bigger: s or r?
s
Let r = 110157/3734 - 2/1867. Is r smaller than 29?
False
Let r(f) = -2*f + 5. Let j(n) = 3*n - 6. Let c(i) = 3*j(i) + 4*r(i). Let a be (0 + 2)/(4/(-6)). Let q be c(a). Which is greater: 1/4 or q?
1/4
Let a be ((-132)/(-55))/(3/20). Suppose -4*t + 4*u - 6*u = 8, 0 = -4*t + 4*u + a. Is 2/27 greater than or equal to t?
True
Let i = -25/6 - -7/2. Let c = 0 + 0. Suppose 1 = -d - c. Is d at least i?
False
Let s be ((-36)/210)/(6/(-10)). Which is smaller: 1/5 or s?
1/5
Let v = -4 - -8. Suppose -r - 1 = -v. Are 2 and r non-equal?
True
Suppose 0 = 3*d - 8*d + 10. Which is bigger: d or 3/5?
d
Let b = -114 + 227/2. Which is greater: 0.017 or b?
0.017
Let a = 6 + 10. Let f = 19 - a. Is 5 greater than or equal to f?
True
Let p be (2 - (-10)/8) + -1. Is p >= 0?
True
Suppose 6*c + 2*h = 3*c, -h = -3*c + 9. Let o be -2 - (-2 - (c - 2)). Which is smaller: o or -2/3?
-2/3
Let f be (2/(-35))/(5/(-75)). Which is smaller: 1 or f?
f
Suppose -l - 5*s + 4 = 0, -5 = -2*l - 5*s - 2. Let v be (18/4)/((-4)/2). Is v at most l?
True
Let o = -110 + 111. Let h be (-15)/4 + (-1)/4. Do o and h have the same value?
False
Let v = 8 + -6. Suppose -7*q = -v*q. Let g be 6/9 + 1/(-1). Which is smaller: g or q?
g
Let q be (0 + -3*(-4)/6)*2. Suppose -3*t - 30 = -5*x, -4*t + 7*t = 4*x - 27. Suppose x*g + 10 = 5*g. Which is bigger: q or g?
g
Suppose -4 = -2*x - x + r, -16 = -2*x - 2*r. Let s(v) = -v**3 - 3*v**2 + 4*v + 3. Let y be s(-4). Is y at least x?
True
Let d be ((-1)/3*0)/(-1). Suppose 0*a - 2*a - 4 = d. Let u be ((-4)/(-6))/(a/(-3)). Is u at most as big as 1/2?
False
Let f = -5 + 9. Let l = f + -5. Is 1 < l?
False
Let b = 5.1 - 5. Let x = 537/2 - 236. Let u = -32 + x. Is b less than u?
True
Let i(h) = -h**3 + 12*h**2 - 12*h + 6. Let r be i(11). Let a be (-5 - -6)*1/r. Which is greater: a or 0?
0
Let z(f) = -2*f + 4. Let r be ((-5)/10)/((-2)/12). Let n be z(r). Is -2 != n?
False
Let u = 0.092 + 2.908. Which is smaller: -12 or u?
-12
Let i = -13 - -6. Is -13/2 smaller than i?
False
Suppose -r = r. Let y = 9 + -9. Is r equal to y?
True
Let g(c) = 3*c**2 - 5*c + 3. Let r be g(3). Let p be ((-5)/(r/1398))/2. Let m = p + 1169/5. Which is greater: m or -2/9?
m
Let v(d) = -d + 2. Let j be v(-2). Are j and 5 non-equal?
True
Let z = 1.5 - 4.5. Is 0.4 smaller than z?
False
Let f be 3/18 + (-34)/60. Let v = 2 + -2. Let q(m) = -m + 1. Let g be q(v). Is g > f?
True
Let o be 2 + 2/6*0. Suppose 0 = 4*u + 8, 5*d + u = 2*u + o. Let a be (d + (3 - 2))/(-1). Is -1 smaller than a?
False
Let w(u) = -u**2 + 6*u + 5. Let d be w(6). Let j = d - 2. Suppose -8 = j*g - 7*g. Do g and 3 have the same value?
False
Suppose -2*n = -0*n - q + 14, -q - 28 = 5*n. Which is greater: n or -7?
n
Let t(a) be the third derivative of a**6/120 + 2*a**5/15 - a**4/3 + 3*a**3/2 + a**2. Let w be t(-9). Which is smaller: 3 or w?
w
Let r = -98 + 92. Which is bigger: -9 or r?
r
Suppose k + 4 = 6. Let j = k + -1. Let t be (43/(-516))/((-1)/1). Which is smaller: j or t?
t
Let b = -18 - -37/2. Is 0.09 > b?
False
Let d = -1 + 2. Let v = -19 - -31. Let u be 4 + -4 + 20/v. Which is smaller: u or d?
d
Let n(j) = j**3 + 5*j**2 + 3*j + 26. Let m be n(-6). Do m and -27 have different values?
True
Let s(c) = 2*c - 1. Let o be s(-4). Let y be ((-2)/3)/(4/6)*9. Is y < o?
False
Suppose i - 8 = -d, 3*i + i - 5*d - 23 = 0. Suppose i*t = 2*t. Which is smaller: 1/3 or t?
t
Let f = -33 - -32. Let m be (-2)/4*(-4)/(-14). Is f bigger than m?
False
Let d(t) = -t - 17. Let u be d(-12). Let f be 4/10 - (-2)/u. Which is smaller: -1 or f?
-1
Suppose 1 - 2 = -a. Let t = 15 + -7. Suppose 2*v = 6*v + t. Is a >= v?
True
Let b = -137/1584 - 5/144. Which is smaller: -1 or b?
-1
Let a be ((-2)/(-4))/((-1)/2). Is -1/6 at least as big as a?
True
Let x = -32.8 - -39. Let m = x - 7. Let d = m - 0.2. Which is greater: 0.1 or d?
0.1
Let v = -121.97 + 120. Let u = v + -0.03. Do -2 and u have the same value?
True
Let r = 17 + -6. Which is greater: r or 1?
r
Suppose -w + 0*w - 3*u = -15, 33 = 5*w + u. Let p be (w/(-16))/((-15)/(-12)). Which is bigger: -1 or p?
p
Let v be (2/44)/(4/7408). Let o = v + -84. Are -1 and o equal?
False
Let m = 150/13 - 7024/611. Which is smaller: m or 1?
m
Let l = 2 + -3. Let r be 0 + 2 + 11/(-3). Which is smaller: l or r?
r
Let j(n) = n + 18. Let t = 25 + -36. Let i be j(t). Is i greater than 7?
False
Let x = 3 - 2.9. Let y = x - 0. Which is greater: y or -0.2?
y
Let d be ((-9)/6)/((-1)/10). Let x be (-6)/d - (-18)/(-80). Which is smaller: x or 0?
x
Suppose v - 3*v + 4 = 0. Suppose s - 1 = v. Suppose 4*g - 1 = s*g. Do -2 and g have the same value?
False
Let o be (2 + -2)/(-2) - -1. Are o and -2/63 equal?
False
Let i = 1 - 1. Let g = -199/988 + 5/52. Is g smaller than i?
True
Let t be (4/(-3))/(6/(-9)). Let l(o) = 2 + 3*o - o**3 + 3*o**t - 3*o - o. Let w be l(3). Which is smaller: w or -2?
-2
Let n = 446 + -15613/35. Which is bigger: n or 1?
1
Let l be 31*-1*1/(-1). Is l greater than or equal to 31?
True
Let k(b) = b**3 + 19*b**2 - 2*b - 40. Let s be k(-19). Is s at most as big as -8/11?
True
Let b = 4 + 0. Suppose b*k + k = -30. Let d = k - -5. Which is bigger: -2 or d?
d
Let o = 1252 - 52579/42. Which is smaller: o or 1?
o
Let z = 1653/28 + -239/4. Is 0 less than z?
False
Let z = 0.3 + 0.7. Let f = -0.93 + -0.07. Let q = z + f. Which is smaller: q or -3/2?
-3/2
Let f = 47 + -48. Do f and -13 have different values?
True
Suppose 3*m + 2*m - 28 = -2*j, 3 = j - 3*m. Suppose 0 = -2*y - v + 23, -4*y + 3*y - v + j = 0. Let i be (1/3)/(y/(-24)). Is -1 >= i?
False
Suppose o - 9 = 11. Let d = 16 - o. Do -4 and d have the same value?
True
Let x = 48 + -55.2. Let l = x - -7. Is -2/5 < l?
True
Let n(h) = -h**3 - 6*h**2 - 4*h + 3. Let d be 84/18 + 4/(-6). Let u(g) = -g - 1. Let l be u(d). Let j be n(l). Is -1 smaller than j?
False
Let i = -14.655 + -0.245. Let d = i + 15. Is d equal to -0.19?
False
Suppose 6*i - 20 = i. Let j be 3/5*i/12. Which is smaller: j or 0?
0
Let v = 901 + -5393/6. Let g = v - 85/42. Which is greater: g or 1?
1
Let o = -130/49 + -2/147. Let s = -2 + -1. Is o at most as big as s?
False
Let b(t) = -t - 3. Let i be b(3). Which is greater: i or -5?
-5
Suppose 3*c = -0*q + 4*q + 46, 5*q + 5*c + 40 = 0. Let w be 4/q + 18/20. Which is greater: w or 1?
1
Let k = -15/22 - -537/836. Is 2 at most as big as k?
False
Let t(w) = -w**2 + 5. Let a be t(0). Let z = 3 - 11. Let n(v) = v**3 + 8*v**2 - 2*v - 12. Let i be n(z). Which is greater: a or i?
a
Let x(y) = -y**2 - 4*y - 2. Let r be x(-3). Suppose k = -2 + r. Let w be ((-2)/(-20))/1*4. Which is greater: k or w?
w
Let q = -9.16 - -9.2. Which is greater: 0 or q?
q
Let h(w) = w**2 - 6*w - 28. Let t be h(9). Which is bigger: -2/209 or t?
-2/209
Suppose z - 2*z = 4*b - 12, 0 = -3*b + 3*z + 9. Suppose b*f - f - 28 = 0. Is f equal to 14?
True
Suppose w - 2*r + 100 - 38 = 0, -2*w + 5*r = 128. Is w smaller than -54?
False
Let s be (2/4)/(2/(-60)). Let c be (4/6)/(