 -5*j + 15 + 145. Does 8 divide j?
True
Suppose -2*g - 738 = -11*g. Suppose 0 = -4*m + 346 - g. Is 21 a factor of m?
False
Suppose 44 = 2*d - 148. Let i be 2*(2 - 0) + d. Suppose -4*p + 192 = -i. Is p a multiple of 25?
False
Let f(j) = -j**2 + 90*j - 2. Is 29 a factor of f(7)?
False
Suppose 3 = f - 2*f. Is 25 a factor of 17/((12/(-40))/f)?
False
Suppose -87*p + 1800 = -79*p. Does 61 divide p?
False
Suppose -3 = -2*p - 2*k + k, 3*p - 10 = 4*k. Suppose p*y - 4 = -0*y. Suppose y*f + 7 = 39. Is 10 a factor of f?
False
Suppose 0 = -6*a - 617 + 3833. Is a a multiple of 13?
False
Suppose 1597 = f + 3*j, f + 0*j - 1597 = -4*j. Is 17 a factor of f?
False
Let t(p) = p**2 + 18*p - 45. Let l be t(-21). Suppose 16*w - l*w = -16. Is 6 a factor of w?
False
Suppose -16*d - 1802 = -5226. Is 29 a factor of d?
False
Let h = -51 - 3. Is 3 a factor of 210/(-10)*h/21?
True
Let q be (-1 - (-15)/27)/(6/(-27)). Suppose -405 = -5*d + 5*z, 4*d - 315 = q*z - z. Does 13 divide d?
True
Suppose 7*r + 2104 = 15*r. Is 25 a factor of r?
False
Suppose -2*h = -0*h - 12. Suppose -3*s - 2*c - c + 12 = 0, 7 = s + 4*c. Suppose -s*b - 228 = -h*b. Is b a multiple of 14?
False
Let b be -2*(7/(-2) + 3). Let u = 5 - b. Suppose 4*w + u*c - 24 = 0, -2*w + w + 12 = 4*c. Is w a multiple of 4?
True
Let p be 36/(-9) + (3 - 81). Let h be (266*1)/2 - 0. Let o = p + h. Is 8 a factor of o?
False
Suppose -3*y + 0*y + 15 = 0. Suppose 0 = -y*m + 91 - 16. Suppose -b + 42 = -m. Is 22 a factor of b?
False
Is ((-44)/(-4) + -4)/(21/1344) a multiple of 11?
False
Suppose -65 - 1 = -c. Suppose c = -4*i + 98. Does 4 divide i?
True
Let i(b) = 9*b**3 - 3*b**2 - b - 10. Suppose 106*l + 12 = 110*l. Is 36 a factor of i(l)?
False
Suppose 42*b + 16421 = 145025. Is b a multiple of 116?
False
Let l = 32 + -23. Suppose 32*v - 29*v = l. Does 3 divide v?
True
Let u(j) = 15*j - 1. Let n(o) = 4*o - 7. Let k be n(3). Does 11 divide u(k)?
False
Let c be ((-8)/4)/(-1) - 9. Let h(g) = -7*g - 4. Let l be h(c). Suppose 2*r = -3*r + l. Does 3 divide r?
True
Let y = -182 - 183. Let s = y - -606. Is s a multiple of 10?
False
Let n(a) = a**3 - a**2 + a - 1. Let s(x) = -5*x**3 + 14*x**2 - 5*x + 10. Let z(k) = 6*n(k) + s(k). Suppose -10*u = -11*u - 7. Is 24 a factor of z(u)?
False
Let o(j) = 9*j**2 - j + 1. Suppose -5*z - 3 = 5*m + 2, 5*z - 3*m = 19. Let c be o(z). Suppose c + 40 = 5*g. Is 7 a factor of g?
False
Let v = 917 + -749. Is 36 a factor of v?
False
Let s(l) = -l**3 - 8*l**2 - 12*l - 7. Let v(m) = -m**2 - 8*m - 10. Let q be v(-8). Let i be s(q). Let y = i + -163. Is y a multiple of 33?
False
Let q(m) = -9*m**2 - 81*m - 12. Is 50 a factor of q(-6)?
True
Suppose -5*d + 440 = -5*o, 424 = -3*d + 8*d - o. Is d a multiple of 7?
True
Is 13 a factor of 417 + 3/6*14?
False
Suppose 2*q - y = 2476, 4*y - 1245 = -5*q + 4971. Is 10 a factor of q?
True
Let k = 4 + 4. Suppose -5*c = -c + k. Is (-2 + (-1 - 3))/c a multiple of 3?
True
Suppose 2*n + 199 = 5*z, 3*n - 50 = -0*z - z. Let i = z + 25. Is 17 a factor of i?
False
Let m(i) = 2*i + 6. Let h be m(-9). Let y(w) be the third derivative of -w**5/60 - w**4/2 + 5*w**3/2 - w**2. Is 15 a factor of y(h)?
True
Let a(n) = -1. Let z(l) = l + 41. Let h(m) = 3*a(m) + z(m). Is 11 a factor of h(18)?
False
Let f = 36 - 32. Suppose 0*j + 132 = f*j. Does 11 divide j?
True
Does 42 divide 116/(-29) - 163*-1?
False
Suppose a = -0*a + 5. Suppose -3*y = -a*y + 2. Suppose -3 = t + y, t = h - 16. Is h a multiple of 12?
True
Suppose -322 - 68 = -5*v. Is v a multiple of 4?
False
Let w = -290 + 378. Does 22 divide w?
True
Suppose -14*o = -22412 + 1622. Does 17 divide o?
False
Suppose y + 755 = 6*y - 5*h, 0 = 2*y + 5*h - 267. Suppose 5*d = 3*t - t - y, -3*d + 95 = t. Is t a multiple of 15?
False
Let q(i) = -i**2 + 9*i - 4. Let l be q(8). Suppose -s = -l - 0. Suppose 2*y = 2*c - 76, -c = c + s*y - 64. Does 17 divide c?
False
Let x(u) = -2*u - 4. Suppose -5*n + 2 = -3, -4*g = -5*n + 33. Let v be x(g). Let z = 26 + v. Does 12 divide z?
True
Let r = -162 - -342. Is r a multiple of 8?
False
Suppose 0 = 4*w - 8*w. Suppose 3*p + 35 + 13 = w. Let i(v) = -v**3 - 15*v**2 + 14*v - 16. Is i(p) a multiple of 8?
True
Suppose -8 = -o + 2*c + 48, -2*o = -2*c - 112. Is o a multiple of 28?
True
Let a(m) = 14*m**2 - 3. Let r be 70/(-20) - 2/(-4). Is 20 a factor of a(r)?
False
Suppose -9*p + 522 + 450 = 0. Does 36 divide p?
True
Suppose 3*a + 5*s - 17 = 0, 6*s - s = -10. Let x(r) = 14*r - 11 - 21 + a. Is x(9) a multiple of 26?
False
Let g(o) = 7*o**2 + 6*o + 20. Does 9 divide g(-4)?
True
Does 24 divide 550 + 7*(-8)/(-84)*3?
True
Suppose -255*w = -251*w - 1144. Does 11 divide w?
True
Suppose 13 = -3*x - 41. Let o = x + 12. Let z(r) = -3*r + 8. Is z(o) a multiple of 13?
True
Let h = -1 - -5. Suppose 4 = f - 3*m - 5, 5*f - h*m = 67. Suppose 0 = -5*d - 5*n + f, -5*d + 4*n = -10 - 5. Is d even?
False
Suppose w - 3*w + 8 = 0. Let g = 90 + -46. Suppose w*d + 1 - g = -5*u, -3*d - 2*u + 34 = 0. Is 4 a factor of d?
True
Let a(p) = 29*p - 12. Let q be a(9). Suppose 174 = 9*r - q. Does 25 divide r?
False
Let f = 535 + 183. Is f a multiple of 18?
False
Suppose -5879 - 553 = -8*r. Is 38 a factor of r?
False
Let j(d) = -d**2 + 13*d + 11. Let q be j(11). Let p = 91 - q. Suppose k + k = p. Is k a multiple of 6?
False
Suppose -4*m + 224 = 2*h, 13*h - 10*h - 336 = 4*m. Is h a multiple of 46?
False
Let v(n) = -n**3 + n - 1. Let z(h) = h**3 - h**2 - 7*h. Let o(a) = 2*v(a) + z(a). Is 11 a factor of o(-4)?
True
Suppose -d - 3 = -0*d, -924 = -4*y - 4*d. Is 78 a factor of y?
True
Let d(m) be the second derivative of m**3/6 + 10*m**2 - 3*m. Does 18 divide d(16)?
True
Suppose -r = -10*r + 945. Let g = -74 + r. Is 5 a factor of g?
False
Let z = -4511 - -6765. Does 18 divide z?
False
Let w(s) = -15*s**3 - 4*s**2 - 2*s - 1. Suppose n = 3*c + 11, -7*c - 5 = -2*c + n. Does 16 divide w(c)?
False
Suppose -k + 360 = l, 4*k + 13*l - 1485 = 18*l. Is 6 a factor of k?
False
Let h(t) = t + 5. Let d be h(0). Let i = d - -3. Is i a multiple of 6?
False
Let x(h) = -h**3 - 6*h**2 + 8*h + 7. Let w be x(-7). Suppose w = f - 2, -t + 2*t = -5*f + 7. Is (24/20)/(t/(-20)) a multiple of 8?
True
Let k = 31 - 39. Let w(h) = h**3 + 3*h**2 + 5*h**2 - 7 - 3 - 2*h. Does 4 divide w(k)?
False
Let x(a) = -294*a - 54. Is x(-1) a multiple of 40?
True
Let w = 15 + -12. Let y be (-1)/((-4)/(w + 5)). Suppose -b = 3*h - y - 6, -4*h + 4 = b. Is 13 a factor of b?
False
Suppose 5*c - 100 = -7*q + 4*q, -4*q = 3*c - 115. Suppose 7*u = -4 + q. Is u a multiple of 3?
True
Let w = 10 - 7. Let l = w - -1. Suppose 130 = l*f + f. Is 6 a factor of f?
False
Let k = 253 - 176. Does 4 divide k?
False
Let f(a) = -7*a - 2. Let h be f(-1). Suppose -c + h*c = -188. Let u = c + 71. Does 12 divide u?
True
Let p = 20 + 0. Let j(i) = i**2 + i + p - 32 - 7*i. Is 7 a factor of j(10)?
True
Let b(a) = 3 + 3 - 4*a - a**2 - 1 + 2. Let w be b(-5). Suppose -2*n + 38 = o - 18, 2*n + 88 = w*o. Does 16 divide o?
True
Let c(t) = -t - 10. Let o be c(-2). Is 26 a factor of 21*(-156)/o*(-12)/(-27)?
True
Suppose i + 5 = -3. Let a = 8 - i. Let b = a + 30. Is 23 a factor of b?
True
Suppose -8*f = -2054 - 17306. Is f a multiple of 10?
True
Let m be (-1 + -6)/(-42) - (-70)/12. Suppose 4*x = 4*i + 324, x + m*i = 2*i + 56. Does 29 divide x?
False
Suppose -4*n = 29 - 137. Does 3 divide n?
True
Let d(z) = z**3 + 17*z**2 + 22*z + 25. Is 15 a factor of d(-14)?
False
Suppose v = -3*v - x - 165, -v + 2*x = 30. Let z(p) = p**3 - 6*p**2 + 2*p - 7. Let m be z(6). Let y = m - v. Is y a multiple of 15?
True
Suppose -24*i + 27*i + 1215 = 0. Is 14 a factor of ((-4)/3)/(10/i)?
False
Let c(q) = q**3 - 2*q**2 + q. Let o be 14/18 + 12/54. Let v be c(o). Suppose 5*k - 174 + 74 = v. Is 13 a factor of k?
False
Let y(i) = -i**2 - 46*i - 42. Does 12 divide y(-38)?
False
Let u(w) = w - 6. Let j be u(2). Let g(x) = -6*x - 1. Does 15 divide g(j)?
False
Suppose r = -5*f + 599, -2*f - 3*r - r = -236. Let o = -72 + f. Does 8 divide o?
True
Suppose -2*k - 15 = -7*k. Let g = k - 0. Suppose 5*c = 0, 0 = g*l - 0*c + 2*c - 27. Is 8 a factor of l?
False
Is (2 + -3)/(3/26766*-6) a multiple of 59?
False
Let y(r) = -r**3 - 5*r**2 + 13*r + 44. Let w be y(-7). Let n = 79 - 43. Let h = w - n. Does 15 divide h?
True
Let l = -116 - -285. Is 3 a factor of l?
False
Let o(b) = -2*b**