0.7. Are -0.03 and n non-equal?
True
Suppose 19*c - 23*c - 28 = 0. Is 2 less than c?
False
Suppose -3*k + 34 = -11. Let j be k/(-18)*6/(-20). Let n(h) = h**2 - 2*h - 4. Let g be n(3). Which is smaller: j or g?
g
Suppose 33*g + 134 = 35*g. Which is smaller: 68 or g?
g
Suppose 4 - 6 = g. Let b(y) be the first derivative of y**3/3 - 4*y**2 + 9*y + 1. Let j be b(6). Is j > g?
False
Let n(g) = g**2 + 6*g - 1. Let c be n(-6). Let b = 15194/145 - -12/29. Let k = b + -106. Which is smaller: k or c?
c
Let o = 17/65 + -1269/4355. Is 1 less than or equal to o?
False
Let f = -43 + 42. Is -6/13 >= f?
True
Let z(i) be the second derivative of -1/2*i**2 - 1/3*i**4 - 1/2*i**3 - 1/20*i**5 + 0 + 2*i. Let l be z(-3). Which is bigger: 0.1 or l?
0.1
Let w = -90 + 95.7. Let i = w + -2.9. Let n = 3 - i. Is -0.1 less than n?
True
Let x = 0.3 + 3.7. Let u = 3 - x. Which is greater: 2/11 or u?
2/11
Let o(b) = -4*b - 13. Let r be o(-6). Which is bigger: -2/7 or r?
r
Let b(i) = 3*i + 1. Let w be b(3). Let z be 2/w - 16/(-20). Which is smaller: z or 0?
0
Suppose -c - 11 = -2*t, -5*c - 14 - 8 = t. Suppose -3*l + 15 = 2*l, -3*f + 2*l = -t. Suppose -2 - 1 = -f*r. Are r and 1 unequal?
False
Let d = 159 - 233. Which is smaller: d or -1?
d
Let y(x) = 2*x**2 - 6*x + 2. Let n be y(4). Suppose -2 = 3*g + n. Which is smaller: g or -2?
g
Suppose -4*v + 5*f = -2 + 6, 0 = 2*v - 4*f + 2. Which is smaller: 0 or v?
v
Suppose -6*c + 12 = -c + v, 4*c - 12 = -2*v. Suppose 0 = 5*t - c*t - 9. Suppose 0 = h + t*h. Is 0 < h?
False
Suppose 5*u = -5*g - 60, -4*g - 8 - 5 = -3*u. Let p(y) = -y**2 - 7*y + 4. Let a be p(g). Is 4 <= a?
True
Suppose -2*n = -5*n. Is n greater than 1/16?
False
Let v(g) = g + 4*g + 1 - 3*g - g. Let d be v(-2). Do 2/9 and d have different values?
True
Let i(g) = -g**2 - 6*g + 3. Let b be i(-6). Suppose -4*u + b*r + 19 = -0*r, 5*u + 4*r = 16. Let d(s) = -s**2 + 6*s + 3. Let v be d(6). Are u and v nonequal?
True
Let q be (-4)/(-6) + (-5)/3 + 0. Are q and -15/7 nonequal?
True
Let z(n) = 10*n**3 - n. Let d be z(-1). Let a = d - -6. Let i = 1 + a. Is i at least as big as -1?
False
Let y(b) = b**2 + 2. Let c be y(0). Suppose 3*r - c = 4*r. Are r and -2 unequal?
False
Suppose -17 = 2*y - 5*q, 0 = 2*q - 1 - 5. Are y and 3/16 unequal?
True
Suppose j - 6*j + 25 = 0. Suppose -2*i + 6*i = -j*g + 15, 4*g = i + 33. Is g bigger than 7?
False
Let u be (27/6)/((-2)/4). Is -9 != u?
False
Let j be (-2)/(-11) + ((-538)/(-66) - 1). Is 8 <= j?
False
Suppose -c - 12*c - 52 = 0. Let h be -3*(2 - 8/6). Is c >= h?
False
Suppose -2*q = -5*z - 7, -5*q = z - 3*z + 35. Is q at most as big as -10?
False
Let z = 0.1 - 0.14. Let x(d) = -d + 6. Let s be x(5). Which is smaller: s or z?
z
Let q(y) = y**2 - 6*y - 5. Let s(p) = 8*p**2 - p. Let x be s(1). Let o be q(x). Which is smaller: 9/4 or o?
o
Let b be 0 + (3 - 0 - -5). Suppose h = 5*i + b, 3*h - 2*i = -5*i - 12. Which is greater: -1/2 or h?
-1/2
Let h be 15/90 - (-49)/(-6). Is h less than or equal to -8?
True
Suppose 0*u - 5*u + 10 = 0. Suppose 0*a + 2 = u*a. Let n(h) = 2*h - 1. Let w be n(a). Are w and 2/5 equal?
False
Let c be (-1)/(-2)*(1 - -1). Let j = 1 + c. Let t be j - (3 + 0 + -1). Which is greater: 2/5 or t?
2/5
Let h(t) = t**3 + 7*t**2 + 8*t + 9. Let k be h(-7). Let p = -233/5 - k. Are -1 and p unequal?
True
Let j be 3 + -1*(1 - 0). Suppose -w - 2 = -4*s - 3*w, -j*w + 20 = -5*s. Do s and -1 have different values?
True
Suppose -2*h + 0*h - 64 = 0. Let k = h + 610/19. Which is smaller: k or -1?
-1
Suppose -5*c = -4*u + 3 + 113, -5*c - 92 = -3*u. Which is bigger: 25 or u?
25
Let r be ((-2)/21)/(6/(-9)). Are 1 and r nonequal?
True
Let o = -57 + 31. Which is greater: o or -28?
o
Let l = 0.056 + -1.056. Which is greater: -0.7 or l?
-0.7
Let h(u) = u + 2. Let z be h(-4). Suppose -5*w + 20 = -0*w. Let i be (-6)/w + 1/(-2). Is i at least as big as z?
True
Suppose 0 = 3*d + 3 - 9. Let a(u) = d*u + 4*u**2 + 7*u**3 + 3 - 4*u**3 - 6*u**3 + 4*u**3. Let f be a(-4). Is f < -5?
False
Suppose -5*k - 15 = -0*k, 3*k = 2*o - 13. Let s be 7/5 + o/(-5). Which is greater: s or -1/2?
s
Let y = 9.9 + 2.1. Is 2/3 bigger than y?
False
Let g = -15 - -18. Is g > 2/5?
True
Let r = 1 - -4. Is r smaller than 2/3?
False
Let d = 1.1 - 0.1. Let l = d + 0. Let z = -1.1 + l. Which is smaller: z or 1?
z
Let g be (-162)/4*(-3 + 1). Let s be (-1)/4 - g/12. Suppose 2*x + 4 = -2*c, 0 = 3*c - 0*c - x + 26. Is s bigger than c?
False
Let j be 2/(-6) - (-20)/(-12). Let n = -0.11 + 0.01. Is n equal to j?
False
Suppose s = -4*y - 4, -2*y - 3*s - 12 = y. Let l(g) = 3*g**3 + g**2 - 4*g - 3. Let c be l(-2). Let v be -2*c/(-48) + 1. Which is smaller: v or y?
y
Let f(o) = 2*o - 9. Let r be 5*(3 + 0 - 2). Let z be f(r). Which is bigger: z or -0.5?
z
Suppose 0*f = 5*f - f. Suppose 0 = -3*a - 6 + 3. Let x = a - f. Which is smaller: x or 6?
x
Let k be (-63)/(-14) + 2/(-4). Is 8/3 >= k?
False
Let n = 75 + -61. Is n smaller than -1?
False
Let l(x) = -x**2 - x + 3. Let f be l(0). Are 2 and f equal?
False
Suppose j + 9 = 4*j. Let b be 16/(-8) - (-5)/j. Are b and 1 unequal?
True
Suppose 5*t - 12 = -2. Suppose 4*o + 2*g - 1 - 1 = 0, 0 = -t*g - 2. Are 2/3 and o nonequal?
True
Let h be 176/(-168) - (-4)/(-14). Does h = -1?
False
Let w = -2.1 + 0.1. Let z = -163/15 + 51/5. Which is bigger: z or w?
z
Let r = -0.04 + -0.96. Let l = 0.2 - -1.8. Let x = -3 + l. Is r <= x?
True
Suppose 2*p - p - 4*z = -17, 5*p + 2*z - 3 = 0. Which is bigger: 0 or p?
0
Let n = -2 + 8. Let i = 6 - n. Is i <= -2?
False
Let a(n) = -17*n**2 - n - 2. Let b be a(-1). Is b < -18?
False
Let z = 4.9 - 5. Which is smaller: -2 or z?
-2
Let r(g) = -g**2 - 11*g + 1. Suppose -5*q + 2*q + 33 = 0. Let f = 0 - q. Let u be r(f). Is 1 greater than u?
False
Suppose 0 = s + 2*s. Let k be 1/(s/1 - -1). Let t be ((-2 - 0) + 1)/(-1). Is k <= t?
True
Suppose 3*f = -o + 102, 3*o + 6*f = 2*f + 291. Are o and 92 nonequal?
True
Let c = 1/45 + -97/315. Suppose 0*t - 27 = -3*t. Let r be 15/t*1/2. Which is bigger: r or c?
r
Suppose 2*y = -36 + 40. Which is smaller: 3 or y?
y
Let y(t) = t**3 + 3*t**2 - t - 1. Let v be y(-3). Let h = 73/3 + -23. Is h greater than or equal to v?
False
Let w = 99/13 - -2/39. Which is smaller: 9 or w?
w
Suppose 5*x = -c - 12, 3*c + 24 = 4*c - 4*x. Let j = 7 - c. Is j smaller than -4/9?
True
Let q be (2/(-2))/1 + -2 + 2. Suppose -t - 113 = 192. Let v = t - -2443/8. Which is smaller: q or v?
q
Suppose 5*o - 20 = 0, -o + 2 = -0*v - 2*v. Is v <= -4/13?
False
Let z = -188 - -188.05. Which is smaller: z or 0.1?
z
Let u = -51 + 51.86. Let z = -0.14 - u. Is 0 <= z?
False
Suppose 0 = -b + 2*z - 8, 12 = 2*b - 5*b + 2*z. Let j = 0.7 - 0.2. Let r = 0.3 - j. Are r and b unequal?
True
Let a(h) = -h - 9. Let y be a(-9). Suppose y = -o + 3, 4*c + 2 + 3 = 3*o. Let r be -5*((-8)/10)/2. Which is bigger: c or r?
r
Suppose o + 20 = -o + d, 0 = 3*o + 2*d + 23. Does -8 = o?
False
Let d = -9 + 11. Let q(g) = g**2 - 5*g + 6. Let x be q(4). Is x > d?
False
Suppose -13 - 7 = 4*f, -p = -5*f - 24. Let d = 2 - 4. Let m be d - 11*1/(-7). Is p smaller than m?
True
Let g = 10 + -8. Suppose -4 = 2*q - 2*b, -b - g + 8 = -5*q. Is q smaller than -2/7?
True
Let m be 1*2 + ((-340)/(-33))/(-5). Which is smaller: 1 or m?
m
Let j(h) = h**2 - h**2 - 1 - h**3 + 2*h. Let a be j(1). Suppose 5*k = -4*y + 6*y - 10, 5*k - 4*y = -20. Is a <= k?
True
Suppose 0 = 4*m - 3*m + 2*d + 53, 0 = -m - 4*d - 61. Is -45 < m?
False
Let r = -0.059 + 37.059. Which is greater: r or -2/3?
r
Suppose -4*j + 1 = 5. Let t be 1 - 1 - j*9. Suppose -7 = 4*q + t. Is -5 != q?
True
Let y = 3 - 5. Let m = -1 - -1. Suppose 3*l = -m*l - 9. Is l greater than y?
False
Let a = -3.8 + -0.2. Let b = a + 11. Let h = 6.7 - b. Which is smaller: h or 1?
h
Let o be 2/4*(-3)/(-10). Is -1 at most o?
True
Suppose -53*y = -50*y. Which is bigger: y or -3?
y
Suppose 2*v + 3*r - 1 = 2, 5*v = -2*r + 13. Suppose -c + 4*y + 7 = -v, -c + y = -4. Does 10/3 = c?
False
Let s be (-16)/72 - 2/(-36). Let x be (3 - 7)/((-8)/12). Let c be (4/x)/((-4)/6). Is s != c?
True
Let f = -1 + 1. Let d = 3 - 8. Let j = d - -4. Which is smaller: j or f?
j
Let q = -5 + 5. Is -10 < q?
True
Let r = -23 - -9. Is r greater than -13?
False
Let b be 3/((18/4)/3). Suppose 8*l - 4*l - 5*o - 70 = 0, 4*l - 3*o = 74. Suppose y = 4*f - 9, -5*f + y = -b*y - l. Wh