 = 33951 + -22031. Is q a multiple of 115?
False
Suppose 44*h - 96957 = 42*h - 3*a, 2*h = 20*a + 97072. Is h a multiple of 27?
False
Suppose 0 = 11*f + 2*f - 39. Suppose 3*u - 3 + 12 = 0, f*u + 303 = 3*w. Is 7 a factor of w?
True
Suppose 63*m - 369103 + 288742 - 372546 = 0. Is 13 a factor of m?
True
Is 23 a factor of ((-44)/(-132))/(30364/(-30366) - -1) + -1?
True
Is ((-32012)/2416)/((-1)/200) a multiple of 5?
True
Let p = 23 + 4. Suppose 6462 = p*n - 12060. Is 14 a factor of n?
True
Is 1584/(-7)*84/(-24) a multiple of 7?
False
Suppose -4*o = -239 + 3. Let v = -60 + o. Is 5 a factor of (v/(-1) + 69)*(-9)/(-18)?
True
Let m = 9182 - 5662. Is 16 a factor of m?
True
Suppose 0 = 3*l + 3, 6*u - u = 2*l - 33. Let g = u + 6. Does 6 divide (-4)/(-4)*(88 - g)?
False
Suppose -2*a + z - 16465 = -7*a, 4*a - 13172 = -5*z. Suppose -787 - a = -16*v. Does 85 divide v?
True
Let p = 4236 + -819. Is p a multiple of 51?
True
Let k(o) = 12*o**3 - 10*o**2 + 13*o - 3. Let y(j) = 49*j**3 - 41*j**2 + 52*j - 12. Let l(n) = 9*k(n) - 2*y(n). Is 17 a factor of l(4)?
True
Suppose -5*y = -8*c + 5*c + 3871, -2*c = -4. Let n = -148 - y. Is n a multiple of 25?
True
Let g(n) = 14*n**2 - 40*n - 54. Is g(-9) a multiple of 5?
True
Let a(b) = 343*b**2 - 926*b + 7464. Is 56 a factor of a(8)?
True
Suppose 7*p + 2910 = 2*p. Is 2/(p/(-580) + -1) a multiple of 29?
True
Let z(o) = 42*o - 247. Let u be z(6). Let a(x) = 7*x + 41. Is 19 a factor of a(u)?
True
Let w(m) = m**3 - 10*m**2 + 19*m - 50. Is 26 a factor of w(23)?
False
Let i = -36 - -92. Suppose -2*y = -2*u - 370, -59*y + i*y - u = -563. Is y a multiple of 17?
True
Suppose -5*d = -354 + 14. Suppose -4*q + y = 3*y - d, -3*y = -5*q + 96. Does 3 divide q?
True
Suppose -5*v + 1755 = -2*y - 2736, 1782 = 2*v + 4*y. Suppose -6*z = -2961 + v. Does 17 divide z?
False
Let h(w) = -w**2 - 19*w + 22. Suppose -6*a = 149 - 29. Let n be h(a). Let y(b) = b**3 - 3*b**2 + 6*b - 2. Does 4 divide y(n)?
False
Let x(r) = -r - 1. Let d(n) = n + 12. Let o be d(-8). Suppose o*s + 20 = -2*f, 4*s + 24 = 2*f + 4. Is 2 a factor of x(s)?
True
Suppose -31299 = -5*k - 20*k + 13251. Does 3 divide k?
True
Let o = -990 + 1120. Is 5 a factor of o?
True
Let v(l) = 2*l**3 - 11*l**2 - 3*l + 8. Let w(z) = z**2 - 6*z - 12. Let r be w(6). Let x be ((-36)/8)/9*r. Is 24 a factor of v(x)?
False
Let i = -27 - -31. Suppose -2*l - 2 = i*s, 4 = -4*s - 8*l + 4*l. Suppose -6*v + s*v = -150. Is v a multiple of 5?
True
Let x be 57/2*(-22)/(-33). Suppose 0 = -31*q + x + 167. Does 6 divide q?
True
Let r(p) = -4*p**3 + 170*p**2 - 34*p + 137. Does 14 divide r(40)?
False
Let o = 1370 - -3770. Is 20 a factor of o?
True
Let l(g) = -g**3 + 57*g**2 + 96*g - 2099. Does 11 divide l(27)?
True
Suppose 1015 = 3*z - 2*t, 0 = -5*z - 9*t + 7*t + 1713. Let o = z - 68. Is o a multiple of 25?
False
Is 101 a factor of -1725*(-3)/6*(-3358)/(-69)?
False
Let w(g) = -g**2 - 9*g + 22. Let t be 110/15*9/(-6). Let m be w(t). Is 29 a factor of m - (-3 - 609)/4?
False
Suppose 41*k - 36*k = 3365. Let x = k + 16. Is x a multiple of 53?
True
Suppose 4*n - 8 = 0, -3*v - n + 4*n = 1125. Let s = 602 - v. Is 15 a factor of s?
True
Suppose -2*h = 3*f - 21, 4*f - 5*h - 33 = -5. Let t be f + -4 + 8/(8 + -4). Suppose 5*s - 6*s + 146 = 2*m, -t*m = -4*s + 610. Does 15 divide s?
True
Let a(n) = -n**3 - 9*n**2 + n + 8. Let h be a(-9). Let v be 15/(-6) + h/(-2). Let m(u) = -36*u - 12. Does 12 divide m(v)?
True
Let u be 3944/4 + 1*-3. Suppose -3*i - 5*o = 955, o = 3*i - o + u. Let m = -180 - i. Is 27 a factor of m?
False
Suppose -46794 = -4*s + 3*a + 10230, 28512 = 2*s + 2*a. Does 5 divide s?
False
Let g = 2768 + -1158. Does 35 divide g?
True
Let p(l) = l**2 - 21*l + 51. Suppose 2*u - 3*x = 0, 2*x = 3*u + 3*x. Does 43 divide p(u)?
False
Suppose 0 = -664*m + 674*m - 137480. Is 74 a factor of m?
False
Suppose 5*h - 52 = -3*i, -3*i + 3*h + 41 = -i. Suppose -b - 11 = 2*s, 2*s + 0*b - i = 5*b. Is 1/s + (-61)/(-3) a multiple of 4?
True
Suppose y = -l + 3166, 5*y + l = 20009 - 4187. Is y a multiple of 28?
True
Suppose 8*b + 24*l - 22*l = 343756, -3*l = -3*b + 128886. Is 12 a factor of b?
False
Let z(q) = 55*q**3 + q**2 + q + 2. Let a be 56/27 + 8/(-108). Is 16 a factor of z(a)?
True
Let k = 42 - -70. Suppose 46*o = 39*o + k. Is o a multiple of 14?
False
Let u(w) = 9*w**2 + w**3 - 1251 - 7*w + 1239 - 9*w. Does 24 divide u(-7)?
False
Suppose -42*s = -23*s + 38*s - 325299. Does 7 divide s?
False
Let j(i) = 2*i**2 - 11*i + 13. Let s be j(4). Let y(w) = 25*w**2 + 15*w - 15. Is y(s) a multiple of 25?
True
Suppose 4*t + 4*a - 17236 = 0, -a - 8050 = -2*t + 559. Suppose -41*i + 3607 = -t. Is i a multiple of 3?
False
Let z(h) be the second derivative of h**5/20 + 7*h**4/12 - 7*h**3/6 + 5*h**2/2 - 3*h. Let x be z(5). Suppose -5*n = n - x. Does 9 divide n?
True
Suppose 19*m = -2*m + 63. Suppose 533 = 5*n - 4*r, 3*n - 323 = r + m*r. Is n a multiple of 15?
True
Let i be (362 - -40)*2/(-4). Let y = -96 - i. Is 7 a factor of y?
True
Suppose 3*f - 7 = 10*f. Does 62 divide 73*f*37/74*-6?
False
Let h(d) = -27700*d + 1836. Is 164 a factor of h(-2)?
True
Suppose -22*w + 87384 = 7*w + 15*w. Does 72 divide w?
False
Suppose 0 = p + 15. Let f(k) = 13 + k**3 + 3*k + 6*k**2 + 4*k**2 + 18*k - 2*k**2 + 9*k**2. Is f(p) a multiple of 37?
True
Let s(o) = 3*o**2 - 4*o - 11. Let b be s(-3). Is 17 + 0 + (b/4 - 3) a multiple of 13?
False
Let h(b) = 3*b**2 - 21*b + 36. Let c be (-2)/(-1) - -6*4/(-8). Let l(s) = s**2 + 1. Let k(a) = c*h(a) + 2*l(a). Does 16 divide k(14)?
True
Let d(i) = 17*i**2 - 7*i - 2. Is d(-23) a multiple of 13?
True
Suppose -8*k + 210 = -2*k. Let v be (k/(-10) + 4)*0. Suppose v = r - 5*r + 352. Is 22 a factor of r?
True
Suppose -4*i - h + 6670 = 0, 6*i - 10008 = -0*i - 3*h. Is 81 a factor of i?
False
Let s = -7125 + 9201. Does 10 divide s?
False
Let z(d) = 11*d**2 - 13*d - 4. Let p be z(-20). Suppose -2*b + 5*a = -6*b + p, 2*a = 3*b - 3515. Is 25 a factor of b?
False
Let i = -11929 + 18659. Does 128 divide i?
False
Suppose -87298 = -28*d - 13378. Is 33 a factor of d?
True
Let l(p) = 32*p + 45. Let j(z) = -38*z - 46. Let b(i) = 4*j(i) + 5*l(i). Is b(8) a multiple of 15?
True
Let v = -34491 + 62741. Is 10 a factor of v?
True
Does 4 divide 23*(17 - -4 - 45/(-9))?
False
Let a = 364 + -347. Suppose -a*v - 4872 = -24*v. Is v a multiple of 58?
True
Let u = -6766 - -7294. Is u a multiple of 24?
True
Suppose -15 = -b - b + 3*r, 2*r + 9 = b. Suppose b*w - 906 = -0*w. Suppose 4*i - 3*x - 356 = -70, -5*x + w = 4*i. Is i a multiple of 17?
False
Is (5 + (4 - -55))*18 a multiple of 36?
True
Let p(o) = -3*o**3 + 71*o**2 - 45*o - 17. Let j be p(23). Suppose 3*z + 9 = j, 0 = -5*r - 5*z + 3395. Does 29 divide r?
False
Let o(t) = -11*t - 77. Let w(x) = x**2 + 24*x - 50. Let v be w(-25). Is o(v) a multiple of 11?
True
Suppose v - 2226 = -4*c, -2*c = -12*v + 14*v - 4452. Does 14 divide v?
True
Suppose 0 = 3*m - 4*m + 14. Suppose 0 = -3*q + 4*i - 14 - m, -20 = 3*q - 2*i. Let z(y) = y**2 - 4*y - 10. Is 11 a factor of z(q)?
True
Is ((-2123)/386)/((-1)/1050) a multiple of 5?
True
Let n be (0 - -1)*(-16 - -3). Let b(y) = y + 15. Let l be b(n). Suppose l*a + 0*a = 116. Does 14 divide a?
False
Let a(p) = 3*p**3 + 5*p**2 + 6. Let v be a(-7). Let x = v - -1145. Is 8 a factor of x?
False
Let k = -296 - -365. Suppose -4*q + 7 = -d + 66, d - k = 2*q. Does 11 divide d?
False
Suppose 3*d - w - 47378 = 0, 69470 - 22086 = 3*d - 4*w. Is d a multiple of 48?
True
Let b = -12373 - -23555. Suppose 2326 = -18*r + b. Is 16 a factor of r?
False
Suppose -5*w = -5*y + 2*y + 4, 0 = 4*y - 3*w - 9. Suppose -y*h + 1122 = 72. Does 35 divide h?
True
Is 43 a factor of 304392/60 + (64/(-20))/(-4)?
True
Suppose -234*u + 77*u = -359373. Is 9 a factor of u?
False
Suppose -4*l + 161*v = 165*v - 804, -v = 0. Does 17 divide l?
False
Suppose 945 = -5*t + 3790. Suppose -1788 = t*u - 573*u. Does 46 divide u?
False
Let b(o) = -3*o**2 + 9*o + 17. Let p be b(7). Let j = 95 + p. Suppose 8*h - j - 20 = 0. Is 2 a factor of h?
True
Let f = -59 - -65. Let t be 89/7 - f/(-21). Let n = 47 - t. Is 8 a factor of n?
False
Let c be 87/6*6/3. Suppose -2*s + u + 34 + c = 0, u - 33 = -s. Is 32 a factor of s?
True
Let p(j) = j**3 + 7*j**2 + 3*j - 5. Let g be p(-5). Let u = g + -28. Suppose 0*a - a + 53 = u*t, 2*a + 118 = 4*t. Is 2