1.6 + f. Is -2/11 greater than w?
False
Let z be (-4)/(-28)*(105/9)/5. Does 1 = z?
False
Let f = -3 + 1. Let k be (-3)/6 - (20/24)/1. Which is smaller: k or f?
f
Suppose -z = 5*n - 10, -3 = 2*n + 2*n + 3*z. Suppose -4*o = -3*k - 11, 4*o - 5*k - 4 = 9. Suppose -o*s - n*s = -5. Is 1 >= s?
True
Let n be (-34)/10 - 2/(-5). Let p = n - -7. Let c be (3 - p)/(1 + 0). Does 0.2 = c?
False
Let y = 31 + -28. Which is smaller: 2 or y?
2
Let y = -7 - -7.9. Let p = y - -0.1. Is -1/2 not equal to p?
True
Let i(h) = h**2 + 4*h - 5. Let a be i(-5). Suppose 208 = -4*k + 4*y, -k = -0*k + 2*y + 58. Let l be ((-3)/(-4))/(k/16). Is a bigger than l?
True
Let t(o) = -o**3 - 5*o**2 + 5*o - 5. Let i be t(-6). Which is bigger: i or 3?
3
Let l be (-2)/(-3)*(-2)/5. Let t be ((-16)/(-15) - 0) + -1. Let k = t - l. Is -2 smaller than k?
True
Suppose -71 = -5*k - a, 5*k - a - 17 = 62. Let r be k/(-9) + 1/(-3). Which is bigger: r or -1?
-1
Let f = -2 - -1. Is -5/9 less than or equal to f?
False
Let p be (-4)/3*(-30)/(-4). Let d be (15 - 12) + 7*-2. Is p at most as big as d?
False
Let l = 6 - 1. Suppose 3*n + 8*n - 55 = 0. Are n and l non-equal?
False
Let c be 1/((-15)/6 + 3). Suppose 3 = 5*t - c. Which is greater: -2 or t?
t
Let a = 3727/2728 - 42/31. Which is smaller: a or 1?
a
Suppose 2*d + 4*j = -46 + 2, 5*d + j = -74. Let i be 4/d - 18/(-14). Suppose 2 = -5*y - 4*f, -5*y + 0*f = -3*f - 19. Are y and i unequal?
True
Let f be (-7)/(-3) - 1/3. Suppose -3*x + 4 = -f*x. Which is smaller: x or 5?
x
Let n(p) = -p**2 - 7*p - 1. Let o be n(-6). Suppose 0 = -2*f - 2 - 2. Let u = 7 + f. Are u and o unequal?
False
Let y = 677/9 + -75. Are 0 and y equal?
False
Let u be ((-3)/(-9))/((-4)/(-237)). Let t = u + -39/2. Is 1 at least t?
True
Suppose -2*s - 3*h - 37 = -4*s, 72 = 4*s - 4*h. Are s and 17 equal?
True
Suppose 23 = -f + 2*k + 3*k, 0 = -2*f + 5*k - 21. Is 3 bigger than f?
True
Let o(c) = 4*c**2 + c. Let g be o(-1). Let m(n) = -n**3 + 2*n**2 + 4*n - 3. Let r be m(g). Let u be 0 + 2 - r/2. Which is bigger: u or 3?
3
Suppose 4*t + 0*v = -v + 2, 5*t - 10 = -5*v. Let n = 1 - t. Let s be 1/(-2)*0/(-5). Is s greater than n?
False
Let r = 13 - 8. Suppose p = j + 8, -2*p + 2*j = -3*p - 4. Which is bigger: r or p?
r
Let t be 2/3*(-24)/(-1712)*2. Are t and 1 equal?
False
Let l(g) = g**3 + 5*g**2 + 3*g + 1. Let k be l(-3). Suppose 0 = -0*h + 5*h + k. Which is greater: h or -3?
h
Let l = 29 + -27. Let p = 1.1 + -0.1. Which is smaller: l or p?
p
Let p be ((-7)/2 - -3)*4. Let t be 6*(p/(-9))/2. Which is bigger: -4/7 or t?
t
Let w = 13 + -23. Is w less than or equal to -12?
False
Let i be 4 - 2 - (-140)/(-71). Which is bigger: 0 or i?
i
Let p = -1 + 3. Let j = -13 - -16. Let q = p - j. Are q and -1/3 unequal?
True
Suppose 16 = 4*a + 4. Suppose -3*w = -0 + a. Which is greater: w or 3?
3
Suppose i + 2 = -3*r, 2*i + 5*r + 0 + 1 = 0. Suppose -i + 1 = 6*l. Let q = 413 - 8675/21. Which is smaller: l or q?
l
Let m be 9/(-6)*(-10)/5. Is 17/5 at most as big as m?
False
Suppose 0*y = -y + 96. Suppose -3*z - z = -y. Suppose 0 = -5*g - 7*q + 3*q + z, 3 = g - q. Does 4 = g?
True
Let y = -0.9 + 6.9. Let a = -0.9 + 1. Which is bigger: a or y?
y
Let j = -0.05 - 0.15. Are j and -2/21 unequal?
True
Let f(u) = u**3 - 8*u**2 - 10*u - 7. Let y be f(9). Let d be (-7)/4 + 4/y. Let x be (d - 3/(-2))*2. Which is smaller: -2 or x?
-2
Let r be (-6)/(-3) - -1 - 3. Let y = 331/77 - 41/11. Is r greater than y?
False
Let y(r) = -r**2 - 5*r + 6. Let m be y(-6). Is m != -3?
True
Suppose -m + 2*s = 7*s - 11, -3*s + 4 = -2*m. Suppose 0 = -4*u + u + 12. Is u > m?
True
Let d = -41 + 24. Let f = d - -14. Is -2 greater than or equal to f?
True
Suppose 1 + 31 = -4*d. Is d <= -8?
True
Suppose -2*z = -5*z + 6. Are -1 and z equal?
False
Let j = -52 - -30. Let t = -24 - j. Which is greater: -18/11 or t?
-18/11
Let a = 16883/3 - 69707/12. Let w = a + 179. Which is smaller: -2 or w?
w
Let n = 5 + -5. Let i = n + -0.5. Which is smaller: i or -1?
-1
Let k = 22 + -23. Which is smaller: k or -66?
-66
Let j(l) = -l**3 + 12*l**2 - 10*l + 3. Let n be j(11). Let s = n - 20. Which is greater: -1 or s?
-1
Let a = -4681/5256 + 1/584. Which is bigger: a or 0?
0
Suppose 0*c - 2*c - 3*w - 13 = 0, 0 = -2*c - 4*w - 18. Let g(o) = -3 - 2 + 1 + 5 - o**3 - o. Let x be g(c). Which is greater: x or -0.3?
-0.3
Let h be 9/(-21) - (-1256)/7. Let l = 1255/7 - h. Which is bigger: l or 5?
5
Let p be 3 + 6/(-15) + -3. Let c = 19 - 13.4. Let s = c - 6. Is p > s?
False
Let r be 6/3 - (-9)/(-5). Let q be (2 - 2) + -5 + -1. Let u be (-3)/2*4/q. Is r greater than u?
False
Let m = 447031/6 + -5767051/78. Let k = 569 - m. Let i = k + -41/39. Which is smaller: i or 0?
i
Suppose -s = 1 - 0. Let b be (6/(-12))/((-1)/2). Let g = b + s. Is g at most as big as 1?
True
Let j = 5 - 4.8. Do j and 2 have the same value?
False
Let b = -4 - -4. Suppose -5*x + d = -5 - b, -2*x + d = -2. Is x < 1?
False
Let y(i) = i**2 + i. Let h be y(2). Let g be 6*10*1/(-4). Let k be h/(-3) - g/6. Which is bigger: k or 1?
1
Let r(v) = v - 1. Let t be r(4). Suppose 0 = -5*l - 3*m - t, m = -4*l - m - 4. Let s be -1 + 1 + l/6. Are s and 0.1 equal?
False
Suppose -2*u - 2*h = -18, -23 = -2*u - 3*h - 5. Let x = u + 0. Let w be 4/(-18) + 2/x. Which is smaller: w or -2?
-2
Let h = -38/235 - -4/141. Let d = -1 - 0. Which is bigger: d or h?
h
Let w be 3/(-2)*20/(-15). Let r be 1 + w/5 - 1. Are 0 and r unequal?
True
Let r = -16 + 15. Which is smaller: r or 1/36?
r
Suppose 10 = -2*u - 0. Let j(x) = -x**2 - 4*x + 2. Let b be j(u). Is b at least as big as -1?
False
Let n = 4.04 - 0.04. Let x = 3.7 - n. Are x and 1/4 unequal?
True
Let h be (0 - 6/9)*-27. Which is smaller: h or 19?
h
Let u = -2 - -3. Let i be -2 - -2 - (u - 0). Which is bigger: i or -4/5?
-4/5
Let m = -1 - 1. Is -3 bigger than m?
False
Let a be 1 + 1 + 8/(-40). Are a and 1 equal?
False
Suppose 4*q + 41 + 31 = 0. Which is greater: -17 or q?
-17
Let n = 795/13 - 61. Which is bigger: 0 or n?
n
Suppose -6 = -5*s + 2*s. Suppose 0 = -2*q + a + 11, -a - 1 = -q - s*a. Suppose -o = q*o. Which is smaller: 1 or o?
o
Let r be (4/(152/(-28) - -4))/4. Is r > -2?
True
Suppose 6*t + 50 = 4*t. Is -24 bigger than t?
True
Let y = -0.09 + -0.21. Are -2/5 and y equal?
False
Let h(p) = -p**2 + 5*p + 6. Let b be h(6). Suppose 0 = 4*k - b*k - 4. Which is greater: k or 2/13?
k
Suppose 2*w + 2*w - 16 = 0. Suppose u = -3*u - w. Are -1 and u nonequal?
False
Suppose -2*w - 6 + 16 = 0. Which is bigger: w or 6?
6
Let g be ((-1)/(-1) - 0)*-1. Let o(s) = -4*s. Let j be o(-2). Suppose -5*m + j = -3*y, -3*m + 2*m + 1 = 0. Is g > y?
False
Let m be 2 + (0 - -3 - -1). Are 6 and m non-equal?
False
Let w be 1 - -2*7/(-2). Let x = 6 + w. Let l = 55/2 - 28. Which is bigger: x or l?
x
Suppose 0 = -2*a + 1 + 13. Is a greater than or equal to 8?
False
Let j = -0.8 - -0.9. Suppose -15 + 0 = 3*y. Let c be ((-3)/9)/(y/(-6)). Which is smaller: c or j?
c
Let a = 575/68 + -352/17. Which is greater: a or -11?
-11
Suppose 0 = -4*m - 3*y + 5, -m + y = 4*m - 11. Let d = -2 - -3. Does m = d?
False
Let c(i) = -2*i**3 - i**2 + i + 1. Let d be c(-1). Let y be 1 + 0/3 + d. Let w be y*(-1)/(1/(-2)). Does 2 = w?
False
Suppose 2*w + 0*f + 5*f = 7, -w - 4 = -5*f. Suppose -3*z = -4*i - z + 6, 3*z = -4*i + w. Let g be ((-1)/4)/(8/12). Is g equal to i?
False
Let a = -47 + 83/2. Which is bigger: a or -6?
a
Let v = 2/2475 - 1088/121275. Which is bigger: 1 or v?
1
Let k = 285.03 + -287. Let q = -0.08 - -0.05. Let d = q + k. Is d equal to 0.1?
False
Let o(t) = 4*t. Let s be o(-2). Let m be s/2*(-8)/32. Is m less than 6/11?
False
Suppose -8 = -2*y - 2*y - 2*u, 3*y - u = 11. Suppose 0 = 4*b + 2*z + 12, -6 = -b + z - y. Is -2/7 at least b?
True
Let j = 2.4 + -1.6. Let n = -1.8 + j. Which is smaller: n or 3?
n
Let d = 16 - 13. Is d at least as big as 6?
False
Suppose 5*n - 17 = 4*i, n + 2 - 9 = 2*i. Let l = -103595/12 + 8609. Let a = l - -101/4. Is a greater than n?
True
Suppose 3*p - 4 = -p. Let i be (-1 + 2 - p) + 1. Let b be (i + -1)/(1 + 0). Is b greater than 0?
False
Let q = 6 + -3. Let k be q/(-5) - 2/5. Let i be ((-1)/(-2)*-2)/2. Which is smaller: i or k?
k
Let a be (4/64 - 0)*2. Which is smaller: 0 or a?
0
Let a(b) be the second derivative of -b**5/20 - 2*b**4/3 + b**3/6 + 9*b**2/2 + b. Let o be a(-8). Which is sma