e
Suppose -4*m = -2*p, 0*m - m - 9 = -5*p. Suppose -q + 5*l + 13 = -2*q, -2*l - p = 2*q. Let k(i) = -i**3 + i**2 + i - 1. Let z be k(1). Which is greater: q or z?
q
Let g be (-5)/3 - (-3)/(-9). Let b be 16/104*(g - -1). Is -1 less than or equal to b?
True
Let q = -27 + 19. Let d = q - -13. Let g = -4 + d. Are 0.5 and g unequal?
True
Suppose 2*v = 3*z + 35, -2*z = -2*v - 4*z + 30. Let q be v/(-90) - 10/(-25). Which is bigger: -1 or q?
q
Let k(i) = 2*i**3 - 7*i + 0*i**2 + 3*i**2 + 5 + 4*i**2 - 3*i**3. Let d be k(6). Let g = -1 - d. Which is smaller: 2 or g?
g
Let a be (-18)/(-8)*8/12. Suppose 2*w - 5 = w - i, -5*w = 2*i - 13. Which is smaller: a or w?
w
Let v be 3/4 - (-850)/(-24). Let o = v + 172/5. Which is bigger: -1 or o?
o
Suppose 3*i + 32 = -i. Suppose k = 3*t - 17, k + 0*t + 11 = t. Is k at most i?
True
Let i = -10 + 9.9. Let a be (-10)/12 + 0 - -1. Is a < i?
False
Suppose 4 = -0*l + l, -2*p - 4*l - 2 = 0. Are p and -8 equal?
False
Let a(x) = -2*x - 14. Let b be a(-7). Which is greater: b or 2/29?
2/29
Suppose a - 50 = -53. Is -3/2 equal to a?
False
Suppose -2*k = 29 + 13. Let q be -2*(2 - k/(-6)). Suppose -q*w - 2*w + 10 = 0. Which is greater: w or -1?
w
Let j(b) = 11*b - 14. Let g(q) = -7*q + 9. Let v(t) = -8*g(t) - 5*j(t). Let n be v(8). Let l be n/(-4) + 2/4. Is 1/7 at least as big as l?
True
Suppose -3*g = -4*u - 11, -2*u - 2*g + 3 = 5. Are u and -2 non-equal?
False
Let q be (4/6)/((-364)/(-63) + -6). Let r = 2 + -3. Is q != r?
True
Let m = -52 + 51. Which is smaller: -3/2 or m?
-3/2
Let f = 517 + -13963/27. Is 0 smaller than f?
False
Suppose 4*g + 45 = -g. Let l = g + 8. Which is greater: 0 or l?
0
Let d = -0.2 + 0. Let j = 0.6 - -0.4. Let l = 1 - j. Is l bigger than d?
True
Let s = -4 + 7. Let p(h) = h**3 - 3*h**2 - 5*h + 5. Let r be p(4). Suppose -2*y + 9 = r. Which is smaller: s or y?
s
Let p = -10 - -7. Let q = -5 + 2. Is q less than or equal to p?
True
Let r be ((-9)/(-6))/((-5)/(-10)). Suppose 70 = -r*d + 16. Is -18 greater than d?
False
Suppose -2*t = -5*x + 40, 3*x - 8 - 35 = 5*t. Let u be -6 + x + (-1)/(-3). Are -11 and u non-equal?
True
Suppose -3*i = d - 2*d + 10, 3*d - 20 = 4*i. Suppose -3*z = h + 10, 0 = -z + 5*z - d*h + 40. Is z at least as big as -5?
True
Suppose 0*v = 3*v. Let s(m) = m**3 - m. Let p be s(v). Suppose -z + 0*g - 2*g = -6, -5*z - 5*g + 15 = 0. Is z not equal to p?
False
Let d(a) = -14*a**2 + 21*a + 6. Let g(v) = 5*v**2 - 7*v - 2. Let n(f) = -6*d(f) - 17*g(f). Let o be n(-7). Let i be 10*(14/(-10) + 1). Which is smaller: o or i?
i
Let w be (-46)/(-3)*(-4)/2. Are w and -30 nonequal?
True
Let g be -5*(-1)/(-4 - -3). Let k(r) = 2*r**2 + 10*r + 1. Let z be k(g). Is z greater than -2?
True
Let n = 17.7 + -21.5. Which is smaller: -0.1 or n?
n
Suppose -b = 2*w - 13, 3*w - 4*b = -b - 3. Suppose 13 = w*x - 3. Let s be 10/(-4)*x/(-25). Is s at least as big as 1?
False
Suppose 4*t = -117 + 17. Let z = -76/3 - t. Let i be (-11)/(-14) + 2/(-7). Is i less than or equal to z?
False
Suppose o - 3*o + 2 = 0. Suppose 0 = 3*y + 13 - o. Suppose -k - 2*k = -8*k. Which is smaller: y or k?
y
Suppose -4*t - 148 = 5*k, 59 = -5*k + 4*t - 113. Is k smaller than -32?
False
Let n = 183 - 182. Let u be (-15)/(-12) - (-1 + 0). Let f = 2 - u. Which is bigger: n or f?
n
Let z be 7/2 - (-4)/(-8). Let y be (-1 + -1 + 0)/z. Which is bigger: y or 0.07?
0.07
Let o be 80/140*(-7)/(-9). Which is bigger: 1 or o?
1
Let d be (1 - 0)/(0 - -1). Let j = 8 + -5. Suppose 2*s + 1 = j. Is s less than or equal to d?
True
Let r = -11 - -16. Let c = 2 - r. Which is greater: c or 1?
1
Let a(j) = -2*j. Let c be a(-12). Let l be (-2)/3 + 82/c. Let y = l + -41/12. Which is smaller: -2/11 or y?
y
Let u(l) = -l**2 - 4*l - 2. Let h be u(-4). Let c = h + 1. Let t be 3/((-18)/13) + 2. Is t equal to c?
False
Suppose -3*u - 22 = -4*z, 2*u + 2*z + 2*z - 12 = 0. Let k be u + -1 + 3 + 1. Let v be (16/36)/(2/(-3)). Is v at most as big as k?
True
Let v be (3 - (-30)/(-18))*-6. Which is smaller: 0.01 or v?
v
Let l = -7 + 4. Suppose -n = -5*n + 16. Let s be (-13)/n + (-2)/(-8). Do l and s have the same value?
True
Let q be 2 - -134*4/(-256). Is q at least as big as -1?
True
Suppose -6 = -f + b, 0 = -3*f + b + 4*b + 12. Let i be 12/8*(-3)/f. Which is smaller: i or 1/7?
i
Let p = 1.6 - 10.6. Let c = p + 9. Which is smaller: c or 1/4?
c
Let u(k) = 4*k + 2. Let y be u(7). Let x = y - 15. Let s be x/(-6)*(-4)/85. Which is smaller: 1 or s?
s
Let o(i) = -i**2 + 8*i - 7. Let n(d) = -d**3 - 8*d**2 + d + 9. Let l be n(-8). Let k(g) = -g + 1. Let f(p) = l*o(p) - k(p). Let a be f(8). Is a >= 3/5?
False
Let o = 13 - 14. Which is bigger: -4/7 or o?
-4/7
Let c = 272/15 - 4604/105. Suppose 2*r = -5*o - 62, 7*r + 4*o = 2*r - 138. Let z = c - r. Which is bigger: 0 or z?
z
Suppose -40 = 3*m - 7*m. Let t = m - 7. Is t smaller than 11/3?
True
Suppose 4*q - 2*k = 12, k + 1 = -1. Suppose -n + 15 = -w + 6*w, 4*w + 5*n = 33. Suppose w*x + 0*x + q = 0. Which is smaller: -2 or x?
-2
Suppose -5*z = -0*z. Let p = 0 - z. Let k be 0 - (3 - (2 + 0)). Is p at least as big as k?
True
Let p = 0.05 - -1.95. Let l = -4.11 - -0.11. Let q = -3.8 - l. Which is smaller: p or q?
q
Let n be (37 - (3 + -1)) + -2. Let s be n/(-27) + (-6)/(-27). Let d be (0/(-4))/(-1 + s). Is -1/2 at most d?
True
Let y = -11.9 + 8.5. Which is bigger: y or 2?
2
Suppose 395 = -4*n - 457. Let o = -1915/9 - n. Which is greater: -1 or o?
o
Let m = 49 + -52. Which is bigger: m or -2?
-2
Let k be (-6)/1*(-9)/(-6). Let b be 44/36 + 2/k. Which is smaller: 2 or b?
b
Let n = -40 - -41. Are n and 15 unequal?
True
Suppose a = 6*a - 15. Suppose 0 = -3*r - 4*g - 3 - 12, -a*r = -4*g - 9. Let o = -25/57 + 2/19. Are r and o non-equal?
True
Let z(p) = p**3 - 3*p**2 - 3*p - 5. Let n be z(4). Suppose -g + 5*t - 6 + 24 = 0, 2*g - 2*t - 4 = 0. Let m = g - -2. Which is smaller: n or m?
n
Suppose 0 = -5*i, -3*l + 3 = -2*l - i. Suppose l*k = -7 - 5. Are k and -3 unequal?
True
Let l(w) = -w**2 - 6*w - 5. Let o(d) = -d**3 + 5*d**2 - 2*d + 4. Let i be o(5). Let s be l(i). Let n(g) = -g - 6. Let v be n(s). Is v less than -3/2?
False
Let s = 0.31 - 0.29. Which is smaller: s or 0.1?
s
Let s be 0/(-2*(-3 - -2)). Suppose 2 = 2*r - s*r. Let x be (34/(-8))/(-1) - 3. Which is greater: x or r?
x
Let g be 0 + -2 + 0/(-1). Let c(s) = s**2 + 6*s + 3. Let k be c(-4). Let y be (-4)/g*k/10. Which is smaller: y or -3?
-3
Suppose s - 8 - 2 = 0. Let o = -9 + s. Is o less than 1?
False
Suppose 3 = 4*z + 31. Does z = -7?
True
Let s(u) be the first derivative of -u**3/3 - u**2 + 3*u + 2. Let h be s(-3). Is -1/7 at most as big as h?
True
Let w be -13 + (-1 + 4 - 1). Do -2 and w have the same value?
False
Let a = 8 + -7.7. Let z = 0.2 - a. Let s = 3.7 - 1.7. Does s = z?
False
Let f be (-2)/(-10) + 78/(-540). Is -0.2 greater than f?
False
Let w = 0.3 - 4.3. Let x = w + 3. Let q = -37 - -39. Which is smaller: x or q?
x
Let t = -1 - 0. Let g = -0.01 - -0.01. Let r = g - t. Which is smaller: r or -2/7?
-2/7
Suppose -2*z + 6*z - 15 = -5*o, 5*o - 50 = 3*z. Are 7 and o equal?
True
Suppose 0 = -2*n - 3*z - 18, -n + 4*z - 17 = 3. Let f(h) = -h**2 - 12*h - 1. Let l be f(n). Do -2 and l have different values?
True
Let l = 7.1 - 7. Let m be 6/(-3) + 8/10. Are m and l unequal?
True
Let x be (-4 - -2*1)/2. Let n(l) = 2*l + 0*l**3 - 3*l**3 + 3*l**2 + 3 + 0*l + 4*l**3. Let u be n(-2). Which is bigger: u or x?
u
Let l = 0 + 13. Suppose 0*n - 3*n = -4*k - l, n = 3*k + 11. Which is bigger: 2/15 or n?
2/15
Let v be (-4)/16*-4*-1. Which is smaller: 1/3 or v?
v
Let a = 4.35 + -0.35. Is a at most as big as -0.07?
False
Let s be (-2)/(-19) + (-84)/76. Which is smaller: s or 2/177?
s
Let r be (-370)/(-2076) - (-3)/6. Let z = -2/173 + r. Let v = 4 - 6. Is z <= v?
False
Let i = -7 - -4. Let q = 2 + i. Is -2/25 equal to q?
False
Suppose 0*d = 4*d. Let j = d + -1. Which is smaller: 0 or j?
j
Let t = 0.1 - 0.3. Is -1/2 less than or equal to t?
True
Let q be ((-2886)/56)/(-13) + (-8)/2. Is 0 <= q?
False
Let p = -1 - -0.9. Let m = -97 + 96.89. Which is smaller: p or m?
m
Let c = 0 + -1. Let y = 3 - 3.1. Which is bigger: c or y?
y
Let y = 15.9 - 16. Which is smaller: -18 or y?
-18
Suppose s - 11 = 3*s - 5*c, s = 5*c - 8. Is s at most -2?
True
Let g(p) = -p**2 + 8*p - 9. Let f be g(7). Let t be (f/(-5))/((-5)/5). L