 + 15699, -2323 - 803 = -p - 5*z. Is p a multiple of 9?
True
Let a = -30 + 157. Let n = a + -85. Is 6 a factor of n?
True
Suppose 0 = -4*c - 12, 5*v - 11*c + 8*c = 29. Is v a multiple of 2?
True
Suppose 1015 = -n + 6*n. Let f be (4/(-10))/(3/(-15)). Suppose -6*g = -3*q - 2*g + n, 137 = f*q - 3*g. Is q a multiple of 17?
False
Suppose 19 + 66 = 4*i + s, 0 = -i + 2*s + 28. Is i a multiple of 4?
False
Does 27 divide 14/63 + (-12632)/(-18)?
True
Suppose 2*y + 4*h = h + 53, -25 = 5*h. Let r = 6 + y. Is 13 a factor of r?
False
Suppose -5*q + 8*q - y + 53 = 0, -5*q - 93 = 3*y. Let u(z) = z**3 - 14*z**2 - 15*z - 18. Let j be u(15). Is (-120)/j*q/(-5) a multiple of 8?
True
Let a be (-820)/7 - (-9)/63. Suppose -9*k = -8*k - 177. Let w = k + a. Is 15 a factor of w?
True
Suppose 256 = -5*w - 2*z, -w - 2*w + 4*z - 138 = 0. Let h = w - -56. Is h a multiple of 2?
True
Is 8 a factor of -2006*5/(-40) + (-1)/(-4)?
False
Let k = -25 - -3. Let d = k - -77. Is d a multiple of 16?
False
Let u(c) = -3*c - 13. Let a be u(-9). Suppose 16*x = a*x + 130. Does 13 divide x?
True
Suppose 4*u = 7*u + 24. Let a = u + 10. Is a a multiple of 2?
True
Let w(m) = m**3 + 2*m**2 - 3*m + 1. Let j be w(3). Suppose 11 + j = 3*q. Is 2 a factor of (-4)/(q/20)*-2?
True
Let q(z) = -116*z - 8. Let s be q(4). Let c = -268 - s. Is c a multiple of 12?
True
Let s(n) = -n**3 + 7*n**2 + 2*n - 5. Let i be s(7). Suppose 0*k + k = -4*v + 358, -87 = -v + k. Suppose 5*g - v = -i. Is 4 a factor of g?
True
Let h(k) = 16*k**2 + 8*k - 83. Is 13 a factor of h(6)?
False
Suppose 0 = -2*a + 5*a + 2*d - 5, 4*a - 7 = -3*d. Let l(c) = -2*c + a + 4*c + 2*c. Is 3 a factor of l(3)?
False
Suppose 2*t - 12 = -2. Suppose -5*u = -t*g - 195, 3*u - 2*g - 44 = 2*u. Is 17 a factor of u?
True
Suppose 0*i = -3*i. Let r = i - 5. Let z(o) = o**3 + 5*o**2 - 6*o + 3. Does 11 divide z(r)?
True
Let j = -391 - -525. Does 67 divide j?
True
Let n be 2737/(-207) + (-3)/((-27)/2). Let c = 92 - n. Is c a multiple of 12?
False
Let p(s) be the second derivative of s**4/12 + 5*s**2 + s. Let n(x) = -x**3 - 4*x**2 + 3*x - 10. Let h be n(-5). Does 7 divide p(h)?
False
Let m = 15 - 37. Let n = 27 + m. Suppose -b + 6 = -n. Is b a multiple of 3?
False
Let w be (-9759)/21 - 12/42. Is 3/(-7) + w/(-105) a multiple of 2?
True
Is 4 a factor of 2/3 + (-5750)/(-15)?
True
Does 12 divide -24*(54/4)/(-1)?
True
Let c = 2 + 0. Suppose 0 = 3*f - 5*u - 231, -c*f + 0*f + 167 = u. Suppose -4*k + 34 = -f. Does 19 divide k?
False
Let m(t) = -2*t**2 - 32*t + 54. Is 6 a factor of m(-16)?
True
Let d(i) = -i**2 - 16*i - 21. Let y be d(-14). Suppose -2*r - 270 = -y*r. Is 18 a factor of r?
True
Let s = 369 + 66. Is 29 a factor of s?
True
Let n(c) = -c**2 - 7*c + 1. Let s be n(-6). Let p = 67 - s. Is 30 a factor of p?
True
Suppose -3*k - s + 34 = -0*s, -4*k + 50 = -s. Suppose -k*i = -8*i - 52. Is 13 a factor of i?
True
Suppose -37*x + 50*x = 2301. Is x a multiple of 16?
False
Suppose -5*j = 4*b - 47, 4*j = 2*b - 5*b + 38. Suppose 3*q + 19 = -4*i, 4*q + j = 4*i + q. Is 25 - (0/i)/2 a multiple of 10?
False
Let s(l) = l**2 - 5*l - 10. Let v be s(7). Let j be 4/4*(v - 0). Suppose j*t + 23 = h - 17, -4*h + 228 = t. Is h a multiple of 8?
True
Suppose -5*s = 2*h - 5, 3*s + 19 = 4. Let d be -3 + (-2 + 6 - h). Is 4 a factor of 24/d*(-14)/2?
True
Let u be (-3)/(6/31)*8. Let c = 214 + u. Does 10 divide c?
True
Suppose 0 = -28*r + 29*r - 190. Suppose r*h - 188*h = 152. Is h a multiple of 38?
True
Let v = -326 - -668. Suppose -v - 42 = -3*p. Is p a multiple of 16?
True
Let g be ((-4 + 2)/(-4))/(12/(-120)). Is 6/g*((-232)/6 - -2) a multiple of 44?
True
Suppose -a = -3, 5*a - 14 = -5*c + 11. Let u = 4 - c. Suppose -3*v = -9, -u*v + 73 = 5*x - 28. Does 11 divide x?
False
Let k(y) = 6*y**2 - y + 1. Is 31 a factor of k(8)?
False
Suppose -1610 = -2*q - 15*n + 10*n, 2*n = 2*q - 1596. Is q a multiple of 13?
False
Does 22 divide (-8 + 31 + -3)*(-132)/(-15)?
True
Let r(s) = -s + s**2 - 3*s + 0*s - 6 + 7. Let v be r(7). Suppose 4*u + 2 = v. Does 3 divide u?
False
Is 26 a factor of -5 + 389 + (-42)/(-7)?
True
Suppose -8*k = -18*k + 10680. Is 16 a factor of k?
False
Let d = -326 - -458. Does 7 divide d?
False
Is (-60)/50*2000/(-15) a multiple of 32?
True
Suppose 4*x + 5*o + 46 = -30, -5*o = 5*x + 90. Let h = 32 + x. Suppose 31 = s - h. Does 7 divide s?
True
Suppose -16*y + 6839 = 1799. Does 9 divide y?
True
Let d = -491 + 736. Does 35 divide d?
True
Suppose -129*a + 145*a - 11952 = 0. Is a a multiple of 37?
False
Suppose -2*x = -0*x - 4. Suppose 0*s = s, -x*s - 108 = -2*v. Is 23 a factor of 12/v + (-628)/(-9)?
False
Suppose 2 = -2*b + 266. Suppose -3*h - o - 6 = -1, -3*o + 9 = -3*h. Does 11 divide (h/4)/((-6)/b)?
True
Suppose a + 3*k = 41, 0 = 2*a + 5*k - 23 - 63. Suppose -5*d + d = -j - a, 5*d + 2*j - 76 = 0. Let b(z) = z**2 - 13*z - 3. Does 10 divide b(d)?
False
Let b = 164 + -113. Let z = 7 + b. Let o = z - 34. Does 12 divide o?
True
Suppose -4*l + 5 = -n - 4*n, 3*n = -5*l - 3. Let r = l - -10. Does 10 divide r?
True
Let c(s) = 12*s**2 - 3*s. Is c(-2) a multiple of 12?
False
Let g(h) = -15*h**3 - 2*h**2 + 5*h + 22. Is 26 a factor of g(-3)?
False
Suppose 4*b = -5*x + 980, x + x - 385 = -3*b. Is x a multiple of 50?
True
Let f(l) = l**2 - 4*l + 5. Let q be f(3). Let r(a) be the second derivative of -a**5/20 + a**4/3 + a**2/2 - 6*a. Is r(q) a multiple of 3?
True
Let b(k) = -13*k + 3 + 15*k + 34*k**2 + 2 - 2. Does 13 divide b(2)?
True
Let s be (-6768)/52 - 2/(-13). Let g = s + 183. Is 10 a factor of g?
False
Let g be (4 - 30)/((-2)/2). Suppose g = 2*q - 16. Is q a multiple of 7?
True
Let k = 3 - 4. Let o(y) = 2 + 2*y - 3 + 44*y**2 + 2 - y. Does 11 divide o(k)?
True
Let y be 13/((-52)/(-576)) - 0. Suppose -13*m + 7*m = -y. Is 6 a factor of m?
True
Let b be (-1 + 1)/(1 + 0 + -2). Suppose 5*g + 3*a - 355 = 0, 2*g + a - 3*a - 126 = b. Does 16 divide g?
False
Suppose 8*i = -33*i + 89544. Is 61 a factor of i?
False
Suppose -3*y + y - 4 = 0. Let b be y/8 - (-147)/28. Suppose 4*a - 3*a = -q + 52, 5*a - b*q - 310 = 0. Is a a multiple of 10?
False
Suppose -3*z + 4*c = -410, 2*z - 4*c = 81 + 195. Is 18 a factor of z?
False
Suppose 5 = 2*p - 3. Does 16 divide (-21)/(-14) - (-298)/p?
False
Let n = 30 + -26. Is 2 a factor of 8 + -2 - 16/n?
True
Let p = 67 - 64. Suppose 5*r - p*l = 977, -3*r - 4*l = -5*r + 388. Does 14 divide r?
True
Let v(b) = 13*b**2 - 2*b - 1. Let a = -14 - -13. Let l be v(a). Suppose 5*q - l - 71 = 0. Is 6 a factor of q?
False
Let h be 46/3 + (-1)/3. Suppose h*k - 17*k + 66 = 0. Does 23 divide k?
False
Suppose -5*w - 66 = 2729. Let b = -375 - w. Is b a multiple of 46?
True
Let t(y) = 3*y**3 - 19*y**2 + 41*y - 86. Is t(12) a multiple of 112?
False
Let o = -383 - -659. Is 38 a factor of o?
False
Let p = -9 + 43. Suppose -2*a = -2*i - p, 4*i = -i - 15. Is 7 a factor of a?
True
Suppose 9 = 4*l + d, -4*l + 4*d = 3*d - 7. Suppose l + 7 = 3*z. Is 6 a factor of (z + -4)*(4 + -10)?
True
Let a be ((-6)/10 + 2)/(3/15). Let b(k) = -k**3 + 7*k**2 + 7*k + 5. Does 9 divide b(a)?
True
Let n(k) = -k**3 + 8*k**2 - 7*k - 2. Let l be n(7). Does 12 divide 10 - -64 - (4/1 + l)?
True
Let q = -86 - -397. Is q a multiple of 55?
False
Is 26 a factor of (-4)/7 - 286950/(-525)?
True
Suppose 1372 = 11*l + 3*l. Is 31 a factor of l?
False
Suppose 6*n - 11*n = -35. Let q(h) = -5*h**2 - 4*h**2 - n - 3 + h**3 - h + 12*h. Does 7 divide q(8)?
True
Let g = 11 + -18. Let x(v) = -v**2 - 25*v - 18. Let c be x(-24). Let m = c - g. Is 13 a factor of m?
True
Let f(k) = 48*k - 17. Let z be f(10). Suppose 5*g - z = 3*s, 4*s + 4 = -0*s. Does 19 divide g?
False
Suppose -7*x = -3*x + 8. Let h be -1*(1/(-1) + x). Suppose 4*m + 2*c - 50 = 0, 0 = -h*c + 9. Is 4 a factor of m?
False
Suppose 3*g = 2*i + 5, 5*i - 17 = -5*g + 33. Suppose g*z - 235 = -0*z. Does 3 divide z?
False
Let t(m) = 9*m**2 - 2*m - 8 + 4*m - 7 + 3*m**3 - 4*m**3. Let j be t(9). Suppose 5*q - j*n = 3*q + 27, -3*q = 3*n - 3. Does 5 divide q?
False
Let b = -167 + 239. Is b a multiple of 36?
True
Let n be 27/18 - (-1)/2. Suppose -3*t + 290 = 4*p, -5*p + 156 = n*t - 42. Is 12 a factor of t?
False
Let r be 2/(-7) + (-18)/(-14). Let k(a) = -1 + r + 3 + 6 + a. Is 7 a factor of k(13)?
False
Suppose -378 = -6*r - r. Suppose -r + 322 = 4*f. Is f a multiple of 13?
False
Is (7 - -23