 48 + 62 = 5*r + 5*d, 4*d + 8 = x. Does 12 divide r?
True
Suppose -4*n - 35 + 5 = -5*m, -m - 5*n = 23. Suppose -2*j = m*j - 96. Is j a multiple of 12?
True
Suppose 12 = -6*s - 0. Let l(m) = 0*m**2 + 2 + 4*m**2 - m + m**2. Is 11 a factor of l(s)?
False
Suppose -x = -0*u - 2*u - 17, 5*x = 2*u + 45. Does 17 divide 338/x + 10/(-35)?
False
Let u(t) = -2*t**2 + 3 + 3*t - 3*t**2 - 2*t**3 + 3 - 1. Let a be u(-4). Let n = a + -17. Is 12 a factor of n?
True
Suppose 0 = -t + 3 - 1. Suppose -t*n = -2*s - 162 + 54, 228 = 4*n + 2*s. Is 19 a factor of n?
False
Is 17 a factor of (-1)/8 + 1395/24?
False
Let z = 63 + -108. Let h(c) = -25*c. Let g be h(1). Let a = g - z. Is 10 a factor of a?
True
Let r = -648 - -908. Is 26 a factor of r?
True
Let l be (-10)/3*(-9)/6. Let f(p) = p**2 - 4*p + 3. Let w be f(2). Let r = l - w. Is 3 a factor of r?
True
Suppose -136 = -4*s + 4*q, 0 = -s + 4*q - q + 32. Suppose 7*m - s = 2*m. Does 3 divide m?
False
Suppose 0 = j + 5 + 1. Does 19 divide ((-69)/2)/(j/8)?
False
Let h(t) = 67*t - 2. Does 15 divide h(1)?
False
Let a(g) = 2*g**3 - g**2 + g - 1. Let j be 63/14 - (-1)/(-2). Suppose -s + 3*s = j. Does 4 divide a(s)?
False
Is (-3)/(-6)*(4 + 162) - -4 a multiple of 11?
False
Let l(p) = 11*p**3 + p**2 + p - 1. Let q be (12/(-18))/(2/(-3)). Let b be l(q). Suppose -3*v = -2*r - 2, 4*r - 2*v + 0 = b. Is 5 a factor of r?
True
Let t(j) = -3*j**3 + 3*j**2 - 5*j - 3. Is 24 a factor of t(-3)?
True
Let b(l) be the first derivative of l**4/6 + 7*l**3/6 + 5*l**2/2 + l - 1. Let y(p) be the first derivative of b(p). Is 12 a factor of y(-5)?
False
Let p = 74 - 38. Does 20 divide p?
False
Suppose -12*f + 8*f = -208. Is f a multiple of 13?
True
Let c = -144 + 186. Does 7 divide c?
True
Let u(h) = -h**2 - 7*h - 7. Let n be u(-5). Does 14 divide 0 + (-2)/n*-42?
True
Let y(k) = -17*k + 2. Let i be y(2). Let q = -1 - i. Does 20 divide q?
False
Suppose -2*s - 3*n - 53 = -3*s, 0 = 2*s - 5*n - 102. Let a = s + 9. Suppose 4*r + j - 118 = 3*j, -a = -2*r - 2*j. Is r a multiple of 11?
False
Let x(p) = 6 - 5*p**2 + 4*p + 6*p**2 + 0*p**2. Is x(-8) a multiple of 19?
True
Let t(c) = 2*c**3 - c**2 + c. Let d be t(1). Suppose -7*s - 4*m = -d*s, 0 = -5*s + 5*m. Suppose 4*v - 55 - 25 = s. Is 15 a factor of v?
False
Let c be 102/((9/(-2))/3). Let d = c - -114. Suppose 114 + d = 4*w. Does 16 divide w?
False
Let r = -24 - -8. Let k be 0 + 4/2 + r. Is (-4)/(-14) - 528/k a multiple of 14?
False
Suppose 148*v = 144*v + 816. Is 17 a factor of v?
True
Suppose 0 = 3*r - r - 22. Suppose -6*b - 65 = -r*b. Is b a multiple of 13?
True
Suppose 7*l - 12*l = -30. Does 3 divide l?
True
Let k = -1 + 7. Suppose k = c - 2*u - 12, 3*u = 4*c - 57. Let g(i) = -i**3 + 13*i**2 - 9*i + 6. Is g(c) a multiple of 21?
True
Let m = -9 - -12. Suppose f - 40 = -m*f. Does 10 divide f?
True
Let a(j) = j**2 + 11*j. Does 41 divide a(7)?
False
Let v(q) = -q**3 - 8*q**2 - q - 30. Is v(-10) a multiple of 30?
True
Suppose -5*n = 2*t - 86 - 5, 0 = 5*t + 4*n - 202. Is 7 a factor of t?
False
Let x = 4 - 2. Suppose -6*t + x*t = 40. Is 10 a factor of ((-56)/t)/(2/10)?
False
Does 37 divide -4 + 0 - 230/(-2)?
True
Let z(p) = 2 + 10*p - 2 + 3 - 2. Does 15 divide z(6)?
False
Let q = 72 - 66. Is q a multiple of 3?
True
Suppose 447 = 4*u + 91. Suppose 4*k = 5*l + 78, l = -5*k + 3*l + u. Suppose -2*f - 3*q + k = 0, -q = 5*f + 11 - 34. Is 2 a factor of f?
True
Let h(v) = -2*v - 5. Let g be h(-5). Suppose -2*o + 85 = 5*m, -g*m + 16 = -2*o + 91. Is 11 a factor of o?
False
Let i(g) = -6*g**3 - g**2 + 5*g + 3. Let z(a) = -5*a**3 - 2*a**2 + 5*a + 3. Let k(x) = 6*i(x) - 7*z(x). Does 2 divide k(7)?
False
Let l be (-2)/(-2) + 1 + 1. Let f = l - 6. Let s(p) = 5*p**2 + p - 2. Is s(f) a multiple of 17?
False
Let p(g) = 3*g - 10. Suppose 28 = 4*t - 3*t. Suppose -2*n + 6*n - t = 0. Is p(n) a multiple of 7?
False
Let n = -82 + 142. Is n a multiple of 12?
True
Let a = -234 - -432. Is 18 a factor of a?
True
Suppose -3*m - 2*m = -10. Let j(f) = -7*f + 1. Let d(c) = -7*c + 1. Let u(v) = -5*d(v) + 4*j(v). Is u(m) a multiple of 13?
True
Let j = 21 - 28. Let t(h) = -h**3 - 5*h**2 + 7*h + 4. Does 19 divide t(j)?
False
Does 19 divide (-39)/52 + (-895)/(-4)?
False
Suppose 0 = 5*a + 5*f - 5, a = 3*f + f - 4. Suppose -2*p = -6, 6*i - i - p - 27 = a. Suppose -21 = 3*h - i*h. Is h a multiple of 6?
False
Does 6 divide (-30)/4*26/(-13)?
False
Let g be 5*(-3 - -2) - 1. Let v(t) = -2*t**2 - 5*t - 4. Let x be v(-3). Is 6 a factor of 3/(g/2)*x?
False
Let u(c) = -c**3 - 4*c**2 - 5*c - 4. Let s be 1/((5/4)/(-5)). Is u(s) a multiple of 8?
True
Suppose 4*p - 432 = v + 3*v, -3*p + v = -314. Is 27 a factor of p?
False
Suppose 0*j - 4 = -3*j + k, 0 = -2*j + 4*k - 4. Let w be (j + -3)/((-1)/2). Suppose -2*d + 84 = 3*d - w*a, 5*a + 42 = 2*d. Is d a multiple of 16?
True
Let u(y) be the third derivative of 29*y**5/60 - 4*y**2. Let w be u(-1). Let q = w - 20. Does 9 divide q?
True
Let f be (-3)/(-1*(-3)/(-10)). Suppose -7*h = -2*h - f. Suppose 0 = t - h*t, y - t - 23 = 0. Is y a multiple of 8?
False
Suppose q + 3 = 6. Suppose -q*h = -5*g + 3, -h = 3*g - 7 - 6. Suppose -13 = -h*v - x, -5*v + 28 - 2 = -2*x. Is 4 a factor of v?
True
Let m = 55 + -27. Suppose 3*b = 26 + m. Does 9 divide b?
True
Let c(l) be the first derivative of l**3/3 + l**2/2 - 2*l - 2. Let z = -10 + 6. Is c(z) a multiple of 10?
True
Let z(o) = -o**3 - o - 9. Let l be z(0). Let c = l + 18. Is 3 a factor of c?
True
Let n = 2 - 2. Suppose n = -c + 4 - 40. Is ((-1)/(-2))/((-3)/c) a multiple of 4?
False
Let g = -105 - -172. Is 30 a factor of g?
False
Let b(w) = -w**3 - 7*w**2 - 9*w. Let j be b(-6). Suppose -j = -2*l - 4*z, -9*z + 5*z - 58 = -2*l. Does 8 divide l?
False
Suppose -5*l + 2 = 2*c - 5, -5*c = 2*l + 14. Suppose 0 = 2*h - 4, l*b + 4*h - 460 = -b. Suppose -b = -4*v - 17. Does 12 divide v?
True
Is 6 a factor of (-4)/(-10) - (-204)/15?
False
Let o(k) = -k**2 + 5*k. Let g be o(4). Suppose -s + 4*i = -65, g*i + 65 = s + i. Does 30 divide s?
False
Let r = -34 + 66. Is 16 a factor of r?
True
Let t(d) = d - 4. Let l be t(9). Suppose -2*b = l*a - 40, -3*a + 8*a + 5*b = 25. Is a a multiple of 5?
True
Suppose 3*m = 2*m - r + 8, -5*m = r - 20. Suppose m*x = -x + 188. Is 15 a factor of x?
False
Suppose -7*u = -3*u - v - 679, 0 = 3*u - 5*v - 522. Is u a multiple of 13?
True
Suppose -140 = 7*i - 9*i. Is 10 a factor of i?
True
Suppose -390 = -16*l + 378. Is 6 a factor of l?
True
Let z(b) = -b**2 + 8*b - 1. Let r be z(7). Let o(h) = h**2 - 4*h + 5. Let y be o(r). Is 19 a factor of 2 - (-2*y + -2)?
True
Suppose 0 = o + 2*o + 1416. Let k be o/(-14) + 2/7. Suppose -4*b + k = 4*t - 74, 5*t = 5*b - 135. Is b a multiple of 12?
False
Let m = 24 + 41. Is 32 a factor of m?
False
Let d = -4 + 8. Suppose 0*k = d*k - 64. Does 8 divide k?
True
Let x(i) = 2*i - 3. Let v(s) = -2*s - 12. Let b be v(-8). Let q be x(b). Suppose -82 - 23 = -q*p. Does 17 divide p?
False
Let l = 2 + -14. Let b = 51 + l. Is 13 a factor of b?
True
Let v(s) = -8*s**3 - 2*s**2 + 3*s + 2. Is v(-2) a multiple of 4?
True
Suppose -2*t = -0 - 2. Let i(f) = f**3 + f - 2*f**3 + 3*f**2 - t + 2*f. Does 5 divide i(2)?
False
Suppose -3*n + 198 = 42. Does 26 divide n?
True
Let l = -26 - -24. Let q = 3 - l. Is 2 a factor of q?
False
Suppose 7*c = -3*y + 3*c + 12, -2*y + 8 = -3*c. Suppose 2*r - 2*n + 3 = 15, 44 = y*r + n. Is r a multiple of 5?
True
Let y be -1 + 1 - (4 - 39). Suppose -2*f = -7*f + y. Is 2 a factor of f?
False
Suppose 2*r = -5*i + 125, -3*i + 4*r = 2*r - 59. Suppose -3*s - 29 = -2*y - 3*y, -y - i = s. Does 9 divide (0 - -2)/((-2)/s)?
True
Let u(s) = -s**2 - 35*s + 64. Is u(-16) a multiple of 40?
False
Is -1*4 - 16/(-24)*138 a multiple of 22?
True
Let k = -4 + 6. Suppose -h - 20 = -k*h. Is h a multiple of 11?
False
Suppose -3*p + 11 = 5*z, z - 19 = -0*z + 5*p. Suppose 0 = -5*c, -z*o + 4*c + 71 = 19. Is o a multiple of 6?
False
Let a = 54 + -27. Is a a multiple of 4?
False
Let v(y) = -y**3 + 10*y**2 - 7*y - 3. Is 3 a factor of v(9)?
True
Let w = 43 + -41. Does 2 divide w?
True
Suppose -3*p + 1546 - 64 = 0. Is p a multiple of 19?
True
Suppose -11 = -6*q + 649. Does 17 divide q?
False
Let x(f) = 10*f**2 + 0*f - f**3 - 9*f + 2*f - 12. Let a be x(9). Is 3 a factor of (45/10)/(a/8)?
True
Let r = 26 + -47. Is ((-14)/r)/((-2)/(-39)) a multiple of 11?
F