39 - 40. Is -1/26 at most as big as s?
False
Let l = -2 - -1.8. Let v = -19 - -56/3. Which is bigger: l or v?
l
Let x = 13/6 + -11/3. Is 0.01 <= x?
False
Let n(z) = -11*z - 1. Let s be n(-3). Suppose -20 = -3*m - 8, -d - 4*m = -s. Suppose -4*f + d = -0*f. Are 3 and f non-equal?
True
Let c(k) = k**3 - 11*k**2 + 19*k - 9. Suppose 2*d + 3*a - 6*a - 18 = 0, a = d - 9. Let t be c(d). Do 1 and t have the same value?
False
Suppose -4*a - 2 = 2. Suppose 2*x + 0*x + 7 = 5*j, 4*j = -2*x + 20. Let o be ((-16)/(-6))/x*-3. Are o and a nonequal?
True
Let n be 1/(-4)*6*-6. Suppose -9 = -4*u + j, 3*j - 2 = 2*u - n. Let d = 5 - 9/2. Which is smaller: u or d?
d
Suppose -5*g - 20 = -4*v, -3*v - 4 = 2*v + g. Is 1/12 greater than or equal to v?
True
Suppose 0 = -3*g + 18 - 12. Which is smaller: g or 12/5?
g
Let r be (-1)/(-1 + (-4)/(-3)). Is r at least as big as -3?
True
Let r be 2/4*(0 + 66). Suppose 0 = -5*w + 20, -4*w - 11 + r = 3*h. Suppose -n = o - 5, h*n - 1 + 3 = o. Is 3/2 equal to n?
False
Let f(t) = -t**2 - 5*t - 7. Let l be f(-4). Which is greater: -4 or l?
l
Let c = 26 - 17. Let b = c + -8. Let i = 6 + -4. Is b equal to i?
False
Let x be 0/1*(-3)/(-3). Suppose -3*y - y = 0. Let n be y - (1/5 + x). Which is greater: -0.1 or n?
-0.1
Let q = -316 + 2206/7. Let g(j) = j**2 + 10*j. Let h be g(-10). Is q greater than h?
False
Let l(x) = x**2 - 7*x + 6. Let p be l(6). Let m be (-2)/(-3) - (-10)/(-6). Let c be -1 + (m - (-21)/9). Is c smaller than p?
False
Let v(b) = -b**3 - 16*b**2 - 13*b + 30. Let p be v(-15). Are p and 9 unequal?
True
Let t = 59.23 + -59. Let v = 0.04 - 0.07. Let k = t + v. Is -5 not equal to k?
True
Let d be (2/(-1))/((-2)/(-7)). Let v = -51 - -47. Are v and d non-equal?
True
Suppose z + 4 = 5. Which is bigger: -0.5 or z?
z
Suppose -4*j + 16 = 0, -14 = 3*c - 7*j + 2*j. Suppose 4*r = 5*r. Which is smaller: c or r?
r
Suppose 5*l + 20 - 45 = 0. Which is smaller: 4 or l?
4
Let j = -24 + -12. Which is greater: j or -38?
j
Let q = 0.45 - -0.05. Let f = -1.5 - q. Is f less than 0.4?
True
Let m = -36 + 35. Which is bigger: m or -6?
m
Let n(l) = -l**3 + 13*l**2 + 2*l - 25. Let p be n(13). Which is smaller: p or -2/71?
-2/71
Suppose 0 = 4*t - 7 + 3. Let h be (0 + 2)*t/(-2). Are -3/2 and h nonequal?
True
Let u be (-16)/10*(-6)/216. Which is greater: u or -1?
u
Let u = 3 - 5. Let p = u - -2.5. Let b = p - 0.8. Is 0 less than or equal to b?
False
Let i = -73 - -51. Is i less than -3?
True
Let l be (-9)/(-54)*(-2 - -4). Is l >= 1?
False
Let g = -3 + 9. Which is smaller: 7 or g?
g
Suppose 2*i + i = 6. Suppose 0 = -i*y - 2. Which is smaller: -1/4 or y?
y
Let k = -7.1 - -0.1. Are 0 and k non-equal?
True
Suppose 11*c = 10*c + 18. Do c and 18 have the same value?
True
Let g = -9 - -9. Is -2/25 bigger than g?
False
Let j = 880/7 - 126. Let m(w) = w**3 - w**2 - 1. Let s be m(0). Is j > s?
True
Suppose 13 = 3*f + 4*i, -f - 9 = -5*i + 12. Let j = 8.3 - 8. Is f at least as big as j?
False
Let z = 321/11 - 29. Which is smaller: 1 or z?
z
Let c = -5 + 1. Let j = 3 + c. Which is bigger: 2/35 or j?
2/35
Let s = 1.42 - 1.01. Which is smaller: 0 or s?
0
Let w(d) = -d**2 - 37*d - 36. Let u be w(-34). Which is bigger: u or 67?
67
Let q = -0.17 - 1.83. Which is smaller: 4 or q?
q
Let q(v) = v**2 - 5*v - 5. Let d be q(6). Let a be 2/(1 + d)*4. Let i be 10/4 + 5/10. Is a smaller than i?
False
Suppose 5*b = 8*b + 45. Which is smaller: b or -8?
b
Let r = 3 - 4. Let s = 25 + -13. Let u = 16 - s. Is r greater than or equal to u?
False
Let a(j) = -j**3 - j**2 + 2*j - 1. Let q be a(3). Is q > -29?
False
Let v = 17 + -32. Let w = v + 22. Let l = w - 7.1. Is l at most 0.2?
True
Let o be (-1317713)/(-22) - (-4)/(-8). Let r = -60221 + o. Let y = r - -326. Which is smaller: 1 or y?
y
Let a(d) = -d**3 - 3*d**2 - 2*d - 2. Suppose -2*u - 3 = 1. Let z be a(u). Is -3 >= z?
False
Suppose -10*a - 2 = -12*a. Is 1/8 at least as big as a?
False
Let w = 0.16 - -0.01. Which is bigger: w or -2/3?
w
Let d(s) = -s**2 + 7*s + 7. Let z be d(7). Let f = 0.05 - -0.05. Which is smaller: f or z?
f
Let y = -0.11 - -3.11. Is y bigger than -13?
True
Let o = 1.8 + -1.4. Let y = -4.9 + 5. Which is smaller: o or y?
y
Let t = -25 + 23. Let s = 0 - -2. Let y = t + s. Is y != -0.1?
True
Let b = -4.22 + 1.27. Let x = b + -0.05. Is -3 equal to x?
True
Let s = -327/5 - -65. Suppose 0 = -4*w + 2*d, 5*w = 2*d + 5 - 4. Which is smaller: w or s?
s
Let s be 4/14 - (-24)/14. Suppose 0*a - 2*w = -s*a + 2, -a = -5*w - 5. Is 2/31 <= a?
False
Let w be ((-3)/(-3))/((-1)/1). Suppose 7*p = 5*p. Is p equal to w?
False
Suppose 2*i - 15 = -3*i. Let s = 1/34 - -65/102. Which is smaller: i or s?
s
Let r be (-1)/6 + 6/(-12). Let q be 1 + -2 + 4/1. Let b(j) = j**3 - 4*j**2 + 2*j + 2. Let n be b(q). Which is smaller: r or n?
n
Let k be ((-54)/(-14))/((-40)/(-28)). Let j = 11/5 - k. Is j not equal to 0.5?
True
Let x be 0 + -6*1/2. Which is greater: -1/2 or x?
-1/2
Let f(y) = 4*y**2 - 9. Let t be f(-3). Are 26 and t equal?
False
Let z be (-12)/18*42/68. Does z = -1?
False
Let c be (-5 - -5)/(-1 - -3). Is 2/33 less than c?
False
Suppose -120 = 3*l + l. Let f = 27 + l. Let q = 0 + -1. Which is smaller: q or f?
f
Let x(a) = a**3 - 7*a**2 + 7*a - 6. Let o be x(6). Is o at most -7?
False
Let b be -2 - -12*4/22. Let u = 2 - 1. Let z be (0*(-1)/u)/(-1). Which is greater: z or b?
b
Let y = -0.55 + 0.8. Is y <= 1?
True
Suppose 0 = 8*l + 2*l + 20. Suppose -6 + 2 = -r. Let k be r/l + -5 + 5. Which is smaller: -3/2 or k?
k
Suppose 5*p - p = 5*z + 13, 5*p + 3*z + 30 = 0. Let k(s) = -s**3 + 5*s**2 - 4*s - 5. Let b be k(4). Is b > p?
False
Let k = 8 - 8. Which is smaller: 0.01 or k?
k
Let s = -2 + 1.86. Let d = s - -0.31. Let l = -0.03 - d. Which is bigger: -3 or l?
l
Let c be 4/(-5) + (7 - 5). Suppose -v = -0*x + 2*x - 1, -v = -5*x - 1. Which is smaller: c or x?
x
Let o(n) be the third derivative of n**5/60 - 7*n**4/24 - n**3/6 - 3*n**2. Let g be o(8). Suppose 2*u + g = 1. Is -1 bigger than u?
True
Let q = 6 - -6. Let y be ((-82)/3)/(8/q). Let f be -2*(y/(-21) - 2). Which is smaller: 1 or f?
f
Let w = -45 + 63. Suppose -2*o = o + 5*k - w, -4*o = 4*k - 32. Are o and 10 equal?
False
Suppose -j - 25 = -7. Let r be ((-86)/(-12))/(4/j). Let t = r - -32. Which is greater: 0 or t?
0
Let r(l) = l**2 + 7*l + 1. Let z be r(-7). Let p be 6 - (1 - (2 - 3)). Suppose z = p*j - 3. Is 1 > j?
False
Let z(f) = 3*f - 6. Let w be z(4). Let m(t) = -3*t + 8. Let v(j) = -7*j + 17. Let x(g) = -5*m(g) + 2*v(g). Let r be x(w). Is r at most as big as 0?
True
Let k(m) = -m**3 + 2*m**2 + 2*m - 1. Let g be k(2). Suppose -g*s = -12 - 27. Which is smaller: s or -0.1?
-0.1
Let v be 14*4/(-30) + 2. Which is smaller: 0 or v?
0
Let x = -230 - -538. Let p be 2/7 - x/49. Is -5 < p?
False
Let v(n) = n**3 + 5*n**2 + 2. Let y be v(-5). Suppose y*h + 5 + 2 = -p, -21 = h + 4*p. Which is smaller: -17 or h?
-17
Suppose -m + 2*m - o = -1, 5*m - 4*o + 10 = 0. Let d be (m/4)/((-2)/(-36)). Let b be (-4)/(3/(d/(-42))). Are -1 and b non-equal?
True
Let w = -13 + 15. Let v = 24 - 14. Let n be ((-3)/9)/(w/v). Do n and -2 have different values?
True
Suppose 5*t + 5*y + 115 = 0, -5*t + 0*y - 3*y - 111 = 0. Let i = -43 - t. Let v be 1/(i/(-8)*2). Is 1 equal to v?
False
Suppose 0 = -0*q + 4*q - 140. Suppose -3*h - r = 2*h + 31, -q = 5*h + 5*r. Which is greater: -5 or h?
-5
Let c be (2/(-5))/(2/(-10)). Suppose 35 = 3*b - 31. Suppose -3*g + k = 11, 1 = -3*g - c*k - b. Which is greater: g or -4?
-4
Suppose 2*x = 4*b + 4, -2*x + b + 8 = -11. Is x greater than -2?
True
Let v be 1/((-12)/(-21)) + -2. Do v and 3/7 have the same value?
False
Let z(d) = 2*d - 10. Let f be z(8). Suppose 4*l = 3*a + 29, 3*l + 2*a = 8 + 1. Which is smaller: f or l?
l
Let d = 12 - 11.8. Let i = 0.3 - d. Are -0.04 and i equal?
False
Let d be ((-10)/7)/(4/(-28)). Let r be 8/10 - (-2)/d. Which is bigger: -3/7 or r?
r
Let a(t) = -t**2 - t + 3*t**2 - 6*t + t**3 - 7 + 3*t**2. Let d be a(-6). Which is greater: d or -2?
d
Let r(m) = m**3 - 8*m**2 - m + 9. Let z = 2 - -6. Let h be r(z). Which is bigger: h or -1?
h
Suppose -20 = -6*q + 2*q. Suppose 0 = -p + 2*p + 5*r + 25, q*p - 2*r - 10 = 0. Which is smaller: 1 or p?
p
Let w = 0 + 0. Let c = 23 + -12. Suppose x = f + 3, -f - 2*f = 2*x - c. Is w >= f?
False
Let x be 1/6*4/(-3). Which is greater