 15 a factor of y(b)?
False
Suppose -140 - 16 = -12*j. Suppose 264 = -4*g - 2*b, 2*g - 5*b = -j - 119. Let f = g + 132. Is f a multiple of 33?
True
Let a(d) = -47*d**3 + 7*d**2 - 32*d - 130. Is a(-6) a multiple of 128?
False
Let q(h) = -h**3 + 7*h**2 - 5*h - 2. Let t be q(6). Suppose 2 = -t*j + 6*j. Suppose 2*d + 266 = 5*n, -d - 4 = -j. Is 13 a factor of n?
True
Suppose 2*k - 6 = -2. Suppose 4*x - 56 = 3*i, -k*i = -4*x - 0*x + 32. Is (13 - -2)*(-5)/(50/i) a multiple of 13?
False
Let f(r) = -r**3 + 30*r**2 + 61*r + 68. Let n be f(32). Let s = n - -172. Is 16 a factor of s?
True
Let l(g) = g**3 + g**2 - 2*g + 84. Let w be l(0). Suppose 87*k = w*k + 495. Is 22 a factor of k?
False
Suppose -178 - 116 = 7*y. Does 12 divide (-18)/y + (0 - (-2346)/14)?
True
Let c(d) = d**3 + 5*d**2 + d - 2. Let t be c(-3). Suppose 0 = -t*g + 73 + 44. Suppose g*z - 1525 = 158. Does 26 divide z?
False
Suppose -2*s + 70 = 5*s. Let v be 36/45*s/4. Suppose -v*c - u = -58 - 144, 306 = 3*c + 3*u. Does 20 divide c?
True
Suppose -44 = y - 5*y. Suppose s - y = 49. Suppose 3*w - s = 3*q - 3, w + 3*q = 11. Is 3 a factor of w?
False
Is 80/(-30) - 22001/(-21) a multiple of 3?
False
Let l = 46413 + -28494. Is 181 a factor of l?
True
Suppose -4*v = -5 - 43. Let y(b) = 7*b + 7. Is y(v) a multiple of 5?
False
Suppose -3*k = -3*v + 960, -9*k + 6*k - 638 = -2*v. Is 40 a factor of v?
False
Let o(c) = c**2 + 5*c - 7. Let h be o(-6). Let t be (-9)/((-18)/220) + h + 4. Let w = 28 + t. Is 11 a factor of w?
False
Let i be (-2)/5 - 12/(-5). Let v(u) be the first derivative of 4*u**3 - 3*u**2/2 + 3*u + 266. Does 15 divide v(i)?
True
Let w = -45 - -51. Suppose -d = -3*d + w*d. Suppose d = -2*n + 2, c - 5*n + 13 = 2*c. Does 2 divide c?
True
Let y(w) = 4307*w - 1798. Is y(3) a multiple of 49?
True
Suppose 0 = -2*a + 2*x + 1140, 2*a + 5*x = 5*a - 1720. Does 113 divide a?
True
Suppose -3*m = -3*y - 90, 3*m + 3*y - 19 - 47 = 0. Suppose -21*d - 410 = -m*d. Is 4 a factor of d?
False
Let r(b) = 4*b + 34. Let a be r(-9). Is a/(-15) + (-221696)/(-480) a multiple of 11?
True
Suppose 4*j = 0, 0*q - 678 = -q - j + 8454. Is q a multiple of 3?
True
Let c(p) be the third derivative of p**5/30 + 5*p**4/4 + 14*p**3/3 - 80*p**2. Is c(16) a multiple of 15?
True
Suppose 2*w - a - 3*a = 11502, 2*w - 9*a = 11487. Is w a multiple of 19?
True
Suppose -3776*p - 324525 = -3801*p. Does 36 divide p?
False
Let t = -14183 - -22763. Is 66 a factor of t?
True
Let f(g) = 251*g - 197. Let h(v) = -126*v + 97. Let u(q) = -6*f(q) - 11*h(q). Is 13 a factor of u(-5)?
True
Suppose 537 = 2*v + 71. Let z = -62 + v. Is z a multiple of 85?
False
Let r(m) = 345*m**2 - 14*m - 24. Is r(-4) a multiple of 60?
False
Let f = -13686 + 38496. Does 10 divide f?
True
Suppose -z - 3 = -5. Suppose -o - 2*u = 22, -z*u + 28 = -2*o + 2*u. Let d = 4 - o. Does 7 divide d?
False
Let y = -1 + 1. Suppose 4*l - 4*m - 7 - 37 = 0, -5*l + m = -59. Suppose -1680 = -y*s - l*s. Does 23 divide s?
False
Suppose -17*h - 248 = -9*h. Let c = h - -83. Is 10 a factor of c?
False
Suppose j = -j - 0*j. Suppose 15 = -j*c + 5*c. Suppose -3*i - c*i + 126 = 0. Is i a multiple of 6?
False
Let i = 400 + -396. Suppose -i*o - w + 892 = 0, -3*o + 234 + 428 = -w. Is o a multiple of 10?
False
Let b(a) = -13*a + 20. Let z(t) = -13*t + 21. Let q(u) = -5*b(u) + 6*z(u). Let p be 1/((-8)/(-10) - 1). Is 34 a factor of q(p)?
False
Let p = 54 + -51. Suppose 313 = -3*f + l, -4*f + l = -p*l + 412. Let u = f + 192. Is u a multiple of 29?
True
Suppose -492629 = -323*k + 550338. Is 5 a factor of k?
False
Suppose 2250 = 5*t - 0*o + 5*o, -2*o - 896 = -2*t. Let h = t - 224. Does 9 divide h?
True
Let z(a) = -a**2 - 3*a. Let s be z(0). Let j be (s - (-2)/(-8))*-8. Is 28 - 2/(1 - j) a multiple of 13?
False
Is (-5)/(-2 + 3) + 642 a multiple of 3?
False
Let q = 430 + -418. Let h(c) = 14*c - 49. Is 17 a factor of h(q)?
True
Let p(y) = 75*y - 286. Let v be p(5). Suppose v*c - 95*c = -72. Does 6 divide c?
True
Suppose -55860 = -2460*m + 2513*m - 612307. Is m a multiple of 145?
False
Let u = -176 - -344. Let p = -763 - -766. Suppose -p*y + 0*y = -u. Is 7 a factor of y?
True
Suppose 5*l = -10, -2*l + 1212 - 397 = 3*w. Let s = w + -195. Suppose -u = 62 - s. Is u a multiple of 16?
True
Suppose -2*z + 0*z = r + 126, 0 = -r + 2. Let f = z - -13. Let g = f - -59. Is g a multiple of 7?
False
Let l(d) = -28*d + 12*d**2 - d**3 + 13 - 15*d + 39*d. Is 12 a factor of l(5)?
True
Let w be 8 + 7 + -20162 - -3. Does 66 divide w/(-48) + (-2)/(-6)?
False
Let g(r) = 16*r**2 - 3*r - 5. Let q(s) = 19*s + 17. Let j be q(-1). Is 8 a factor of g(j)?
False
Let p(u) = -514 + u**2 + u + 4*u + 519 - u**3. Let a be p(-2). Suppose 4*s + 34 = 3*d - 6, -a = -d - 5*s. Is d a multiple of 12?
True
Let c = -40 - -19. Suppose -4*k - 81 = -g + 64, g + 65 = -2*k. Let f = c - k. Is f a multiple of 3?
False
Suppose -449*b - 27280 = -469*b. Is 22 a factor of b?
True
Suppose -r + x + 28 = 0, 2*r - 49 = 4*x + 7. Let v = -23 + r. Suppose 2*c + 54 = v*c. Is 13 a factor of c?
False
Suppose 2*j = 3*j + 6476. Let q be (-18)/135 - j/(-30). Let p = q - -341. Is 25 a factor of p?
True
Let h(f) = -f**3 + 7*f**2 + 10*f - 13. Let v be h(5). Suppose v*y - 608 = 85*y. Is y a multiple of 16?
True
Suppose -r + 36 = 3*u, r - 1 = u - 17. Suppose 14*y - 257 = u*y. Is y a multiple of 9?
False
Let v(y) = 120*y**2 + 8*y - 23. Let s be v(4). Suppose -u + 545 = 3*r, -r - s - 225 = -4*u. Is u a multiple of 49?
True
Let k = -54 - -60. Suppose 1715 = k*p + p. Suppose 0 = 7*g - p + 14. Does 25 divide g?
False
Suppose 4*v = -31*n + 28*n + 13681, 5*n + 17110 = 5*v. Does 119 divide v?
False
Let x = 24023 - -7368. Does 13 divide x?
False
Suppose -104*n - 224400 = -121*n. Is 110 a factor of n?
True
Let b = -796 - -1140. Let u = b - 254. Does 11 divide u?
False
Let a(g) = -g**3 - 16*g**2 + 6*g - 24. Let c be a(-7). Does 6 divide 27/6*(1 + c/(-9))?
True
Does 195 divide ((-474966)/30)/(30/(-50))?
False
Suppose 17*q + 10*q - 154322 = -124*q. Is 14 a factor of q?
True
Suppose 0 = 4*c + 2*r - 19028, c - 4*r + 397 - 5181 = 0. Is c a multiple of 12?
False
Let t = 49 + -42. Suppose t*g - 5 = 44. Suppose 4*r + 472 = 4*q, -5*r = 3*q + g - 385. Is q a multiple of 51?
False
Let m(x) = 47*x**2 + 15*x - 9. Let j be m(5). Let r = j + -871. Is r a multiple of 42?
False
Is ((-8)/(-1) - 2) + -12 + 4338 a multiple of 76?
True
Let h be (-6)/90*-48*(0 - -30). Let i(r) = r**3 - 8*r**2 - 10*r + 5. Let j be i(8). Let c = h + j. Does 4 divide c?
False
Suppose -3*m - 5*k + 1052 = 0, -3*m + 5*m - k = 684. Suppose d + 4*d = 5020. Suppose i = 0, 3*g - 2*i + m = d. Does 22 divide g?
True
Suppose 8*c - 2*c + 48 = 0. Let t(z) = -z**2 - 13*z - 20. Let v be t(c). Suppose -v*i + 1080 = -15*i. Is 27 a factor of i?
True
Let p be (874/342)/((-12)/(-108)). Let j = 27 + -18. Suppose j = -u + p. Is 14 a factor of u?
True
Suppose -30*c = -26*c. Suppose 3*r - r - 20 = c. Let p = r - -48. Does 9 divide p?
False
Let w = 4535 - 2613. Is 26 a factor of w?
False
Let k be 0/(1*4/(12/9)). Suppose -5*y - 4*x + 916 = k, 2*y - 4*y + x + 369 = 0. Suppose 5*p + u - 267 = y, -5*p + 5*u = -445. Is p a multiple of 34?
False
Suppose -c + 1912 = x - 3*c, -x = 3*c - 1927. Is 23 a factor of x?
False
Let l be ((-82)/6)/(2/(-294)). Suppose l + 546 = 7*t. Is 22 a factor of t?
False
Let f = -2 - -4. Let q be 24 - (f + -3 - (-5 + 1)). Suppose -s + q - 12 = 0. Does 2 divide s?
False
Suppose -3*s - s - o - 84 = 0, 3*s + 40 = 5*o. Let r(f) = f**3 + 21*f**2 + 18*f + 19. Let h be r(s). Let q = 82 - h. Is q a multiple of 9?
False
Let z = -2566 + 4527. Is 53 a factor of z?
True
Suppose -16*b - 774 = -19*b. Is 129 a factor of b?
True
Let k(p) = 82*p**2 - 37*p + 424. Is k(15) a multiple of 185?
False
Suppose -87098 = -i - 21*i. Suppose 10699 + i = 21*o. Is 19 a factor of o?
False
Suppose -j = -4*b + 93135, -2*b - 508*j = -504*j - 46590. Is 32 a factor of b?
False
Let l = 36 + -23. Suppose 0 = -8*f - 27 - l. Is (-6)/3 - f - 0 - -73 a multiple of 19?
True
Suppose 3*h = 3719 + 595. Suppose 17*x - 585 = h. Is 17 a factor of x?
True
Let p be 372/(-28) + -3 + 69/21. Let s(u) = -7*u**2 - 2*u**2 - 3*u**2 - u**3 + 8*u - 9. Is s(p) a multiple of 14?
True
Suppose 0 = 20*s + 6*s - 58162. Is 29 a factor of s?
False
Suppose 0 = 13*m - 10*m + 519. Let w = m + 219. Is w a