a multiple of 60?
False
Let b = 86 - 84. Let o be (-1 - 127/b)*2/(-3). Suppose 210 = -o*z + 48*z. Is z a multiple of 14?
True
Let i(r) = 2*r**3 - 47*r**2 + 209*r + 14. Does 22 divide i(26)?
False
Let d(b) = b - 7. Let x be d(7). Suppose x = -3*p + 8*p. Let y = p + 42. Is 8 a factor of y?
False
Let i = 7921 + -6220. Is 21 a factor of i?
True
Is 15 a factor of 10/(-6) + (-3638)/(-3) + 19?
True
Let g = 111 - 34. Suppose -6*m - 18 = 4*p - 42, -2*m = -p - 1. Suppose -702 = -p*z + 4*b, -5*b + g = z - 176. Is 28 a factor of z?
False
Suppose 10*p + 1310 = 4*x + 9*p, -4*x = 2*p - 1316. Let j = 960 - x. Is j a multiple of 26?
False
Suppose z + 371 = -4*k - 0*k, 3*z = 5*k + 451. Let n be 5*k/(-30)*3. Let t = 55 - n. Does 7 divide t?
False
Let l = -18840 - -61740. Is 11 a factor of l?
True
Let z(u) = -3*u + 14. Let c be z(2). Suppose c*v + 1330 = 10946. Is 18 a factor of v?
False
Is 9/((-18)/(-1456))*(-93)/(-12) a multiple of 13?
True
Let m(j) = 29*j - 95. Let w be m(21). Suppose u = 5*h - w, 4*u = -0*u + 4. Is 54 a factor of h?
False
Is 5 a factor of -15*(-3)/90*(3468 + -1 + -1)?
False
Let v(z) = 2*z**2 + 57*z + 16. Is 2 a factor of v(15)?
False
Suppose 4 = 20*u - 22*u, -5*x - 4*u + 292 = 0. Suppose -2*l + 3 + 5 = 0. Suppose -w + l*c = -24 - x, 0 = -c - 2. Is 16 a factor of w?
False
Let n = 3035 - -1209. Is 18 a factor of n?
False
Let u = 877 + -744. Is u a multiple of 5?
False
Let l(q) = 3*q**2 - 13*q - 18. Let t = 196 + -190. Is 2 a factor of l(t)?
True
Let j(h) = 3*h**3 + 11*h**2 + 18*h + 31. Let f be j(-6). Let q = f - -655. Is 16 a factor of q?
False
Let d(g) = -6*g - 10 + 3*g**3 - 3379*g**2 - 2*g**3 + 3372*g**2. Does 12 divide d(11)?
True
Suppose -32*g = -36*g - 24. Is 54 a factor of -2*18/5*675/g?
True
Let s(r) be the third derivative of -49*r**4/24 + 3*r**3/2 + 64*r**2 + 2*r. Is s(-9) a multiple of 10?
True
Suppose 7*h = 84 - 21. Let i be (-2)/(-3) + 12/h. Suppose 25 = 4*w - 3*d, 6*w - i*w + 4*d = 32. Is 6 a factor of w?
False
Suppose -4*r + 0*s + 9 = s, -2*r = 2*s. Suppose 0*o - 3*l + 112 = -2*o, -5*o = r*l + 259. Let c = -49 - o. Does 4 divide c?
True
Suppose -22*l - 21*l - 242913 = -60*l. Does 123 divide l?
False
Let t be 0 + 3 + -5 + 7. Suppose -2*b + 2*u = 4*u + 4, -t*u = -b + 22. Suppose 2*j + b*j - 26 = -2*c, c - j = 4. Is c a multiple of 7?
True
Suppose -5*c = -23008 + 3228. Suppose 1225*l - c = 1221*l. Does 14 divide l?
False
Let m(b) = b**2 - 36*b - 409. Is m(92) a multiple of 93?
True
Is (-2 + 6 + -9)/((152/2288)/(-19)) a multiple of 11?
True
Suppose -29227 = 381*m - 392*m. Does 96 divide m?
False
Let w = 21548 + -10680. Is 209 a factor of w?
True
Suppose 161*m - 156*m = 4*x - 11348, 0 = 2*m + 16. Is 11 a factor of x?
True
Suppose -4*o + 1156 = -4*g, 0 = -4*o + g - 0*g + 1171. Suppose -5*j + 4*j = -o. Suppose 0*d - 7*d = -j. Does 3 divide d?
True
Let w(b) = b**3 + 8*b**2 - 2*b + 13552. Let h be w(0). Suppose -250*m = -234*m - h. Is 11 a factor of m?
True
Let r = 5064 - 1072. Does 8 divide r?
True
Suppose l - 10 = 5*t - 2*l, 4*l = 3*t + 6. Does 2 divide (8/64*8)/(t/(-22))?
False
Let t = 3222 - 430. Is 8 a factor of t?
True
Let v be (-2 + -3)/(-7 - -6). Suppose -i = -5*y + 270, 3*i + 384 = -v*y - 506. Is 5 a factor of 7/63*6 - i/6?
False
Suppose -2*p = -65 + 59. Suppose 0 = 3*q + p*z - 60, 2*z - 5*z = -q + 20. Is q a multiple of 3?
False
Let h(l) = -3*l**3 + 30*l**2 + 24*l + 15. Let g(m) = -4*m**3 + 31*m**2 + 23*m + 14. Let y(p) = -5*g(p) + 6*h(p). Is y(-11) a multiple of 7?
False
Let h(j) = j**2 + 34*j + 163. Let i be h(-39). Let o = i + -84. Is o a multiple of 23?
False
Suppose -5*w - 43 = -2*p + 2, -3*p - 5*w + 130 = 0. Suppose 5*a - 4*a + 134 = 4*j, 70 = 2*j - 2*a. Suppose -j*c = -p*c + 28. Is 14 a factor of c?
True
Is 57 a factor of 45*((-8184)/(-55) + -7)?
False
Let m(y) = y**2 + 10*y + 9. Let i(x) = 3*x + 26. Let j be i(-8). Suppose 43 = -4*s + u, -s + 3*u - 30 = j*s. Is m(s) a multiple of 10?
True
Does 77 divide (-29)/((-435)/10010)*36/3?
True
Suppose 53*w = 121*w - 680. Let z be 1*(1 + 2/(-2)). Suppose -4*f - 4*o + 9 + 79 = z, -5*o = w. Is f a multiple of 4?
True
Let m = -108 + 192. Let k = m + -72. Suppose 0 = -6*x + k*x - 714. Does 24 divide x?
False
Let b(c) = -43*c**2 + 10*c - 6. Let y(d) = -87*d**2 + 20*d - 12. Let w(g) = -5*b(g) + 2*y(g). Does 9 divide w(3)?
False
Is 25 a factor of 10970 - (112/(-14) - -19)?
False
Let c = -9754 + 11114. Does 17 divide c?
True
Let r(f) be the first derivative of -f**5/60 - 13*f**4/24 - 7*f**3/6 + 6*f**2 - 19. Let y(w) be the second derivative of r(w). Is y(-5) a multiple of 15?
False
Let n = -820 - -724. Let m = 440 - 270. Let y = n + m. Is 30 a factor of y?
False
Let x(m) = 14*m**2 - 35*m - 181. Does 5 divide x(28)?
True
Suppose -2190*i - 19800 = -2230*i. Is 11 a factor of i?
True
Let w(t) = 718*t**3 - 2*t**2 - 19*t + 37. Is w(2) a multiple of 11?
False
Let y(p) = -13*p - 246 + 240 + 0*p**2 + p**2 + 4*p. Suppose -r = 2*r + 2*n - 37, -2*n + 4 = 0. Is y(r) a multiple of 5?
False
Let p(y) = -25*y - 17. Let r be p(-4). Suppose -5*b + r = i - 503, 5*i - 2909 = -4*b. Is 26 a factor of i?
False
Let c be (-487)/(0 - (-4 + 5)). Suppose 0 = -4*a + 2*a + 682. Let j = c - a. Does 26 divide j?
False
Let v be (-18)/4*270280/(-174). Does 22 divide (44/(-2))/(v/700 + -10)?
True
Let v(m) = -487*m - 50. Suppose 8 - 17 = -3*n - 5*g, -5*n + g - 13 = 0. Is 42 a factor of v(n)?
True
Suppose 22*i = 49 - 5. Suppose -z = i*f - 810, -3*z - 1395 - 630 = -5*f. Does 45 divide f?
True
Let i = 11899 + -4402. Is i a multiple of 153?
True
Suppose -70602 = -19*p - 5622. Does 8 divide p?
False
Suppose -5*m = -257 - 238. Does 7 divide 174/29 + (m - 0)?
True
Suppose 4*u + 517 = -o + u, 5*o = 4*u - 2642. Let y = -157 - o. Is 9 a factor of y?
True
Let f(h) = -h**2 + 16*h - 35. Let s be f(13). Let x be s/16*2*-2. Let a(c) = -24*c**3 - c**2 - 2*c - 1. Does 24 divide a(x)?
True
Suppose 124*o + 218842 - 810818 = 0. Is 36 a factor of o?
False
Does 13 divide 4264*(11 - 79/4 - -10)?
True
Suppose 2*x + 2*w = -0*w + 8, -2*x + 14 = 5*w. Let l be (-159)/x*(6/9 + 0). Let y = l - -87. Is y a multiple of 28?
False
Let c = 7233 + -4279. Does 14 divide c?
True
Let x be (-18)/(-153) + (-32)/(-17). Let r(o) = o**2 + 1. Let s(p) = -3*p**2 - 20*p - 11. Let q(m) = x*r(m) + s(m). Does 7 divide q(-17)?
True
Let c(r) = 30*r + 382. Let v be c(-13). Let i be 48*((-2)/4 - -1). Does 11 divide 232/i + v/(-6)?
True
Suppose z = 5*u - 27, 1 - 22 = -5*u - 2*z. Suppose 2*k = -3*t + 780, -7*t - 1912 = -5*k - u*t. Does 24 divide k?
True
Suppose -2*c + 10 + 152 = 0. Let g = c - -27. Does 9 divide g?
True
Let i = 573 - 569. Suppose 0 = h + 3*q - 337, i*q - 6*q = 10. Is 22 a factor of h?
True
Let x(j) = -32*j - 11. Let w(u) = -u**2 + 20*u - 14. Let r be w(19). Suppose 22 = -r*n - v, v + 11 = -4*n - 6. Is 32 a factor of x(n)?
False
Let b(d) = -d**3 - 12*d**2 + 5. Let m = 35 + -47. Let v be b(m). Suppose -v*g = 4*i - 1290, 3*i - 2*g - 977 = -g. Is 46 a factor of i?
False
Let t(m) = 175*m**3 + 31*m**2 + 8. Does 19 divide t(4)?
True
Suppose -6*q = 32*q - 338*q + 3216000. Is 133 a factor of q?
False
Suppose 0 = -k - 3*c + 1599, 126*k - 127*k + 1575 = -3*c. Does 20 divide k?
False
Let c(w) = 5*w**2 - 37*w + 17. Let p be c(7). Suppose -p*m + 16 = -536. Is 23 a factor of m?
True
Suppose -2*o - 3 = -5*o, -5*s - 2 = 3*o. Let t be 1 + s + (-1 - -9). Suppose -368 = 4*r - t*r. Does 36 divide r?
False
Suppose 2*b - 34 = 3*u - 7, 0 = 2*b - 5*u - 37. Let g(y) be the first derivative of y**2/2 + 13*y + 86. Is 19 a factor of g(b)?
True
Suppose 94*p = 99*p - 65. Suppose p*m - 9520 + 2331 = 0. Is m a multiple of 7?
True
Let c(k) = 183*k - 30*k**3 - 356*k - 11*k**3 + k**2 - 1 + 172*k. Let h = 19 + -20. Does 21 divide c(h)?
True
Suppose 4*x - 6633 - 6977 = -5*r, -4*r = x - 10899. Is r a multiple of 58?
True
Suppose 4*r - 42037 + 14601 = 0. Suppose 8*b = r + 2909. Does 40 divide b?
False
Let f(k) be the first derivative of -k**2/2 + 8*k - 6. Let w be f(-12). Is ((-621)/(-115))/(6/w) a multiple of 18?
True
Suppose 3*i + 1158 + 912 = 5*i. Is i a multiple of 207?
True
Suppose -2*c = -3*g - 542, -2*g + 1355 = 5*c + 2*g. Let z = c - -280. Is z a multiple of 43?
False
Let c(t) = -2*t**2 - 11*t + 14. Suppose -11*u + 30 = -16*u. Let z be 69/(-12) - (u/8 + 1). Does 3 divide c(z)?
False
Suppos