uppose -6 = 3*r - 7*r - 3*v, 2*v = 2*r + 4. Let f be 1*(1 + 30/(-27)). Which is bigger: f or r?
r
Let s = -16 + -44. Let i be s/8*(-8)/3. Suppose -14 = -5*m - o, -3*o + i = 2*m + o. Is m greater than or equal to -1?
True
Let t = -10.71 - -11. Is -2/5 bigger than t?
False
Let b(k) = -k**3 - 7*k**2 + 8*k - 1. Let m be b(-8). Let g(f) be the first derivative of -f**2/2 + 13*f - 1. Let d be g(13). Which is bigger: d or m?
d
Suppose 0 = -w - 16 + 95. Is w less than 79?
False
Let l be (78/9)/(2/12). Let u = l + -365/7. Is 0 smaller than u?
False
Let a(r) = -8*r - 3. Let h(k) = -15*k - 5. Let g(v) = -11*a(v) + 6*h(v). Let x be g(-4). Is 11 <= x?
True
Suppose 5 = 2*b - 4*c + 1, 4*c + 6 = 3*b. Suppose -b = -0*z + 2*z. Let q(l) = l**3 - 4*l**2 + 2*l. Let u be q(3). Which is greater: u or z?
z
Let i = -8 - -10. Is -0.16 < i?
True
Let j(p) = -2*p**2 + 13*p - 39. Let g be j(5). Which is greater: 1 or g?
1
Let g be (-12)/(-14)*(-15)/(-18). Which is smaller: g or 0?
0
Let w be 1/4*(-2)/2. Let n = -0.8 + 0.7. Are n and w unequal?
True
Let p = -29 + 59. Which is smaller: p or 31?
p
Let z = 5.4 + -5.09. Which is smaller: -0.3 or z?
-0.3
Let f = -14 + 17. Let w be (-10)/(-15)*f*-1. Suppose -3*n + 5 = -2*o, o - 8 = 2*o + 4*n. Which is bigger: w or o?
w
Let i = 95 + -83. Is i at most 13?
True
Let t = -2 - -4. Suppose 4*l - t = 10. Suppose 0 = -2*c + 5*j + 9, -3*c + 4 = -4*j - 6. Which is smaller: l or c?
c
Let c(i) = i**3 - 6*i**2 + i - 7. Let z be c(6). Suppose 0 = -0*g - g - 1. Let q be (-2 - -1) + g/(-2). Which is smaller: q or z?
z
Suppose 7*u - 2*u = 0. Suppose -4*d = 16, 4*m + 2*d = -d - 8. Is u at most m?
True
Let y(a) = 6*a + 8. Let r(q) = q**3 + 4*q**2 + 3*q + 3. Let v be r(-4). Let h be y(v). Let n be h/56 - 4/(-16). Is n bigger than -1?
True
Let k = 37 + -27. Is k < 11?
True
Let y = 1 + 11. Is y equal to 1?
False
Let s = -7 + 11. Suppose 3*r = s + 8. Which is greater: 6 or r?
6
Let j be ((-10)/5 - (-2 - -2)) + -1. Let n be -4 - ((0 - -2) + -1). Which is smaller: n or j?
n
Suppose -8*q - q = 0. Are -1/4 and q equal?
False
Suppose 0 = 4*z + 3*t + 8, -7*t + 3*t - 16 = 0. Do z and -13 have the same value?
False
Let q be (-2)/9 - (-34)/(-9). Let k = 0 + -6. Let u = k - q. Is u less than -3?
False
Let f(s) = s**2 + 3*s + 1. Let d be f(-2). Suppose -3 = l, 3*b - 4*l = -b + 4. Let y be 15/(-10)*b/(-3). Is d less than y?
False
Let x(r) = r**3 - 2*r + 1. Let k be x(2). Let z(c) = -c**3 + 5*c**2 - c + 3. Let v be z(k). Let u be (-1)/3*8/12. Which is smaller: u or v?
v
Let g = -0.2 + 0.14. Let c = 0.04 - g. Let k = -2 - 2. Does k = c?
False
Suppose 2*g - n - 7 = -0*n, -n = 1. Suppose -9*v = -g*v + 12. Is v less than or equal to -3?
False
Suppose 6 + 0 = 3*o - 3*l, 0 = -4*l - 12. Let s(n) = -3*n**2 - n**3 + 0*n**3 + 5*n + 1 + 2. Let p be s(-4). Is p not equal to o?
False
Let g = -411 - -6163/15. Which is smaller: g or 0.1?
g
Let o = -167 - -5345/32. Which is bigger: -1 or o?
o
Let h = -0.06 + -7.94. Which is bigger: -2/3 or h?
-2/3
Let b(k) = k + 4. Let s be b(-3). Suppose -3*n - 5 = 4. Let j(q) = -q**2 - 3*q. Let d be j(n). Is s != d?
True
Suppose z = -2*z - 3. Let m = 1.35 - 0.15. Let i = m + -1. Which is smaller: z or i?
z
Suppose -2*i + 4*b + 10 = 0, 3 + 7 = 4*i - 3*b. Let o be 1/((-2 + 1)*i). Let u = -11 + 31/3. Do o and u have different values?
True
Let d be 0 - (1 + -2) - -1. Suppose -1 = -0*a + a + b, 5*a = 3*b + 19. Suppose 0 - a = d*i. Is -1/10 at least i?
True
Suppose -8 = -m + 2*m. Let n be 1 - (m + 2)/(-3). Which is greater: n or 0?
0
Suppose 0 = -h + 2*h - 2. Suppose -j = -h*j. Which is bigger: j or -2/13?
j
Let u(c) = -c**2 + 6*c - 3. Let l be u(5). Let h(d) = -d + 3. Let k be h(3). Suppose k = -j, -2*o = 3*j - 0*j - l. Do o and 0 have different values?
True
Let r be ((-1)/4)/(-8 + 9). Is -14 > r?
False
Let u = 1.1 - 1.03. Let a = u - 0.97. Let z = -1 - a. Which is greater: z or 0.1?
0.1
Let n be (2/(-24))/(4/6). Suppose -t + 4*r + 16 = 0, -2*t = -r - 4 - 0. Is n less than t?
True
Suppose 0 = 5*f + 5*o - 6*o - 15, 5*f + 2*o = 30. Let c be (f - 4)*(-3 + 2). Let a = c - 6. Which is bigger: -7 or a?
a
Let j be 5/20 - 3/204. Is j greater than 1?
False
Let m be (-3)/(-9) - 1/3. Let f be 2 + ((-110)/12)/5. Are m and f nonequal?
True
Let m be 0/(-1 + -2 + 2). Let p(g) = -g + 3. Let v be p(0). Suppose -4*o - 10 = -2*r, r - 10 = v*o - 3*r. Is m bigger than o?
True
Suppose -2*j + 85 = -37. Is j less than 60?
False
Let j = -0.09 - 3.91. Let x = -4.2 - j. Let d be (4/10)/((-14)/10). Which is bigger: x or d?
x
Suppose -4*s = 2*m + 2, 2*s = -s - 2*m - 1. Let t = 24454 - 1027115/42. Let l = t - -5/6. Which is bigger: s or l?
l
Let l = -49 + 49.9. Is 0.1 < l?
True
Let r = -44/15 + 3. Is 1 greater than r?
True
Let z = 349/1197 - 1/171. Is -11/4 at least as big as z?
False
Suppose -4*x - 19 = -5*u + 5, -u = -3*x - 18. Let p = x - -7. Is p less than or equal to 2/9?
False
Let s be (-39)/(-91)*((-7)/(-38))/1. Is s < -1?
False
Suppose -2 = -7*m + 5. Is -2/5 > m?
False
Let r = -4 - -6. Let f = -0.66 - -1.66. Which is bigger: r or f?
r
Let r = -9.92 - 0.08. Let y = 7 + r. Which is smaller: y or -1?
y
Let m be 1 + (-6)/(-9)*-15. Let u = m + 28/3. Which is bigger: u or 1?
1
Suppose 2*j - 12 = -j. Which is smaller: 5 or j?
j
Let a = 0.51 - 0.5. Let b = 0.09 + a. Which is smaller: -0.1 or b?
-0.1
Suppose 0 = 3*k - 25 - 65. Is k != 30?
False
Let k be 38/(-8) + 5/(-20). Let l = 2 - k. Let q = l + -6. Is 3/5 at least as big as q?
False
Let v(u) = u - 5. Let n be v(6). Let a be (n - 2) + 30/26. Which is smaller: 1 or a?
a
Suppose -4*s + 4 = 4*a, 3*s = -2*a + 4 - 5. Suppose 6 = 3*o + l - 7, 0 = -2*o + a*l + 32. Let j be (0 + 4/o)/2. Are 2 and j nonequal?
True
Let m = 59 + -75. Which is bigger: m or 0.3?
0.3
Let s = -17 - -14.6. Which is greater: 2/3 or s?
2/3
Let o = -13 - -22. Let w = -1 - -5. Let p = w - o. Which is smaller: p or -4?
p
Let h = -422 + 423. Let r be (2*2)/(9/(-1)). Is h less than or equal to r?
False
Let p be 10 - 2*(-2)/2. Suppose -19 = j + 4*u, 4*u + p = 2*j + 2*u. Let c = 11/48 + 1/48. Which is greater: c or j?
j
Let u(a) = a**2 + 6*a + 6. Let x be u(-6). Let f(d) = d + 6. Let h(s) = 3*s + 17. Let w(n) = -11*f(n) + 4*h(n). Let l be w(5). Is x smaller than l?
True
Let p = 3 - 6. Let l = 74.8 + -75. Is l at most p?
False
Let a(h) = -h**3 + 5*h**2 + 6*h + 1. Let i be a(6). Suppose -4*m = -3*z - 8, -2*z + 0*z + 23 = 3*m. Suppose k + 10 = 5*v - z, 3*k - 2*v + 3 = 0. Is i > k?
False
Let z be (0 + -1)*(12 + -3). Let h(i) = i**3 + 10*i**2 + 10*i + 8. Let y be h(z). Is -2 at least y?
False
Let q(b) = -b**3 - 6*b**2 - 3*b + 2. Let d be q(-6). Which is smaller: d or 19?
19
Let o be -7 + 3 + (1 - -2). Is 10/7 > o?
True
Let o be (8/20)/(66/(-30)). Suppose -2*j = j. Which is greater: o or j?
j
Let s be (0/(-2))/(8 + -10). Which is bigger: -66 or s?
s
Suppose t - 4*z = 3*t - 4, 6 = 3*t - z. Suppose 2*r + 10 = 2*b, t*r + b = -4*b + 18. Let g be (-6)/10 - (-3)/3. Is g smaller than r?
False
Let w(v) = -v**3 - 6*v**2 + 6*v + 1. Let u be w(-7). Let b = 12 - 1. Let n = b - u. Which is greater: 1/3 or n?
n
Let l = -27/14 - -10/7. Is l < -53?
False
Let m be (2/(-8))/((-6)/15). Is m >= 1?
False
Let k be 2 - 6 - (-2)/(-18)*-33. Is -1 smaller than k?
True
Let p = -13/3 - -151/30. Is p at most 2?
True
Suppose 5*c = 0, 4*c - 5 = 2*l - 15. Suppose -b + h = -4, -3*b + l*h + 13 = h. Suppose 0 = -z - b - 1. Do z and -4 have the same value?
True
Suppose 0*h + 4*h + 20 = -4*m, -5*m - 22 = 2*h. Is 0 less than h?
False
Let a(y) be the first derivative of -y**5/20 + y**4/12 + y**2/2 + 2*y + 3. Let n(p) be the first derivative of a(p). Let i be n(0). Is i greater than 2?
False
Suppose -3*o = -2*o + 5, a - 18 = 4*o. Let f = 6 + -4. Let c = f + a. Which is bigger: 1/6 or c?
1/6
Let s = -54 + 57. Is 16/5 at least s?
True
Let t = -73/3 + 24. Let q be 4/(-10) + (-6)/10. Which is greater: q or t?
t
Let a be (-110)/(-5)*1/(-6). Is a greater than -4?
True
Suppose 22 = 2*b + 8. Let a be (1/20)/(b/(-14)). Is a bigger than 0.1?
False
Let m be (-76)/88 + 1 + (1 - 1). Which is greater: m or 1?
1
Suppose -3*t = -4*k + 8 + 4, t + 4 = 4*k. Let x be 1/t - (-42)/8. Suppose 5*i - 25 = -0*i. Are i and x non-equal?
False
Let s be (-14)/(-63) - 82/126. Which is smaller: 0 or s?
s
Let s be (20/(-15))/((-4)/6). Suppose