 x. Is d a multiple of 25?
True
Let d be (1 - -222) + 7/((-35)/10). Let q = -107 + d. Does 10 divide q?
False
Let h(w) = w + 14 - 2*w + 8*w**2 + 9*w + 0*w. Is 10 a factor of h(-4)?
True
Let d(j) = -j**3 + 7*j**2 - 3*j - 10. Let l be d(5). Suppose -5*p = t - 40, 9 = 2*p + 4*t - l. Is p a multiple of 7?
True
Suppose 6*n - 11*n = -4*d - 2164, 2*n - 867 = 3*d. Does 8 divide n?
True
Let w(i) = 66*i + 1. Let x = 3 - 0. Is w(x) a multiple of 7?
False
Suppose 8*x - 7 = 17. Suppose -4*w = 3*y - 306, -y + 226 = x*w + 3*y. Let j = w - 34. Is 22 a factor of j?
True
Let b(x) = x**3 + 8*x**2 - 13*x - 2. Let f be b(-7). Let z = 204 - f. Is 11 a factor of z?
True
Suppose 4*o - 3*y + 16 = y, 2*o + 11 = 3*y. Let c(v) = -108*v + 3. Is c(o) a multiple of 36?
False
Suppose 0 = u + 4*u + 75. Let q = u + 20. Suppose -q*y + 17 = -z - 144, 5*y = -z + 169. Is 11 a factor of y?
True
Suppose -2*o - n = -o - 621, -3*o - n + 1853 = 0. Is 27 a factor of o?
False
Let p be 1*2/(-2) + 3. Suppose -4*s - 212 = -6*l + l, -116 = p*s - 5*l. Is (s/(-28) - 0)*14 a multiple of 11?
False
Let h = 59 - 67. Is h/12 - 424/(-6) a multiple of 5?
True
Let t(j) = 20*j - 3 - 2*j - 2*j. Is 12 a factor of t(4)?
False
Suppose 4*d - 2*h - 10 = 0, d + 2 = 3*h - h. Suppose -5*c = -d*f - 3, 0 = 4*f - 17 + 5. Suppose -c*v + 75 = 21. Is v a multiple of 6?
True
Let f = 0 + 296. Let x = -192 + f. Is 13 a factor of x?
True
Let m = 2 + 1. Let s(r) = 16*r**2 - 2*r - 6. Is 12 a factor of s(m)?
True
Let s(m) be the third derivative of -m**6/120 - m**5/20 - m**4/4 - m**3 + 2*m**2. Let f(o) = o - 5. Let x be f(1). Is s(x) a multiple of 20?
False
Suppose 6*s - 36 = 3*a + 3*s, 0 = 2*a - 3*s + 24. Is 33 a factor of -22*(0 - (-18)/a)?
True
Let p = -291 - -325. Does 2 divide p?
True
Suppose 0*z + 7*z - 56 = 0. Suppose z*l - 64 = 6*l. Does 9 divide l?
False
Let u = -28 - -27. Let g(n) = 29*n**2 - n + 1. Is 31 a factor of g(u)?
True
Let g(l) = -3*l**3 - 5*l**2 - l + 9. Is 25 a factor of g(-4)?
True
Let b = 1 + 7. Let v be b - 3 - (-2 + 3). Suppose v*p = 5*p - 60. Is 12 a factor of p?
True
Suppose 0 = 2*k - 282 + 24. Is k a multiple of 4?
False
Let b(w) = 2*w + 31. Does 3 divide b(5)?
False
Let j = 21 - 26. Let k be 8616/20 + (-1)/j. Does 26 divide k/8 - 16/(-128)?
False
Let v = -40 - -40. Suppose v = -h + 3*q + 59, 5*h - 251 = -0*q + 4*q. Is 26 a factor of h?
False
Suppose -n - 3 = -0*n - z, 3*n + 2*z = 6. Suppose 2*l + 3*l = n. Does 2 divide (-6*(l + -1))/2?
False
Let z(o) be the third derivative of o**6/120 - 7*o**5/60 - 5*o**4/6 + o**3/3 - 25*o**2. Does 17 divide z(11)?
False
Let x(a) = -a**2 + 6*a + 7. Let j be x(7). Suppose 4*s = 2*h - j*h + 20, s + 4*h - 5 = 0. Let g = 25 - s. Is g a multiple of 13?
False
Let w(p) = -p**2 - 4*p + 34. Let j be w(-8). Suppose 6*x - x = 570. Suppose -j*g - g = -x. Does 17 divide g?
False
Let b = 6 - -4. Suppose 0 = b*k - 1664 + 524. Is k a multiple of 19?
True
Suppose 4*z = 5*j - 4846, -3*z - 2907 = 9*j - 12*j. Does 10 divide j?
True
Suppose 24 = x + 3*b, -x - 2*x + 97 = 4*b. Suppose 4*l + s = l + 16, l - 9 = -4*s. Suppose y - l*k + 3 = 0, 5*y - 3*y - x = k. Is 10 a factor of y?
False
Suppose 129*l - 144*l = -285. Suppose -3*c - 32 = -5*c. Suppose -108 = c*h - l*h. Is h a multiple of 12?
True
Suppose 8 = 2*j - 2. Suppose -2*g = f + 2, 0*f + 2*f - j*g = 5. Suppose f = -5*k + 3*v + 295, 0 = k - 2*k - 3*v + 41. Does 14 divide k?
True
Suppose -3*g + 4 = 4. Suppose -4*a + 6*a - 82 = g. Does 26 divide a?
False
Suppose -2*c - 5*h - 27 = 278, 0 = 3*c + 3*h + 435. Is -6*((-9)/(-6))/(45/c) a multiple of 7?
True
Suppose -80 + 24 = -4*b - 4*a, -70 = -5*b + a. Let r = -36 + 465. Is (-4)/b + r/7 a multiple of 18?
False
Let x = 69 - -589. Does 65 divide x?
False
Let r(w) = w - 26. Let x be r(16). Is 3 a factor of (-2 - 0)/(1/x)?
False
Suppose o - 407 + 25 = 0. Let h = -238 + o. Does 12 divide h?
True
Suppose -43 = -3*u - 2*w, -5*u + 43 = 2*w - 30. Does 46 divide (2/3)/(10/u) + 45?
True
Let b be 3/(-6)*3*-4. Suppose -b - 4 = -2*t + 4*q, 0 = -t + 5*q + 17. Does 12 divide ((-1)/t)/(7/483)?
False
Let j = 437 + -213. Does 10 divide j?
False
Let p be -3*(5/5 + -2). Suppose 225 = o - p*h, h + 474 = 2*o + 3*h. Does 13 divide o?
True
Let p = 29 - 22. Suppose -p*f - 165 + 592 = 0. Does 13 divide f?
False
Suppose 0 = 6*x + 1704 - 9984. Is 5 a factor of x?
True
Let s(j) be the third derivative of j**6/120 + 3*j**5/20 - j**4/3 - 4*j**3/3 + 4*j**2. Does 14 divide s(-9)?
False
Let l(v) be the third derivative of -v**6/120 - v**5/10 + v**4/8 + 2*v**3 + 19*v**2. Is l(-7) a multiple of 20?
True
Is 0/(-7) - -394 - 2 a multiple of 32?
False
Suppose -824 = -2*n - 3*w, -n + 2018 = 4*n - 3*w. Does 10 divide n?
False
Let s = -7 + 10. Suppose -4*n + s*n = -2. Suppose l = n*l - 18. Is 6 a factor of l?
True
Suppose -3*v - 23 + 8 = 0, -5*r = -3*v - 40. Suppose 4*x = -4*c + 244, r*c + 27 = x - 4. Is 7 a factor of x?
True
Is 24 a factor of ((-24)/(-16) - 1)/(2/11328)?
True
Suppose -1 = m + 2. Let y be 24*(15/6 + m). Let x(o) = -o**2 - 14*o + 10. Is 13 a factor of x(y)?
False
Suppose 2*x - 2 = 2. Let r(d) = 5*d**2 + 2*d**2 - 7*d - 3 - 8*d**x - 3*d. Does 9 divide r(-7)?
True
Let t(u) = 2*u + 38. Let s be 34/3*-1*(-78)/52. Is 12 a factor of t(s)?
True
Suppose -3*w - t = -2*w - 24, 2 = -t. Is 36 a factor of 2/(-9) - w*75/(-27)?
True
Let w(l) = l**3 + 18*l**2 - 22*l - 104. Let a be w(-18). Let n(f) = -3*f. Let j be n(-1). Suppose u = -j*u + a. Does 20 divide u?
False
Let o(u) = -73*u - 32. Let m be o(-9). Suppose -14*x + 9*x = -m. Is x a multiple of 35?
False
Suppose -10 = 5*g, 2*g = -2*r + 5 + 3. Suppose -184 = r*i - 8*i. Is i a multiple of 23?
True
Let s(n) = n**3 + 9*n**2 - 7*n + 11. Let u = 27 - 35. Is 24 a factor of s(u)?
False
Let y(r) = 7*r - 58. Let t be y(9). Suppose -g = -5*j - 36, -t*g + 2*j + 327 = 55. Does 5 divide g?
False
Suppose 4*r = 5*y + 261, 7*y - 3*r = 2*y - 262. Let d = y - -65. Is 4 a factor of d?
True
Let u be 15*1*(-14)/(-42). Let b = 69 - u. Does 16 divide b?
True
Suppose 3*c + 4*p = 13694, 50*p - 45*p = 25. Is c a multiple of 40?
False
Let w = 104 + -11. Suppose 2*s + w - 111 = 0. Is 3 a factor of s?
True
Let d be -167 + (0 + 1 - 4). Does 14 divide (-6)/36 - d/12?
True
Let z(d) = d**2 - 9*d - 58. Is 6 a factor of z(16)?
True
Suppose 2*g = 5*z + 28, -3*g + 8 = g + 2*z. Suppose -2*a - g*q = -24 - 28, -5*a + 117 = -3*q. Is a a multiple of 12?
True
Let f = 45 + 0. Is (-14)/(-6)*(-6 + f) a multiple of 13?
True
Let n = 18 - 14. Let u be (-1208)/(-136) - n/(-34). Suppose 2*t + 5*g - 84 = 0, -141 - u = -4*t - g. Is 5 a factor of t?
False
Let o = 25 + -16. Let p = o - 6. Suppose p*f - 42 = 2*k - 6*k, 4*f = k + 75. Is f a multiple of 18?
True
Does 30 divide (-8)/(-12) + ((-2737)/(-3) - 4)?
False
Suppose t = -0*t - 6. Let g = t - -10. Suppose -h - h + g*z = -60, 2*h - 5*z - 62 = 0. Does 13 divide h?
True
Let r = 101 - 60. Suppose 3*b + 37 = 3*s + 88, -2*b - 5*s + r = 0. Is b a multiple of 18?
True
Let l(y) be the second derivative of y**4/12 + y**3 + y**2/2 - 5*y. Let w be 186/(-24) - 1/4. Is l(w) a multiple of 17?
True
Let v be -10*4/8*-2. Let s(k) = k**2 - 9*k - 6. Let d be s(v). Suppose -d*l = -41 - 79. Is 15 a factor of l?
True
Let j(x) be the second derivative of x**3/6 - x**2/2 - 3*x. Let n be j(3). Does 9 divide 27/n*(-2 + 4)?
True
Let s = -23 + 7. Let q be (45/(-30))/(6/s). Suppose 26 = q*c + 4*b - 146, -b - 1 = 0. Does 22 divide c?
True
Let j = 57 + -54. Suppose -399 = -4*z - j*z. Is z a multiple of 22?
False
Let u = 87 - -97. Is u a multiple of 12?
False
Suppose 63 = b - 4*i, -5*b + 3*i = -2*b - 216. Is b a multiple of 5?
True
Let l(f) = 37*f**3 - 2*f**2 - 15*f + 66. Does 19 divide l(5)?
False
Is -111*5*(-4 - (-4)/3) a multiple of 32?
False
Let g(c) be the second derivative of 4*c - 1/20*c**5 + 0*c**2 + 0 + 1/2*c**4 + 1/2*c**3. Does 9 divide g(6)?
True
Is ((-12630)/(-48) - -4) + 1/(-8) a multiple of 48?
False
Suppose 0 = -4*x - 12, -5*m - 4*x - 66 = -244. Is m a multiple of 2?
True
Let b = 275 + 1040. Is 146 a factor of b?
False
Suppose 2*c + 13 = -b, 2*b + 2*b = -5*c - 40. Let i(t) be the first derivative of t**4/4 + 7*t**3/3 + 7*t**2/2 + 5*t - 15. Does 7 divide i(c)?
False
Suppose -14 - 26 = -10*c. Suppose 0 = q - 0*i + c*i - 10, 4 = 2*i. Is 2 a factor of q?
True
Is 23 a factor of ((-2)/(-4) - (-2)/