or of p?
False
Is 1 + (-3 + 2 - -93) a multiple of 9?
False
Suppose v + 4*c - 6 = 6, -4*c + 12 = -5*v. Suppose 0 = -5*w + 3*n + 37 + 230, v = w + 3*n - 39. Does 17 divide w?
True
Suppose -4*t + 512 = 4*t. Does 18 divide t?
False
Let l(j) = -j**3 - 14*j**2 - 2*j - 15. Let f be l(-14). Let s be (-19)/4 - 2/8. Is (-5)/(s/2) + f a multiple of 10?
False
Let x(f) = -f - 2. Let m be x(-4). Suppose g - 6 = -m*g. Is 2 a factor of g?
True
Suppose 0*p = -p + 3. Suppose -z + 4*v = -23, p*z + 3*v = 2*v + 121. Is 13 a factor of z?
True
Suppose 0*m + 3*m - 18 = 0. Let q(a) = a**2 - 4*a - 8. Let s be q(m). Suppose -3*n = 3*j - 48, s*n - 36 = -j - 5. Is j a multiple of 11?
True
Let w be (-2)/(-2) - (7 + 1). Let k = w + 9. Suppose 5*y = k*i - 20, 68 = -i + 5*i - 3*y. Is 13 a factor of i?
False
Let i be (-2*2)/((-8)/16). Suppose 3*w - 170 + 4 = 4*y, 2*w - 5*y = 120. Is w/2 - (i + -6) a multiple of 8?
False
Let r(w) = -w**3 - 8*w**2 - 6*w + 5. Let x be r(-7). Does 12 divide x/3 + 490/15?
False
Suppose 5*t = 7*t - 32. Suppose -2*i - t = 4*m - 6*m, -5*m - 3*i + 8 = 0. Is m a multiple of 3?
False
Let l(b) = -b**3 - 14*b**2 + 19*b + 4. Does 35 divide l(-16)?
False
Suppose f - 45 = 3*v - 206, 3*f - 12 = 0. Suppose 4*j - v = -j. Is j a multiple of 11?
True
Suppose 85 = 5*f + 4*g - 1255, 0 = 5*f - g - 1315. Is f a multiple of 22?
True
Let o be 0 - (-3 - (4 - 22)). Let d = o + 42. Does 12 divide d?
False
Let t = 185 - 25. Suppose -2*l = -7*l + t. Is 16 a factor of l?
True
Suppose -5*t + 10 = -j, -3*t + 12 = 3. Suppose 0 = r - 6*r + 170. Suppose m = 3*b - r, -j*b + 3*m = -2 - 60. Is 5 a factor of b?
True
Suppose -3*c = 2*c + 2*v - 310, v + 124 = 2*c. Suppose -2 - c = -2*l. Is l a multiple of 13?
False
Suppose 0*q + 4*q - 176 = 0. Does 22 divide q?
True
Let c be 63/14*(-158)/3. Is 8 a factor of (-2)/7 - c/21?
False
Suppose -3*o - 198 = -2*p - p, -3*o = -5*p + 200. Let l be (3*-13)/((-6)/(-4)). Let b = l - o. Is 17 a factor of b?
False
Let x(k) = -2*k + 5. Let a = -2 + 5. Let s = -12 + a. Is x(s) a multiple of 8?
False
Let n = -133 - -77. Is 7 a factor of (-1 + n)/(-3) - -2?
True
Suppose 17 + 33 = 5*b. Is b a multiple of 10?
True
Suppose 0 = -5*i - 4*l - 41, -3*i - 48 = 2*i - 3*l. Let m(f) = -5*f - 9. Does 9 divide m(i)?
True
Suppose -6*l + 76 = -2*l. Is l a multiple of 19?
True
Let f(c) = 3*c - 26. Does 3 divide f(32)?
False
Let x = -8 + 12. Suppose x*b = -3*p + 56, -p = -2*b - 3*p + 30. Is b a multiple of 11?
True
Is 16 a factor of (290/6)/(-3 + (-10)/(-3))?
False
Let i(q) = -9*q + 4. Is i(-3) a multiple of 8?
False
Let d be (-7)/((-7)/9) - 3. Suppose 0 = d*j - 2*j - 56. Is 7 a factor of j?
True
Let a = 42 + -16. Is 26 a factor of a?
True
Suppose 5*l - g + 25 = 0, -4*g - 1 = -4*l + g. Let h = -3 - l. Is 2 a factor of h?
False
Let l(m) = -15*m - 4. Is 11 a factor of l(-2)?
False
Suppose d = -u - 2*u + 479, 0 = 2*d + 2. Is u a multiple of 10?
True
Does 16 divide (74/2)/(95/(-25) - -4)?
False
Let k = 331 - 196. Does 12 divide k?
False
Let h = -2 - -4. Suppose 5*y + 5*p = -105, -h*y - 85 = 2*y + 3*p. Does 21 divide 464/11 + 4/y?
True
Let j be (-4)/8 + (-14)/4. Let q = 7 + j. Suppose 2*v - 26 = -q*r + 3*v, -3*v - 22 = -r. Does 7 divide r?
True
Suppose 9*d = -5*z + 4*d + 60, -14 = -2*z + 3*d. Suppose 5*g - 70 = -z. Is g a multiple of 6?
True
Let c be (-66)/88*16/(-6). Suppose 36 = s - 3*t - 11, 2*t - 286 = -5*s. Suppose -c*h + 34 + s = 0. Does 15 divide h?
True
Let p be 0/(3*4/(-6)). Suppose -5*c + 5 + 10 = p. Suppose 0 = 2*f + c*f - 50. Is 4 a factor of f?
False
Let f be (-1)/(-6) + 2/(-12). Suppose 3*v + 11 - 143 = f. Does 22 divide v?
True
Suppose -13 = -4*z - 5. Suppose 0 = 2*u + 2*h - 50, u - z*u + 29 = -h. Does 13 divide u?
False
Let i(x) = x - 1. Let l be i(-1). Let f = 2 + l. Suppose 3*y + 19 - 82 = f. Does 12 divide y?
False
Let i(q) = 112*q - 8. Is 27 a factor of i(2)?
True
Let p(i) = -i**3 - 6*i**2 - 2*i. Let u be p(-6). Suppose c - u = -c. Does 7 divide c/9*42/4?
True
Let d(f) = -f**2 - 8*f - 7. Let w be d(-7). Suppose -12 = -w*s - 3*s. Is 3 a factor of s?
False
Let y(n) = n**3 + 10*n**2 - n + 17. Does 3 divide y(-10)?
True
Suppose 0 = -5*t + v + 26, 0 = -5*v - 8 + 3. Let f be (6/t)/(12/40). Does 11 divide 86/f - 1/(-2)?
True
Suppose h = -2*w + 27 - 8, 61 = 4*h + 5*w. Let t(m) = -m**3 - 6*m**2 + 2*m + 9. Let d be t(-6). Let c = d + h. Does 3 divide c?
True
Is 22 a factor of (3*17/(-3))/(1/(-9))?
False
Suppose 161 = 3*q - 3*d + 5*d, 4*d + 188 = 4*q. Is 20 a factor of q?
False
Suppose 3*w - 150 = 12. Is w a multiple of 4?
False
Suppose 498 = -4*m + 10*m. Is m a multiple of 5?
False
Let b(p) = p**2 - 4*p + 10. Does 15 divide b(5)?
True
Let z = -16 - -24. Suppose -4*p + 3*q = -41, 5*q = -23 + z. Is p a multiple of 8?
True
Suppose -5*g - 4*p + 5*p + 385 = 0, 0 = 2*p - 10. Is 6 a factor of g?
True
Suppose -12 + 0 = -2*r. Does 18 divide 15 - -1*(-3 + r)?
True
Let r = -213 - -309. Suppose -b - 6 = 3*s - r, 0 = 4*s - b - 120. Is 15 a factor of s?
True
Suppose 0 = -3*i + 7*i + 24. Let y(n) = -n - 1. Let j be y(i). Suppose 0 = -5*c + 3*p + 130, j*c + 2*p = p + 130. Is 13 a factor of c?
True
Suppose 191 = 2*g + 19. Let y = g - 17. Is y a multiple of 19?
False
Let r = -90 - -145. Is 11 a factor of r?
True
Let j = 103 + 26. Does 9 divide j?
False
Let z(c) = -c**3 - 5*c**2 - 1 - 8 + 3. Let w be z(-6). Let h = 50 - w. Does 18 divide h?
False
Let w = -7 - -16. Let m = w + -5. Does 4 divide m?
True
Let n(p) be the first derivative of p**3/3 + 3*p**2/2 + 4*p + 3. Let j be n(-3). Suppose s + j*m - 18 = 0, -4*m = -3*s - m + 99. Is 15 a factor of s?
True
Let s = 34 + -59. Let d = 23 - s. Is d a multiple of 13?
False
Let d(z) = -z**2 + 22*z - 6. Does 14 divide d(9)?
False
Let n(j) = 2*j + 4. Let x be n(-3). Let p = x - -10. Does 8 divide p?
True
Suppose 6 = 5*r + 5*l + 1, -2*l = 5*r - 8. Let m(c) = 4*c**2 - 3*c + 1. Is 11 a factor of m(r)?
True
Suppose 2*b + 5*y - 31 = 0, -b - 2*y = -4 - 9. Suppose -2*n + 15 = b*n - 5*f, 4*n = -2*f. Let h = n - -31. Is 16 a factor of h?
True
Does 33 divide (18/(-12))/(-3)*198?
True
Suppose -2*i - 5*u + 37 = 0, 5*u - 1 = 2*i - 8. Does 10 divide i?
False
Let z(g) = -14*g. Suppose -4*w - 4 = -2*w. Does 14 divide z(w)?
True
Suppose 0 = s - 3*s - 6, 2*s + 11 = -g. Let k be 3/(-4) + 14/8. Let n = k - g. Is 6 a factor of n?
True
Suppose -3*t = -5*t - 40. Does 8 divide (t/(-2) - -3) + -2?
False
Let a = 10 - 5. Suppose a*w + s + 534 = 0, 2*w - w = -5*s - 102. Let g = w + 171. Is g a multiple of 20?
False
Let b(w) = 16*w - 2. Does 10 divide b(2)?
True
Let j(k) = -10*k - 3. Let u(i) = -11*i - 4. Let w(p) = 5*j(p) - 4*u(p). Is w(-1) a multiple of 7?
True
Let y be (-25)/3 + 7/21. Let p = y - -13. Suppose 4*d + 0*i - 5 = p*i, -5*d - i + 28 = 0. Does 3 divide d?
False
Does 40 divide -2*(-3 - 3)*10?
True
Let u(g) = g**3 + 2*g**2 - 3*g + 103. Is u(0) a multiple of 29?
False
Let y(i) = -21*i + 6. Let q(g) = -11*g + 3. Let l(x) = 7*q(x) - 4*y(x). Is 3 a factor of l(2)?
False
Let z(m) be the third derivative of -m**6/120 - 2*m**5/15 + 7*m**4/24 + 5*m**3/3 + m**2. Is 14 a factor of z(-9)?
True
Let v = 98 - -10. Is v a multiple of 9?
True
Let w(l) = 7 + 8 + 2*l + 5 - 3*l. Is 9 a factor of w(11)?
True
Suppose 3*s - 90 = -5*g, 0*g - 150 = -5*s + 2*g. Does 10 divide s?
True
Let v(l) be the second derivative of 7*l**5/5 - l**3/3 + l**2/2 + 2*l. Let j(p) = p**3 + 4*p**2 - p - 3. Let a be j(-4). Does 10 divide v(a)?
False
Does 22 divide ((-558)/(-27))/((-2)/(-15))?
False
Let m = 174 - 139. Is 7 a factor of m?
True
Let k(f) = 10*f**2 + 4*f - 28. Let i(z) = -z. Let p(x) = -3*x**2 - 4*x + 9. Let c(s) = 3*i(s) - p(s). Let n(g) = -7*c(g) + 2*k(g). Is 3 a factor of n(0)?
False
Let t = 9 - 5. Let m = 11 + 41. Suppose 0 = -t*o + 52 + m. Does 13 divide o?
True
Suppose j + 8 = 3*c - 458, -2*c = 2*j - 300. Is c a multiple of 14?
True
Let l be -1*(0/(-2) - 3). Suppose -2*p = l*p - 130. Is 8 a factor of p?
False
Suppose 0*c = -2*c + 30. Does 5 divide c?
True
Let u be 401 - (2 + -4)/(-2). Suppose 5*p + 25 = 0, -4*p = 5*n - p - u. Let o = n + -46. Is 14 a factor of o?
False
Let v(c) = -3*c**3 + c**2 - 2*c - 3. Is v(-2) a multiple of 12?
False
Suppose -5*b - 10 = 0, 0 = t + 5*b + 1 - 10. Is t a multiple of 10?
False
Let g(i) = -i + 6. Let y be g(3). Suppose 2*k - y*k + 53 = 0. Is k a multiple 