9*b - 11. Does 70 divide a?
False
Let a be 8/(-2)*9/(-9). Suppose -2*k = a*d - 6*d + 420, 4*d + 3*k - 840 = 0. Is 35 a factor of d?
True
Let o = 41561 + -27822. Does 20 divide o?
False
Suppose 4*z = -3*j + 35728 + 146567, 0 = -5*j - 15. Is z a multiple of 24?
True
Suppose 6*o + 80 + 280 = 0. Let z = o - -60. Is 6 a factor of (-4)/14 - ((-176)/28 + z)?
True
Let a = 26 - 16. Suppose t + 5*q - 254 = 241, -990 = -2*t - 4*q. Is (-3)/(-2) + t/a a multiple of 20?
False
Suppose n - 4*y - 75 = -2*n, 2*n = -3*y + 33. Let p(q) = q**2 - 12*q + 38. Is p(n) a multiple of 16?
False
Let q = -2393 - -5527. Suppose 1026 = 5*f - q. Is f a multiple of 34?
False
Let l(b) = 1653*b**2 + 20*b + 19. Does 118 divide l(-1)?
True
Let x(z) = -z**3 + z**2 + z - 1. Let q(v) = 4*v**3 + 2*v**2 - 14*v + 13. Let c(b) = -q(b) - 3*x(b). Is c(-7) a multiple of 6?
False
Let c = 267 - 263. Suppose -16*h = r - 21*h - 241, h + 869 = c*r. Does 6 divide r?
True
Let i(w) = 21*w**2 - 17 + 10*w + 23 - 12. Let n be i(5). Is 27 a factor of (n/5 - -3) + (-1)/(-5)?
False
Let f = 35 + -31. Let t be 1/((-2)/(-22)) - f. Let v(h) = h**2 - 4*h + 5. Does 26 divide v(t)?
True
Let x be (-8)/(-10) - (-99)/220*76. Suppose 2*i - 83 = i. Suppose -3*w = x - i. Is w a multiple of 16?
True
Suppose -26*t + 28493 + 15291 = 0. Is t a multiple of 10?
False
Is ((-13)/(-10) - (-6)/(-4))*-19785 a multiple of 16?
False
Suppose -43 = -9*f - 7. Suppose 21 = f*j - 11. Suppose -j*r + 174 + 546 = 0. Is r a multiple of 45?
True
Let k = 33 - 18. Suppose 0 = 19*u - 42 - k. Suppose z + 4*g = 3, 2*g + 81 = -u*z + 8*z. Does 4 divide z?
False
Suppose -83 = c - 30. Let g = c + 58. Suppose -g*t - 6 = 14, f = 4*t + 115. Does 18 divide f?
False
Suppose 5*f = k - 2*k + 55, -5*f = -3*k + 185. Let d = 80 + k. Suppose 0 = -4*t - 3*t + d. Is 3 a factor of t?
False
Suppose 0 = 6*h - 2754 - 414. Is 6 a factor of (h/(-18))/(-4)*3?
False
Let l(u) = 3*u**3 - 34*u**2 + 23*u + 24. Let j(s) = 2*s**3 - 33*s**2 + 23*s + 22. Let p(r) = 4*j(r) - 3*l(r). Is p(-31) a multiple of 25?
False
Let n(a) = -18*a. Let f be n(-1). Let s = -268 - -271. Suppose f = i + g + 2*g, s*g - 150 = -5*i. Does 11 divide i?
True
Let m(g) = -g**3 - g**2 + 2*g - 10. Let j be m(-5). Let f be 0/3*1/1. Suppose f*w - 64 = -4*w + o, o = 5*w - j. Is w a multiple of 4?
True
Suppose 1878 = 3*i + 4*w - 7541, -3*w + 12554 = 4*i. Does 22 divide i?
False
Let d = 369 + -366. Suppose d*r = 4*j - 1997 - 490, -2*r - 1246 = -2*j. Is j a multiple of 6?
True
Suppose -40*u - 25 = -45*u. Suppose -u*f - f = -4074. Suppose 5*y - f = b, -5*y + b - 4*b + 663 = 0. Does 27 divide y?
True
Let s = 71 - -202. Suppose 4*w + 6*d = 3*d - 226, d = 5*w + s. Is (-4)/(-22) - 3290/w a multiple of 15?
True
Let w = -2475 - -2608. Is w a multiple of 48?
False
Let m = -3 + 7. Suppose 4*b - 600 = 4*i - 0*i, -777 = -5*b - m*i. Suppose 43 = 2*k - b. Is 13 a factor of k?
False
Let r = 239 + -269. Let w(f) = f**2 + 16*f + 140. Is 16 a factor of w(r)?
True
Let r(m) be the first derivative of -7*m**2/2 + 2*m + 29. Let h be r(0). Suppose z - 10 = h. Is 12 a factor of z?
True
Is 26 a factor of 2*(-4269)/(-2)*((-264)/(-9) - 29)?
False
Suppose 3*n - 6 = -0. Let u = 2446 + -2446. Suppose -32 = -n*i - u*i. Is 13 a factor of i?
False
Let s(h) be the third derivative of 23*h**4/24 - 64*h**3/3 + 2*h**2 - 45. Is 2 a factor of s(6)?
True
Let k = 1253 + 2067. Does 83 divide k?
True
Let m = -3956 - -6791. Is m a multiple of 15?
True
Let x = -185 - -187. Suppose -10*v = -12*v + 5*o + 830, -806 = -x*v - o. Is v a multiple of 22?
False
Let s be (2/4)/((-5)/40). Let z(p) = 12*p**2 - 4*p + 2. Does 10 divide z(s)?
True
Let i(z) = -772*z + 948. Is i(-11) a multiple of 148?
False
Let k = 48430 - 32365. Does 45 divide k?
True
Suppose -n - 3*z - 247 = 0, -60 = -3*n - 4*z - 786. Let j = -186 - n. Is j a multiple of 39?
False
Suppose 66*p - 57*p - 180 = 0. Let g = p + 184. Is 23 a factor of g?
False
Let p(s) = -13*s - 5. Let u be p(-1). Suppose 57 = u*i - 55. Does 2 divide i?
True
Suppose -5*h = -5*y + 430, -756*h + 755*h - 260 = -3*y. Is y a multiple of 3?
True
Does 20 divide (1 + (-233)/(-7))*70*(-2)/(-30)?
True
Suppose -n = 4, 0*m + 22 = -3*m + 2*n. Let j be (-3448)/m - 9/(-45). Suppose -3*i + j = 9. Is 28 a factor of i?
True
Let x(d) be the third derivative of d**7/20 - d**6/180 + d**4/24 + 35*d**3/6 - 13*d**2. Let p(l) be the first derivative of x(l). Does 5 divide p(1)?
False
Suppose -10*g + 685 = -655. Let b = -80 + g. Is 3 a factor of b?
True
Let b(j) = 107*j**2 - 198*j - 983. Does 9 divide b(-5)?
True
Suppose -138*i + 99*i = -20280. Is i a multiple of 40?
True
Let t(f) = 2*f - 24. Let i be t(-8). Let a = i + 42. Suppose -3*g + 2*c = -6 - 7, 0 = a*g - c - 10. Does 7 divide g?
True
Does 10 divide (-11 - -26)*(23426/10 - 3/5)?
True
Suppose -n + 0*n - 4*n = 0. Let w be (0/1 + -3 + n)*-24. Suppose -2*b = -4*d + w, d + d - 2*b - 32 = 0. Is 4 a factor of d?
True
Suppose 20*p - 10*p - 20 = 0. Suppose -4*a + 1119 = x, -588 = -p*a + 2*x - 26. Is 10 a factor of a?
True
Suppose -7*n = 5*n + 24. Let g be (((-3)/n)/(-1))/(6/24). Is 12 a factor of 3/(g/4) - -108?
False
Suppose 0 = 5*v - 3*f - 2*f - 135, 5*v - 131 = 4*f. Suppose v*u - 1200 = 11*u. Suppose -26*k + 31*k = u. Does 15 divide k?
False
Suppose 0 = 5*c - 4*c - 4. Suppose -2*h + 4 = -c*h. Does 11 divide -61*h/2 - (-6 - -7)?
False
Let c = -57 + 59. Let i be 7 + 2 + 1*-4 - c. Suppose i*q - 4*q = -54. Is q a multiple of 14?
False
Suppose -61*r - 30 = -66*r. Suppose -348 - 732 = -r*m. Is 4 a factor of m?
True
Suppose y - 5*y - 12*y + 118528 = 0. Is 26 a factor of y?
False
Suppose 0 = -13*s - 48*s + 260897. Is 6 a factor of s?
False
Is 44/33*3359295/76 a multiple of 15?
True
Let d = 27650 + -5166. Is 73 a factor of d?
True
Suppose 9*c + 212 = 644. Is (152/c)/(-19)*-138 a multiple of 7?
False
Let h(b) = -b**3 + 33*b**2 - 46*b + 5. Let u be h(31). Let q = u + -341. Does 8 divide q?
True
Let p(m) = m**3 + 22*m**2 + 20*m + 25. Let f = -50 + 49. Let y be f/((2 - (-43)/(-21))/(-1)). Does 23 divide p(y)?
True
Let z(q) be the first derivative of 3*q**2/2 + 35*q + 4. Let i be z(-12). Let r(x) = -230*x**3 - 2*x - 2. Is 35 a factor of r(i)?
False
Suppose 407*v - 4247258 + 432219 = 268392. Is v a multiple of 97?
False
Let p be -7 + (-26 - (-2)/(-2)). Let b = p + 174. Is b a multiple of 35?
True
Suppose 2*i = 3*h - 21120, 38*h - 40*h + 2*i = -14080. Is h a multiple of 10?
True
Let r = -1163 + 1464. Let w be -2 + 340/(-6)*-3. Let t = r - w. Is t a multiple of 13?
False
Let g(r) be the second derivative of -29*r**3 - 7*r**2/2 - 2*r. Suppose 18*x - 250 = -268. Is 24 a factor of g(x)?
False
Suppose 0*d + 2*d - 406 = a, -2*d + 2*a + 410 = 0. Let x = d + -306. Let m = -40 - x. Is m a multiple of 24?
False
Let i(f) be the first derivative of -3*f**4/2 + 2*f**3/3 + 3*f**2/2 + 6*f - 8. Let u be i(-3). Let l = 253 - u. Is 19 a factor of l?
True
Suppose -3*g + 2*g + 4*t = -10, 3*g - 5*t = 23. Let d(l) be the second derivative of l**5/20 - 13*l**3/6 + l**2 - 19*l. Is 20 a factor of d(g)?
True
Let h = 83563 + -37275. Does 16 divide h?
True
Let p = -321 - -325. Does 8 divide 6 + (6 + -731)/((-4)/p)?
False
Let g(o) = -o + 15. Suppose -i + 2*b = b + 1, 3*i - 4*b = 2. Let z be g(i). Let w(t) = 9*t - 49. Does 13 divide w(z)?
False
Suppose 0*a + 5*a + 15 = -5*f, 0 = f - 4*a - 12. Suppose -2*j + 660 + 311 = 3*i, i - j - 327 = f. Is i a multiple of 13?
True
Let z = -151 - -289. Suppose -6 + z = j. Does 44 divide j?
True
Suppose 2098 = 3*s + 5*a - 2202, s + 4*a = 1424. Suppose -3*f + 6*j + s = 4*j, 5*j = 0. Does 16 divide f?
True
Let i = -21132 - -32154. Is 33 a factor of i?
True
Let w = -11 - -13. Suppose k - w = -3*l, -k + 4*l = -3 - 13. Suppose -k*j + 259 = -277. Is 23 a factor of j?
False
Suppose -1305*f + 2595*f + 633520 = 1330*f. Is f a multiple of 23?
False
Let q = -350 + 345. Let m(w) = -1. Let n(r) = -2*r**3 - 7*r**2 - 8. Let u(k) = 2*m(k) + n(k). Is 9 a factor of u(q)?
False
Let i(o) = 17 - o**2 - 9*o - 8*o - 2*o - 5*o - 2*o. Is 62 a factor of i(-13)?
True
Suppose 0 = -2*c - 22 + 32. Suppose n = c*n - w - 1901, 0 = -n + 4*w + 464. Is n a multiple of 9?
False
Let i(x) = x**3 + 8*x**2 - 22*x - 10. Let a be i(-10). Suppose -a*q - 340 = -0*q. Let l = q - -164. Does 26 divide l?
True
Is ((-7)/((-196)/(-279566)))/((-3)/12) a