s(10). Which is bigger: 1 or r?
1
Suppose 3*t + 2*t = 0. Let c = -29/48 + -1/16. Is t less than c?
False
Suppose -3*l = -3*c + 7*c + 90, 0 = -4*c - 12. Let r be 2/(-5)*10/l. Is 1 greater than r?
True
Suppose -5 = -t - 4. Is 2/61 less than t?
True
Let d = -2 + 4. Suppose -1 = -2*z - 5*a, -4*z + 17 = z - d*a. Let y be (-5)/25 - (-34)/20. Which is greater: y or z?
z
Let b = -44 + 42.6. Which is smaller: b or -4?
-4
Let c be (-1)/2 - 30/(-12). Let p be (-2*(3 - 2))/c. Which is smaller: 1/7 or p?
p
Let d = -754 - -41471/55. Which is bigger: -1 or d?
d
Suppose 4*n - 4 + 0 = 0. Let t = 4 + -4. Suppose -1 = -2*r + 3*g - 0, t = -3*g + 3. Is r at least as big as n?
True
Suppose 3*q - 5 - 37 = 0. Suppose -8 = -5*s + w, 0 = -4*s - 2*w - 2 + q. Let f = 292/429 - 2/143. Is f at least s?
False
Let g(b) = -2*b**3 - 8*b**2 + 19*b + 13. Let c(a) = a**3 + 4*a**2 - 9*a - 6. Let i(p) = -7*c(p) - 3*g(p). Let n be i(-5). Which is bigger: n or -1?
-1
Let j be (9/12)/((-9)/(-56)). Is j equal to 4?
False
Let t = -2 + 8. Let f = -9 + 16. Is f at least as big as t?
True
Suppose 3*y + 0*h + 313 = -h, -5*y + 4*h - 533 = 0. Let v be (-6)/10*(-14)/y. Which is smaller: v or 0?
v
Let v = -5 + 8. Let q = 1069/620 - -4/155. Which is greater: q or v?
v
Let x(k) = -k**3. Let n be x(0). Let f = 9 + -21. Let g be (-2)/6 - f/9. Is n less than g?
True
Let f = 0.6 - 0. Is f != -2/7?
True
Let o be 2*(-1)/(2/(-4)). Suppose -3*i - 2*y + 6 = 0, 2*i - 3*y = 6 - 2. Let c = i - o. Is -2 > c?
False
Let s be (-2)/3 - (-40)/15. Suppose 0 = 2*a - 4*l + 10, 3*a - 4*l = -2*a - 7. Which is smaller: a or s?
a
Let t = -0.78 + 17.18. Let d = t - 20. Let o = 4 + d. Is o bigger than -1/3?
True
Let v be (-2)/((-4)/2) - (-1)/(-1). Is v less than or equal to 0?
True
Let t = 2 - 6. Let p = t - -6. Is p < -1/3?
False
Suppose -3*t - 5 = -3*v + 1, 0 = -5*v - 4*t + 10. Suppose -v = -3*a + 1. Is a equal to 2/43?
False
Let w = 0.13 - 3.23. Let u = 5 + -8. Let m = u - w. Which is bigger: m or 0.2?
0.2
Let f = -1/11 - 28/55. Is f at most as big as -1?
False
Let c be -8*(0 + (-6)/(-152)). Is -1 bigger than c?
False
Suppose -a + 25 = -n + 5*n, 5*n = 3*a + 27. Suppose -2 + n = 4*x. Which is smaller: 4/3 or x?
x
Let u(s) = s + 9. Let k be u(-4). Suppose -19 = -k*i + 11. Let t = 4 - i. Is t != -2?
False
Let u be 4/(-8) - (-1 + -1). Which is smaller: 10 or u?
u
Let s be 2009/(-980) + (3/(-4) - -1). Which is greater: s or -0.5?
-0.5
Let a = -67.4 + 63. Which is greater: -1 or a?
-1
Let w = 1.1 - 1. Let c = 0.06 - 1.06. Let o = c - 0. Is w smaller than o?
False
Let f = -0.2 + 5.2. Which is smaller: -0.1 or f?
-0.1
Suppose 0 = 3*z + i - 5, 7*z - 3*z - 3*i = -2. Let p(s) = -4*s + 2*s + 3*s. Let v be p(z). Which is greater: v or 0?
v
Let v(r) = -r**2 - 6*r. Let g(n) = -2*n**2 - 7*n. Let z(j) = -5*g(j) + 6*v(j). Let y be z(1). Suppose 0 = y*l + l + 8. Is l at least as big as -2?
True
Let v = 5 + -2. Suppose v*t - 10 - 1 = 2*y, 2*t - 8 = y. Let i be y*1/(0 - -2). Is i greater than 1/3?
True
Suppose 0*v + 18 = 3*v - 2*r, 2*r = 0. Let l be (-74)/(-3)*v/8. Let b = l + -19. Is -1 at least as big as b?
False
Let w = 14 - 26. Is -13 > w?
False
Let i = 0 + 0. Let t = 3 - i. Which is smaller: t or 4?
t
Let z = 45 - 19. Are z and 26 equal?
True
Let i be 23/(-28) - (-5)/20. Do -2 and i have different values?
True
Let b = -26 + -8. Is b <= -34?
True
Suppose -4*c + 4 = -4*z, -2 = 2*z - 3*c - 0. Let l = 0 + z. Is l greater than -4/3?
True
Suppose 3*p - 20 = 5*u - 5, -2*u + 3*p = 15. Which is smaller: 2/39 or u?
u
Suppose -9 = -w - 2*w. Let b = -13 - -17. Let s = b - w. Is 2 not equal to s?
True
Suppose -5*s = l - 3, 2*l - 9 = -3*s - l. Is 3/83 at most s?
False
Suppose 5*q - 3 = -8. Which is greater: -1/87 or q?
-1/87
Suppose 3*a - 9 = 2*p - 6*p, 0 = p + 4*a - 12. Suppose -8*j + 3*j = p. Is j greater than 0?
False
Suppose 4*y = -3*q + q + 154, 3*y - 3*q = 93. Let v be 8/y - 1/(-9). Are 1 and v unequal?
True
Let w = -2.8 + -0.2. Let k = -2 - w. Let t(x) = x**3 - 19*x**2 + 19*x - 16. Let r be t(18). Is k less than r?
True
Let m = 12.5 + -13.5. Which is bigger: -30 or m?
m
Let j = 1.5 + -1.8. Which is bigger: -4 or j?
j
Suppose -t - 4*n = -2*t + 8, -60 = -3*t + 3*n. Suppose 3*s + 2*s - t = 2*i, 2*s - 12 = 2*i. Is 4 equal to s?
True
Let z(i) = 2*i - 13. Let k be z(6). Which is greater: k or -3/2?
k
Suppose s - 1 = 4, -5*s = -3*u - 28. Let g be (-34835)/120 + 2/(-6). Let o = -291 - g. Is o < u?
False
Let i(t) = 5*t**3 - 8*t**2 - 11*t + 11. Let r(s) = 2*s**3 - 3*s**2 - 4*s + 4. Let h(p) = 3*i(p) - 8*r(p). Let m be h(0). Which is smaller: 0 or m?
0
Let x(q) = q**2 + 11*q - 11. Let i be x(-12). Let j be (6/12)/(i/(-6)). Is -5 less than j?
True
Let x = -11 + 25. Let z = x - 5. Is z greater than 9?
False
Let l = -0.2 + 0.1. Let o = -11 + 34/3. Are o and l equal?
False
Let t be -6 + 3 + (-2 - 5). Which is bigger: -1/2 or t?
-1/2
Let i be ((-3)/(-6))/((-3)/12). Let h = -1 - i. Is h equal to -3/11?
False
Suppose 16*p = 15*p. Is -3/5 less than p?
True
Let k be (-20)/(-9) - (-4)/(-18). Which is smaller: -7/9 or k?
-7/9
Suppose -y - 2*y = 0. Let v be (y + -5)*4/(-10). Let p be v - (-6)/(6/3). Which is smaller: 6 or p?
p
Let n = 21 - 19. Is 0.1 at least n?
False
Let q = -128/3 - -42. Suppose 2*u + 2 = -0*u. Let c be u + 0 - 2 - -2. Which is greater: q or c?
q
Suppose 2*c - 6 = -0. Let b(k) = -k**2 + 6*k + 9. Let o be b(7). Suppose -4*m = -3*q - m + 15, 0 = o*m + 2. Which is smaller: c or q?
c
Let k = -8 + 12. Suppose -c + 4*d + k = -9, 2*c - 2*d - 8 = 0. Suppose 2*q = -3*o - 5, 0 = -5*q + 3*o + 19. Does c = q?
False
Let j = -25 + 26. Which is smaller: j or 4/5?
4/5
Suppose 7*a - 3*a = 0. Is a at least -3/5?
True
Let v(b) = -b**3 - 5*b**2 - 4*b + 5. Let c be v(-4). Which is bigger: c or 7?
7
Let a be 1/(-5) - (-2)/(-90). Let l(u) = -u - 2. Let v be l(-3). Is a equal to v?
False
Suppose 3*p + p - 16 = 0. Suppose 2*r + y = -2, -2*y - 4 = p*r - 4*y. Which is greater: 1 or r?
1
Let z be (-2)/(2 + -18 + 2). Is 1 greater than or equal to z?
True
Suppose i = -4*s + 33, 6*s = 2*s + 3*i + 13. Which is bigger: 6 or s?
s
Let g = 0.2 - 2.2. Let l = g + 2.1. Let o = 3 + -1. Is o bigger than l?
True
Let l = 1 - -7. Let z be ((-2)/(-20))/(l/140). Is -2/3 greater than or equal to z?
False
Let m = -3852/2009 + 82/49. Is m > -1?
True
Let q be 9/6*(-20)/(-3). Let v be (-6)/(-10) - (-174)/q. Let p be v/8 + (-1)/4. Does 3 = p?
False
Let i = 4 - 5. Let h(l) = l**2 - 1. Let s be h(i). Which is smaller: -2 or s?
-2
Let q = -18.3 + 16. Let j = q + 3.3. Which is smaller: j or -0.3?
-0.3
Suppose 4*a - a = 0. Let d(j) = 2 - j + a + 0 + 0*j. Let k be d(2). Which is smaller: k or -3/4?
-3/4
Let z be 0*((-8)/3 + 3). Which is bigger: z or -1/5?
z
Suppose q - 2*j + 146 = 0, 2*q + 4*j + 191 = -77. Let w = q - -978/7. Which is greater: w or 10?
10
Let u = -0.38 + -3.62. Which is bigger: 1 or u?
1
Let h(u) = 2*u**2 - 23*u - 7. Let l be h(11). Which is smaller: -17 or l?
l
Let o be (4/6)/(1/12). Suppose 0 = -4*k + 3*k + o. Which is greater: k or 7?
k
Let a(l) = l. Let m be (2 - (0 - 0))/2. Let j be a(m). Let u = j + 0. Is u smaller than 1?
False
Suppose -2*m + 0*m + 4 = 0. Let d be (-46)/(-14) - m/7. Is 3 <= d?
True
Suppose 0*b + 21 = -3*b. Is -7 at most as big as b?
True
Let u = -65/3477 - 1/61. Is u < 0?
True
Suppose -4*s - 38 = -6. Which is greater: 2 or s?
2
Suppose 5*u = -4*o + 6*u + 20, -4*u + 46 = 5*o. Suppose -4*n = 4, o*h + 2*n - 23 = h. Suppose -2*f + 0*f = d - 12, h*d = 3*f - 5. Which is smaller: 3/5 or d?
3/5
Suppose 8*r - 4*j = 3*r + 25, -5*j = 3*r - 15. Which is bigger: r or 32/7?
r
Let p(q) = -2*q - 31. Let i be p(-19). Is i at most as big as 4?
False
Let m = 249732366/2806043 + -16098/181. Let u = m - 2/419. Which is smaller: u or 1?
u
Let j = -19 - -9. Are -1/4 and j unequal?
True
Let t(k) = -k - 18. Let v be t(0). Let z be 4/v + 50/(-18). Which is bigger: -1 or z?
-1
Suppose x + 3*g - 13 = 0, -4*x + 18 = -3*x + 4*g. Let z be x/8*(-36)/(-15). Which is bigger: -2 or z?
z
Suppose 4*r - 5 = 11. Suppose -4*w - 1 = 5*v - 4*v, -4 = r*v + 3*w. Which is bigger: 0 or v?
0
Let c = 25 - 21. Which is smaller: c or 3?
3
Let f = -3/4 + 33/20. Is f at most as big as 2?
True
Let h = 0.14 + 0.06. Which is smaller: h or 0?
0
Let a be (-194)/(-12) + 2/(-12). Are 16 and a non-equal?
False
Let r