 -3 - 5. Let k be (-4)/(-16) - (-2)/v. Let q = -15 + 15. Is q greater than k?
False
Let i = -6.9 - 0.1. Let x = -6 - i. Which is bigger: x or -0.4?
x
Let r be (-1 - -2) + ((-12)/9)/1. Is r equal to 0.11?
False
Suppose s = -2*s - 18. Let v be (-58)/(-18) + s/27. Let m be (-2)/5 + 19/10. Which is greater: m or v?
v
Let c = -13 + 1. Let j be (c/10)/((-519)/(-15)). Let q = j - 256/2595. Which is greater: q or 1?
1
Suppose -2*u - 140 = 3*o, -4*u - 3*o - 266 = -4*o. Which is smaller: u or -68?
-68
Let j(s) = -3*s**2 + s - 2. Let u be j(2). Let h be 12/(-16) - (-3)/u. Which is bigger: 1/3 or h?
1/3
Let u = 0.16 - -0.84. Which is smaller: 0.1 or u?
0.1
Let n(g) = -g**3 - 5*g**2 - 2*g - 4. Let t be n(-5). Let c = t - -5. Let b = 7 - c. Is -3 less than b?
False
Let m = 5 - 4. Let w = m - 3. Is w <= -2?
True
Suppose 3*m + 30 = -0*m. Let n be (-12)/9*(-3)/m. Is n at most -1?
False
Let j(v) = v**3 - 2*v**2 + 6*v - 5. Let u be j(2). Which is bigger: -3 or u?
u
Let z be 20/(-12)*(-1 - -2). Suppose 19 - 4 = -5*d. Is z smaller than d?
False
Let j be (-5 - -13)*2/(-4). Let a be 2/4*(-2)/j. Is -0.5 at least as big as a?
False
Let a = 309/7 + -44. Is a greater than or equal to 0?
True
Suppose 5*u - 13 = 77. Let i = u + 18. Let s be 64/i + (-4)/(-18). Which is greater: s or 0?
s
Suppose 5*r + 13 = -3*h - 1, h + 10 = -3*r. Let n be r/(-6) - (-2)/6. Which is bigger: n or 2?
2
Suppose 0 = 3*f - 0*s + 4*s + 13, -5*s = 4*f + 17. Let o be (164/5)/(f/(-15)). Let i = o + -1150/7. Is 0 equal to i?
False
Suppose 0*f - 3*f = -3. Is 1/7 bigger than f?
False
Suppose 0 = -3*b + 2*b + 5. Is -2/5 != b?
True
Let j be (-1)/(-721)*(-227)/1. Let f be (-60)/45 - (-842)/618. Let h = j + f. Is h smaller than -5?
False
Suppose z - 2*v - 8 = 0, -2*z - 4*v - 16 = -5*z. Suppose z = -3*n + 4*l + 19, n - 3 = -3*l + l. Suppose 0 = 3*w - n*w + 8. Is w < 4?
False
Let n be (-2)/7 - (-15)/(-21). Let u be 388/7 + (0 - -2). Let l = -57 + u. Which is smaller: l or n?
n
Let j be (-8)/6*24/16. Let m = -2 - j. Is m less than or equal to -1?
False
Let s be -2 - (2/2 - -2). Let c be (-27)/60 - 1/s. Which is smaller: c or -1?
-1
Let s = -1241 - -3614/3. Is -35 > s?
True
Let w be 295/440 + 1/4. Let u = -6/11 + w. Which is smaller: -1 or u?
-1
Let s be 1*-1*(-1)/1. Let i = -6 + 8. Is s at most i?
True
Let k(q) = q**3 - 6*q**2 - 6*q - 7. Let j(h) be the second derivative of 2*h**3/3 - h**2/2 - 2*h. Let s be j(2). Let v be k(s). Which is smaller: v or -3/5?
-3/5
Let d = -0.12 + 0.02. Let b = d - 0.1. Let k be 56/90 + (-2)/5. Which is smaller: b or k?
b
Let u = 3 - 3. Suppose u = -z + 3*z - 8. Suppose -q - z*r - 12 + 3 = 0, -4 = 2*r. Is q > -1/3?
False
Suppose 5*r = -2*m - 30, -3*r - 5*m = -7*r - 57. Let t be 6/r + 30/72. Let k = 0 - 0.1. Is t < k?
True
Let d = -4 - -3.99. Let r = d + -0.29. Let m = r + 2.3. Which is smaller: m or -1?
-1
Let n = 2 - 1. Suppose 3*y - 20 = -4*k + 1, 0 = -3*y + 3*k + 21. Let w = y - 7. Is w at least as big as n?
False
Let j = 189 - 1703/9. Let u(g) be the first derivative of g**2/2 - 2*g + 2. Let p be u(3). Which is bigger: p or j?
p
Suppose 2*n + 2*n - 72 = 0. Let t = -13 + n. Let d be ((-2)/4)/(t/(-10)). Which is greater: 2 or d?
2
Let d(p) = -4*p - 17. Let s be d(-4). Which is greater: s or 2/117?
2/117
Let q = -16 + 42. Let t be q/3*54/12. Let d be -3 + 1*t/12. Is d less than or equal to 1?
True
Let d = -5.1 + 5. Is 5 less than d?
False
Let q = 19.61 + -27.6. Let a = -0.01 + q. Let n = -8 - a. Is n less than 1?
True
Let d = -2 - -1.7. Let q = d - -0.4. Let y = -2.1 - -2. Which is smaller: y or q?
y
Let h(d) = 3*d**3 + d - 1. Let v be ((-4)/(-16))/((-2)/(-8)). Let u be h(v). Let f be ((-2)/8)/((-1)/12). Is f greater than u?
False
Suppose 51*j - 54*j - 60 = 0. Which is greater: -21 or j?
j
Let a = 0 - 2. Let y = a + 1. Which is smaller: y or 0.1?
y
Suppose 4*j + 6*n - 3*n - 109 = 0, j - 4*n = 13. Which is bigger: j or 27?
27
Let q = 21 - 295/14. Suppose -6*p = -3*p. Is q bigger than p?
False
Let d be 2/3 - (-4)/3. Let z be d/6 - 69/153. Suppose 4*m - 5*t + 9 = 0, 4*t = -0*t + 4. Are m and z nonequal?
True
Let c = -0.3 + -0.7. Let q = c + 1. Is q != 1?
True
Let i(r) = r**3 + 6*r**2 + 4*r + 2. Let g be i(-4). Suppose 0 = -5*a + 923 + 247. Let u be 4/g + (-88)/a. Which is bigger: u or -1?
u
Let x be ((-198)/176)/((-6)/100). Is x greater than or equal to 18?
True
Let i = 2/39 + -340/5109. Which is smaller: i or -1?
-1
Let u(i) = 0*i - 7 - 2*i + 1. Let h be u(-7). Suppose -h*j = -4*j - 4. Is 0 less than j?
True
Let m = 12 - 22. Let o = -10 - m. Which is smaller: 1 or o?
o
Let r = -24228 - -12937757/534. Let p = r + 71/30438. Let c = 521/684 - p. Which is smaller: c or 1?
c
Suppose -2*g = 2*g + l, -5*l = 2*g. Let m = -9/22 + -21/110. Which is bigger: g or m?
g
Let v = 0.04014 + -5.06614. Let c = v + -0.074. Let f = 5 + c. Is f > -0.3?
True
Let m be (5/15)/((-1)/39). Let x(z) = z**3 + 14*z**2 + 13*z + 5. Let v be x(m). Are 4 and v equal?
False
Let c = -36 - -48. Is 13 less than or equal to c?
False
Let a be (-1 - 2)/((-3)/(-2)). Let v be -4 + a + 2 + -1. Let y = -4 - v. Which is smaller: 3 or y?
y
Let g = -1.3 + 3.3. Is -1 less than g?
True
Let b = 15 - 40. Is -26 equal to b?
False
Let x = 2.2 - 2. Let c = -0.2 + x. Let o = -0.14 - -0.04. Are c and o unequal?
True
Suppose 6*u = -4*s + 2*u + 40, 3*s - 36 = -5*u. Suppose 2*v - 1 = -s. Suppose -2*n = -n + 1. Which is smaller: n or v?
v
Let d(j) = -11*j - 27. Let v(s) = -7*s - 18. Let k(i) = -5*d(i) + 8*v(i). Let h(a) = -a**2 - 5*a - 2. Let f be h(-6). Let z be k(f). Is 1/3 greater than z?
True
Suppose 3*o - 5*l + 50 = -3, 3*o - l = -37. Which is smaller: o or -1?
o
Let o be 6/24 + 15/4. Suppose 3*s = -3, 0*a = a - o*s - 6. Suppose -n + 2*n = a. Is n equal to 1?
False
Suppose 3*m = 3*j + 63, -3*m = -6 - 9. Let w = j - -16. Is 1/14 at least as big as w?
True
Let r = 39 - 39.1. Let c = 0 + 1. Let y = c - 1.3. Which is greater: r or y?
r
Let j = 6.7 - 7. Let o = -14 - -14.5. Let w = j + o. Are -1/4 and w equal?
False
Let m = 7.97 + -8. Let y be -1 + 1 + (-3)/(-12). Which is bigger: y or m?
y
Let o be (3/(-2))/(-1)*-6. Let a be 4/(-14) - (-162)/(-21). Which is smaller: o or a?
o
Let x(f) = f**2 + f - 12. Let i be x(-4). Does i = -1/2?
False
Suppose 5*u - 4*o = 8, -4*u + o = -o - 10. Suppose -3*a = a + u*l, -l = 5*a - 20. Suppose -3*v = -a*v. Do 0 and v have the same value?
True
Let w(r) = -r**2 + r + 1. Let u be w(1). Let i be (44/165)/(2/1). Is i at most as big as u?
True
Let m be 1269/(-54)*1/(-22) + -1. Are m and 0 non-equal?
True
Suppose 46 = -3*p + 19. Which is greater: -8 or p?
-8
Let i(l) = 4*l - 1. Let r be i(-1). Let q be (8 - 5) + (-2 - 5). Which is smaller: q or r?
r
Let l = 0.6 - 0.9. Let f = -1.2 + 2.1. Let d = 1.9 - f. Are l and d nonequal?
True
Let s = 1 + -0.8. Let o = 4.3 - 0.3. Which is smaller: s or o?
s
Let i = -6.3 + 6. Let m be 6 + -4 - (1 + 1). Is m less than i?
False
Let w = -0.59 - -0.49. Which is greater: 37 or w?
37
Let g = 3.2 + 4.8. Is g > 2?
True
Let i be -1 - ((-2)/42*3 - 3). Which is greater: 1 or i?
i
Suppose x - 20 = -5*m, -2*x + 2*m + 12 = -2*m. Which is bigger: x or 2?
x
Let f(x) = -3*x**3 - 10*x**2 - x - 11. Let o(q) = -4*q**3 - 11*q**2 - q - 12. Let m(k) = -3*f(k) + 2*o(k). Let c be m(-8). Which is smaller: 0 or c?
0
Let j = 0.969 - -0.031. Let h be 1/(-1)*(2 + 1). Let t be -3 + 2 - h/5. Which is greater: t or j?
j
Let t = 2 + 3. Is t less than or equal to 4?
False
Let t = -5.3 - 6.6. Let f = -12 - t. Which is greater: -3 or f?
f
Let u = 1 + 1. Let b = -17 + 17. Let j be (b + u/(-4))*0. Which is smaller: 2/5 or j?
j
Let u(b) = -8*b**2 - b. Let a be u(1). Let v(n) = n**3 - n**2 - n - 10. Let r be v(0). Is r >= a?
False
Suppose -14 = -5*l + 1. Suppose 5*x - 4*c - 10 = 32, -2*x - l*c + 3 = 0. Let a be 3/x - 2/(-28). Is a less than 0?
False
Let k = 0.15 + -3.15. Which is bigger: -1/3 or k?
-1/3
Let n(b) = -b - 10. Let m be n(-10). Is m greater than or equal to -10/41?
True
Let d be 3*1/(9/6). Let v(h) = -h**3 + 2*h**2 + 2*h - 1. Let m be v(2). Which is smaller: m or d?
d
Suppose 11 = -2*k + v, 21 = -4*k + v - 0*v. Let u be (2 + k)*2/8. Let b(g) = g**3 + 14*g**2 - g - 14. Let s be b(-14). Is u at most as big as s?
True
Let p = 3 - 9. Let j be (-8)/p*(-15)/10. Is -3 equal to j?
False
Let g = -1/44 - -3/11. 