*s + 14. Suppose 3*b - s*b = 3*q - 85, b = -5*q + 139. Is 4 a factor of q?
True
Suppose 0 = 3*u + 20 - 2. Is 15 a factor of (u/(-8) - 0)/((-2)/(-120))?
True
Let i be ((-1805)/15)/((2/(-6))/1). Suppose -3*u - 112 = -i. Is u a multiple of 17?
False
Let m(l) = 2*l**3 - 4*l**2 + 14*l - 64. Is 20 a factor of m(7)?
False
Suppose 256 = 9*q - q. Suppose -29*m = -33*m + q. Does 8 divide m?
True
Suppose -8*l = -l + 7. Is (2 + l)/(2 + (-162)/82) a multiple of 13?
False
Let z = -31 - -133. Is z a multiple of 7?
False
Let l(s) = -2*s**3 - s**2 + 2*s - 1. Let a be l(-3). Suppose 0*w - 2*w = -a. Is 12 a factor of w?
False
Let j = 347 - 295. Is 4 a factor of j?
True
Does 37 divide 4664/6 - (70/(-21))/(-10)?
True
Let c(r) = r**3 + 9*r**2 + 6. Let q be -6*2*6/8. Let n be c(q). Does 7 divide 12/n - (2 - 21)?
True
Let f(u) = -3*u**2 - 10*u. Suppose 3*d - 1 = -10. Let l be f(d). Suppose l*h - 4*t - 85 = 47, h = -5*t + 63. Is h a multiple of 12?
True
Suppose 3*s - 22 = -2*g, 3 - 8 = -g. Suppose 0 = -s*y - 0*y - 28. Let b(i) = i**3 + 10*i**2 + 17*i - 2. Does 16 divide b(y)?
False
Let s = 71 - 71. Suppose s = r - 12*r + 1001. Does 32 divide r?
False
Let u(o) = 3*o - 12. Let g be u(8). Let q = 15 - g. Let z(f) = 6*f + 7. Is z(q) a multiple of 17?
False
Let n be 10*(0 + -2) - (-1 + 3). Let p = 58 + n. Is p a multiple of 6?
True
Let j(r) = 6*r**2 + 14*r + 16. Let w(f) = -7*f**2 - 14*f - 17. Let z(a) = -6*j(a) - 5*w(a). Let m be z(-8). Let k = m + -22. Does 5 divide k?
True
Let v = -534 + 1164. Is 35 a factor of v?
True
Let p(y) = -y**3 + 13*y**2 + 10*y - 16. Let k be p(13). Suppose -k = 6*d - 378. Is d a multiple of 11?
True
Let a = 4763 + -2314. Is a a multiple of 79?
True
Suppose 716 = -14*y + 3782. Is y a multiple of 12?
False
Let j(q) = -1. Let i(d) = 41*d + 12. Let b(t) = -i(t) - 5*j(t). Suppose -3*v = -5*n - 21, n - 3*n + 2*v - 10 = 0. Is 29 a factor of b(n)?
True
Suppose 0 = 4*r + 2*l - l - 165, -3*l + 3 = 0. Suppose 19 = 5*a - r. Let t = 18 + a. Is 15 a factor of t?
True
Let i = 42 + -39. Suppose 16 = i*x - 47. Does 21 divide x?
True
Suppose -5*p + d - 461 = 0, -2*p + 0*d - 188 = -4*d. Let y = p + 95. Is y even?
False
Let u = 7 + -7. Let n = -1 + u. Let i(d) = -9*d**3 - d. Is 8 a factor of i(n)?
False
Let w be (-2)/(-6) + 11/3. Let z(h) = -h**3 + 12*h**2 - 18*h - 2. Let o be z(9). Suppose -o = -2*c + 5*f, w*f + 35 = -c + 2*c. Is c a multiple of 7?
False
Suppose -4*s = -3*z - 6 + 9, 5*s = 3*z. Suppose 0 = -2*j - 3*j + 10. Suppose j*w = 7*d - 4*d - 14, z*w = 2*d + 9. Is d a multiple of 2?
True
Suppose -2*r + 540 = -2*f + 118, -2*r = 2*f - 414. Let u = r + -86. Does 17 divide u?
False
Let r = -13 - -28. Suppose -2*q - q = -r. Suppose 3*l - 2*t - 3 = 0, t = l - q*l + 15. Is 2 a factor of l?
False
Suppose 54*i + 474 = 60*i. Is 3 a factor of i?
False
Let k be ((-1)/1)/((-3)/(-6)) + 4. Is 17 a factor of 3560/35 + ((-8)/(-14))/k?
True
Let d = 36 - 102. Let j = 96 + d. Is 30 a factor of j?
True
Let p = 33 + -26. Let u(x) be the third derivative of x**6/120 - x**5/12 - 3*x**4/8 + x**3/6 + 3*x**2. Is u(p) a multiple of 20?
False
Let v = 65 + -46. Suppose v*f = 20*f - 172. Does 18 divide f?
False
Suppose 12*i - 13*i - 3*h + 1542 = 0, -5*i - 3*h + 7686 = 0. Is i a multiple of 34?
False
Let i(d) = 11*d - 7. Let u(v) = -v**3 + 6*v**2 - 6*v + 8. Let r be u(5). Does 13 divide i(r)?
True
Suppose 39*h - 43*h + 16 = 0. Suppose c + h - 151 = 0. Does 21 divide c?
True
Suppose -g + 2*y = 858, -2*g - 2*y = -0*g + 1698. Is g/(-21) + 12/(-21) a multiple of 10?
True
Let s be 5 + (-4)/8*6. Let p(f) = 24*f**2 + 2*f - 2. Does 23 divide p(s)?
False
Let g(x) = 2*x**2 + x - 2. Let q be g(-2). Let i = q + 295. Does 11 divide i?
False
Let d = 23 - 17. Let l(a) = 4*a + 5 + 2 - 4 - d. Is 23 a factor of l(9)?
False
Let s be (-15 + 15)/(1*2). Let m be -12*(s + (-2)/4). Is 8 a factor of (-75)/m*18/(-5)?
False
Let n = 118 - 182. Let x = n - -98. Is 34 a factor of x?
True
Suppose -2*d + 3*d = 9. Suppose 356 = -d*b + 13*b. Let n = b + -51. Is 23 a factor of n?
False
Suppose -11*r = -13*r - a + 571, -3*r - 5*a = -853. Does 13 divide r?
True
Does 10 divide (-14)/(-5) - 2 - (-8432)/85?
True
Let w be (0 - -1)/((-5)/30). Is (2/(-6) - (-22)/w)*-12 a multiple of 5?
False
Let p be 12*5*4/10. Let v be 38*3/p*4. Suppose -3*u + 4*o = -11, 0*o - 2*o - v = -3*u. Does 9 divide u?
True
Let a = -260 + 1723. Does 77 divide a?
True
Suppose 3*f - 8*f + 10 = 0. Is 6 a factor of (-12)/(-30) - (98/(-5) + f)?
True
Suppose -l = -241 - 368. Suppose -l - 76 = -5*a. Suppose -3*w + a = 2*m, 0*m + 88 = 2*w + 3*m. Is w a multiple of 10?
False
Let l = 20 - 16. Suppose 5*c - c + 3*v - 6 = 0, -l*c - 2*v = -8. Is 9/c*(-15)/(-9) a multiple of 4?
False
Is (-2 + -1)*-2 + (326 - -232) a multiple of 6?
True
Suppose 0 = -q + 2*z + 4, 3*q = 7*q + 5*z + 23. Suppose -y + 30 = -6*y. Let m = q - y. Does 4 divide m?
True
Suppose 369 = -4*p + 4*h + 2285, -4*p - 2*h = -1922. Does 20 divide p?
True
Suppose 0 = 20*v - 66*v + 61272. Is 8 a factor of v?
False
Let m(y) = -9*y - 5. Let h be m(-2). Let p(t) = 2*t**2 - 14*t + 1. Let l be p(h). Suppose -5*k - 79 = -3*a + 45, 4*a - 5*k = l. Is a a multiple of 8?
False
Suppose -333 = -v - 3*u, 27 - 1385 = -4*v + u. Does 3 divide v?
True
Let m = 11 - 6. Suppose -s - 21 = 5*c - 3*s, -m*c = 4*s + 3. Is c/(6/(-10))*2 a multiple of 5?
True
Let n(u) = 9*u - 9. Let m be n(6). Let k = 21 + m. Is k a multiple of 11?
True
Let h(q) be the first derivative of -3*q**4/2 + q**3/3 - 3*q**2/2 - 2*q + 22. Does 8 divide h(-2)?
True
Suppose 0 = -47*p + 12*p + 39900. Is p a multiple of 12?
True
Let y(q) = 15*q - 2. Let x(i) = -i. Let d(p) = -4*x(p) - y(p). Is 7 a factor of d(-3)?
True
Suppose w = 4*k + 4*w - 9, -4*k + 3*w = -15. Suppose 7*t - 4*t = -h + 508, -3*t + 516 = k*h. Is 14 a factor of t?
True
Let h = 769 + -193. Is h a multiple of 18?
True
Let t(j) = -j**3 - j**2 + 3*j + 3. Let i be t(-3). Let o = 14 - i. Suppose o*a + 5 = 19. Is a a multiple of 7?
True
Let h(z) be the second derivative of -7*z**3/6 + 3*z**2 - 20*z. Is 41 a factor of h(-5)?
True
Suppose -4*u = 2*o + 142, -5*o + 0*o + 5*u - 340 = 0. Let z = 213 + o. Suppose 3*l + l - z = 0. Does 18 divide l?
True
Suppose 0 = -2034*v + 2029*v + 7020. Is v a multiple of 39?
True
Let i(x) = -x**3 + 6*x**2 - 4*x + 5. Let h be i(5). Let v = h - 11. Is ((-32)/20)/(v/10) a multiple of 7?
False
Suppose 0 = -3*w + 5*w + b - 1997, 4001 = 4*w - 5*b. Does 66 divide w?
False
Is 55710/20 + (-18)/12 a multiple of 96?
True
Let m(s) = 4*s**2 + 35. Is m(0) a multiple of 5?
True
Suppose o + 4*t + 5 = 3*t, -25 = 3*o + 5*t. Let w(f) = f**2 + 24. Is 12 a factor of w(o)?
True
Let w = -51 - -52. Is 13 a factor of (276/24)/(w/2)?
False
Suppose 2*v - 880 = 2*s, -4*v + 3*v + 3*s = -450. Does 6 divide v?
False
Let i(m) = m**3 + 17*m**2 - 6*m + 32. Let a = -18 + 1. Is 20 a factor of i(a)?
False
Is 54 a factor of (-8)/((-32)/1236) + 7?
False
Let p(n) = 66*n**2 - 25*n + 82. Is p(4) a multiple of 6?
True
Let d(z) = -51*z + 1. Let a be d(-4). Suppose 0 = -2*c + 113 + a. Suppose -5*n + 247 = -w, 0 = 3*n - 0*n + 3*w - c. Is 20 a factor of n?
False
Suppose -3 = -2*p + 39. Let l = p + -14. Suppose -l*h + 5*h = -3*z + 16, 4*z - 44 = -3*h. Is 8 a factor of z?
True
Let n = 1531 - 1507. Does 6 divide n?
True
Does 40 divide ((-380)/(-1))/(15 - 13)?
False
Let t be (4/4 - -48) + 4 + -5. Let u = t + 5. Does 14 divide u?
False
Is 14 a factor of (-34880)/(-48) + (-8)/(-6)?
True
Suppose -9*r + 619 = -623. Is r a multiple of 6?
True
Suppose -5*z = 2*m + m - 229, 3*m - 53 = -z. Let s = z + 24. Does 34 divide s?
True
Let o = -14 - -7. Let t(d) be the first derivative of -d**2 + 7*d - 1. Does 7 divide t(o)?
True
Suppose 0 = 3*m + 2*d - 853, -5*m - d + 649 + 768 = 0. Does 9 divide m?
False
Let y = 87 + -21. Let u = -56 + y. Is 7 a factor of u?
False
Suppose -5*x - 4*q = -4, 0*x - q + 1 = -x. Let u(s) = s**3 - 4*s**2 + 4*s - 3. Let l be u(4). Suppose 5*p + w - 6*w - 60 = 0, x = -p + 2*w + l. Does 3 divide p?
False
Suppose 256 = 9*r + 58. Suppose 0 = -33*p + 35*p - r. Does 3 divide p?
False
Let g(f) = -2*f**2 + 2*f - 3. Let v(x) be the first derivative of x**3/3 + x**2/2 + 3. Let a(p) = -g(p) - v(p). Does 21 divide a(6)?
True
Let p = 52 - 48. Is 10 a factor of p/1 + 32/2?
True
Let o(r) = -r**3 + 11*r**2 + 4*r - 31. Is 10 a