- 5*s = 10. Let g be 2/(-10) - (-2)/10. Does z = g?
True
Let n = -2198/51 - 72/17. Let m = 47 + n. Is -0.2 not equal to m?
True
Let w(m) = -m**3 + 11*m**2 - 9*m + 2. Let q be w(10). Which is greater: q or 2?
q
Let o = -5 + 5.08. Let q(b) = b**2 - 7*b + 11. Let j be q(5). Which is greater: o or j?
j
Let c be (-6)/(-1) - (-3)/(-1). Let y be 6/c - (2 + -1). Which is greater: y or -1?
y
Let l(k) = k - 1. Let z be l(1). Suppose z - 4 = -x. Let d be (-2)/x*2/(-3). Is d > -2?
True
Suppose 16*k = 11*k - 5. Which is smaller: k or -8?
-8
Suppose -5*g = -5*s - 110, 4 = -4*s - 2*g - 108. Does s = -26?
True
Let i be 7*8 + -1 - 3. Let y be (3*1)/(39/i). Suppose 0 = 4*n - 2*n - 8. Is n bigger than y?
False
Suppose m + 6 = -2. Let f = m + 0. Are -9 and f nonequal?
True
Suppose 4*h + 2*c + 2 = -0*h, 0 = -h + 5*c - 17. Let f be (2/6)/(h/(-3)). Let s(u) = u**2 + 5*u + 1. Let v be s(-5). Is v >= f?
True
Let v(b) = -b**2 + 3*b + 18. Let f be v(6). Suppose -1 - 9 = -5*y - 2*i, -5*i = -y - 25. Let s = 1 - y. Do f and s have different values?
True
Suppose 2*n + 2 = 3*n. Let f be -6 - ((-2)/n - 1). Suppose -p + 3*p + 10 = 0. Is p not equal to f?
True
Let y be 6/2 + -1 - -1. Suppose 0 = -y*f + 4*s - 4 + 13, 12 = 3*f - 5*s. Let g(m) = -m**3 - 8*m**2 - 6*m + 6. Let c be g(-7). Are f and c non-equal?
False
Let u be (-2 - -4)/((-4)/(-6)). Suppose 6*m - 3*m = -u. Let r = 401/8 - 50. Which is greater: r or m?
r
Let q = -13 - -13.2. Is q greater than or equal to -2?
True
Let y be (-6 - -5)*-5*1. Suppose 2*g - 9 + y = 0. Which is smaller: 1 or g?
1
Suppose 3*u - 5 = 13. Let k be (4/u)/(12/(-54)). Does -1 = k?
False
Let g = 2 + -5. Let v(i) = 2*i + 3. Let c be v(-2). Which is bigger: g or c?
c
Let w = 4/59 - -66/767. Which is bigger: -2 or w?
w
Suppose -u - 10 = 4*s - 0, 4*u = -3*s - 66. Let m be u/(-112) + (-4)/14. Is m at least -1?
True
Let f = 108.06 + -108. Is 1 < f?
False
Let u = 0.1 - 0.1. Let c = -0.5 - -0.7. Let i = 0.1 - c. Which is bigger: i or u?
u
Let f = -0.2 - -0.2. Is 1/2 equal to f?
False
Let x be ((-1)/(-1))/(6/4). Let u(q) = -q**3 - q**2 + 2*q. Suppose 4*r - 4*g = -28, -2*g = 4*r + 3*g - 17. Let m be u(r). Which is smaller: m or x?
m
Let x(h) be the third derivative of -h**4/24 + h**3/6 - h**2. Suppose 2*s - 8 = -2*s. Let n be x(s). Is -3/8 <= n?
False
Suppose -w + 4*u + 3 = -4, -4*w + 8 = 4*u. Suppose -13 = 2*l - w. Is l less than -5?
False
Suppose -5*q = 5*w - 10, 0 = -4*q - 3*w + w + 8. Suppose l = -0*y + 3*y + 9, q*y = 4*l - 16. Let j = 27.4 - 27.6. Which is smaller: j or y?
y
Suppose a = 3 + 15. Is a equal to 18?
True
Suppose 3*w + 75 = -60. Let a be 445/600 + (-6)/w. Which is smaller: 1 or a?
a
Let z(b) = -b**3 + 6*b**2 - 6*b + 2. Let t be z(5). Suppose -5*x - 20 = 5*f - 80, 2*x - 24 = -5*f. Suppose -a + 4*a + x = 0. Is a greater than or equal to t?
False
Suppose 3*q = -3 + 6, 5*q - 2 = t. Suppose 5*u - t*w = 2, u - 3*w + 6 = 4*u. Is u greater than -5?
True
Suppose 2*u + 4*r - 8*r = 18, -5*r = -4*u + 21. Which is smaller: 1/8 or u?
u
Suppose 5*o - 12 = 3. Suppose 5*v = o*v. Which is smaller: v or -3?
-3
Let o be 1/(-1) - (-4 - -1). Let w(h) = -3*h + h + 48*h**2 - 47*h**2. Let g be w(o). Which is greater: g or 1/4?
1/4
Suppose -8 = -6*j + 2*j. Suppose -3*b = -j*i + 25, -i + 2*i - 15 = 2*b. Which is smaller: b or 1?
b
Let z = 2.2 - 1.3. Let d = z + 1.7. Let n = 0.6 - d. Which is greater: 2/5 or n?
2/5
Let o be 8 + -4 + (-8)/2. Let v be -4*(426/(-40) + 0). Let z = v - 43. Do o and z have the same value?
False
Let p be 345/5*2/110. Let i = 16/11 - p. Do 1 and i have different values?
True
Let i be 4/8 - (-2)/4. Let f = -96 - -1535/16. Which is bigger: i or f?
i
Let p be 177/(-9) - -3 - (-2)/(-6). Is -16 < p?
False
Let m = 246 - 141. Let p = m - 157. Let a be (-112)/p - (0 + 2). Which is smaller: -1 or a?
-1
Let q be (-12)/30 - (-2)/5. Suppose x = -3*x + 20. Suppose x*d + q - 8 = 3*b, 5*d = -5*b. Which is greater: b or 0?
0
Let z = -65 + 68. Which is bigger: z or 2?
z
Let v = -701/5 + 141. Which is greater: -2/15 or v?
v
Let s = 43/2 - 21. Suppose h = 5*p + 12, 0 = -2*h - 5*p + p - 4. Suppose -h*z = -2*w - 2*w - 16, -w - 4 = -3*z. Is z at least s?
False
Suppose 0*u = -5*u + 5. Let s = u + 2. Are s and 4 equal?
False
Let j = 2.05 - 0.05. Let o = j + -2.2. Is o <= 2?
True
Suppose -6*c - 2 = -5*j - 4*c, 2*c = -5*j + 18. Let n be (j/4*0)/(-1). Let q = 2/25 - -44/75. Which is smaller: q or n?
n
Let u = 2.8 - 2.7. Is u >= 13/3?
False
Let b = 0.6 - 0.5. Do b and -3 have the same value?
False
Suppose 19 = 2*n + 3*z, 2*z + 6 - 37 = -3*n. Is n > 11?
False
Let z = 5 - 6. Is z at most 1/22?
True
Let z be 12/(-20)*(2 - 32). Which is smaller: 1/3 or z?
1/3
Suppose -9 = -7*d - 2. Which is smaller: d or 11/5?
d
Suppose -16 = -3*a + 2. Let k = a - 11. Is k at most as big as -7?
False
Let t(z) = 14*z**2 - 5. Let g(p) = 5*p**2 - 2. Let f(o) = 11*g(o) - 4*t(o). Suppose 2*w - 7*w = 0. Let d be f(w). Which is smaller: d or 0?
d
Let g be -8*-1*1/(-2). Let p(c) = -c - 4. Let q be p(-9). Suppose q = -f + 4. Is g less than or equal to f?
True
Let j = -2/7 - -11/14. Let u(z) be the second derivative of -z**4/12 + z**3/3 + 2*z**2 + z. Let f be u(3). Is j <= f?
True
Let m(u) = u**3 + 6*u**2 + 4*u - 1. Let g be m(-5). Suppose 0 = 4*c - 8 - g. Is 3 not equal to c?
False
Let k be 1/4 + (-205)/340. Which is smaller: 1 or k?
k
Let j(s) be the third derivative of -s**5/60 - 7*s**4/24 - s**3/6 - s**2. Let l be j(-7). Let u be l + 3/1*1. Is 2 < u?
False
Let h(n) = 3*n**3 - n**2 + 9*n - 1. Let r(g) = -g**3 - 4*g. Let y(z) = 2*h(z) + 5*r(z). Let f be y(3). Let c be (1 + (3 - 4))*(0 + 1). Which is greater: c or f?
f
Suppose 4*y + 2*v + v = 8, -10 = -5*y - 3*v. Suppose -5*m - 2*k + 24 = y*k, -k = 2*m - 9. Let w = 8 - m. Which is bigger: w or -1?
w
Let d(w) = -3*w - 5. Let u be d(-3). Are 5 and u non-equal?
True
Let b be 74/9 + (-16)/72. Let y(n) = -n**3 + 7*n**2 + 9*n. Let w be y(b). Are -0.1 and w non-equal?
True
Suppose 20 = 5*p + 2*j, j = -p - 0*j + 1. Suppose -1 = h - 3. Suppose 3*v = 2*s, -2*s - h*v + 8 = -p*s. Is -2 not equal to s?
True
Let f be (-2)/(-4) + (-1)/2. Suppose -o - 2*o - 3 = f. Let s be (1 - 0)/(-3)*1. Which is smaller: s or o?
o
Let d(r) = -5*r - 1. Let j(x) = x - 1. Let g(b) = -d(b) - 4*j(b). Let u be g(-6). Which is smaller: u or -2/9?
u
Suppose 0 = -2*r - 2*r. Which is greater: -2/19 or r?
r
Suppose 8 = 4*w - 0. Suppose -2*b - w*m + 10 = -0*b, -5*b = -4*m + 11. Which is smaller: b or -1?
-1
Let u(m) = m**3 + 7*m**2 - 8*m + 5. Let o be u(-8). Which is greater: 17/4 or o?
o
Let g = 23/3 + -6. Let r = 1 - 0. Is g != r?
True
Let j(r) = r**2 + 2*r - 2. Let k be j(-4). Let z = k - 4. Suppose 0 = 2*d - q - 5, -2*d - z*d + 13 = q. Which is smaller: d or 2?
2
Let p = 22 - 22. Let a(t) = 2*t**2 - t. Let q be a(1). Suppose -b + p = -q. Is 3 equal to b?
False
Let r(b) = 5*b**3 - b. Let q be r(1). Let u = 7 - q. Suppose -3 = u*s - 9. Is 0 less than or equal to s?
True
Suppose -2*t + 12 = -3*t. Let k = t - -11. Let a be 2/26*11 - 1. Is k at least as big as a?
False
Suppose 4*m - 5 = 3*m. Suppose m*h = h - 12. Is -3 >= h?
True
Let x = 4 - 2. Let f be (-2)/4*x/4. Which is bigger: 2/9 or f?
2/9
Let j be (-2)/(-15)*-3*25. Let z = j + 21/2. Is z at least as big as 0?
True
Suppose 2*w + 48 = -4*w. Does w = -8?
True
Let a be ((-4)/(-205))/(21/423). Let d = 2/287 + a. Which is smaller: -0.1 or d?
-0.1
Let a = 0.35 - -1.55. Let t = -0.3 + 0.4. Let p = t + a. Is p not equal to -0.1?
True
Let c = 1 + -0.7. Which is smaller: -0.5 or c?
-0.5
Let u(k) = k**3 - 11*k**2 - 12*k + 7. Let s be u(12). Suppose 5*y - 2*l = -s*l - 25, -l = 4*y + 5. Is y > -1?
True
Let a(c) = -c**2 - 11*c - 44. Let l be a(-7). Which is smaller: l or -17?
-17
Let q = -4 + 4. Let g = -3 - q. Which is smaller: g or 2?
g
Let l = 13 - 55/4. Is l > -6?
True
Let z be (2 + -3)*(-4)/(-12)*-3. Which is greater: z or -3/14?
z
Suppose -4*u + 0*u + 72 = 0. Are u and 20 non-equal?
True
Let i be 3/(-2 + 0 + 5). Suppose 278 - 70 = -2*r. Let s be 1/4 - (-42)/r. Are i and s nonequal?
True
Let w = -19 - -21. Which is smaller: w or 0?
0
Suppose -r - 1 = -2. Which is bigger: 3/2 or r?
3/2
Let f be (188/12 - -3)*-3. Let a be (-14)/18*f/49. Which is smaller: a or 1?
a
Let u = 17/114 - -1/57. Let k(r) = 5*r**3 + r**2 + r - 1. Let f be k(1). Suppose 