 or c?
-2
Suppose 5*a - 7 = -17. Which is smaller: a or -4/7?
a
Let g = -24295954 + 7896175522/325. Let q = g + -2944/25. Let a = q + 147. Is a <= 1?
True
Let y be 1 - 15/6 - -2. Is y at most as big as -0.09?
False
Suppose 0 = -10*s + 5*s + 20. Let d = s + -11. Is -8 at most as big as d?
True
Let y be (-4)/(-10) + 112/20. Let o be ((-2)/y)/(-4 + 3). Are 3/2 and o unequal?
True
Suppose 4*y = 4, -y - y = -4*r - 10. Let m be 1/(1/6*-10). Which is smaller: r or m?
r
Let r(q) = q**2 + 4*q - 1. Let a be r(-4). Let n be 186/(-45) + 4/1. Which is smaller: a or n?
a
Let d be 4/(-16) + 10/8 + -34. Which is greater: 1/2 or d?
1/2
Let m = 2385/11 - 217. Suppose 0*t + t = 0. Which is greater: t or m?
t
Let u = 34 + -17. Is 16 not equal to u?
True
Let k(f) = f**2 + 3*f - 4. Let x be k(-4). Is 18/13 less than x?
False
Let w(n) = n**3 + 7*n**2 - 9*n. Let o be w(-4). Does 84 = o?
True
Let o be 3*6/(-27)*3/(-11). Which is bigger: o or 2?
2
Let g be (-21)/(-6) + (2 - 6). Is 5 != g?
True
Let y = -0.3 - -0.2. Let s(q) = -q**2 + 9*q - 15. Let n be s(6). Is n < y?
False
Let m(r) = -r**3 - 4*r**2 + 11*r - 7. Let n be m(-6). Let j = -161/4 - -40. Is n >= j?
False
Let t = 0 + -7. Let z = t - -11. Is 4 != z?
False
Let k = -1 + 1. Let m = -15 - -181/12. Which is greater: k or m?
m
Let f(h) = h**2 - 5*h - 8. Let u(m) = 4*m - 1. Let x be u(2). Let l be f(x). Let b(z) = z**2 - 5*z - 5. Let w be b(l). Does w = -1?
False
Let z = -1.85 + 1.55. Let r(y) = -5*y**3 - 2*y**2 + 1. Let f be r(-1). Which is bigger: f or z?
f
Let b be ((-711)/(-8))/(-9)*-2. Which is bigger: b or 20?
20
Let j = 0.3 - 0.2. Let n be 7/(-6)*(-2)/14. Which is smaller: n or j?
j
Let f be (-6)/4*(-4)/6. Suppose -7 + 0 = 7*p. Are f and p nonequal?
True
Let b = 7 + -4. Let p = 47 - 46. Which is greater: p or b?
b
Let d = 0.9 - 0.99. Let l = -1.91 + d. Let y = 0.6 + -2.6. Are y and l nonequal?
False
Let u = -6 - -10. Suppose -35 = -u*d + 33. Are d and 18 unequal?
True
Let b(i) = i - 3. Let n be b(6). Suppose 0 = -5*t - 3*f - n, -5*t - 2*f + 4 = -6*f. Which is bigger: -2/17 or t?
t
Let g = -4.7 - 0.3. Is -1 < g?
False
Let c(l) be the first derivative of l**3/3 - 5*l**2/2 - 7*l - 3. Let o be c(6). Is -5 bigger than o?
False
Let r = -20 - -23. Let c(z) = 8*z - z + 2 + 3*z**2 - 4*z**2. Let p be c(7). Is r not equal to p?
True
Let z be 2/(-5) - 12/(-55). Let k(j) = -j - 3. Let q be k(-3). Which is greater: q or z?
q
Let t be (-1)/1 - (-544)/561. Is t greater than 0?
False
Let p be (-1 - -1)*(-2)/(-4). Let c(t) = t**2 + 5*t + 2. Let a be c(-5). Let g be (0 - 1) + -2 + a. Do p and g have different values?
True
Let v be ((-2)/(-7))/(-2) - 2975/(-17395). Which is smaller: 1 or v?
v
Suppose 4*o - 13 = -1. Let s be (o/4)/(36/(-40)). Do -1 and s have the same value?
False
Let f = 27 - 27. Let g = 0.04 - 2.04. Is g at most as big as f?
True
Suppose 0 = -5*j + 900 - 350. Let x be 2/(-11) - (-350)/j. Do -1 and x have different values?
True
Let x = -47 + 139/3. Suppose 0*n - 2 = 2*n. Which is smaller: n or x?
n
Let i = -1 - -3. Let z(o) = o**3 + 3*o**2 + 8*o - 3. Let k(l) = l**3 + 2*l**2 + 7*l - 3. Let u(g) = 6*k(g) - 5*z(g). Let r be u(i). Is r greater than -4?
True
Let a(l) = -l - 19. Let v be a(-21). Suppose -5*x = -5*c - 10, -c - 8 = x + 4*x. Is v < c?
False
Let c be (-28)/6 + 2/(-6). Let f(p) = p**2 + 4*p - 5. Let h be f(c). Let s = -4 + 3. Which is bigger: h or s?
h
Suppose -2*z = 8, -z + 1 + 8 = o. Are o and -2/3 nonequal?
True
Suppose -3*y = 17*f - 20*f + 21, -5*y = -2*f + 29. Let x be (-1)/4 - (-13)/4. Which is smaller: x or f?
f
Let z = 0 - -1/5. Let o(x) = -x + 7. Let b be o(6). Is b at least as big as z?
True
Suppose 0 = 2*v - 5*n - 98, -54 = -v + 3*n + 2*n. Let y be v/28 + -3 - -1. Is y smaller than -1?
False
Let n(l) = -l + 6. Let u be n(5). Let s be (6153/(-56))/((-1526)/(-8)). Let b = -1/218 - s. Is u greater than or equal to b?
True
Let a be (((-32)/20)/(-4))/(4/260). Which is smaller: 27 or a?
a
Let a(h) = -h**3 - 7*h**2 - 6*h - 2. Let b be a(-4). Let t be 4/16 + b/40. Suppose 0 = -5*r - 3*v + 7, 3*v = -3*r + 11 - 2. Which is smaller: r or t?
r
Suppose -18 = -2*p - 2. Let m(w) = -w**3 + 8*w**2 - 6*w - 2. Let i be m(7). Suppose i + 2 = u. Which is smaller: p or u?
u
Let n = 571/7 - 82. Let d = -2 - -1.8. Is n bigger than d?
False
Let g = -4 - -10. Let z = -4 + g. Let l = -658/5 - -132. Which is smaller: z or l?
l
Let f = -0.07 + -0.53. Let o = f - -0.4. Which is bigger: o or 0.1?
0.1
Let c = 16 - 15. Which is smaller: -0.17 or c?
-0.17
Let v be (-2)/(-20)*(-1 - -9). Let m = 11 - 7. Let a = m - 4. Is v at most a?
False
Let m = 0.6 - 0.63. Let t = -0.72 - -0.75. Let x = t + m. Are 0.2 and x nonequal?
True
Let w(p) = -p**2 - 5*p. Let r be w(-5). Is -1/4 at least r?
False
Let o(r) = r**3 - 3*r**2 + 2*r - 8. Let n(p) = 1. Let b(y) = 4*n(y) + o(y). Let m be b(3). Is 2 greater than or equal to m?
True
Let g be (27/(-60))/(3/(-56)). Let i = 388/45 - g. Which is smaller: i or 3/7?
i
Let r be ((-38)/16 + 2)/((-3)/2). Are -3/10 and r nonequal?
True
Let f be (192/63 - 3)*(-9)/6. Is 0 equal to f?
False
Let d(t) = -t + 3. Let u be (-2)/(-9) - 25/(-9). Let j be d(u). Suppose 20 = -2*y - 4*i, j*i + 15 = y - 3*i. Is y < 1?
True
Let b be (4/17)/((-6)/8973). Suppose 4*i = 975 + 433. Let r = i + b. Which is bigger: 1/2 or r?
1/2
Let a(k) = -k + 2. Suppose 5*b - 5*v = 25, 3*b - 2*v - 16 = -3. Let j = b - 0. Let r be a(j). Is r bigger than 1/5?
False
Suppose -4 = -m - m. Suppose m*q - 24 = -q + 3*s, -4*s = -2*q + 26. Let t = -3 + q. Is 0 <= t?
True
Let t(u) = -u**3 + 17*u**2 - 16*u - 7. Let o be t(16). Is o at most -8?
False
Let h be 15/(-6)*2/20. Which is smaller: h or 1/3?
h
Let v(h) = -13*h - 44. Let m be v(-6). Which is greater: 35 or m?
35
Suppose -2*y - 3*y + 3*n = -12, -4*y - 2*n = 8. Suppose 7 = k + 2*u, -4*k - 5 = -y*u - 3*u. Does k = -3?
False
Let z(c) = -6*c**3 - c + 1. Let h be z(1). Let u be 29/85 + h/15. Do u and -1 have the same value?
False
Let w = 37.9 + -40. Let p = 2 + w. Which is smaller: -1/2 or p?
-1/2
Let l = 0.68 - 0.6. Let w = 0.02 + l. Is w at least as big as -8?
True
Let c be 1/3 + (-2)/(-3). Let k = 822 + -8217/10. Which is smaller: k or c?
k
Let w = -1/57 - -419/57. Which is bigger: w or 7?
w
Suppose -5*p = -5*b + 55, 1 = b - 2*b + 4*p. Do b and 14 have the same value?
False
Let c be (-16)/(-4)*(-1)/(-2). Let p be 2*(c + 15/(-6)). Is -1/3 < p?
False
Suppose x + 17 = -3*q, 4*q = 5*q - 3*x - 1. Let l(a) = a**3 + 7*a**2 + 7*a - 4. Let m be l(-6). Let h be (-4)/m*q/(-11). Which is smaller: h or 1?
h
Let d = -6.97 - -7. Which is bigger: d or 2/11?
2/11
Suppose 0 = -8*v + 11*v - 3. Which is greater: 1/5 or v?
v
Let y(n) = -5*n**3 + n. Let a be y(-1). Suppose a*h + 5 = -h. Is h != -3/7?
True
Let n be 1*(-4)/(-6)*-3. Let t be n + 2/(2/3). Which is bigger: t or -1/9?
t
Let p be 4/((-4)/(1 - 3)). Suppose -2*y + 22 = 4*d, 0*y + 25 = p*y + 5*d. Suppose -5 = y*u - m + 3*m, -4*u + 3*m - 27 = 0. Is u smaller than -5?
False
Let m(y) be the second derivative of -y**4/4 + 5*y**3/6 - 7*y**2/2 + y. Let v(p) = 7*p**2 - 10*p + 15. Let d(c) = -5*m(c) - 2*v(c). Let n be d(4). Is n <= 2?
True
Let r be ((-1)/2)/(2/(-52)). Let f = -15 + r. Which is smaller: f or -5/6?
f
Let p(r) = r - 5. Let i be p(5). Suppose i = q + 2*l - 4, -4*q - 6 = -3*l - 0*l. Is -2/3 less than q?
True
Let y = -27 - -26. Suppose 2*k = 4*k. Is y < k?
True
Let z(b) = -b**3 - 18*b**2 - 16*b + 17. Let g be z(-17). Which is smaller: g or 1/2?
g
Let x be (-4)/6*(-6)/(-4). Which is greater: 2 or x?
2
Let u = 47 + -46. Let m(t) = -t**3 - 5*t**2 - 6*t - 1. Let x be m(-4). Let q(s) = -s**3 + 8*s**2 - 6*s - 6. Let d be q(x). Do u and d have different values?
False
Let a(j) = j**3 - 5*j**2 - 2*j + 6. Let t = 3 - -2. Let f be a(t). Suppose -9*c - 30 + 3 = 0. Which is smaller: f or c?
f
Let c = -0.056 + 0.056. Which is bigger: 1/34 or c?
1/34
Suppose v = 3*v - 10. Let j(d) = -2*d + 6. Let s be j(v). Suppose 3*f - 7*f + 5*g + 13 = 0, 3*g = 3*f - 6. Which is smaller: s or f?
s
Suppose 4 - 10 = 2*v. Let t(q) be the second derivative of q**4/12 + 5*q**3/6 + 2*q**2 - 2*q. Let d be t(v). Which is smaller: -3 or d?
-3
Let u = -0.08 + 0.02. Is u smaller than 0.1?
True
Let h = 143 + -105. Does h = 1?
False
Let f = -0.4 + 0.41. Let b = f + -0.21. Let o = b - -0.2. Is 0.1 > o?