3. Let u = -1.7 + l. Which is smaller: u or 4?
u
Let b(f) = -f - 6. Let r be b(-6). Is 0 greater than r?
False
Let c(s) = -9*s - 1. Let w = -5 + 3. Let f be c(w). Suppose -f = -o - 4*h + 1, 0 = -2*o - 3*h + 16. Is o less than or equal to 3?
True
Let h(x) = 2*x**3 - x**2 - x + 1. Let g be h(1). Let b = -9 + g. Is b <= -8?
True
Suppose -5*d + 0*t = 3*t - 7, t = -4*d. Is d bigger than 0?
False
Suppose -2*s - 5 = -3*m, 3*m + 3 = -5*s + 1. Which is smaller: 9 or s?
s
Let u = 1.05 + -0.05. Let z = -0.64 - -0.04. Is z at least as big as u?
False
Let f(y) be the third derivative of -y**6/120 - 7*y**5/60 + 3*y**4/8 + 5*y**3/3 - 3*y**2. Let b be f(-8). Let p be (-6)/(1 + (0 - b)). Which is smaller: 5 or p?
5
Let o = 2 + -2.1. Let r(b) = b - 11. Let j be r(11). Is j > o?
True
Let l = -121 - -180. Let i be -5 + 1 - l/(-15). Does i = -1?
False
Let r(x) = x**3 + 7*x**2 + 4*x - 2. Let c be r(-7). Which is greater: c or 2/7?
2/7
Let g = -7.4 + 5. Let p = -2 - g. Which is smaller: p or 0?
0
Let j = -130 - -109. Which is greater: j or -20?
-20
Let k(m) = -m - 6. Let s be k(-5). Let y = -24/7 + 58/21. Is y at most s?
False
Let v = -1435 + 7153/5. Let i = 28/5 + v. Is 1 at least as big as i?
False
Let j = 2/37547 + 149078/20838585. Let a = j + -1234/17205. Is a greater than 0?
False
Suppose 3*m + g + 12 = 0, -4*g - 12 = -m + g. Suppose 3*w = p + 3, 0 = -5*p + 3*w + 3 + 6. Suppose -2*b = p + 1. Which is smaller: b or m?
m
Suppose -2*w - 6 = 3*n, w + 5*n = 4*w - 10. Suppose 2*q + w*q = 0. Let z = -31 - -92/3. Which is greater: q or z?
q
Let u = -0.2 - -1.2. Let t = -0.6 + 0.3. Is u <= t?
False
Let w = -59 + 1237/21. Which is smaller: 0 or w?
w
Suppose 2*r - 29 = 5*x, 0 = 3*x + 5*r + 14 + 22. Let n = x - -10. Let j be 1/5*-1*n. Which is smaller: j or -2?
-2
Let c = -93 + 56. Is -37 at least as big as c?
True
Let h = 3/73 + 125/511. Which is smaller: h or 8/3?
h
Let o(q) = -2*q**2 - 11*q - 14. Let l be o(-6). Are -22 and l nonequal?
True
Let l(x) = -x**3 - 5*x**2 - 2*x - 10. Let d be l(-5). Which is smaller: 1/30 or d?
d
Let z be 1 - -2 - 0/5. Suppose 2*x - 11 = -z. Suppose s = -x*s. Are -1 and s unequal?
True
Let a = 61/6 + -19/2. Which is greater: a or 0?
a
Let j be 44/45 - 2/18. Let x = -1/5 + j. Suppose -r = -2*r + 1. Which is smaller: r or x?
x
Let n = 4 - -5. Let t(j) = -2*j - 2. Let l be t(-2). Suppose 5*m = l*m + n. Is m less than 3?
False
Suppose -2*l = -58 - 58. Is l less than or equal to 57?
False
Let h = -14.4 + 7.4. Is 0.1 at most h?
False
Let y = -368.28 + 380. Let r = y + 0.28. Let q = 19 - r. Which is smaller: 0.1 or q?
0.1
Let k = -39/5 - -151/20. Which is smaller: k or 3?
k
Let f be (18/10)/(3/(-10)). Which is smaller: -5 or f?
f
Suppose -2*y + 1 + 5 = 0. Suppose 3*f + 2 = -q + 19, -y*q + 19 = f. Let b be q/(-4)*1/(-5). Is 1 not equal to b?
True
Let z be -4*(-2)/(26*-2). Let y be 7/28 + 2/24. Which is bigger: y or z?
y
Let h = -10 - -5. Let f(k) = 4*k + 5 - 4*k + k. Let q be f(h). Does q = 1?
False
Let r = -3 - 6. Let n be (r/(-8))/(3/4). Are n and 3 non-equal?
True
Let r = -7.937 - 0.063. Let u = 0.9 + 0.1. Which is greater: u or r?
u
Suppose 27*p = 22*p - 105. Which is smaller: p or -23?
-23
Let w = 0 + 2. Let h = 22 + -21.7. Which is greater: w or h?
w
Let n = 9 - 1. Let s be (n/(-6))/((-6)/18). Suppose v - 4 = -1. Do s and v have the same value?
False
Let p = 1594 - 14330/9. Let v = p - 59/18. Is -3 smaller than v?
True
Suppose 2*m + 0*m = 0. Suppose g + 2 = -5*l - m, -5*l = 4*g + 8. Suppose l = 5*q - 20. Which is smaller: q or 5?
q
Let q be ((-7)/(-4))/7*4. Which is smaller: 1/14 or q?
1/14
Let a = 1.9 + 2.1. Does a = 0.1?
False
Let j = -15 - -37. Let b = j + -175/8. Which is smaller: -2 or b?
-2
Let x(i) = -i**2 + 6*i. Let c be x(6). Suppose 4*s + 8 = -3*n + 7*n, c = -5*s + 4*n - 12. Suppose -w = -5*y + w - 19, 0 = -2*y + 2*w - 10. Is s <= y?
True
Let z = 17 + -214. Let h = 988/5 + z. Which is greater: 1 or h?
1
Let l = -7 - -15/2. Which is smaller: l or -0.02?
-0.02
Let s = -0.05 - 11.95. Which is bigger: s or -0.1?
-0.1
Suppose -3*d = 5*g - 0*g - 10, -4*d + 2 = g. Let p be d + 2/2 - -2. Is 2 less than p?
True
Let p = 14 - 12. Is -2 less than p?
True
Suppose 4*t + 8 = 2*l + 2*l, -3*t - l - 2 = 0. Is t bigger than 27/5?
False
Suppose 2*p + 0 + 10 = 0, -2*s - p - 19 = 0. Let f(n) = -5*n**2 - 2*n + 1. Let k be f(1). Let c = k - s. Do c and 2/15 have different values?
True
Suppose 5*d = 15, -d - 9 = -f - 0*f. Suppose -6*u = -3*u + f. Which is bigger: u or -5?
u
Let y = 2 - -11. Let j = y - 16. Is j < -3?
False
Let q = 58 + -58.2. Which is smaller: q or 1?
q
Let l be 8/12*-3 - 17. Let a be l/(-3) - 2 - 4. Which is smaller: a or 5/4?
a
Let i(j) = 5*j**3 - 20*j**2 - 9*j + 6. Let k(m) = 3*m**3 - 13*m**2 - 6*m + 4. Let v(p) = 5*i(p) - 8*k(p). Let g be v(-3). Is -1 <= g?
False
Let l = 29 + -35.4. Let p = 6 + l. Let w = p - -0.4. Does -1 = w?
False
Let o be (3/(-26))/(3/(-4)). Let y be 1/(-2) + 406/348. Is o less than or equal to y?
True
Let n = 73 + -99. Is n greater than -26?
False
Let l be 6/4*8/6. Suppose -l*k = -k. Which is greater: 3/4 or k?
3/4
Let z(x) = -x**2 + 5*x + 8. Let k be z(6). Suppose 0 = -5*o - 25, -4*l - k*o = o + 19. Is l less than -5/7?
True
Suppose -2*x - 3*x = 0. Let m = -1 - 0. Which is bigger: x or m?
x
Let l = 62 + -17. Let q be (-6)/l*(0 + 5). Let z = -1 - q. Is z not equal to -2/3?
True
Let p = -18040/29 + 622. Which is smaller: p or 0?
p
Let a be (-39)/396 - 4/(-22). Do a and 0.2 have different values?
True
Let s = -64 - -60. Let q(u) = 2*u + 8. Let m be q(-6). Is m equal to s?
True
Let j be -6*(0 - 2/4). Is 3 < j?
False
Let y = 23 - 23. Let z = -4 - -1. Is z > y?
False
Let f(t) = -5*t**2 + 9*t + 3. Let m(n) = 3*n**2 - 6*n - 2. Let q(v) = -5*f(v) - 8*m(v). Let r be q(-4). Which is bigger: 4 or r?
r
Let w be 2/(-3)*(-3)/4. Let y = -1.6 + -14.4. Let n = y + 16.1. Do w and n have the same value?
False
Let l = 5 + -1. Suppose -37*g - 38*g + 150 = 0. Is g greater than or equal to l?
False
Let m(b) = -b + 7. Let x be -3 - (-3 + (-12)/2). Let t be m(x). Suppose 3*o = 4*o - t. Which is greater: o or 1/8?
o
Suppose m + 7 = -x + 6*m, -4*x = -2*m - 44. Let f = -7 + x. Suppose q + 6 = 4*t - f, 2*t = -5*q - 16. Which is smaller: t or 4?
t
Suppose -6*i = -3*i - 786. Let z be (-2 - 0) + i/(-6). Let n = -46 - z. Which is smaller: -1 or n?
-1
Let a = 63 + -187/3. Which is bigger: 0 or a?
a
Suppose 46*n = 29*n - 17. Let r = 9853/134067 - 2/1943. Let m = -1/69 - r. Which is bigger: n or m?
m
Let u = 294440/7 + -41955. Let c = -108 + u. Which is smaller: c or 1?
c
Suppose 0 = -3*m - 5*p + 29, 0*p + p + 5 = 3*m. Let w(b) be the first derivative of -b**2/2 + 5*b + 1. Let j be w(m). Which is smaller: 3 or j?
j
Let z = -371/6 + 62. Let b = 0 + -1. Which is smaller: z or b?
b
Let x be 12/(-14) - (-1 - (-18)/42). Which is greater: -8 or x?
x
Suppose 5*z = 3*z + 14. Suppose -2 = w - z. Suppose 4*v = a + 3*v - 5, 5*v = -w. Are a and 3 unequal?
True
Let k be (-1)/2*(-8)/(-14). Let r(q) = -q**3 + q**2 - q + 1. Let d(s) = -s - 2. Let y be d(-3). Let u be r(y). Which is greater: u or k?
u
Suppose -3*b + 8*b = -15. Let v = -2 - b. Suppose 0*t = -t + v. Is t smaller than 0.4?
False
Let z = -218/3 - -72. Is z greater than or equal to -6?
True
Let l = -10 - -3. Let j be ((-2)/(-5))/(l/(-14)). Is 0 less than or equal to j?
True
Let t = 33/2 + -16. Is -4 at least t?
False
Let t = -9920271/1309 + 53058/7. Let o = -22/17 + t. Which is greater: -1 or o?
o
Suppose 6 + 6 = 4*f. Suppose -12 = 4*k + 4*s, -7 = 5*k - 2*s + f*s. Is 3/8 less than k?
False
Let l be (2 + -14)/((-2)/(-4)). Let t = l - -12. Let s be ((-9)/t)/((-9)/8). Do 1 and s have the same value?
False
Let j(x) = -2*x**2 + 2*x. Let t be j(3). Is t <= -13?
False
Let k = -2 - -2.3. Let c = 31 + -31. Let p = k + c. Which is bigger: -1/3 or p?
p
Let b = 20 - 10. Let a = 10.2 - b. Is a at most 2?
True
Let l = -27 - -38. Is -3/5 < l?
True
Let b = 15 + -24. Let i be 408/b + -2 - 2. Let o = -50 - i. Are 0 and o equal?
False
Let o = 0 - 0.2. Let m = -2.5 + 0.5. Is o < m?
False
Let g be 6/3*(0 - -1). Let a(p) = p**3 - 2*p**2 + p. Let q be a(1). Let h be (-2)/(g + 2)*q. Which is smaller: h or -2?
-2
Let i = 64 - 61. Let w = 0.7 - 0.4. Let a = -1.3 + w. Is a greater than i?
False
Let n be (10/3)/(8/(-24)). Let l =