ose -5 = -5*q + 3*d + 181, 5*d - 210 = -5*q. Is 40 greater than q?
True
Let c = 3.2 - 3.4. Is c < 5?
True
Let g = -47.8 - -54. Let b = 6 - g. Is b greater than or equal to 2?
False
Let n = 1 - 0.8. Let z be 4/(-6)*6/14. Is n > z?
True
Let r = -4 + 6. Let i be (-4)/r - -1 - -6. Suppose -4*n - 4*x - 19 = i, 0 = 3*n - x + 10. Which is greater: n or -3?
-3
Suppose 37*i + 168 = 16*i. Suppose -u - 3 - 5 = 3*c, 3*c - 17 = 4*u. Is i less than or equal to u?
True
Let x = 3438834 + -4831562322/1405. Let m = x - 2/281. Let y = -8 + 7. Is y smaller than m?
True
Let q be (111/(-74))/((-3)/(-34)). Is q bigger than -22?
True
Suppose -o + 6 = -2*w - 4, 2*w = 3*o - 18. Is o bigger than 7?
False
Let c = -5.85 - 0.15. Let v = 6.1 + c. Which is smaller: 0 or v?
0
Let p = -2.6 + 1.6. Let i = 11 + -8. Suppose i = -d + 2*o - 4, 0 = -3*o + 6. Is p smaller than d?
False
Let f be (-9 - -9)*(1 - 2). Suppose 2*x - 10 = 2*b, 2*x = -2 - f. Do -7 and b have different values?
True
Let t be (1/(-6))/((-21)/56). Let z = -2 - -2. Which is bigger: z or t?
t
Let j = 7 - 7.7. Let u = -0.3 + j. Let o = u + 1.1. Which is smaller: o or 0?
0
Let w(u) = 3*u**2 - u - 1. Let k be w(-1). Let t = 13 - 12. Which is smaller: t or k?
t
Let z be (-6)/4*4/(-3). Let r be z/(-6) - (-4)/48. Let k be (-2)/3 - 10/(-6). Which is smaller: r or k?
r
Let v(c) = -c + 5*c - 5*c + 2. Let f be v(5). Which is smaller: -5 or f?
-5
Let m = -0.01 - 2.99. Let v = 7 + -6. Let f = v + m. Is f not equal to 0?
True
Let o be ((-2)/(-245))/((12/(-15))/(-4)). Which is greater: -1 or o?
o
Suppose -2*b - 60 = -2*z + 16, 0 = z + 3. Which is smaller: -40 or b?
b
Suppose 2*x + 4 = u - 1, 0 = -x + 3*u - 15. Let h = 8 + -5. Suppose -h*c = c + 4. Is c at least as big as x?
False
Let f = 1.02 + -0.22. Let p = -3 - -2. Which is bigger: p or f?
f
Let n = 0.13 - 1.33. Let j = -0.2 - n. Let z = 73/3 + -24. Is z equal to j?
False
Let u = 2/5372987 - 38486705923/112832727. Let c = u + 341. Let b be ((-2)/3)/((-2)/3). Which is bigger: c or b?
b
Let c be 16/(-6)*(-3)/1. Suppose -c = -2*u - 10. Which is smaller: -2 or u?
-2
Let d = 0.2 + 5.9. Let b = -6 + d. Which is smaller: b or -0.04?
-0.04
Let r(l) = l**2 + 6*l + 5. Let v be r(-5). Are -6/17 and v unequal?
True
Let x = 20 - 13. Let t(d) = 4*d**2 - 7*d + 5. Let g be t(x). Let r = -452/3 + g. Is r < 0?
False
Let z = 3.3 - 3.6. Which is smaller: z or -0.1?
z
Let k be 3/(-2) + (-54)/(-4). Suppose r + r + k = 0. Let v be (r/(-9))/2*9. Are 2 and v equal?
False
Suppose -j = 3*j - 12. Let p(v) = -v**2 - 6*v - 1. Let t be p(-5). Which is greater: t or j?
t
Let w be 2/4*(-16)/(-4). Suppose -w*z = 8 - 10. Which is smaller: z or 2?
z
Let n = -257/14 + 35/2. Which is smaller: n or -1?
-1
Let t be (-36)/(-15) - 4/10. Let x = -6234/7 + 892. Which is smaller: x or t?
x
Let g be 4/7 + -1 - (-340)/1610. Which is smaller: g or 0?
g
Let k = -19 + 19. Which is greater: k or 0.2?
0.2
Let i = -7 - -9. Let j be (-3 + 14 + -3)/i. Which is bigger: j or 0?
j
Suppose -5*a - 4*z = -a + 16, -4*z - 8 = 0. Let t be a/(-4) - 6/8. Let o = 1919/9 - 213. Are o and t nonequal?
True
Let x = -10.22 + 0.22. Let c = x - -10.8. Is 1 smaller than c?
False
Suppose -2*k + 4*o + 46 = 0, 0*k - 2*k = 3*o - 46. Suppose -3 = 5*b - k. Is b <= 5?
True
Suppose 2*h + 3*h = -60. Let f be (-4)/(-6)*h/(-28). Suppose -4*a + 2*g - 10 = 0, 4*g = -3*a - 1 + 21. Which is smaller: a or f?
a
Let d = -1 - 6. Let b = -7.2 - d. Let f = 1.2 + b. Which is smaller: -0.2 or f?
-0.2
Let j be 2/(-27)*(-2517)/28. Let u = 58/9 - j. Which is greater: 1 or u?
1
Let k be (24/(-20))/((-6)/(-20)). Which is smaller: -6 or k?
-6
Let a be 9/2*(-16)/(-12). Let s(f) = -a*f + 5 - f**2 + 3*f + 0. Let l be s(-4). Which is smaller: l or -1/7?
-1/7
Let v = 0.01 - -0.01. Let y = v + -2.02. Which is smaller: -1/3 or y?
y
Let i(t) = -5*t - 54. Let h be i(-11). Is -10 bigger than h?
False
Let n = -1.1 - -0.7. Let c = 0.2 + n. Is c > 0?
False
Suppose -3*u - 2 = -2*n + 2, 3*u = 3*n - 3. Let a be 3 - 3 - u/(-5). Are 1 and a non-equal?
True
Let q be ((-2)/81)/(10/(-30)). Suppose -z = -5*z. Which is smaller: q or z?
z
Let a be (-2)/7 + (-596)/(-28). Let p = 27 - a. Is p < 6?
False
Let z = -33 - -40. Suppose -32 = -2*n - 5*d, -2*d = -4*n + 15 + 1. Which is smaller: n or z?
n
Suppose 0 = -d - d + 6. Let t be (4/10)/(d/(-5)). Suppose 10 = 4*j + 18. Which is smaller: t or j?
j
Suppose 0*f = 3*f - 6. Let u = f + -5. Let z(w) = w**2 + 3*w - 1. Let g be z(u). Is g greater than or equal to -1?
True
Let q be (-16)/12*6/(-4). Let l(w) = w**3 - 7*w**2 - 6*w - 15. Let m be l(8). Which is bigger: q or m?
q
Let b be (-200)/798 - (-10)/35. Which is greater: 1 or b?
1
Let k = 6 + 4. Suppose -2*l - k = 2. Which is smaller: l or -1/4?
l
Let h = 72 - 71.59. Let u = 0.01 - h. Is u < -0.1?
True
Let r = 9/187 + -1200/13277. Is r greater than 1?
False
Let u = 10 + -10. Suppose -5*i = -3*k - 10, 3*k + u = i - 14. Is k greater than -4?
False
Let z = -0.4 - -0.4. Suppose -a = -5*k + 13, a = k - 2 - 15. Let j be 15/126 + (-3)/a. Are z and j nonequal?
True
Let o be ((-5)/2)/(1/2). Let a be (-2)/((15/12)/o). Suppose -a = y + 2*p, 0*y + y - 4 = 4*p. Are -5 and y unequal?
True
Let d = 6 - 4. Suppose d*u + 2 = 3*u. Do 3 and u have different values?
True
Let b = 29 + -40. Let u = b - -11. Is -0.4 less than or equal to u?
True
Suppose -2 = -3*b + 4*z - 19, 3*z = -b + 16. Is 1 > b?
False
Let u = 33 - -4. Which is bigger: u or -1?
u
Let g = 38 + -28. Do g and 12 have the same value?
False
Let m = -1.19 - -0.89. Which is smaller: m or 4?
m
Suppose 3*l - 8 = 4. Let m be (-2)/l + 2/4. Suppose 0 = -2*v + 6*v. Is v bigger than m?
False
Suppose 2*r - 5*r = 9. Is -11 < r?
True
Suppose 0 = -b + 3*a - 23, -3*b - 84 = -3*a - 21. Let v be b/36*6/4. Is v at most as big as -1/3?
True
Suppose 0 = -4*m - 3*d + 23 - 59, -4*m + 4*d = 64. Is m equal to -12?
True
Suppose 15 = -2*v + 3*m, 0 = 2*v - 4*m - m + 21. Let j = v + 5. Is 3 greater than j?
True
Let k(c) = -c**2 + c + 33. Let b be k(0). Suppose 5*q = 3*n - b, -5*q + 4*n - 4 - 25 = 0. Let y be 4/18 + 20/q. Which is bigger: y or -3?
y
Let s(u) = 1 + 3 + 2*u + 1 - 3*u. Let i be s(12). Is i equal to -8?
False
Let j(d) = -d**3 + 6*d**2 - 2*d + 8. Let t be j(6). Let b = -0.19 + 0.39. Which is bigger: t or b?
b
Suppose 2*f + 20 = -v, 2 = -5*v - 18. Is f > -7?
False
Let p be (1 + 6/(-3))*73. Let w = 153 + p. Let g = -558/7 + w. Which is bigger: -1 or g?
g
Let j = -10 - -11. Are j and 1 equal?
True
Let w = 7/156 + 13069/780. Is 18 > w?
True
Let r = -18 - -20. Suppose 3 + 1 = 2*i, r*w - 5*i = -14. Which is smaller: w or 0?
w
Suppose -4*q - 3*y - 6 = 0, y = -4*y - 10. Let p be (3/4)/(3/(-2)). Which is smaller: q or p?
p
Suppose 3*j + 64 = -j. Let v = 49/3 + j. Suppose 0 = 38*l - 61*l. Which is smaller: l or v?
l
Suppose -18 + 6 = -4*t. Suppose -d - 4 + t = 0. Do 1/6 and d have the same value?
False
Let o be (-3)/(-9)*2 - 7/(-21). Let r be (3 + -1)*1/2. Are r and o equal?
True
Suppose 0*c = c + 3, -2*c - 2 = -4*k. Is k <= -1?
True
Let y = -22 - -13. Let l be (2/(-8))/(y/(-6)). Is 0 greater than or equal to l?
True
Let y = -8 + 7. Suppose 0 = 11*w - 9*w - 2. Which is bigger: w or y?
w
Let j(y) = -y**2 - 4*y + 1. Let c be j(-4). Suppose s = -0*s - c. Is 1/6 less than s?
False
Let s(n) = -n**2 - n + 3. Let x be s(2). Is x less than -10/3?
False
Let g = 8 - 15. Which is smaller: g or -5?
g
Let r = 10 + -10.1. Let l = 0.4 - 0.1. Let p = -0.3 + l. Is p < r?
False
Suppose 5*z - q = q, -4*q = 0. Which is greater: z or -1/2?
z
Let q = -1732/615 + 2/123. Is q > -3?
True
Suppose 5*r - l = -10, -r - l + 1 = 3*r. Let v = -3 + r. Which is smaller: v or 0?
v
Suppose 3*g = -2 - 4. Let i be (-12)/(-54) + g/9. Which is bigger: i or 1/10?
1/10
Let m = 482 - 4330/9. Suppose 0 = 5*b - 5, -5*p + 3*b - 3 = -2*p. Which is greater: p or m?
m
Let y(s) = -s**2 + 10*s - 11. Let b be y(9). Let c = 5 - 9. Which is smaller: b or c?
c
Let p(y) = -y**2 - 7*y - 4. Let o be p(-6). Let c be ((-3)/o)/((-27)/(-72)). Do c and -3 have the same value?
False
Suppose -9*x = -5*x + 36. Which is bigger: x or -8?
-8
Suppose -5*t + 5 = -10. Let x be t*(-4)/6 + 5. Suppose f = -n, -x*f - f = 5*n. Which is bigger: 1/3 or n?
1/3
Let t = -1.08 - -0.08. Let j be 1/2*(-6)/5. Is t less than j?
True
Suppose 3*p = -3*j - 3, -1 = 3*p + 2*p +