-3. Is 6 a factor of r(a)?
False
Suppose 0 = -3*q + 4*c + 27, -q - 3*q + 26 = -2*c. Suppose -4*u = 4*a - 232, u - 125 = -u - q*a. Is u a multiple of 12?
False
Suppose 0 = -12*k + 13*k - 752. Is k a multiple of 20?
False
Let c(z) = -15*z - 25. Let v be ((11 - 4) + -3)*-1. Is 7 a factor of c(v)?
True
Suppose -5*t + 1 + 20 = 2*v, v - 5*t + 12 = 0. Suppose 4*b = v*y - 151, 280 = 5*y + b - 2*b. Is 6 a factor of y?
False
Let s = -171 + 307. Is s a multiple of 51?
False
Suppose 10*l + 6006 = 23*l. Is l a multiple of 66?
True
Let l(q) = 2*q**2 - 56*q - 142. Is 57 a factor of l(32)?
True
Let h(n) = n**2 + 11*n + 3. Let l(o) = o. Let y(m) = h(m) - 5*l(m). Suppose 15*f + 97 = 7. Is y(f) even?
False
Let i(m) = 2*m**3 - 14*m + 11. Is i(5) a multiple of 11?
False
Let y be (9 + -125)*((-7)/2 - 1). Suppose -3*j = 5*v + j - y, -4*j + 416 = 4*v. Is 14 a factor of v?
False
Suppose 3*y = 3*r, y + r - 2 = 6. Suppose 560 = 3*z + y*z. Does 16 divide z?
True
Let h = 17 + -20. Let l be h/(-12) - (-14)/8. Let o(z) = -z**2 + 5*z + 1. Does 7 divide o(l)?
True
Suppose 10*z = 6699 - 1439. Is 16 a factor of z?
False
Let h be 20/(-3 + -1)*-1. Suppose -4*f - h*q + 21 + 98 = 0, 0 = f - q - 41. Is 9 a factor of f?
True
Suppose -38 - 34 = -3*p - 4*q, 3*q = 5*p - 120. Is 7 a factor of p?
False
Let x(q) = -q**3 + 12*q**2 + 15*q - 26. Let v be x(13). Suppose v = 2*p + 4*f - 87 + 17, 5*p - 180 = -5*f. Is p a multiple of 3?
False
Let j(x) = -226*x + 260. Is j(-17) a multiple of 15?
False
Let h = -56 + 189. Does 13 divide h?
False
Let v be (-11)/(-33) - (-267)/9. Suppose -6*y = -3*y + 9336. Does 13 divide y/(-60) + 4/v?
True
Suppose -343 = -2*a + w, 651 = 2*a + 2*a + 5*w. Let b = a - -15. Suppose -7*m - 30 = -b. Is m a multiple of 16?
False
Suppose 2*m - 3*u = 2159, -2*m - 11*u = -12*u - 2157. Is 6 a factor of m?
False
Let r = -15 - -21. Suppose r + 115 = 11*k. Is k a multiple of 6?
False
Let h = -887 - -2440. Is h a multiple of 10?
False
Suppose -5*c = 4*u - 21, -c = 3*u + 1 - 25. Let g = 12 - u. Suppose -x = g*x - 124. Does 10 divide x?
False
Let u(a) = -a - 1. Let d(l) = 3*l + 2. Let s(z) = -3*d(z) - 5*u(z). Is s(-10) a multiple of 13?
True
Suppose 6 + 21 = 3*i. Let x(o) = -o**3 + 9*o**2 + 5*o - 9. Let t be x(i). Suppose a - 7 = 2*f, 2*f - t - 32 = -4*a. Is a a multiple of 15?
True
Let h(w) be the third derivative of 17*w**5/60 + 7*w**4/24 - w**3/6 - 14*w**2. Is 30 a factor of h(-3)?
False
Is 11 a factor of 18/4*(-7 + 17)?
False
Suppose -891 = -2*o - 3*k, -3*k - 6 = -o + 444. Suppose -o = -13*v + 775. Is v a multiple of 25?
False
Let n(k) = -3*k**3 - 3*k**2 + 2*k + 1. Let c be n(-4). Suppose 2*m - 2*q = 96, q - c = -3*m + 15. Does 25 divide m?
True
Let u(w) = -28*w + 68. Does 2 divide u(-3)?
True
Let d(r) = 61*r - 389. Is 83 a factor of d(10)?
False
Let n(s) = -4*s**2 + s**2 - 10 + 3*s**2 - 10*s - s**2. Let x be n(-9). Is (x - 0)*1 + 3 a multiple of 2?
True
Let l(y) = 4*y**2 + y + 1. Suppose -12 = n - 4*n. Suppose 0*x + n*x = -8. Is l(x) a multiple of 12?
False
Suppose -85*y + 48763 = -72*y. Is y a multiple of 27?
False
Let n(o) = 5*o**3 + 2*o**2 - 1. Let f be n(-1). Let c = f + 7. Suppose -x - 118 = -c*a - 2*x, -5*x = 3*a - 110. Is a a multiple of 20?
True
Let z be (0 - 0)*(-2)/(-4). Let w = -355 + 359. Suppose -w*u + 100 + 88 = z. Is 12 a factor of u?
False
Let h(f) = -f**3 + 9*f**2 + 10*f + 2. Let v be h(10). Suppose q + v*z - 30 = 0, 0 = 5*q - 4*z - 65 - 43. Does 8 divide q?
True
Suppose 0*q - 3*q + 22 = 4*p, 5*p = -10. Suppose -2*n + q = -n. Is n a multiple of 5?
True
Let f = 1 - -4. Suppose 0 = -2*o - 5*p + 93, -f*o = 2*p - 0*p - 243. Does 9 divide 3/21 - (-2198)/o?
True
Let u(x) = -3*x - 31 + x - x. Is 7 a factor of u(-15)?
True
Let t = 175 + -74. Let w = 137 + t. Is w a multiple of 17?
True
Let d(v) = v + 82. Let q be d(0). Suppose -q = -5*g - 7. Does 7 divide g?
False
Let j be 12 + -3 + 2 + -3. Let h be 12/j*(-16)/(-6). Suppose -h*z + 34 + 89 = -5*d, -z + 2*d = -27. Is 11 a factor of z?
False
Suppose 8*a - 9*a - 14 = 0. Let q = 46 + a. Is q a multiple of 3?
False
Suppose -4*a = -5*a + 8. Suppose 3*m - m = a, 4*m + 35 = y. Suppose 0*v + y = 3*v. Is v a multiple of 13?
False
Let u(l) = 2*l**2 + 7*l + 3. Let d(n) = -3*n**2 + n + 1. Let x be d(-1). Let z be u(x). Let o(a) = a**3 - a**2 - a + 9. Does 5 divide o(z)?
False
Let p = 27 - 6. Suppose -7*a + p = 63. Does 20 divide a/(-6) - 237/(-3)?
True
Suppose -4*r + 3 = -a, 2*r = -3*a - r + 36. Is 6/27 - (-403)/a a multiple of 10?
False
Let l(d) = 3*d + 12. Let k be l(-3). Suppose -3*j - 2*m = k*m - 112, -5*j = -5*m - 120. Does 14 divide j?
False
Let h(k) = -2*k**3 - k**2 - k + 2. Let r be h(-2). Is (6 - 0)*56/r a multiple of 6?
False
Suppose 2*z - z - 3*k = 299, 4*k = 2*z - 598. Suppose -3*o + z = -4*f, 2*o - 5*f = o + 118. Does 19 divide o?
False
Let u(s) be the third derivative of 11/2*s**3 + 0 + 1/24*s**4 + 7*s**2 + 0*s. Is 7 a factor of u(-18)?
False
Let c(k) be the second derivative of k**5/10 - k**4/4 + 4*k**3/3 + 2*k**2 - 16*k. Is 11 a factor of c(3)?
True
Let a be (-2)/8 + 66/8. Suppose -5*v + 4*s + 87 = 0, -3 = 3*s + 6. Let u = a + v. Does 23 divide u?
True
Suppose 0 = -3*p - 4*y + 44, -p + 5*p + 2*y - 52 = 0. Suppose -p*h = -9*h - 6. Suppose o - 5*o - 296 = -4*n, 0 = 2*n + h*o - 148. Does 20 divide n?
False
Let s(q) = q**3 - 5*q**2 + 4*q. Let k be s(4). Let a(h) = -h**2 - 9*h - 12. Let n be a(-7). Suppose 0 = 4*x + 16, k*t = -n*t - 4*x - 4. Is t a multiple of 3?
True
Let n = 40 + -29. Let o = 14 - n. Suppose -3*c = -o*h + 63, -11 = h + 2*c - 47. Does 8 divide h?
False
Let y = 4 + 11. Let c = y + -9. Is c even?
True
Suppose -12 = -66*m + 63*m, -2*b - m = -804. Is 25 a factor of b?
True
Let o be (-4)/3*273/14. Let f = -21 - o. Is 5 a factor of f?
True
Let w(b) be the third derivative of 7*b**5/12 - b**4/8 - 25*b**2. Does 4 divide w(-1)?
False
Suppose -3*i + 2364 = 3*t, -2*i - 305 = -t + 486. Is t a multiple of 57?
False
Let b = 844 + -144. Is 20 a factor of b?
True
Let t(s) = -2*s - 9. Let y be t(-7). Let d be 2 + -4 - (y + 14). Let u = 32 + d. Is u a multiple of 10?
False
Let x(a) = a**2 - 10*a + 12. Let d be x(9). Let v(w) = 7*w + 2 + 4 - d + 9. Does 11 divide v(5)?
False
Suppose 0 = 2*y - 5*p + 2*p - 395, 4*p = -3*y + 584. Is 28 a factor of y?
True
Let o(x) = -x**2 + 13*x - 20. Let g be o(11). Suppose -2*z - 20 = g*z, -5*r = -z - 800. Is 30 a factor of r?
False
Let q(t) = -6*t**3 - 2*t**2 + 6*t + 6. Suppose 0 = -8*z - 25 + 1. Is 44 a factor of q(z)?
True
Let l(x) = x**2 + x + 10. Suppose -4 = -22*h + 128. Does 26 divide l(h)?
True
Suppose -3*o = o - 2*y + 36, 0 = 2*o + 3*y + 26. Does 13 divide -2 - 5*(242/o - -3)?
True
Let m(r) = 10*r - 31. Is m(8) a multiple of 6?
False
Let f = -1155 - -1971. Is f a multiple of 24?
True
Let a(p) = -40*p**3 - p**2 - 2*p - 2. Is a(-1) a multiple of 4?
False
Let d = -24 - -28. Suppose -3*w + d*w - 3 = 0. Suppose -h + 0*h - 61 = -t, w*h + 309 = 5*t. Is 21 a factor of t?
True
Let s = 17 + 246. Is s a multiple of 11?
False
Let h(v) be the first derivative of v**3/3 - v**2/2 + 16*v - 3. Does 8 divide h(0)?
True
Let q(a) = a**2 + 7*a + 2. Let f be q(-7). Let v(h) = 10*h + 2. Let x be v(f). Suppose 0 = 2*o - 78 + x. Does 9 divide o?
False
Suppose -w - 605 = -n, w + 28 - 23 = 0. Is 50 a factor of n?
True
Is 2/((-214)/1428 + 1/6) a multiple of 27?
False
Suppose 0 = 2*i + 5*c + 234, c - 531 = 2*i + 3*i. Let f = i - -120. Is 7 a factor of f?
False
Let m be ((-3)/5)/((-3)/15). Suppose 0 = m*f - 10*f + 91. Does 8 divide f?
False
Let y be 2 - (-1 - (-5 - -3)). Let b be y/(0/(-4) + 1). Is (3 + b)/2*5 a multiple of 7?
False
Is 10 a factor of 7 + 5732*(-11)/(-44)?
True
Let i(p) = -15*p**2 - 1 + 3*p**2 - 10*p - 2*p**3 + 5*p**3 - 2*p**3. Is i(13) a multiple of 7?
False
Let j(c) = -12*c**2 - c + 2. Let w be j(1). Let r(d) = -177*d + 14. Let b(l) = -59*l + 5. Let i(z) = w*b(z) + 4*r(z). Is i(-1) a multiple of 20?
True
Suppose 3*v = -5*p + 131, -10*v - 4*p = -13*v + 122. Is 6 a factor of v?
True
Let s be -2*((-351)/6 + 3). Let p = -57 + s. Does 8 divide p?
False
Let x = 165 - -164. Let g = -225 + x. Is g a multiple of 29?
False
Let a = -16 - -83. Suppose -a = -5*f + 98. Does 11 divide f?
True
Suppose 3*h + h + 128 = 0. Let w be (12/(-15))/(2/5). Let n = w - h. Does 9 divide n?
False
Let p(u) = 6*u**2 + 9