(s) = -j(s) - 4*w(s). Let g be k(h). Is g at least -2?
True
Let t = -129/143 - -7/13. Let u be 0*(-2 - (-12)/8). Which is bigger: t or u?
u
Let v = 203/3 - 68. Is v != -22/3?
True
Let r = 3 - 3. Suppose 2*z + 0 + 2 = 0. Let v be (z - -2) + 9/(-15). Is r greater than or equal to v?
False
Suppose -r + 3*s = 2*s + 1, 3*s - 1 = 5*r. Suppose d + 7 = -2*h + r, 3*h + 5*d = -23. Are h and -3/7 non-equal?
True
Let d = -3 - -4. Let f be ((-1 - d) + -2)/(-2). Suppose -u + f = u. Which is smaller: 2 or u?
u
Let a(j) = -5*j - 28. Let t be a(-10). Which is smaller: 23 or t?
t
Suppose 17 = 5*v - 2*v + 4*x, 2*v + 4*x - 18 = 0. Is -2/37 smaller than v?
False
Let q = 181/6 - 30. Let a be (0/2)/((-1)/(-1)). Is a greater than q?
False
Suppose -4*d = -4, -3*d + 0*d = 5*t - 23. Let i be (-2)/t - (-129)/6. Let r = i + -41/2. Which is greater: 1 or r?
1
Let z be 30/2*(-3)/9. Let i = 79 + -54. Let a be (-55)/i + (-1)/z. Which is smaller: a or -4/7?
a
Let l = 9 - 44. Let z be ((-12)/(-21))/((-10)/l). Which is smaller: 3 or z?
z
Let d = -5 - -8. Suppose d*c + 8 = -c. Let i = 1/70 - 143/210. Is i greater than or equal to c?
True
Suppose 4*b - 1 = 3. Is b at most as big as 2/461?
False
Let l = 10 + -12.5. Let f = l - -2. Let v = 0.3 + f. Which is smaller: v or 2?
v
Let a = -1751/182 - -126/13. Which is greater: 1 or a?
1
Let v = -20 - -48. Let t = -28 + v. Which is bigger: t or 0.1?
0.1
Suppose 0*g - 2 = -2*g. Let n(s) = s**2 + 7*s - 7. Let d be n(-8). Is g at least d?
True
Let a = 3 + -1. Let i be (a/3)/(2/6). Suppose -4*f = 2*r + 18, -f + 5*f = -5*r - 15. Which is smaller: i or r?
r
Suppose 0 = -3*n - 0 - 3. Is 2/43 >= n?
True
Let y be 0 + 1 + 0 + (-575)/605. Is 0 bigger than y?
False
Let g be (3/9)/(5/(-15)). Which is smaller: -16 or g?
-16
Suppose 24 = -4*t - 4*q, -2*q = -2*t - 0*q - 4. Which is bigger: t or 13?
13
Let s = -71 + 79. Let k(g) = 7*g**2 - g. Let i be k(-1). Is s at least as big as i?
True
Let k = 10 + -9. Let q = k + 2. Is 1 at most as big as q?
True
Let r = -7 + 4. Let b be 4/(-2) - (-1 + 0). Which is greater: r or b?
b
Let l = 0.11 - 0.2. Let a = 7.91 - l. Which is greater: a or 0.1?
a
Let l = 1/20 - 53/260. Suppose 5*b = -0*b + 5. Which is smaller: l or b?
l
Let q = 6 + -7. Is q greater than 0.8?
False
Let i = 3429/13 + -264. Do 0 and i have different values?
True
Let u = -7.12 + 0.12. Let d = 6.2 + u. Let q = d - -1.4. Is -1/2 > q?
False
Let z = -1342/7 - -192. Which is greater: -1/6 or z?
z
Suppose 5*p - 6*p - 4 = 0. Let y be p/250*(-4 - 1). Are 1 and y equal?
False
Let f(t) = t**2 - 9*t + 8. Let j be f(8). Suppose 2*o + 1 - 9 = j. Is o less than or equal to 3?
False
Let b be (1/(-1))/((-9)/(-18)). Is -2 less than b?
False
Suppose t - 1 = -k - 0, -k = -3*t + 3. Which is smaller: 1/280 or t?
1/280
Let q be 32/40*(-25)/(-1). Is 20 at least as big as q?
True
Let r(z) = 2*z - 20. Let n be r(10). Let t(l) = -l**2 - l + 1. Let d be t(n). Are d and 1/22 equal?
False
Let v be (-3 + 2)/((-2)/16*-1). Is -8 greater than v?
False
Suppose 4*b - 31 = -7. Suppose 3*g - 3 - b = 0. Let f = g + -1. Is 0 at least as big as f?
False
Let y be (-2)/4 + (-6)/12. Let o be (y/(-3))/((-3)/9). Is o greater than or equal to -1/9?
False
Let u(g) = g**2 - 11*g + 12. Let d be u(10). Suppose -84 = -d*t - 5*m - 18, 2*t + 2*m - 72 = 0. Let a be 12/42 + t/(-35). Is a != -2?
True
Let q be (-23)/(-9) - (-4)/(-12). Let o = q + -26/9. Is o at most 6?
True
Let m(l) = -l**2 - l - 6. Let j be m(0). Let x be 4*((-63)/j)/(-3). Let g = -9 - x. Do g and 5 have the same value?
True
Let y be 120/(-54) + 4/18. Which is bigger: 4 or y?
4
Let r = 4.11 + -4. Let g = 3.89 + r. Which is smaller: g or -1/4?
-1/4
Let k be -3 + 2 + (1 - 1). Is -1/5 smaller than k?
False
Let v be 1 + 1 - 83/1. Let t = -329/4 - v. Let m be ((-4)/(-6))/((-2)/3). Do m and t have different values?
True
Let c(r) = -r**3 + 11*r**2 - 11*r + 8. Let p be c(10). Is p at least as big as -2/5?
False
Let n(i) = -i**3 + 10*i**2 - 9*i. Let k be n(9). Suppose k*m = -m - 1. Let r = -60/13 - -582/143. Is r at most as big as m?
False
Let k = -145/4 + 36. Let q = 0.3 - 1.1. Let d = q + 0.5. Which is greater: k or d?
k
Suppose -5*x - 5*r = 15, 2*x + r + 1 = -1. Let u be 0 - (-411)/(-135) - -3. Is u smaller than x?
True
Suppose -2*w + 4 = -4*w + 4*q, -4*q + 2 = -3*w. Which is bigger: w or 7?
7
Let i be ((-12)/8)/(3/(-4)). Let l be -2*i/18*1. Which is smaller: 1 or l?
l
Let v = 68.1 - 63. Let k = -1.1 + v. Which is bigger: k or 0?
k
Let b = 6 - 20. Which is smaller: b or -1?
b
Let q = -7 - -6. Is -1 smaller than q?
False
Let w(i) = -i**3 - 3*i**2 + i + 3. Let d be w(-3). Let p(v) = v**2 + 4*v + 1. Let s be p(-3). Let g be (d + -1 + s)/(-3). Is g > 2/5?
True
Let a be (5 - (-35 + 3))/2. Which is greater: a or 19?
19
Let l(t) = t**3 + 3*t**2 - 5*t - 3. Let g be l(-4). Let p be (-4)/(64/(-47)) + -3. Which is bigger: g or p?
g
Let s = -16 + -1. Let m be s/5 + 8/20. Is m < 3?
True
Let d be 3*5 + (0 - 2). Let b = d - 8. Suppose -g + b = 4*g. Which is greater: g or 3/4?
g
Suppose -2*j - 5*p + 8 - 2 = 0, p + 8 = -5*j. Let s = 4 + j. Is s greater than 3?
False
Let c(a) be the second derivative of a**4/6 - 5*a**3/6 - 3*a**2/2 + 2*a. Let w be c(4). Suppose -w*t = -4*t. Which is smaller: t or -1?
-1
Let z(k) = k**3 - 6*k**2 - 2*k - 1. Let m be z(6). Does -14 = m?
False
Let x = -81 - -158. Let a = 233/3 - x. Which is greater: -1/5 or a?
a
Suppose 0 = 5*h - 2*h - 27. Suppose -4*s = -h*s. Suppose 2*x + s = 4. Which is smaller: x or 0?
0
Suppose -3*m - 4*t - 317 = 128, 0 = -2*m - 3*t - 298. Let r = -1003/7 - m. Let d = 4 + -3. Which is smaller: r or d?
r
Let p = 5.7 - 6. Which is smaller: p or 0.2?
p
Let n = -67/186 + -5/186. Which is bigger: -1 or n?
n
Let o be (1/(-4))/((-7)/8). Suppose 5*r = 4*d, -2*r - 12 = -3*d - d. Are o and d equal?
False
Let a = -0.7 + 1. Let q = -1 - 1. Let t = 2 + q. Which is smaller: a or t?
t
Let v(l) = l**2 - 3*l + 3. Let k be v(3). Suppose 1 = -2*z - k. Which is greater: z or -2/5?
-2/5
Let q(c) = -c**3 + 2*c**2 - 2*c + 3. Let u be q(2). Let b = 309/5 + -63. Is b equal to u?
False
Let s = 9 + -7. Let a = s + -2. Let c be 8/(-6) - (-1)/1. Which is greater: c or a?
a
Let b(z) = z**3 + 14*z**2 + 13*z + 13. Let m be b(-13). Is 10 >= m?
False
Suppose 4*z = -4*q + 112, 2*z + 5*q + 103 = 6*z. Let l be (-2)/(-3)*z/3. Suppose -2*k + 12 = 2*y - l*y, 5*y + 2*k = -6. Which is bigger: -1 or y?
-1
Let a(u) = 3*u - 1. Let d be a(-2). Let f = d - -6. Which is bigger: f or 1/3?
1/3
Let a = 2/37 + 64/185. Which is bigger: a or -0.01?
a
Suppose -v + 4 = 0, -2*c - v + 4*v = -12. Suppose 4*x - 27 = r, 3*r + 15 = 3*x - c. Is 5 >= x?
False
Let i = 5 - 1. Suppose 0 = 2*b - 0*b - i. Suppose b = 2*o - 3*o. Are o and -1 equal?
False
Suppose -4*p - 4 = -0*p. Let q(b) = 3*b**3 + 2*b**2 - 1. Let t be q(-1). Which is smaller: p or t?
t
Let r be 22/18 + (48/27)/(-8). Which is greater: 19 or r?
19
Let d = -84.8 + 78. Let s = d - 0.2. Which is greater: 2 or s?
2
Suppose 6*l = l - 10. Is -5 at least l?
False
Let h = 6 + -2. Let i be h/10*(-15)/(-9). Is i smaller than -1?
False
Let v be 220/(-60) - (-3 - 0). Is v >= 2/7?
False
Let s = 2.5789 - -0.0311. Let o = s - 0.11. Let z = o - 0.5. Which is smaller: 1/3 or z?
1/3
Let d be (-1)/2*(-4)/2. Let s(x) = x**2 + 6*x + 6. Let t be s(-6). Let h = 9 - t. Is h at most d?
False
Let c be 4/(-3) + 150/(-9). Which is smaller: c or -20?
-20
Suppose -6*o = 6*o. Is o > 2/83?
False
Suppose -o - o + 8 = 0. Suppose -5*l - 4*g - 2 = 0, -8*l - 4*g - 4 = -4*l. Suppose 2*f = -l*f + 16. Is f >= o?
True
Let n = 43 + -43. Is n smaller than -2/75?
False
Let r = -7 - -27. Suppose 0 = -2*i - 0*i - z + 5, 5*i + r = 4*z. Is -4/3 less than i?
True
Let p(d) = -2*d - 43. Let o be p(-23). Let i(w) = w**2 + 5*w + 1. Let n be i(-6). Let u = -2 + n. Is u greater than or equal to o?
True
Suppose 2*p = 3*p + 4. Let z(k) = k**3 - 3*k**2 + 5*k + 3. Let j(r) = -r**3 + 1. Let x(s) = -2*j(s) - z(s). Let w be x(-4). Is p >= w?
False
Let s be -9*2*1/(-3). Let f be (-1 + 1/(-2))/s. Let p be 2/4 - 3/6. Is p != f?
True
Let o = 33 + -43. Which is smaller: o or -8?
o
Let y = 0.64 - 0.04. Let j = y - 0. Is 0 greater than j?
False
Let g be (-149)/8 + 15/(-40). Is g less than -19?
False
Let a = -6 + -4. Let h be (3 - 9) + 0 - 4. Is h at most as big as a?
True
Let 