 x(c) = -c - 3. Let r be x(-7). Suppose -4*w + 4*j = -212, -r*w + 181 + 27 = -2*j. Does 17 divide w?
True
Let i = -25 - -65. Does 20 divide i?
True
Let c = -3 + 9. Let d be (-1)/((-3)/c) + -2. Suppose -j - 2*k + 20 = d, 3*j - 5*k - 100 = -2*j. Does 10 divide j?
True
Let t = 22 + -19. Is t a multiple of 3?
True
Suppose -z + 7 = -35. Is 6 a factor of z?
True
Does 31 divide ((-14)/(-35))/(1/95)?
False
Does 12 divide (36/(-42))/((-2)/84)?
True
Let i = 7 - 5. Suppose i*m = -4*z + 106, -77 - 63 = -5*z - 4*m. Does 4 divide 4/(-3)*z/(-4)?
True
Let o = 28 - -17. Let m = o - 24. Is m a multiple of 7?
True
Let n = 132 + -92. Suppose p + 2*p = -2*f + 11, -5*f + n = -5*p. Is f even?
False
Let n(u) be the third derivative of u**4/4 + 7*u**3/6 + u**2. Let t be n(-6). Let s = 44 + t. Is s a multiple of 15?
True
Suppose -53 - 37 = 3*f. Let c(o) = 3*o + 1. Let x be c(-4). Let m = x - f. Is 17 a factor of m?
False
Suppose 0 = m - 2 + 3. Let o be 3*((-58)/(-6))/m. Is 16 a factor of -4*(o/4)/1?
False
Let k = -2 + -1. Let a be k/((-9)/3) - -4. Suppose -4*o + a*v - 10 = -7*o, -2*o + 3*v = -32. Is 10 a factor of o?
True
Let p(r) = 54*r**2 + 3*r + 5. Is p(-2) a multiple of 29?
False
Let g(h) = -2*h. Let m(j) = 3*j**2 - j. Let b be m(1). Suppose 4*t + 3 - 25 = 2*d, 4 = -b*d - 2*t. Is g(d) a multiple of 5?
True
Let n be (-7)/2 - 2/4. Does 9 divide (1 - 1) + n + 14?
False
Suppose 23 = -w - 2*p, -3*p = 3*w - 8*w - 115. Let g = -9 - w. Is 14 a factor of g?
True
Let b(q) = 58*q - 96. Is b(6) a multiple of 53?
False
Let f(p) = p**3 - 4*p**2 + 3*p - 1. Let k be f(4). Let w = k + 2. Is w a multiple of 13?
True
Suppose -3*k = -k + 28. Let u = 35 + k. Does 7 divide u?
True
Let y = 54 - -16. Is y a multiple of 10?
True
Suppose s = -3*l + 36, -4*l - 80 = -5*s + 24. Does 4 divide s?
True
Let a be 2/(-6)*-3*2. Is (2/(-4))/(a/(-44)) a multiple of 11?
True
Suppose -3*f = -7*f + 476. Is f a multiple of 20?
False
Let h(n) = 8*n**2 - 2*n - 3. Does 40 divide h(3)?
False
Suppose 10*v = 811 - 171. Is 4 a factor of v?
True
Let z be 0/(2 - 9/3). Suppose z = 4*y - 2*y - 76. Is 19 a factor of y?
True
Suppose p - 13 = 3*r, p = 5*r + 6 + 1. Suppose 0 = t, 2*d + 0*t - p = 2*t. Is 11 a factor of d?
True
Let w = 65 - 39. Does 13 divide w?
True
Let u = -54 - 22. Let j = -52 - u. Is 12 a factor of j?
True
Let y = 16 - 28. Is (y/8)/(3/(-38)) a multiple of 16?
False
Let x(k) = 7*k + 39. Does 18 divide x(9)?
False
Suppose 4*h + 3*t = 0, 3 = 4*h + 5*t + 11. Suppose h*j + 22 + 14 = 0. Let l = j + 22. Is 10 a factor of l?
True
Suppose -2*h - 3*c - 5 = 0, 5*h - 14 - 5 = 3*c. Let i = 20 + -11. Let q = i + h. Is 11 a factor of q?
True
Let s(m) = -2*m**3 - 14*m**2 + 6*m + 10. Does 18 divide s(-8)?
True
Let n = 439 + -251. Is 23 a factor of n?
False
Let z(o) be the first derivative of -o**3/3 + 7*o**2/2 - o - 1. Suppose -20 = 5*j - 50. Does 2 divide z(j)?
False
Let h be (-5)/2*(-8)/5. Suppose h*o - 9 = q, -o + 8*q - 3*q + 7 = 0. Suppose 5*s - o*s - 4*r = 40, 2*s - 40 = -4*r. Is s a multiple of 7?
False
Suppose w = 61 + 3. Is 8 a factor of w?
True
Let i(l) = -l**3 - 7*l**2 + 8*l + 1. Let t be i(-8). Let x be (-2)/(-3)*(-12)/(-2). Let r = t + x. Is r a multiple of 5?
True
Let c = 36 + -18. Is 2 a factor of c?
True
Let g(c) = -4 + 6 + 1 + 1 - 6*c. Let n = 2 + -5. Does 11 divide g(n)?
True
Suppose 0 = -a + 14 + 25. Does 16 divide a?
False
Suppose -5*k - 68 = -3*q - 28, 0 = 5*q - 5*k - 70. Is q a multiple of 15?
True
Let a be (-1 + 2)/(-1) - -1. Suppose a = b + 3*c - 9, -3*b + 3*c = 2*b - 135. Is b a multiple of 24?
True
Suppose 4*k + 17 = 2*a + 3*a, -5*k = 3*a + 12. Let y(f) = f**3 + 3*f**2 - 2*f - 2. Is y(k) a multiple of 4?
True
Suppose 0*s = -3*s + 12. Suppose -294 = -s*p + 10. Does 11 divide p?
False
Let p = 9 - 9. Let b(z) = z + 3. Is b(p) a multiple of 3?
True
Let s = -8 + 10. Is 3/s*(-112)/(-12) a multiple of 7?
True
Suppose 0 = 2*p + 5*b - 82, -b = 1 + 3. Is p a multiple of 8?
False
Suppose 4*g - 209 = 191. Suppose -g + 40 = -5*x. Suppose 2*u - 50 = -x. Is u a multiple of 19?
True
Let g(f) = 7*f + 1 - 12*f + 23*f**2 + 6*f. Does 18 divide g(1)?
False
Let l(s) = -15*s**2 - 3*s + 9. Let h(r) = -8*r**2 - 2*r + 5. Let k(w) = 5*h(w) - 3*l(w). Is 13 a factor of k(-2)?
False
Let w(k) = -k**2 - 11*k - 7. Does 5 divide w(-9)?
False
Suppose -4*u - 10 = u. Let s(r) = 4 + 3*r + 6*r**2 + 4 - 6. Does 10 divide s(u)?
True
Let v = -582 - -1047. Suppose 0 = -u - 4*u + v. Does 23 divide u?
False
Suppose -5*d = -15, d = -2*f + 5*d - 36. Let x = f - -27. Is 8 a factor of x?
False
Is (54/(-10))/(2/(-30)) a multiple of 27?
True
Let p = 7 - 4. Suppose -2*o + 30 = 5*l, -4*o + 5*l - p*l + 108 = 0. Does 17 divide o?
False
Let f = 0 - -5. Suppose -s - f + 25 = 0. Does 11 divide s?
False
Let u(f) = 2*f - 7. Let v be 6/3*(2 + -1). Suppose 45 = y + 4*y - 5*z, -4*z - 26 = -v*y. Is 3 a factor of u(y)?
True
Let h = 11 + -7. Let b(o) = 6*o - 3. Is 8 a factor of b(h)?
False
Let t = -3 - -5. Let p be (1/t)/(1/(-2)). Is (-66)/(-2) + -1 + p a multiple of 13?
False
Let k(m) = 4 - m**2 + 5*m + 5*m - 8. Does 10 divide k(7)?
False
Suppose 4*n + 107 = 307. Is n a multiple of 17?
False
Let i(q) = -3*q. Let f be i(-1). Suppose 2*o + 5 = 4*y + 19, f*y = -o - 3. Suppose -n + 0*k = -k - 6, -4*k - 14 = -o*n. Does 5 divide n?
True
Suppose 4*k = -0*k + 220. Is 11 a factor of k?
True
Suppose 5*h = 5*c - 30, 5*c - 2*h - 22 = -h. Is c/4 - 2 - -19 a multiple of 9?
True
Suppose 2*i + 10 = 0, -8*b + 3*b - 3*i - 5 = 0. Let z = 7 - b. Is 2 a factor of z?
False
Suppose -2*r + 7*r - 34 = -3*g, 2*g - 3*r + 9 = 0. Suppose -q + g*z = -8 + 2, -z = 2*q - 40. Is 10 a factor of q?
False
Let d = -131 - -249. Does 10 divide d?
False
Let b(n) = 5*n. Let o be b(6). Let m be 6/12 - (-75)/(-6). Is 2 a factor of o/8 + (-3)/m?
True
Suppose 2*m = 3*a + 7*m - 126, 0 = -m - 3. Is 19 a factor of a?
False
Suppose -f + 25 = 2*n - 5, -10 = -n - 3*f. Is 16 a factor of n?
True
Let r(s) = -s**3 - 7*s**2 + 8*s + 5. Let z be r(-8). Suppose 0 = -z*c + 3*c + 48. Is 12 a factor of c?
True
Suppose y + 2 = -5*r + 47, -3*r + y + 19 = 0. Suppose -7*w = -6*w - r. Is w a multiple of 6?
False
Let r = 155 + -115. Is r a multiple of 10?
True
Does 15 divide -1 + -2 - 99/(-3)?
True
Let m = 11 + 1. Does 12 divide m?
True
Let d(h) = 2*h - 12. Let c be d(9). Let m be (-2)/4 - c/(-4). Is 7*6/7*m a multiple of 3?
True
Let c(u) = u**2 - 8*u + 7. Let b be c(7). Suppose 2*g + b*w - 76 = w, 4*w = g - 52. Is 12 a factor of g?
True
Let h(g) = g**3 + 7*g**2 + 7*g + 9. Let b be h(-6). Suppose 7*i + 120 = 2*i. Does 6 divide (i/(-2))/(b/3)?
True
Suppose -3*v + 3*n + 312 = 0, -5*v + 2*n + 524 = n. Suppose 5*a - v = 80. Does 23 divide a?
False
Let f(l) = -9 + 2*l + 0 - 4*l. Is f(-6) even?
False
Let v = 238 + -180. Is v a multiple of 4?
False
Let y = 60 - 28. Is y a multiple of 6?
False
Let f = -86 - -142. Is f a multiple of 10?
False
Suppose 4*t - 5*w - 26 = 0, 3*w + 22 + 0 = 4*t. Suppose -t*x = 5*i - 118, -x + 6*x - 89 = -4*i. Is i a multiple of 26?
True
Let a(h) = h**3 - 9*h**2 + 10*h. Suppose 0 = -4*v - 4 + 36. Is 4 a factor of a(v)?
True
Does 50 divide 5/(-40)*4*-346?
False
Let q = 11 - 4. Let c = 241 + -161. Suppose 2*f = q*f - c. Is f a multiple of 6?
False
Let a(y) be the second derivative of -y**5/20 + y**4/6 + 2*y**3/3 - 3*y**2/2 + 4*y. Let d be a(3). Suppose 5*m + w - 24 = 26, d = -2*w. Does 5 divide m?
True
Suppose 4*a = 6*i - 10*i + 1640, 3*a = 4*i - 1605. Is i a multiple of 34?
False
Let q(r) = r - 1. Let w be q(-3). Let p(z) = -z**3 - z**2 - z - 4. Let b(t) = -t**3 - t**2 - t - 5. Let k(d) = w*b(d) + 5*p(d). Does 4 divide k(-2)?
False
Let w(l) = -l**2 + 15*l - 4. Is 8 a factor of w(11)?
True
Suppose -3*u + w + 2*w = -369, 3*u - 345 = -5*w. Is 20 a factor of u?
True
Let y be 848/4*(-1)/2. Let s = -38 - y. Is 34 a factor of s?
True
Let z = -16 + 47. Is 8 a factor of z?
False
Suppose 5*r - 4*x = 367, 4*x - 1 = -r + 58. Suppose -37 = -3*j + r. Is j a multiple of 9?
True
Let g(u) = u**2 + 1. Let l be g(0). Let f be (45/(-12))/(l/(-8)). Suppose 0 = -0*j + 2*j + 3*t - f, -t - 10 = -j. Does 12 divide j?
True
Suppose 3*s + 16 + 41 = 0. Let r = s - -52. Is r a multiple of 19?
False
Let k = -7 - -12. Suppose -223 = -t + k*p, -3*p + 915 = t + 3*t. Suppose 194 + 46 = 5*s + 5*c, 5*s - t = c. Is 18 a factor of s?
False
Su