, 4 = 5*a + m*p. Suppose a = 2*x, 0*x - 195 = -3*i - 3*x. Does 11 divide i?
False
Does 5 divide (-8 + -3 + -3 + 17)*(97 + -2)?
True
Let r = 1737 - 1149. Does 12 divide r?
True
Suppose 13092 = 3*z - 5*x, 51*z - 47*z - 17491 = -5*x. Is 8 a factor of z?
False
Let f be (3/(-3) - 2)*(-7 + 64). Let l = 946 + f. Is 25 a factor of l?
True
Let r(k) = 7*k**2 + 7*k - 65. Let j(o) = 6*o**2 + 6*o - 66. Let v(y) = 6*j(y) - 5*r(y). Does 4 divide v(13)?
False
Let d(c) = 39471*c**2 - 13162*c**2 - 13153*c**2 - 2*c + 7 - 13154*c**2. Let y be -1 + 0/(-2) + -3. Is 11 a factor of d(y)?
False
Let d be ((-116)/(-3))/((-11)/(-1551)). Suppose 8*r - 3988 = d. Is 66 a factor of r?
False
Let b be (-30)/(-4)*(-4)/12*2. Is 4 a factor of (108/(-16))/(b/20)?
False
Let q(c) = -52*c + 2529. Does 2 divide q(42)?
False
Suppose 9*f = 9022 + 53429. Does 27 divide f?
True
Let x = 42388 - 8521. Is x a multiple of 71?
True
Let f(t) = -2*t**2 + 9*t + 5 - 2*t**2 - 3*t + 3*t**2. Let s be f(5). Let d(z) = -z**3 + 10*z**2 + 14*z - 33. Is d(s) a multiple of 28?
False
Let a(m) = 5*m - 48. Let f be a(11). Suppose -17*u = f*u - 3096. Does 14 divide u?
False
Let a = 474 - 468. Let h = a + 250. Does 8 divide h?
True
Let b = -120 + 124. Suppose -2*t + 48 + 1 = 3*n, -4*n - 108 = -b*t. Is 10 a factor of t?
False
Let t(w) = 18*w - 13. Let c be t(5). Let p = c + -77. Suppose -2*l + 3*z = -3*l + 36, 3*l - 2*z - 119 = p. Is l a multiple of 12?
False
Let r(t) = -673*t + 119. Let b be r(-3). Let m = -1477 + b. Is 16 a factor of m?
False
Let k = -760 - -4876. Is 6 a factor of k?
True
Let f(d) = -d**3 - d**2 + 2*d + 13. Let r = 144 - 149. Does 27 divide f(r)?
False
Let a(i) = -i**3 + 8*i**2 + 102*i + 42. Is a(13) a multiple of 17?
False
Suppose -a - 3*r = -0*a - 1568, 3*a = r + 4684. Suppose -17*x + a = -3742. Is x a multiple of 54?
False
Let k be (34/(-17))/((-2)/39). Suppose -2*a = a - 3*z - k, -3*z = 3*a - 51. Is 9 a factor of 2 - 12*(-10)/a?
False
Suppose 99*m - 101*m = -8. Suppose 0 = 2*o + 2*o + m, f + 437 = -2*o. Let q = -284 - f. Does 43 divide q?
False
Suppose -10*u - 20*u + 236438 = 11588. Is 59 a factor of u?
False
Suppose 2*t = -0*t + q - 436, 5*q + 412 = -2*t. Let d = t - -666. Suppose -3*g + 2*n = -649, 2*g + 2*n + n - d = 0. Is 10 a factor of g?
False
Does 91 divide ((-6708)/30)/(1/((-35)/(-69)) + -2)?
True
Suppose -81*x = -27*x - 2718846. Is x a multiple of 221?
False
Let h(a) = 7*a**2 - 5*a - 17. Let u(j) = 29*j + 179. Let m be u(-6). Does 7 divide h(m)?
True
Suppose -547872 = 54*n - 97*n + 11*n. Does 39 divide n?
True
Let g = 3353 + -1447. Is 11 a factor of g?
False
Suppose 76618 + 553463 = 19*d + 122800. Is d a multiple of 20?
False
Let t = 437 - 430. Suppose 0 = -t*m + 641 + 913. Does 5 divide m?
False
Let v(m) = m**3 - 7*m**2 + 16. Let s be 18/(-15)*(-30)/(-12). Let k be 1 - (3 + s) - -6. Does 4 divide v(k)?
True
Let r be (238/17)/(-2*1*-1). Does 21 divide (36 - 5)/(r/182)?
False
Let t(l) = 2*l**3 - l. Let n be t(1). Suppose n = -j - 0*j. Is 27 a factor of 119 + j + 2 + -2?
False
Suppose 40 = -7*o + 404. Does 27 divide o/104 - 646/(-4)?
True
Let l(o) be the second derivative of -o**5/20 - o**4/12 + 13*o**3/6 + 24*o**2 - 93*o + 1. Does 17 divide l(-7)?
False
Let f(d) = 81*d**2 + 22*d - 201. Does 77 divide f(8)?
True
Suppose 133 = 5*x + 18. Suppose 0 = 15*l - x*l + 72. Suppose l*t - 72 = -0*t. Does 8 divide t?
True
Let w(l) = -l**3 + 19*l**2 - 16*l + 7. Let k be w(18). Is 20 a factor of k*11 - (-29 - -22)?
True
Suppose 0*u + u = 5*u - 2256. Is 6 a factor of u?
True
Suppose -4*j + 18942 = -3*q, 2*j + 3*q = 4*j - 9468. Does 133 divide j?
False
Let o = -151262 + 222773. Is o a multiple of 363?
True
Suppose 4*x = 7 - 23. Let l(d) be the second derivative of -d**5/20 + d**4/12 + d**3/6 + 9*d**2/2 - 169*d. Is l(x) a multiple of 17?
True
Does 218 divide (-8)/68 - ((4 - 1) + (-9075160)/1292)?
False
Suppose 55*b - 4*l = 59*b - 20, 3*l = 5*b - 41. Suppose 0 = -b*s + 1531 + 65. Is s a multiple of 19?
True
Let d = 5569 - 4149. Is 59 a factor of d?
False
Let f(x) = -6*x - 13. Let o be f(5). Let j = o - -47. Does 3 divide 2 + (j - 3)*4?
True
Suppose 0 = 3*a - 2*k - 5324, 4*k - 5 = 15. Suppose 31*y - a = 17*y. Does 13 divide y?
False
Suppose 55 + 74 = 3*j. Let b = j - 61. Let r = -14 - b. Is 2 a factor of r?
True
Let b(k) be the third derivative of 13*k**4/24 + 16*k**3 + 3*k**2 + 8. Is 5 a factor of b(8)?
True
Let i(t) = -3*t + 14. Let n be 6*1*(3/(-2) - -1). Is i(n) a multiple of 23?
True
Let i = 379 + -379. Let f(k) = 5*k**2 + 2*k + 207. Is f(i) a multiple of 6?
False
Let z(g) = -158*g**3 + 31*g**2 - 3. Let j(p) = -53*p**3 + 11*p**2 - 1. Let w(b) = -11*j(b) + 4*z(b). Is 15 a factor of w(-1)?
False
Suppose 0 = -31*t + 642 + 9. Is 53 a factor of (t + 3)/(-6) - -216?
True
Let l = -218 + 215. Is 9 a factor of ((-20)/(-7) + l)*-230*7?
False
Let o(w) = -28*w + 883. Does 5 divide o(0)?
False
Let j = 921 - -1343. Does 8 divide j?
True
Suppose -7*k = -2327 - 683. Let z = k - 185. Is z a multiple of 35?
True
Suppose 2*x - 506 = -b, 18*x = 13*x - b + 1256. Is 7 a factor of x?
False
Suppose -34 = -p + 16. Let a = p - 52. Let k(m) = -17*m - 17. Is k(a) a multiple of 7?
False
Let b(l) = 2*l - 18. Let d be b(8). Let s be 52/(-26) + (-154)/d. Is 9890/s - 2/(-15) a multiple of 33?
True
Suppose 3*n = 2*n + 3, -2*n - 330 = -4*z. Suppose t = 5*b + 58, -88 = -4*t + 5*b + z. Is t a multiple of 2?
True
Let d(h) be the second derivative of -h**5/15 + 5*h**4/8 + 2*h**3/3 + 9*h. Let t(k) be the second derivative of d(k). Is 42 a factor of t(-9)?
False
Let f(n) = -4*n**2 + 7*n + 5. Let x be f(2). Suppose 5*p - 432 = 6*a - 4*a, 4*p + x*a = 364. Is 22 a factor of p?
True
Let m(k) = -4*k**2 - 59*k + 83. Let w be m(-16). Suppose r + 20*y - 677 = 16*y, w*r + y - 1998 = 0. Is 10 a factor of r?
False
Suppose -4*p - p - 10 = 0, 4*k - 4*p - 8 = 0. Suppose k = -5*u - 3 - 17. Is 53 a factor of (-3 + u/12)/(10/(-645))?
False
Is 1 - (4/22 - 43137/33) a multiple of 5?
False
Is 73 a factor of ((-292)/(-6))/((-8)/5 - (-38324)/23790)?
True
Let a = 261 + -261. Suppose p - 54 = -k, -4*k = -p - a*p - 211. Does 53 divide k?
True
Let w(m) = -m**3 + 12*m**2 - 3*m - 5. Let u be w(10). Let b(a) = a**3 + 2*a**2 + 32. Let i be b(0). Suppose i*k + u = 33*k. Does 12 divide k?
False
Suppose 4*k = -b + 70, 4*b + 3*k + 0*k - 280 = 0. Suppose 0 = -330*v + 305*v + 450. Let j = b - v. Does 7 divide j?
False
Suppose 84*n = 87*n + 3, 3*k = n + 5656. Is k a multiple of 65?
True
Let h = 60 - 45. Let q = h + -24. Let z(l) = l**3 + 9*l**2 - 4*l. Does 6 divide z(q)?
True
Does 26 divide (365/(-2))/((-56)/560)?
False
Suppose 0 = -37*j + 267560 - 4416. Does 11 divide j?
False
Does 20 divide 51/255 + (-5958)/(-10)?
False
Let p = -112 + 42. Let o = 77 + p. Suppose 2*b = q - 86, 2*q + o*b = 9*b + 174. Is q a multiple of 11?
True
Is 10/6 + ((-34322736)/63)/(-28) a multiple of 11?
True
Suppose -2*u + 4*z = 3*u - 4692, -2*u + 1875 = -z. Suppose -u - 104 = -20*r. Is 5 a factor of r?
False
Suppose -g - 16646 = -5*g + 2*n, 5*g = 3*n + 20808. Is 57 a factor of g?
True
Let m = -4 + 6. Suppose 0 = 3*b - 7*b + 4*j + 1040, -4*b + m*j + 1034 = 0. Let h = b - 100. Is 48 a factor of h?
False
Let d(c) = 28*c - 8. Suppose 4*b + b - 25 = 0. Suppose -4*t = -4, 0*w + 2*w = -b*t + 13. Is 26 a factor of d(w)?
True
Suppose 170*i = 143*i + 995166. Does 126 divide i?
False
Suppose 125*m = 37*m - 34*m + 550830. Is 35 a factor of m?
True
Suppose -40105 = -21*k + 53871 + 22952. Is k a multiple of 35?
False
Let s(l) = -l**2 - 7*l. Let u be s(-5). Let c(m) = 1 + u*m**2 + m**3 + 8 + 7*m - 10. Is 4 a factor of c(-9)?
False
Let x be (1 - -1 - -1)*(-1 - -2). Suppose 0 = -4*b + 5*g - 23, 0 = x*b - 4*b + 5*g - 17. Does 15 divide (-2608)/(-72) - -1*b/9?
False
Suppose 4*i + 269 = -h, 3*i + 271 = h - 2*h. Let y = -73 - h. Does 18 divide y?
False
Let d = 240 - 20. Let k be d - 4 - (-8)/2. Suppose 5*x - k - 105 = 0. Does 5 divide x?
True
Let r(x) = -451*x**3 - x**2 + 6*x - 5. Let j be r(1). Let a = -721 - j. Let g = 529 + a. Is 37 a factor of g?
True
Let v(f) = -2*f - 7. Let s be v(-14). Let q be 2/(-5 - -7) + s. Let b = q + 56. Is b a multiple of 26?
True
Suppose 2*u + 7 = -3*z + 38, -60 = -5*z - 5*u. Suppose -11*m = -z + 29. Does 16 divide m*150/(-8)*(-60)/(-18)?
False
Let b be ((-10)/6)/(-5) - (-330)/9. S