+ 4.1. Suppose 0 = 4*s + t - 2, 0*s - s = -t + 2. Is s greater than or equal to y?
False
Suppose -8*r + 26 = 42. Let f be 18/(-8) - (0 + -1). Is f greater than or equal to r?
True
Let c be 2 - 6 - (-34)/10. Is c less than -1/4?
True
Suppose 0 = m - i - 5, m - 5*m = 5*i + 16. Which is smaller: -4/9 or m?
-4/9
Let x be ((-3)/4)/(9/(-30)). Let u = 2 - x. Suppose 1 = c + 3. Which is greater: u or c?
u
Suppose -z = 2*z + 3*h + 30, -9 = 3*h. Let s = 7 - 14. Is s > z?
False
Let m be -1*(0 - 1/(-3)). Suppose 4*f = f + 12. Suppose 4*i + f = -4*o - 0*i, -4*o + 4*i = 12. Which is smaller: o or m?
o
Let j = -20.94 - -21. Which is greater: 2/5 or j?
2/5
Suppose 0 = -5*q - 4 - 6. Let n = -32/21 - 1/7. Do q and n have the same value?
False
Let b(o) = o**2 - 4*o + 3. Suppose 3*p + 3 = 4*t + 2*p, -2*p = -5*t. Let r be b(t). Is r > -1?
False
Suppose -3*a - 15 = -4*a + 3*m, 0 = 2*a + 4*m + 20. Which is smaller: a or 6/5?
a
Suppose 5*o - 3*d + 18 = 0, -2 = -d - 6. Let f(g) = g + 6. Let a be f(-3). Let u = o + a. Is u at least as big as -3?
True
Let u = -7 + 13. Suppose 2*s - 216 = 6*s. Let o be s/24*(-16)/6. Is o at most u?
True
Let l be ((-2)/(-30))/1*-2. Let h be (-3)/(-12)*12/3. Is h bigger than l?
True
Let h = 49 + -246/5. Let l be (-6)/6*(-2 - 5). Let i = l + -7. Are h and i unequal?
True
Let v = -887.93 - -423. Let d = v + 463. Let c = 0.07 - d. Which is smaller: 1/2 or c?
1/2
Let l = 2.08 - 2. Let t = -0.08 + l. Which is smaller: -3 or t?
-3
Let w(d) = -2*d - 2*d**2 + 3*d**2 + 0*d**3 - 3 - d + d**3. Let g be w(-2). Let f = 80 + -244/3. Is g less than or equal to f?
False
Suppose -y = -9*y - 224. Are y and -29 equal?
False
Let q(b) = 4*b**2 - 2*b - 1. Let k be q(-1). Suppose -6*p = -k*p + 2. Let c = -1 - -1. Is p at most as big as c?
True
Let v = -0.14 + 0.06. Let i = v - 0.02. Which is greater: -2 or i?
i
Suppose 3*n + 18 = -3*f, -7*f + 20 = -2*f - 5*n. Let g be (4/6)/((-16)/24). Is f at least g?
True
Suppose 3*y - 8 = -y. Suppose 3*n + 6 = y*o, n = 5*o + 5*n + 31. Let u = 3 + o. Do u and -1/4 have different values?
True
Let g = 84/17 + -1294/255. Is g less than 1?
True
Let x = 37 - 258/7. Is x at least as big as -1?
True
Let n be 0 - 0*(-2)/(-8). Which is greater: -6/11 or n?
n
Let f be ((-6)/(-9))/(-28 - 3). Is f at most 0?
True
Let w(j) = j**2 + j**2 - j**3 + j + 2*j**2 + 1 - 6. Let t be w(4). Are t and 2/5 nonequal?
True
Let m = 3.5 - 3.3. Let s be 38/20 + 6/(-15). Which is bigger: s or m?
s
Let j be (2 - 3)*(2 + -3). Let g = -7 - -5. Let u be ((-5)/(-100))/(g/(-8)). Is j at most u?
False
Suppose -2*a - 9 = -5*a, 4*a - 4 = -4*v. Let s be v + (-16)/(-10) + 0. Let c = -0.12 + 0.12. Which is bigger: s or c?
c
Let i(c) = -c**2 + 8*c - 8. Suppose 4*v - 24 - 8 = 0. Let q be i(v). Let a = -11 - -3. Is a bigger than q?
False
Let p = 85 + -3488/41. Let a = -56612 + 11605721/205. Let w = p + a. Which is bigger: w or 1?
w
Let v be (3/(-2))/((-2)/4). Are 6 and v equal?
False
Let q = 4.47 + 0.03. Let p = 0.5 - q. Is 1 < p?
False
Suppose 2*z - 6 = 0, 4*z + 6 = 3*d + 3. Suppose -4 - 11 = d*i. Let s = 53/2 - 29. Is s less than i?
False
Let l = 3 - 5. Let g be -6 - (2/(-2) + -1). Which is bigger: l or g?
l
Let g = -9.5 - -13. Which is bigger: 0 or g?
g
Suppose 4*i = -2*f + 12 - 2, -5*f + 25 = -5*i. Suppose -2*v + 8 = -2*x, -v = -x + 6*x - 4. Suppose i = -x*t + t + 1. Is t < -2?
False
Let l be (-2)/((-45)/(0 + -5)). Let q(i) = -i + 5. Let a be q(4). Let m be 3*(-2)/(-6) - a. Which is bigger: m or l?
m
Let x be (5 + -12 + 6)/(1/(-15)). Which is bigger: x or 14?
x
Let t be (-2)/1 + 48/28. Which is greater: 2 or t?
2
Let y(z) = z**2 + 2*z + 13. Let g be y(0). Is g equal to 35/3?
False
Let d = -15.3 + 15. Is d less than or equal to 7?
True
Suppose -2*f + 54 = -36. Does f = 44?
False
Let o(a) = a**2 + 19*a - 2. Let r be o(-19). Suppose -5*k = -4 - 6. Let t = 2 - k. Which is smaller: r or t?
r
Let i = -17 - -8. Is -8 not equal to i?
True
Let l(v) = -v**3 + 4. Let u be l(0). Suppose -3*d - n - 29 = 0, 0 = 3*d - 0*n + 2*n + 34. Let x be ((-1)/(-13))/(u/d). Which is greater: x or 0?
0
Suppose -4*g - 2*t = -14, -g - 1 + 2 = 3*t. Suppose z = -2*z + 4*a - 12, -3*a + 9 = g*z. Let y be (0/(-1 + z))/(-1). Is y bigger than 1?
False
Let l be 4/(-7)*(-7)/3. Suppose 19 = 5*b + 3*s, -2*b - 3*s + 5 = -4*b. Let y = -2 + b. Is l at most as big as y?
False
Let f = -7 + 17. Is 0 equal to f?
False
Let o be ((-7)/(105/(-18)))/((-64)/(-280)). Is 5 greater than or equal to o?
False
Let v(u) = u + 7. Let b be v(-5). Let a(t) = t + 2. Let c be a(-2). Let m be (c/(1*-2))/(-2). Is b at most m?
False
Let m = -5/13 - -51/65. Do 1 and m have the same value?
False
Let h = 82 - 53. Which is greater: h or 0.2?
h
Let g(i) = 2*i. Let t be g(1). Suppose 4*u + 24 = 2*m, -4*u - 16 = m + t. Do m and 5/4 have different values?
True
Let q = 20 - -10. Is q less than 2/5?
False
Suppose 0 = 9*n - 11*n + 4. Suppose -16 = -5*s + c, -s + 3*c - 8 = -0*s. Suppose -s*v = -9 + 1. Is v < n?
False
Let s be ((-66)/(-16) - 4)*-14. Is -3 bigger than s?
False
Suppose -8 = 2*x + 8. Let n be (-2)/(-4) - 12/x. Which is greater: n or 1?
n
Let b = 20 + -19.6. Which is bigger: 0 or b?
b
Let m = -53 + 53. Is m bigger than -1?
True
Let r = 47398216/1065713 - 24906/1529. Let t = 480/17 - r. Is -1 > t?
False
Suppose 2*o + 22 = 4*q, -3*o = 3*q - 0*o + 6. Which is smaller: 4 or q?
q
Let f(d) = -d**2 + 31*d - 58. Let t be f(30). Are t and -27 unequal?
True
Let f(i) = i**3 + 5*i**2 - 6*i - 2. Let q be f(-6). Let l = -2 - q. Let k be (2 - 1)*l/5. Is k >= -1?
True
Let a(j) = j**2 + 7*j + 7. Let y(k) = -k**3 - 4*k**2 + 7*k + 4. Let w be y(-5). Let h be a(w). Which is bigger: h or 3?
3
Let b = -0.19 + -0.11. Are -2/5 and b unequal?
True
Let s = 0.52 + -0.32. Is s greater than or equal to 14?
False
Suppose 3*c + 8 = 5*c. Let l be c + -3 - 97/95. Let p = -59/95 - l. Is p greater than -1?
True
Suppose 2*h = -6, 0 = -3*s + 4*s + 4*h + 13. Is -3/5 bigger than s?
True
Let p be -1 - -1 - (1 + 0). Let i be (-1 + 1)*-2*(-1)/4. Is i at least p?
True
Let l = -20 + 17. Which is smaller: l or -5/2?
l
Let d = -14 + 15. Which is bigger: d or -1/14?
d
Let a be (-4 - 2) + 0 - 3. Let j be (a/6 - -1)*2. Which is smaller: j or 2/5?
j
Let y be 9/(-837)*(-9)/(-6). Which is smaller: 1 or y?
y
Let r(m) = m**3 + 7*m**2 + m + 9. Let x be r(-7). Suppose -4 = 4*k + x*j, -3*j - 2*j = 0. Let g be (1 + -1)/(3 + k). Is g smaller than -2/19?
False
Let t = 8 - 5. Let d(l) = -3*l - 4*l - t + 2*l + 6*l. Let x be d(4). Which is smaller: x or -0.2?
-0.2
Suppose -14 = g + 5*n, 2*g + 28 = -0*g + 5*n. Let b = g - -14. Is b smaller than 1/2?
True
Let k = 2 + -1.15. Let y = 0.8 - k. Is 1 less than y?
False
Let j be ((-34)/(-15) - 2) + 2/(-5). Which is greater: j or 0?
0
Let w = 0.091 - 0.191. Let z = -2.84 + -0.36. Let n = z + 3. Is w <= n?
False
Let c = 14.9 + -12.9. Is 24 < c?
False
Let h(r) = -r - 1. Let f be h(-1). Suppose 0 = -l + 4*i - 11, 4 = l - f*l + i. Is -1 != l?
True
Suppose 4*z = 2*i + 24, 4*i + 0*z = 2*z - 54. Which is smaller: -7 or i?
i
Let t be 1*(-1)/(-6)*-3. Is 0.4 at least t?
True
Let q = 2 - 0. Is 3 <= q?
False
Let w = -1.6 - -1.53. Let b = -0.17 - w. Which is smaller: b or -3?
-3
Suppose 2*c = q + 8 - 35, 5*q - 175 = 2*c. Is 36 < q?
True
Let g = -86 + 105. Are g and 18 unequal?
True
Let d = -903 - -18959/21. Is d at most as big as -0.1?
True
Suppose 0 = 4*u + 3 + 13. Let t(b) = -b**3 - 6*b**2 + 7*b + 4. Let v be t(-7). Let r = v + u. Is -0.3 bigger than r?
False
Let b = 809 - 809. Let w(g) = -2*g**2 - 3*g - 2. Let i be w(-6). Let h = i - -172/3. Which is smaller: h or b?
b
Let u = 18 - 18.3. Which is smaller: 3 or u?
u
Let i = -2 + 2. Let q = 11 + -10.3. Let k = q + -0.8. Which is greater: k or i?
i
Let m = 6 - 6. Let l be (m + 3/6)/(-2). Which is smaller: l or 0?
l
Let m(z) = z**2 + 7*z - 9. Let l be m(-7). Which is smaller: -8 or l?
l
Suppose -z + 5*z = 12. Suppose 3 + z = -3*o + f, 2*o = -f + 1. Suppose -5*n = 3*k - 2*k + 8, 5*n + 2*k = -6. Does o = n?
False
Let g(s) = -s**3 + 6*s**2 + 7*s - 8. Let f be g(3). Is f < 39?
False
Suppose -4*q + 9 + 3 = 0. Is q smaller than 3?
False
Let t(h) = 7*h - 38. Let p be t(6). Which is greater: p or 30/11?
p
Let s(u) = -2 + 2*u**2 + 4*u**2 + 10*u + 11 - 5*u**2. Let d be s(-9). Is -1 != d?
True
Let o = 14 + -13. Is -4 < o?
Tru