. Is w a multiple of 8?
True
Let v = -3 - -31. Let l be 208/12 + (-2)/(-3). Let n = v + l. Is 19 a factor of n?
False
Is 8 a factor of 1*(-2 - 1) + 27?
True
Does 6 divide 12/(-15)*270/(-4)?
True
Suppose 3*f - 4 + 1 = 0. Suppose -10 = -5*n - p, -1 = -n - 4*p + f. Suppose -n*l + 163 = 4*y - 3*l, -2*y + 5*l = -59. Does 15 divide y?
False
Let p(s) be the first derivative of 2*s**3/3 - 3*s**2/2 + 2*s + 2. Let m be p(2). Suppose b + 9*d = m*d + 24, 5*b = -2*d + 120. Is b a multiple of 12?
True
Suppose -144 = -0*r - 3*r. Does 10 divide r?
False
Suppose -5*m = -3*g + 356, 2*g - g = -4*m + 96. Suppose 4*n - 32 = g. Is n a multiple of 12?
True
Let h = -28 + 58. Let p be ((-6)/(-10))/(2/h). Is 6 a factor of (1*6)/(p/24)?
False
Suppose m = 63 + 38. Does 34 divide m?
False
Suppose -190*b + 42 = -189*b. Is b a multiple of 3?
True
Is 57 + 0 - (-13 + 14) a multiple of 14?
True
Suppose -3*q + d + 83 = 0, -18 = 4*q + 5*d - 97. Is q a multiple of 13?
True
Suppose 9*i + 15 = 4*i. Let x = i + 5. Suppose -z - 18 = -x*z. Is 9 a factor of z?
True
Let z be 2 + 27 - 1*-1. Suppose 0 = -3*l + 15 + z. Is 14 a factor of l?
False
Let b = 15 - 4. Is b a multiple of 5?
False
Let o = -2 - -7. Suppose 1 = o*b - 9. Let f(i) = 13*i**2 - i + 1. Does 17 divide f(b)?
True
Let l be ((-22)/(-2) - 0)*-5. Suppose 3*q - 395 = -2*q. Let z = q + l. Is 12 a factor of z?
True
Let k = -7 - 58. Let f = -46 - k. Is f a multiple of 14?
False
Let l be -1*(-1 - -255)/(-2). Suppose 5*i - 5*s - 190 = 0, -i + l = 3*i + s. Suppose z + 2*z = i. Is z a multiple of 5?
False
Let m = 110 + -67. Does 9 divide m?
False
Let r(m) = -8*m - 16. Does 15 divide r(-7)?
False
Let x(t) = 3*t**2 + 2*t - 3. Is x(3) a multiple of 10?
True
Let b(s) = -5*s**2 + 5*s + 1. Let q(d) = d**2 - d. Let o(t) = -b(t) - 6*q(t). Let z(y) = -3*y**2 - 3*y - 11. Let l(v) = 4*o(v) - z(v). Is l(5) a multiple of 9?
False
Suppose -4*r - 3 + 11 = 3*t, -2*t = -r + 13. Suppose 83 = 4*n - a, -r*n + 0*a + 85 = 5*a. Does 10 divide n?
True
Let l(f) = -f**3 + 4*f**2 - 2*f - 2. Let p be l(2). Suppose p*y - 5 - 13 = 0. Is 9 a factor of y?
True
Suppose 0*d = 6*d + 6. Does 8 divide 39 + (7 + d)/2?
False
Let x(z) = z**3 - 6*z**2 + z. Let t be x(6). Let s(w) = 0 - t*w**2 + 4 + 0*w**2 + w**3. Is s(6) a multiple of 4?
True
Let v = -324 - -545. Does 13 divide v?
True
Let w(b) = 2*b + 5. Let f be w(-4). Is 3 a factor of 2/4*(f + 17)?
False
Let s be (-1 - -6 - -1)/1. Let t = s + -4. Let u(j) = 5*j**2 + j. Is u(t) a multiple of 12?
False
Let d = -3 - -6. Let t be 36 - (d + -3)/1. Suppose 2*v = y - t, 2*v = -y + 14 + 34. Is 14 a factor of y?
True
Suppose 0 = -2*b - 6, 4*b - 16 = -d + 7*b. Suppose -2*f = -2*l + 78, -5*l + 4*l + 3 = 0. Does 6 divide -1*f/21*d?
True
Suppose 30 = -3*a - 2*a. Let v(f) = f**2 - 2*f - 1. Let i be v(-1). Let t = i - a. Is t a multiple of 3?
False
Let v(u) = -u**3 - 10*u**2 + 5. Let y be v(-10). Suppose 2*w + 250 = y*f + w, 0 = f + w - 44. Is f a multiple of 19?
False
Let g = -4 - -6. Let z be 1 + (-1 - (0 - 2)). Let k = z + g. Does 4 divide k?
True
Let k be (4/(-10))/((-4)/20). Suppose -k*q = l - 4*l + 36, -4*l - 5*q = -48. Let f = l + 0. Does 12 divide f?
True
Let i(s) = -24*s**3 + s**2 - 1. Is i(-1) a multiple of 8?
True
Let y(f) = -f + 10. Let c be y(0). Suppose 2*a - c = -0. Suppose -78 = -a*r + 62. Is 11 a factor of r?
False
Let m(n) = -2*n - 12. Does 8 divide m(-10)?
True
Let z be 1/(((-9)/(-15))/3). Suppose -20 + z = -c. Let t = c + 0. Is t a multiple of 15?
True
Suppose -2*j = -4*j, -4*b + 3*j = -16. Suppose p + 3*r = 2, p + b*r + 0*r = 1. Is 4 a factor of p?
False
Is 36 a factor of (-25 + 11)*(-12)/2?
False
Let y = 35 - 18. Let q = y + -10. Is q a multiple of 6?
False
Let i = 30 + 18. Is i a multiple of 12?
True
Suppose -c - 30 = -6*c. Let r be (3/c)/(-1)*0. Does 14 divide 20 + (0 - r) + -1?
False
Suppose -8*l = -5*l - 576. Let z = 292 - l. Does 26 divide z?
False
Let t be (-1)/5 + (-1018)/10. Let m = -61 - t. Suppose -5*o + d = -51, 4*o - d - m = -0*d. Is 5 a factor of o?
True
Let b(j) = j**3 - 6*j**2 - j + 12. Let i be b(6). Suppose 0 = o + 2 - i. Does 2 divide o?
True
Let b(d) be the first derivative of -d**4/6 + d**3/6 - d**2 - 3. Let o(a) be the second derivative of b(a). Is 7 a factor of o(-5)?
True
Does 19 divide ((-285)/(-20))/(3/8)?
True
Let c(k) be the second derivative of -7*k**3/6 + 5*k. Is c(-1) a multiple of 2?
False
Let s be (-3 + 0)/(-3) + 1. Suppose 30 = s*m - 0. Is 4 a factor of m?
False
Let n(d) = 2*d - 4. Let p be n(4). Let m = -6 - -2. Does 18 divide m/(-16) + 207/p?
False
Suppose -3*x - 2*x = -10. Suppose 4*n - 68 = -x*m + n, -36 = -m - 2*n. Is m a multiple of 10?
False
Let d be ((4 - 0) + -2)/1. Suppose -d*k + 5*j = -111, -5*k + 6*j = 2*j - 320. Is k a multiple of 34?
True
Is 12/10*75/6 a multiple of 10?
False
Suppose -15 - 33 = 2*s + 4*x, 2*s = x - 33. Let h = s - -10. Is 6 a factor of h/3*36/(-16)?
True
Suppose 2*q = -3*q + 10. Is q/(-7) - (-172)/14 a multiple of 12?
True
Suppose x + 8*x = 2718. Does 11 divide x?
False
Let x = -4 + 9. Suppose -x*u + 4*f + 24 = 0, 3 = 2*u - 4*f - 9. Is 6 a factor of u*2 + 4/(-2)?
True
Let a(t) = 2*t**3 + 9*t**2 - 6*t - 10. Is 21 a factor of a(-4)?
False
Let r(l) be the first derivative of -l**4/2 + l**3 + l**2/2 - 2*l + 2. Suppose 0*u - 4*u = 8. Is r(u) a multiple of 12?
True
Let x = -11 - -49. Suppose -x + 10 = -2*h. Is h a multiple of 7?
True
Suppose -50 = -4*a - 4*t + 3*t, 0 = -a + t + 10. Is 3 a factor of a?
True
Let y be (-2)/(-6) - (-2)/(-6). Let p be -1*(-2 - -3)*5. Let i = y - p. Is 2 a factor of i?
False
Suppose -5*l + 184 + 196 = 0. Is 36 a factor of l?
False
Let f(h) = -h + 1. Let q be f(-4). Let v(d) = d**3 - 4*d**2 - 4*d + 7. Is 9 a factor of v(q)?
False
Let k be ((-12)/2 + 1)*-1. Let l = -5 + k. Suppose l*j + 17 = j. Is j a multiple of 17?
True
Suppose -4*f - 4*j - 1008 = -8*j, -4*j = 2*f + 474. Let i = -121 - f. Suppose 3*l - i = a - 3*a, -5*l - 2*a = -210. Is l a multiple of 16?
False
Is 18 a factor of (3 + (-5)/(-4) + 2)*16?
False
Suppose g - 4 = -z, 2*g + 2*g - z = 6. Suppose -3*h + 5*h + 2*b - 18 = 0, -5*h + 60 = g*b. Does 14 divide h?
True
Let y(n) = n**3 - 6*n**2 + 4*n - 10. Is y(7) a multiple of 13?
False
Let f(v) = 2*v**2 - 18*v + 6. Let s be f(8). Does 2 divide s + 9 - (1 - 11)?
False
Suppose 2*o = o + 2. Suppose 14 = -0*k + o*k. Suppose -3*q = -k*h + 2*h + 163, 5*q + 165 = 5*h. Is 16 a factor of h?
True
Let y(t) = -1 - t**2 + 5 + 0*t + 0*t. Let u be y(0). Does 2 divide (3/2)/3*u?
True
Let x(l) = -l**3 + 4*l - 1. Let b(q) = -q**2 - 5*q - 1. Let y be b(-4). Let u = -1 - y. Is 16 a factor of x(u)?
False
Let h = 5 + -5. Suppose 5*u - 106 = -2*a, h = 2*a + a + 2*u - 148. Does 24 divide a?
True
Let s be 238 + -6*1/(-2). Suppose -3*j = -9, 3*u + 3*j = -34 + s. Is 22 a factor of u?
True
Suppose 5*z = 4*r + 14, 2*z - z - r - 3 = 0. Let g(u) = 6*u**2 - u - 1. Let y be g(-2). Suppose -q - 10 = 4*k, -5*k + 4*k - y = -z*q. Is q a multiple of 5?
True
Let o = 4 + -2. Suppose z - o*z - 4*h = -9, 4*z - 66 = -h. Is 19 a factor of z/1 + 3 + -1?
True
Let x = 7 + -3. Suppose x*w + 3*d = 48, -w = -4*d - 0 + 7. Is 9 a factor of w?
True
Suppose 13 = 4*b - 27. Let j = 51 + b. Does 26 divide j?
False
Let z = -104 + 323. Does 58 divide z?
False
Let q = -28 + 55. Is q a multiple of 22?
False
Let s(z) = -z**3 - 4*z**2 + 3*z + 1. Let b = 13 + -18. Is 6 a factor of s(b)?
False
Let p(c) = c**2 + 6*c - 6. Let u be p(-6). Is (-110)/u - 3/9 a multiple of 8?
False
Let m(r) be the second derivative of r**4/12 - 5*r**3/3 + 9*r**2/2 - r. Let a be m(10). Is 84/a - (-6)/9 a multiple of 10?
True
Suppose -303 = -5*m - 58. Does 19 divide m?
False
Let i(d) = 2*d**3 - 27*d**2 - 11*d + 1. Is 2 a factor of i(14)?
False
Is 7 a factor of (-8 - (-5 - (1 - 3)))*-4?
False
Let u be ((-2)/2 + -3)/(-2). Suppose 90 + 96 = 6*r. Suppose c + 40 = u*d - c, c - r = -2*d. Does 17 divide d?
True
Let l(c) = 6*c + 7. Let d(n) = -n - 1. Let r(h) = 5*d(h) + l(h). Let p be r(-4). Does 4 divide (10/(-4))/(1/p)?
False
Suppose 6*j = 3*j. Suppose 0 = -j*g - g. Is -2*20/(g + -1) a multiple of 16?
False
Let x(t) = 0 + 1 + 0*t - 3*t. Suppose 2*z = -3*f - 13, -1 = 2*f + 3*z + 11. Does 4 divide x(f)?
False
Suppose 0 = d - 5*v - 75, -2*d - v - 63 = -3*d. Suppose q + 3*q = d. Is q a multiple of 15?
True
Suppose 5*a = 1