*v - 10. Let o be d(-7). Suppose -4 = -2*j + 2*z, 0 = -2*j - j + o*z + 6. Let c = -7 + 9. Are j and c non-equal?
False
Suppose l = 3*r + 34, -3*r + 80 = 2*l + 12. Let h be l/72 + 1/(-4). Which is smaller: 1 or h?
h
Let l(z) = z**3 - 7*z**2 - z + 9. Let u be l(7). Let s be 1*-1 + 0 + u. Let f be (-1)/(s + (-8)/6). Which is smaller: 2 or f?
2
Let c = -16 - -18. Let b be 1 - c - (-48)/21. Which is smaller: b or 1?
1
Let r be 4/12 + 434/(-6). Let h = r + 575/8. Which is smaller: 0 or h?
h
Let a = 62/3 + -428/21. Let n be 1 - (-2 + (-6)/2). Let o be (n/(-9))/(6/(-2)). Is o smaller than a?
True
Let j = -2 - -2.05. Let s = -82 - -84.05. Let y = j - s. Is -1 greater than y?
True
Let k be 3/5*10/(-64). Is 0 >= k?
True
Let u(p) = -p + 10. Let j be u(8). Suppose -j*i + 10 = -4. Do 8 and i have the same value?
False
Let o = -0.06 + -0.04. Which is greater: o or -20?
o
Suppose 0 = -5*n + 3 + 7. Suppose 0 = -n*s - 2*s + 12. Let b be (1 - s/6)*2. Which is greater: 2 or b?
2
Let m = 16 - 16.08. Is m <= 3?
True
Suppose -6*p - 4*k + 42 = -p, -2*p = 3*k - 21. Let b be 1 + -3 - p/2. Are -4 and b equal?
False
Let i(y) = y**2 - 2*y + 3. Let l be i(2). Suppose 0 = -4*j + 2*w + 38, 3*j + w - 56 = -l*w. Is j != 12?
False
Let b = -215/9 + 24. Which is smaller: b or 1?
b
Let y = -5 - -7. Is 1 greater than y?
False
Let o be ((-4)/(-24))/((-14)/6). Which is smaller: 1 or o?
o
Let f be -1*(0 + -1)*1. Let c be -1 + (f - 4/(-14)). Suppose -3*i + 2 + 1 = 0. Which is smaller: c or i?
c
Let b = -63.7218 - -0.0218. Let a = b - -56. Let g = 8 + a. Which is bigger: g or 0.1?
g
Let t(b) = 7*b - 9. Let w(r) = -6*r + 8. Let p(l) = -5*t(l) - 6*w(l). Let d be p(6). Let s = -3 + d. Is -2/5 at most as big as s?
True
Let t be -3 - (-12 + 2/(-1)). Is t smaller than 10?
False
Let u(l) = l + 0 + 2 + 0*l. Let o be u(-3). Let q be o*(1 + 6/2). Which is bigger: -5 or q?
q
Suppose -5*y + h = -2*h + 25, 5 = h. Let n = -5 - y. Which is greater: -5 or n?
n
Let k be 3 + 4/16*0. Let p = -23033/179049 + 2/4591. Let y = p + 70/39. Which is smaller: y or k?
y
Let k = -0.58 - -1.58. Which is greater: k or 3/2?
3/2
Let r = -1.71 - 7.99. Let a = r + 10. Is a greater than -2?
True
Let r(s) = s**3 - 6*s**2 + 5*s - 2. Let a be r(5). Let b be 4 - 2*(-1 - a). Let j be (0 - -3)*(1 - 0). Which is greater: j or b?
j
Let u be -3 - 0/1 - -2. Is -1/80 <= u?
False
Let w = -0.08 + 0.18. Which is greater: -3 or w?
w
Let s be (-24)/(-10) - (1 - 1). Is s greater than 3?
False
Suppose -16 = -5*j + 4*c + 21, 0 = -2*j - 3*c + 1. Suppose 2*z - 2*v - 2 = 0, -7*v - 36 = 4*z - 3*v. Let n be j/z*(-5 + 3). Is 2 > n?
False
Let s be 1 + -2 - ((-690)/351)/2. Is 0 < s?
False
Suppose -g = 3, g - 3 = 3*u - 18. Let z = u - 0. Does z = 5?
False
Suppose t = 2*a - 9, t + 0 = 4*a - 9. Is t not equal to -11?
True
Let q be 5 - (-345)/(-198)*3. Does q = 0?
False
Suppose 5*c - 30 = -3*m + 3, 2*c - 14 = -2*m. Which is bigger: 3 or c?
c
Let f(t) = 4*t + 3. Let i(y) = 3*y + 2. Let g(q) = 4*f(q) - 5*i(q). Let o be g(-2). Let d be -3 - (-2 + (-15)/21). Which is smaller: d or o?
d
Suppose -2*t + 267 = -31. Is 148 at most t?
True
Suppose -r + 2*t + 10 = -6, 4*t = -2*r - 8. Let a = -11 - -18. Which is smaller: r or a?
r
Let v = 2.5 + -2.7. Is -2/9 equal to v?
False
Let f = 2.9 - 3. Which is greater: 0.03 or f?
0.03
Let m(w) = -3*w + 3. Let f be m(-9). Suppose 0 = 3*q + 3*p + f, 3*q = p + 4 - 18. Let a = q - -6. Which is bigger: a or 1/4?
1/4
Let t be 3/(-2)*(-50)/15. Suppose 0 = -0*a - 5*a + t*s - 330, 5*s + 153 = -2*a. Let p be 9/a*(-4)/6. Which is smaller: p or -1?
-1
Suppose -4*d + 2*d = 22. Let c(u) = u + 11. Let n be c(d). Are n and -2/17 equal?
False
Let j be (-13)/(-4) - 2/8. Suppose 6 = -5*w - t, j*t - 1 = -4*w + 3. Is w smaller than 0.3?
True
Let b = 153 - 1068/7. Let z = 1 - 0. Which is greater: b or z?
z
Suppose 4*s + 3*g = -0*s + 20, 5*s = -g + 25. Let z = 4 - s. Which is bigger: z or -1/3?
-1/3
Let p(j) = -j**3 - 12*j**2 - 11*j + 10. Let s be p(-11). Which is bigger: s or 28/3?
s
Let j be 1 - (2 + -3) - 26. Let c = j + 15. Let k be (-6)/c - 14/(-6). Are 3 and k equal?
True
Let k = 16 + -11. Let f(b) be the second derivative of -b**4/12 + 2*b**3/3 + b**2 + 2*b. Let o be f(k). Is -3 bigger than o?
False
Let o = 5/34 + -93/170. Suppose -4*k + 8 = 2*g, -3*k + 3*g - 16 = -g. Suppose -2*r - 3*l = -4*r + 9, 2*l + 6 = k. Is r bigger than o?
True
Suppose -i - v - 12 = 0, 5*v - 73 - 37 = 5*i. Let k = 52/3 + i. Suppose 2*a - 5*o + 12 = -0*a, 0 = -a - 3*o + 5. Which is bigger: k or a?
k
Let y = -0.1 - -0.1. Let r(j) = j + 12. Let s be r(-10). Is y greater than or equal to s?
False
Let c = -2 - -1. Let a = -18 - -18.5. Let f = -0.6 + a. Is c != f?
True
Let g = -0.082 + -0.018. Which is greater: 1 or g?
1
Let z(w) = w**2 - 7*w + 0*w**2 + 2 + 3. Let o be z(6). Let f = -4 - o. Which is smaller: -1 or f?
f
Let o = -31 + 28. Let s = 0.3 + 0.7. Is s equal to o?
False
Let o(d) = -d - 5. Let n be o(-7). Let i be -1*(n - 3) + 0. Let r be (2*(-2)/6)/(-2). Is r at least i?
False
Suppose -5*c = 3*p - 18, p - 4 = -3*c + 2*c. Let x(l) = -l**2 - 2*l + 4. Let w be x(-3). Let h be w + (3 - 0 - 1). Is h not equal to p?
True
Suppose -5*o = -21*o. Is 2/257 >= o?
True
Let s be (-161)/(-12) + 0 + 1/4. Is 15 < s?
False
Let i(p) = -p**3 - 3*p**2 + p + 3. Suppose -6 = -3*c - 15. Let y be i(c). Let m = -69/4 - -475/28. Is y smaller than m?
False
Let u = -3 - -4. Let d = 43 + -47.4. Let g = d - -0.4. Which is bigger: u or g?
u
Let b(p) = -5*p + 55. Let c be b(21). Which is smaller: -51 or c?
-51
Suppose 2*n - 4*n = -h - 4, -3*h = 3*n + 12. Let u = n - 0. Let a = 173/15 - 34/3. Is u smaller than a?
True
Let u = 411 - 391.9. Let w = u - 20. Let l = 1 + w. Is l smaller than 0.1?
False
Suppose -1 = -3*q - 4. Let h(k) = -k**3 + 6*k**2 - 2. Let c be h(6). Which is smaller: q or c?
c
Let a = 5.2 - 0.2. Let x = 4 - a. Let i = x - 0. Is i less than or equal to -3?
False
Let b be -2*(-2 - (-2)/4). Let f be (-1)/b - (-1)/3. Is f <= -3/7?
False
Let q(t) = -t - 23. Let g be q(-24). Is g equal to 2/301?
False
Let q be 1*5/(-1) + 1. Suppose -u = 1 + 2. Let w = -2 - u. Which is smaller: q or w?
q
Let z = -22/15 + 2/15. Let y(d) = -d**3 + 10*d**2 - 7*d - 13. Let g be y(9). Let r = g - 5. Which is smaller: r or z?
z
Suppose 0 = -3*z - 0*z - 2*j + 11, -4*z = -2*j - 10. Suppose 0*o - z*o - 12 = 0. Suppose -3*i - 25 = 2*i. Is o greater than i?
True
Let i = 1 - 0.99. Let u = -0.01 + i. Let z = -3 + u. Are -2/7 and z equal?
False
Let v = 7 + -3. Suppose -2*t - 2*x = -8 - 4, -v*t + 16 = 2*x. Which is smaller: 6/11 or t?
6/11
Let k be (1 - 3 - -1)*-11. Let m = k - 8. Is m greater than or equal to 3?
True
Suppose -w + 0*w = 0. Let s = 1/3 - w. Let o = -55/2 + 28. Which is greater: o or s?
o
Let a(t) = -t**3 + 8*t**2 + 1. Let q be a(8). Let l be (q/2)/((-2)/(-16)). Is 2 at most l?
True
Let j be (-5)/3*40/75. Which is bigger: -1 or j?
j
Let p(a) = -a**2 + 4. Let d be p(2). Suppose 3*j + t + 3 = 5, j + 4*t - 19 = 0. Is j at most d?
True
Let h(z) = -z**3 - 3*z**2 + 2*z + 1. Let i be h(-4). Let s = i + 3. Are 13 and s non-equal?
True
Suppose -2*a - 16 = 2*a. Let f be (-4 - (0 - -1)) + 1. Is f > a?
False
Let n be ((-58)/(-4))/(3/6). Let p be (-2)/9 + n/9. Is p at least 2?
True
Let z = -28.3 - 6.7. Let y = z - -24. Is -1 at most y?
False
Let c = 31/650 - 1/130. Which is greater: -1 or c?
c
Suppose 5*x - 169 = 18*x. Is x greater than -82/7?
False
Let w = -890 - -43604/49. Which is smaller: w or 0?
w
Suppose -2*h + 4 = 2*h. Let u be h - (3/1 - 4). Is u at least as big as 3?
False
Let w = -66 + 37. Let a = w - -119/4. Do 2 and a have the same value?
False
Suppose -q - 4*g + 24 = g, q + 11 = 2*g. Are 1 and q equal?
False
Let c = 14 + -59. Which is smaller: -2 or c?
c
Let n(s) = -s**3 + 2*s**2 - s + 2. Let d be n(2). Suppose p - 2 - 5 = b, p + 13 = 5*b. Let c be p/(-15)*(-2)/(-8). Which is smaller: c or d?
c
Let f = -527/5 - -106. Let r = 8 - 4. Let o = r - 2. Which is bigger: o or f?
o
Let c = -12 + 3. Is -11 smaller than c?
True
Suppose 0 = -5*s + 4*t - 350, 4*s + 300 = -5*t - 21. Which is smaller: 1 or s?
s
Let r be 3 + -4 + 3 - 1. Which is smaller: r or 2/115?
2/115
Let z = 5726/27 + -212. Do z and 1 have the same value?
False
Let b be 7 + -1 - 0/3. Let a be 0*3/b + -2. Which is greater: a or -4?
a
Let l = -