 -f**3 + 10*f**2 - 10*f + 10. Let l be i(q). Which is smaller: l or 2?
l
Suppose 19*y - 27 = 16*y. Which is smaller: y or 8?
8
Let n = 100642273/45 - 2236753. Let z = -258 - n. Let p = z + 28/45. Which is greater: 1 or p?
1
Let v(t) be the first derivative of -t**4/4 + t**3 + 2*t**2 + 4*t - 2. Let j be v(4). Is j smaller than 1?
False
Let y(l) = -3*l - 23. Let r be y(-9). Which is bigger: r or 6?
6
Let g(h) = h**3 - 7*h**2 + 4*h - 13. Let b be g(6). Do b and -24 have different values?
True
Let b = -16 + 16.5. Which is bigger: b or 5?
5
Suppose m + 3*w = -2*m + 15, -w + 4 = 0. Let u be (-10)/(-36) - (-1)/(-2). Which is smaller: m or u?
u
Let z = -1899/4 + 479. Is z greater than or equal to 3?
True
Let m = 491/63 + -53/7. Let r = 5/18 + m. Let b(h) = -h**3 + 6*h**2 - 6*h + 7. Let d be b(5). Is d less than r?
False
Suppose 5*x = -2*i + 8, i - x - 1 = 4*i. Is 1/8 at least as big as i?
True
Suppose 25*j = 23*j. Is j <= 1/47?
True
Let v = -10 - -12. Let b = v + -3. Which is smaller: b or 0.04?
b
Let r = 25.14 + -25. Is r at least 2?
False
Let p = 89/5 - 18. Let x(o) = -o**2 - 5*o + 1. Let h be x(-5). Which is smaller: p or h?
p
Let s = 18.7 + -18. Let b = -0.7 + s. Is -4 greater than or equal to b?
False
Let o be 5/10 + 62/(-4). Let i be (-2)/6 - (-4)/o. Let l = 1 - 2/3. Which is greater: l or i?
l
Let m = 2.5 - 14.5. Let o = 11.3 + m. Let p = o - -0.9. Is -4 != p?
True
Suppose 5*x - 36 - 99 = 0. Suppose 2*w + w - x = 0. Which is bigger: w or 8?
w
Let d = 67 + -48. Which is smaller: d or 0.1?
0.1
Let k(y) = -y**3 - 12*y**2 - 2*y - 2. Let z(f) = 2*f**3 + 23*f**2 + 4*f + 4. Let t(w) = 11*k(w) + 6*z(w). Let l be t(-3). Do l and 24 have the same value?
False
Suppose 3*i + 5*f - 34 = 50, 0 = 5*i - 5*f - 140. Let d be (4*1)/(-2 + i). Which is greater: d or -1?
d
Let y = 28 - 27. Is 15 <= y?
False
Let m be (-4)/6*(-9)/(-6). Suppose 41 = 4*z + 5*f, 3*f + 9 = -4*z + 56. Let o be 3/z + (-3)/6. Which is smaller: m or o?
m
Suppose -13 - 19 = 4*z. Let d(j) = -j**3 - 16*j**2 + 12*j + 8. Let o be d(z). Let x be 4/(-26) - o/858. Which is bigger: x or 1?
1
Let z be (0 - 1)*(7 + -4). Suppose 2*w = -2*w - 5*b - 33, w = 4*b + 18. Is w smaller than z?
False
Let n be 0 - (0 - 1) - 576/588. Which is smaller: n or 0?
0
Let h(r) = -r**3 + 3*r**2 - r - 1. Let b be h(2). Let k be 3*3/18 + b. Are k and 1 nonequal?
True
Suppose 13*c = 3*c + 30. Is 3 greater than c?
False
Let o = 4 - 4. Let g = -4 + o. Which is bigger: 0 or g?
0
Suppose m = -5, 3*t + 5*m + 25 = 4*t. Is 0 >= t?
True
Suppose -l = -3*h - 19, 3*l + l = -4*h - 4. Suppose 3 + 1 = l*i. Which is smaller: i or 2/15?
2/15
Let a = -271716/103 - -2638. Is 1 less than or equal to a?
False
Let u be 12/3 + -3 - 9. Which is smaller: -10 or u?
-10
Let i be 1*3/3*8. Let t be 2/(-9) + (-242)/(-36). Which is smaller: t or i?
t
Let a be (-68)/(-110) + (27/(-33) - -1). Let l be (-6)/(-5) + (-1)/5. Which is greater: a or l?
l
Let l = -0.1 + 0.13. Let r = l + -0.03. Let f = 0.3 + -0.5. Is f not equal to r?
True
Let j be (-4)/(-18) + 280/(-936). Which is greater: 1 or j?
1
Let q = 2 - 1. Let s be (-2)/q*(2 - 4). Let t = 4 - s. Is t equal to -1?
False
Suppose -9 = -o - 2*o. Let f be ((-9)/(-3))/(o/2). Which is greater: f or 3?
3
Let u = 537/4 - 136. Which is smaller: -2 or u?
-2
Let i = -106 - -157. Suppose -a + i = 2*m, 0 = 4*m + a + 4*a - 93. Suppose 4*w - 20 = -4*h, 5*h = -w - 2 + m. Is w greater than or equal to 2?
False
Let n = 1 - -1. Let s be 0/2*n/(-4). Suppose 5*v = 7*v - 2. Which is smaller: v or s?
s
Suppose -7*h + 5*h = -22. Is h smaller than 12?
True
Let c(p) = -p**3 + 10*p**2 - 8. Let k be c(10). Let d = 8 + k. Which is smaller: 1/9 or d?
d
Let n(t) = -4*t**2 - 3*t. Let o be n(-2). Let s be ((-14)/35)/(1/o). Is s less than 0.2?
False
Suppose 4*d + 44 = -4*l, 0*l - l = -4*d - 19. Let a be (3/d)/((-15)/2). Which is smaller: a or -1?
-1
Suppose -d = -5*d - 36. Let s = 8 + d. Is s greater than -6/13?
False
Let v be ((32/(-12))/4)/(41/6). Are -1 and v nonequal?
True
Let v = -87 + 1133/13. Suppose -1 = 5*g + 4. Is v at least g?
True
Let c = -46 - -597/13. Which is smaller: 1 or c?
c
Let u(q) = -2*q**2 + 8*q + 10. Let k be u(5). Which is smaller: k or -13/12?
-13/12
Let l be 2 + 20/(-6) - -2. Let v = -5 - -5.03. Which is smaller: l or v?
v
Let w = 37 - 40.4. Let j = w + 3. Are j and -0.1 equal?
False
Let b be (-3 - -3)*(-2)/2. Suppose -5*q + b*q = -20. Is 0 at least q?
False
Let z(x) = 6*x - 3. Let c be z(2). Suppose -2*i = i - c. Suppose 0 = i*o - 4*o - 3. Is -2 not equal to o?
True
Suppose -4*n - 61 = -5. Let y = n - -8. Let q = 8 + y. Which is smaller: 3 or q?
q
Let u(a) = a**2 + 2*a - 3. Let k be u(0). Which is smaller: k or 0.2?
k
Let o = -0.267 - 0.033. Do o and 15 have different values?
True
Let n(d) = d. Let j be n(-4). Let y be (-1)/((-2)/(j/(-10))). Let x = 0.1 + 0.1. Is x equal to y?
True
Let h = 0.8 - -0.2. Let q be ((-6)/(-28))/(-1)*(-16)/(-12). Which is smaller: q or h?
q
Let k = 2.2 + 0.8. Let x = 1.1 - 2.1. Let o = x - k. Which is bigger: o or -0.1?
-0.1
Let y = 1 + -0.6. Which is bigger: -0.3 or y?
y
Let x = 1 - -5. Let i be (x/27)/((-4)/6). Let a be (-2 + (-13)/(-5))*-2. Is i greater than or equal to a?
True
Let y = -143/5 + 577/20. Which is smaller: -3 or y?
-3
Let h = -1735/14 + 124. Suppose m + 1 + 0 = 0. Do m and h have different values?
True
Suppose 0 = g + 2*g - 84. Are g and 29 nonequal?
True
Let r = 36 - 32. Let t(q) = -q**2 + q - 1. Let c be t(0). Let o = c + 2. Are o and r nonequal?
True
Let q = 29311/1400830 + 2/9865. Is q less than or equal to 0?
False
Let l = -6 + 11. Let a be (4/(-10))/(1/l). Let u = 0.1 - -0.9. Is u equal to a?
False
Let y(a) = -2*a - 10. Let o be y(-9). Let b = -4 - o. Let w be (-3)/b + 2/(-4). Which is smaller: 1 or w?
w
Let k = 527/7 - 75. Which is smaller: k or 0.7?
k
Let z = 0.4 + -0.41. Let n = -0.39 - -0.2. Let s = z + n. Which is smaller: s or -3?
-3
Let m be ((-6)/(-30))/(2/(-2)). Suppose -2*s - 3*h + 3 = -0, -5*s + h = 1. Which is smaller: s or m?
m
Let g be 1/(-3) - 31/(-3). Suppose -p + 3*p + 3*y - 3 = 0, 5*p = -5*y + g. Suppose -p*t = 3*b - 0*t + 6, -5*t - 14 = b. Is b at least as big as -1/5?
True
Let l = -775444/85 - -32172/17. Let b = l + 7096. Let t = b + 134. Is -2 at most as big as t?
True
Let m be (19508/(-50))/(2*30). Let p = m + 1/375. Let o = p + 37/6. Is 0.2 at most o?
False
Suppose 7 + 0 = p. Suppose 2*k = p*k. Do -1 and k have the same value?
False
Let q = -0.13 - -0.73. Let v = 0.4 - q. Is v at most as big as -5?
False
Let d = 0.041 - 0.041. Which is bigger: d or -2/11?
d
Let g be -3 - (0 - 92/28). Which is bigger: -2/9 or g?
g
Let m = 11 + -9.95. Let k = m + -0.05. Which is greater: 2/7 or k?
k
Let b be (-7217)/(-5537) - (2 + -1). Let y = 2/113 - b. Which is greater: 1 or y?
1
Let m = -65.5 + 63.5. Suppose -2*a + 0*a = 4. Let l be 2 - 14/4 - a. Which is smaller: l or m?
m
Let k = 0.13 + -1.63. Is k at least 2/5?
False
Let x be (36 + -38)*3/8. Which is greater: -12 or x?
x
Let s(r) = -r - 4. Let d be s(-4). Let o = 5 + -3. Let p be (6/27*-3)/o. Is d greater than p?
True
Let q = -5123/60 - -1244/15. Let l be 44/(-30)*(-6)/4. Let u = l + q. Is u less than 1?
True
Let s be ((-1)/4)/((-1)/6). Let m = -11/15 - -16/15. Is s bigger than m?
True
Let y be 2 - 0 - 21/10. Let v(i) = -2*i**3 - 8*i**2 + i + 5. Let t be v(-4). Which is smaller: t or y?
y
Let j = 28 - 19. Let u(b) = -b**3 + 8*b**2 + 8*b + 5. Let z be u(j). Suppose -2*d - 2*d - 3*k = 14, -30 = 4*d - 5*k. Which is smaller: d or z?
d
Suppose 0 = 5*i - 17 - 3. Suppose -54 = -i*l + 46. Is l greater than or equal to 25?
True
Suppose -j = -2*t + 20, 2*t + 2*j = -3*j + 8. Let a be 17/t + (-4 - -2). Do a and 1 have different values?
True
Let s = -177/5 + 36. Are 0 and s non-equal?
True
Let s(v) = v**2 - 5*v - 4. Let h be s(6). Suppose 15 = 5*w, 5*d - 5*w + h = -3. Is d at most 3/4?
False
Let p = 138/16415 - 24/245. Is p less than 0?
True
Let k = 2 - 1. Suppose 6 = -4*s + 2. Which is smaller: s or k?
s
Let o be (28/6)/((-2)/3). Which is greater: o or -9?
o
Let p be 1 + 2*(1 - 3). Let i = 67 + -66. Which is smaller: i or p?
p
Let g be (-9)/21*(-75)/(-1). Let p be 2 + 1*-2 + 32. Let o = p + g. Is 1 less than or equal to o?
False
Let s(x) = -11*x + 4. Let d be s(3). Is d less than -30?
False
Let b = 119/885 - 4