e of 4*m**3/3 + 49*m**2/2 - 73*m + 149. Is q(-23) a multiple of 37?
False
Suppose 0 = -8*g + 4*g + 12. Suppose 2*f = 9 + g. Let d = 33 - f. Is 13 a factor of d?
False
Let q(m) = 20*m + 251. Let h(p) = 30*p + 377. Let r(j) = 5*h(j) - 8*q(j). Does 6 divide r(-15)?
False
Let s(k) = 3*k + 11. Let q be ((-2)/3)/(6/207). Let w be s(q). Let u = -44 - w. Does 14 divide u?
True
Let y(w) = -4*w**2 + 26*w - 15. Let z be y(6). Let u(j) be the third derivative of -7*j**4/6 - 5*j**3/6 + 15*j**2. Is 17 a factor of u(z)?
False
Let u = -392 - -433. Suppose 5*p = -u + 3381. Is p a multiple of 74?
False
Let k(z) be the second derivative of -z**3/6 + 36*z**2 - 848*z. Suppose -4*i = i. Does 18 divide k(i)?
True
Let k be ((-4)/(-16))/(1/(-8)). Is k + -4*3/(-12) - -39 a multiple of 7?
False
Suppose -18 - 2 = -10*o. Suppose 12 = -3*r, -209 = -o*f - 5*r + 315. Does 27 divide f?
False
Suppose -7 - 15 = -b. Let c(i) = 23 + b - i + 0. Is c(0) a multiple of 22?
False
Suppose -3*y - 2370 = -2*a + 6516, 0 = -a - y + 4433. Is 17 a factor of a?
True
Suppose 0 = -s - 2*s - 9, 5*s = 5*g - 2660. Let y = -299 + g. Is 7 a factor of y?
False
Suppose -712*w = -716*w + 9256. Let m = 3307 - w. Is m a multiple of 59?
False
Suppose -6*g = 2*d - 5*g - 17055, 3*g + 42665 = 5*d. Is d a multiple of 74?
False
Let f(x) = x**2 + 9*x + 21. Let y be 4*(-3)/24*(-1 + 1). Let q be -9 + 3 + y + -3. Is f(q) a multiple of 4?
False
Let a = 114 - 118. Does 4 divide 4/(5/(-200)*-4) + a?
True
Suppose -6*k + 10*k = 16. Suppose -k*q = -h - 13, 2*h = -3*q - q + 22. Is q/12*129*1 a multiple of 9?
False
Let f(l) = 76*l - 144. Let k be f(2). Does 22 divide 66*(k - 20/5)?
True
Let m be (6/10 + 858/220)*-2. Is 29 a factor of ((-2)/(-5))/(m/(-3510))?
False
Let k(o) = -42*o - 52. Let d be k(-13). Suppose 499 = -3*b - s, -2*s - 9 = 3*b + d. Let m = b + 354. Is 16 a factor of m?
False
Let s be (-247 - 4)/(-1) + -3. Let y = 329 - s. Is 27 a factor of y?
True
Let b(o) = 252*o**2 - 120*o + 380. Is 23 a factor of b(3)?
False
Let u be 1 - 1/(-1 - -1 - 1). Suppose 5*z - d = 2*d + 78, u = -2*d. Let n = z - -27. Is n a multiple of 7?
True
Suppose 2*m - 5*z = 21, 0 = -m - z + 2*z + 9. Let c be (-44)/(-10)*750/75. Is 2*(2 + c/m) a multiple of 6?
False
Let w = 109 + -101. Suppose 673 + w = 3*i. Is 20 a factor of i?
False
Let l be 8 - 6 - 4/(3 + -4). Let a = l - -190. Is 28 a factor of a?
True
Is (-2220)/186 - -12 - 7873124/(-124) a multiple of 109?
False
Let a be (-6)/4*(-28)/(-42) - -145. Suppose -4*j = s - j - a, 5*j = 4*s - 593. Suppose 44*w - s = 41*w. Is 10 a factor of w?
False
Let s(y) = 2*y + 60. Let h be s(-18). Suppose h - 414 = -6*z. Suppose -70*d + 175 = -z*d. Is d a multiple of 22?
False
Let q = -214 + 226. Let s(i) = -i**3 + 15*i**2 - 25*i - 14. Is 13 a factor of s(q)?
False
Let a = -400 - -135. Let f = -31 - a. Is 14 a factor of f?
False
Suppose 154*l = 153*l + 4862 - 1165. Is l a multiple of 2?
False
Suppose 2*q - 36 = -5*v, 4*v - 8 = 8. Suppose 5*z = 15, q*x - 4*x = -5*z + 983. Is 22 a factor of x?
True
Suppose -26665 = -4*k + 5*i, i = -9*k - 13*k + 146515. Does 15 divide k?
True
Let k(s) = 59*s**2 - 48*s + 17. Is k(-6) a multiple of 7?
True
Let j(d) = 16*d - 1. Let v be 63 - 2*3/6. Let g = v + -60. Is j(g) a multiple of 4?
False
Suppose -f = -4*y + 185, 2*y + 8*f - 88 = 4*f. Suppose o - 13 = -5*u + y, -u + 343 = 5*o. Suppose -2*m + 239 = -o. Does 18 divide m?
False
Let w be (-2)/6 - 1848/(-36). Let k = 58 - w. Let i(n) = 25*n - 34. Is i(k) a multiple of 30?
False
Let t = 87277 - 57269. Is t a multiple of 46?
False
Let k be 6*(-2 - -3) + 21. Suppose r - k*r = -7254. Is r a multiple of 9?
True
Suppose -6*f - 936 + 76422 = 0. Is 72 a factor of f?
False
Suppose z - 28566 = -o, o - 142818 = -383*z + 378*z. Is 10 a factor of z?
False
Let t(s) = 6*s**3 - 7*s**2 - 4*s + 7. Let b(m) = -5*m**3 + 6*m**2 + 4*m - 6. Let f(o) = 3*b(o) + 2*t(o). Is f(-5) a multiple of 46?
False
Suppose 3 = -j, 0 = 2*c + j + 42 - 9. Let f be c/5 + 5/((-15)/(-48)). Suppose 14 = 14*w - f*w. Does 7 divide w?
True
Suppose -4*j = 5*p - 2, -11*p = 4*j - 7*p. Does 4 divide ((-172)/j)/(1/4)?
True
Let s(v) = v**3 + 20*v**2 + 46*v + 9. Let k(w) = -w - 47. Let m be k(-30). Is s(m) a multiple of 13?
False
Let x = -104 - -115. Let i(c) = c**3 + 4 - 6*c**2 + 3 - 44*c - 3 + 3. Does 8 divide i(x)?
True
Let a be 0 - (9618 + -3)/(-5). Suppose 0 = -15*z + 5643 - a. Is 8 a factor of z?
True
Let z be 8/(-3) - -3 - (-17)/3. Suppose -z*t + t = 30. Is 3 a factor of 0 - (1 - 4) - t?
True
Let t(k) = 6*k**2 + 30*k - 67. Does 180 divide t(26)?
False
Suppose 62332 = 2*p + 4*g, -3*g - 58851 - 3523 = -2*p. Does 19 divide p?
False
Let p(x) = x**3 - 22*x**2 - 25*x + 94. Suppose 1109 = 3*l + 1034. Is p(l) a multiple of 42?
True
Let q(u) = 3*u**3 + 10*u**2 - 18*u + 29. Does 72 divide q(16)?
False
Does 17 divide 1 + (-10230)/(-15) + 1 + 4?
False
Let z be (-198)/5*(-5)/2. Suppose -2*g + 221 + z = 0. Does 40 divide g?
True
Let f(d) = 631*d**2 + 2*d. Let r be f(-2). Suppose 14*a = -6*a + r. Is a a multiple of 14?
True
Let x = -4624 + 4657. Does 11 divide x?
True
Suppose -2*f + w = -3426, 0 = -3*f + 6*f - w - 5139. Suppose 5*t + 4*s - 2868 = 0, 3*t = -9*s + 4*s + f. Is t a multiple of 30?
False
Let u = -228 - -281. Suppose k + 3*x = 336 - u, -293 = -k - x. Is 11 a factor of k?
False
Is (119370/(-276))/(10/(-144)) a multiple of 10?
False
Does 11 divide ((-12)/(-18))/((-4)/18 - 65572/(-294723))?
True
Suppose 4*b + 135 = -565. Let r = -45 - b. Suppose 350 = 10*s - r. Does 6 divide s?
True
Let r be (-1)/(-2)*5*(-4 + 14). Let q = r + 160. Suppose -4*x + 3*h = -q, 3*h - 65 = 4*x - 5*x. Is x a multiple of 5?
True
Suppose 4*g = 4*v + 3*g - 21, -4*v + 4*g = -36. Suppose 0 = -v*b + 830 + 370. Is b a multiple of 50?
True
Suppose -2*c = -4*c - 4*j - 12, -5*j - 15 = 2*c. Suppose -3*m = -c*m + 84. Let k = 44 + m. Is k a multiple of 4?
True
Suppose 0 = 10*l - 3*l. Suppose 6*f - 2411 - 31 = l. Is f a multiple of 37?
True
Suppose 0*v - 6*v + 18 = 0. Suppose -p - 4*h + 80 = -0*p, v*h + 240 = 3*p. Is p a multiple of 5?
True
Is (17892/(-420) + 4/10)*-130 a multiple of 13?
True
Let o(w) = -w**3 + 16*w**2 + 2*w - 10. Let c be 2/3*(-18)/(-4). Suppose -5*k - c*j = -77, 0 = 2*k - 4*k - 4*j + 28. Is o(k) a multiple of 22?
True
Let c(r) = 38*r + 37. Let x(z) = 43*z + 38. Let y(p) = 5*c(p) - 4*x(p). Does 59 divide y(8)?
True
Suppose 116 = -j + 164. Is j a multiple of 6?
True
Suppose 112 = 2*l - 20. Suppose -4*d + l + 566 = 0. Suppose -7*c = -5*c - d. Is 17 a factor of c?
False
Suppose 0 = 3*m - 354 - 225. Suppose -m = -l + 39. Is 11 a factor of l?
False
Let k be (-1)/(-4) + (-4023)/(-4). Suppose -20*v + 24*v - 2447 + 983 = 0. Suppose v = 7*y - k. Does 28 divide y?
True
Let z be 2 - 0 - 3*(-4)/(-6). Suppose z = 5*i + 7 + 8, 145 = x - 5*i. Suppose -27*q - x = -32*q. Does 13 divide q?
True
Let o be (-2)/(18/(-165))*-15. Let v = 283 - o. Is 9 a factor of v?
True
Let t = -145 - -390. Suppose 0 = -12*d + 11*d + t. Is 5 a factor of d?
True
Suppose -86715 + 73629 = -34*o + 153718. Is o a multiple of 8?
False
Let w(q) = 12*q + 7. Let f be w(11). Let t(k) = 31*k**2 - k - 22. Let c be t(-5). Suppose 0 = 2*a + 3*a - 4*b - c, 5*b = a - f. Does 25 divide a?
False
Suppose 3*l + 8 = 4*j, 5*j + 3*l - 10 = -2*l. Suppose -3*u + 446 = -q, u - 147 = j*q - 0*q. Is u a multiple of 75?
False
Let a = 497 + 235. Is 8 a factor of a?
False
Let p = 4907 + -4501. Is p a multiple of 54?
False
Let g(v) = -3*v**2 + 13*v - 70. Let o(y) = -16*y**2 + 65*y - 351. Let k(i) = -11*g(i) + 2*o(i). Is 11 a factor of k(20)?
False
Let z = -38 - -115. Let g(a) = z + 23*a + 1 - 7*a - 10*a. Does 26 divide g(0)?
True
Does 17 divide (-595)/(-7 + 0)*(-242)/(-55)?
True
Let a = 43633 - 15995. Is a a multiple of 26?
True
Let q be 70/(-245) + 7886/14. Let h = q + -222. Is h a multiple of 16?
False
Suppose 4*r + 28 = 4*x, 3*x - 8 = -5*r + 5. Let g(j) = j**3 + j + 2. Let y be g(0). Suppose 0 = x*z - 98 + y. Does 7 divide z?
False
Suppose -83*u + 55748 = 98*u. Does 77 divide u?
True
Suppose -11*i = -9*i - 46. Let g = i - 19. Suppose -r = -g*p + 196, -21 = -2*p + 3*r + 77. Does 22 divide p?
False
Suppose 5*t - 108 = -38. Suppose 6324 = t*b + 20*b. Is 62 a factor of b?
True
Suppose 842 = 2*h - 250. Suppose 2*q - 2312 = -h. Suppose -5*z = 203 - q. Is z a multiple o