b - 12*b = 10. Suppose 2*f = -f + 2*s + 13, s + 3 = -b*f. Are f and u nonequal?
True
Let x = 37 - 32. Which is bigger: 7 or x?
7
Suppose 0 = -5*d + 2 + 8. Let i = 43/4 - 285/28. Is i < d?
True
Let h = -9/2 - -39/10. Is -2 equal to h?
False
Let r(o) = 3*o**2 - o + 1. Let n(b) = -b**2 + 11*b - 9. Let j be n(10). Let z be r(j). Suppose 0 = -6*k + z*k. Which is bigger: k or 0.5?
0.5
Let v be 18/12 - 2/(-4). Let b be 0 + 3/v*2. Is b >= 3?
True
Let m be 6/13*(-2)/6. Let s(q) = q + 1. Let k be s(-2). Is k < m?
True
Let s = 10 + -21. Which is smaller: s or -1/2?
s
Suppose -3*j = 5*d + 37, 8*d - 3*d - 4*j + 9 = 0. Which is smaller: -2 or d?
d
Suppose 4 = -3*z + 5*z. Let w be z + 1 + -1 + -18. Let x be (w/(-6) - 2)/(-2). Is x smaller than -0.1?
True
Let i be (-3)/(-20)*(6/(-1) + 10). Is 2 less than or equal to i?
False
Let d(k) = k**3 - 3*k**2 - 6*k + 4. Let p be d(5). Suppose b = 5*q - 105, b = 4*b + 15. Let h be 4/5*q/p. Which is greater: h or -0.1?
h
Let x be 12/(-4) + 5 + -2. Do x and 3 have different values?
True
Let c = -22 - -25.1. Let h = -3 + c. Let l = h - 0. Is l smaller than -1?
False
Let b = 11 - 7. Let n = b - -1. Let v = n - 6. Which is smaller: v or 1?
v
Let a(k) = -k**3 - 2*k**2 - k - 2. Let j be a(-2). Suppose 0 = -j*c - 2*c + 4. Let w = -5 + 4.8. Which is smaller: w or c?
w
Let m = 53 - 45. Is 12 < m?
False
Let d = -19 - -22. Which is smaller: -2 or d?
-2
Let n be 28/95 - (-4)/(-10). Do 1 and n have the same value?
False
Let n be ((-2)/(-8))/((-2)/(-8)). Let p(w) = 3*w. Let j be p(-5). Let z be (-1)/j - (-6)/(-15). Which is smaller: n or z?
z
Let c(k) = k**3 + 4*k**2 + 3*k. Let a be c(-3). Suppose 3*z - 3*l - 36 = 0, -4*z - 3*l = -8*l - 53. Let t be z/(-3 - (-3 + 1)). Is t at least a?
False
Let l = 16.5 - 15.5. Do l and -3 have the same value?
False
Let r be (-6 - -1)*(10 - 11). Suppose r*z = z + 16. Is z smaller than 3?
False
Let u(g) = -19*g + 14. Let b be u(6). Let h be (-4)/b*(0 - -1). Which is bigger: h or 1?
1
Suppose 2*o = 2*p - 4 + 2, 5*p - 21 = -3*o. Suppose 5*s = o*y - 24, -5 = y - 2. Do s and -5 have the same value?
False
Let c = -45.9 + 46. Is 13/2 bigger than c?
True
Let j = 467/612 + -2/153. Is 0 < j?
True
Let y be (2 + -1)*(-4)/28. Let h = -3 + 10. Let d = h + -6. Is y < d?
True
Let j = 5 + -3. Is j > 0.1?
True
Let a(u) = 2*u**2 - 7. Let h be a(-4). Which is bigger: h or 103/4?
103/4
Let g(f) = -f**2 - 25*f - 14. Let v be g(-11). Let a be (-55)/v + 1/4. Which is smaller: -1 or a?
-1
Suppose 15 = 5*p + 5*a, 0*p + a = p - 11. Suppose 4 = -3*b - s, 5*b + s + p = -s. Suppose -3*i = -f - 5, 4*i + 0*f + 5 = -f. Is b >= i?
False
Let u be (12/(-18))/(2/(-6)). Which is smaller: u or -2/13?
-2/13
Let q(i) = -3*i - 34. Let l be q(-10). Is l equal to -11/3?
False
Let o = -1737/14 - -124. Is -1 equal to o?
False
Let m = 180468/143 + -1262. Is m <= 1?
True
Let h(f) = -f**3 - f**2 + f + 3. Let m be h(-2). Suppose -m*x = 4*a + 35, -x = -0*a - 3*a - 12. Which is bigger: -7/2 or a?
-7/2
Let n be (-1)/2*(-2 + (-520)/25). Which is greater: 12 or n?
12
Suppose -2*h + 3*u = 14, -2 = -h + 3*u - 15. Is h greater than or equal to -4/5?
False
Suppose 0*f - 5*f = -15. Suppose 20 = -f*r + 7*r. Suppose -5*z - 5 = -r*d, -3*d + 3*z = -d - 5. Are d and -2 equal?
True
Suppose -p - 1 = q, p - 3 = -2*q + 4*p. Let l = -4 - 4. Let j(z) = -z - 10. Let g be j(l). Which is greater: q or g?
q
Let v = 45 - 29. Let z = 18 - v. Which is greater: z or 1?
z
Let c = 0.13 + -0.1. Let h = c + -0.03. Let a = 1.2 + -0.2. Which is smaller: a or h?
h
Let s = -16 - -16. Suppose -3*x - 2*l + 4*l - 1 = s, -5*l + 8 = -2*x. Is x <= -1/18?
False
Suppose 0 = 2*f - 2. Is 1/7 at most as big as f?
True
Let y = 0.06 + 1.94. Let p = -0.2 - -1.2. Let b = y - p. Is -0.1 equal to b?
False
Suppose 0*w + 9 = 3*w. Suppose 0 = -3*v + w*b - 3, 4*v + 5*b = 6*v + 2. Let k = -1/30 - 13/60. Is k greater than v?
True
Let q = 4 + 1. Which is bigger: q or 6?
6
Let j be (0 - 6/(-15)) + 1. Which is smaller: 0 or j?
0
Suppose o - 4*l + 7 = 0, 3*l = -0 + 6. Which is smaller: -1/16 or o?
-1/16
Let o = 29/28 + -9/7. Let p = 2 - 2. Let u be (p - 1)*(-2)/(-6). Does u = o?
False
Let i = -14 - -22. Let w = i - 7. Which is bigger: w or 2?
2
Let r = -3 - -6. Let v = -3 + r. Suppose -4*h - h + 3*y + 19 = 0, v = 5*h - 2*y - 16. Is h smaller than 1?
False
Let f be 2 + -1 + (-8)/7. Let z = -45 + 46. Which is smaller: z or f?
f
Let k(s) = -s**2 + 2*s + 3. Let p be k(3). Let w = 3 - 5. Let c = w - -2. Is c at most as big as p?
True
Let k = 140.6 - 141. Is 4 at most k?
False
Let c = -15094717/168 + 726521/8. Let m = 966 - c. Let w = -2/7 - m. Which is smaller: w or -1?
-1
Let s be 2/(-7) + 10/(-14). Suppose 17 = -3*q + 5. Is s >= q?
True
Suppose -3*w + f - 23 = 0, -2*w + 4*f - 37 = -f. Let u = 6 + w. Which is bigger: u or 3/7?
3/7
Let s(q) = -4*q - 4. Let p be s(6). Let m be 49/p*(-2)/14. Do -1/2 and m have the same value?
False
Let y = 10 - 7. Let u = y - 1. Suppose -u*p - 3 = -1. Which is smaller: -2 or p?
-2
Let h be -6*((-6)/(-4) + -2). Let p(t) = -t**2 + 3*t + 4. Let x be p(h). Are x and 3 non-equal?
True
Let q(x) = -x + 1. Let v(m) = -m**2 + 9. Let p(o) = -4*q(o) + v(o). Let g be p(4). Which is smaller: 1 or g?
1
Let s = 138.9 - 139. Let q = 7.09 - 7. Which is smaller: s or q?
s
Suppose 3*w + 4*k + k + 14 = 0, 2*k = 2*w - 12. Let t be w/(-4) - (2 + -3). Are t and -5 unequal?
True
Let g be ((-228)/18)/((-2)/3). Let f = -56/3 + g. Let t = 1 + 1. Is f greater than t?
False
Let i = -4 - -3.9. Let f be 2 - (1 + (-81)/(-525)). Let u = f - 14/25. Which is smaller: i or u?
i
Let u = -47 - -91. Which is bigger: u or 42?
u
Suppose -3*y + 23 = 3*k - 1, 3*y - 6 = 3*k. Is k less than 2?
False
Let k(u) = 4*u**2 - 3 - u**3 - 1 + 0*u**3. Let j be k(4). Let y be j/27*3/(-2). Which is smaller: -2 or y?
-2
Let u = -131/656 + 1/82. Which is smaller: 0 or u?
u
Let x = -11 + 8. Let b = 3 + -3. Let u = x - b. Which is smaller: u or 1/2?
u
Suppose -2*h + 4 = 3*i, -i - 8 = -h - 3*h. Let n be 488/9 + h/(-9). Let m be (-34)/72 + 12/n. Which is smaller: 0 or m?
m
Let l = 143/1926 + -2/107. Is l greater than -1?
True
Suppose 2*b + 4 = -0, 4*y - 172 = -4*b. Let n be 8/3*y/12. Let q be ((-2)/n)/((-2)/10). Which is greater: 2 or q?
2
Let k be 37/(-7) + (-2)/(-7). Let l(v) = v + v**2 + 4 + 4*v**2 + 0*v**2 + v**3. Let u be l(k). Does u = 1/7?
False
Suppose -5 = r - 0. Let j(f) = 2*f - 2 - 7*f**2 + 2 + 4*f**2 + 2. Let o be j(2). Is o greater than r?
False
Suppose 0 = 5*u - 2*u - 5*i + 50, -u + i - 14 = 0. Let f be (-32)/(-57) - u/(-15). Is f > 1?
False
Let y = -1.6 - -1.6. Does y = -1?
False
Let i be (6/9 + -1)*-3. Suppose 3*j = 2*j - 2*b + 4, -i = -3*j + 5*b. Suppose -y + 4 = y. Is j >= y?
True
Suppose 4*l = 74 + 2. Which is greater: l or 2/5?
l
Let k(p) = p**2 + p. Let l(o) = -o**3 - 21*o**2 - 4*o - 17. Let h(g) = -3*k(g) - l(g). Let w be h(-18). Let c be (36/(-10))/(-3) + -1. Which is smaller: c or w?
w
Suppose 3 = -3*s + 9. Suppose -s*a = -4*n + 20, 4*a - 4*n = -24 - 4. Is -4 greater than or equal to a?
True
Let g(c) = -c**2 - 4*c + 2. Let n be g(-5). Let v(o) = -o**3 - 2*o**2 + 4*o + 4. Let p be v(n). Let f = -53/88 + 5/22. Is f less than p?
True
Let l(k) = -k + 8. Suppose -12 = -5*t + 18. Let h be l(t). Suppose 4 = -3*a - h*q + 15, q = 2*a + 2. Is 2 at most a?
False
Suppose 5*z - 48 = 2*w, w - 3*z + 25 - 1 = 0. Is -22 greater than w?
True
Let b(p) = p**2 - p + 4. Let f be b(0). Let j(w) = 2*w - f - 3*w + 0. Let u be j(-4). Is 2/11 bigger than u?
True
Let p be (-53)/(-14) + (-2)/(-4) - 4. Which is smaller: p or -1?
-1
Let k = -227/5 - -1639/35. Are k and 1 unequal?
True
Let i = -2 - 12. Let z = -4 - i. Let a be (2/z)/((-12)/10). Which is smaller: -1 or a?
-1
Let c = 146 + -68. Let l = 704/9 - c. Is l < 1?
True
Suppose 4*r + 4*g = -4, 7*g - 2*g + 23 = 4*r. Let j be -1*3*3/(-6). Which is bigger: r or j?
r
Let f = 215/2 - 118. Which is bigger: -10 or f?
-10
Let v(a) = -a + 18. Let j be v(9). Suppose j = 4*w + 1. Is 2 at least as big as w?
True
Let m = -23557/8 + 2949. Which is greater: m or 3?
m
Suppose 0 = 4*t + 6*t - 250. Is 25 >= t?
True
Let f = -251/9 - 10859/45. Let q = -270 - f. Suppose 0*m + 4*m + 8 = 0. Which is smaller: q or m?
m
Suppose 3*q = -3 - 3, 4*k - 8 = 4*q. Are 5/16 and k non-equal?
True
Let u be 4/(-2*2/4). Let q be u/(