 76, -s - 3*c + 41 = 0. Let z be s/28 + (-1)/4. Which is greater: z or -2/5?
z
Let k = 131 + -124. Suppose 8 = 2*w - 6. Is k bigger than w?
False
Let o(p) be the first derivative of p**3/3 + 3. Let y be o(2). Suppose -y*n = b + 24, -8*n + b = -3*n + 39. Is n at most -7?
True
Suppose -4*k = -3 + 23. Suppose -2*z = -2 - 4. Suppose -13 = h + z*v, -3*h - 2*h = -2*v + 14. Which is greater: h or k?
h
Suppose 0 = 4*q - 2*t, -5*q - 2*t = -3*t. Suppose f = -0 - 1. Is f > q?
False
Let o(t) = -t**2 - 4*t - 2. Suppose 4*x = -14 - 2. Let v be o(x). Let h be v/(-7) + (1 - 1). Are 0 and h unequal?
True
Let f = -1 + 5. Let a = 4 - f. Let r = 0.7 + 0.3. Which is bigger: r or a?
r
Let r be (-411)/(-27) + (-8)/36. Let h be (-76)/6 + 5/r. Let p = h + 413/33. Is 1 less than p?
False
Let l be ((-4)/2 - 0) + 92. Let i be (-34)/l + 6/(-27). Are 0 and i unequal?
True
Let n = -0.035 - 0.014. Do -1/4 and n have the same value?
False
Let z = 13/5 + 58/45. Which is smaller: 3 or z?
3
Suppose 0 = -5*t - 2*t. Which is smaller: t or 1/12?
t
Let u = 41.26 + -42. Let v = 0.8 + u. Is v smaller than -2/5?
False
Let k(s) = s**2 + 6*s - 9. Let j be k(-7). Let l be (-1)/(1/10*j). Let i be l/25 - (-6)/(-10). Do i and 0.1 have the same value?
False
Let q(l) = l - 2. Let j be q(3). Which is smaller: j or 2/7?
2/7
Let x = 235/6 - 29/3. Let w = -30 + x. Is 0 >= w?
True
Let x = -1 - -4. Let w be 2*x/2 + 3. Suppose 7*h + 1 = w*h. Which is bigger: h or -0.3?
-0.3
Let v = 8 - 8. Let i = v - 3. Suppose 0 = -3*u + z + 2, -u + 5*u + 5*z + 10 = 0. Which is greater: i or u?
u
Suppose 3*c - c = -10. Suppose 0 = -4*j - 3*l, 0*j + 2*l - 5 = -j. Which is bigger: c or j?
j
Let t = 1619/11 - 147. Let x = -2 + 1. Which is bigger: x or t?
t
Let i be ((6/4)/(-3))/2. Let c = 51 - 52. Which is smaller: i or c?
c
Suppose -3*l - 2*l - 315 = 0. Let c = l + 947/15. Which is smaller: 1/3 or c?
c
Let u be 2/((-3)/(-54)*51 - 3). Are -8 and u nonequal?
True
Let c be 77/3 + 3*(-10)/45. Is -0.2 equal to c?
False
Let b(c) = c**2 - c - 1. Let i be b(0). Let w be 8/3 + i/(-3). Is 2 bigger than w?
False
Let c = 4 + -3. Which is bigger: 1/6 or c?
c
Let r = -11/10 + 9/10. Let k = -11 - 1. Let a = k + 13. Is a greater than r?
True
Let o(s) = 5*s - 2. Let m be o(2). Let g be 4/2 - 0 - 0. Let n be (g - 18/m)/(-1). Which is greater: -0.1 or n?
n
Let k be (-9)/(-27) - 2/(-3). Let c be 0/(k - -1 - 0). Which is bigger: 0.3 or c?
0.3
Let m = -79 - -551/7. Let c be (7/(-14))/((-2)/8). Let w be (-5)/c*(-1)/5. Is m equal to w?
False
Let a be ((-1544)/9)/(-4) + 3. Let i = -46 + a. Which is smaller: i or -1?
-1
Suppose -2*c = -5 - 1. Suppose c*r = -0*r - 12. Suppose 3*o = -2*o - 20. Are r and o nonequal?
False
Suppose 5*h + 1 = -4. Let r(q) = -2*q + 0*q - 12 + q - q. Let y be r(-6). Which is smaller: y or h?
h
Let t = -139 - -2365/17. Suppose 0*q - 3*q - 2*r + 8 = 0, -4*q + 8 = 2*r. Which is smaller: q or t?
q
Let f = 2.2 + -3. Let i = f + 1. Is -0.2 > i?
False
Let f be (-3)/(1 - 2)*-2. Let b be 404/50 + (-6 - -3) + 1. Let r = b + f. Which is smaller: 0 or r?
0
Suppose -4*h + n - 16 = 0, -4*n + 14 + 5 = -h. Is h smaller than -2?
True
Let w = 0.02 + -0.32. Let b = w + 0.4. Which is bigger: 0 or b?
b
Suppose 3*p - 10 + 4 = 0. Is p != -19?
True
Let k(s) = -2*s - 10. Let z(f) = 1. Let r(a) = -k(a) - 2*z(a). Let l be r(-4). Which is smaller: -4/5 or l?
-4/5
Let d = 6 - 3. Let s = 43 - d. Let u = s + -442/11. Is -1 less than or equal to u?
True
Let o = -68904/7 - -10053. Let w = -210 + o. Let f = -8 + 7. Is w < f?
False
Let l be (-1 - (-3)/6)/((-1)/2). Let d be ((-8)/(-100))/(1/(-5)). Is d smaller than l?
True
Let u be 5/(-135)*3*-6. Do u and -1/4 have the same value?
False
Let f = -4/131 - -445/1703. Let b = 5 + -4. Is f at least b?
False
Let l(k) = -k**3 - 7*k**2 + 9*k + 12. Let a be (-3)/6 + 7/2. Suppose -36 = a*p - 12. Let m be l(p). Does 2 = m?
False
Let a = 106 + -1157/11. Is a at least as big as 0?
True
Let d = 2 + 13. Suppose 0 = -2*g - 3*g. Suppose 0 = -g*s - 5*s + d. Is s greater than or equal to 2?
True
Let j = 6/35 - 4/7. Let g = 10 + -6. Is g at most j?
False
Suppose 0 = g - 4*g + 15. Suppose -a + 16 = -g*a. Is 1/3 at most as big as a?
False
Let s(l) be the second derivative of -l**3 + 1/12*l**4 + 0 - 9/2*l**2 - 2*l. Let c be s(7). Is -1 not equal to c?
True
Suppose -2*b + 2 = 2*t, 4*b - 3*t + 10 = -0*b. Is b less than -2/13?
True
Let h = -4.28 - -0.28. Are 0.02 and h non-equal?
True
Suppose -7*u = -2*u - 5. Let l = -69 + 485/7. Is l greater than u?
False
Let g = -39 - -51. Is -1 greater than or equal to g?
False
Let i = 19 + -12. Is 0 less than i?
True
Suppose 3*x = l, 0 = -27*l + 25*l + 2*x. Suppose 3*v - 12 = -0*v. Which is greater: v or l?
v
Suppose i + 0*z + 12 = 4*z, 0 = 2*i - 4*z + 12. Which is bigger: i or -10/7?
i
Let f be ((-54)/4 + 2)*-2. Which is smaller: f or 25?
f
Suppose 0 = -2*g + 5 + 7. Let k be 0*(-3 - (-21)/g). Which is bigger: -1/9 or k?
k
Let x = -5 - 0. Let b be 6/15 - 108/20. Let y = b - x. Is y at least as big as -6/5?
True
Suppose 0 + 3 = c - 2*h, -2*c + 5*h = -4. Which is greater: c or 6?
c
Let l be (-22 + -3)*12/(-10). Suppose -6*f - l = -f. Let t be 2/f + (-4)/(-30). Which is smaller: 0 or t?
t
Let f = 54 + -593/11. Let w be (-1 - -1)/(-2 - -4). Which is bigger: w or f?
f
Suppose -w + 4 = 1. Suppose -9 + 0 = -w*z. Suppose 4*q - 11 + z = 0. Is 8/3 bigger than q?
True
Suppose h - 6*h = -h. Suppose s - 1 = 1. Is s not equal to h?
True
Let q = 258 + -387. Which is smaller: q or -128?
q
Suppose 4*w = 5*w + 2. Let n be w/8 + (-15)/(-12). Is 5/8 <= n?
True
Suppose l = -d + 2 + 3, -5*d - 4*l + 22 = 0. Which is smaller: -1 or d?
-1
Let x(u) = -u**2 - 6*u + 5. Let r be x(-6). Suppose r*f - 3*b + 15 = -b, -4*f = b - 1. Let g = -2/35 + -169/105. Which is smaller: g or f?
g
Let j = -7 + 10. Let c = j - 4. Let q = 31 - 92/3. Are q and c nonequal?
True
Suppose -5*b - 1 = -11. Let q(z) = 4*z**3 + 0 - z + b - 3*z**2 - 5*z**3. Let a be q(-2). Is -1 smaller than a?
True
Let u = 29 + -21. Do u and 54/7 have the same value?
False
Suppose -2 = 3*x - 14, -3*j + 2*x - 26 = 0. Are -6 and j equal?
True
Let d = 46 - 54. Are d and -8 unequal?
False
Let z be (-4)/3*3/(-2). Let c = -1 + 1. Suppose c = 4*t - 5*x - 15, -3*t + 2*x = 2*t - 6. Which is smaller: t or z?
t
Let k = 7.1 - 1.1. Is k < 0?
False
Let f(l) = -2*l**3 + 4*l + 2. Let m be f(-3). Suppose -5*n = -m + 14. Suppose 8 + 7 = 3*y. Which is smaller: n or y?
y
Let n = -67 + 66. Which is bigger: n or -3/43?
-3/43
Suppose -30*f + 9*f + 357 = 0. Is 16 less than or equal to f?
True
Let b = 0.17 - 0.5. Let q = -0.03 - b. Let f = -0.2 + -0.8. Is q less than f?
False
Let m = 1 + -1.1. Let o = 1.8 - 1.4. Which is bigger: o or m?
o
Let q(r) = 2*r**2 - 2*r - 2. Let g be q(-3). Is g less than or equal to 22?
True
Let l be (2 + -1)/(3/15). Suppose v - 10 = -l*b - 4*v, 3*b + 5*v - 8 = 0. Is b >= 2/9?
True
Let u(t) = t**2 + 8*t + 3. Let q be u(-7). Let x(j) = -j**2 - j + 2. Let w be x(q). Is -10 <= w?
True
Let g = -0.129 - 0.001. Which is smaller: g or -1?
-1
Let i = 12 + -16. Which is greater: i or 1?
1
Let v be (-110)/(-4) - (3 + -3). Let a = v + -27. Which is smaller: 0 or a?
0
Suppose 3 = 5*y - 2. Which is bigger: 2 or y?
2
Suppose 6*v - 3*v = 0. Is v > 8/11?
False
Let u = 0 + -0.4. Let m = u + 0.2. Which is smaller: -2/3 or m?
-2/3
Let p = -0.29 + 21.29. Which is smaller: p or -0.1?
-0.1
Let j be (0/2)/(12/(-2 + -4)). Is -15/14 smaller than j?
True
Let y be -33 - (-1 + -1)/1. Let j be (-60 + -1)*7/14. Let i = y - j. Which is smaller: 1 or i?
i
Suppose 1 = -5*u + 2*w, 5*w + 0*w + 8 = 2*u. Which is smaller: u or -0.1?
u
Let m be (1 + (1 - 0))*-2. Suppose 0 = -5*j - 4*b + 55, 5*j - 2*b = 2*b + 15. Let n = m + j. Which is bigger: 2 or n?
n
Suppose 3*b = k - 13, -5*k + 12 = -2*b - 1. Which is smaller: k or 3/8?
3/8
Let y be (3/(-2))/(3/(-4)). Let c = -3 + 5. Suppose v = -3*q - c*q + 5, 3*q - 3 = -4*v. Which is greater: y or v?
y
Let j = 0.1 - 0.1. Let f = -3.896 + -0.004. Let n = f - -4. Which is bigger: j or n?
n
Let d(a) = -a. Let y be d(3). Let t be 28/(-8) - 1/2. Which is greater: t or y?
y
Let m = -193 + 193.3. Let n = 1 + -1.2. Let r = n - -0.1. Is m at least as big as r?
True
Let n(m) = 4*m**3 + 4*m**2 - 4*m + 7. Let i(t) = -3*t**3 - 3*t**2 + 3*t - 6. Let g(p) = 5*i(p) + 4*n