3. Let f be q(3). Let p(c) = 0*c + 0*c**2 + f + c**2 - 3*c. Does 19 divide p(7)?
False
Let q be (66/4)/(9/12). Suppose 4*l - 22 = q. Is l a multiple of 11?
True
Suppose 3 = -c + 31. Let m = 11 + -7. Suppose m*n = -0*n + c. Is n a multiple of 3?
False
Let c(x) = -15*x - 24. Is c(-18) a multiple of 41?
True
Let m(t) = t**3 + 8*t**2 + 7*t + 5. Let i be m(-7). Let p = i + -3. Suppose 3*l = 3*z - 2*z + 75, z - 55 = -p*l. Is l a multiple of 13?
True
Suppose -5*u + 5*w + 61 = -84, 46 = 2*u + 4*w. Is 9 a factor of u?
True
Let f(b) = 26*b. Suppose 0*i + 12 = 4*j + 2*i, -5*j - 4*i = -21. Is f(j) a multiple of 13?
True
Let s = 7 + 10. Suppose -3*h - 14 = -4*r - 5, -5*r = 2*h - s. Let l(i) = 7*i**3 + i**2. Is 8 a factor of l(h)?
True
Let q = 15 - 13. Let y = 15 + q. Is y a multiple of 17?
True
Suppose x - d - 17 = -2*x, 0 = 5*x + d - 31. Let w(o) = 2*o - 6. Does 6 divide w(x)?
True
Is 108/(-21)*28/(-6) a multiple of 12?
True
Suppose 13*h + 50 = 14*h. Is 8 a factor of h?
False
Let w(v) = v**3 + 9*v**2 - 9*v + 14. Let p be w(-10). Suppose h - 66 = 2*y + 4*h, 4*y + 112 = p*h. Let c = -13 - y. Is c a multiple of 8?
False
Suppose 24 = 5*q - 8*q. Let f = 81 - 52. Let s = q + f. Is 7 a factor of s?
True
Suppose 5*t - 36 = 4*t. Is t a multiple of 12?
True
Let w(o) = o**2 - o + 5. Let s be w(0). Suppose 0 = 2*j - s*j - 21. Let b(r) = -3*r + 4. Is 11 a factor of b(j)?
False
Let o(n) = -8*n + 50. Is o(0) a multiple of 25?
True
Suppose 0*w = 5*w - 140. Suppose 0 = -4*c + 3*p + 123, 0 = -4*c + 5*c + 2*p - w. Does 15 divide c?
True
Let i = 0 + 4. Suppose a + i*m - 18 = m, 0 = 3*a - 2*m - 76. Is 9 a factor of a?
False
Let m(x) = 37*x + 4. Does 38 divide m(4)?
True
Let x(a) = -24*a - 15. Is 14 a factor of x(-4)?
False
Let x = 4 + 1. Let d be 73*(-3)/(0 + -3). Suppose -4*j = -x*v + 124, d = v + 2*v - j. Is v a multiple of 12?
True
Let c(w) = 5*w**2 + w - 3. Does 13 divide c(-3)?
True
Let m(a) = -a**3 + a**2 + 8*a + 4. Let o be m(-5). Suppose 5*y - o - 6 = 0. Is y a multiple of 20?
False
Let s be 2/4 - 68/8. Let g = s + 14. Let v(p) = -p**3 + 7*p**2 - 6. Is v(g) a multiple of 13?
False
Suppose -5*m + 0*m = 35. Let b(t) = -t**3 - 6*t**2 + 3*t - 10. Does 18 divide b(m)?
True
Let l(c) = c**3 - 5*c**2 + 3*c + 3. Let o be l(3). Let r = -1 - o. Is r a multiple of 4?
False
Let d(q) = q**2 - 7*q + 8. Let l = -7 + 14. Does 4 divide d(l)?
True
Suppose -4*g + b = -25, g - 2*b - 1 = 7. Does 2 divide g?
True
Suppose 15*s - 736 = -151. Is s a multiple of 11?
False
Suppose 0 = -q + 2 + 6. Does 8 divide q?
True
Let i(f) = -2*f**3 - f**2. Let t be i(-1). Let z = t - 5. Is 36/(((-6)/z)/1) a multiple of 12?
True
Let m = 27 + -2. Is 5 a factor of m?
True
Let v(s) = s**3 + 12*s**2 + 3*s - 12. Is v(-11) a multiple of 13?
False
Let d be 10/35 - (-5)/7. Suppose z + d = 6. Suppose z*v - 25 = 10. Does 7 divide v?
True
Let w = -17 - -28. Is 11 a factor of w?
True
Suppose 5*q + 12 = -5*m + 42, -4*m + 16 = 0. Is q + (-2 + 1 - -25) a multiple of 13?
True
Suppose 3*o = -2*o + 45. Let v = o - 4. Is 18 a factor of -1*3 - (-255)/v?
False
Suppose -2*d = 5*k - 528, -k + 109 = -3*d - 0*d. Does 17 divide k?
False
Suppose y + 3*y - 8 = 0. Suppose n + y = 6. Let u(k) = k**2 - 2*k - 4. Does 3 divide u(n)?
False
Suppose -5*c - 2 = -6*c. Suppose -5*b + 15 = 5*k - 0*b, 1 = -3*k + c*b. Is 15 a factor of 0 + 1 + k + 13?
True
Let h = 91 - 45. Let l = h + -2. Is l a multiple of 11?
True
Suppose 3*b + 5*w - 7 = 0, -4*b + 10 = -b + 2*w. Suppose 0 = -5*x + b*p + 142, 2*p + 30 - 4 = x. Let m = x + 16. Does 16 divide m?
False
Suppose -5*a + 70 = -5*i, 0 = -2*i - 3*i + 20. Is a a multiple of 4?
False
Let r(t) = -14*t - 30. Does 35 divide r(-9)?
False
Let x(b) = b**2 + 11*b - 14. Is 4 a factor of x(-13)?
True
Suppose u - 2 = 4. Suppose -u*v - 35 = -v. Is 8 a factor of 2/v - (-228)/14?
True
Let i = 141 + 67. Is 49 a factor of i?
False
Let s(c) = c + 11. Is 3 a factor of s(-8)?
True
Let o(m) = 2*m**3 + 5*m**2 + m - 3. Let t be o(-3). Is ((-6)/t)/((-2)/(-110)) a multiple of 9?
False
Is -16*((-9)/2 + 3) a multiple of 8?
True
Let h(c) = c**3 + 6*c**2 + 3*c + 6. Let w be h(-5). Suppose 4*g - 2*g - w = 0. Does 3 divide g?
False
Let z(j) = -2 - 2*j + 5*j**2 + 1 + j. Let k be z(-1). Suppose 12 = -k*o + 57. Is 3 a factor of o?
True
Let n(z) = z**3 + 4*z**2 + 2*z + 2. Let k be n(-3). Let h(m) = 2*m**2 - 6*m - 1. Is h(k) a multiple of 12?
False
Let t be 102/(-27) - 4/18. Does 8 divide (-130)/(-8) + t/16?
True
Let a be (-1)/(2/(-24)*-2). Let c(s) = -s**3 - s + 1. Let x(r) = -2*r**3 - 5*r**2 + 6. Let b(d) = -c(d) + x(d). Is b(a) a multiple of 14?
False
Suppose 4*p - 4*z + 16 = 0, -3*p - z + 16 = -8*p. Let d(x) = -x + 1. Does 3 divide d(p)?
False
Let u be ((-10)/4)/(1/2). Let k(j) = -4*j**3 - 7*j + 2. Let c(h) = -h**3 - h**2 - h + 1. Let l(m) = -5*c(m) + k(m). Is l(u) a multiple of 7?
True
Suppose -2*f + 30 = -38. Does 17 divide f?
True
Suppose -3*k + t = 3*t - 77, 5*k = 2*t + 123. Is 10 a factor of k?
False
Let i(y) = -y**2 - 10*y - 8. Suppose 5*h = -3*w - 65, w = h + 2*w + 11. Let b = -24 - h. Is 3 a factor of i(b)?
False
Let k(y) = 24*y + 4. Is 43 a factor of k(4)?
False
Suppose -107 = -5*m - 42. Suppose 1 = -3*p + m. Suppose p*r = 3*r + 15. Is r a multiple of 12?
False
Suppose -5*n + 5*d - 4*d + 20 = 0, -2*n + d + 8 = 0. Does 5 divide 536/40 - n/10?
False
Suppose -3*o + 188 = d + 3*d, -2*d = 4*o - 254. Does 8 divide (o/(-48))/(2/(-24))?
True
Suppose -4*p - 9 + 0 = 3*d, -p + 4*d = 26. Let x = 10 + p. Suppose -80 = -0*t - x*t. Is t a multiple of 10?
True
Let x(l) = -24*l + 9. Does 21 divide x(-4)?
True
Suppose -8*f + 2*f = 288. Is 7 a factor of f/10*(-20)/6?
False
Let t = 4 + -3. Is 8 a factor of (25 - 4) + (-3)/t?
False
Let u be 2/3*12/2. Let y be (3 - (-4)/(-2))*24. Let s = y - u. Is s a multiple of 10?
True
Let k = -8 + 17. Let h be (-82)/3 - (-3)/k. Let y = h + 57. Is 14 a factor of y?
False
Let i be 1*-6*(-112)/(-8). Is 14 a factor of (-1)/(((-15)/i)/(-5))?
True
Let k(w) = -w**3 + 4*w**2 + 3*w + 3. Let z(o) = -o - 4. Let m be z(-8). Let r = 8 - m. Is 14 a factor of k(r)?
False
Suppose 0 = 4*s - 0 - 8. Suppose 35 = s*m + 3*m. Is 3 a factor of m?
False
Let f be 2 + ((-18)/(-2))/3. Suppose 0 = -f*w + 186 - 21. Is w a multiple of 11?
True
Suppose -4*z - 26 = -2*z. Is 12 a factor of (-3)/(-6)*z*-2?
False
Suppose -4*q + 44 = -0*q + b, -5*q = -b - 64. Suppose -5*k - q = -52. Does 4 divide k?
True
Suppose -4*m - 4*d - 48 = -156, 3*d - 129 = -5*m. Does 6 divide m?
True
Let f = 573 - 368. Is f a multiple of 29?
False
Suppose 98 = 2*j + 4*q, q + 0*q + 2 = 0. Is 14 a factor of j?
False
Let n(t) = -5*t - 4. Does 10 divide n(-3)?
False
Let h = -8 + 20. Suppose o = -w + h, -4*w = -3*o + 29 + 21. Does 6 divide o?
False
Let w be 2/(-1) - (-8)/2. Suppose 2*y - 124 = -w*t, 3*y + 5*t - 77 - 113 = 0. Is 15 a factor of y?
True
Let w(l) = -l. Let k be w(-6). Does 11 divide (3 + (-8)/(-12))*k?
True
Suppose 2*s + 2*u - 160 = 0, -3*s + 4*s - 2*u = 74. Let d be 1/3 - s/18. Is ((-2)/d)/((-2)/(-44)) a multiple of 4?
False
Let h(o) = 0 + 22*o + 1 + 6*o. Let j be h(2). Let n = j + -41. Is 8 a factor of n?
True
Does 3 divide 9 + 3 + (-5 - 3)?
False
Let a(l) = -19*l**3 - 2*l**2 - l. Suppose -3*t + 9 = -3*k, -t - 3*t = -8. Does 16 divide a(k)?
False
Let l = -39 + -31. Let p = 106 + l. Does 10 divide p?
False
Let w = 4 - -1. Is 5 a factor of w?
True
Suppose 3*l - 4*x = -116, -42 = l - 0*l - 2*x. Suppose -3*d = 18 + 42. Let s = d - l. Is 12 a factor of s?
True
Let w = -5 + 5. Let m(n) = n + 3 + 3*n**2 + 2*n + w*n. Is m(-3) a multiple of 10?
False
Suppose 9*o - 1845 = -441. Does 14 divide o?
False
Let s(f) = f**2 + 2*f - 12. Does 9 divide s(5)?
False
Is 14 a factor of 140/(-30)*(-42)/4?
False
Let b(l) = -l - 3. Let v be b(-6). Suppose -v*n + 4 = -4*n. Does 21 divide ((-2)/n)/((-2)/(-164))?
False
Let k(v) be the first derivative of -6*v**2 - 4*v + 5. Does 13 divide k(-6)?
False
Let b(c) = 9*c**3 - c**2 + 6*c + 1. Let t(p) = 5*p**3 + 3*p + 1. Let m(j) = 3*b(j) - 5*t(j). Does 4 divide m(2)?
True
Let q be (64/(-12))/(2/(-12)). Suppose -o - 3*o + q = 0. Is 3 a factor of o?
False
Let t be (-1 - -1)/(6/(-3)). Let s = 24 - t. Is s/5 - (-5)/25 a multiple of 3?
False
Let z be ((-2 - -1) + 0)*-9. Let y = 2 + z. Is y a multiple of 7?
False
Is 10 a factor of 5/(-10) - (-183)/6?
