-1355/8 + 169. Which is smaller: f or -1?
-1
Let b be (-1)/(2 + -3)*1. Suppose x + x - 8 = 0. Let t = x - b. Which is smaller: t or 2?
2
Let d be (-2)/5*(-15 - -7). Let b = 59/20 - d. Which is smaller: b or -2?
-2
Let d(h) = h**2 + 3*h - 4. Let n be d(5). Let x be n/10 - (-21)/(-35). Let g be (-4)/2 - -4 - x. Are -2/17 and g unequal?
True
Suppose 4*m - 3*y - 17 = 0, 4 - 15 = -2*m - y. Suppose -m*t = -3*t - 14. Which is bigger: t or 8?
8
Suppose 1 = 3*t - 2*t. Let b = -85261/4 + 21214. Let j = b - -102. Which is smaller: j or t?
j
Let n = 5 - 1. Let l be (-3)/(-4)*n*1. Suppose -i = 5*s - 18, 4*i - 1 = 3*s + 2. Is s equal to l?
True
Let n(t) be the first derivative of t**4/4 - 2*t**3/3 - t**2/2 - 4*t + 4. Let v(r) = 2*r - 7. Let x be v(5). Let u be n(x). Is u at most 1?
False
Let s(v) = -v**3 - 5*v**2 + 2*v + 7. Let d be s(-5). Suppose 2*u = -q + u, 0 = -4*q - 3*u. Suppose q = 2*m + m + 6. Which is bigger: d or m?
m
Suppose 0 = -5*q + 20, 3*q + 3 - 30 = -5*y. Suppose 0 = -2*m + 5*m + h, -h - 2 = m. Let c be 1 + m + (0 - 0). Which is smaller: c or y?
c
Let x be (-12)/(-30) + (-2 - (-66)/35). Is x greater than 5?
False
Let p = -0.08 + -0.12. Let z = -12.05 - -14. Let j = -0.05 - z. Which is bigger: j or p?
p
Let h(v) = -v**3 - 3*v**2 + 3*v - 4. Let p be h(-4). Is 5 > p?
True
Let z be 1 + (1 - 0) + 3. Suppose 0 = -5*j + 5*x + 25, 0*x = j - z*x - 9. Suppose -3*k - 27 = 5*d, d = -j*d - 4*k - 31. Which is smaller: -1 or d?
d
Let r = -17 + 17.68. Which is greater: 0 or r?
r
Let h = 13 + -15. Let u = 0 - 3. Let o be u/((5 + h)/(-3)). Is o less than 0?
False
Let h = -1 + 0. Let s(x) = x**3 - 11*x**2 + 9*x + 8. Let t be ((-15)/(-2))/(6/8). Let d be s(t). Is h at least d?
True
Suppose 0 = -10*o + 8*o + 6. Suppose o*a - 1 - 2 = 0. Is a >= 1?
True
Let b = -9.6 + -2.4. Which is bigger: 0 or b?
0
Suppose -a - 4 = u + 2, -4*a = -20. Is u at least -11?
True
Let w be (-2)/(-3)*3/5. Let u be (-20)/(-4) - (2 - 6). Let y = u - 10. Which is bigger: w or y?
w
Let l = -6 - -8. Suppose -7*y = -l*y. Which is bigger: y or 1?
1
Let p be (-9)/(-6)*(-2)/(-3). Suppose 4*u + 25 = -5*k, -3*u = -5*k + p - 61. Let m be 2*(-1)/k*-3. Which is greater: m or -2/7?
-2/7
Let u = -12 + 5. Which is smaller: -1 or u?
u
Let d = -4 + -2. Let g = -7 - d. Suppose 3*h - 5 = -2*h. Is g at most as big as h?
True
Let t = -56 - -170/3. Which is greater: -12 or t?
t
Let r be 2/24*8/3. Let u(p) = 2*p**2 - 23*p - 12. Let k be u(12). Is r >= k?
True
Suppose -7*x - 16 + 30 = 0. Does 2 = x?
True
Let s be -3 + (9 + 1)/2. Let v be (8/s - 3) + 0. Is 2/23 smaller than v?
True
Let l be ((-48)/6)/(-1 + -1). Suppose -j - 2*y = -5, l*y - 3*y - 13 = 3*j. Is j greater than or equal to -1/3?
False
Let s(x) = x - 5. Let r be s(6). Are -3/8 and r equal?
False
Let g = -0.1 - 0.1. Let c = 12 + -12.7. Let l = 0.8 + c. Which is bigger: l or g?
l
Let a = 23 + -14. Suppose -2*t - a = t. Let h be t*2/(-3) + -2. Which is bigger: h or -2/15?
h
Let k = -3 + 8. Suppose d - k*w = -14, -2*d - d - 4*w = -15. Is d at least as big as 3?
False
Suppose -2 = -u, 5*b - 2*u + 5 = -4. Let d be 4/(-10)*(-2 + 7). Let a = d + b. Is -2 not equal to a?
True
Let l be -9 + 4/(12/(-9)). Let h be ((-6)/4)/(l/(-16)). Is -3 at most h?
True
Let m be (-43)/(-9) + (-6)/(-27). Let r be ((-4)/30)/((-6)/m). Which is smaller: r or 0?
0
Let u(l) = 2*l**2 - 27*l + 12. Let m be u(13). Which is bigger: 2 or m?
2
Let n = 24 - 26. Which is smaller: n or 1/20?
n
Suppose 0 = 4*f - 3*j + 2*j, -2*f - 4*j - 18 = 0. Let b be (-2)/(((-3)/f)/108). Let g be (-2)/(-6) - (-42)/b. Which is greater: 0 or g?
0
Suppose 2*b - 3*g + 7 = 3, 2*b + 4*g = 10. Let r = 0 + 1. Let n = r - 0. Is n <= b?
True
Let j = -1.6 + 2. Let u = 0.6 + j. Let v = 12 + -12. Which is greater: u or v?
u
Suppose -3*j = -3*m + 3, -j - 8*m = -13*m + 1. Which is bigger: j or -15/7?
j
Let c = -13 - -11. Let k be 0 - (-4)/(-8)*c. Is -1/4 bigger than k?
False
Let r be (-4)/(-2)*(1 + 1). Let s be ((-40)/30)/((-8)/18). Is r greater than or equal to s?
True
Suppose -5*b - 131 = -3*i, 2*b - 4*i = -i - 47. Let q = 57/2 + b. Let m be 1/2 + (-2)/4. Is m less than or equal to q?
True
Let u(o) = -4*o - 13. Let i be u(-3). Suppose -p - 2*x - 6 = -0*x, -5*p - 3*x = 16. Which is bigger: p or i?
i
Let s = 2.97 + -3. Let v = s + 0.03. Which is greater: 0.2 or v?
0.2
Suppose -2*b + 2 + 5 = -3*q, -q = b - 6. Suppose 0 = 2*c - c + q. Are c and -1 non-equal?
False
Suppose -3*x - x + 12 = 0. Let w = x + -6. Suppose 2 = f + 4. Which is bigger: w or f?
f
Let z = 15 - 18. Suppose -3*b + b + 20 = -2*u, -b = 0. Let k = u + 6. Do k and z have different values?
True
Suppose -4*r + 24 = 3*x - 2, 4*r = -2*x + 24. Let y be 2/(-4)*(-4 + x). Do -4/9 and y have different values?
True
Let b(c) = c**2 + 6*c - 5. Let u be b(-7). Suppose 0*p + u*p - 6 = 0. Is 3 bigger than p?
False
Let b = -7.8 - -7. Let j = b + 1.1. Let m = 0.7 + -0.9. Is m at least as big as j?
False
Let b = 0.2 - 0.1. Let a = -0.06 + -0.1. Let z = a - 0.04. Is z at most as big as b?
True
Let b be ((-4)/(-6))/((-2)/3). Let j = -11 - -8. Let z be 0/((-1 + 4)/j). Is b bigger than z?
False
Let n = 4 - 0. Let i = -6 - -13. Suppose n*v - 21 = i. Is v < 7?
False
Let l be 24/(-12) + (-3269)/(-11). Let s = -133 + -162. Let x = s + l. Is x bigger than -1?
True
Let s = -15 + 12. Let m = s - -4. Let p(j) = -j**3 - 5*j**2 + 7*j + 7. Let g be p(-6). Is m < g?
False
Let p = 1.1 - 0.1. Let t be 96/144*6/10. Is p > t?
True
Let a(n) = -n**2 + 5*n - 1. Let p be a(4). Suppose u - 1 = -d, -4*d + 6 = 5*u + 2. Let j = p + u. Is j greater than 2?
True
Suppose -2*q + 5*q = 6. Suppose -2*z = -0 - q. Is z at least 2?
False
Let y = 16 + -12. Suppose 0*g + g + 12 = -3*d, d + y = 5*g. Which is bigger: -2 or g?
g
Let g be 3/(-1) + 3 + 0. Is g >= 2/9?
False
Let o(z) = -z + 4. Let d be o(0). Suppose 1 = 5*i - d. Suppose i - 11 = -2*c. Is c > 4?
True
Let f = -0.54 + -1.46. Let z = 6 - 9. Let a = z - f. Which is bigger: a or -5?
a
Let d be ((-10)/25)/(1/(-5)). Let a(t) = t**2 + 2. Let x be a(0). Does d = x?
True
Let z = -0.9 - -0.5. Let d = z + 1.4. Let i = d + -3. Which is bigger: -2/7 or i?
-2/7
Let y be (0 + 2)*2/(-4). Let v be (y/2)/(5/(-20)). Which is smaller: 3 or v?
v
Let c be (-16)/40 + (-2)/(-30). Which is smaller: c or 0?
c
Let m(k) be the first derivative of -k**3/3 + 7*k**2/2 + 3. Let o be m(7). Is o less than 0?
False
Let f = 0.7 + -0.2. Let x = -0.5 - f. Let l = 1 + x. Is 1 greater than l?
True
Let r = 23/51 + -2/17. Let a = -872/15 - -58. Let x = r + a. Is x equal to 0.1?
False
Suppose -34 = 4*f - c, 3*f - 2*c + 21 + 7 = 0. Let g = f + 2. Let u = -22 + 16. Is g at most as big as u?
True
Let s = -21 - -19. Let l = 2.5 + 0.5. Let x = l - 2. Which is greater: x or s?
x
Let c be -3*2/(-1 - -3). Let r be (1 + 2)*(-14)/21. Is c less than or equal to r?
True
Let n be ((-3)/(-1))/(5/(-25)). Let g be 5/(n/6) + 3. Let p be g - 1 - (-1 - 1). Is 1 greater than p?
False
Let y be ((-20)/(-6))/((-14)/42). Is y less than -10?
False
Let k = 3 - 6. Let u be (-1 - (0 - -1))*3. Let n = u + 3. Is n > k?
False
Let n be (27/(-6))/(-3)*-4. Let x = 0 - n. Let a be ((-18)/(-24))/(x/(-4)). Is a at most as big as 2?
True
Let u(f) = -f. Let z = -2 + 3. Suppose -i - z = 1. Let o be u(i). Which is bigger: o or 1?
o
Let y(z) be the first derivative of -z**4/4 + 2*z**3/3 - 3*z**2/2 + 3*z + 8. Let b be y(2). Suppose i - n = 0, -3*i + n - 2 = 6. Is i at least b?
False
Let q be (-5 + 50)*(-2)/(-6). Let x be ((-10)/q)/((-3)/9). Which is greater: 7/3 or x?
7/3
Suppose -6 = 12*r - 13*r. Which is smaller: 33/5 or r?
r
Let f be (4/(-6))/((-4)/18). Suppose 0 = -f*x - 9 + 33. Let s be 2/x + 35/20. Is s at most as big as 1?
False
Let x = -1527/95 - -83/5. Is 0 at least x?
False
Suppose -4*k - 7*k = 77. Is 1 > k?
True
Let w(m) = -m + 6. Let p be w(2). Which is bigger: 3 or p?
p
Let u = -13 - -19. Which is smaller: 0 or u?
0
Let t be (-3 + (-2)/(-1))*(1 + 0). Is t bigger than -4/3?
True
Let d = 13 - 20. Let c(p) = -p**3 - 8*p**2 - 7*p - 2. Let m be c(d). Which is smaller: -0.1 or m?
m
Let m be 7 - 4/6*3. Suppose 15 = -m*g + 4*s - 11, -3*g - 18 = -3*s. Is -2 at least g?
True
Let x = -73 + 105. Let d be 1 + (x/(-6))/(-4). Which is greater: d or 3?
3
Suppose -2*z + 12 = -0*z. Suppose -30 = -x - 4*x. Are z and x equal?
True
Let i = 8 - 4