ultiple of 11?
False
Let x = -332 + 959. Suppose -4*z = -x - 361. Does 20 divide z?
False
Suppose -3*c = -6*p + 27, 0 = -7*c + 4*c - 15. Let v(w) be the second derivative of -w**3/6 + 6*w**2 - 2*w. Is 2 a factor of v(p)?
True
Let d(z) be the first derivative of -z**4/2 + 19*z**3/3 + 7*z**2 - 12*z + 338. Let h = -2 - -12. Is 28 a factor of d(h)?
True
Let h(p) = 983*p**2 - 485*p + 2410. Is 32 a factor of h(5)?
False
Let a(d) = -d**2 - 6*d - 27. Let v be a(6). Let f = 721 + v. Is f a multiple of 91?
False
Let s be 1*(-4113)/(-3) - 4. Suppose 5*j = -x - s, 1658 = -4*j - 4*x + 558. Let b = -130 - j. Is b a multiple of 13?
True
Let d be (-436)/((5 + 42/(-9))*6). Let m = d - -627. Is 59 a factor of m?
False
Let u = 13211 - 5176. Is u a multiple of 14?
False
Let h(w) = 26*w**2 + 38*w - 68*w**2 + 102 + 43*w**2. Is 9 a factor of h(-39)?
False
Let x = 3406 - 3307. Is 11 a factor of x?
True
Let w(j) = -3*j**3 + 10*j**2 - 3*j + 8. Let z be w(4). Is 17 a factor of (6/4)/(z/(-5760))?
False
Let v(w) = 884*w**2 - 97*w - 519. Is 34 a factor of v(-5)?
True
Suppose -f + h = -5, f - h = 4*h + 13. Suppose 0 = -z + u - f, -3*z - 5*u + 10*u - 5 = 0. Let w = 67 + z. Is 6 a factor of w?
False
Suppose 3 = 3*s - 3*p, s + p = -3*p + 21. Suppose 0 = -n + r + 276, -3*n + 54 = s*r - 742. Does 49 divide n?
False
Let o = 1043 + -99. Let z = o - 658. Is 78 a factor of z?
False
Suppose 4*s - 311 = 5*j, 0 = -2*j + 19*s - 20*s - 127. Let t = j - -142. Is t a multiple of 5?
False
Let n(w) = 1101*w**3 + 25*w**2 - 1099*w**3 + 19*w**2 - 4*w + 24. Does 16 divide n(-22)?
True
Let g(i) = -17*i**2 + 11*i + 4. Let y be g(-6). Let x = y - -1048. Does 17 divide x?
True
Suppose -7733 = -l + 12*l. Let f = -330 - l. Is f a multiple of 23?
False
Suppose 121*t + 30*t - 258398 - 135561 = 0. Does 71 divide t?
False
Is (((-10458)/28)/9)/(2/(-4) + 0) a multiple of 10?
False
Let q = -251 + 260. Let l(b) = b**2 + 62. Is l(q) a multiple of 11?
True
Suppose -3*a + 46202 = 10*a. Is 24 a factor of a?
False
Suppose 5*a - 1244 = -3*o + o, 1875 = 3*o + 3*a. Suppose 2*w + 10 = 7*w. Suppose 3*s + w*i - 1242 = -s, i = 2*s - o. Does 10 divide s?
False
Let h(j) = -14*j + 5. Let r be 8/12*3*(-47)/2. Let v = -53 - r. Is 21 a factor of h(v)?
False
Let z = 49 + -43. Let r be 4/z*(1 - -8). Suppose -5*b + r*b - 11 = 0. Is b a multiple of 11?
True
Suppose 178*d = 356*d - 1101464. Is 52 a factor of d?
True
Suppose -18*w = -23*w + 340. Let x be (w - -5 - (0 - -3)) + -3. Let t = x - 4. Is t a multiple of 9?
True
Let m(y) = -2*y + 18. Let r be m(8). Suppose -5*n - h - 36 = -0*h, -h = r*n + 15. Let c(t) = -8*t - 15. Is 14 a factor of c(n)?
False
Let i(h) = 3*h - 36. Let v(a) = a**2 + a - 16. Let b be v(0). Let k be i(b). Let c = k + 162. Is c a multiple of 39?
True
Let g(z) be the first derivative of -z**4/4 + z**3 - 19*z - 4. Let x = -139 - -135. Is 25 a factor of g(x)?
False
Let j = -325 + 335. Is j/55 - (-1 - (-1184)/(-22)) a multiple of 2?
False
Suppose 2*m - 24*y - 52889 = -25*y, 4*y - 36 = 0. Is 10 a factor of m?
True
Let u be (16/12)/(-4)*-12. Suppose -690 = -u*d + 618. Suppose -2*v - 4*m + 39 + d = 0, 4*v - 4*m - 792 = 0. Is v a multiple of 22?
False
Suppose -3*x - 534 = 3*v, -5*v - 20 = x + 142. Let y = x - -189. Does 2 divide y?
False
Suppose -3*u - g = -10253, 6*u - 4*g = 10*u - 13676. Is 17 a factor of u?
True
Let g(x) = -x**3 - 8*x**2 - 4*x - 12. Let q be g(-8). Let p be q/6*(-3)/(-2). Is -1*12/p*(-20)/2 a multiple of 3?
True
Suppose 44*c - 26*c = 6*c + 10332. Is 31 a factor of c?
False
Is ((-213408)/(-364))/((-3)/(-14)) a multiple of 16?
True
Suppose 2*t + 2*w - 106 = 0, 4*t = 7*t - 4*w - 159. Let n = t - 18. Suppose -n*c - 128 = -37*c. Does 16 divide c?
True
Let w = 21 - 18. Suppose 0 = w*m - 10*m. Suppose m*q + 3*q - 180 = 0. Does 10 divide q?
True
Let d = 8682 - 8370. Does 3 divide d?
True
Suppose -16446 + 752601 = 21*n. Does 11 divide n?
False
Suppose 44*m = 41*m + 9. Let p be (-4)/24 + m + (-44)/24. Suppose 0 = -3*k - p + 76. Is k a multiple of 5?
True
Suppose -3*z + 0*g - g = -44, 3*g = z - 8. Suppose -8 = -2*x + 3*i, 2*x + 3*i - 7 = 1. Suppose -3*r - z = -x*r. Is 6 a factor of r?
False
Let q be 1200/(-14) + ((-4)/7)/2. Let v = q + 112. Suppose 2*h = r - v, -4*h = r - 3*h - 17. Is r a multiple of 2?
True
Suppose -3*b + 4*n + 3683 = 0, -58*b + 60*b - 5*n - 2467 = 0. Does 37 divide b?
True
Let r = -188 + 40. Is 9 a factor of 1/(14/28 - (-70)/r)?
False
Let a = -778 + 2544. Suppose -5*y + 5*g - g = -a, -y + 342 = 2*g. Is 30 a factor of y?
False
Let d = 354 + -354. Let m(v) = 11*v + 34. Is m(d) even?
True
Let z = 18416 + -15238. Does 33 divide z?
False
Let t be (-238)/51*18/(-4). Let j be ((-6)/(-4))/(t/14). Suppose 0 = -r + 4 + j. Does 3 divide r?
False
Suppose -19*h = -20*h + 2. Let a = -3 + h. Is 10 a factor of a/4 - (-3703)/28?
False
Let f(v) = 24*v**2 - 15*v - 105. Is 15 a factor of f(-15)?
True
Suppose 70*w - 251360 - 800000 = 58350. Is w a multiple of 9?
False
Suppose -j - 33788 - 23027 = -4*i, 0 = i + 5*j - 14209. Does 219 divide i?
False
Suppose -18*y + 6718 = -2732. Does 15 divide y?
True
Suppose 0 = -17*u + 115 + 1228. Let z = u - -10. Is 10 a factor of z?
False
Let l(q) = -2*q**2 + 29*q - 23. Let d(y) = 4*y + 20. Let r be d(-9). Let i be l(r). Does 6 divide i/(-9) - (-1 + -2)?
True
Suppose 56*j - 27*j = -29493. Let x = j + 1666. Is 11 a factor of x?
True
Is 28 a factor of 4284 - 1 - (-17 - (14 - 25))?
False
Suppose 14*n + 53 + 87 = 0. Does 34 divide (-810)/(-12) - 5/n?
True
Let h(y) = 8*y - 18. Let s(w) = -4*w + 9. Let g(j) = 4*h(j) + 9*s(j). Let x be g(-9). Suppose -d + x = 2*d. Does 3 divide d?
True
Suppose 2*t + 0*t - 24 = 0. Let c be t/42 - (-176)/(-28). Is (-33)/(c/(-14)*(-98)/140) a multiple of 12?
False
Suppose 11*n - 4*n - 6384 = 0. Suppose -36*c + 40*c - n = 0. Is c a multiple of 38?
True
Suppose -15*g + 12*g = -6. Let q(b) = 3 - 6*b**2 + 11*b**g - 4*b - 11 + b**3 + b. Does 11 divide q(3)?
True
Let b be 14/(-2)*220/154. Let a be 5*(1 - b/(-25)). Suppose -5*r = -25, -3*r - 584 = -a*c + 2*r. Is 29 a factor of c?
True
Does 17 divide 76720/16 + 3 + -1 + (1 - 1)?
False
Let s(u) = -1330*u - 3650. Is s(-17) a multiple of 15?
True
Suppose 11726 = -618*m + 631*m. Does 22 divide m?
True
Let g = 325 - 327. Is 65 a factor of ((-2099 + -1)/6)/g?
False
Let z be (68/20 - 3)*495. Suppose 32*c - z = 38*c. Is 10 a factor of 200 + 2*(c/6 - -4)?
False
Suppose 0 = 4*a - 5*h - 1412, 4*h - 74 = a - 438. Suppose 4*x + x - a = -2*y, 0 = 2*x + 5*y - 135. Is 35 a factor of x?
True
Suppose 80056*i - 80068*i = -369444. Does 17 divide i?
True
Suppose 2*j + 6 = 4*j. Let w(i) = 8*i - 11. Let v be w(j). Let g(y) = y**2 - 8*y - 8. Does 19 divide g(v)?
True
Let a = -984 - -5019. Suppose -6*c - 5*m + a = -c, 3*c = m + 2433. Does 13 divide c?
False
Let j(t) = -7*t**3 + 2*t**2 - t. Let y be j(1). Is 4 a factor of (6/9)/(y/(-531))?
False
Is 73 a factor of 5686 + 4 + 8/(-4) + 6?
True
Let c(n) = 5*n - 13. Let m be c(3). Suppose -3*l - h + 15 = m*h, -3*l + 5*h = -7. Suppose -5*x + 426 = 3*i - 261, l*x - 556 = -4*i. Is x a multiple of 19?
False
Suppose -4*m + 12846 = -2*a - 6308, -4*m - 2*a + 19174 = 0. Suppose -5*v + m = 1071. Does 59 divide v?
False
Suppose -2*p = 5*l - 87681, -4*p - 23562 = -4*l + 46594. Is l a multiple of 341?
False
Suppose a + 2*y = 14591, 72955 = 137*a - 132*a + 2*y. Is a a multiple of 20?
False
Let f(p) = 3*p**2 + 20*p. Let n be f(-18). Suppose -n = -3*h - 3*x, -819 = 3*h - 7*h - x. Is 16 a factor of h?
False
Let r = -17910 + 57469. Is 15 a factor of r?
False
Let d be 1485/(-10)*8/6. Let a = d + 348. Is a a multiple of 10?
True
Let u = 3708 - 1510. Is 7 a factor of u?
True
Suppose -11*q - 212 + 674 = 0. Suppose 2*o - 7*o = -4*p - 148, -4*p - 144 = -4*o. Let a = q + p. Does 3 divide a?
False
Suppose 0 = 28*b - b + 142*b - 1191788. Is b a multiple of 43?
True
Let m be 4*-2*(-27)/18. Let j be m/(-28) + 265/(-35). Does 28 divide (-446)/j + (-13)/(-52)?
True
Let g(y) = 5*y**2 - 16*y + 24. Let p be g(18). Suppose -p = -2*b - 1030. Is b a multiple of 30?
False
Let q(c) = 94*c + 18. Let w be -1 + 2 - (-8 - (2 + -10)). Is q(w) a multiple of 16?
True
Suppose -354 = -2*i - 5*o, -290 - 382 = -4*i - o. Is 4 a factor of i?
False
Suppose -7*n - 15 = 5*k - 2*n, -k - 3 = 2*n. Is 18 a factor of (38 + 5*k/(-15))*6?
True
Su