Let q(o) = 7*o**2 - 4*o**2 + 2 - 5*o**p + 14*o. Does 7 divide q(6)?
True
Let a be 26/8 - (-2)/(-8). Suppose -a*w + 2*f - 21 = 2, -5*f + 40 = -5*w. Is w + 33 - (2 + 0) a multiple of 13?
False
Is (4/10)/(3/15) - -1346 a multiple of 29?
False
Suppose 3*v - 18 = 6*v. Is v/(-4) + (-81)/(-6) a multiple of 3?
True
Let f(n) be the first derivative of 2*n**2 - 14*n - 3. Suppose 5*t - 36 - 29 = 0. Is f(t) a multiple of 21?
False
Let w = 26 + -40. Does 14 divide (-418)/(-15) - w/105?
True
Let b be ((-6)/(-3))/1*2. Suppose -r - 6 = -b*r. Does 6 divide 1048/56 + r/7?
False
Let m be ((-3)/9)/(4/(-1488)). Let u = -85 + m. Is u a multiple of 13?
True
Let o(h) = 2*h**2 - 12*h + 11. Let g = -43 + 52. Is 3 a factor of o(g)?
False
Suppose -243 = -5*m + 2*u, -3*m - 4*u = -5*m + 94. Is m a multiple of 42?
False
Suppose -4*i + 216 = 4*t, -8*t - 117 = -2*i - 7*t. Is i a multiple of 19?
True
Suppose 528 = -10*c + 3508. Is 38 a factor of c?
False
Is 7 a factor of 14*((-85)/(-10) + -5)?
True
Let n(d) = -2*d + 10. Let o be n(4). Suppose 5*a - 30 = 5*w, 4*w - w = -9. Suppose -a*p + 70 = o*p. Is p a multiple of 8?
False
Let d(y) = 128*y**2 + 10*y + 36. Does 7 divide d(-4)?
True
Let w(g) = 18*g**2 + 1 - 8*g**2 - 3*g**2. Suppose 19 = -4*k + 5*q, -2*q + 3 = 4*k - k. Is w(k) a multiple of 8?
True
Does 134 divide ((-15276)/(-380))/(3/40)?
True
Let j(i) = -147*i - 1. Let r be j(-1). Suppose 7*t - 22 - r = 0. Does 24 divide t?
True
Suppose 3*h + 10*m + 11 = 5*m, -2*m = 2*h + 2. Let l be 28/6 + 1/h. Suppose -3*w + 3*c - 7 = -2*w, 3*c = -l*w + 37. Does 3 divide w?
False
Let d(a) = a**3 + a**2 - 2*a + 2. Let m be d(0). Suppose 4*o - 2*z = 182, 4*z + 32 = m*o - 68. Is o a multiple of 11?
True
Let k = -40 - -26. Let h be (-16)/k*(-3 - -10). Is 14 a factor of (-116)/h*4/(-2)?
False
Let j(s) = -2*s + 33. Let v be j(0). Suppose v = 3*q - 6. Is 5 a factor of q?
False
Let m(x) = x**3 + 10*x**2 + 9*x. Let b be m(-6). Suppose -z - 8 = 1. Let d = b - z. Is 25 a factor of d?
False
Let r = -74 - -69. Let i(q) = -q**3 + q**2 - 3*q + 7. Is 43 a factor of i(r)?
True
Does 10 divide (-2 - -3)/(36/40860)?
False
Suppose 0*w - 5*y = w + 12, 5*w - 21 = 2*y. Is 2 a factor of w - (-4 + (-1 - -1))?
False
Suppose -d + 3*t = -15, 3*d + 5*t - 3 = -0*d. Suppose -2*r - 120 = -d*r. Is r a multiple of 10?
True
Let m be (-5 + 0 + 6)/(0 + -1). Is 8 a factor of 5 + 1 + -4 - 6/m?
True
Suppose 1291 = 5*c - s, c - 29*s - 263 = -30*s. Does 44 divide c?
False
Let b = -8 + 9. Suppose -2*o + 47 = -b. Is o a multiple of 12?
True
Is 155 + ((-2)/(-3))/(12/(-18)) a multiple of 11?
True
Let j = -3 - -3. Let x(d) = -d**2 + 4 + j*d + d + 2*d + 2*d**2. Is x(-5) a multiple of 14?
True
Let k(r) = -r**3 + 4*r**2 + 3. Let a = 101 + -97. Does 2 divide k(a)?
False
Suppose 0 = 44*w - 37*w - 6426. Is 9 a factor of w?
True
Suppose 0 = -5*u + 5*k + 20, u - k = -3*u + 22. Suppose -u*f = -3*f - 144. Suppose 0 = 6*j - 3*j - f. Is 5 a factor of j?
False
Let a(d) = 32*d**2 + 4*d - 28. Is 25 a factor of a(4)?
True
Is 24 a factor of 1867 + ((-10)/(-6))/((-115)/(-414))?
False
Let a(w) = -w**3 - 15*w**2 - 15*w + 6. Let v be a(-14). Suppose -2*c = 3*c - v. Suppose c*j - 48 = 100. Is j a multiple of 13?
False
Let r(v) = 5*v - 30. Let m be r(7). Suppose 2*u = 8, 2*d = -2*d + m*u + 172. Is 7 a factor of d?
False
Suppose 4*p + 112 - 120 = 0, -3*w = 3*p - 2082. Does 21 divide w?
False
Let n be (5 + -5)/(1 - 0). Let g = 3 + n. Suppose -5*q - 515 = -5*t, 0 = g*q + 2*q. Is t a multiple of 30?
False
Let m(k) = 5*k**3 + 2*k**2 + 2*k. Let z be m(-3). Let g = 7 - z. Is 10 a factor of g?
True
Let a(m) be the second derivative of 3*m**3/2 + m. Is a(4) a multiple of 12?
True
Let z = 13 - 8. Suppose -124 = -z*k - 14. Is k a multiple of 5?
False
Let n(f) = -f**3 + 3*f**2 + 3*f - 4. Let o be n(3). Suppose o*m - 284 = 3*m. Does 31 divide m?
False
Suppose 42 = -15*u + 357. Is u a multiple of 21?
True
Let p(z) be the first derivative of 90*z**2 - 30*z - 12. Let o(d) = 18*d - 3. Let i(l) = -42*o(l) + 4*p(l). Is 32 a factor of i(-4)?
False
Let s = 2149 + -1074. Does 43 divide s?
True
Suppose 6*k - 12 = 48. Let a = k + -10. Suppose -3*b + 48 - 3 = a. Is b a multiple of 15?
True
Suppose 2*w - 4 = -0. Let z(f) = f**3 - f**2 - 2*f + 3. Let m be z(w). Suppose 4*o - 51 = m*o. Does 17 divide o?
True
Let r(q) be the third derivative of -q**4/24 - 7*q**3/6 + 2*q**2. Let k be r(-10). Suppose -3*l + 3*a = l - 185, -l - k*a = -35. Is l a multiple of 11?
True
Suppose -3*r = -4*q - 47, -13 = 3*q - q - 5*r. Let w(f) be the third derivative of -f**4/12 + 17*f**3/6 - f**2. Is w(q) a multiple of 15?
True
Suppose 18*x - 22*x - 3524 = -4*p, -5*x + 3560 = 4*p. Is p a multiple of 14?
False
Suppose -3*s + 9*s + 54 = 0. Let k(t) = t**3 + 15*t**2 + 21*t - 4. Is 10 a factor of k(s)?
False
Let p(b) = 58*b - 71. Does 7 divide p(4)?
True
Suppose 15 = -5*j, -j - 3*j = -2*t + 20. Suppose t*a + 630 = 13*a. Is 35 a factor of a?
True
Suppose q - 10 + 28 = 0. Let t(c) = c**3 + 17*c**2 - 20*c + 15. Is t(q) a multiple of 25?
False
Let l(t) = -t + 14. Let n be l(13). Let k = -3 - 1. Does 10 divide k*(n - 57/12)?
False
Suppose -2*y = 5*c - 513, -c = 3*y - 451 - 325. Is 37 a factor of y?
True
Let h = 15 + -12. Let d be (-5 - h)*(47 - -1). Is 24 a factor of 0 - (0 + d)/4?
True
Let q(u) = -u**3 + u**2 + 2*u - 3. Let b be q(2). Let k be 1/b + 56/24. Suppose -3*c - 2*m = -55, k*c + 50 = 4*c - 2*m. Is c a multiple of 13?
False
Suppose d - c = 2*d - 105, -2*c - 320 = -3*d. Let z = d + -59. Is z a multiple of 23?
False
Let d = 2460 - 1632. Is d a multiple of 12?
True
Is 49 a factor of (21/(-4))/(45/(-8400))?
True
Let v be (-348)/(-22) + (-4)/(-22). Suppose -4*p + 640 - v = 0. Suppose 4*m = 3*a + 163, a + p = 4*m + 5*a. Is m a multiple of 12?
False
Let k = 6 - 2. Let u(j) = 0*j**2 - 1 + 3*j**2 + 0. Is u(k) a multiple of 10?
False
Let h(x) = -x**3 + 16*x**2 - 2. Let o be h(16). Let j = 29 + o. Suppose z = 9 + j. Is 18 a factor of z?
True
Suppose -19*w + 88 = -17*w. Is w a multiple of 4?
True
Suppose 2*v + 5*j = -12, 4*v + 0*j = 2*j. Let n be 0 + -4 + (153 - v). Does 16 divide (24/(-15))/((-5)/n)?
True
Let z(k) = -6*k. Let d be z(-2). Let h = 52 - d. Is h a multiple of 8?
True
Suppose 0 = 4*c + u - 11, -3*c + 2 - 10 = 4*u. Suppose -c*z + 0*z + 204 = 0. Is 17 a factor of z?
True
Suppose 2387 = 5*g - 4*a, 3*g + 3*a = 5*a + 1433. Does 4 divide g?
False
Let g = -4 + 9. Suppose 3*k - 231 = x, 4*k - g*x + x - 308 = 0. Suppose k = z + 21. Is 14 a factor of z?
True
Let s(c) = -c - 10. Let l be s(-7). Let j be (9 - 4/4) + l. Suppose -2*a + 0*a + 275 = j*w, -285 = -5*w - 4*a. Is 11 a factor of w?
False
Let h = -10 + 16. Let j(k) = -k**3 + 7*k**2. Is 9 a factor of j(h)?
True
Let w(i) = i**3 + 44*i**2 - i + 31. Is w(-44) a multiple of 5?
True
Let b(w) be the first derivative of -w**2/2 - 5*w + 2. Let g be b(-6). Is 8 a factor of (-1)/(4/(-40)*g)?
False
Let b = 17 + 13. Suppose -f - 2 + b = 0. Does 7 divide f?
True
Let p(l) = -l**2 + 5*l - 3. Let f be p(3). Let i be (7 + f)*(-23)/(-2). Suppose -4*r + r + 50 = 2*x, 5*x - i = -5*r. Is x a multiple of 10?
False
Let x(k) = 6*k - 9*k - 1 - 5 - 1. Let s be x(-4). Suppose -192 = -s*y + 93. Is y a multiple of 19?
True
Suppose 2*g - 3*g = -15. Suppose -3*u + g + 15 = 0. Let v = u - -2. Is v a multiple of 5?
False
Let f(c) = -3*c**2 - 23*c - 4. Is f(-6) a multiple of 12?
False
Let f(p) = 80*p**2 - 2*p + 1. Let t be f(-1). Let k = t - -58. Is k a multiple of 25?
False
Let m be 2536*33/54 - 2/(-9). Suppose -8*a - 2*a = -m. Is a a multiple of 14?
False
Let h(y) = 61*y + 1. Let m be h(-1). Let r = m + 22. Is 6 a factor of r/(-5) - 12/(-30)?
False
Let g = -5 + -7. Let k(n) = n**2 + 13*n + 15. Let o be k(g). Suppose 4*s - 41 = -4*l + 199, 0 = o*s + l - 176. Is 32 a factor of s?
False
Let v(n) = -n**3 - 9*n**2 + 13*n + 13. Let i be v(-10). Let h = i + 12. Let l = 1 - h. Is 6 a factor of l?
True
Let d(t) = 3*t**2 + 20*t + 11. Let g(n) = n**2 + 7*n + 4. Let b(s) = -4*d(s) + 11*g(s). Let p be b(-4). Is 5 a factor of (420/(-40))/(3/p)?
False
Suppose 5*h = -11 + 606. Let p = 47 + -100. Let g = h + p. Is g a multiple of 33?
True
Suppose 4*v = 2*s - 1800, 5*s - 9*v + 7*v - 4484 = 0. Does 18 divide s?
False
Let k = -34 - 178. Is 14 a factor of 1/(-3) + k/(-6)?
False
Let d(o) = -24*o**2 - 7*o - 10 + 43*o*