Is 15 a factor of s?
False
Let v = 6837 - 34862. Is 47 a factor of (12/(-15))/2*v/19?
False
Let c(h) = -86*h**3 + 4*h**2 - 3*h - 23. Let o(q) = -42*q**3 + 2*q**2 - q - 11. Let w(u) = 3*c(u) - 7*o(u). Is 10 a factor of w(2)?
False
Let o be 11 + (-13 - -7) - -1320. Suppose 0 = -9*l - 443 + o. Is 10 a factor of l?
False
Is 80 a factor of 776 - ((-66)/(-24) + 8/32)?
False
Suppose 39110 = 5*d - 4*c, c + 42 = 42. Is 15 a factor of d?
False
Let c(x) be the first derivative of x**2 - 5*x - 11. Let p be c(5). Suppose 450 = -p*o + 10*o. Is o a multiple of 10?
True
Let q(x) = 30*x**2 - 5*x + 3. Let z be q(-4). Let d = z + 326. Is d a multiple of 54?
False
Let y(v) = -1. Let q(a) = 2*a - 15. Suppose 3*t = 2*z - 2*t + 17, -5*z + 4*t - 34 = 0. Let f(l) = z*y(l) + 2*q(l). Is 5 a factor of f(14)?
False
Suppose -4*g + 16 = 0, 6*d = 8*d + 2*g - 28. Suppose -182 = -d*h - 1362. Let k = 190 + h. Is 17 a factor of k?
False
Suppose -4*y + 0*g = 3*g + 719, y - 2*g = -188. Let d = -86 - y. Is d a multiple of 4?
True
Suppose -19485 = -12*h + 7*h - 3*r, -5*h + 3*r + 19455 = 0. Does 66 divide h?
True
Let u(r) = 3*r**3 - r**2 - r + 1. Let w be u(-1). Let f be (-36)/(-15) + w/5. Let m = f - -18. Does 4 divide m?
True
Let c(t) = -t**3 + 12*t**2 + 11*t + 15. Let y be c(12). Let g = 87 + y. Is 8 a factor of g?
False
Let l(c) = -32*c - 44. Let v be l(-10). Suppose -264 = -9*y + v. Is 30 a factor of y?
True
Let i be 4 + (-6)/(-4)*2. Let k be (2 + 118/i)*(7 - 0). Suppose p - 14 = 4*a, -k = -4*p - a - 2*a. Is p a multiple of 10?
True
Suppose 3*x - 66303 = -3*c, -4*c - 129*x + 134*x = -88404. Is c a multiple of 53?
True
Suppose -j + 3*l + 21 = -8, -j - l = -33. Let t(w) = j + 88 - 35 + w. Is t(0) a multiple of 17?
True
Let g(j) = 117 + j**2 - j - 21 + 0*j. Suppose 5 = -4*v + 5. Is 24 a factor of g(v)?
True
Suppose -37*h + 182*h = -396 + 27511. Is 16 a factor of h?
False
Let v(n) = 424*n - 218. Does 15 divide v(2)?
True
Let q(x) be the second derivative of -7*x**3/3 + 203*x**2/2 - 128*x. Does 3 divide q(9)?
False
Let a(r) = 12 - 27*r + 12*r**2 + 6*r + 7*r + 8*r. Let w be a(5). Suppose 16*d - w = 13*d. Does 32 divide d?
False
Let i(j) = -2*j**2 + 12*j - 7. Let g be i(5). Suppose -g*c + 14 - 2 = 0. Suppose 4*p + 0*v - c*v = 68, 5*p = -v + 79. Is p even?
True
Let x(j) = -27*j**2 + 28*j - 2. Let r be x(1). Suppose -2 = -4*t + 2*o - 0*o, 35 = 5*t + 4*o. Is 10 a factor of (-4 - (78 - t))/r?
False
Let b(k) = -18*k + 86. Let o be b(14). Let u = o - -456. Is u a multiple of 15?
False
Suppose -v - 4*g + 20 = -0*v, -3*g + 9 = 0. Suppose -m = -b - v, -3*b + 8*b + m = -10. Is b + (-93)/(-7) - (-4)/(-14) even?
True
Suppose 3*t = 15 - 0. Suppose -t*n + 6*n - 116 = 0. Let s = n - -8. Does 21 divide s?
False
Suppose 0 = -2*u + c - 3, -2 = -u - 2*c + 9. Let g(d) = 3*d + 3 + 0 + 13*d. Is g(u) a multiple of 6?
False
Suppose -10*d + 4*x = -7*d - 26, -25 = -3*d + 5*x. Suppose 17*f - 560 = d*f. Is f a multiple of 8?
True
Suppose -38*a + 5*h - 164090 = -43*a, a + 6*h = 32808. Is 20 a factor of a?
True
Suppose -42 = 14*r - 42. Suppose 3*i + 9 + 3 = r, -4*f + i = -844. Does 7 divide f?
True
Let l(p) = -2*p + 59. Let i(s) = s**2 - 8*s + 26. Let b = 69 - 63. Let t be i(b). Is 31 a factor of l(t)?
True
Suppose 42*j + 16520 = 32*j. Let q = 2416 + j. Is q a multiple of 25?
False
Let n = 6173 - 4289. Does 12 divide n?
True
Suppose -279*d = r - 278*d - 2005, 0 = -5*r + 4*d + 10025. Is 5 a factor of r?
True
Let c = -61244 - -94162. Is c a multiple of 56?
False
Suppose 0 = -0*s + 4*s + 3*c - 103, 5*c - 105 = -4*s. Suppose -2*v + s - 19 = 0. Suppose g - 69 = -4*t, 45 = v*g - 5*t - 196. Is g a multiple of 16?
False
Let m = -859 - -924. Suppose -m*k + 4725 = -40*k. Is k a multiple of 12?
False
Suppose -c + 0*y = 5*y + 15, -c + y - 39 = 0. Let w be (-255)/c - (-4)/(-14). Suppose 0 = -t + w*t - 264. Is t a multiple of 8?
False
Let b(r) = r**2 - 9*r - 96. Let s be 32/(-3) + (-26)/(-39) - 1. Is b(s) a multiple of 5?
False
Let t = -15 - -15. Suppose t*h - h = 2*h. Suppose 14*a - 8*a - 1080 = h. Is 45 a factor of a?
True
Let b = -64 + 34. Does 21 divide (27/(-6) - -1)*b?
True
Suppose 5*u + 14*g - 11*g - 30465 = 0, 0 = -2*g - 10. Does 12 divide u?
True
Let j be (1 - -1) + 4/8*44. Suppose 3*l = -3*n - j, 4*l + 0*l = 5*n - 5. Is 13 a factor of (-4)/(-10) + (-143)/l?
False
Let t(q) = -q**2 - 6*q + 19. Let h be t(-8). Let j(g) = 13*g**2 + 4*g. Let k be j(5). Suppose -h*m = -k + 84. Does 33 divide m?
False
Suppose -3143 + 11807 = 8*r. Let o be r/24 + (-5)/40. Let t = o + -34. Does 5 divide t?
False
Let z = 3809 - 354. Let w = 1376 - z. Does 18 divide (-1)/2 + 0 + w/(-54)?
False
Let s = 27367 + -26879. Is s a multiple of 35?
False
Let j = 25 + -29. Let a be j - (-4)/2 - -87. Let p = a - -35. Does 12 divide p?
True
Let a = -69 - 88. Suppose -g - 4 = -8, -3*u = -g + 268. Let t = u - a. Is 23 a factor of t?
True
Let j(m) = -m**3 + 6*m**2 + 10*m - 2. Let y be j(7). Let u be -1*(-1 - 1 - 14*y). Let x = u - 142. Is 14 a factor of x?
True
Let z(f) = 19*f + 9. Let t(l) = -7*l + 10. Let d be t(2). Let x(w) = -w**2 - 3*w + 7. Let s be x(d). Is 11 a factor of z(s)?
True
Let k be (-5 + 2)/(((-15)/(-2))/(-5)). Suppose t - 65 = 3*d - 5*d, k*t + 3*d = 129. Is 12 a factor of t?
False
Let g(y) be the first derivative of y**4/4 + y**3 + 3*y**2/2 + 6*y + 2. Let k be g(-3). Is (2 - -3)/(k/(-18)) a multiple of 13?
False
Let y = 12200 + -9480. Is y a multiple of 46?
False
Is ((-2)/4 - 3/(-3))/((-40)/(-70960)) a multiple of 28?
False
Suppose 30 = -5*y + 5*i, -2*i - 4 = -4*y - 5*i. Let a be ((-123)/6 - 3)*y. Suppose -2*u + p + 89 = 0, -u + a = p - 2*p. Is u a multiple of 7?
True
Is 25 a factor of 43/(-301) + (-39902)/(-14)?
True
Let x = -22434 + 25646. Is x a multiple of 52?
False
Let v(y) = y**3 + 66*y**2 + 51*y + 35. Is 21 a factor of v(-14)?
True
Let l(o) = o**3 + 42*o**2 - 21*o + 276. Does 62 divide l(-41)?
False
Let y = 7304 + 969. Is 21 a factor of y?
False
Let c be (-26)/(-39)*((-2 - -13) + 1). Suppose -3*d + 1984 = -c*t + 12*t, -3*t - 670 = -d. Does 21 divide d?
False
Let j(t) = -35*t**3 + 4*t**2 + 5*t - 21. Let v(w) = 12*w**3 - w**2 - 2*w + 7. Let x(d) = 6*j(d) + 17*v(d). Let i be x(4). Let q = i + 537. Does 41 divide q?
False
Suppose 209 = 5*y - 3*s, 2*y + 98 = -2*s + 204. Is y a multiple of 15?
False
Let t(r) = -r**2 + r. Let q be t(-1). Let h be (-2)/(-12 - -12 - q/3). Does 28 divide 2 + 8/6*(h + 105)?
False
Suppose 0 = -61*n - 366*n + 9215514. Is n a multiple of 6?
True
Suppose -2952 = -10*z - 2882. Suppose 4*r + 4 = 4*b, 2*b = -4*r + 2*r + 2. Suppose -8*y = -z*y - 2*t - 84, -4*t = r. Does 21 divide y?
True
Let w = -4908 - -7728. Is w a multiple of 6?
True
Let q = 146 - -4022. Does 27 divide q?
False
Let s = 80 + -72. Let p = 12 - s. Suppose -2*q + g = -339, -2*q - p*g + 672 = 2*q. Does 20 divide q?
False
Let u(p) = -22177*p**3 - 6*p**2 + 11*p + 13. Is 13 a factor of u(-1)?
False
Let r(k) = 4*k**2 + 9*k**3 - 9*k - 9*k**2 - 10*k**3 - 69 - 21 - k. Does 18 divide r(-8)?
False
Suppose 0 = -344*n + 12943274 - 4470898. Is 21 a factor of n?
False
Suppose -15*y + 20*y - 825 = 3*h, -5*h - 4*y - 1375 = 0. Let g = 435 + h. Is g a multiple of 5?
True
Let b = 3281 - 313. Does 83 divide b?
False
Let z be 648/32 + (-2)/8. Let c be 1/(-4) + 545/z. Does 13 divide 575/4 - c/36?
True
Let h(m) = m**2 + 15*m + 3. Let j be h(-14). Does 33 divide (j/1)/(((-39)/153)/13)?
True
Let r = 177 - 159. Suppose 1247 = r*u - 13. Does 7 divide u?
True
Let d(j) = -211*j + 2268. Is 8 a factor of d(-4)?
True
Suppose 21*m = 20*m + 14. Let q = -11 + m. Suppose -5*u = -u - 4, -3*t = q*u - 480. Is 23 a factor of t?
False
Suppose 2*z = -49 - 81. Let t = 241 - z. Is 17 a factor of t?
True
Let u = 15799 + -5797. Is u a multiple of 6?
True
Let n(d) = -d**2 - 24*d - 19. Suppose 18*f + 206 = -82. Is n(f) a multiple of 14?
False
Let k be 11 + (-2 - 0) - (-66 - -70). Suppose k*u + 4015 = 16*u. Is 35 a factor of u?
False
Let s be 210*(-3)/((-9)/20). Let h = -1770 + 1776. Suppose h*i + i = s. Is 40 a factor of i?
True
Let q = -16498 + 33903. Is 120 a factor of q?
False
Suppose f + 1162 = t, -1926 = -3*t - 5*f + 1552. Is 43 a factor of t?
True
Suppose -f + 3*f = n + 8, 0 = -4*f - 3*n + 6. Let j = 3685 - 3302. Suppose -5*u = 4*c - 343 - 191, f*c = 5*u + j. Is c a multiple of 31?
False
Suppo