Let i = 0.12 - 0.02. Let q = i + 0.1. Let u = 2.2 - q. Is 2 equal to u?
True
Let d(b) = -3*b + 10. Let w be d(7). Let a(y) = 11*y**3 - 3*y**2 - 3*y - 1. Let n be a(-1). Which is bigger: n or w?
w
Let q be ((-2514)/(-4))/((-135)/(-9)). Let b = 42 - q. Which is bigger: b or 0?
b
Let r = -25.9 + 26. Is r bigger than 18?
False
Let d = -328/3 + 112. Which is smaller: 2 or d?
2
Suppose 0 = 7*o - 3*o + 48. Which is bigger: o or -11?
-11
Let z = -14.1 + 13.99. Which is greater: -4/5 or z?
z
Let j(g) be the first derivative of g**2/2 + 11*g - 1. Let n be j(-9). Suppose -2 = -2*r - 0*r. Is r bigger than n?
False
Let b be -1 - 1 - (-5 + (-96)/(-22)). Which is smaller: b or -2?
-2
Let o = -12.8 + 0.8. Let w = o + 11.96. Is 2/3 >= w?
True
Let w be 18*(1 - 3/6). Let n(a) = -a**3 + 7*a**2 + 10*a - 8. Let o be n(8). Is w smaller than o?
False
Let z(g) = -g + 2. Let b be z(4). Let k(h) = h**2 + 4*h + 3. Let x be k(b). Which is smaller: x or 1/8?
x
Let q be 1/2*(-34)/(-3). Which is greater: q or 5?
q
Let b = 177/4 - 44. Let g be (-11)/9 + (-2)/(-9). Is g at least as big as b?
False
Let j be 17*(2 - 0 - 1). Let n(l) = l**3 - 15*l**2 + 17*l - 25. Let o be n(14). Are o and j non-equal?
False
Suppose 0 = -3*i + y + 6, -2*i = -y - 2*y - 4. Which is bigger: -23 or i?
i
Suppose 2*x - 2 = 2*s, -1 = 3*s + 2*s - 3*x. Suppose -2*b + b - 3 = -2*q, 3*q = 5*b + s. Let f(d) = -2*d**3 - 1. Let g be f(-1). Does g = q?
False
Let k = -4 - -4.2. Let n = 0.1 - 0.3. Let f = n + 0. Which is bigger: k or f?
k
Suppose -2*p = -4*s + 54, -3*p - 6*s + s = 103. Is p less than or equal to -31?
True
Let c(k) = k**3 + 3*k**2 - 4*k - 2. Let x be c(-3). Let v be ((-25)/x)/((-2)/(-4)). Do v and -3/4 have the same value?
False
Let o = 12 - 8. Let j(h) = h**3 - 12*h**2 - 3*h - 2. Let x(n) = n - 1. Let b(k) = -j(k) - 3*x(k). Let r be b(12). Is o less than r?
True
Let j = -3/17 + 4/119. Let m = -1.018 + 0.018. Is j > m?
True
Let a be -4*3/(-4)*1. Let p(d) = -d**3 - 9*d**2 - d - 13. Let q be p(-9). Let i be -6 - q - (-8)/a. Which is bigger: -1 or i?
i
Suppose -5*l = 5*j - 10, -2*l + l + 5*j + 14 = 0. Let a be (3/2)/((-27)/l). Which is bigger: -3 or a?
a
Let m = -0.1 + 0.2. Let x = m - -0.2. Let r = 1.3 - x. Is r != -3/4?
True
Suppose -2*g + 5*z = -15, -10 = g + 5*z + 5. Suppose -p + l = -3, 2*p + 2*l - 3*l = 4. Which is smaller: g or p?
g
Let s = 7712/3 + -2545. Let k = -26 + s. Which is smaller: 0 or k?
k
Let f = 2 + -3. Let n(b) = -2*b + 3. Let i be n(3). Let s be i*(64/(-66) - f). Is s < 1?
True
Suppose -5*c = 4*d - 18, 2*d = c + 4*d - 6. Let a be (2/4)/((-3)/c). Let s(b) = -b + 3. Let n be s(4). Which is greater: n or a?
a
Suppose -j + 3*j - o + 17 = 0, -o = 4*j + 25. Let s be 2/j + 18/14. Is s at most as big as -3?
False
Let m = -1.1 + 1.2. Let d = 19/6 + -77/30. Which is smaller: d or m?
m
Let x = -11.099 - -0.099. Is x at least as big as -2/9?
False
Let j be (1/1)/(5/15). Let b be (-4)/(-2)*(0 + 2). Let p = j - b. Do -2/11 and p have different values?
True
Suppose -1 = -2*v + 3. Suppose 5*u = 3 + 2, 0 = 3*a + 5*u - 74. Suppose 5*y = 11 + 14, -s - 4*y + a = 0. Are v and s equal?
False
Let y = -66 + 66.53. Let w = y - -4.27. Let j = 5 - w. Which is bigger: -2/11 or j?
j
Suppose 0 = 5*g - 6*g - 1. Let a be 15/9 + (-2)/(-2). Let k = -7/3 + a. Which is bigger: g or k?
k
Suppose 0*k - 30 = -5*k. Let n be (-12)/18*k/10. Which is smaller: n or -2?
-2
Suppose 2*s + 23 - 3 = 4*y, -5*y + 25 = s. Let x be ((-46)/6 - -3)*6. Let w be (1/3)/(x/48). Is s < w?
False
Suppose t + t = -6. Is t bigger than 1?
False
Let k = -12.102 - -2.292. Let h = k + -0.19. Let f = -10 - h. Is f greater than or equal to 0.3?
False
Let s = 8 + -7.9. Which is bigger: s or 10?
10
Let i = -17 + 11. Let g = 7 + i. Is 1/10 at least as big as g?
False
Let k = 4 + -2. Suppose -3*u + 2 = -5*f, 0 = 4*f - 4*u + 8. Is k greater than f?
False
Let p be 2*(-1 + 4 - 46). Is p greater than or equal to -85?
False
Suppose 8 = -z + 5*z. Do z and 5/3 have the same value?
False
Let r(c) = -4*c**3 - 2*c**2 + 1. Let b be -1*((-2)/(-1))/2. Let p be r(b). Do p and 2 have the same value?
False
Let m = 6.951 - -0.049. Is m equal to -2?
False
Suppose 192 = 24*a - 20*a. Which is greater: 49 or a?
49
Let s be (1 + 0/1)*-3. Let n be (-15)/(-15) - (2 - -1). Is n != s?
True
Let h be (-2)/6 + (-26)/(-6). Suppose 3*k + 3*s - 33 = 0, 2*s + 12 + 2 = 4*k. Is h at least as big as k?
False
Let s(k) = 4*k + 4. Let g be s(-3). Suppose 2*n - 9 = -23. Which is smaller: n or g?
g
Suppose f - 4*v - 24 + 3 = 0, -5*f - 15 = 4*v. Let o be (4/3)/((-21)/(-9)). Which is smaller: o or f?
o
Let g be 5/(-35)*172 + (-6)/14. Which is smaller: g or -23?
g
Let u be (-6)/2 - 418/(-156). Let r = u - -2/13. Which is bigger: 3 or r?
3
Let a = 6 - 8. Is a != -5/4?
True
Let p be 1/1 + (-3)/(-3). Suppose 0 + p = -2*r. Is r at most -1?
True
Suppose -2*l + 28 = 4*g, -3*g + 21 = 2*l - 5*l. Suppose -a + 13 = g*o - 2*o, 2 = -a. Let k be (o/6)/((-1)/(-2)). Is -1/3 greater than or equal to k?
False
Let a(s) = -12*s**2 + 4*s. Let w(h) = -13*h**2 + 5*h. Let b(g) = 6*a(g) - 5*w(g). Let o be b(-1). Which is bigger: -7 or o?
o
Let u(w) = w**3 - 7*w**2 - 7*w - 11. Let m be u(8). Suppose -j + 4*z = 18, -j + 2*j - 3 = -3*z. Let t be (m/7)/(j/21). Are 2 and t equal?
False
Let a = -1 - 11. Let q = -4.3 - -4.3. Which is smaller: q or a?
a
Let o = -286.7 + 275. Let x = o - -12. Is x at least -5?
True
Let j = 47 - 46. Suppose 0*b = -b + 1. Is b bigger than j?
False
Suppose -3*x = -8*x + 4*i + 16, -2*i = 3*x - 14. Suppose 0 = -x*l + 18 + 18. Which is smaller: 0.1 or l?
0.1
Let i = -20.3 + 0.3. Let f = -19.4 - i. Is f != 0?
True
Let g be (4/6)/((-38)/513). Let r = -2 - g. Which is greater: 5 or r?
r
Let a(b) = b**2 + 7*b + 4. Let p be a(-7). Suppose 5*g - 2*k + 0*k = 8, -3*g + p*k = -16. Is -2/9 > g?
False
Suppose -4*s - 5 = 3. Let a(x) = -x - 8. Let z be a(-6). Is s smaller than z?
False
Let k(y) = y**3 + y - 6. Let f be k(0). Is -6 < f?
False
Let h = 128/35 - 34/7. Is h at least as big as 0?
False
Suppose -5*l + 5 = -10. Let g(z) = 4*z**2. Let k be g(1). Which is greater: l or k?
k
Let n(t) = -t**3 - 5*t**2 - 6*t - 5. Let i be n(-4). Suppose -i*l = 2*l - 10. Suppose 0 = 4*k + q - 8, 0*k - l*k = 3*q - 4. Are k and 3 unequal?
True
Suppose 0 = 5*c + j - 0*j - 125, 2*j = 0. Which is smaller: c or 24?
24
Suppose -3*a = 3, 2*z - 6*a - 17 = -a. Let p = -4 + z. Suppose p*k = 6*k + 4. Is k <= 3/8?
True
Suppose 8 = 5*r - r. Let h be 0/(-2) + r/(-8). Let v be (-4)/(-8) + 1 + -1. Which is greater: v or h?
v
Let f = -10.1 - -10. Let k = 14 - 23. Let a = k + 7. Which is greater: f or a?
f
Suppose 7 = -3*k - 2. Suppose 5*m = m - 16, 0 = -3*z + 5*m + 17. Is z greater than or equal to k?
True
Let h = -25.07 - -24. Let w = 0.13 - h. Let k = 0.2 - w. Is -0.1 > k?
True
Let t = -8 + 4. Let q be (-78)/t + (-4)/(-8). Is 20 at least q?
True
Let i = 0.04 + 0.16. Are i and 5 equal?
False
Let b = 6263/20 - 313. Which is smaller: 0 or b?
0
Let x = 2699/15 + -180. Which is smaller: 0 or x?
x
Let g = 4 + -4. Let b be 3*(g - (-2)/6). Is b < 2/3?
False
Let t(v) = 5*v**2 - 1. Let q be t(-1). Which is bigger: q or 1/2?
q
Let o(u) = -5*u - 1. Let v(n) be the third derivative of -7*n**4/12 - n**3/3 - 3*n**2. Let c(m) = 17*o(m) - 6*v(m). Let x be c(-4). Which is greater: x or -1/2?
-1/2
Suppose 0 = -2*z - 7 - 5. Let o be z/(-24) - 78/(-8). Suppose p + 3*i = o, 3*i + 2 = -p + 3*p. Is p at most as big as 3?
False
Let t = 11 - 7. Let a be ((-2)/t)/((-15)/3). Suppose -4*n + 2*r - 10 = 0, -5*n + 0*r + 1 = 2*r. Which is smaller: a or n?
n
Suppose 0 = -4*c - 5*n + 50, -c + 0*n + 12 = n. Which is smaller: 8 or c?
8
Suppose 5*f - 29 = -4*l, 2*l - 23 - 4 = -5*f. Suppose f = -c - 10. Let i be (3/2)/(c/20). Do -1 and i have the same value?
False
Let s be -1 + (-54)/(-42) - (-205)/(-7). Is -30 <= s?
True
Let w be (-8)/490*(-2)/(-4). Let d be 3546/(-28665) + (-1 - (-33)/39). Let s = d + w. Which is greater: s or -2?
s
Let q = 1 - -2. Let k = 84/13 + -239/39. Is q smaller than k?
False
Let m = 28.1 - 28. Is m at least as big as -2/9?
True
Suppose 4*j - 3 = 5*p + 2, 4 = -4*p + 4*j. Let a be ((-3)/(-36))/(p/(-3)). Is -0.1 greater than a?
False
Let v = -29 - -29. Which is bigger: 6/19 or v?
6/19
Let t(x) = -5*x - 5. Let z be t(-6). Let j(p) = -p + 9. Let u be j(7