 = w*m. Is a != m?
True
Let w be 7/(2 - 4 - 0). Is w at most -1?
True
Let r be (1 - 3)/2*-5. Suppose 0 = 5*u - r*v - 65, -3*u - 3*v + 76 = 25. Let l be u/20*2/6. Is l at most 1?
True
Let q = -7 + 7. Let n = 2.02 + -0.02. Is n at least as big as q?
True
Let g = 14239/23 + -619. Which is smaller: g or -1?
-1
Let d(w) = -w + 1. Let b be d(2). Let r be b*((-13)/(-4) - 3). Does 8 = r?
False
Let n be 1/(-4) - (-54)/(-8). Let h = 12 + n. Suppose 0 = 4*b - 4*y + 32, 0*b - h*b - 5*y - 20 = 0. Is b < -7?
False
Let d be 238/(-50) - (-1 + -1) - -3. Which is smaller: d or 1?
d
Let x(v) = v**3 + 6*v**2 + 4*v + 3. Let g be x(-2). Let d = -9 + g. Let p be (2/3)/1*3. Is d less than p?
False
Let w be (-13 - 1)*(1 + 0). Let z be 0 - (24/w - -2). Which is bigger: z or 2/9?
2/9
Let p(t) = -t**3 + 6*t**2 - 5*t - 1. Let l be p(5). Let g be ((-2)/(-4)*-4)/l. Suppose -25 = -5*c - g*o - 0, -4*c + 3*o = 3. Is c at most 3?
True
Let k(a) = a**2 + 7*a - 10. Let d be k(-8). Let x = 0.06 - -0.04. Which is smaller: d or x?
d
Let w be ((-6)/15)/((-1)/(-5)). Let k(v) = v**3 + 11*v**2 + 10*v. Suppose 50 = 2*x - 7*x. Let q be k(x). Is q >= w?
True
Let f = -28 - -23.1. Let j = f - -5. Which is smaller: j or -0.1?
-0.1
Let t be 1 - 0 - (-8)/2. Suppose 0 = t*o - 2*g + 12, -4*o + 1 - 10 = -g. Is -2 at least o?
True
Suppose 4*t - 3*i - 30 = 2*i, -i = 3*t - 13. Let g = t - 5. Let z be (1 - 2)*(-1 + g). Is 1 bigger than z?
False
Let d = -1.1 + 0.1. Let y = -10 - -9.7. Is y >= d?
True
Suppose 2*m + 1 - 3 = 0. Let h be (3/(-2))/(2 + m). Is -1 greater than or equal to h?
False
Let x = 424.2 - 428.374. Let g = 0.074 + x. Let v = 4 + g. Which is smaller: -3 or v?
-3
Let y(x) = -5*x - 3 + 2*x - 3*x + 5*x. Let n be y(-4). Let z be (3 + 0)*4/42. Is n < z?
False
Let t(q) = -q**3 + 17*q**2 + 20*q - 4. Let u be t(18). Is 31 bigger than u?
False
Let x be (-6)/21 + (-3)/(-84). Is x at most as big as 0?
True
Suppose -5*h = k + 3*k - 18, 3*h + 4 = 5*k. Is k > -11?
True
Let m be 6 + 1 + -2 + 1. Let l = -131 - -136. Are l and m non-equal?
True
Let r(n) = -n**3 + n**2 + 2*n + 1. Let s be r(2). Let m = 5.1 - 6. Let p = -0.5 - m. Is s equal to p?
False
Let a(w) be the first derivative of -w**4/12 - 2*w**3/3 + w**2/2 + 2*w + 2. Let j(n) be the first derivative of a(n). Let c be j(-4). Is c smaller than -1/3?
False
Let i(r) = r**3 + 0*r**3 - 6 + 3*r**2 - 4*r + 3*r - 7*r**2. Let l be i(5). Is l at most 13?
False
Let r(f) = f. Let y be r(-2). Let s be (0 + 2/(-2))/1. Which is smaller: s or y?
y
Let z(c) = 2*c - 2. Let m be z(3). Suppose 5*j + 80 = 2*i, 29 = 5*j - m*i + 99. Let v be 6*3/j*4. Are 0 and v non-equal?
True
Let r = -8 + 12. Suppose -2 = 2*x - 12. Which is smaller: x or r?
r
Suppose -20 = 4*o + o - 4*p, -15 = o - 3*p. Let n(k) = -k**2 - 7*k - 8. Let b be n(-6). Let v be (-3)/5 - b/(-5). Which is smaller: v or o?
v
Suppose -3*d = 5*v - 8, -2*d - 4 = -d - 5*v. Suppose -5*i - 7*f + d = -3*f, -2*i - f = 2. Is -3 smaller than i?
False
Let h = 0.25 + -0.05. Let k = -13/17 - -109/187. Does k = h?
False
Let w = -14 + 15. Let p = 4 + -6. Let d be (p/4)/(3/(-6)). Is w less than d?
False
Let q = 385922654/301781095 - -436/91145. Let r = q + 1/473. Which is greater: 2 or r?
2
Let f be (-6)/(-21) + 9/(-7). Let v(y) = -4*y - 1. Let j be v(f). Suppose 4*w - j*w = 5. Is w bigger than 4?
True
Suppose -3*b = 2*b - 5. Is 3/5 greater than or equal to b?
False
Let n = -0.01 + 0.04. Let o = n + -2.03. Let d = 1.8 + o. Which is smaller: -2/3 or d?
-2/3
Let c = 0 + 3. Suppose -i + 4*k + 10 = -5, -9 = c*k. Suppose i*l = -0*l. Is 0 greater than or equal to l?
True
Let z = -4 - -1. Let s be 1/(1*z/(-255)). Let k = 593/7 - s. Which is bigger: k or -0.4?
k
Let v = 1 - -1. Suppose q = -2*l - 1, 3*q - l + v + 1 = 0. Let o = -2 + 2. Which is smaller: o or q?
q
Suppose 100 = 7*i - 61. Which is greater: 25 or i?
25
Suppose 4*z + 8 = -12. Let s = z - -6. Is 1 at least s?
True
Suppose l + q - 31 = 0, -l + 5*q + 19 = -12. Let v = l - 12. Is 20 > v?
True
Let m = -4 + 14. Let z be -3 + 17/m*2. Which is bigger: z or 0?
z
Let z be (-7)/56 - 7/8. Are -1/9 and z unequal?
True
Let w be 81/15 - 2/5. Suppose 3*t = -5*g + 21, 4*g - 35 = -w*t - 13. Which is bigger: 4 or g?
4
Suppose 3*c + 3 = 2*c. Let s = -6 - -5. Let i be s/2*8/2. Is i > c?
True
Let k = 4/63 - 209/315. Is k < 0?
True
Let h be (1 - 1) + 1*7. Let y(t) = -h*t**2 + 5*t + 4*t**2 + 2*t**2. Let b be y(5). Which is smaller: 1 or b?
b
Let v = 4/53 + -7/795. Is 1 less than v?
False
Let j = -3.4 - -4. Is -3 >= j?
False
Suppose 4*l + 14 - 2 = 4*u, -24 = -4*l - 5*u. Let c = 17 + -3. Let f be (-9)/(-7) + c/(-49). Are l and f equal?
True
Let h be 4/6 - 2/(-6). Let z be (7 + -8)/(h/2). Is -1 <= z?
False
Let r(h) = -22*h**2 - h. Let y be r(1). Let t = 34 + y. Suppose -q + 5 = -x, -3*q + 0*q + t = -2*x. Are x and -4 equal?
True
Let x be ((-127)/3)/((-8)/6). Let w = 32 - x. Let r(s) = s - 6. Let a be r(5). Is w greater than a?
True
Let h(p) = p**3 - 2*p**2 - 3*p + 3. Let u = -9 + 10. Let l be 5 + u*(-6)/3. Let w be h(l). Is w not equal to 0?
True
Let b = 0.01 + 0.99. Let i = -3 + b. Which is smaller: i or 0.1?
i
Let h = 47/29 - 2245/1421. Which is bigger: 0 or h?
h
Suppose d - 6*d = 3*r + 19, -10 = -d + 4*r. Let o(f) = f + 2. Let p be o(d). Is p less than 0?
False
Let i = 103 + -102.99. Which is smaller: i or 1?
i
Suppose 13 = 2*b + b + 5*u, u - 6 = -4*b. Let n be (-1 - b - 0) + -8. Which is bigger: n or -9?
-9
Let o = -15 - -28. Suppose -3*w + o = -5*l, w - 2*l = -4*w + 9. Let g = 1/20 + 1/5. Is w < g?
False
Let x be (-2)/1*391/(-46). Is 19 <= x?
False
Suppose 5*s - 3*s - 3*k - 2 = 0, -2*k - 5 = -5*s. Which is smaller: 7/9 or s?
7/9
Suppose -654 = m - 4*m. Let h be m/(-5) - 6/15. Let w = 133/3 + h. Which is greater: w or -1?
w
Suppose 0*p + 5 = -5*p. Let a = -4 - -11. Let s be (-4)/(-14) + (-2)/a. Is p equal to s?
False
Let k = -1.59 - 0.01. Let z = 0.03 - -7.57. Let p = z + k. Which is bigger: p or -2/7?
p
Let i be 105/(-20)*(-4)/3. Is i greater than 7?
False
Let b be 0 + -3 - (0 + -3). Suppose 0 = 3*l + 3*d + 6 - b, -20 = 5*l - 5*d. Let t = 4 + l. Which is smaller: 1/6 or t?
1/6
Let l(g) = -6*g. Let q be l(-2). Suppose -3*j - q = 33. Let h be 3/j - 2/(-10). Is h != 3/4?
True
Let m be ((-4)/3)/(-36*5/(-10)). Is m bigger than 1?
False
Suppose 0 = -5*g + 5*o + 80, -g = -0*g + 3*o - 36. Is g at most as big as 21?
True
Let a = 337/14 - 24. Which is bigger: 1 or a?
1
Suppose -12 = 2*d + 2*d - 5*i, -5*d = -2*i - 2. Suppose 0 = 3*h - 17 + d. Which is smaller: h or 1/3?
1/3
Suppose z - 4*z = 0. Suppose -3*k + 2*k + 1 = z. Suppose -8*p = -14 - 2. Is k > p?
False
Let n(d) = -d - 5. Let q be n(4). Let i = 9 + q. Which is smaller: i or 2?
i
Let u = 47 + -153. Is -105 < u?
False
Let v(y) = -y**3 - 5*y**2 - 3*y - 11. Let q be v(-5). Is q < 7/2?
False
Let y(p) = p**2 + 5*p - 13. Let t be y(-7). Let a = 44/5 + -122/15. Is a at most t?
True
Suppose 2*r = -r + 3. Suppose 3*h = 15, -d + 5*h - 25 - r = 0. Which is greater: d or -2/15?
-2/15
Suppose -i - 3*i + 20 = 0. Let l = 7 + -5. Suppose b = g + l*g - i, -3*g = 2*b - 8. Are -1/4 and b equal?
False
Let g be -1 + (-3)/(-6)*2. Let w be 1/(-1 + (2 - g)). Which is bigger: -2/15 or w?
w
Let j(x) = x**3 + x**2 - 6*x - 12. Let f be j(-5). Which is smaller: f or -81?
f
Suppose 0 = -4*q + 2*q. Which is greater: -1/7 or q?
q
Suppose 10*f - 8 = 6*f. Let m = -28/5 - -71/10. Is m > f?
False
Suppose -5*g = g - 6. Let q be 3 + -3 + -9 - g. Is q not equal to -10?
False
Let k(a) = -a - 23. Let g be k(-25). Let p = -7 + 13. Is g smaller than p?
True
Let b(t) = t**2 - 8*t + 3. Let s be b(6). Let c be (s/(-15))/((-18)/(-20)). Which is smaller: c or 0?
0
Let t = 37 - 43.8. Let q = 0.2 - t. Do q and -0.2 have the same value?
False
Let p(i) = -15*i**2 + i + 3. Let y be p(2). Let b be 33/y*(-2)/3. Which is bigger: b or 1?
1
Let k = 11 - 11.02. Which is smaller: k or -0.1?
-0.1
Let d(r) = -r**2 - 3*r + 7. Let a be d(-6). Let v = a - -7. Is -1/4 greater than v?
True
Let a(p) = p - 3. Let y be a(4). Let t = 0 - y. Which is smaller: t or -2?
-2
Let j = -2.91 - -3. Let b = j + 0.01. Is b less than or equal to 0.1?
True
Let o(g) = g - 8. Let z be o(9). Let i be (-2)/4 - (z + -1). Which is greater: 2/5 or i?
2/5
Let d be (3 + -6 - 23)/1. Is -27 bigger than d?
False
Let b = -0.8 + -0.2. Let