) = v**2 + 4*v + 1. Suppose 3*n - 6 = -18. Let u be b(n). Is u < l?
False
Let f(p) = -p**3 + 3*p**2 - 2*p - 1. Let z be f(2). Let j = z + 1. Let t = 3298/15 + -220. Which is bigger: t or j?
j
Let p = -245493/127 + 1933. Which is greater: p or -1?
p
Let a = 5 - 7. Let k be 1*(2 - a/(-2)). Suppose k + 3 = 2*p. Is 3 at most p?
False
Let t be ((-4)/18)/(100/30). Let l = -3 - -3. Suppose 0 = -l*i + i. Which is smaller: i or t?
t
Let f = 12 + -7. Suppose f*m = 2 - 7. Is -3 less than m?
True
Let a = 34 - 33. Which is smaller: a or -3/10?
-3/10
Let j(c) = 6*c - 1. Let b(t) = -4*t + 1. Let h(k) = 3*k - 1. Let y(x) = -2*b(x) - 3*h(x). Let r(w) = -j(w) - 5*y(w). Let i be r(-8). Which is smaller: 3 or i?
3
Let l = 13957/27 + -517. Which is smaller: l or 0?
l
Let j = -0.34 - -12.34. Let w = 15 + -16. Is j greater than or equal to w?
True
Let l(m) = -m**2 - 12*m - 10. Let y be l(-11). Is y < -1/11?
False
Let g = 2 + -1. Suppose 6*b + 2 = 2*n + b, 5 = 5*n - 5*b. Does n = g?
True
Let t = 0.82 + -0.72. Which is bigger: -9/7 or t?
t
Suppose -11 = -5*u + 4. Suppose -u*s - 4 = s. Let y be 6/9*(-5)/2. Is s > y?
True
Suppose 3*p = 5*n - 6, 3*n - 6*n + 2*p = -4. Suppose -19 = 5*m - d, 16 = -4*m + 2*d - d. Let c = n - m. Which is smaller: c or 2?
2
Let r = -0.04 - -0.04. Let v = r + 0. Let p = 0.2 + v. Which is bigger: p or -1?
p
Let c(i) be the first derivative of -i**4/4 - 5*i**3/3 - 6*i - 6. Let q be c(-5). Let f(b) = -2*b + 5. Let x be f(5). Which is smaller: x or q?
q
Let p = 36.8 - 37. Which is bigger: p or -16?
p
Let b(i) = -2*i + 3. Let d be b(1). Is 1/3 less than or equal to d?
True
Let w be 1*(-1 + (-1 - -4)). Suppose 3*y + 1 + 2 = -3*u, -4 = y + 2*u. Suppose 5*k - y - 3 = 0. Which is greater: w or k?
w
Suppose -4*t = 2*j + 36 - 124, -5*t + 110 = -5*j. Are 70/3 and t equal?
False
Let j = -6 - -10. Suppose a + 5*r = 18, a + 3*r - 16 = -j. Suppose -q - 2 = -a*q. Which is smaller: 4 or q?
q
Let b(f) = -f - 15. Let w be b(-14). Let s = -331 - -12907/39. Which is smaller: s or w?
w
Suppose 0*n = 5*n. Let v be 1 - (0 + n)/(-1). Suppose -l = -q - 2, 3*q = 4*q. Which is smaller: v or l?
v
Let o be (1 - 1)/(1/1). Let m be (-1)/(-5) - (-12)/(-110). Which is greater: m or o?
m
Suppose -8 = 3*y - 5. Let f be y*(-2 - -6)/4. Is f bigger than 4/11?
False
Suppose -2*s + 6 = 0, 2*v = -6*s + 4*s + 8. Let u be 1/4 + (49/28)/(-7). Is u at most v?
True
Let m(u) = u**3 + 5*u**2 + u - 5. Let i be m(-4). Let b(h) = 4*h**3 - 3*h**3 + 7 + 0*h**3 - i*h - 5*h**2. Let t be b(6). Which is smaller: 0 or t?
0
Let m = 32 - 40. Which is smaller: 3/2 or m?
m
Suppose 2*x - 4*c + 5 = 1, x - 4 = -c. Suppose 2 = x*l + 18. Let u be (-4)/l - 1/2. Which is smaller: 3 or u?
u
Let h be -1 - (1 + -2 - -2). Let v = -1223/3 - -321. Let y = 86 + v. Which is greater: y or h?
y
Let x(f) = -f**3 + f**2 + f + 6. Let r be x(0). Let q be 0*1*(-3)/r. Is 2/7 at most q?
False
Suppose 4*c + 10 = -2. Let p be 3/(-9)*(c + 1). Is p > -8?
True
Let k be ((-21)/(-3) - 4) + 38/(-14). Which is greater: 0.1 or k?
k
Suppose -3*c + 8 = -7. Suppose 2 = -3*y + c. Is y less than or equal to 3?
True
Let b = 9.4 + -0.4. Let m = 8 - b. Let z be (-1)/(-2) - (1 - 1). Is z <= m?
False
Suppose -4 = r - 14. Let u = 5 + -2. Let c be (5/(r/(-3)))/u. Which is greater: 4 or c?
4
Let a be 5/(-2)*(-8)/(-10). Which is smaller: -6 or a?
-6
Let b(y) = y**2 - 12*y + 3. Let a = 13 - 0. Let p be b(a). Let c be (-2)/(-5) - p/(-10). Is c <= 4?
True
Let c be 20/8 - (-3)/2. Let x(j) = j - 2. Let n be x(c). Is -2/5 <= n?
True
Let u = 19 - 14. Which is greater: u or 3?
u
Suppose 0*i + 4*b - 40 = i, -i + b - 37 = 0. Let a = -26 - i. Is a greater than 10?
False
Let i(v) = 51*v**2 + v - 1. Let c be i(-2). Let d be (3 - 1) + c/90. Let t = -22/5 + d. Is 1 at least t?
True
Let w = 2008/153 - 116/9. Suppose 6 = 8*q + 14. Which is smaller: q or w?
q
Let v = 1.1 - 5.1. Let k = 3.6 + v. Let c = k - -0.4. Which is bigger: c or 1?
1
Suppose -3*y - 123 + 18 = 0. Which is smaller: -36 or y?
-36
Let v be 1/3*(-45)/(-65). Is -1 < v?
True
Let f = 297/20 + -61/4. Let a = -0.228 + 0.028. Is a at least as big as f?
True
Let i = -21 - -20.9. Which is smaller: 0.7 or i?
i
Let g = -5 + 11. Let z = 7 - g. Is -1/3 greater than or equal to z?
False
Let a be ((-9)/(-6))/((-9)/(-12)). Suppose -6 = -0*q + a*q. Suppose -3 = -4*y - 11. Which is bigger: q or y?
y
Let b = -22 + 37. Which is bigger: -4 or b?
b
Let d be 3 - (-3)/(24/350). Let u = -46 + d. Is u > 1?
False
Let b(h) = 2*h - 2. Let j be b(1). Let i = 18 - 18.4. Which is smaller: j or i?
i
Let m = 69422/18459 + -302/293. Let j be -33*3/((-405)/(-10)). Let o = m + j. Is 2 smaller than o?
False
Suppose -5*w - 5 = -30. Suppose 2*v - 5*m = -4 + 24, -w*v = -2*m - 8. Let f(q) = q**2 - 1. Let p be f(1). Is v smaller than p?
False
Let x = -2 + 5. Let n(k) = -x*k**2 + 7*k + 2*k**2 - 4 + 2*k**2. Let y be n(-8). Is 3 < y?
True
Let w = 1/103 + 75/2884. Which is smaller: 1 or w?
w
Let y(j) = -j**2 + 22. Let b be y(-5). Let f(c) = -2*c + 6. Let o be f(5). Do b and o have the same value?
False
Let h(k) be the first derivative of -k**2/2 + 3*k - 7. Let o be h(4). Which is smaller: o or 0?
o
Let m = 16 - 11. Let j = 1 - m. Is j at most -4?
True
Suppose o + 3*o - 2 = p, 0 = 4*p - 4*o + 20. Let b be (-2 - 27/(-14))*p. Which is greater: b or -1?
b
Suppose 2*z + 0*z - b = -1239, -4*z - 5*b = 2443. Let h = z + 5563/9. Is h not equal to 1?
True
Let v = -14 - -22. Let y be 12/v + (-7)/6. Is y at least -1?
True
Let b be (-2)/(-8) + (-25)/20. Let a = -28 - -49. Let t be 6/21 + (-6)/a. Which is bigger: b or t?
t
Let s be (-1)/4 - (-1881)/4452. Let x = 6/53 + s. Let d be 4/(-2)*(-2)/4. Is x greater than d?
False
Let h = -1 + -2. Let f be h + (-1)/(21/(-60)). Which is smaller: -1 or f?
-1
Let t = -0.09 - -0.03. Let y = -0.14 + t. Let l = 0.1 + y. Which is smaller: l or -1?
-1
Let p = 0.38 - -15.62. Let c = p - 16.1. Is c != 1/4?
True
Let z = 1026/5 - 205. Let t = -0.24 + -0.06. Is z bigger than t?
True
Suppose 0 = -4*w - j + 69, -j = -2*w - 3*w + 75. Which is smaller: w or 17?
w
Suppose 0 = -4*b - 4 + 20. Suppose -18 = -b*w - a, w = 2*a - 0*a. Suppose -w*r + 0*r = 0. Which is smaller: -1/9 or r?
-1/9
Let o = 0.32 + -0.02. Let j = 2.7 + o. Let s = j - 3. Which is greater: 2 or s?
2
Let j be (1/(-2))/((-6)/84). Let l = 0.13 + 0.07. Is j less than l?
False
Suppose -2*z + 34 = -4*n, -3*z - 4 = 4*n + n. Suppose 9*a = z*a - 2. Is a greater than -1/2?
False
Let m = 10 - 9. Suppose 2*w = 5*y + 1, -2 = -2*y + 2*w - 0. Is y greater than or equal to m?
False
Let g = -3.6 - -1.6. Is 11 less than or equal to g?
False
Let z = 63 + -57.9. Let d = z - -0.9. Which is smaller: d or -2/7?
-2/7
Let w be (14/7 - 0)/((-4)/2). Which is smaller: w or 18/11?
w
Let b be ((-2)/(-10))/(10/40). Let p be 1*((-3 - -2) + 1). Which is smaller: b or p?
p
Let l be (-2 + 3)/(15/(-429)). Let x = 976/35 + l. Is 0 > x?
True
Suppose 0 = -3*x - 0*x - 3. Let b = -1.9 + 2. Let z = 0.1 - b. Which is smaller: z or x?
x
Let r be 5 - (-1 - (-17 - -3)). Which is smaller: r or -38/5?
r
Let o(r) = -12 - 2*r**2 + 2*r**3 + 13*r - 2*r**3 + r**3 - 10*r**2. Let q be o(11). Suppose q + 2 = 4*m. Which is smaller: 5 or m?
m
Suppose 18*w - 8 = 20*w. Which is greater: w or 16?
16
Let z be 29/(-4) + (-5)/(-20). Let y be (-33)/4 - 2/(-8). Which is smaller: y or z?
y
Let b = -5 - -14. Are 9 and b equal?
True
Suppose 3*u - 7 = 8. Suppose 70 = 3*t + u*j, -5*t - 4*j + 58 + 37 = 0. Let m be (t/(-6) - -2)*-1. Is -2 not equal to m?
True
Let q = -4.4 - -4.2. Which is smaller: q or -13?
-13
Let f be (228/28)/(-3) + -2. Which is bigger: f or -4?
-4
Let i = 194.01 - 195. Let g = 0.01 - i. Let q = -2.9 + 3. Is g != q?
True
Let j(f) = f**2 + 2*f - 3. Let o be j(2). Suppose -5*r + o + 5 = 0. Suppose -r*s + 3*s = 0. Which is smaller: -2 or s?
-2
Let f = -3.9 - -4.03. Is 0 less than f?
True
Let u = 19.7 - 6.7. Is u bigger than 0.4?
True
Let s be (7 - 1)/(75/(-10)). Is s >= -2?
True
Let h be 26/(-40) + 216/(-32) + 7. Let t = -0.07 + 0.37. Let w = 0.2 - t. Which is smaller: h or w?
h
Let z = -143.4 - -144. Is 1/8 greater than or equal to z?
False
Let n be (-1)/2*(1 + -1). Which is bigger: n or 1/34?
1/34
Let o(c) = -5*c - 3. Let j(r) = 81*r + 48. Let v(d) = 2*j(d) + 33*o(d). Let i be v(-5). Which is bigger: i or 0.1?
i
Let w be