be o(-4). Let b(n) = -3*n + 11. Let h(a) = 2*a - 7. Let w(k) = 5*b(k) + 7*h(k). Is w(r) a multiple of 5?
False
Let c(v) = -v**2 - 7*v - 5. Let o be c(-5). Suppose -53 = o*u - 13. Let p(b) = -10*b - 18. Is 16 a factor of p(u)?
False
Let c = -957 + 1484. Is c a multiple of 17?
True
Let t = 1153 - -6. Does 19 divide t?
True
Let r = 15 - 11. Suppose 3*x - r - 11 = 0. Suppose -4*g + 3*k = -k - 156, 111 = 4*g + x*k. Is g a multiple of 14?
False
Suppose 0 = 7*i - 3*i - 40. Let w be 7 - i - (-1 + 0). Is 1/((8/(-412))/w) a multiple of 22?
False
Suppose -3*i - 468 = -7*i. Suppose -i = -4*y + 107. Is 28 a factor of y?
True
Let d(j) = -4*j - 6. Let n be d(-2). Suppose -n*s - 6 = 0, -13 = -5*c - 4*s + 10. Suppose -c*l + 252 = -5*l. Is 42 a factor of l?
True
Let a(o) = -o - o + o**2 + 6*o - 20 + 2*o. Is a(-10) a multiple of 6?
False
Let o(l) = 7*l + 19. Let i be o(-9). Does 11 divide (i/(-12) - 0)*15?
True
Suppose -15 = 3*q, 9*b + 2*q - 470 = 5*b. Is 8 a factor of b?
True
Suppose 397*g = 392*g + 250. Is g a multiple of 2?
True
Suppose 9 = j - 1. Is (7 + -1)*-7*j/(-6) a multiple of 14?
True
Let g(o) = o**2 - 11*o - 6. Is 8 a factor of g(19)?
False
Suppose -4*x = -5*g - x - 49, 0 = 5*g - 4*x + 47. Let f(h) be the second derivative of -h**5/20 - 5*h**4/6 + 11*h**3/6 + h**2 + 2*h. Is 2 a factor of f(g)?
True
Suppose 5*s = 4*z + 85, -5 = -z - s - 15. Let o = 9 + z. Does 28 divide ((-112)/(-10))/(o/(-15))?
True
Let h(t) = -92*t + 30. Let u be h(12). Is 9 a factor of u/(-30) + (0 - 2/(-10))?
True
Let m be (-6 - -5)*6/(-2). Suppose 0 = s - m, 2*b + 4*s - 3*s = 15. Suppose 2*a - 2*y = 10, -4*y + 25 = b*a - a. Does 2 divide a?
False
Let i = 22 + 2. Is 18/i*10*6 a multiple of 19?
False
Let q(d) = -9*d**3 + 2*d**2 - 1. Let u be q(1). Does 30 divide -2*(18/u + 2)*60?
True
Let p be -3*10/15 - -22. Is 21 a factor of 333/2 - (-30)/p?
True
Let l(w) = 86*w**3 + 3*w**2 - 5*w + 2. Is l(2) a multiple of 28?
False
Suppose -3*x = -4*x + 61. Let b = x - 35. Is b a multiple of 13?
True
Suppose 6*k - 7*k - 5*u = -1403, -5*k - 2*u = -6969. Is 29 a factor of k?
False
Let m be (1/(-3))/((-3)/99). Suppose 6*p = m*p + 25. Let o = 9 - p. Is o a multiple of 7?
True
Suppose -50400 = 10*k - 46*k. Is k a multiple of 56?
True
Suppose -292*r + 676 = -290*r - 4*p, r = 4*p + 328. Is 4 a factor of r?
True
Suppose -4*x + 20 = x. Does 3 divide -2*x/48 + 73/6?
True
Let u be (-5*1)/(-5 + 6). Let x = 30 + u. Is 5 a factor of x?
True
Suppose 0 = l - w - 64, w - 110 = 3*l - 306. Suppose -l = 20*u - 21*u. Is 11 a factor of u?
True
Let q(y) = -2*y**2 + 16*y + 11. Let t be q(8). Suppose -x - t = -67. Does 14 divide x?
True
Let y(r) = 204*r - 381. Is 101 a factor of y(16)?
False
Let k = -1486 - -2536. Is k a multiple of 11?
False
Suppose -9*p + 799 = -857. Does 6 divide (12/(-8))/((-12)/p)?
False
Let r = -23 - -59. Let q = 126 + r. Does 9 divide q?
True
Let y(f) = 0*f**3 - 9*f + f**3 - 2*f**3 + 10 + 10*f**2. Let b be y(8). Suppose -6 - b = -3*h. Is h a multiple of 8?
True
Let l(c) = -39*c. Let i = -16 + 12. Let n be l(i). Suppose 0*k = 2*k - n. Does 21 divide k?
False
Let z be ((0/(12/4))/1)/(-1). Is 18 a factor of 4 + z - (9 + -1 + -44)?
False
Let o(h) = 19*h**2 - h. Let l be o(-2). Suppose -m + l = -62. Does 10 divide m?
True
Let z = 971 - 936. Is z a multiple of 8?
False
Suppose 2 + 10 = 2*s. Suppose -s*q = -0*q - 18. Is 13 a factor of 2/(-2)*q + 41?
False
Suppose -10*f - 4*f + 16604 = 0. Does 10 divide f?
False
Let f be 16/(((-15)/25)/(-3)). Suppose 3*o - o = f. Is 10 a factor of o?
True
Let u = -37 - -44. Is (-1)/(-7) + 685/u a multiple of 11?
False
Let x(o) = o + 17. Let t be x(7). Let m = t - 21. Suppose m*q + 2 + 3 = 2*y, 7 = 3*y - 5*q. Is 2 a factor of y?
True
Let r(h) = 5*h**2 + 111*h - 64. Let v(w) = w**2 + 22*w - 13. Let a(m) = 2*r(m) - 11*v(m). Is 37 a factor of a(-8)?
True
Let j = 369 - -30. Is 22 a factor of j?
False
Is 17 a factor of 64/48*273/2?
False
Suppose 308 = 11*g - 7*g. Does 7 divide g?
True
Let b = 1564 + -954. Is b a multiple of 27?
False
Let o(k) = -k**3 + 6*k**2 + 2*k + 4. Let d be o(8). Suppose 5*f - 860 = -5*u, 0 = 5*f - 5 - 0. Let j = u + d. Is j a multiple of 14?
False
Suppose 0 = -4*a + 90 - 14. Let v = a + -12. Suppose s = v*s - 42. Does 7 divide s?
True
Suppose -633 - 687 = -15*j. Is j even?
True
Let v = 2 + -2. Is (v + -1)*(-50 + -21) a multiple of 8?
False
Suppose -59*i + 516 = -55*i. Suppose -v - i = -q, -5*q = -0*q - 3*v - 635. Is 21 a factor of q?
False
Let y = -190 - -211. Is y a multiple of 3?
True
Let h(s) = 440*s + 385. Is 6 a factor of h(6)?
False
Let z = 0 - -5. Suppose -125 = -z*m - 0*m. Let c = m - 7. Is 9 a factor of c?
True
Suppose -m + 154 = -189. Does 38 divide m?
False
Suppose 11*x + 11*x = 3300. Is 10 a factor of x?
True
Suppose 0 = -4*g + 3*z + 1398 + 459, -2*z = 2*g - 946. Does 36 divide g?
True
Let o(s) = 9*s**2 + s + 1. Let z(q) = -2*q - 3. Let j be z(-4). Suppose k = -4*t - 1, -3*t = 4*k - j*k - 1. Is o(k) a multiple of 9?
True
Let z(w) = 12*w - 28. Let p = 49 - 39. Does 46 divide z(p)?
True
Let r(x) = -2*x**2 + 8*x + 12. Let q be r(7). Let d = 32 + q. Suppose -d*z - 263 = -3*f, 3*z = -2*f + 5*z + 178. Is 14 a factor of f?
False
Let w(q) = -q**2 + 6*q + 6. Let m be w(-3). Let y = 0 + m. Is ((-9)/27)/(1/y) even?
False
Let f be 6/21 - 18/14. Is 15 a factor of (-30)/40*(f + -51)?
False
Let v = 2234 + -1474. Does 8 divide v?
True
Let r(p) = p**3 + 3*p**2 - 3*p - 3. Let y be r(-3). Suppose 0 = 4*g - g - y. Suppose 0 = 3*t - g*a - 28, -2*t + 3*a - 33 = -5*t. Is 9 a factor of t?
False
Suppose -5*u + 166 = -0*u - 4*v, -2*v = 2*u - 52. Let w be 17/(2/(-3) - -1). Let f = w - u. Is 12 a factor of f?
False
Let k be 15*(-20)/(-12) - 2. Let v be k + 0 + 6/(-2). Does 6 divide v*6*1/4?
True
Suppose 47*p - 9614 = 726. Does 13 divide p?
False
Let r(s) = -7*s**2 - s - 13. Let g be r(4). Let n = -48 - g. Does 18 divide n?
False
Suppose 4*l - 3*f = 287, -5*f + 243 = 3*l + 35. Let t = l - 16. Is t a multiple of 11?
True
Let d be (0 + 9/(-2))*40/(-15). Let a(r) = r**3 - 9*r**2 - 15*r - 19. Is a(d) a multiple of 20?
False
Let a = -69 - -104. Let g = a + 31. Does 11 divide g?
True
Suppose -2*n = 4*x - 8*x - 234, 177 = -3*x + n. Is ((-16)/10)/(1/x) a multiple of 32?
True
Let m(q) = -7*q - 4. Let n(u) = 9*u + 3. Let a(j) = -5*m(j) - 4*n(j). Let r(z) = -z**2 - 2. Let x be r(3). Is a(x) a multiple of 5?
False
Suppose -7*b = -4*v - 3*b + 24, 0 = 4*v + 3*b - 10. Let k be 3660/44 + v/(-22). Let h = k + -28. Is 22 a factor of h?
False
Let y be (-27)/6*4/(-3). Let p be 16/y + (-4)/6. Suppose -3*u = z - 21, p*z - 4*u = 14 + 38. Is z a multiple of 12?
True
Suppose 7*v - 247 = 152. Let r = v + -32. Let d = 40 + r. Is d a multiple of 19?
False
Let i = 324 - 85. Is 10 a factor of i?
False
Let r = 671 + -378. Does 17 divide r?
False
Let k be (16/(-12))/(2/(-9)). Let u = k + -4. Is 10 a factor of (u + 0)*(-100)/(-4)?
True
Suppose 0 = -2*p + 10 - 42. Let k = p - -19. Is 3 a factor of k?
True
Let i = -62 + 21. Suppose 0*t + 2*z = t + 15, 0 = -4*z + 8. Let a = t - i. Is 18 a factor of a?
False
Let n be (-2)/(-7) + 14/(-49). Suppose n = z - 2 - 7. Does 2 divide z?
False
Let z(d) = d**2 + 8*d + 40. Is 12 a factor of z(-10)?
True
Let j(t) = 121*t**2 - 4*t - 4. Does 62 divide j(5)?
False
Suppose -c + d - 4*d = -31, -5*c = 4*d - 199. Let j = c - -20. Is j a multiple of 21?
True
Let b(z) = -z. Let d(c) = -c**3 + 4*c**2 + 4*c - 6. Let j(x) = -2*b(x) - d(x). Let r be j(5). Suppose -110 = r*k - 22*k. Is 31 a factor of k?
False
Suppose -l - 3 = -20. Let y = l + -14. Suppose 2*b - 6*b = -y*n - 43, 4*n + 27 = b. Is b a multiple of 4?
False
Suppose 0 = 3*p + 28 - 37. Suppose r - 288 = -p*l, 4*l - r = 116 + 261. Is 19 a factor of l?
True
Let v = 2068 - 1102. Is v a multiple of 46?
True
Let y(j) be the third derivative of -2*j**4/3 + 4*j**3/3 - 21*j**2. Is y(-4) a multiple of 12?
True
Suppose 2*q - 34 = -4*h, h - 3*h - 5*q + 37 = 0. Let o(n) = 2*n - 8. Let c be o(h). Is 4 a factor of 8*((-2)/(-1))/c?
True
Let y be (-2)/(-3) - (-80)/15. Suppose -u + 14 - y = 0. Suppose 2*t = -3*m + m + 20, 4*t = 2*m - u. Is 8 a factor of m?
True
Suppose 7*p - 10*p = 324. Let g = -48 - p. Is g a multiple of 10?
True
Suppose -3*j = -15*j + 7776. Is 27 a factor of j?
True
Let x(t) = -2*t**2 - 10*t + 15. Let j be x(-8). Let 