 + 12. Suppose -y*r + 6 = -0. Which is smaller: 0.2 or r?
0.2
Let j = 16 + -14. Let l be 4/12*(-3)/j. Which is smaller: l or 1/3?
l
Let d be (-21)/(-28)*8/9. Let n = d - 1/3. Let r = -6.3 + 6. Does n = r?
False
Let t(p) = 2*p**2 + 2*p - 2. Let x be t(2). Suppose -3*b = -2*b - x. Suppose 6*c - c = -b. Is c >= -3?
True
Let b(g) = g**3 + 13*g**2 - 15*g - 17. Let d be b(-14). Are d and 0 equal?
False
Suppose -14 = b - 3*t, -b = 3*t - 15 + 5. Let w be (6/(-18))/(b/(-6)). Which is greater: -3 or w?
w
Suppose 3*c + 4 = -5. Let x be c/(-2)*8/(-12). Let r = 0 - x. Which is smaller: r or -2/11?
-2/11
Let g = 74 - 18. Which is smaller: g or 54?
54
Let n = -116 - -99. Which is smaller: -15 or n?
n
Let d be (3/(-2))/(1/2). Let q = 12 + -4. Suppose -q = z + 3*z. Which is greater: z or d?
z
Let c(z) be the third derivative of z**5/12 - z**4/12 + 2*z**2. Let s be c(-1). Is s < 7?
False
Let t = 0.51 + -0.31. Let o = 1 - 2. Which is smaller: o or t?
o
Let p be -3*1*-2 - -2. Let m be 1/2*(-2 + p). Let g = 7 + -7. Which is smaller: g or m?
g
Let a = 8 + -6. Suppose -w = a*w - 3*l, w + 3*l = 20. Is 5 at least w?
True
Let d be (-6)/(-2) + -6 - 7. Let a be (d/(-4))/((-1)/(-2)). Suppose a = -z + 4*b, 0*z + 4*z = 2*b + 8. Which is smaller: 2 or z?
2
Let t(f) = f**2 + f - 1. Let z be t(1). Suppose -2*x - y = 1, 5*y + z = 3*x - 4. Are 0 and x non-equal?
False
Let w be (-12)/(-5)*(-10)/(-22). Is 1 at least w?
False
Let n = 15 - 9. Let k(w) = -w - 2. Let x be k(-6). Suppose n = -m + x*m. Which is smaller: m or 1/2?
1/2
Suppose -1 = 3*h + 2. Which is greater: h or -2?
h
Let f = 26 - 28. Let o be ((-1)/(-6))/(2/(-15)). Which is smaller: o or f?
f
Suppose 4*x = l, -2*x + 0*x = -l + 2. Let z be (-21)/24*(-6)/14. Which is smaller: x or z?
z
Let x = -54 - -55. Is x greater than or equal to 3/10?
True
Let m = -10 - -10. Which is bigger: m or 3?
3
Suppose 28 = k - 5*k - 2*h, -2*h = -k - 17. Let m be (1 + 0)/(k/(-45)). Are 1 and m unequal?
True
Suppose 0 = -z + 3*z + 220. Let n = z + 552/5. Which is smaller: -2/5 or n?
-2/5
Let a = 0 - -3. Suppose -5 + 19 = f - a*o, -3*f = -4*o - 17. Which is bigger: -2/9 or f?
-2/9
Let u = -59 - -29. Is u > -31?
True
Let t = 0.5 - 0.8. Let w = -0.2 - -0.3. Let o = w + t. Are -1 and o unequal?
True
Let o = -187/4 + 49. Is 3 at least as big as o?
True
Suppose 1 = -p + 2*d + 3*d, -p = 5*d + 41. Let s be (-54)/p + (1 - 3). Which is smaller: s or 0?
0
Let m = 1391 + -6926/5. Let v = m + -6. Which is smaller: 0 or v?
v
Let l = -0.04 - 0.76. Let j be (3/9)/(7/14). Which is greater: j or l?
j
Suppose -15*g = -11*g - 4. Let n = -22 - -87/4. Is n at least g?
False
Let p = -2 - -2.2. Let o = 0.1 - p. Let y = o - 1.9. Are -2/13 and y nonequal?
True
Suppose 3*c + 0*h - 4*h + 19 = 0, h - 1 = -3*c. Let y = -7 - c. Let x = y - -9. Is -1 less than or equal to x?
True
Let d = -47273/61 + 775. Which is bigger: d or 0?
d
Let j = -5 + 9. Suppose -16 = -4*g - 2*x, 5*g - 3*x = 5 + j. Suppose -g*r - 4*b = 0, 4*b = 4*r - 33 + 5. Is 3 bigger than r?
False
Let a be 5/(-2) + 37 + -34. Is -1.7 > a?
False
Let h be ((-5)/(-10))/(2/10204). Let d = h - 150499/59. Let x = d - 247/413. Do x and 1 have the same value?
False
Let r = 1.72 + 0.28. Is r > -0.4?
True
Let q be ((-4)/(-5) - (-36)/30)/(-135). Is q > 0?
False
Let q = 5 + -3. Suppose 0 = 3*b - q*f - 6, 2*f + 0*f = -6. Is b less than 2/5?
True
Let r(y) = -3*y**2 - 1. Let s be r(1). Suppose 2*k - 5*j = -k - 21, 0 = -k - j + 1. Which is smaller: s or k?
s
Let r(k) = -5*k**2 + 0*k - 2*k + 6*k + 3*k**3 - 2*k**3. Let a be r(4). Let w = 7/30 + 1/6. Which is smaller: w or a?
a
Let v(n) = -5*n - 21. Let t be v(-7). Which is greater: -0.1 or t?
t
Let z = -91/3 + 35. Do 4 and z have the same value?
False
Let n(l) = -l**3 - 3*l**2 + 4*l - 1. Let k be n(-4). Let o = -396/263 - -122246/14465. Let p = 72/11 - o. Is p less than k?
False
Let k = -3/11 + 32/77. Which is smaller: k or -1?
-1
Let f = 14 + -11. Let c(w) = w**2 + 2*w + 1. Let j be c(-5). Suppose g - f*u = -j, -g = 2*g + 3*u - 12. Which is greater: g or -4/7?
-4/7
Let b be 2 - (3 - 123/3). Is b equal to 40?
True
Let o be (-9)/(-2)*(-2)/24. Let i be 4/((-4)/(-11))*-1. Let r = -10 - i. Is o > r?
False
Let l = 30 - 36. Is -6 bigger than l?
False
Let r = -14 - -12. Is r bigger than -1/6?
False
Let q be 2/(2/(-3)) + -10. Which is bigger: q or -12?
-12
Let m = 0.2 + -0.1. Suppose 0*t - 29 = -3*t - 2*d, 3*t - 5*d = 1. Let y be (3/t)/(6/4). Which is bigger: m or y?
y
Let s = 18 - 17.7. Suppose 2*b + 5*m - 29 = 0, 15 = m + 2*m. Let h be 1/b - (-2)/(-4). Are s and h unequal?
True
Suppose u = -4*p + 4 + 2, 2*u = -p + 5. Let t be (-12)/(-16) - 2 - -1 - -1. Does t = u?
False
Suppose 2*b - 1 = 13. Let z(c) = c**2 - 7*c + 3. Let v be z(b). Let j = v - 4. Which is smaller: -4/5 or j?
j
Let u = 2 + -2. Let p be (1 - u) + -8 - 1. Let r = p + 3. Is -2 smaller than r?
False
Let g(m) be the third derivative of -5*m**4/24 - m**2. Suppose l + 0 + 1 = 0. Let p be g(l). Which is smaller: 4 or p?
4
Let p = 24982771/4242 + -82461/14. Let f = p + 2/101. Which is smaller: -0.3 or f?
f
Let j = -1 + 4. Suppose 0 = -3*r - j - 0. Are -2 and r equal?
False
Let o = 33 + -21. Let v be ((-8)/o)/(2/18). Let w be (-6)/(-14)*4/v. Which is greater: w or 0?
0
Let f = -2.454 + -0.616. Let n = f - -0.07. Which is bigger: 2/3 or n?
2/3
Suppose -6 = 3*c - 21, 23 = -2*a + 5*c. Is 4/27 at least as big as a?
False
Let x be 1 - -1 - (-115)/(-60). Is x equal to 2/3?
False
Let b be (7/(-4))/(2/8). Is -8 >= b?
False
Let k(d) = -3*d - 4. Let j be k(-6). Suppose j = 3*h + 2*c, -5*h + 5*c - 11 + 1 = 0. Let g be 6/(-9) + h/6. Which is bigger: g or 1?
1
Let b be (-2)/(-6) - (-5)/3. Let c(u) = 0 - 7*u + 4 - 4*u**2 + 5*u**b. Let w be c(6). Is w at most as big as -1?
True
Let r be 4/(-20 + 0)*-1. Let w(h) = h - 3. Let g be w(3). Which is greater: r or g?
r
Let v be 26/(-2) + 0 + 3. Let r be (-3 - -3) + 16/v. Is r < -3?
False
Let c be -4*(0 + (-75)/(-12)). Let n = 14 + c. Let g be -3 - -2 - 13/n. Which is greater: -1 or g?
g
Suppose -5*a = 5*s - 35, 3*a + 4*s = a + 18. Does 5 = a?
True
Let c be (0 - 2)*158/4. Let b = c + 871/11. Suppose -5*m + 5*p + 1 = 2*p, 4*p = 3*m - 5. Are m and b equal?
False
Let v(g) = g**2 - g - 1. Let h = 3 - 3. Let u be v(h). Let m be (-5)/(-3) + 2/(-1). Is m not equal to u?
True
Suppose 8 = 2*h - i, 5*h = -i + 1 + 12. Suppose -8*r + h*r + 15 = 0. Is 5/3 <= r?
True
Let z(a) = -2*a**2 + 5*a + 15. Let x be z(4). Let v = -1.8 - 0.2. Which is smaller: x or v?
v
Suppose 3*v = 5*v - 8. Suppose -9*n + v = -5*n. Which is bigger: n or 0?
n
Let a = -25 - -18. Let q be (-1200)/7 + 2/a. Let j = q - -172. Which is greater: j or -2/5?
j
Suppose c - 8 = 5*c - d, 0 = 3*c + 4*d - 13. Which is bigger: c or -2/5?
-2/5
Suppose 5*s = -5*q + 25, -2*q + 17 = 5*s + q. Is 9/7 < s?
False
Let l = -36 - -60. Let g = l - 25. Which is greater: g or -4/5?
-4/5
Let q = -23 - -31. Which is smaller: q or -1/2?
-1/2
Let l = 2.44 - 2.5. Let r = -0.06 - 0. Let t = l - r. Is t >= -0.1?
True
Suppose 2*q + l = 14, -2*q - 2*l + 0 = -14. Let b be 1/3*(q - 1). Suppose t = b*t + 1. Which is smaller: t or -2?
-2
Let y = -0.6 - -0.7. Let s(d) = -d**2 - d - 9. Let o be s(0). Let u = o + 43/5. Which is bigger: u or y?
y
Let f be 126/24 - (-1)/(-4). Let k be ((-3)/10)/(6/f). Which is smaller: 0 or k?
k
Suppose 0 = c - 5*v + 8, 0 = 4*c + v + 2*v - 14. Suppose -3*w - 4 = c*t, 3*w - 8 = 4*t - 2*w. Does t = -2/3?
False
Let h = -21 - -18. Which is smaller: h or -3/2?
h
Suppose -6*m = -2*m - 2*y - 70, 95 = 4*m + 3*y. Suppose 4*i = -m, -q - 2*i - 1 = -i. Are q and 3 equal?
False
Let k = -224/43 + 10623/215. Let a = 44 - k. Suppose r = 3*p, 0 = -2*p - p - 4*r. Which is greater: p or a?
p
Let n be ((-1)/(-3) + 0)/(-1). Let m = -244.06 + 241. Let p = 0.06 + m. Which is smaller: p or n?
p
Let z be 18/22 - (-6)/33. Let b be 3/15 + 3/(-5). Is z >= b?
True
Let d be 0 + 0 + (-3 - -5). Let m be d/(-8) + 2 + -2. Are 1 and m non-equal?
True
Suppose -5*z = -2*c - 25, -2*z + 4*z + 3*c - 10 = 0. Suppose 0 = -z*m - 1 - 9. Let i be m/6 + (-77)/84. Is 0 greater than i?
True
Let f = 10 - 6. Suppose 4*t + y = 5, f - 2 = -3*t + 5*y. Let c be (-38)/(-56) - 2/8. Is t greater than c?
True
Let p be 120/55 + -2 + (-52)/(-319). Is p not equal to 0?
True
Let z(b) = b + 7. Let k be z(-5). Supp