/2)/(-1)*3. Let l(i) = -i**2 - 19*i - 52. Let b be l(-3). Is 8 a factor of (b/m)/(6/(-117))?
False
Is (-3)/(-120)*-4 - 3342/(-20) a multiple of 8?
False
Let c(g) = 25*g**2 - 3*g + 2. Let o(f) = -26*f**2 + 3*f - 3. Let i(s) = -5*c(s) - 4*o(s). Let j be i(-1). Let y = j + 27. Is y a multiple of 3?
False
Is 5 a factor of -37*9*(5 - (-48)/(-9))?
False
Let n = 410 + 79. Is 31 a factor of n?
False
Let b = -467 + 891. Is 53 a factor of b?
True
Let p(o) = -o**2 + 13*o + 4. Let c be p(13). Suppose -5*u + 230 = c*j, 3*j + 4 - 194 = 5*u. Is j a multiple of 30?
True
Is 26 a factor of (16731/(-52))/(18/(-96))?
True
Let a be (-4)/(32/(-42)) - 11/44. Suppose -3*r = p - 5, 4*p - 7*r - 90 = -a*r. Is p a multiple of 10?
True
Is 6 a factor of (-5 - 1164/20)/((-3)/30)?
False
Suppose 0*o + 4*o = -12. Is 9 a factor of 2*5 + o/(-15)*0?
False
Let b(c) = -25*c + 7 - 5 - 6. Is 21 a factor of b(-1)?
True
Let f = -17 - -9. Let o(h) = h**2 + 10*h + 10. Let s be o(f). Is (s - -5)/(2/(-72)) a multiple of 28?
False
Let a(u) = u**3 + 10*u**2 + 2*u - 3. Suppose 0 = -3*m + 6*m - 3. Let v(y) = -y**2 + 1. Let c(r) = m*a(r) + 2*v(r). Is 17 a factor of c(-7)?
True
Let y(s) = 723*s - 132. Is 56 a factor of y(2)?
False
Suppose -2*y + 7 = 1. Suppose -3*u + 468 = y*u. Is 26 a factor of u?
True
Let s = 2361 + 757. Is s a multiple of 10?
False
Suppose 0 = m - 39 - 17. Is 8 a factor of m?
True
Let c(p) = p**2 - 14*p - 14. Let g be c(16). Suppose 14*f + 68 = g*f. Does 17 divide f?
True
Is (5/(-3))/(17/(-51)) a multiple of 4?
False
Suppose 2*c + 8400 = 18*c. Does 7 divide c?
True
Suppose 0 = -3*p - p + 92. Suppose 0 = -l - 5*a - 2 + 6, 3*a + 2 = -5*l. Is 15 a factor of p + (-1 + l)/(-1)?
False
Suppose 63*y - 816 = 29*y. Suppose q - 2 = 2. Suppose -q*w + 240 = -y. Is w a multiple of 11?
True
Suppose 808 = i + q, 5*q = -4*i + 3502 - 268. Is i a multiple of 31?
True
Let j = -141 + 82. Let a = j + 129. Is a/((-4)/((-4)/2)) a multiple of 22?
False
Let b(i) = -6*i + 80. Does 5 divide b(-13)?
False
Suppose -4*w + 592 = 3*y, -2*y - 3*w + 0*w = -395. Is 14 a factor of y?
True
Let n be (0 - -9) + (-1 - 3). Suppose -181 = n*r - 541. Is 8 a factor of r?
True
Suppose 6*n = n + 20. Suppose 5 = -n*w + 13. Suppose -3*y = -w*d + y + 14, -2*y + 14 = 2*d. Is d a multiple of 3?
False
Suppose -10*j + 12*j + 2*m = 300, 2*m = -10. Does 19 divide j?
False
Is 8 a factor of (-51)/(-9*5/30)?
False
Suppose 0 = p - 9 + 5. Suppose 0 = -2*h + p*x + 182, x = 8*h - 4*h - 378. Is 19 a factor of h?
True
Suppose -1056 = -c - 18*p + 14*p, 0 = -2*c + 3*p + 2156. Is 67 a factor of c?
True
Suppose 0 = -4*d + 2*o + 26, -d + 4*o + 14 = 2*o. Suppose 3*a - a = 4*u + 40, 72 = d*a - 4*u. Is 4 a factor of (-1)/(1*(-4)/a)?
True
Let f(q) be the second derivative of q**4/12 + 10*q**3/3 - 8*q**2 - 26*q. Is f(-22) a multiple of 3?
False
Let l = -284 - -701. Is l a multiple of 65?
False
Let a = -543 - -629. Is 5 a factor of a?
False
Let f(h) = 211*h**3 - 3*h**2 + 3*h - 1. Let q be f(1). Suppose -q = 12*o - 17*o. Does 9 divide o?
False
Let f = 33 - 31. Let g be -1*(-3)/3*7. Suppose f*o - 8 = 0, -s + 2*o = 4*s - g. Does 3 divide s?
True
Let y(c) = 9*c**2 - 10*c + 39. Is y(12) a multiple of 15?
True
Suppose s = -2*s + 3. Let z(k) = 3*k**2 + k. Let y be z(s). Suppose 3*p - j + 73 = 5*p, 0 = 5*p - y*j - 150. Does 24 divide p?
False
Is 9 a factor of ((-14)/1)/(34/(-119))?
False
Let a = -140 + 60. Suppose k + 27 = -2*k. Let x = k - a. Is 20 a factor of x?
False
Let g = 631 + -1069. Is (g/(-9) + 7 + -9)*3 a multiple of 14?
True
Let l(u) = -u - 1. Let h(w) = w**2 + 9*w + 13. Let a(z) = -h(z) + 3*l(z). Does 3 divide a(-8)?
False
Let o be 87/((-4)/(-30) + (-2)/(-12)). Suppose 0 = -4*c - o + 934. Is 35 a factor of c?
False
Suppose -23*a - 5*t = -24*a + 42, -3*a = -4*t - 93. Is a a multiple of 6?
False
Suppose -s + 2 + 0 = 0. Suppose -s*b = -3*b - 35. Is ((-21)/b)/(3/30) a multiple of 3?
True
Let m(i) be the third derivative of -5/6*i**4 - 7/3*i**3 + 0*i - 1/60*i**5 + 7*i**2 + 0. Does 11 divide m(-17)?
False
Let x be 8/6*12/8. Suppose x = 5*a - 4*a. Suppose a*j - 20 = 4. Is j a multiple of 4?
True
Suppose 3*t + 26 = -a, -3*t + a - 10 = -2*t. Let w(u) = -u - 9. Let n be w(t). Let c = n - -56. Is 28 a factor of c?
True
Suppose -5*u = -3*o - 39, -o + 2 = -u + 13. Let p(i) = 3*i + 20. Let v(a) = -2*a - 13. Let d(r) = o*v(r) - 5*p(r). Does 7 divide d(3)?
True
Let d(l) = -l**2 + 6*l - 1. Let z be d(4). Let t be ((-1)/z + 1)*7. Let u(q) = q**2 - 3*q - 2. Is 8 a factor of u(t)?
True
Let x(u) = -10*u**3 - u. Let j be x(1). Let i = j + 13. Does 11 divide (66/i)/(12/12)?
True
Suppose -g - 4*s + 9*s + 1320 = 0, 3*g + 4*s = 3960. Does 33 divide g?
True
Suppose -2*a + 46 = y - 3, y - 57 = 2*a. Is 13 a factor of y?
False
Let v = 1296 + -921. Is v a multiple of 25?
True
Let x(y) = -7*y**3 - 14*y**2 + 3*y - 11. Let o(g) = -g**3 - g**2 - g - 1. Let s(r) = -6*o(r) + x(r). Let w be s(-9). Does 5 divide -10*(-4)/(-8)*w?
True
Let x(b) = 10*b + 3. Let t = 1 + 11. Suppose -9*f + t*f - 12 = 0. Is x(f) a multiple of 22?
False
Suppose 5*a - 96 - 9 = 0. Suppose -9 - a = -5*l + 5*c, -c = -3*l + 14. Suppose -5*z = -l*v - 24 - 13, -5*v = -4*z + 26. Is 3 a factor of z?
True
Let r = -22 - -25. Suppose -3 = -2*z + r. Suppose 2*i - 3*p = 112, -p = z*i + p - 142. Does 15 divide i?
False
Suppose -5*b + 1289 + 106 = 0. Is b a multiple of 31?
True
Does 6 divide 150 - 6*(-5 + 4)?
True
Suppose x + 14 = -4. Does 10 divide 36/(-10)*(528/x - -6)?
False
Suppose -19*w + 43860 = 32*w. Is w a multiple of 10?
True
Suppose 0 = -16*d + 3485 + 5635. Is 19 a factor of d?
True
Does 16 divide ((-13)/(91/(-154)))/(2/12)?
False
Suppose -4*w = -7*w - 15, -3*n + 2*w = -1102. Is 23 a factor of n?
False
Let x be 12/36*6/(-1). Let f be (0/x - -2) + 1. Suppose c = f*o - 97, -o = 2*c + 9 - 32. Is 8 a factor of o?
False
Let f be 2/(-3)*(2 + 10). Is (33/(-4))/(3/f) a multiple of 4?
False
Let d(c) = -31*c**3 + c**2 + 4*c - 2. Is 22 a factor of d(-2)?
True
Let m = 3 - 1. Suppose -4*u - 16 = 0, -m*u = -g - 0*u + 29. Is g a multiple of 7?
True
Let h(p) = p**3 + p**2 + 2*p + 26. Suppose 2*u = 3*w - 2*u + 20, -2*u = 4*w - 10. Let m be h(w). Suppose 5*f - 49 = m. Is f a multiple of 15?
True
Suppose 0 = 11*v + 1271 - 4703. Does 8 divide v?
True
Let r(v) = 0 - 2 - 2 + 7*v + 7. Let s = 7 + -4. Is r(s) a multiple of 7?
False
Is 1*(4 - 5) - -85 a multiple of 14?
True
Suppose -5*v = -7*v. Let d(x) = 10*x**2 + x + 5*x - x**3 + v*x - 15. Is d(10) a multiple of 45?
True
Let g = -72 - -139. Is g a multiple of 8?
False
Suppose -30*x + 35*x = 65. Is 13 a factor of x?
True
Is ((-28)/21)/((-8)/318) a multiple of 10?
False
Suppose -r + 286 = -5*j, 5*j - 2*j + 544 = 2*r. Is r a multiple of 41?
False
Suppose 0 = -5*h - 5, 0*w + h + 3256 = 5*w. Does 31 divide w?
True
Suppose -9*g = -0*g - 1359. Suppose -2*y + 2*v + 34 = -28, 0 = 5*y - 4*v - g. Is y a multiple of 9?
True
Let w = -248 + 263. Is 5 a factor of w?
True
Let m = -25 + 14. Let l = m - -18. Suppose -3*z + 14 = -l. Is z even?
False
Let h = 30 + -18. Suppose 0 = 3*u - 6, 2*u = -p - 0*u + h. Is p a multiple of 3?
False
Let m = -110 - -164. Let s = m + 20. Let g = s + -24. Does 17 divide g?
False
Let y be -3 - (12/(-4) - 12). Let w be -4*(y/8 + -2). Suppose 3*t - 45 = -w*t. Is 3 a factor of t?
True
Let u = 95 + -167. Does 7 divide u/7*42/(-9)?
False
Let x(j) = -3*j - 8. Let t be x(4). Let w be (2 - t/(-16))*4. Suppose w*r - 193 = -58. Is r a multiple of 7?
False
Suppose 5*z = 4*k + 6744, -3*z - 4040 = -6*z + 4*k. Does 88 divide z?
False
Let q = -1 + 9. Let o(k) = -6*k**2 + 4*k - 12. Let g be o(q). Does 25 divide g/(-6) + 5/15?
False
Let w(k) = 25*k**2 + 2*k + 7. Is 3 a factor of w(-5)?
False
Let d(b) = 19 - 17 + 2*b - 2*b + b - 2*b**2 - 5*b**3. Is 4 a factor of d(-2)?
True
Suppose -25*o + 1581 = -22*o. Is o a multiple of 13?
False
Let s = -6 - -22. Suppose s = 5*r - r. Suppose 0 = a + 4, -g = -r*a - 27 - 38. Does 18 divide g?
False
Let k = -222 + 158. Let u be k/(4*(-1)/2). Suppose 4*a = -5*g + u, 3*a - 15 = 2*a - 3*g. Is 3 a factor of a?
True
Suppose -95*a = 4*h - 90*a - 1362, -10 = 5*a. Is h a multiple of 8?
False
Let a(y) = 2*y**3 - 4*y**2 - 10*y + 17. Let c be a(5). Suppose -3*n + 3*k - c = -6*n, -2*n + 66 = -2*k. Does 12 divide n?
True
Suppose 96*b - 93*b = 12. Suppose -2*d - d - 