5*b. Let d be q(-3). Let m = d + 16. Is 29 a factor of m?
False
Let i(a) = -10*a + 7 - 2*a**2 - a**2 + 2*a**2. Let w be 2 - -1 - (16 - 3). Is i(w) a multiple of 7?
True
Suppose -45*i + 40*i = 290. Let y = i + 282. Does 16 divide y?
True
Suppose 30 = 5*p - 5*u, 2*p + u + 2 = p. Is 1 - 1/(p/(-82)) a multiple of 5?
False
Suppose -5*c = -2*c - 9. Suppose 5*o - 76 = 3*o + 3*k, -c*o + 113 = -4*k. Suppose 0 = 4*q - 3*q - o. Is q a multiple of 9?
False
Suppose -25 = 2*h + 41. Let t = 50 - h. Does 12 divide t?
False
Let r(d) = 11*d**2 + 3*d. Let w be r(-3). Let j = w + -39. Does 17 divide j?
True
Suppose -315*l = -308*l - 2044. Is l a multiple of 11?
False
Let d(m) = 451*m**3 + 9*m**2 - 4*m - 17. Does 27 divide d(2)?
False
Suppose 4*t = -2*f + 8, -8*t + 3*f + 28 = -4*t. Suppose -4*j - 20 = -2*j - t*g, 24 = -4*j + 4*g. Is -1*(54/1)/j a multiple of 10?
False
Let y(b) = 10*b + 28. Is y(11) a multiple of 4?
False
Suppose i = 6*i - 20. Suppose 0 = 5*l + 3*v - i*v - 18, -4*v = l + 9. Suppose -l*d = d - 300. Is 24 a factor of d?
False
Suppose 0*n = 4*n - 4. Let f = 29 + n. Is f a multiple of 10?
True
Let p = 524 - -1733. Does 19 divide p?
False
Suppose u + 8*d - 26 = 4*d, -2*d + 2 = 0. Does 4 divide u?
False
Let m = -30 - -84. Does 6 divide m?
True
Let v(z) = -8*z**3 - 6*z**2 - 6*z - 61. Is 14 a factor of v(-6)?
False
Is 6/7 - 28494/(-126) a multiple of 59?
False
Suppose -18*a + 14*a = -1252. Let k = 28 + a. Is 35 a factor of k?
False
Suppose 263 = -5*q - 1337. Is 4/2 - (q/(-4))/(-5) even?
True
Let u = -777 - -808. Is u a multiple of 9?
False
Let a = -77 - -1710. Does 23 divide a?
True
Let m = -10 - -10. Suppose -d = 2, m = -3*v + d + 3*d + 32. Is v/(-44) - 963/(-33) a multiple of 29?
True
Let q = -1 + 6. Suppose 2*m - q*h = -3*m + 285, -2*h + 6 = 0. Is m a multiple of 30?
True
Suppose -3*m + 75 = 3*x, 6*m = 3*m - 4*x + 76. Let c = -23 + m. Let s = 7 - c. Is s even?
True
Suppose 2*z - 114 = -4*r - r, 3*z + 4*r - 185 = 0. Let m(t) = 73*t**2 - z*t**2 + 2*t - 5*t. Does 6 divide m(2)?
True
Does 32 divide (55 - (-3 - 4)) + 2?
True
Let v(b) = b**3 - 23*b**2 - 9*b - 24. Does 28 divide v(24)?
True
Suppose -6510 = -3*q + 4*t, -99*q - 3*t = -94*q - 10850. Does 62 divide q?
True
Does 70 divide 8/(-6)*-46*(-18690)/(-712)?
True
Suppose 54 = 5*j + 2*r, -9 = 3*r - 0. Suppose -3*t + 5*t = j. Is 5 a factor of t?
False
Suppose -6 = 2*s, -6*u + 1 = -4*u + s. Suppose i - u*q = -0*i + 65, -3*q + 286 = 5*i. Does 8 divide i?
False
Let o be ((-4)/(-6))/(25/6 - 4). Does 12 divide (18/o)/(78/416)?
True
Let h(b) = -87*b - 691. Does 53 divide h(-25)?
True
Let h(q) = -q**2 + 13*q + 30. Let j be h(15). Let d be 1/3 + 14/3. Suppose 4*v - 30 = -k, j = 3*k - v + d*v - 58. Does 7 divide k?
True
Let a(p) = p**3 + 20*p**2 + 31*p - 15. Does 79 divide a(-17)?
False
Let n(z) = 7*z. Let j be n(-10). Let b(l) = -l**2 + l + 3. Let s be b(11). Let d = j - s. Is d a multiple of 16?
False
Let u(p) = -4*p - 7. Let o be u(-2). Let r be ((-54)/(-36))/(o/6). Suppose -4*a = -4, 58 - r = 5*h - a. Does 5 divide h?
True
Suppose 29 - 53 = -8*c. Suppose c*w = -3*w + 900. Is 15 a factor of w?
True
Suppose -6*t - 11 = -395. Does 5 divide t?
False
Let l(z) = 25*z**3 + 2*z**2 - z - 1. Let k be l(2). Let m = 7 + -5. Suppose -k = -5*i - 5*o, m*i - 5*o - 78 = -3*o. Is 20 a factor of i?
True
Is (-627)/6*1*-6 a multiple of 84?
False
Let v be 434/12 + 5/(-30). Let g be (-315)/v - 1/4. Let u = g - -55. Does 13 divide u?
False
Does 29 divide 4/14 - (9 - (-122715)/(-105))?
True
Suppose -j = -5*j + 960. Does 41 divide j?
False
Let z(w) = w**3 + 12*w**2 + 11*w + 34. Does 9 divide z(8)?
False
Suppose -17 = 16*i - 3329. Is 10 a factor of i?
False
Let g = -16 + 40. Suppose g - 1 = u. Is 11 a factor of u?
False
Suppose 0*v + 52 = v. Suppose -31*d - v = -35*d. Is d a multiple of 6?
False
Is 25 a factor of 1*((-84)/(-8))/(6/328)?
False
Is 26 a factor of 85/(-17) - (2*-47 - 0)?
False
Suppose 8 = 2*s + 2*i + 3*i, -2*s + 12 = 3*i. Let a(k) = -8*k - s*k - 2 + 3*k. Is a(-3) a multiple of 14?
False
Suppose -3*k + 24 = -0*k + 3*t, k - 4*t - 8 = 0. Is (-3 - k)/(1/(-4)*2) a multiple of 8?
False
Let t(h) = -2*h - 17. Let z be t(-10). Is 15 a factor of 2 - (-87)/z - 1?
True
Suppose -2*k + m = 4 - 8, 5*m = 10. Let x be (k/(-6))/((-1)/10). Suppose x*l = 33 + 147. Is l a multiple of 9?
True
Suppose -4*b + 331 + 157 = 0. Does 5 divide b?
False
Let a(x) = -92*x + 94*x + 12 + 7. Is a(22) a multiple of 25?
False
Suppose -45*n = -11918 - 69172. Is 55 a factor of n?
False
Does 11 divide (-4)/(-6) + (-1)/(39/(-20995))?
True
Let q = -11 - -14. Let j(i) = -16 + 3*i + 13 + 5*i + i. Does 8 divide j(q)?
True
Let w(s) = -s**3 - 18*s**2 + 20*s - 7. Let n be w(-19). Let g be 2/(-3) + n/6. Let l(u) = u**2 + 3*u + 12. Is 5 a factor of l(g)?
False
Let q(u) = -5*u + 13. Let z(f) = -f - 1. Let i(w) = q(w) - 6*z(w). Does 6 divide i(-7)?
True
Let n be 2946/(-12) - (3 - (-5)/(-2)). Let x = -75 - n. Does 24 divide x?
False
Suppose y = 2 - 15. Let p = y + 11. Let z(c) = -c**3 + 2*c**2 + c + 2. Is z(p) a multiple of 6?
False
Let f(l) = -l - 17. Let t be f(-16). Is -256*t/(0 + 2) a multiple of 29?
False
Let q(p) = -7*p + 8. Let o be q(-6). Let i = o - 35. Is 3 a factor of i?
True
Let f(b) = -b**3 - b**2 - b - 2. Let v be f(-2). Let u be (0 - v/(-8))*2. Does 12 divide (u - -37) + (10 - 12)?
True
Let x(j) = j**3 - 3*j**2 + 3*j - 2. Let z(q) = -q**3 + 2*q**2 + 5*q - 4. Let h be z(3). Let t be x(h). Suppose 2*f + t = 10. Is f even?
False
Let j = 5 - 2. Suppose 0 = j*l - 0*l + 9. Let n(v) = 5*v**2 + 3*v + 3. Is n(l) a multiple of 19?
False
Let c be 8/(-28) - 23/(-7). Suppose 4*f = -5*g + 1, -c*g + 3*f = 28 - 7. Is 10 a factor of 15/(-2)*8/g?
True
Let g(n) = 5*n - 3. Let j be g(1). Suppose -4*q - 22 + j = -w, -2*q + 8 = 0. Does 2 divide (-10)/(-6)*w/30?
True
Let d(q) = 22*q**2 - 42*q**2 + 23*q**2 + 3. Let v be d(-5). Suppose p + v = 2*p. Does 26 divide p?
True
Let x(q) = -10*q**2 - 2*q - 3. Let v be x(-2). Let d = v - -64. Is d a multiple of 16?
False
Suppose -12*u - 432003 = -67275. Is 9 a factor of u/(-169) - (-4)/26?
True
Let l = 16 + -22. Let y be ((-4)/l)/((-24)/396). Let v = y + 13. Is v a multiple of 2?
True
Suppose -1754 = 24*k - 13778. Is k a multiple of 16?
False
Suppose -3*b + 112 = b + 2*u, 58 = 2*b + 2*u. Suppose 5*p + 3*q = b, 3*p - p - 5*q = 17. Suppose 0 = -x + p*x + 4*n - 246, 5*n + 210 = 5*x. Does 19 divide x?
False
Let t be -10 + (-3 - -2 - 3). Let w be (-4)/t + 36/21. Suppose k + k + h = 90, -2*h + 94 = w*k. Is 6 a factor of k?
False
Let c(w) be the third derivative of 4*w**6/5 - w**5/60 + w**4/8 - w**3/3 + 31*w**2. Is c(1) a multiple of 24?
True
Suppose -18 = -24*g + 21*g. Let z(m) = -2*m**2 - 8*m - 17. Let a(n) = -1. Let i(k) = g*a(k) - z(k). Is 15 a factor of i(-8)?
True
Suppose 6*v - 690 = 642. Is 6 a factor of v?
True
Suppose 5*s + 61 = -3*r, -3*s - 34 - 29 = 3*r. Suppose -10*f = -7*f + 174. Let z = r - f. Is z a multiple of 18?
True
Suppose -46*u + 184718 = 52698. Is u a multiple of 70?
True
Let u be 10/(-2) + 12/4 + 8. Suppose 0 = 5*z - 0*z + 2580. Does 12 divide (1/(-2))/(u/z)?
False
Suppose -4*q = 20, -5*f - 4*q - 45 = -0*f. Let l(v) = -v + 12. Is l(f) a multiple of 17?
True
Let o = -115 + 117. Suppose -2*v - o*v = -52. Is 13 a factor of v?
True
Suppose 85*s - 32*s - 70543 = 0. Is 10 a factor of s?
False
Let h(u) = -u**3 + 9*u**2 + 6*u - 7. Let i be h(8). Suppose 11*a - 4*a = i. Is 5 a factor of a?
True
Let o be ((-4)/20)/(2/(-20)). Suppose -o*u = 5 + 1, 0 = -3*t - 4*u + 168. Is t a multiple of 12?
True
Let x(o) = -3*o**2 - o - 2. Let s(z) be the third derivative of z**5/15 + z**4/24 + z**3/3 - 5*z**2. Let d(g) = 6*s(g) + 5*x(g). Does 11 divide d(2)?
False
Let x be (-1 - 72)/((-1)/2). Suppose 10*y + 375 = 5*y - 2*j, -4*y - 300 = -3*j. Let u = x + y. Is u a multiple of 20?
False
Let a = -5 + 8. Suppose 2*u + 8 = 0, 7 - 19 = t + 4*u. Suppose -q = -l + q + 39, -77 = -a*l - t*q. Is 16 a factor of l?
False
Suppose 0 = -16*w + 22*w + 246. Let t = w - -128. Does 19 divide t?
False
Let a be (-326)/(-4) - 39/26. Suppose 4*b = -5*t + 80, 4*t = -4*b + 2*t + a. Is 4 a factor of b?
True
Suppose -1907 + 565 = -11*v. Let k = v + -69. Is k a multiple of 5?
False
Suppose -3*z = 4*w - 77, -2*w - 3*z + 94 = 3*w. Is 5 a factor of w?
False
Suppose w + 3 = o, 0*w - 3*