)/(-28) + -4 + 0. Which is smaller: u or 0?
u
Let x(n) = n + 1. Let r be x(-5). Let l = 6 + r. Is 2 < l?
False
Suppose 3*d - 3*n = 0, -2*d + 15 = -3*d + 4*n. Suppose 2*m = -2*k + 4 + 10, 5*k - 3*m - 11 = 0. Suppose -k = -b + d*b. Which is greater: -4 or b?
b
Let k be (-17)/136 - 10/48. Let x = 0.4 + 0.1. Which is greater: x or k?
x
Let i = 2 + -1.91. Let x = i + 0.11. Which is bigger: -6 or x?
x
Let x be -3 + 21 - (-2)/1. Suppose -4*b = 4*v - 0*b + x, 2*b = -10. Let y be (v + 0)/(-3 + 2). Is y != 2/15?
True
Let g = 36 - 36.1. Which is greater: g or -0.3?
g
Suppose -288 = -3*f - 27. Let s be ((-4)/f)/((-10)/15). Is s bigger than 0?
True
Suppose -36 = 3*h - h. Does -19 = h?
False
Let z = -7 - -6.86. Let r = 0.14 + z. Is -2 at most r?
True
Suppose 3*u = -2*p + 21, 0 = -6*p + 2*p + 5*u - 13. Suppose -x - x = p*n + 7, -5*x - 5*n = 10. Do 2/13 and x have the same value?
False
Let p = 903/4 + -1393/4. Let v = 1683/14 + p. Let j = 55/21 + v. Which is greater: 2 or j?
2
Let x be (-2)/(-13) + 89/13. Which is smaller: 8 or x?
x
Suppose -3*p = p - 24. Is p less than 6?
False
Suppose -2*h - 4 = 2*b + b, -2*b = h + 2. Suppose -16 = -4*s - 0*s. Let l = 3 - s. Which is greater: b or l?
b
Let r = -6 - -8. Suppose 2*b - 4*b = -3*i - r, 0 = 2*i - 4. Suppose -3*h = -0*h - c - 7, -20 = -b*h + 4*c. Which is smaller: h or 1/2?
1/2
Let h(f) = -f**3 + 4*f**2 + 6*f - 3. Let w be h(5). Suppose w*j + 0*j = 0. Let b = 55/2 + -28. Are j and b non-equal?
True
Suppose -2*j - 13 + 11 = 0. Which is smaller: -10/13 or j?
j
Let g(u) = 2*u - 10. Let j be g(7). Let k be 2939/(-17) + -4 + j. Let o = 173 + k. Which is smaller: -1 or o?
-1
Let p = -1 - -0.97. Let y = -1.97 + p. Let q = -1 - -1.1. Which is bigger: q or y?
q
Suppose -4*b = -9 - 3. Let c be 1/b + (-2)/2. Are -1/2 and c non-equal?
True
Let u(c) = 4*c + 2. Let f be u(-2). Let z be (3 + (f - -2))/1. Which is smaller: 2/11 or z?
z
Let k = 0.71 - -65.29. Which is bigger: k or -1?
k
Let k = 1.1 + -1. Let h = k - -1.9. Let p = h - 5. Is p not equal to -1?
True
Let w be 10/3*1/(-4). Which is greater: w or -2?
w
Let j = -17 + 17. Which is bigger: -3/22 or j?
j
Let i = -10 + 9. Let u = -2.2 - -1. Let n = u - i. Which is greater: n or -0.1?
-0.1
Let f be 10*(6/(-21) + (-126)/245). Which is bigger: -39/5 or f?
-39/5
Let d = 18.7 + -17. Let w = d + 1.3. Which is greater: w or 0?
w
Let x = 2505/11 - 228. Which is bigger: -1 or x?
x
Suppose -r - 4*r + 50 = 0. Suppose -c + 4*a = 15, -2*c + r = a + a. Is c greater than or equal to -2/7?
True
Let i = 14 - 10. Let c be 1/(1/i + 0). Suppose c*k - 5 - 11 = 0. Is 6 smaller than k?
False
Let n = 35 - 37. Which is greater: 1.9 or n?
1.9
Suppose -4*f - 74 = z, 4*f + 33 = 4*z + 249. Are z and -58 non-equal?
False
Let d be (-10)/((-3)/6*2). Let x be 1/3 + d/15. Does 0 = x?
False
Suppose 58 + 312 = 10*q. Is 37 < q?
False
Let c = -4 - 11. Let v be -1 + (26/c)/(-2). Suppose 0 = -4*m - 3*r - 5, r + 3 = 0. Is v greater than m?
False
Let r be 20/6*54/315. Which is smaller: -0.3 or r?
-0.3
Let f(j) = -j**2 - 4*j + 7. Let r be f(-7). Let b = r + 8. Let c be (-6 - 0)*(-3)/b. Which is greater: c or -1?
-1
Let x be (-36)/5*6/(-12). Is -1 >= x?
False
Let q(z) = -z**2 - 4*z**2 + 8*z - 2*z**2 - z**3 + 0*z**3 + 3. Let c be q(-8). Suppose c*j = h + 8*j + 15, 5*h - 5 = -5*j. Which is smaller: 4 or h?
4
Let b = -31/3 + 152/15. Are b and -10 non-equal?
True
Let u be 60/(-45)*9/(-2). Let b be (9/45)/((-2)/u). Is -2 smaller than b?
True
Let x = -15 + -130. Let z = x + 151.1. Let g = z - 6. Which is smaller: g or -0.5?
-0.5
Let i(q) = -q + 1. Let n be i(-1). Suppose -n = -2*w - 8. Which is greater: -4 or w?
w
Let j = 0 - -0.02. Let u = -2.98 - j. Let y = 664 + -663. Which is smaller: u or y?
u
Let u(d) = -18*d**3 + 2*d - 3. Let y be u(1). Is y at most -21?
False
Suppose -r = -6*r. Suppose 2*x - x = 0. Are r and x nonequal?
False
Let n(b) = b**3 + b**2 - 3*b - 2. Let w be n(-2). Let q be 2 + w - 2/2. Is q <= 2/7?
False
Let h be (-17)/(-1) - (5 + -3). Suppose 0*j + 3*j + h = 0. Let u(m) = m**2 + 6*m + 4. Let g be u(j). Which is greater: 2/15 or g?
2/15
Let x = 0 - -4. Let f be 0 - x/((-16)/3). Which is smaller: f or 2?
f
Let l = 2/21 - -32/105. Is l less than -1/4?
False
Let r = 6.3 + -4.3. Are r and 0 equal?
False
Let u = -2 - -4. Let g = u - 0. Suppose 3*b - 5 = -4*a + g, a - b = 0. Which is smaller: 2/11 or a?
2/11
Suppose -4*c = -c + 6. Let r = 22 + -26. Which is smaller: c or r?
r
Suppose 11*m = -7*m. Which is bigger: 30 or m?
30
Let u = 2 - -1. Suppose -u = h + 2*z, -4*h + z + 12 = -3*z. Which is smaller: h or 2/11?
2/11
Suppose f + 2*w - 3*w = 20, 2*f + 5*w = 47. Which is smaller: 22 or f?
f
Let j be 12/6 - (-1 - -1). Suppose -j*c = 2*c + b + 15, -3*c - 2*b = 15. Let i be (c + 15/9)/6. Which is smaller: i or -1?
-1
Let z(m) be the second derivative of -m**3/6 - 2*m**2 - 6*m. Let k be z(-5). Suppose -2*l + 18 = 2*r, -r + 17 = 2*r + l. Which is smaller: r or k?
k
Let u be ((-18)/(-15))/((-11)/5). Suppose 3*t = -5*y + 5, 4*t - 16 = -y - y. Which is smaller: y or u?
y
Let v(q) = q - 6. Let u(z) = -z + 6. Let l be u(0). Let r be v(l). Which is smaller: r or 2?
r
Let r = -0.1 - -0.3. Let g be 4426/72 - 10/45. Let z = -61 + g. Is r smaller than z?
True
Suppose -2*w + 2*h = -w, -3*h - 5 = -2*w. Let c be 4/w + 14/40. Is c smaller than 0?
False
Let b be (-42)/(-3) - (0 + 0). Which is greater: 0.1 or b?
b
Let w = -0.044 - -0.044. Which is smaller: 0.22 or w?
w
Let w(z) = -z + 3. Let i be w(5). Let k(d) = d + 1. Let v = 1 - 2. Let r be k(v). Is i less than r?
True
Suppose 2*r - 6*r + 84 = 0. Let k be 3/(-2)*7/r. Which is greater: k or 24?
24
Let i(d) = -d**2 + 1. Let s be i(-2). Let n be (0 + -1)/((-3)/s). Which is smaller: 0 or n?
n
Let i = 26.2 + -26. Is -2 at most as big as i?
True
Let r = 3 - 0. Let q be (2 + (-8)/r)*6. Which is smaller: -2 or q?
q
Let y(j) = 0*j**3 + 4*j**3 + 4*j**2 - 3*j**3 + 3*j. Let g be y(-3). Which is smaller: g or 4/3?
g
Let z be (-3)/1 + 104/(-3). Let g = 38 + z. Is g at least -2/7?
True
Let z be ((-6)/555)/(-3*(-16)/(-60)). Is -1 at most as big as z?
True
Let y be -5 - (-1)/(2 - 1). Suppose 5*q - 6 - 19 = 0. Let h = q + y. Is h smaller than -1/5?
False
Let w = 7.02 + -7. Let j = -24.1 + 24. Is w smaller than j?
False
Let q = -14/31 - -260/713. Let l = 51 - 51. Is q greater than or equal to l?
False
Let t = -3.7 - -6.7. Let m = -2 + -1. Is m at most t?
True
Let i = 9 + 3. Suppose 2*b = 4*n - 16, 0 = 4*n - 0*b - 3*b - i. Which is smaller: 4 or n?
4
Suppose 8 = 3*t - 7. Suppose 3*v = 0, -2*v = -3*j + t*j - 8. Suppose 4*i - 4 = -2*u, -u = -j*i + u - 4. Is 1/5 != i?
True
Let v be 6/(-9) - (-1)/(-3). Let o = v + -3. Let x be ((-6)/o)/(-5 - -2). Which is smaller: 0.1 or x?
x
Let w(i) = -i**3 - 13*i**2 + i + 14. Let t be w(-13). Suppose -5*c + 116 = 466. Let u be (-4)/(-14) + 48/c. Is t >= u?
True
Let g = -7.21 + 0.21. Which is smaller: -0.1 or g?
g
Let s(l) = -1 + 1 + l**3 - 1 + 3*l**2 + 3 + 2*l. Let r be s(-2). Which is greater: 4/5 or r?
r
Let w be (-4)/(-880)*78 + (-8)/20. Is w smaller than -1?
False
Suppose -3*l + 5*t - 19 = 0, 7*l + 16 = 3*l + 2*t. Let d be (1 + 5)/(3/4). Let w be ((-12)/d)/(6/2). Which is smaller: w or l?
l
Suppose -2*l + 3*x + 19 = 0, -4*l + l - 9 = 3*x. Let n = -3 + l. Let g(s) = -s**3 - 6*s**2 - 2*s - 10. Let o be g(-6). Is n smaller than o?
True
Let q = -245 - -3183/13. Let u(f) = -f**2 + 7*f - 4. Let w be u(5). Suppose 2*c - w*c = 0. Which is smaller: q or c?
q
Let f = -83 - -93. Is 11 greater than f?
True
Suppose 2*s = -2*y, -4*y - 3*s + 3 - 6 = 0. Which is greater: y or -2/11?
-2/11
Let l be (-2 + 1)/((-14)/4). Let d = 13 + -4. Let y = 8 - d. Which is greater: y or l?
l
Suppose 4*n + 274 = 5*h, 0 = 2*h + n + 2*n - 105. Suppose -q = 2*q - h. Let c be 8/36 - 76/q. Does c = 0?
False
Let m be (3/(-6) - 5/2) + 30. Which is smaller: m or 28?
m
Let v = -19 + 19. Is v <= 3/13?
True
Let y(j) = -j + 12. Let x be y(10). Let h be (11/2 + -3)*x. Is h at least 4?
True
Let p(g) be the third derivative of g**6/120 + g**5/15 - g**4/8 + 2*g**3/3 - 2*g**2. Let x be p(-5). Suppose 4*b + 2 = 2*b. Is x equal to b?
False
Suppose -3*w = -11 + 2. Suppose w*u + 5*t - 25 = 0, -t + 4 + 1 = 5*u. Suppose -4*z + 28 = 5*a, -5*z = -u*z - 3*a - 35. Which is smaller: 6 or z?
6
Let w = 0.58 - 0.08. Do w