 - 1. Let d be s(-1). Let v = c + d. Is v less than 2?
False
Let q = 0.3 + -0.3. Let r = -2638/15 + 176. Which is smaller: r or q?
q
Let r(d) = -d**2 - 7*d - 4. Let f be r(-7). Let z be f/14*(0 - 1). Are 3/5 and z non-equal?
True
Suppose 3*o - 5 = 10. Which is bigger: 9/2 or o?
o
Suppose k + 4*o - 1 = -5, 3*o = -5*k + 14. Suppose 84 = -0*p - k*p. Let i be 2*p/54 + 1. Which is greater: 1 or i?
1
Let a be 146/(-10) + 15/25. Which is greater: -15 or a?
a
Suppose -19 = -2*s - 7. Let q be -3*(-1)/6*s. Is 5 bigger than q?
True
Let b = -6 - -10. Let l be (-10)/b*(-5)/25. Are 2 and l nonequal?
True
Let h = -111 + 113. Which is greater: h or 0.08?
h
Let v = -3 - -2.4. Let u = v + 3.6. Let d = 3.6 - u. Which is smaller: 1 or d?
d
Suppose l + t = -2*t + 87, 4*l + t = 370. Which is bigger: 94 or l?
94
Let v = 0 - 0. Suppose v = 5*y - 19 - 6. Suppose 5*r = r + y*o - 24, 12 = 3*o. Are 1 and r nonequal?
True
Suppose 5*u = -2*w + 70, 0 = -5*w - 5*u + 3 + 157. Let b be ((-3)/(-15))/(6/w). Let k be 1*-1 + (-8)/(-7). Which is smaller: k or b?
k
Let f(b) = b**2 - 4*b + 3. Let z be f(3). Let t = 10/7 + -183/133. Is t bigger than z?
True
Suppose 11 = 3*v - 1. Suppose -4*u + 5*h - 9 = 0, v*h = -4*u - 0*h. Which is greater: 2/11 or u?
2/11
Let c = -24 + 24. Is -0.1 != c?
True
Suppose 5*o - 55 - 20 = 0. Let k = o + -8. Suppose -3*u - k - 5 = 0. Is u smaller than -4?
False
Let g be 5 - ((-944)/(-94) - 5). Which is smaller: g or 4/5?
g
Let m be 14/3 + (-4)/6. Suppose m = 3*d + d. Is d equal to -2/23?
False
Let z = 0 + -1. Let w(m) = -m**2 - 8*m + 8. Let d be w(-6). Let j be 2/d - (-7)/(-14). Are j and z nonequal?
True
Let x(p) be the second derivative of -p**3/6 + 3*p**2 + 4*p. Let i be x(5). Which is bigger: i or -1?
i
Let h be ((-7)/4)/(6/(-24)). Which is greater: h or 0?
h
Let x = 0 - -11. Are 10 and x equal?
False
Let z be 25/(-14) - (-95)/38. Is 0 greater than z?
False
Suppose -2*u - u + 18 = 0. Let c be (-2)/u*7/7. Which is greater: c or -1/5?
-1/5
Let w = -31 + 22. Let x = -8.9 - w. Is x at most 2?
True
Suppose 4*h + 12 = -p - 0*h, 9 = -2*p - 3*h. Suppose p = -2*m + 4*m. Is -2 at least m?
False
Suppose 0 = 2*b - 8 + 2. Suppose 3*i - 12 = 4*h, -4*h + i - b = -3*h. Is -2 < h?
False
Suppose 0 = 4*j + 4. Let d be (-74)/(-14) + (-4)/14. Let v = d + j. Are 0.1 and v equal?
False
Let r = -2 - -2.1. Let a = -16 + 15.1. Let d = r - a. Is 1 equal to d?
True
Let s(n) = 2*n + 42. Let p be s(-21). Which is bigger: -1 or p?
p
Let h be (2/30)/((-4)/6)*8. Which is bigger: h or -2/9?
-2/9
Suppose 4*q + 5*z = -5, 5*z = 3*q + 4*z - 20. Suppose q*a + 2 = 4*a. Is -2 greater than or equal to a?
True
Let w(d) = -d**3 - 3*d**2 + 3*d + 13. Let f be w(-4). Which is bigger: f or -2?
f
Let v be (0/2)/(-4 - -3). Let b be (1 + v)*-2 + 2. Which is bigger: b or -0.3?
b
Let v(j) = 7*j**2 - 4*j + 7. Let z(u) = -20*u**2 + 12*u - 20. Let p(i) = -17*v(i) - 6*z(i). Let f be p(4). Let n = -1 + 2. Is f != n?
False
Let d = -5.1 + 0.1. Let f = d + 9. Let x = -2.9 + 3. Is x greater than or equal to f?
False
Suppose -6 = -3*x, 4*k + 2 = 5*x - 0*x. Is -2/9 less than k?
True
Suppose 2*l - 23 = 7. Let i = l - 17. Suppose 24 = -3*k - 5*f, -2*k - 2*f - f = 15. Which is smaller: i or k?
k
Let x = 10 + -5. Let z = 10 + x. Let p be (-18)/z*(-4)/(-6). Which is bigger: -2 or p?
p
Suppose -4*t + 11 = -3*t. Suppose -3*f + 1 = -t. Which is smaller: f or 2?
2
Let f be ((-255)/(-12) - 4/16)/1. Which is greater: 20 or f?
f
Let x be ((-4)/6)/((-10)/6). Let l = -0.5 + 0.3. Let r = l + -0.8. Is r at most as big as x?
True
Let h = -5 + -1. Let f = h + 6.6. Let u = -1.6 + f. Which is smaller: -3 or u?
-3
Let r(p) = p + 1. Let j(o) = -4*o - 5. Let g(w) = 2*j(w) + 9*r(w). Let v(d) = -2*d. Let q(u) = -4*g(u) - 3*v(u). Let s be q(-3). Is -1 not equal to s?
True
Suppose 0*t + 8 = -4*p + t, 4*t - 13 = -3*p. Which is bigger: p or 2/9?
2/9
Suppose -2*s - 4 = -6*s + 3*i, -s + i = 0. Let g be (12/s)/(6/4). Which is smaller: g or 1/2?
1/2
Let c(v) = -2*v + 7. Let w be c(4). Suppose 0 = 3*n + n + 8. Let j be (n/(-7))/(6/(-14)). Is j at least as big as w?
True
Let j = 86 + -343/4. Which is smaller: 2 or j?
j
Let u = 6 - -14. Let t = 20 - u. Which is bigger: t or 1?
1
Let c(i) = -29*i + 1. Let u be c(-1). Suppose -u = -5*q - q. Is q <= 4?
False
Let k = 2 + 0. Suppose t + 2*t - k = y, -5*t = -5*y - 10. Are t and 2/9 non-equal?
True
Let c = 8 + -4. Suppose -9 = -2*d - i, -c*d + 2*i = d - 18. Is d smaller than 4?
False
Suppose 3*r - 5*j = -15, -4*r - r - 4*j + 12 = 0. Suppose r = 5*t + 25 + 15. Is t smaller than -7?
True
Let g = -0.26 - -0.06. Let a = 0.8 - -9. Let x = -10 + a. Is g >= x?
True
Let i be -1 + -1 + 1 - -3. Suppose -3*g + 4*g - c + i = 0, -3*c + 8 = -4*g. Which is bigger: -1 or g?
-1
Let n = -736/9 - -82. Let c(u) = u**3 - 10*u**2. Let q be c(10). Which is greater: n or q?
n
Let k(a) = -2*a**3 - 3*a**2 - a - 1. Let s be k(-2). Suppose 3*c = -2*c + s. Let v be (1 - -3) + (-1)/c. Is v > 3?
False
Let j(x) be the first derivative of -x**3/2 - 2*x**2 + x + 4. Let p(v) be the first derivative of j(v). Let g be p(-4). Is g at most 7?
False
Let n be (-79)/(-7) + 22/(-77). Suppose 0 = -g - 3*g + 2*v + 12, g + 3*v + n = 0. Which is smaller: g or -1?
-1
Let h(z) = -z - 1. Let f be h(-6). Suppose 0 - 16 = -4*o, -f*b + 13 = 2*o. Is 3 <= b?
False
Let z = -1 + 0.9. Let h = -0.1 - z. Is h <= 2/11?
True
Suppose 5*m - 3*m - 4 = 0. Let n be 3/(-5) - m/5. Let z be n - (0 - -1)*-3. Which is bigger: 0 or z?
z
Let r = -9 - 67. Let j be (4/r*1)/1. Which is smaller: j or 1?
j
Let y(z) = -z**2 + 3*z + 1. Suppose 3*x = -o - 0*x, -o + 5*x = -8. Let d be y(o). Is d at least as big as -2/9?
True
Let a = -2.9 - 1.1. Let l = 3.4 + a. Which is bigger: 0.2 or l?
0.2
Let h = -5/7 + 32/35. Let j = -8 + 0. Let d = j + 7. Which is smaller: d or h?
d
Suppose 0 = 3*d - d + 10. Let v be 11/(-15) + (-2)/d. Is -1 <= v?
True
Let f(i) = -i**3 - 9*i**2 - 9*i - 6. Let a(x) = -3*x + 1. Let g be a(3). Let m be f(g). Let k be (4/2)/m + 2. Are 2 and k unequal?
True
Let s be (-30)/4 + 4/1. Is -5 <= s?
True
Suppose -3*z = z + 20. Which is smaller: z or -3?
z
Let j be (-1)/(-4) - (-2)/10. Let a = j - 1/5. Which is smaller: a or -1?
-1
Let i be -4*4 + 0 + 1. Let b be (12/10)/(3/i). Let o be (-14)/8 + b/24. Do -2 and o have the same value?
True
Suppose -1 = -4*w - 25. Suppose 3*l + 2*q - 19 = 0, 29 = -l + 6*l + 2*q. Let j = l - 10. Is w smaller than j?
True
Suppose -5*r + 5 = 5*s, 0 = -s + 5*r - 8 + 3. Let x = s - -4. Suppose -3 = x*q - 15. Is q >= 4?
False
Let c(l) = l**2 - 4*l**2 - 6*l + 4*l**2 + 8 + 0*l**2. Let r be c(6). Suppose 4*q = r*q. Is q not equal to 2/9?
True
Let m(h) = -3*h**3 + 1. Let w be m(-1). Which is bigger: 27/7 or w?
w
Suppose -1 = -2*g - 5. Let p be 84/54 - (0 + 2). Let i = -2/9 + p. Is i > g?
True
Let l(w) = -2*w - 4. Let a be -2 - 4 - (-4)/2. Let o be l(a). Suppose -o*v - v + h = -1, 0 = -2*v - 4*h + 18. Is 2 != v?
True
Let v be (-1)/(-2)*(-20)/(-10) + 3. Is v at most as big as -17?
False
Let m be -9*(15/9 + -2). Let j = m + 1. Suppose -j*u - 3 = 9. Is -2 < u?
False
Let o = 43.8 + -48. Let p = o - -0.2. Let y = p - -2. Which is smaller: y or -1?
y
Suppose 0 = 3*l - 5*d + 13, 3*l - 5*l = 5*d + 17. Let h = l - -7. Is 0 at most h?
True
Let n(w) be the second derivative of -w**4/24 - w**3/3 - w**2 + 4*w. Let i(p) be the first derivative of n(p). Let y be i(-3). Do y and -9 have the same value?
False
Let d be (-12)/(-15)*2515/14. Let f = d + -143. Which is greater: 2 or f?
2
Let t = -6 - -6.4. Which is greater: t or -4?
t
Suppose 9*w - 4*w - 20 = 0, 4*i + 28 = 5*w. Let r be 4/(-6) + i/6. Let d be ((-3)/2)/((-6)/(-8)). Which is smaller: r or d?
d
Suppose 0 = u + 2*u - 6. Suppose 3 = -0*x + 3*x + 2*o, o + 9 = 2*x. Is x < u?
False
Let f be (1/1)/((-22)/154). Is f at most as big as -5?
True
Let u = -9 + 10. Is 1/26 less than u?
True
Let x be ((-1)/2)/(2/(-4)). Let s be 1/((-2)/(3 - x)). Which is smaller: s or -1/20?
s
Let v(g) = -g**2 + 5*g. Let d be v(4). Which is smaller: 17/5 or d?
17/5
Let z(i) = i + 1. Let j be z(6). Suppose -g = 5*k - 6, -3*k - 4*g + j + 0 = 0. Let l be 1/(-2) + (-9)/(-10). Is l at least as big as k?
False
Let t be 22/(-60) - (-10)/60. Let y = 1 + 3. Let b be 2/(-1)*(-2)/y. Which is greater: b or t?
b
Let a = 199 - 150. Which is bigger: a or 4