s?
-1
Let d = 26398/11187 + 4/1017. Which is smaller: d or 3?
d
Let z = -1.002 + 0.002. Which is greater: -2/5 or z?
-2/5
Let x = 2.7 + -3. Let h = 0.2 + x. Suppose u + 5 = -4*n, -2*n - 2*u - 3 = -u. Are n and h non-equal?
True
Let n = -4 + 9. Suppose -3*b - g + 2*g + 10 = 0, -5*g = n. Suppose -4 = -k - 3*q, -4*k = -b*q + 2*q - 3. Which is greater: k or 2?
2
Let f be 12/(-15)*(-190)/4. Let t be (-1126)/30 + (-2)/3. Let l = t + f. Is l at least -1?
True
Let j be (-34)/(-6) - 10/15. Suppose 0 = 2*c - j*c - 5*i - 15, -6 = 2*c + 2*i. Let v be ((-3)/(-6))/(5/(-8)). Which is bigger: c or v?
c
Let i be -3 + -2 + 3 + 1592/792. Does 0 = i?
False
Suppose 0 = -s + 2*s + 3*v + 20, -3*v = 4*s + 44. Which is bigger: s or -6?
-6
Let v = 7 + -9. Suppose 4*o + 0 = -4*p - 4, o = -2*p - 4. Which is smaller: v or p?
p
Suppose 3*t - 5*s - 31 = 0, -2*t - 2*t + 2*s + 18 = 0. Suppose -3*h + t*h + 4 = 0. Let v = 59/2 + -27. Are v and h unequal?
True
Let l = 36/5 + -34/5. Suppose b - 5*b = -8. Which is bigger: l or b?
b
Let i be -1 + (4 - -7)*2. Is i < 21?
False
Let s(j) = j**2 - 2*j - 7. Let x be s(5). Is x greater than 8?
False
Suppose 3*w + 3 = 4*w. Is w smaller than 12/7?
False
Suppose 5*b - b = -180. Let f be 1*6/b*-6. Is 0 greater than f?
False
Let t = 1 - -4. Let k = -4.7 + t. Let c = -0.7 - k. Is 1 > c?
True
Let v(p) = -p**2 - 4*p - 1. Let i be v(-3). Let g be 1*(-1 + i - -1). Let x(u) = 3*u**2 - u. Let n be x(1). Is n greater than or equal to g?
True
Let y be (-564)/14 - (-1)/(35/10). Do y and -40 have the same value?
True
Let r = -6.01 + 0.01. Let v = r + 9. Let b = -2 + v. Which is smaller: -0.1 or b?
-0.1
Let s be (6/(-28))/(114/(-133)). Which is greater: s or 2?
2
Let w be 12/(-78) + 19/39. Let c(s) = s**3 - 5*s**2 - 5*s - 7. Let g be c(6). Is w >= g?
True
Suppose -58 = -3*x - 55. Which is smaller: x or 9/14?
9/14
Let g be 1 - (-3)/(-6)*6. Let i = g - -2. Which is bigger: i or 3/7?
3/7
Let w = 72.75 + -73. Is w less than or equal to -1?
False
Suppose 5*h = h. Let v = h - 1. Let r(j) = 2*j**3 + 7*j**2 - 5*j - 4. Let p be r(-4). Is p at most as big as v?
False
Let i(x) = 2*x**2 + 9*x + 4. Let f be i(-4). Suppose 0 = 2*u - 20 - f. Which is bigger: u or 9?
u
Suppose -5*u + 10 = 4*i, 0*u + 1 = i + 2*u. Suppose 9*p - 3 = 4*p - 3*g, 5*g = 3*p + i. Let n be -8 + 8 - 1/3. Are p and n unequal?
True
Suppose 5 = -2*b - 3. Let t(v) be the first derivative of v**2/2 + 4*v - 1. Let p be t(b). Is p less than or equal to -1/2?
False
Let y = -0.16 - -0.36. Is -7 at least as big as y?
False
Let z = -130 - -90. Is z bigger than 1?
False
Let f = 9/13 - -29/52. Is 1 at most f?
True
Let u(c) = -c**2 + 6*c - 7. Let l(a) = 2*a**2 - 11*a + 13. Let s(x) = 2*l(x) + 5*u(x). Let j be s(5). Is j > 6?
False
Let r be 140/21*(-6)/5. Let q(p) = p + 1. Let k be q(r). Which is greater: -4 or k?
-4
Let f = -4 + 7. Let s be (1 + 0)/(f/(-1)). Which is smaller: 0 or s?
s
Let q = -12.97 + 13. Which is smaller: q or -2?
-2
Suppose -2 = z - 6, -z + 64 = 5*s. Let t be 21/s*46/57. Let c = -30/19 + t. Which is smaller: c or 0?
c
Let z(y) = 3*y + 11. Let q be z(-4). Let j be (-2)/(-1) + (0 - -1). Suppose 0 = -3*i + j*b, -4*i + 2*b + 2 = 4. Are i and q non-equal?
False
Let j be (-1)/((-14)/(-1642) - 0). Let u = j + 117. Suppose -6*y - 2 = -4*y. Does y = u?
False
Let q = 1 + 4. Suppose 3*b + 21 - 6 = 3*p, 0 = -q*p + b + 5. Is p smaller than 2/19?
True
Let w be 4/18 - (-2 - -2). Let y = -0.5 - -1.6. Let i = 1.2 - y. Is w less than i?
False
Let r(x) = 2*x**2 + x - 1. Let o be r(-2). Suppose -f = -o, -3*s - 5*f + 23 = -2*s. Which is greater: s or -1?
-1
Suppose 8*j - 3*j - 15 = 0. Let d = -6 + 8. Suppose 3*a - 5 = -5*m, j*m + 24 = 4*a - d. Is m greater than or equal to -3?
True
Let c(s) = -s**2 - 4*s - 1. Let w be c(-3). Suppose 0 = -0*k + w*k. Suppose -3*z + i + 6 = k, -2*i - 5 = -4*z + 3. Which is smaller: z or 3?
z
Let u = 32.3 + -34. Let n = u - -2. Suppose -9*p = -10*p - 2. Are n and p nonequal?
True
Let b = 3 + -1. Let i = 4 - 3. Which is smaller: i or b?
i
Suppose u + 110 = -4*u - 3*k, -2*u + 5*k = 44. Let y = u + 23. Let m = 89/6 + -25/2. Is y not equal to m?
True
Let q be (-4)/110*((-2)/8 - 1). Let d = 0 + 0. Is q at most as big as d?
False
Let u be 5/(-10)*2*3. Is -3 <= u?
True
Suppose 3*z - 6 = -d - 18, 2*d + 24 = -3*z. Is -12 > d?
False
Let l(p) = -p**2 + 4*p - 3. Let z be l(3). Let j = 3 - 5. Let k = z - j. Is 1 <= k?
True
Let x = -64/3 - -22. Let y(u) = u**3 - 2*u**2 + 4*u - 2. Let g be y(2). Let p be (-4)/g*3/(-2). Are p and x equal?
False
Let p be 2 - 1 - (1 - 5). Suppose -4*b + 6 = 3*u, -3*u + 2*u = p*b - 2. Suppose -5*x = u + 3. Is -1 greater than or equal to x?
True
Let n = -8 + 8. Suppose -5*t - 10 - 5 = 0. Is n at least t?
True
Let z be ((-4)/32*-12)/(1/10). Which is smaller: z or 16?
z
Let c = -3 + 5. Suppose c*m - 9 = 5*m. Is -3 greater than or equal to m?
True
Let l be 8/(-20) - 24/(-10). Suppose -l*o = -4 - 0. Suppose 0 = h - 1 - o. Is 3 equal to h?
True
Let p = -26 + 20. Which is smaller: -4/11 or p?
p
Suppose -b + 7*t = 6*t - 76, t - 404 = -5*b. Is 79 not equal to b?
True
Let b(a) = 2*a**3 + 2*a**2 + a. Suppose 5*d + 4 = d. Let p be b(d). Suppose 2*v = -2*v. Which is smaller: p or v?
p
Let j(c) = -8*c - 1. Let u be j(-2). Which is greater: u or 14?
u
Let f be (-2)/(-2)*-3*(-4)/(-12). Which is smaller: f or 0?
f
Let h be -10 + 8 + ((-14)/8)/(-1). Does h = -1/25?
False
Let u be (-106)/371 - (0 - 1228/(-14)). Which is bigger: -89 or u?
u
Let t be (-84)/7 + 1 + 0. Let s = -16 - t. Which is smaller: -2 or s?
s
Suppose 3*a + 15 + 0 = 0. Let q be -8 - (-4)/(0 + 2). Which is smaller: q or a?
q
Suppose -5*c - 5 = -2*k + 2, -2*c = -5*k + 7. Is k greater than 4?
False
Let w = -7 + -13. Let q be (16/w + 0)*-10. Does q = 8?
True
Suppose -6*w = -4*w + 4, 5*t = 4*w + 3. Let s be (-1)/((-2 + t)/(-6)). Suppose 2*b + 5*x = x + 6, 3*b = 3*x - 18. Do b and s have the same value?
False
Let a = -12/37 - -243/407. Let b(q) = q**3 - 19*q**2 - 1. Let s be b(19). Which is bigger: s or a?
a
Let x be 2/5 - (-187)/(-55). Let r be (x/(3/(-2)))/5. Is -11 <= r?
True
Suppose -6*j + 3*j = 6. Is -4 less than or equal to j?
True
Let c = 241/5 - 48. Which is smaller: c or 4?
c
Let r(f) = f**3 - 3*f**2 + 2*f - 2. Let m be r(2). Let v be (0 - 3) + (-2)/m. Which is bigger: -1 or v?
-1
Let d(l) = l**2 + 9*l + 4. Let y be d(-9). Let v be (0*(-2)/y)/(-2). Which is smaller: 1 or v?
v
Let y be 6/(-21) + 12/(-7). Let p = 17 + -11. Let z be (-1)/1 + p/(-3). Which is greater: y or z?
y
Suppose -6*k + 13*k = 7. Which is bigger: 18/13 or k?
18/13
Suppose -18 - 5 = -3*l + 5*x, -x = 4. Which is smaller: -1/6 or l?
-1/6
Let z = 1 - 1. Let g be (-4)/3*6/(-10). Let q = -7/15 + g. Is q < z?
False
Let b = -0.15 - -0.16. Is 2 at most b?
False
Let q be 132/(((-15)/(-4))/5). Let j be q/(-18) - (-14)/(-63). Which is smaller: -11 or j?
-11
Suppose -1 = m - 3. Let h = 4024/3 + -15571/12. Let g = -44 + h. Is g at least as big as m?
False
Let v be (-100)/21 + 1 - -3. Let n = v + 3/7. Is 1 smaller than n?
False
Let q = 53 - 57. Do q and -16 have the same value?
False
Let s(c) = 3*c. Let j be s(5). Which is greater: 14 or j?
j
Suppose r + 3 - 2 = 0. Is 2 smaller than r?
False
Let b be 28/55 + 6/15. Is b smaller than 1?
True
Suppose -6 = -10*f + 7*f. Suppose 3*p = -0*p - 3*y - 15, -f*y - 10 = -5*p. Is -3/13 smaller than p?
True
Let v = 175 + -281/2. Are 34 and v unequal?
True
Let i = 2942/17 - 173. Which is smaller: i or -1?
-1
Let g = 9 - 5. Suppose g*r = 2*r. Are 1/6 and r non-equal?
True
Suppose -4*v + 3 = -3*v. Suppose 0 = -2*x, -4*x - 6 = -v*c - 3. Is 0 greater than or equal to c?
False
Let h(o) be the third derivative of -o**5/60 + o**4/6 + o**3/6 - 6*o**2. Let u = -1 + 4. Let a be h(u). Is 4 greater than a?
False
Let i be 2/20 - 8/(-20). Which is smaller: i or 0?
0
Let v be (2 + (0 - 147))/2. Let l = v + 74. Let q(y) = 8*y - 87. Let k be q(11). Which is greater: k or l?
l
Suppose 0 = n + 4 - 1. Let s be (n - 11)/1 - 0. Is s < -14?
False
Suppose -f = 4*f + 3*y - 178, 3*f = -3*y + 108. Is f at most as big as 33?
False
Let c(k) = -k**3 + 2*k**2 + k + 7. Let m be c(0). Which is smaller: m or 0?
0
Suppose 3*z + 3*j = 6*j - 9, 4*z = 5*j - 16. Let u be z/(-2) - 6/12. Is -1 > u?
False
Let x be -2 + (-2)/6*0. Let p = 115 - 463/4. Which is greate