s) = -s**3 + 5*s**2 + 6*s + 4. Let f be b(6). Let d = 42 - 24. Let n = d + -14. Is f greater than or equal to n?
True
Let f = 1.04 - 5.97. Let z = 0.07 - f. Which is smaller: z or -1?
-1
Suppose -q - 6 = -a + 2, 0 = 5*q + 25. Which is smaller: a or -1?
-1
Suppose m - 6*m = a + 2, -2*a = 3*m - 3. Suppose 5*j = -4*t - 9, -a*j = -3*t - t - 1. Are t and 2/15 unequal?
True
Let x = -126 + 134.9. Let o = 9 - x. Is 2 at most o?
False
Suppose -1 = 4*a - 21. Let c be ((-8)/20)/(7/a). Let s be 0/(-1 + 2 + 0). Which is bigger: c or s?
s
Suppose 4*r + 6 = 10. Let v = 139 + -203. Let a be (36/v)/(6/(-4)). Is a >= r?
False
Let q(w) = -2*w**3 + 33*w**2 - 17*w + 15. Let h be q(16). Let i be 6/15 + (-1)/(-10). Is h at least i?
False
Let j = 19.43 + 0.57. Which is smaller: j or 1?
1
Let i = 0.11 + -0.14. Let l = i - 0.27. Which is smaller: -1 or l?
-1
Let a be (1 - -1) + (2 - 1). Suppose 4*v = 2*y - 46, 0 = -5*y - 4*v + v + 63. Suppose -5*c + 2*c + 4*k - y = 0, 0 = -k + a. Which is smaller: 0 or c?
c
Let s = 47 - 67. Let m be (13/(-5))/(s/(-25)). Which is smaller: m or -3?
m
Let f(q) = 2*q + 6 - 6 - 9 - q. Let d be f(9). Suppose d = z - 1. Which is smaller: -1/5 or z?
-1/5
Let l = -0.22 - -0.25. Is l < -1/3?
False
Let j(z) = z**2. Let s(o) = 4*o**2 - 5*o + 4. Let l(k) = 3*j(k) - s(k). Let q be l(3). Let t be (-1 + 2)/((-2)/(-4)). Is q smaller than t?
False
Suppose -38*y + 312 = -41*y. Which is smaller: -105 or y?
-105
Let s = -9 - -12. Suppose -4*c = -s*c, -8 = -4*r - 2*c. Do r and -6 have different values?
True
Let n be 4/(-20) - 3/(-40). Let p(x) = x**2 - 5*x + 4. Let v be p(4). Suppose v*o = -2*o. Which is bigger: o or n?
o
Let z = -6.94 - -0.84. Let k = 6 + z. Is k at least as big as -0.1?
True
Let l = 4 + 0. Let j = 2 - l. Let c be ((-1)/(4/j))/(-2). Which is bigger: 1 or c?
1
Let z = 22 + -21. Is 10 less than z?
False
Let y = -1541/9 - -171. Which is greater: -22 or y?
y
Let g = 5.1 + -5. Let o = 14 - 11.7. Let y = o - -0.7. Which is smaller: g or y?
g
Let o = 13.3 + -13. Let y = o - 0.2. Which is smaller: y or -1/4?
-1/4
Let a be 4 - 2*46/4. Let d = -20 - a. Which is greater: -4 or d?
d
Let h = -7.91 - 0.09. Let z = -9 - h. Which is smaller: z or -2/5?
z
Suppose -2*h - c + 19 = 4*c, 3*h + 3*c - 15 = 0. Suppose h*x = 5*x. Is x greater than 0?
False
Let g = -142 + 1282/9. Which is bigger: 0 or g?
g
Let h = -48 + 48.2. Let s be 1 + (-2)/((-4)/(-2)). Is s less than or equal to h?
True
Let a(i) = -i. Let u be a(4). Let p be (-1)/u + (-15)/(-20). Let v = -2 + 3. Are v and p equal?
True
Let p = 1/616 + -929/3080. Which is smaller: p or 0?
p
Let c be ((-10)/4)/((-95)/76). Suppose -q = 5*n - 16, 5*n - 12 - 24 = 4*q. Suppose 3*o + n = 7. Which is greater: c or o?
c
Let x(o) = o**2 - 4*o + 1. Let b be x(-3). Let i be 4/b + 39/(-33). Which is smaller: 1/9 or i?
i
Let f = -3 + 5. Let p = 1.7 - f. Which is smaller: 0.2 or p?
p
Suppose d + 2*d = 30. Suppose -2*x - 3*m + 5 + 2 = 0, -3*m = -x - d. Do x and -1/4 have different values?
True
Let d = 17 + -12. Let z = -4.4 + d. Let m = z + -0.7. Is -0.4 smaller than m?
True
Let q be 9/(-5) - 4/20. Let p be 1 + q - (-4 + 5). Let i = p + 1. Is i not equal to -1/3?
True
Let p = 6 + -1. Suppose 0 = w - 0*w - p. Suppose 3*u - 6 = -3*k, -w*k + 2*u + 8 = -k. Is -1 at most k?
True
Suppose 3*b + b = 0. Let g be (-7)/2 + 1/2. Let n = 3 + g. Is n smaller than b?
False
Let m = 0 + 2. Let r be (4/m)/(64/8). Is r at most as big as 0?
False
Suppose -15*a + 14*a = -10. Let k(f) = f**2 + 5*f + 3. Let u be k(-6). Which is bigger: a or u?
a
Suppose 5*h - 5*k - 33 + 3 = 0, 5*h - 46 = -3*k. Which is bigger: h or 13/2?
h
Suppose 5*x - 5 - 20 = -4*s, -3*x - s + 8 = 0. Let o = -10 + 2. Let k be (o/208)/(1/4). Is x smaller than k?
False
Let p = 0 - 0. Let d be (5 + p)*(2 + -3). Let r = 0 + d. Is r less than or equal to -4?
True
Let z = -532/445 + -2/445. Which is bigger: -1 or z?
-1
Suppose 0 = 2*u - 4*u + 2. Which is greater: u or 2/53?
u
Let j = 1.4 - 1.3. Let o = -0.9 - 3.1. Let h = o + 3. Is j smaller than h?
False
Suppose 5*q = -0*s - s - 5, -15 = -3*q + 3*s. Suppose -2*y - w - 10 = 3*w, q = 4*w + 12. Is y <= -1?
False
Suppose -3*t - 3*g = 2*g + 13, -2*g = -4*t. Are t and -2/77 nonequal?
True
Let o(a) = a**3 + 7*a**2 + 9*a - 13. Let s be o(-7). Which is smaller: s or -75?
s
Let g(f) be the first derivative of f**3/3 - 3*f**2 + 3*f - 3. Let b be g(6). Suppose 5*q - 2 = -3*z + 12, -z - 6 = -q. Which is greater: q or b?
q
Let d = -0.15 - -8.15. Let m = -14 + d. Does -0.2 = m?
False
Let i(u) = -u**3 - 5*u**2 - 4*u. Let j be i(-3). Let x be (-3)/(j/(-2))*-4. Is x smaller than 3?
False
Let w = 2 + -1.75. Do 0 and w have the same value?
False
Let r = 59 - 65. Which is smaller: r or 1/3?
r
Let i(t) = t**3 - t + 683. Let l be i(0). Let d = l + -18443/27. Does 1 = d?
False
Let q(x) = x**2 + 10*x + 7. Let l be q(-7). Let t be 4/l - 228/(-210). Which is smaller: 1 or t?
t
Let f = 9 + -25. Let q = 16 + f. Is q greater than -0.1?
True
Let t = 12.807 - 0.817. Let m = t + -12. Is 1/5 <= m?
False
Let s = 4 - 7. Let j = 3.16 + s. Let r = 0.06 - j. Is -2/3 at least as big as r?
False
Let u be (1 - 1) + 1 + -5. Let f(d) = 5*d + 5. Let o be f(0). Let b be -1 + o + u/2. Is 2 greater than b?
False
Let r = -13 + 13.2. Is 0.8 <= r?
False
Let s(g) = 3*g**2 + 3*g - 1. Let x be s(-3). Suppose 5*y + x = 3*h, 5*y - 6*y + 5*h = 21. Let r = 1 - 3. Is r greater than or equal to y?
False
Let a = 2 - 2. Let p be 3 + -5 + 3 + a. Do 2/3 and p have different values?
True
Let m(b) = -2*b - 31. Let s be m(-16). Does 1/15 = s?
False
Suppose 13 = -3*n - 8. Are n and -7 nonequal?
False
Let g(s) = -s**2 - 8*s - 2. Let u be g(-3). Suppose -i + u = -5*p, 0 = -4*i - i - p - 13. Is -2 > i?
False
Suppose 2*f + 6 = -4. Let s be 8/(-70) + (-2)/f. Which is smaller: -6 or s?
-6
Let r = -0.12 - 4.88. Let x = -4.03 - -0.03. Let z = x - -4. Is r >= z?
False
Let r be 12/(-18) + 34/6. Suppose 7*m + 13 = 3*m + 3*a, r*a - 14 = -m. Which is bigger: 0 or m?
0
Suppose -z = -5 + 3. Let o(y) = y**3 - y**2 - 4*y + 3. Let w be o(z). Which is greater: 2/5 or w?
2/5
Let d = 6 + -9. Let v = 14 + -9. Suppose s - 3 + v = 0. Which is bigger: s or d?
s
Let u(r) = -r**2 - 4*r + 1. Let t be u(-3). Suppose 4 = -t*f + 4*i, f = 5*f + 4*i - 12. Which is greater: -1/6 or f?
f
Let r = -88 - -123. Suppose -2*o - r - 13 = 0. Let j be o/15 - (-2)/(-5). Which is smaller: -1 or j?
j
Let u = -138/7 - -746/35. Is 2 at most u?
False
Let s be (3 - 0)/((-75)/(-310)). Which is bigger: s or 12?
s
Suppose 2*v - 2*k - 28 = 0, 5*v + 3*k - 7 = 23. Is 9 smaller than v?
False
Let a be (-14)/6 + 2/6. Which is smaller: a or -1/2?
a
Let r(p) = -3*p. Let i be r(0). Which is bigger: i or 1/3?
1/3
Let j = -0.06 - -0.1. Let k = 2.56 + -2.6. Let x = k + j. Which is smaller: 1 or x?
x
Suppose -d = -5*t + 3*d - 3, -4 = -2*d. Let w = 8.9 - 11. Let m = w + 0.1. Do m and t have the same value?
False
Let a be (2 - -4)*(-6)/4. Let p = 10 + a. Which is greater: p or 3?
3
Let n(l) = -l**2 + 6*l - 6. Let w be n(4). Let p = w - 1. Let b be 2/10 - 0 - 23/115. Is p <= b?
False
Suppose 5 + 0 = 5*u. Let c be -5*1*4/(-10). Let t be ((-1)/(-2))/(u/c). Which is smaller: -2/3 or t?
-2/3
Let a = -10 + 6. Let o be (-2 + 4)*(-1)/a. Which is smaller: 1 or o?
o
Let l(x) = -x - 19. Let u be (-3)/(-2)*-2 + -16. Let p be l(u). Do p and 0 have the same value?
True
Let o be 1 + 0 + -1 + 5. Suppose 0 = -3*b + 6, c + 0*c = -2*b + 3. Let r be (c - 2) + o/1. Is 0.2 > r?
False
Suppose -t - t - 62 = -3*p, 2*p = 2*t + 64. Let m be (t/10)/1 + 3. Is 0 not equal to m?
True
Let v(i) be the second derivative of -i**4/12 - i**3 - i**2 - 2*i. Let q be v(-6). Suppose 3 = -5*l - g, 4*l + g + 3*g - 4 = 0. Which is smaller: q or l?
q
Suppose 0 = 3*i + 1 - 4. Suppose -2*s = -3*s - i. Is 1/6 smaller than s?
False
Suppose -40 - 12 = -4*l. Suppose 4 = q, l + 0 = 3*s + q. Let u = 95/2 + -46. Which is smaller: s or u?
u
Let r = 32 + -31.9. Which is smaller: r or -93?
-93
Let f = -0.17 - -0.07. Is f < 8/9?
True
Let y be 0*2/4 + -3. Let l be 1*(-3 + (-8)/y). Is l != 1?
True
Let a = 13 - -1. Let g = -6 + a. Let x = g - 8. Which is smaller: -0.2 or x?
-0.2
Let w(d) = d**2 + 10*d + 7. Let u be w(-4). Which is greater: -19 or u?
u
Let w(h) = -2*h**2 + 2*h - 1. Let l be w(1). Let k be 1 + 1 + -2 + l. Is k