ide j?
False
Is -38*7/(-14) + 3 a multiple of 14?
False
Let h(g) = 11*g**2 - 27*g + 9. Let q(m) = -4*m**2 + 9*m - 3. Let j(f) = -3*h(f) - 8*q(f). Let z(k) be the first derivative of j(k). Does 11 divide z(-12)?
True
Does 2 divide (-75)/(-7) + (-44)/(-154)?
False
Suppose -1065 = -54*b + 177. Is b a multiple of 5?
False
Let x(m) = 51*m**2 + 17*m + 104. Does 23 divide x(-7)?
True
Suppose -6*c - 30 = -0*c. Let t = c + 9. Let q = 17 - t. Is 13 a factor of q?
True
Suppose -6*j + 9 = -9. Suppose 54 = z + j*h - 2*h, 0 = z - 3*h - 74. Is 13 a factor of z?
False
Suppose 0 = -25*q - 202 + 14202. Is q a multiple of 10?
True
Suppose -10*q = -13*q + 12. Let y be 3 + 1 + -2 + q. Let m = 2 + y. Does 7 divide m?
False
Is 42 a factor of (172/8 + (-2 - 2))*48?
True
Suppose -34*i = -39*i + 605. Let z = 36 + i. Does 8 divide z?
False
Let z(c) = -10*c + 18. Suppose 6*x - 2*x = 2*l + 16, 5*l + 4*x = -26. Is z(l) a multiple of 15?
False
Suppose 2052 = 26*r - 22*r + x, -492 = -r + 5*x. Does 5 divide r?
False
Suppose i = -13*h + 18*h + 1623, 0 = -i - 3*h + 1663. Is 35 a factor of i?
False
Let t = -338 - -674. Does 12 divide t?
True
Let r be 2 - 0 - (5 + -5)/(-5). Is 26 a factor of ((-2)/(-2) - (r - -14))*-5?
False
Suppose 4*y - 6 = -2*a, 5*y - 2*a = 3*a + 15. Does 7 divide (2 - 5)*(56/(-3))/y?
True
Suppose 37 = 6*p + 31. Is (-30)/(p*-3*(-4)/(-12)) a multiple of 2?
True
Suppose 10 + 20 = 2*j + 2*g, 3*j - 3*g - 69 = 0. Suppose -24*t + j*t = -190. Suppose -2*l + 3*m = -t, -2*m = 5*l + 3*m - 145. Does 10 divide l?
False
Suppose 2*g + 25 = g. Let p = -26 - -81. Let w = g + p. Is w a multiple of 10?
True
Suppose -6*c + 642 = -138. Let o = c - 105. Does 3 divide o?
False
Let v(d) = -17*d**2 + 8*d - 3. Let o be v(2). Let z = 115 + o. Does 12 divide z?
True
Let h(y) = -7*y + 2. Let z(w) = -13 + w + 24*w + 4 + 11*w. Let q(s) = 11*h(s) + 2*z(s). Is q(-4) a multiple of 13?
False
Suppose 1 + 2 = p, 391 = 4*f + 5*p. Is f a multiple of 6?
False
Let r = -250 - -398. Is r a multiple of 15?
False
Let b(g) = -g**3 + g**2 + 4*g - 3. Let s be b(2). Let z be 44*s*(-22)/(-8). Suppose -a + 62 = -h, -3*a + z = -a - 5*h. Does 21 divide a?
True
Let r = -812 - -848. Is 36 a factor of r?
True
Is 7 a factor of 0 - ((-42)/(-9))/((-4)/210)?
True
Suppose -48*q = -53*q + 3470. Suppose -3*p = -2*c - q, 0*p = -4*p - c + 907. Does 19 divide p?
True
Suppose -5*p = -31 - 4. Let y(d) = 10*d + 47. Is 9 a factor of y(p)?
True
Let i(j) be the first derivative of -j**4/4 - 14*j**3/3 - 11*j**2 - 18*j + 23. Does 15 divide i(-13)?
False
Let f be (-959)/11 + 4/22. Let w = 195 + f. Is w a multiple of 18?
True
Let g(l) = 12*l + 73. Does 34 divide g(10)?
False
Let c be (0 + 6)*(-26)/(-52). Suppose -5*z = -c*z - 6. Does 14 divide 54/(-36)*(-112)/z?
True
Suppose 4*b + 6*a = a + 81, 3*b + 2*a = 66. Is 2/5*-4*(-660)/b a multiple of 44?
True
Let v = -4 + 185. Suppose 0 = 9*h - 107 - v. Does 3 divide h?
False
Suppose -5*q = -3*a - 86, -2*q - 2*a = -3*q + 13. Suppose -v = -4*i + 108, -4*v - v = i - 48. Let u = i - q. Is 2 a factor of u?
False
Let f(a) = -7*a + 57. Is 2 a factor of f(5)?
True
Suppose 4*h - 3*y - 112 = 0, -2*h + 3*y + 37 = -h. Let b = h + 11. Is b a multiple of 9?
True
Let t(r) = r**2 + 4*r - 17. Suppose 0 = 4*p + f + 3*f - 32, -f = -p + 6. Does 30 divide t(p)?
True
Let y(r) = r**2 - 2*r + 2. Let p be y(2). Suppose b = z + 59, -b = p*b - 9. Is (-15)/2*z/6 a multiple of 25?
False
Let x(a) = -454*a**3 - 4*a**2 + 2*a. Is 16 a factor of x(-1)?
True
Does 10 divide 7920/(-32)*(-4)/3?
True
Let x = 18 + -15. Let b be x/12 - 14/(-8). Is 8 a factor of (2*b)/(5/40)?
True
Let d(a) = -a**3 - 9*a**2 - 3*a - 18. Let h be 10/(-3)*(0 - -3). Does 28 divide d(h)?
True
Suppose 13*i = 16*i - 528. Is i a multiple of 4?
True
Suppose 3*r + 368 = -2*q + 4*q, 4*q - 3*r - 730 = 0. Let h = q - 111. Suppose 2*o = -0*o + h. Is o a multiple of 11?
False
Suppose -4855 = -15*z + 1640. Is z a multiple of 7?
False
Let s = -1060 + 1315. Is 19 a factor of s?
False
Let i(o) = o**2 - 10*o - 3. Let n be i(10). Is 35 a factor of 139 + n + (7 - 3)?
True
Suppose 10*d - 12*d = -6. Suppose 2*c + 4*z - 130 = 0, -d*c - 2*c + z = -347. Is c a multiple of 23?
True
Let b(m) = 7*m**3 - m**2 + 8*m + 2. Let p(y) = 11*y**3 - 2*y**2 + 12*y + 3. Let u(h) = -8*b(h) + 5*p(h). Let x = -173 - -170. Does 10 divide u(x)?
True
Let c(u) be the second derivative of u**5/20 + 7*u**4/6 - 10*u**3/3 - 2*u**2 - 25*u. Is c(-15) a multiple of 21?
False
Let i = -26 + -128. Let z = 241 + i. Is 33 a factor of z?
False
Let q(t) = -t**3 - t**2 + 4*t - 8. Let p be q(-5). Suppose 4*i - 41 = -k, p + 38 = 5*k + i. Is k a multiple of 12?
False
Let o = 69 - -1. Is 10 a factor of o?
True
Let n = -64 - -145. Let k = n - 29. Is k a multiple of 52?
True
Suppose 4*s - 800 = -s. Suppose s = 2*a + 3*a. Suppose 0 = x + a - 104. Is x a multiple of 36?
True
Suppose -6*w + 80*w = 326784. Is 40 a factor of w?
False
Suppose 32 + 266 = 5*t - o, 3*o = -5*t + 306. Does 20 divide (-7)/((-4)/t*1)?
False
Suppose 3*h - 10 = -2*h. Suppose 0 = -a + 5*q + 230, -238 = -h*a + 5*q + 237. Does 35 divide a?
True
Suppose 0 = 5*j - 306 - 5994. Is 21 a factor of j?
True
Let v = -1775 + 1850. Is 5 a factor of v?
True
Let k(i) = -10*i - 1. Let b be k(-2). Let w = b - 21. Is -42*2*w/4 a multiple of 14?
True
Let z be (-2)/(-9) - (-268)/9. Suppose 24*w - 18 - 78 = 0. Suppose 3*i + w*q = -i + 72, i + 4*q = z. Is i a multiple of 4?
False
Let x be 1 + (-4)/6*3/2. Let n(p) = 7*p**3 - p**2 - 6*p + 10. Let t(r) = -13*r**3 + 2*r**2 + 11*r - 19. Let z(a) = -11*n(a) - 6*t(a). Is z(x) a multiple of 2?
True
Let y(g) = 60*g - 48. Is y(2) a multiple of 38?
False
Suppose 3*l - 4*j - 2195 = 1098, -5*l = 2*j - 5471. Does 14 divide l?
False
Let j = 27 - 25. Suppose 0 = j*y + 4*l - 36, 5*l + 9 + 11 = 0. Is 26 a factor of y?
True
Suppose -j + 18 = -3. Is j a multiple of 2?
False
Let j(q) = 2*q**2 - 2*q - 7. Let b be j(3). Suppose -b*z + 64 = -141. Is z a multiple of 7?
False
Let i(r) = -r**3 + 19*r**2 - 3*r + 136. Is 4 a factor of i(17)?
False
Let u be (-4)/(-22) + 3950/55. Suppose -207 = -9*m + u. Does 4 divide m?
False
Suppose -48*s + 49*s = 4. Suppose -22 + 74 = s*p. Is 3 a factor of p?
False
Let p(h) = 2*h + 13. Let o be -2 - -3*16/12. Let l be (-5 + o - -3)/(-1). Does 13 divide p(l)?
True
Let k(w) = -13*w**2 + 32. Let c be k(7). Let n = 918 + c. Does 51 divide n?
False
Suppose -z = -5*z + 264. Is 6 a factor of (9/(-6))/((-3)/z)?
False
Let u = -61 + 38. Let n = 26 + u. Suppose n*q - 45 = -k, 2*k + 3*q = 2*q + 105. Is 21 a factor of k?
False
Is 2 + -128*(-29 - (-5 - -4)) a multiple of 66?
False
Suppose 0 = -14*w - 290 + 1074. Does 10 divide w?
False
Let l(r) = -862*r + 80. Is 41 a factor of l(-2)?
True
Let k(y) = y**3 + 7*y**2 + 5*y + 6. Suppose 3*w = -0*w + 27. Suppose 3 - w = c. Does 5 divide k(c)?
False
Suppose 2*k + 20 = 4*k. Let a be (k/(-30))/((-2)/6). Suppose n + a = 6. Is n a multiple of 5?
True
Let q(c) = c**3 - 11*c**2 - 10*c - 6. Let j = -16 + 29. Let h be q(j). Suppose -4*k - 38 = -h. Does 9 divide k?
False
Suppose -5*k + 169 = -3*t, -5*k - 5*t + 148 = -t. Is k a multiple of 14?
False
Suppose g = 4*c + 288, 0 = -4*g + c + 448 + 749. Is 4 a factor of g?
True
Let v = -68 + 72. Is (-1 + v/(-1))*(-1086)/30 a multiple of 7?
False
Suppose -4*x - 13 - 23 = 3*v, -3*v = x + 45. Let f = v - -25. Does 3 divide f?
True
Let d be (-5 + 1)*(-3 + 0). Let i be (4/d)/((-1)/(-15)). Suppose s = -2*k + 6, -4*s - 8 = -i*s - k. Is s a multiple of 3?
False
Let n(p) = 1 + 0*p**2 + 5*p**2 + 9 - 3*p**2 + 3*p. Is 5 a factor of n(-2)?
False
Suppose -b + 18 = -5*b + 2*h, -3*h = 5*b - 5. Let v(c) = -26*c**3 - 2*c + 1. Is v(b) a multiple of 31?
False
Suppose 4*l + 4*z = 44, 0 = 2*l - 0*l + 5*z - 28. Is (6 - 33)*(-30)/l a multiple of 15?
True
Let n(r) = -6*r - 12*r + 16*r. Let s be n(-9). Let o = s + -2. Does 8 divide o?
True
Suppose -15*a + 17149 = -28571. Is a a multiple of 24?
True
Let j = -9 + 30. Suppose -3*n + 4*n - 3*w = j, -3*w - 9 = 0. Is n a multiple of 2?
True
Let g = 93 - 92. Does 11 divide ((-1)/3)/(g/(-111))?
False
Let c = 331 + 1141. Is 64 a factor of c?
True
Suppose 5*n - 2*m - 216 = 0, -5*m = 2*n - 4*m - 81. Let b be n/15*(-5)/(-2). Suppose q + 4 = b. Is q a multiple of 3?
True
Let b(q) = 72*q**3 - 16 + 0 - 2 - 22*q - 71*q**3 + 12*q**2. Is 9 