+ o - 1. Let u be j(1). Suppose u = -2*v - 11. Which is smaller: -9 or v?
v
Let l = 1 - -3. Suppose 0 = 4*v - 0*v + q + 9, -l*q + 18 = -2*v. Are -3 and v unequal?
False
Let u = -5.22 + 5. Let v = 0.12 + -0.1. Let a = u + v. Is a equal to -0.1?
False
Let c be ((-20)/(-15))/((-1)/6). Let y = 13 + c. Let a(q) = q**2 - 6*q + 6. Let j be a(y). Is 1 <= j?
True
Let m(s) = 3*s + 1. Let b be m(-1). Let p be 2/(b/(-1)) - 10. Which is greater: p or -10?
p
Let l be -3 - ((-666)/203 - (-2)/14). Is 0 less than l?
True
Let x(y) = 19*y + 1. Let k be x(-2). Let i = k + 22. Let w = i + 11. Is w bigger than -2?
False
Let h be (-9)/(-36) - (5 - 2)/12. Which is greater: -4/19 or h?
h
Let y be (-4 - -5)*-1 + -12. Is y less than or equal to -11?
True
Let f be 3*(-1 - 5/(-3)). Are f and 4/7 non-equal?
True
Let k(b) be the first derivative of b**2/2 + 6*b + 3. Let s be k(-7). Which is smaller: s or -1/8?
s
Let r(n) be the first derivative of -n**2/2 - 7*n - 6. Let u be r(-6). Is 8 bigger than u?
True
Let q = -5 - -15. Do q and 10 have the same value?
True
Suppose 9 + 3 = 3*x. Suppose h + 5 = 0, -3*h + 2 = x*r + 9. Let w be -1 + -1 + 4/r. Which is greater: -1/4 or w?
w
Let o = 3 + -3. Which is smaller: o or -2/25?
-2/25
Suppose 3*s + 28 - 31 = 0. Is s at most as big as -76?
False
Let n = 68 - 69. Let i be -1 + 22*(-1)/(-23). Which is smaller: n or i?
n
Let g = 64 - 255/4. Suppose -3*p + 4 = p. Do g and p have different values?
True
Let k be (-3 - -5)/(-2)*7. Let h(n) = n + 7. Let v be h(k). Is v > 19?
False
Let k(w) = -w**2 + 8*w + 10. Let n be k(9). Let u(m) = 34*m**3 + m**2. Let o be u(n). Let h = o - 143/4. Is h less than -1?
False
Suppose 4*j = 5*w - 3*w, 0 = -w - 5*j + 7. Suppose 0 = -5*s - 2*o - 5, 0 = s - 2*o + 3*o - w. Is -4 >= s?
False
Suppose 4*l - 20 = -k + 2*l, -4*l = 0. Suppose -5*w = -2*n - 35, -w + 4*n + k = n. Suppose 2*h + 0*h = 2*d, -2*h - 9 = -w*d. Which is smaller: 1 or d?
1
Let q = 0 - 6. Let m = -6 - q. Is m less than or equal to 0.2?
True
Suppose 3*l + 4*t + 120 = 0, 0 = -l - l - t - 75. Which is greater: -37 or l?
l
Suppose 4*v + 6 = 10. Suppose -2*d - 3*x + 16 = 3, d - 11 = -3*x. Suppose 0 = b - d*b. Is b bigger than v?
False
Suppose -6*y + 9 + 9 = 0. Is 16/5 > y?
True
Let l be (-1 - (-10)/11)*-2. Suppose -31 + 32 = z. Is z greater than l?
True
Let i = 32697/67 + -488. Which is smaller: 1 or i?
i
Suppose -4*n - 9 = 3. Suppose 5 = -4*i - 3. Do n and i have the same value?
False
Let f(d) = -d - 4. Let l be f(-3). Let g = -1/725 - -2911/7975. Which is smaller: g or l?
l
Let n = 6 + -6.6. Let k = n + 0.3. Let c = k - -0.3. Which is greater: 0.2 or c?
0.2
Let g = 12 - 11. Suppose y - 2 - 3 = -2*n, y = -3*n + 6. Is g less than n?
False
Suppose -4*i + 0*i + 48 = 0. Let o be 1/5 - i/(-40). Let s be ((2 - 6)/2)/(-2). Which is smaller: s or o?
o
Let u be (-1)/1*(-12)/48. Let b = 4 + -4.5. Let v = b + 1.5. Is u less than v?
True
Let b = 0.116 + 0.284. Is 15 at most as big as b?
False
Suppose c - 4 = -2*b, 0*b + 2*b + 2 = 2*c. Suppose 3 = c*d + d. Suppose 0 = 2*o - 3*k + d + 9, -2*k = -4. Is o equal to -2?
True
Let t(f) = -5*f + 15. Let a be t(6). Let v = a + 16. Which is smaller: v or -1?
-1
Let l = -2182/13 + 168. Let x be (-1 + 1 + 0)/(-2). Suppose x*a - 1 = a. Which is smaller: l or a?
a
Let u be (2 - 5/3)*-3. Let w = 53 - -69. Let p = w + -1340/11. Is p not equal to u?
True
Suppose 6*p = p. Let y be (p - 2)*1*-1. Suppose 2*w + 11 = 5*h - 10*h, 0 = 4*w + y*h + 14. Which is smaller: w or -1?
w
Let p = 0.5 + -31.5. Let w = 23.4 + p. Let f = w - -7. Is f smaller than -1?
False
Let y be 6925/(-95) + (-2)/19. Is -73 at most y?
True
Let d = 39604/15407 + 2/2201. Which is greater: d or 4?
4
Suppose -5*d + 11*d = -4*d. Is -6/59 at most d?
True
Let y be 4/(-72) - (-2)/(-12). Are y and 1/11 equal?
False
Let x(q) = -q + 4. Let p(a) = -7*a**3 + 2*a - 1. Let n be p(1). Let w be (2 - 4)/(4/n). Let t be x(w). Which is bigger: 1/3 or t?
t
Let g = -47/30 + 9/10. Is 39 less than g?
False
Suppose 4*p + 3 = 15. Let o(i) = -2*i + 4. Let n be o(p). Is 0 at most as big as n?
False
Let w = -31 - -17. Let g be (-10)/(-35) + 32/w. Let n be 2 - -2*2/g. Which is greater: 1 or n?
1
Let j = 541/2 + -242. Let l(r) = 28*r. Let b be l(-1). Let c = j + b. Which is bigger: c or 3?
3
Let s = 0.43 - 0.03. Let b = 0.6 - s. Let i = -0.04 + 0.24. Is b at least i?
True
Let x(z) = z**2 + 11*z + 10. Let f be x(-10). Let v = f + 5. Let s be v/(-20) - 30/(-56). Are s and 0 nonequal?
True
Let p = -1 - 3. Which is smaller: p or 1/3?
p
Let n = -0.03 - 0.37. Is n not equal to 2?
True
Let a = 1 - 8. Let m = -1 - a. Let f be 7/6 + 2/m. Which is greater: f or 2?
2
Suppose u = 3*u. Let k be 3 - (-4)/(-2 - u). Which is greater: k or 0?
k
Let x be -5*1*8/(-8). Suppose -a - 2*a = 3*h - 15, -5*a = -h + x. Which is smaller: a or 21?
a
Let g be (-3)/4 - 4/16. Does g = 0?
False
Suppose 3*t - 10 = -4. Is 4 greater than t?
True
Suppose 6*n + 2*n = -24. Which is smaller: -1 or n?
n
Suppose -x = 4*x - 70. Is x >= 14?
True
Let f(s) = 2*s**2 + 25*s + 12. Let w be f(-12). Which is greater: w or 11?
11
Let k be (-4)/6 - (-2)/(-6). Let c be -1 + k - (-2 - 0). Let a = -7 - -8. Does a = c?
False
Suppose -4*i = -2*b + 60, i + i = 2*b - 54. Is b not equal to 26?
True
Let k = 31/119 - 2/17. Which is greater: -1 or k?
k
Suppose -8 = -2*k - r, 5*k - 4*r = -3 - 3. Let j be 3 - (30/26 + k). Is j greater than or equal to 0?
False
Let i = 9 + -6. Let x be (-7)/13 + (i - 2). Do x and 0 have the same value?
False
Let f = -7/13 - -38/143. Which is smaller: f or 1?
f
Suppose 0 = -4*s - 2*t + 4, 3*s + 0 - 4 = -2*t. Suppose -5*n + 4*n - 1 = s. Is n > -1/6?
False
Let z(l) = 7*l - 3 + 5 + 6 - 2. Let x be z(-4). Let p = -16 - x. Which is bigger: p or -1?
p
Let n = -31 - -29. Do n and -10/9 have the same value?
False
Let a = 13 + -9. Suppose -d + 9*k + 11 = 4*k, 4*d - 2*k = 26. Suppose 0 = a*q + d + 2. Which is smaller: 0 or q?
q
Suppose -4*k = -8, 8*k - 6 = -4*o + 7*k. Which is bigger: o or 2?
2
Let q = 12 - 20. Let v = q + 5. Let t = -3.1 - v. Is t smaller than 0?
True
Suppose t = -i + 1, t = 3*i + 2*i - 5. Is 9/7 smaller than t?
False
Let w = -1069091/12 + 88983. Let d = w - -108. Which is smaller: 1 or d?
d
Let o(q) = -q**2 - 2*q. Let h be (2 - 0)/((-4)/6). Let a be o(h). Which is greater: -4 or a?
a
Let i be 18*(1 + (-2)/3) - 0. Are i and 14 unequal?
True
Let k = -29 - -19. Let f = k + 10. Is 1/7 > f?
True
Let o be 6/3 - 25/15. Let b(y) = y**2 + y. Let t be b(0). Is o > t?
True
Let s = 0.2 + -0.3. Let w = 0.01 - 0.71. Let z = -0.3 + w. Which is bigger: z or s?
s
Let t be ((-12)/15)/(28/(-10)). Is 1/3 less than or equal to t?
False
Let a be 40/12 + (-3)/9. Let s = a - 1. Is 1 != s?
True
Let a = -0.13 - -0.13. Which is bigger: a or 0.03?
0.03
Suppose 1 = w - 2. Suppose -3*v + 3 = 2*z, 4*v - 5 = -v - w*z. Which is bigger: v or 0?
v
Suppose 4*g + 20 = 2*g. Which is greater: -9 or g?
-9
Suppose -3*o + 5*i = 10, 0 = -4*o + o - 2*i - 38. Let t be (84/o)/((-12)/30). Suppose t = 2*j + j. Is 6 != j?
True
Let d(y) = -y - 11. Let z be d(-10). Let w be 1/(z - 5/(-4)). Suppose -2*m + 2 = -m - 5*t, 2*m = -5*t + w. Is 2 at most as big as m?
True
Let c = -0.71 - -0.11. Let z = c + 0.6. Let d = -16/3 + 11/6. Is z > d?
True
Suppose a + 1 = 3. Suppose -5 = -q - a*r, 2*q - 3*q - r = -1. Is -2 bigger than q?
True
Suppose 3*y = -f + 23, 4*y - 9 = 5*f + 9. Let q(g) be the third derivative of -g**4/24 + 7*g**3/6 + 4*g**2. Let d be q(y). Which is greater: 1 or d?
1
Let v be 1/(1 - (2 + -2)). Do 6/5 and v have the same value?
False
Let d = 23 + 22. Let y be 14/(-9) - (-10)/d. Which is smaller: 0 or y?
y
Let x be (1 + -3)*19/38. Is -2/19 equal to x?
False
Let b = 208.91 + -208. Is 1/4 at least b?
False
Let a = 7 - 11. Let k = 18/5 + a. Is 1/7 >= k?
True
Suppose -4*r - 4*i = 0, i - 4 = -5*r - 3*i. Suppose -31 = r*g - m - 4*m, m = 2*g + 11. Is g at least as big as -6?
True
Suppose 12*v + 58 - 10 = 0. Suppose 4*s = s. Let a be s - 2 - (v - 1). Is a != 3/2?
True
Suppose -3*h = -2*z + 5, h = -7*z + 2*z + 21. Suppose -3 = -2*g + z*p - p, 4*g + 3 = -3*p. Is -1/2 at least as big as g?
False
Let n be ((-27)/18)/((-1)/6). Which is greater: 6 or n?
n
Suppose 4*v + 0 = -4. Let f = 1160417/19405 + 2/19405. Let o = f - 60. Which is smaller: o or v?
v
Let s = -29 + 16. Let