et d = 2 - 1.8. Let l = 0.2 - d. Let g = l - 0. Which is smaller: g or -1?
-1
Suppose 5*m = -97 - 13. Is m less than or equal to -20?
True
Let j be (-8)/(-2) + 1 + -4. Which is greater: j or -67?
j
Let f be (-1)/(9 + -2)*2. Let p = -59/369 - -2/41. Which is smaller: f or p?
f
Suppose 3*q + 3 = 4*u - 14, 5*u = -2*q + 27. Let d(f) = f**3 + 9*f**2 + 3. Let y be d(-9). Is q at most as big as y?
True
Let y(t) = t - 5. Let a be y(0). Suppose 3*c + 0*c = -12. Is a > c?
False
Let v be 2/5 + 348/30. Is v less than 11?
False
Let c = 14090578 - 1239921579/88. Let d = c + -5319/8. Let t = d + 105. Are t and -1 nonequal?
True
Let o be 20/35*14/20. Let n = 3 - 3. Which is smaller: n or o?
n
Let j(w) = -w**3 + 4*w**2 + 7*w - 7. Let z be j(5). Let s(o) = 2*o - 18. Let d be s(12). Are d and z unequal?
True
Suppose f + 3*v + 4 = -0*f, 2*f = 2*v. Is f greater than 4/9?
False
Let k be 2 - 0 - (-10)/(-4). Let u = k - -1/4. Is 3 bigger than u?
True
Let g(t) = t**2 - 2*t + 2. Let o be g(1). Do 8/15 and o have the same value?
False
Let s be ((-2)/(-7))/((-6)/(-12)). Which is greater: s or 2?
2
Suppose g + 2*j - 13 = 2*g, -5*g - 57 = -2*j. Which is smaller: -2 or g?
g
Let c = -42 + 38. Which is smaller: -30/7 or c?
-30/7
Let y = -19 - -28. Suppose c = 4*c - y. Is c smaller than 2?
False
Let w be (-2 + (-2)/(-2))*-1. Suppose -3*d - d = 56. Let n = d + 16. Which is smaller: w or n?
w
Suppose 5*x = y + 4 - 1, y - x - 1 = 0. Let k = -165 - -1153/7. Are y and k equal?
False
Let r = 22.045 - 0.045. Let v = r + -19. Which is smaller: -2 or v?
-2
Let t = 34 - 32. Is 3 at least as big as t?
True
Let o = -5 - -3. Let q = 2.1 + -2. Which is smaller: o or q?
o
Let r = -1272/193 - -318992/45355. Let l = r - 2/47. Suppose -5*h - 6 + 31 = 0, -8 = -3*t - h. Is l bigger than t?
False
Suppose -5*x - 3*m = 5, -m + 1 = -x - 3*m. Are x and 1/21 nonequal?
True
Let l = 0.6 - 0.8. Which is greater: 1 or l?
1
Let y be 13/(-26)*(-1 - 1). Let n = 26.56 + -30.5. Let f = 0.06 - n. Which is smaller: f or y?
y
Let f(b) = -b - 8. Let x be f(-8). Let s(i) = i**2 + 10*i + 13. Let c be s(-9). Suppose 0 = u + c*u. Is u at least x?
True
Suppose 4*u - 32 - 48 = 0. Suppose -m = 3*m + u. Is m less than -2?
True
Suppose -2*p + h - 15 + 4 = 0, 2*p = 5*h - 31. Which is smaller: -5 or p?
-5
Let h = -21/5 + 199/45. Is 0 less than h?
True
Let h be (2/(-4))/((-4)/48). Is h > 9/2?
True
Let a(l) = 4*l - l + l**2 - 2 + 4. Suppose 6*i + 45 = -9*i. Let p be a(i). Does p = 3?
False
Suppose -2*k - 2*d + 33 + 59 = 0, 2*k = 2*d + 108. Let x = 36317/4 - 9029. Let b = x - k. Are b and -1 non-equal?
True
Suppose -5*v + 26 = c, 2*v = -2*c + 7 + 5. Let i be -10*(1/2 - 1). Is v at least as big as i?
True
Let k(x) = x**2 - 18*x - 4. Let t be k(18). Is -8 greater than or equal to t?
False
Suppose -16 = -4*i - 5*a, 0*a - 11 = -5*i - 4*a. Let j be (-3)/(-4 - i) - -2. Is 3 greater than j?
False
Let t be 6/9 + (-16)/6. Let c = 93.1 - 101. Let z = c + 8. Which is greater: t or z?
z
Let k be (-36)/30*(-1)/6. Is -7 equal to k?
False
Let m = 1.01 + -0.01. Suppose 4*b = 3*w - 9, 2*b + 2*b = 0. Suppose z = w*z. Which is greater: m or z?
m
Let u(t) = 3*t + t - 2*t - 12. Let n be u(9). Let p be 3 - (n/(-9) - -2). Which is smaller: p or 3?
p
Suppose -o = 4 + 2. Let j be (-48)/45 + (-4)/o. Let d = 0.3 + -0.4. Is j at least d?
False
Suppose -z - 2*c = 2*c - 16, -c - 13 = -4*z. Suppose 2*b - z*b = -16. Suppose -b = 5*f - 3. Which is greater: f or -5/3?
f
Let z = 55 + -55. Let b = 0.25 - 0.3. Let u = -5.05 - b. Do z and u have the same value?
False
Let a(f) = f**3 - 6*f**2 - 2*f + 11. Let k be a(6). Which is greater: k or 2/89?
2/89
Let o be 3387/(-7)*1/3. Let y = o + 161. Is -1 not equal to y?
True
Let d be 30/(-42) + (-3)/(-7). Suppose -5*j + 3 = h + 5, 3*h - j - 10 = 0. Suppose 15 = -x + h*u, 0 = 5*x - x - 4*u + 20. Is d <= x?
True
Let u be (-104)/(-18) + (-12)/(-54). Suppose 6 = 2*z + v, z - u + 0 = -2*v. Do 10/9 and z have the same value?
False
Suppose j = -2*j - 6. Let i be -1*2/(-12)*j. Is -0.2 less than or equal to i?
False
Let a = 6/41 - 1/287. Let r(k) = -3*k**2 - 7*k + 2. Let y(g) = g**2 + 3*g - 1. Let j(i) = -2*r(i) - 5*y(i). Let o be j(1). Is a less than o?
True
Let o be (1256/(-12))/((-714)/45). Let w = 47/7 - o. Is 2 at most w?
False
Let x(s) = s**3 - s**2 + 2. Let o be x(2). Let t be (o/(-5))/((-6)/20). Let d be (-1)/2*t/(-11). Which is smaller: 0 or d?
0
Suppose 4*y + 4*t = 20, -3*y - 5 = t - 16. Let x be y/(0 + 12/(-8)). Is x less than -4?
False
Let h be ((-4)/14)/(2/(-14)). Are h and 22/19 equal?
False
Let h = -79/84 - -4/21. Which is greater: 0 or h?
0
Let o = 5 + -8. Suppose 3*f - 2*f - 18 = 4*d, -d - 4*f = 13. Which is smaller: d or o?
d
Let s = -0.28 - 0.02. Let z = 76/5 + -74/5. Which is bigger: z or s?
z
Let u = 89/147 + 3/49. Suppose 0*p = p - 2. Let q be (2 + -3)*(-2 + p). Which is smaller: q or u?
q
Let m be (1 - (-8)/(-6))*0. Suppose 3*y + y - 20 = 0. Suppose 5*v - 5 = -5*h, 2*v - y*h - 7 = 3*v. Is v <= m?
False
Let m = -33/5 - -241/35. Is m at least -2?
True
Suppose -2*u - 3*x + 21 = 0, u + 0*u - 21 = -5*x. Suppose 3*k - 2*z - 8 = k, 2*z = -u. Which is greater: 0 or k?
k
Let v(n) be the third derivative of -3/8*n**4 - 1/60*n**5 - 7/6*n**3 + 0*n + 3*n**2 + 0. Let u be v(-8). Is 5/3 greater than u?
True
Let f = -0.6 - -1.2. Let t = f - -0.4. Let l = t - -2. Are 0 and l nonequal?
True
Let d = -2/239 + -2842/3107. Let m = d - -10/39. Is m < 0?
True
Suppose 0 = -r + 3*u - 1 + 8, -2*u - 6 = -2*r. Suppose -4 = -j + r. Suppose 0 = d - g, 12 = j*d + 3*g - 2*g. Do 3 and d have the same value?
False
Let s be (-6*(-2)/(-8))/15. Suppose -3*f = -6*f. Are f and s non-equal?
True
Let x = 17 + -16.7. Let w = 0 + -0.2. Let k = x + w. Which is smaller: 2 or k?
k
Suppose 4*w + 15 = 5*y, 0 = -2*y + 4*w + w + 6. Let j be -1 + 4 - 2 - 4. Let t = j - -5. Is t < y?
True
Let o be 4/(-2) - (-1 + 0). Suppose -4*s + 5*d - 50 = 2*d, 2*s + 32 = -2*d. Let w = s - -15. Is w at least o?
True
Let h = 0.3 - 1.3. Let g be 31/11 + 22/121. Suppose 5*r - g = -13. Are h and r non-equal?
True
Suppose 5*t - 3*m = 18, 2*t = 5*m - 0*m + 11. Let y be (t/12)/((-6)/128). Which is smaller: y or -6?
-6
Let c = 43 + -34.8. Let l = -8 + c. Let u = 1.6 - -0.4. Which is smaller: l or u?
l
Let o = 0.11 + -1.11. Is o smaller than 18?
True
Let b(g) = -g**2 + 19*g - 20. Let a be b(18). Let r = -8 + 6. Is r < a?
False
Let l be (5 - 3 - 2)/(-1). Let w(y) = y**2 + 5. Let q be w(l). Suppose -3*f - q = 2*v - 1, -22 = 4*v - f. Which is smaller: v or -4?
v
Let n be 0/(-4) - (-1)/1. Let l(y) = -y**3 + 2*y**2 + 2*y + 4. Let w be l(3). Let q = w + 0. Is q less than or equal to n?
True
Suppose -3*y = 4 + 8. Let g = 195.9 - 196. Which is bigger: y or g?
g
Let c = 49 - 31. Suppose c = 3*g - 0*g. Suppose 0 = -4*h + g + 6. Which is bigger: h or 5/3?
h
Let m be 0 - (-7)/(4 - 11). Let w be (-3)/7*(-4)/6. Is m less than w?
True
Let b = -7 - -3. Let v be (27/(-6))/(-3)*b. Let u be (-1)/6 - (-3)/v. Which is smaller: 0 or u?
u
Let y = -0.7 - -0.68. Let t = y - -0.02. Let q = 0.14 - 2.14. Is q > t?
False
Let a = -1 + 1. Let u be 3/24 - (-6)/(-12). Which is greater: u or a?
a
Let o(w) = -w**3 + 7*w**2 - 7*w + 6. Let s be ((-8)/10)/((-4)/30). Let p(t) = -t**3 + 7*t**2 - 4*t - 6. Let m be p(s). Let j be o(m). Which is smaller: j or -1?
-1
Let x = -11 + 10. Which is bigger: -4/15 or x?
-4/15
Suppose -4 = -0*z - 4*z. Suppose -q + 5 = -z. Suppose -q = 5*b - 1. Which is greater: b or -2?
b
Let q(b) = -2*b**2 - 12*b - 14. Let t be q(-4). Is t at most 3?
True
Let f = 3 - -50. Which is smaller: f or -0.1?
-0.1
Let b(u) = 3*u - 2*u + 1 - 2 + 0. Let y = 0 + 2. Let w be b(y). Which is smaller: -2/19 or w?
-2/19
Suppose 3*l = -0 + 3. Let s = -4 - -21. Suppose -4*r - s = -9*r + c, -r + c = -1. Which is smaller: r or l?
l
Suppose 4*i - c + 24 = 3*c, c = -2*i - 3. Which is greater: i or -2?
-2
Let q = -1664 + 530818/319. Is 1 equal to q?
False
Suppose 2*w + 66 = k, 5*w - k = 3*k - 168. Is -0.1 equal to w?
False
Let u be -1 + 5 - -9 - 2. Which is smaller: u or 8?
8
Let h = -7.89 - 0.11. Let z = -7.9 - h. Suppose 3*l + 4 = l. Is z less than or equal to l?
False
Suppose -5*j + 10 = -4*w - 11, 0 = -w + 2*j - 9. Are w and 7 unequal?
True
Let b = 2 - 1.8. Let g = b + -0.1. Is g at least -5?
True
Let a be (3 + -1 -