- 292 = 4*l. Is b a multiple of 3?
False
Does 29 divide (-306)/(-2) + -6 + (-4)/(-2)?
False
Let v(d) = d**3 + 9*d**2 + 7*d - 2. Is v(-7) a multiple of 3?
False
Let w = 40 + -40. Suppose -7*j + j + 168 = w. Is j a multiple of 15?
False
Let r(p) = -p**2 - 15*p - 12. Does 3 divide r(-9)?
True
Let g = 748 + 166. Is g a multiple of 22?
False
Is (6 + (2 - 3))*5 a multiple of 6?
False
Suppose 0 = 103*s - 102*s - 456. Is 76 a factor of s?
True
Does 10 divide ((-1541)/(-469) + (-4)/14)*250?
True
Let d(j) = 3*j - 33. Let b be d(12). Suppose 0 = -b*n + 660 - 111. Is n a multiple of 28?
False
Let h(v) = -2*v**2 + v + 7. Let u be h(3). Let z(l) = -l**3 - 7*l**2 + 3*l + 6. Is z(u) a multiple of 7?
False
Let g be 3*(6/10 - (-4)/10). Is (-1)/(296/100 - g) a multiple of 4?
False
Let o(k) = 33*k - 2 - 14*k - 5*k - 13*k - 5*k. Let h(i) = i + 4. Let q be h(-7). Is 7 a factor of o(q)?
False
Let q(w) = w**2 + 43*w + 474. Is q(-13) a multiple of 31?
False
Suppose -z - 4*v + 2932 = 0, -12479 = -5*z - 3*v + 2215. Is 13 a factor of z?
False
Let l(j) = -j**3 - 8*j**2 + 2*j - 13. Let p be l(-9). Let f = p - -15. Is f a multiple of 8?
False
Let x = 363 - 331. Does 8 divide x?
True
Let q = -198 - -23. Let d = 258 + q. Is d a multiple of 10?
False
Suppose 2*s - 15 = s. Let c(m) = 2*m + 4*m**2 + 14*m - 1 - m**2 - 4*m**2. Is c(s) a multiple of 7?
True
Let c(j) be the second derivative of j**6/360 + j**5/8 - j**4/6 - 5*j**3/3 - 5*j. Let p(r) be the second derivative of c(r). Is p(-16) a multiple of 8?
False
Suppose -6*t + 178 = -272. Does 15 divide t?
True
Let a(v) = 0 - 7*v - 3*v + v**2 - 17. Let n be a(12). Is 3 a factor of (-2)/n + 325/35?
True
Suppose 931 + 343 = 13*q. Is q a multiple of 9?
False
Let s = 1752 + -152. Is s a multiple of 100?
True
Let l be 188/(2 + 1 + -4). Let g = l - -348. Is g a multiple of 10?
True
Let u(m) = -m**3 + 16*m**2 - 6*m + 20. Let r be u(16). Is r/1*(-3 - -9)/(-6) a multiple of 37?
False
Let p = -3 + 3. Suppose -x - 2*x - 105 = p. Let r = x + 58. Is r a multiple of 10?
False
Is 2/((4 + 0)/72) a multiple of 18?
True
Suppose 4*q - 31 = -3*h, -h + q + 19 = -2*q. Let i(s) = s + 24. Is 9 a factor of i(h)?
False
Let s(z) be the first derivative of -9*z**2/2 + 7*z + 3. Let f = -35 - -29. Does 12 divide s(f)?
False
Let c = -60 + 102. Let w = 12 + c. Suppose -4*b - w = 2*x - 130, x - 53 = -5*b. Is x a multiple of 14?
True
Suppose 91*b - 86*b = -205. Let u = 60 + b. Is 19 a factor of u?
True
Let l = 67 - 65. Suppose 6*k - 2*k = -4*a + 584, 436 = 3*k + l*a. Is 48 a factor of k?
True
Let a = 555 - 513. Is 14 a factor of a?
True
Let z(a) = -47*a**3 - 3*a**2 - a + 4. Does 21 divide z(-2)?
False
Let z(i) = i**3 - 7*i**2 - 12*i + 17. Is z(9) a multiple of 16?
False
Suppose 3561 = i + 813. Is i a multiple of 13?
False
Let b(f) = f - 19. Let x(y) = y. Let z(m) = -b(m) + 2*x(m). Is z(-4) a multiple of 5?
True
Let x(a) be the first derivative of -15*a**4 + a**3 - a**2/2 + 2*a - 3. Let j be x(2). Is 4/18 - j/81 a multiple of 6?
True
Let n = 1318 - 619. Is 21 a factor of n?
False
Suppose p + 4*u = -43, -3*p - 4*u - 184 = -3*u. Does 30 divide (-15)/(6 + -1) - p?
True
Suppose p = 6*p - 710. Is p a multiple of 8?
False
Let k(h) be the third derivative of 3*h**4/8 + 8*h**3/3 - 9*h**2. Is k(13) a multiple of 19?
True
Is 5 a factor of (-4 + 6 + -197)*-1?
True
Let f(i) = -i - 6. Suppose 5*q = 11 - 51. Let n be f(q). Suppose -n*x + x = -25. Is 13 a factor of x?
False
Let a(u) = 3*u**2 + 5*u. Suppose 0 = 3*g - 3*j - 3 - 0, 5*g = j + 17. Let s(i) = -8*i**2 - 16*i. Let y(b) = g*s(b) + 11*a(b). Does 13 divide y(11)?
False
Let w(q) = -q**3 + 15*q**2 - 14*q + 18. Suppose -5*m = b - 0*b + 29, 2*m = -2*b - 10. Let n = 20 + m. Is w(n) a multiple of 6?
True
Suppose 2*r = -g + 76, 0 = 7*r - 4*r - 3*g - 132. Is r even?
True
Let f be 3890/(-40) - (-1)/4. Let k = f - -136. Is 16 a factor of k?
False
Suppose 0 = 10*i - 1762 - 268. Suppose 0 = -41*n + 48*n - i. Is 7 a factor of n?
False
Let u = 82 + -80. Suppose -2*h = -2*x - 154, -4*x = 2*h - u*x - 134. Is h a multiple of 6?
True
Let q be (7 - 4 - 6)*-1. Suppose -q*p = -16 + 7. Is p a multiple of 2?
False
Does 11 divide (-5313)/(-84)*44/1?
True
Suppose 0 = -4*z + 3*o + 116, 3 + 9 = 3*o. Suppose 33*l - z*l - 210 = 0. Does 21 divide l?
True
Is 2 a factor of 2*5/(-20)*-190?
False
Suppose 0 = -4*x + 5*j - 8*j + 38, -3*x + 41 = -4*j. Let c(y) = -y**2 + 16*y + 16. Is c(x) a multiple of 15?
False
Let o(x) = -x**3 - 1. Let w(m) = 5*m**3 - 6*m**2 - 6*m + 8. Suppose -k = 4*k + 20. Let q(t) = k*o(t) - w(t). Does 11 divide q(6)?
False
Let l = 16 - 12. Suppose 5*q + 15 = 5*w, l = 3*q + 2*w - 12. Suppose -2*j = q*y - 0*y - 114, -5*y - j = -297. Is y a multiple of 15?
True
Let n(c) = 1 - 1 - c**3 + 14*c - 5 - 1 + 8*c**2. Does 13 divide n(9)?
True
Suppose -71 = 2*c - 871. Is c a multiple of 22?
False
Suppose 0 = -y - 0*s - 4*s - 10, y - 4*s = 6. Does 18 divide 4 - (-2463)/9 - y/6?
False
Let o(w) = 64*w + 220. Does 12 divide o(8)?
True
Is 8 a factor of (-20)/6*3/15*-252?
True
Let g(c) = c**3 - 2*c**2 - 3*c + 1. Let u be g(3). Let k = u + 2. Suppose -d = k*d - 20. Is d a multiple of 2?
False
Let v be 76/10 - (-3)/(-5). Let u = v - 15. Let y = 20 + u. Does 12 divide y?
True
Let j(m) = -12*m**2 - m**3 + 11*m**2 - 2*m + m**3 + m**3. Let y be j(0). Does 2 divide y*(-4)/16 + 5?
False
Let h(y) = -y**3 - y**2 + y + 174. Is h(0) a multiple of 6?
True
Suppose o + 7245 = 6*o. Does 27 divide o?
False
Let p = -1539 + 2189. Does 65 divide p?
True
Let h be (((-10)/8)/1)/(49/(-980)). Suppose 0 = -15*s + h*s - 1950. Does 12 divide s?
False
Let m(s) = 115*s**2 + 5*s + 4. Does 21 divide m(-2)?
False
Let h(r) = -r**3 + 9*r**2 + 11*r - 15. Let m be h(10). Let w(y) = -2*y + 17. Is w(m) even?
False
Suppose -c = -3*h - 260, -53*c + 51*c - 3*h + 520 = 0. Is c a multiple of 5?
True
Let o(x) = -x**3 + 21*x**2 - 21*x + 46. Is 30 a factor of o(13)?
False
Suppose 0 = -5*o + 59 + 121. Does 33 divide o?
False
Let q(p) = p - 7. Let x be q(9). Let h be x/(-3 - (-572)/190). Suppose -k - h = -6*k. Does 28 divide k?
False
Suppose -375 = 4*t - 7. Let v = 110 + t. Is 9 a factor of v?
True
Suppose -8*u + 324 = 28. Let o = 16 - u. Does 5 divide 8/(-56) + (-717)/o?
False
Let w(k) = 6*k - 24. Let s be w(9). Is 426/10 + (-3 - (-102)/s) a multiple of 4?
False
Let b = -526 - -1723. Does 63 divide b?
True
Suppose -4*l - 9 = -l, 5*l + 11 = -k. Suppose -101 = -2*z - b - k*b, 5*b = -3*z + 164. Let o = 6 + z. Does 23 divide o?
True
Let v be (2/3)/(5/15). Is (v/(8/18))/(24/96) a multiple of 5?
False
Let c be (-1 - 1/(-2))*0. Suppose c*p = p. Let h = p - -13. Is h a multiple of 13?
True
Let x(l) be the second derivative of l**4/12 + 15*l**2/2 - 5*l. Let g be x(0). Is 14 a factor of 9/g + 504/10?
False
Let f = -71 - -127. Suppose -f = -0*n - n. Is n a multiple of 23?
False
Let d(r) = -r**3 - 12*r**2 - 15*r + 10. Let x = -30 - -19. Let q be d(x). Let h = q + -37. Does 17 divide h?
True
Suppose 3 + 3 = b - 4*k, 2*k = -2. Suppose -5*r = -4*z - 3*r + 176, 2*z + b*r - 82 = 0. Suppose 65 = 2*q - 2*n - 21, 0 = -q - 2*n + z. Is q a multiple of 16?
False
Suppose 4*a + 6 = 2*l - 0*l, 3*a - 9 = -3*l. Let t = l + -13. Let q(m) = -2*m + 1. Does 4 divide q(t)?
False
Let i(d) = -d**3 + 9*d**2 - 10*d - 6. Let j be i(8). Let g = -20 - j. Suppose -3*w = 15, 9*s - 4*s + g*w - 305 = 0. Is 37 a factor of s?
False
Let d(w) be the third derivative of -w**6/120 - 17*w**5/60 + 5*w**4/12 - 14*w**3/3 - 34*w**2. Is 14 a factor of d(-18)?
False
Suppose 8*h - 47 = 73. Suppose 0 = -8*t + 5*t + h. Is 3 a factor of t?
False
Does 47 divide (6 - -2)*(-616)/(-16)?
False
Suppose 0 = 4*h - 5*b - 60, 53 = 3*h - 5*b + 8. Is 7 a factor of h?
False
Let s(w) = 4*w**2 + 12*w - 16. Does 50 divide s(6)?
True
Let q = -4 - -7. Suppose -20*n = -18*n. Suppose q*k + n*k = 33. Is 11 a factor of k?
True
Does 70 divide 17/((-68)/(-624)) + (-8)/(-2)?
False
Let w(f) = f**2 - 2*f + 9. Let y be w(8). Suppose 13 - y = -o. Is 11 a factor of o?
True
Let n = -27 + 34. Suppose -3*f + 229 = n. Suppose 3*g = 46 + f. Is g a multiple of 20?
True
Suppose 7*r - 12*r = -100. Suppose 5 = 2*j - 4*j + 5*s, 5*s = -j + r. Suppose 10*z = y + j*z - 85, -2*z = -5*y + 494. Is 20 a factor of y?
True
Suppose 4*p - 3732 - 440 = 0. Does 6 divide p?
False
Suppose -3*u - 12 = -u. Let t(