 -423. Is b a multiple of 12?
True
Suppose 588 = 4*c + 2*h - 512, -4*h = 3*c - 825. Let t = c - 194. Is t a multiple of 9?
True
Let c be 12/20 - (-834)/(-15). Let i = 87 + c. Is 8 a factor of i?
True
Let l(v) = -v + 19. Let o be l(16). Suppose 597 = 3*m - o*a, 3*m - 614 = 4*a - 13. Let s = m - 115. Is 16 a factor of s?
True
Does 18 divide (-810)/2*(-744)/310?
True
Let v = -388 + 19. Let j = v + 599. Is (-1)/((-5)/j) - 4 a multiple of 11?
False
Suppose 6*q = 7*q - 188. Is 4 a factor of q?
True
Let i = 373 - 186. Does 11 divide i?
True
Suppose 2*d - 4 = -4*z, 3*z - 2 = 4*d - 21. Let x = -2 - -5. Let q = x + z. Is q a multiple of 2?
True
Suppose -3*u + 2*c + 55 = 0, 0 = 4*u - c + 2*c - 55. Does 2 divide u?
False
Let z(g) = 5*g + 22. Let u(s) = -s**2 + 11*s - 18. Let j be u(6). Is 3 a factor of z(j)?
False
Let d be 3 + (2/8 - 18660/(-48)). Let p = 561 - d. Does 13 divide p?
True
Let l(m) = m**3 - 4*m**2 + 5*m - 6. Let s be l(3). Suppose 5*u = -4*h + 929, 0 = -s*h - 3*h - 3*u + 696. Is h a multiple of 21?
True
Suppose 8 = 4*l - 2*l. Suppose 4*r = -j + 2*j + 11, -l*j + 4 = 0. Suppose u + r*u = q + 223, -q + 113 = 2*u. Is 14 a factor of u?
True
Let a be ((-6)/2)/((-51)/(-34)). Let w = 10 + a. Is 412/20 + w/20 a multiple of 7?
True
Let h(f) be the third derivative of f**4/4 + f**3/2 + f**2. Let r be h(-2). Is ((-14)/6)/(3/r) a multiple of 7?
True
Let h be (-1)/(-2) - 513/(-6). Let s(f) = 3*f**2. Let w be s(1). Suppose -h = -4*x + 2*o, w*x + x - 5*o = 101. Does 9 divide x?
False
Is (-3340)/(-5) + 9 - 1*-2 a multiple of 21?
False
Let l = -12 + 56. Let u be l/3 - (-1)/3. Let g = u - -3. Does 8 divide g?
False
Let p(t) = 3*t**2 + 33*t - 200. Is p(-32) a multiple of 7?
False
Let d(p) be the second derivative of p**5/20 - 17*p**4/12 - 11*p**3/6 - 13*p**2 + p. Let g = 387 - 369. Does 15 divide d(g)?
False
Let u(p) = -p**3 - 12*p**2 - 14*p - 8. Let w be u(-11). Let s = 0 + w. Does 25 divide s?
True
Let a be ((-7)/2 - (2 - 4))*2. Is -3 - a - (-1 - (-52)/(-2)) a multiple of 3?
True
Suppose 309*m + 8580 = 321*m. Does 9 divide m?
False
Suppose 3*x + 4*s = 257, -5*s - 72 = -2*x + 61. Let d = 149 - x. Does 18 divide d?
False
Is (-2 + -6*(-6)/27)*-1800 a multiple of 6?
True
Let m(h) = 3*h - 2 + h + 6*h. Let z(l) = l + 9. Let u be z(-6). Is 14 a factor of m(u)?
True
Suppose -4*m + 40 = -3*q, 2*m + 3*q - 20 = -2*q. Suppose -4*n = 6 + m. Is (-128)/24*15/n a multiple of 4?
True
Suppose 16*s - 6*s = 580. Let i = s - -89. Is 20 a factor of i?
False
Let l = -78 - -45. Let w = l + 137. Is 12 a factor of w?
False
Is -4 - (804/7)/((-12)/84) a multiple of 20?
True
Let r = -9 - 2. Let v(f) = -f**3 - 8*f**2 + 15*f - 9. Is 21 a factor of v(r)?
True
Does 14 divide (-5)/(25/(-5910)) - 6?
True
Suppose 4*j + q = -63, 42 = -3*j + q - 0*q. Let d be -2 - (-4)/(12/j). Let n(y) = 2*y**2 + 9*y - 8. Is 15 a factor of n(d)?
False
Let q(n) = 2*n**2 + 2*n - 6. Let h(z) = -z**2 - 6*z + 9. Let o be h(-7). Suppose 3*k + 3 = 0, -5*i + o*k - k + 26 = 0. Does 14 divide q(i)?
False
Let o = -5 - -9. Suppose k - o = x + 3, -x - 11 = -3*k. Suppose k*v + 23 = 3*a, -6 - 10 = 4*v. Is a even?
False
Suppose 88*i = 84*i + 940. Does 21 divide i?
False
Suppose -4*v - 9*m + 724 = -10*m, -v + 4*m = -196. Is v a multiple of 22?
False
Let t = 509 + 1. Is 15 a factor of t?
True
Suppose -86931 = -61*k + 17074. Is 70 a factor of k?
False
Let k(w) = -369*w - 90. Is k(-2) a multiple of 27?
True
Let q = 2195 + -1461. Is 61 a factor of q?
False
Is (3 + -11 - (-3 + -4)) + 1021 a multiple of 20?
True
Suppose -2*y - 1 = 3*u, u - 3*y + 4 = -0. Let p be (-1 - 3)/(-3 - u). Is p + -5 - -7 - 0 a multiple of 2?
True
Let g = 88 + -46. Suppose -g + 7 = -v. Is 7 a factor of (v/10 - 3)*14?
True
Let q(f) be the third derivative of 29*f**5/60 - f**3/6 - 3*f**2. Does 7 divide q(1)?
True
Let x be 9/(-6) + 3/(-6). Is 59 a factor of x*((-405)/10 + -5)?
False
Let t be -2 - (-10)/((-4)/2). Let l be (-8)/(-2) + t + 286. Suppose 0 = -5*k + l + 27. Does 9 divide k?
False
Let r = -10 - -2. Does 9 divide 30*(r/20 - -1)?
True
Suppose 2*k + k - 3*g - 84 = 0, 4*k + 3*g = 98. Let o = 40 - k. Suppose o = 2*y - 0*y. Is 7 a factor of y?
True
Let w be (70 - (-4)/(-4)) + 0. Suppose v - w = -3*v - 3*s, 0 = -4*v + 5*s + 109. Suppose -3*i = -5*u - v, 2*i - 29 = u - 8. Is i a multiple of 4?
True
Suppose 0 = -2*z + 427 + 175. Let w = -164 + z. Is 14 a factor of w?
False
Let l(n) = 14*n - 26. Let z be l(4). Let r = -22 + 13. Let o = z - r. Is 13 a factor of o?
True
Let i = 890 - 48. Is i a multiple of 13?
False
Let r be (20/(-2))/(-2)*(-2442)/(-55). Is (-1)/(-2*1/(-2)) + r a multiple of 28?
False
Suppose -k + 5*m = -0*k - 12, 4*k + 4*m = 48. Is k*(9/2 + 3) a multiple of 13?
False
Let r(w) = -w**3 - 3*w**2 + 15*w + 36. Does 6 divide r(-6)?
True
Let r be 112/6*(-18)/(-8). Suppose -14 - 14 = 2*q - 3*n, -5*n - r = 3*q. Let j = q + 24. Is j a multiple of 6?
False
Let w(l) = 42*l**2 + 8. Is 21 a factor of w(-4)?
False
Let k(z) = -74*z + 21. Is 9 a factor of k(-3)?
True
Suppose -4*g - 1548 = -2*j, -6*g = 2*j - 3*g - 1527. Suppose 4*z = -h - j, 4*z + 0*z + 788 = 4*h. Let i = -133 - z. Is 30 a factor of i?
True
Suppose -29*k + 33*k = -32. Does 10 divide (k/12)/(3/(-171))?
False
Let s(o) = -2*o + 11. Suppose 3*x = 5*b, 2*x - 4*b = -0*b. Let n be s(x). Suppose 2*y - n = 95. Is y a multiple of 10?
False
Suppose 17*k - 15*k = 0. Suppose -4*w + 7 + 21 = k. Does 2 divide w?
False
Let b = -25 - -19. Is 28 a factor of (b/(-7))/(-1 - 302/(-301))?
False
Does 7 divide -8*(-32 + 2) + -2 + -3?
False
Let m(a) = 12*a**3 - 2*a**2 + 1. Let l be m(1). Let k(i) = i**2 - 10*i + 2. Let y be k(l). Suppose -2*n + 29 - y = 0. Is 5 a factor of n?
False
Let k = 347 - 251. Is 48 a factor of k?
True
Suppose -36*p + 4444 = 8*p. Does 2 divide p?
False
Let m = 181 - 297. Let f = -49 - m. Is f a multiple of 6?
False
Suppose -29128 = -60*i + 16*i. Is 57 a factor of i?
False
Let j = 6 + -5. Let o(v) = j - 3*v + v - 12 - v. Is 11 a factor of o(-9)?
False
Let z(s) = -4*s - 1. Suppose 3*l = -2*q + 1, q + 2 = -2*l + 5. Is 9 a factor of z(q)?
True
Let v = -253 - -383. Suppose g + 33 = 2*q - 19, g + v = 5*q. Is 13 a factor of q?
True
Let l(w) = 18*w + 10. Suppose -i - 4*i - 3*g = 39, 0 = 2*i - 5*g + 28. Let a be l(i). Let j = -86 - a. Does 18 divide j?
False
Suppose b - 20 = 21. Suppose 3*m + 618 = 5*c, -3*c + b + 330 = -2*m. Is c a multiple of 28?
False
Let l = -68 - -80. Is l a multiple of 6?
True
Let a(o) = -o - 2. Let f be a(-7). Suppose 0 = f*p - 2*p - 72. Suppose -p*c + 93 = -21*c. Does 9 divide c?
False
Let z = -28 - -25. Does 50 divide z*1*(-536)/24?
False
Let n(q) = q**3 - 3*q**2 - 3*q + 8. Let z be 2 - (-4 - 10/(-5)). Is 4 a factor of n(z)?
True
Let d(q) be the third derivative of -q**4/24 + 20*q**3/3 + q**2. Let k = -231 + 231. Is 12 a factor of d(k)?
False
Let u = 113 + -53. Let j = u - 27. Is 11 a factor of j?
True
Let p(b) = 79*b - 125. Does 17 divide p(16)?
True
Let y = 2 - 2. Suppose -3*k - k + 132 = y. Is 33 a factor of k?
True
Suppose 5*l = 20 - 70. Let g = l + 4. Is 7 a factor of g/3*-11 - 1?
True
Let c(a) be the first derivative of -5*a**2 + 7. Let s be c(-4). Suppose l + 0*l = -4*x + 85, l = 5*x + s. Does 15 divide l?
False
Suppose 0*h - 1620 = -10*h. Let i = h - 66. Is 19 a factor of i?
False
Let q = 24 + -22. Let u be q - (20/(-5) + 1). Suppose -3*l + 96 = 3*h - 27, -2*h + 75 = -u*l. Is 17 a factor of h?
False
Let c = 4 + -2. Suppose c + 10 = -2*f. Is (15/f)/(1/(-30)) a multiple of 29?
False
Let x(t) = -5 - t - 7 - 1 + 7*t. Is 9 a factor of x(9)?
False
Let o = 4 - -2. Suppose o*q = 189 + 21. Does 35 divide q?
True
Let g(w) = -w**3 + 13*w**2 + 11. Let z be g(13). Suppose 7*o - 5*q = 2*o + 15, -z = -4*o + 3*q. Suppose -o*l = -l - 37. Is l a multiple of 11?
False
Let c(k) = k + 313. Let s be c(0). Let y(a) = a**3 + 4*a**2 - 5*a + 5. Let f be y(-5). Suppose 0 = 5*t - b - s, -5*t = -3*t + f*b - 136. Is 21 a factor of t?
True
Suppose 4*i + 34 = -38. Let o = 21 + i. Is 4 a factor of o/((-14)/20 + 1)?
False
Let w = 245 + 448. Is w a multiple of 33?
True
Let z(c) = c**3 - 8*c**2 - 7*c - 7. Let m = -11 + 20. Let r be z(m). Suppose 24 = 15*v - r*v. Is v a multiple of 3?
True
Suppose -2*v = 2*v - 244. Let t = v - 41. Is 6 a factor of t?
False
Let z be (3 - -5)/2 + 0. Suppose -r = z*r. Suppose 0