b(-2). Suppose 267 = -4*y + r. Does 10 divide y?
False
Suppose -3*a + 15*j - 16*j + 440 = 0, 0 = a + 2*j - 145. Is 10 a factor of a?
False
Let h = -21 - -6. Let t = 61 + h. Is t a multiple of 7?
False
Suppose f - 13*r = -12*r + 4, 5*f + 3*r - 12 = 0. Let z(c) be the third derivative of c**5/60 + c**3/6 - c**2. Does 4 divide z(f)?
False
Suppose -i = -4*b - 348, -666 = -3*i + i + 2*b. Let c be (-4)/(-14) + i/28. Is 17 a factor of 796/c - (-3)/(-9)?
False
Let b = -562 - -829. Let z = 606 - b. Suppose -64 + z = 5*y. Is y a multiple of 11?
True
Let v = 1282 - 160. Is v a multiple of 17?
True
Let l(j) = -2*j**2 - 20*j + 12. Suppose 10 = -z + 7*r - 3*r, 4*z - 3*r = -27. Is 15 a factor of l(z)?
True
Let k(o) = -o**3 + 23. Let l be k(0). Suppose -l - 40 = -7*i. Suppose -336 = 5*p - i*p. Does 28 divide p?
True
Let y(p) = p + 7. Let m be y(-10). Let w(s) = -2*s. Let g be w(m). Is 2/g + (-484)/(-6) a multiple of 21?
False
Let b(m) = -6*m + 5. Let h be b(-5). Suppose h = 3*a - 85. Is 20 a factor of a?
True
Let q(w) = -w**3 - w**2 + w + 40. Is 13 a factor of q(-9)?
False
Suppose 0 = 3*g - 508 - 2. Suppose 0 = 5*i - g - 850. Does 17 divide i?
True
Let t(j) = -j**3 + 5*j**2 + 7*j - 4. Let s be t(6). Suppose -5*y = 4*w - 15, -3*w + 13 = s*y - 0*y. Let n(v) = v**3 - 4*v**2 + v - 2. Is n(w) a multiple of 14?
True
Suppose -11 - 1 = 6*t. Let u be (3 + -1)*(-34)/t. Let l = u + -23. Is l a multiple of 4?
False
Let b be (-4 + (-1 - -1))*(-3)/6. Is (3/(-12))/(b/(-344)) a multiple of 4?
False
Let s(m) = 9*m**2 + 1 + m**3 - 9*m + 10*m + 3 - 13*m. Let f(l) = 2*l**2 - 3*l + 1. Let q(a) = 9*f(a) - 2*s(a). Is 19 a factor of q(-3)?
False
Is 5572/(-42)*(-18)/3 a multiple of 25?
False
Let p(q) = -q**3 + 4*q**2 - 3*q + 4. Let w be p(3). Does 11 divide (2280/2)/w - -1?
True
Let s = 24 - -1147. Is 40 a factor of s?
False
Suppose 3*f + 1 + 26 = 0. Let u(h) = -3*h**2 - 12*h - 22. Let p be u(f). Let m = -77 - p. Does 20 divide m?
True
Let l = 2068 - 1912. Does 13 divide l?
True
Is (0/(-5) - 18)*56/(-6) a multiple of 20?
False
Let n(l) = -14*l - 19. Let a = 8 + -14. Is 13 a factor of n(a)?
True
Suppose y = 3*n + 12, 2*y - 20 = 3*n + 2*n. Is 0 + (98 - (n - 0)) a multiple of 17?
True
Suppose 4*j - 640 = 476. Is 31 a factor of j?
True
Suppose 60 = 4*h - 5*t, 3*t + 28 = 3*h - h. Is 10 a factor of h?
True
Let f(b) be the first derivative of 5*b**3/3 - b**2/2 + 8. Let u = -5 + 6. Is f(u) a multiple of 3?
False
Suppose 4*i + 8 = 6*i. Suppose i*a - 104 = 3*a. Is 13 a factor of a?
True
Let a = -120 - -228. Is 17 a factor of a?
False
Is 42 a factor of (-1)/(10/(-33840)*2)?
False
Let y(z) = -z**2 - 3*z + 6. Let t be y(-4). Let j be -3 - -2 - -3 - -1. Suppose 0*x - 3*m = j*x - 183, 302 = 5*x + t*m. Is 12 a factor of x?
True
Suppose 3 + 0 = 2*r - n, -5 = -4*r + 3*n. Let u be (1148/(-12))/(r/12). Is 9 a factor of u/(-11) - 12/66?
False
Suppose 1247 = -125*x + 128*x - 2*b, 407 = x - 5*b. Is x a multiple of 39?
False
Suppose -9*l + 503 + 541 = 0. Does 29 divide l?
True
Suppose -16*q + 1104 = -4*q. Is q a multiple of 6?
False
Suppose -n = 3*b - 1029, 5*b + 327 = 6*b - 5*n. Does 18 divide b?
True
Let b(l) = -2*l**3 - 10*l**2 - 20*l. Let k(n) = -3*n**3 - 10*n**2 - 19*n - 1. Let y(q) = 4*b(q) - 3*k(q). Does 9 divide y(12)?
False
Suppose -3 = -6*h + 57. Let k be 144/h - 2/5. Suppose 10*b - k*b + 60 = 0. Is 3 a factor of b?
True
Let k = -760 - -807. Does 28 divide k?
False
Let q = -11 + 18. Let l be 54/2 - (-10 + q). Suppose -4*c + l = 10. Is c a multiple of 4?
False
Suppose 0 = 5*p + 3*f - 17, 5*p = 4*p - 4*f. Suppose 5*t - 5*x - 160 = 0, 0*t = 3*t + p*x - 75. Is t a multiple of 8?
False
Suppose -3*l = -67 - 98. Let s be l/10 - (-6)/(-4). Is (-63)/(-6) + (-6)/s a multiple of 9?
True
Let d(a) = -a + 15. Let k be d(0). Suppose b - k = 17. Does 8 divide b?
True
Suppose m - 201 = 860. Suppose -5*l - 391 + m = 0. Is l a multiple of 25?
False
Let d be 54/10 - (-2)/(-5). Suppose -d = k - 58. Suppose -15 = u - k. Is u a multiple of 12?
False
Let f = -1389 + 2172. Does 16 divide f?
False
Let j(c) = c**2 + 4*c + 2. Let q be j(-4). Let a(h) = -14*h + 2*h**q + 7 - 1 + 5*h + 0*h**2. Is 12 a factor of a(6)?
True
Suppose 3*b + 391 = 5*p, 0 = -5*p - 3*b - 52 + 461. Is p a multiple of 20?
True
Let x be (1386/(-12))/((-6)/16). Suppose 4*r + 0*r = x. Is r a multiple of 11?
True
Suppose g = -72 + 32. Is g/(-15)*(1 + 29) a multiple of 12?
False
Let j be (-5)/(10/6) - (-4 - -1). Let v = 29 + j. Does 8 divide v?
False
Let s be 4 + 1/((-3)/6). Suppose -s*g + 34 = 12. Suppose 0 = -t + 5 + g. Does 9 divide t?
False
Let q = -610 - -883. Is 21 a factor of q?
True
Let b(n) = -72*n**3 - n**2 - 4*n - 4. Is b(-1) a multiple of 71?
True
Is 16 a factor of -2 - ((-15260)/(-7))/(-2)?
True
Suppose 3*v + 2*k - 2587 = 0, -4*v - 4*k + 3775 = 327. Is v a multiple of 25?
False
Let v be 2 + (2 - 3) - 1. Suppose 3*d - 4*w = -3*w + 121, v = d - 3*w - 27. Let p = d + -24. Does 6 divide p?
True
Let b(u) = u**3 - u**2 + u + 2. Let a be b(0). Suppose 2*c + 4*d - 108 = 0, -2*c + 0*c - a*d + 98 = 0. Is c a multiple of 11?
True
Let u = -153 + 108. Let t = u - -85. Is 10 a factor of t?
True
Suppose -2*s - 5*s + 14 = 0. Suppose -3*k + 4 + s = 0. Suppose 3*w - 11 = k*l, -5*w - 5*l = 2 - 12. Is w a multiple of 2?
False
Let y(c) be the first derivative of 4*c**3/3 - 5*c**2/2 + 3*c + 27. Suppose -5*i - 12 = -4*j, 0 = -i - 0*i. Is y(j) a multiple of 8?
True
Let m = -7 + 16. Is (2 - -4)*m/6 a multiple of 5?
False
Let f = 11 - -6. Suppose -f*c + 12*c + 210 = 0. Does 7 divide c?
True
Let d(c) = -c**3 + 12*c**2 - 11*c. Let p be d(11). Suppose 0 = t - m - 97, -m + 287 = 3*t - p*m. Is 12 a factor of t?
True
Suppose c = 5*k - 0*k - 895, -3*c = -2*k + 345. Is k a multiple of 15?
True
Let t(f) = f**3 + 10*f**2 - 10*f + 13. Let h be t(-11). Suppose -2*z = 2*z - h*j - 430, 5*j = 3*z - 319. Is z a multiple of 18?
True
Let f = -11 + 1. Let s(l) = 21*l - 28. Let k(o) = -5*o + 7. Let h(z) = 9*k(z) + 2*s(z). Does 13 divide h(f)?
False
Let p(j) = -3*j + 27. Let v be p(8). Let w(t) = 9*t**2 + 2*t. Does 18 divide w(v)?
False
Let n = 64 + -44. Let z = 7 + n. Is z a multiple of 19?
False
Let b(t) = t**2 - t + 1. Let r(h) = h**3 - h**2 + 2*h - 40. Suppose 5*y = -2*n - 7 + 18, 5*n + y + 7 = 0. Let f(g) = n*b(g) - r(g). Does 19 divide f(0)?
True
Suppose 6*k + 0*r - 4*r - 17916 = 0, 4*k - 11946 = 2*r. Is k a multiple of 18?
True
Suppose -4*h + 116 = -2*h. Suppose -h = -2*t - 2*a, a = 4*t + 4*a - 111. Suppose 3*g = 4*w + t, -54 = -6*g + g + 2*w. Is g a multiple of 3?
True
Let u = 318 + 55. Is 53 a factor of u?
False
Suppose 0 = -3*j + 21*l - 19*l + 137, -222 = -5*j - 3*l. Is j a multiple of 5?
True
Let j = -55 - -151. Suppose 489 + j = 5*y. Does 39 divide y?
True
Suppose 6871 = 14*x - 3769. Is 95 a factor of x?
True
Let r = 28 + -1. Suppose r = 6*m - 105. Is m a multiple of 4?
False
Suppose z = 3*q - 27 + 163, 3*z = 2*q + 394. Is 17 a factor of z?
False
Let r = 10 + 40. Is 10 a factor of r?
True
Let b(q) = 4*q - 1. Let x be b(1). Suppose -u + x*u = -z - 1, 0 = 4*z + 20. Let j(v) = 16*v - 2. Does 15 divide j(u)?
True
Let g be (-1 - 9/3) + 48. Is 42 a factor of 2/(-11) + 128/g*31?
False
Let m(r) = -40*r - 1. Let s be m(-1). Let w = 12 + s. Is 17 a factor of w?
True
Suppose -3*l = -3*d + 954, 0*d - 4*l - 315 = -d. Let w = d - 176. Is w a multiple of 11?
True
Let a = -57 - -59. Suppose -a*n - 2*m = -134 - 10, 3*m = -5*n + 366. Does 25 divide n?
True
Let a = 20 + -5. Let g be 3 + (280/(-24) - (-2)/(-6)). Let l = a - g. Does 15 divide l?
False
Let g = 816 - -608. Is g a multiple of 16?
True
Suppose 4*s = 5*r + 651, -s + 792 = 4*s + r. Suppose 5*w = 106 + s. Let n = 78 - w. Is n a multiple of 25?
True
Let x(q) = 4*q**2 + 4*q - 12. Let f(t) = 3*t**2 + 5*t - 11. Let w(p) = -5*f(p) + 4*x(p). Let n be w(3). Let c = 11 - n. Is 22 a factor of c?
True
Let r = 60 - 41. Let j = r - 19. Suppose -6 = -k - j*q - 2*q, 0 = -5*k - 3*q + 16. Does 2 divide k?
True
Let m = 850 + 1438. Is m a multiple of 104?
True
Suppose -5*a + 195 = -l - 3*l, 3*a - 144 = 3*l. Let b be 343/5 + 7/(-105)*-6. Let u = b + l. Is 24 a factor of u?
True
Suppose -3*y = -40*u + 37*u - 234, 4*y + 4*u = 288. Is y a multiple of 25?
True
Let d(m) = -m**2 + 16*m + 187. Is 9 a factor of d(0)?
False
Let g = -569 + 1034. Let f = -163 + g. I