0. Which is smaller: s or r?
r
Let z be 4/(-6)*45/(-6). Let o be (-1*2)/((-2)/z). Suppose 9*k - o = 4*k. Which is smaller: 0.1 or k?
0.1
Suppose -4*c = 8, -4*f + 3*c = c - 24. Suppose 24 = -2*o + 4*x, x - f*x = -o - 18. Which is greater: -7 or o?
o
Let o = -2135 - -32009/15. Which is smaller: o or -2?
-2
Let a(l) = -2*l + 2. Let w be a(6). Let o = w + 10. Which is greater: o or -1/3?
o
Let n = -34 + 33.9. Are n and 0.01 nonequal?
True
Let p be -3 - (9/3 + -1). Is -2 != p?
True
Let j be (-4 - (-2 - 3))/((-1)/11). Which is bigger: -12 or j?
j
Suppose 2*c - 5*p + 25 = 0, 6*c - c - 4*p = -20. Suppose -w - 7 + 5 = c. Which is bigger: -10/3 or w?
w
Let o = -0.12 - 0.2. Which is smaller: -0.1 or o?
o
Let r = 776/5213 - -2/401. Let x = 15 - 17.5. Let i = x - -0.5. Is r bigger than i?
True
Suppose 69 = 4*o + 17. Let p = -10 + o. Let c(r) = r**3 + 5*r**2 - r - 1. Let k be c(-5). Which is greater: k or p?
k
Suppose o - 4 = -6. Let x be (3 - 0)*(-40)/(-60). Is x <= o?
False
Let m = -59 - -99. Suppose -2*c + 2*l + m = 2*c, 5*l - 50 = -5*c. Let s be (-4)/c + (-7)/(-5). Is -1/4 >= s?
False
Suppose 0 = 2*s - s + 33. Let m be s/(-18) - 3/9. Let c = -2 - -1.9. Do c and m have the same value?
False
Let p(d) = d + 9. Let h be p(-7). Let o be (1 - 42/3) + h. Let g = o + 7. Which is smaller: -5 or g?
-5
Let m = -5 - -7. Suppose 3*u = -s + 11, 5*u - 20 = -0*u. Is s greater than or equal to m?
False
Let t = -8 + 6. Is t bigger than -2?
False
Suppose -39 = 5*u - 5*q + 81, 4*u - 2*q + 92 = 0. Is u at least -20?
False
Let y be 1/2 - (-3438)/4. Let w = y + -14615/17. Let o = w - 59/85. Is 0 <= o?
False
Let p = 0.07 + 0.03. Are 0.01 and p nonequal?
True
Suppose -2*d + 28 = 2*d. Suppose g + d = 2*z, 2*g + 2 = -5*z - 2*g. Let i be ((-3)/(-9))/((-4)/(-9)). Which is bigger: z or i?
z
Suppose 3*r - 4*y - 23 = 4, 2*r - 7 = -y. Suppose h - 2 = 2*k, -2*k = 3*h - 3 - 19. Which is smaller: r or h?
r
Let q(a) = a. Let n(z) = 1. Let k(g) = 6*n(g) - q(g). Let c be k(3). Suppose -2*r + 0*r = -5*t - 1, 0 = -3*t + 3*r - 6. Is c at most as big as t?
False
Let g = 7 + -4.6. Is 0 > g?
False
Let p = 0 - 2. Let z = -10 - -7. Does z = p?
False
Let d(x) = -x + 9. Let o be d(7). Is o at most as big as 1?
False
Let y = -0.3 - -0.5. Let j = -181 + 186. Is y != j?
True
Let u = 36 - 143/4. Let n be -3 - -2*1/1. Which is bigger: n or u?
u
Let f be 8/3*6/4. Suppose 17 = 4*w + 5. Is w not equal to f?
True
Let s = -10 - -4. Suppose 0 = -3*w + 3*r - 33, 4*w - 5*r - 16 = -61. Let g = -15 - w. Which is bigger: s or g?
g
Let n be 1/((-2)/(-2)) - -1. Suppose n*i + 1 = 3*i. Is i smaller than -2/11?
False
Let g = 52192 - 13778813/264. Let f = g + 7/24. Suppose -m = -3*h, 4*h = -3*m - 9 - 4. Is f > h?
True
Let p = -22.6 + 3.6. Is 2 greater than p?
True
Let b = 24 + -22. Let o = 1 - 1.2. Is o equal to b?
False
Let q = 0 - -3. Let p be q/(2 - (-30)/(-4)). Suppose -v = -0 + 1. Which is smaller: p or v?
v
Let l = -52 + 101/2. Which is smaller: 0.3 or l?
l
Suppose -24 = g + 2*g. Let u = g - -15. Let p = 8 - u. Is p greater than -4?
True
Suppose -10 - 5 = -3*r. Let q(n) = r*n**3 - n**3 - 5*n**3 + 3*n - n - 2*n**2 - 1. Let b be q(-3). Which is greater: b or 0?
b
Suppose 0 = 3*l + 4*s - 4, -3*s + 0*s + 3 = 2*l. Let n be (-4 - l)/(8/(-20)). Let v be ((-1)/2)/(5/n). Are v and -2/11 equal?
False
Let y = -1.2 + 1.9. Let j = 0.5 - y. Which is greater: 0.1 or j?
0.1
Suppose 3*q - 5*q = 0. Suppose 4*m + 0*m = q. Which is bigger: 3/4 or m?
3/4
Suppose -13*v + 10 = -11*v. Suppose 3*k + 4*d + 17 = 4*k, k = d + v. Let n(z) = -2*z - 2. Let g be n(-2). Are k and g unequal?
True
Let d(x) be the second derivative of -x**3/6 - x**2/2 + 2*x. Let y be d(-2). Does -2 = y?
False
Suppose 3*r - o - 11 - 9 = 0, -4*o - 16 = -4*r. Let s = r - 7. Are -2/7 and s nonequal?
True
Let s = -5281 - -216533/41. Are -1 and s nonequal?
True
Let g(d) = d**3 - d**2 - d + 2. Let a be g(0). Suppose -39 = -4*u + 5*h, 0*u + 3*u - 3*h - 27 = 0. Suppose -a*n + u = 4. Which is smaller: -1/8 or n?
-1/8
Let n be ((-12)/90)/((-2)/10). Let r = 3 + -2.5. Are n and r unequal?
True
Suppose 0 = -7*y - 10*y + 15*y. Is -11 equal to y?
False
Let o = -0.7 - 4.3. Let l = 2 + -2. Is l <= o?
False
Let m = -0.716 + -0.114. Let r = m - -0.8. Let i = r - 0.27. Which is smaller: i or 2/3?
i
Let n(f) = -f**2 + 2*f + 10. Let j be n(-4). Is j less than -14?
False
Let j = -12 + 10. Which is smaller: j or 0.2?
j
Let w = 20.1 + -20. Which is smaller: w or 45?
w
Let w = 17.1 + -16.1. Is w not equal to 2?
True
Suppose -3*u + 61 = b, -3*u + 5*u - b = 39. Suppose x = 5*x - u. Which is smaller: 6 or x?
x
Let t(q) = -q**2 + 9*q + 6. Let u be t(9). Suppose -b = -u*b. Let i(k) = -k**2 + 6*k - 1. Let x be i(6). Is x >= b?
False
Suppose -8 = -4*w - 8. Is -3/22 at most w?
True
Let t = -5 + 2. Let d = 5 + t. Let l = 3 + -2.9. Which is smaller: d or l?
l
Let k be ((-6)/(-4))/(3/2). Let j = 107 + -110.07. Let w = -0.07 - j. Which is smaller: k or w?
k
Let u = 6 - 2. Let n(z) = z**3 - 3*z**2 - 5*z + 2. Let x be n(u). Let f = 0 - x. Is f equal to 4/5?
False
Let d be (-4)/42*((-36)/(-8) - 3). Is d less than -0.24?
False
Let v be (-5)/(45/(-24))*-3. Let b = 13 + v. Do 6 and b have different values?
True
Let x = 944/9 + -105. Suppose -2 = 2*z - 4. Which is smaller: x or z?
x
Suppose 4*x + 3 - 1 = 2*a, -x = 3*a - 3. Is x at least as big as -10?
True
Let t = -0.84 - -0.04. Let m = 0.3 + t. Let w = m - -0.2. Is w less than or equal to 2?
True
Let c(y) = 3*y**2 - 2*y - 4. Let p be c(-1). Suppose -2*r - 3*r - 26 = -3*h, 12 = -4*h - 5*r. Is h greater than p?
True
Let i be ((-54)/(-45))/(3/10). Suppose -n = i*n. Does -4/13 = n?
False
Let a be -2 - -5 - (-4)/(-2). Let b be (a + (3 - 3))/6. Which is greater: b or 0?
b
Let i(m) = m + 6. Let k be i(-3). Which is greater: 11/3 or k?
11/3
Let d(w) = w - 9. Let y be d(9). Suppose 0 = -y*m + 3*m, -a + m = 12. Which is greater: -13 or a?
a
Let u = -4 - -5. Let g = 26 + -11. Let x be u/g + (-6)/9. Is -0.1 >= x?
True
Suppose 0 = -3*d + 76 - 73. Let g = -2213/95 + 117/5. Is g less than d?
True
Let t = -266367656792/25392255 + -26/5078451. Let h = 10492 + t. Let k = h + -16/7. Which is smaller: 0.1 or k?
k
Let y = -243/5 + 49. Are 1/5 and y non-equal?
True
Let a be 26/(-3)*6/(-4). Is 13 at most as big as a?
True
Let l(y) = -y**3 - y**2 - y + 2. Let b be l(0). Let f = b - -3. Suppose f*c + 4 = -3*d - 1, -3*d = 2*c + 2. Which is smaller: -2/11 or d?
-2/11
Suppose -3*x - 5*n = 7, 5*x - 1 + 6 = -5*n. Which is greater: x or 1/28?
x
Let y be (-3)/(6/(-8)) - 2. Are y and 3 equal?
False
Let y = 371.176 - 364. Let u = y - 0.076. Let t = -7 + u. Is t greater than or equal to -0.2?
True
Let i be 4/(-3) + (-4)/6. Let q(n) be the third derivative of n**4/24 - n**3/6 - 4*n**2. Let a be q(-1). Are a and i nonequal?
False
Let z be 9/(-4) + 1 + 1. Is z at least 5?
False
Suppose 2*c = k + 3*c - 10, 5*k - 41 = 4*c. Does k = -2?
False
Let w = 7.222 - 0.022. Let o = w + -7. Let r = 0.7 - 3.7. Is o less than r?
False
Suppose 0 = -7*g + 30 + 19. Let a be (1 - -7)*3/(-6). Let b be (2 + (-6)/a)*2. Do g and b have different values?
False
Let c = -75 - -85. Which is smaller: 11 or c?
c
Let b be (1 - -2)*(-12)/18. Let g(n) = n**3 + 3*n**2 + 2*n - 2. Let q be g(b). Is q > -0.3?
False
Suppose 4 = 2*z - 2. Suppose 6 = 4*q + 2*d, z*q - q + 4*d = 0. Is 1 less than or equal to q?
True
Let y(b) = -b**3 + 10*b**2 + 13. Let z be y(10). Let g = z + -12. Which is greater: 0 or g?
g
Let p be (-10 - 5)*1/3. Let m(j) = j**2 + 6*j + 4. Let f be m(p). Is f at most 2/5?
True
Let f = 2 - 4. Let i = f - -4. Let h be 5/8*(i - 4). Is -1 bigger than h?
True
Let g = 0.26 + 4.54. Let u = g + 0.2. Let s = u - 7. Which is bigger: s or 1?
1
Let s = 0.1 - 0. Suppose -4*b = 47 - 143. Let d = -71/3 + b. Which is bigger: d or s?
d
Let q = -21.7 + 22. Let b = 31.7 + -34. Let g = b + q. Does g = 1/4?
False
Suppose -2*f - 3 = -6*f - 3*o, 4*o = -12. Suppose a - 4*a = 3*u - 30, -3*a + f*u + 18 = 0. Which is smaller: a or 5?
5
Let n = 0.4 + 1.6. Let l = -2.2 + n. Let w = -118 - -588/5. Is l less than w?
False
Let b be ((-3)/(-6))/(33/44). Which is smaller: 1 or b?
b
Let g = 7 - -1. Suppose 16 - 66 = -5*j. Suppose -j = 4*y + 5*o + 14, -3*o - g = -4*y. Does 1 = y?
False
Suppose -h + 3*w - 8*w = 2, 2*h - 4*w - 10 = 0. Suppose 13 = 4*c + 