45 a factor of n?
False
Suppose -3*f + 20 = -f - c, 0 = 2*f + c - 16. Suppose f*t + 183 = 2046. Is 9 a factor of t?
True
Suppose k + 106*z = 107*z + 5563, 5*z = -5*k + 27765. Is k a multiple of 14?
True
Let s = -7 - -3. Let i be 6/(-20) - ((-8694)/180 + 14). Is (-2467)/(-17) + s + 132/i a multiple of 29?
True
Let h be (0 - 2) + ((-10812)/(-4))/(-3). Let a = -441 - h. Does 22 divide a?
True
Let a = -60 + 62. Suppose 4*g + 11*b = 7*b + 536, 0 = -3*g + a*b + 407. Does 45 divide g?
True
Let i be (-5 - (-11)/2)/((-3)/(-24)). Suppose -877 = -5*z - o + 96, -967 = -5*z - i*o. Is 15 a factor of z?
True
Let i = -74 + 65. Let m(j) = -2*j**3 - 17*j**2 + 3*j + 18. Let s be m(i). Let p = 8 + s. Does 16 divide p?
True
Suppose -3*p + 7*o - 3*o + 14 = 0, -2*o = 2*p. Suppose 0*l + p*u = 5*l - 516, -l + u = -102. Does 8 divide l?
True
Let z(f) be the first derivative of -f**5/20 - f**4/12 - 2*f**3/3 + 5*f - 16. Let r(c) be the first derivative of z(c). Is 12 a factor of r(-5)?
True
Does 6 divide ((-22)/(-2))/(0 + (-2120)/(-2115) + -1)?
False
Let c(o) = o**3 + 19*o**2 + 9*o + 103. Does 11 divide c(-17)?
True
Let f(i) = i + 136. Let b be f(0). Let s = -99 + 131. Suppose s = 2*k - b. Does 8 divide k?
False
Let a = -1895 + 38696. Is 28 a factor of a?
False
Let m(t) = 188*t - 99. Let v(j) = -63*j + 33. Let i(h) = -4*m(h) - 11*v(h). Is i(-3) a multiple of 14?
True
Is (-113)/(-678) + (-1)/(-18)*94407 a multiple of 5?
True
Let l be 9 + 6 - (0 + -2)/1. Suppose l*h - 12*h = -20. Is 4 a factor of (h/6)/(2/9)*-3?
False
Let q = 749 - 1141. Let v = -35 - q. Is 12 a factor of v?
False
Let p(x) = 4*x**3 - 32*x**2 + 89. Let a(i) = -9*i**3 + 64*i**2 - 2*i - 178. Let g(u) = 3*a(u) + 7*p(u). Is 92 a factor of g(33)?
False
Let c = -9 + 9. Suppose 3*z - 31 = s, -3*z - 2*s + 12 + 16 = c. Is ((-6)/z)/(2/10) + 24 a multiple of 7?
True
Let v(l) = 2*l**2 + 7*l - 10. Let s be v(-4). Does 18 divide (-24)/((8/36)/(s/9))?
True
Suppose -63 = 4*m + 3*v, -3*m - 3*v - 3 = -4*m. Let g be (-2)/m - 708/(-72). Is 6 a factor of (12/g)/((-44)/(-330))?
False
Let j be ((-7)/(-14))/((-1)/(-982)). Let q = -54 + j. Is q a multiple of 23?
True
Suppose 7*q = 2*q + 70. Suppose 16*w = q*w + 380. Let c = w - 3. Does 26 divide c?
False
Let b = -67 - -72. Suppose 11 = -8*u - b. Is (-1 + 41/u)/(81/(-162)) a multiple of 4?
False
Suppose -3*x = -7*x + 16, 0 = 3*d + 3*x - 15. Suppose -5*a + c = -4*a - d, -c = 3*a - 19. Suppose a*w = 5*o + 270, 2*w - 4*o - o = 99. Is 6 a factor of w?
False
Suppose -5*g + 17844 = 2*r, -10*r + 44610 = -5*r + g. Is 46 a factor of r?
False
Suppose -3*q = j - 1989, 4*j = -q - 118 + 759. Is 35 a factor of q?
True
Let u(w) = 104*w**2. Suppose 4*a + 11 = -1. Let x be (-11 + 9)/(6/a). Does 26 divide u(x)?
True
Is 30 a factor of (5175 + 1)*1 + (-4 - -8)?
False
Let r = -405 - -398. Is 2/r - (-77402)/182 a multiple of 17?
True
Let x(w) = -w**3 - 76*w**2 + 56*w - 402. Is 27 a factor of x(-77)?
True
Let s(z) = 24*z**3 + 19*z**2 - 185*z + 23. Is s(7) a multiple of 13?
True
Let k = 745 - 8. Is 11 a factor of k?
True
Let l(a) = -a**2 + 10*a + 27. Let s be l(12). Suppose 0 = -3*t - 5*j, s*j = -t + j - 1. Suppose -76 = -t*u - 3*z + 43, -2*u + 4*z = -32. Does 17 divide u?
False
Suppose -5*c - 2*w = 2 + 6, 5*c = -3*w - 12. Let g(z) = z**3 - z**2 + 3*z + 272. Is g(c) a multiple of 9?
False
Let g(k) = 40*k - 4. Let v be 1/4*1 - (-9)/12. Let i = v - -1. Is 12 a factor of g(i)?
False
Suppose -2*z + 4*z = u + 9, 5*z = -2*u. Suppose -1033 = -5*t + 3*w, 2*w - 68 = -z*t + 342. Suppose -6 = -3*j, 4*c - t = -0*c - 3*j. Does 10 divide c?
True
Let x = -39 - -44. Suppose -x*q - 7 = -n + 6, -2*n = q - 4. Is 7 a factor of (-5)/((6/(-14))/n)?
True
Suppose 4*q = -3*v + 19015 + 873, 0 = -4*q - 2*v + 19888. Is 22 a factor of q?
True
Let a be (-5 + 12/8)/(4/(-112)). Suppose 4*j = 5*h - a + 571, 0 = -j + h + 117. Is j a multiple of 14?
True
Let g(z) = 2*z**2 - 6*z - 6. Let l be g(12). Suppose -r + 0*r = -l. Does 42 divide 3/((-4 + 7)/r)?
True
Suppose 5*n = 1164 + 33006. Suppose -64*q = -13*q - n. Is q a multiple of 10?
False
Is 615/(-246) - (3 - (-40964)/(-8)) a multiple of 15?
True
Let h be 11972/20 - (-6)/15. Let x = 1047 - h. Is x a multiple of 14?
True
Let v(y) = y**3 + 7*y**2 - 18*y - 8. Let l be v(-9). Let g = l + 763. Does 70 divide g?
False
Suppose 5*v = -4*q + 45, -v + 2*q - 15 = -2*v. Suppose -3*u = 4*w - 146 - 270, 0 = w + v*u - 121. Suppose w = d - 14. Does 13 divide d?
False
Let i = 4775 - 2465. Does 22 divide i?
True
Suppose 0 = -4*k + 3*p + 8, 2*p - p - 6 = -3*k. Suppose t + 330 = -k*t. Let i = t + 121. Is 3 a factor of i?
False
Suppose 5*k - 3718 - 2337 = 5*s, -5*s + 6035 = 5*k. Is k a multiple of 5?
False
Let j be 31488/56 + (-6)/21. Let i = j + -346. Is 8 a factor of i?
True
Let j be ((-2 - -2)/(-3))/(-1 - -3). Let l be (-19)/(1/(3 - 4) - j). Let u = l + 132. Is u a multiple of 25?
False
Suppose 3*c - c = 5*m - 93, 4*m - 75 = c. Let x(a) = 2*a**2 + 18*a - 17. Does 28 divide x(m)?
False
Let p(t) = 203*t**2 - 88*t**2 - 8*t - 98*t**2 - 26. Is p(5) a multiple of 53?
False
Let q be (-6 - 99/(-12))/((-2)/(-104)). Suppose -11*o + q = -2*o. Let x(d) = -d**2 + 14*d - 7. Is x(o) even?
True
Suppose 0 = -8*l + 28*l - 56000 - 308960. Does 75 divide l?
False
Suppose 3*u = 10*u - 29645. Let a be u/(-2) + 15/10. Is 9 a factor of 1/(-8) + -3 + a/(-32)?
True
Let u(b) = b**2 + 7*b + 18. Let m be (-4 - -4)/(4/(-2)). Suppose m = -5*v + 2*p - 37, 2*p = -3*p + 5. Does 18 divide u(v)?
True
Let q(j) = j**3 + j**2 - 13*j - 5. Let b be q(-5). Let u = b + 102. Is 17 a factor of u?
False
Let d(w) = 35*w**2 + 203*w - 4614. Does 7 divide d(24)?
False
Let d(z) = -5*z - 10. Let r(g) = g**2 + 1. Let b be 1/(3/(-3 - -2))*-9. Let m(c) = b*r(c) - d(c). Is m(-4) a multiple of 8?
False
Let j(o) = -1454*o - 1998. Is j(-9) a multiple of 56?
True
Suppose -41*u + 20980 = -31*u. Suppose 4*d - 2*l = -0*d + 2804, 3*d - 4*l - u = 0. Does 26 divide d?
True
Suppose 4415 = 11*x - 6*x. Suppose -8*y + 61 = -x. Is y a multiple of 17?
False
Let p(k) = k**3 - 24*k**2 - 23*k + 202. Is 44 a factor of p(29)?
True
Suppose -4*p - 27816 = -4*f, 3*p + 13906 = 30*f - 28*f. Is f a multiple of 11?
False
Suppose 0 = i + 2*m - 3, -9 = -3*i - m - 3*m. Let j = 1653 + -1648. Suppose 3*z = -j*v + 289, 3*z = 4*z + i*v - 103. Is z a multiple of 22?
True
Let h(j) = -j**3 + 7*j**2 - 19*j + 13. Let y(g) = 3*g**3 - 21*g**2 + 56*g - 39. Let z(s) = 8*h(s) + 3*y(s). Is 3 a factor of z(6)?
False
Is 17485390/585 + 13/9 + -1 a multiple of 35?
True
Suppose 17 - 635 = 6*f. Let i = 517 - f. Does 59 divide i?
False
Suppose 10*t = -6*t + 1856. Suppose 4*z = 4*u - t, -122 = -3*u - z - 39. Is 2 a factor of u?
True
Suppose -5*k = -2*k + 3*t - 633, 4*k + 2*t = 838. Let c = -157 + k. Is 51 a factor of c?
True
Let t(h) = 755*h**2 + 105*h + 136. Is t(-7) a multiple of 36?
True
Let w(x) be the first derivative of 161*x**3/3 - 7*x**2/2 - 13*x + 17. Let z be w(-2). Suppose -4*b + 3*s = -0*s - z, 5*s + 319 = 2*b. Does 27 divide b?
True
Let z be (-10*(-5)/25)/(-1 - -2). Suppose 2*c = -q + 810, -5*q + 4010 = -0*q + z*c. Does 33 divide q?
False
Let v(s) = -7*s - 10. Let a be v(-5). Let o = a + -25. Suppose 8*j - 536 = -o. Does 14 divide j?
False
Is (-29 - (-445)/15)/((-4)/(-99678)) a multiple of 18?
False
Let s(k) = 22*k + 50. Let h be s(-2). Suppose -h = 3*p - 21, -161 = -n - p. Is n a multiple of 13?
True
Let f = -800 + 1252. Suppose -s + 2 + 3 = 0. Is f*(95/(-20) + s) a multiple of 27?
False
Suppose -331*s = -305*s + 78. Suppose 3 = 5*p - 2. Is 3 a factor of p*(s + 7) + 43?
False
Suppose 66 = 13*q - 2*q. Suppose 0 = -q*a + 1760 + 892. Does 27 divide a?
False
Suppose -25*d + 9516 = -19*d. Suppose 15*p + d = 41*p. Is p a multiple of 13?
False
Suppose 105278 - 1189278 = -100*o. Is 21 a factor of o?
False
Let z be (-29 - -29)/((-2)/(-2)) + 0. Suppose 20*w - 4*w - 1744 = z. Is w a multiple of 9?
False
Let t(x) = -x**2 + 24*x + 10. Suppose -g - 2*g - 3*s = -72, 2*g + 4*s = 58. Suppose -w + 3*o + o + g = 0, -2*w + 2*o = -44. Is t(w) a multiple of 11?
True
Suppose -2356*p = -2360*p + 19924. Is 60 a factor of p?
False
Let q = -27955 + 49418. Does 16 divide q?
False
Suppose -7*j = -6*j. Suppose -3*o - 3*z = 70 + 8, 3*o + 2*z + 82 = j. Does 11 divide (-222)/(-4) - (-15)/o?
True
Let s = 218 - 61. Suppose -3*x + 5