 -2 + 3 - p - 1. Suppose i*j + j - 12 = 0. Is 2 a factor of j?
False
Suppose 2*q = -2*q + 48. Suppose -3*y - 39 + q = 0. Let f(d) = -d**3 - 8*d**2 + 8*d + 2. Is 6 a factor of f(y)?
False
Let a(g) = -g**2 - 2*g + 6. Let z be a(-4). Does 6 divide 3*(z - (-34)/3)?
False
Let y = -887 + 1711. Does 25 divide y?
False
Let t(q) = -q. Let z be t(0). Suppose 3*r - 52 = -2*h + 14, -4*h + 2*r + 164 = z. Is h a multiple of 13?
True
Let x = -31 - -43. Suppose -9*u - 111 = -x*u. Is 13 a factor of u?
False
Suppose -3*v = -s + 274, 4*s - 714 - 327 = v. Is 7 a factor of s?
True
Suppose -4 = -2*z - 0. Let s be (z*3)/(4/36). Let q = -19 + s. Is 20 a factor of q?
False
Suppose 5*k - 8 + 28 = 0, 0 = -2*i + 4*k + 708. Is 7 a factor of i?
False
Let q = 51 + -77. Let u = -24 - q. Suppose 0*k - u*c = -3*k + 146, -4*k - 2*c + 190 = 0. Is k a multiple of 10?
False
Let t = -204 + 220. Does 2 divide t?
True
Let c(j) = -j**3 - 7*j**2 + 3*j + 4. Is c(-8) a multiple of 10?
False
Suppose 2*n = -2*r + n + 14, -5*n = -2*r + 2. Let b(o) = -2*o**3 + 12*o**2 + 2*o + 1. Does 13 divide b(r)?
True
Suppose 5*m - 163 = -2*n + 203, 4*n - 756 = -4*m. Does 4 divide n?
False
Does 4 divide 4 + -1 - (-2)/(-3 - -5)?
True
Let l = 53 + -32. Suppose u + l + 3 = -3*f, u = f + 4. Is 10 a factor of (-272)/f + 1/7?
False
Suppose -3*u - h + 3 = 0, -u = 3*h + 4 - 13. Suppose 5*l - 965 - 485 = u. Is l a multiple of 27?
False
Let k(t) be the second derivative of -3/2*t**2 + 1/4*t**4 - 5*t - 1/6*t**3 + 0. Is k(3) a multiple of 7?
True
Let z(v) be the second derivative of v**3/6 - 5*v**2/2 - 3*v. Let r be z(8). Is r + 5/(10/66) a multiple of 12?
True
Let g(q) = -q**3 - 4*q**2 + 3*q + 4. Let r be g(-4). Let s = r - -8. Suppose 3*o = 2*y + 31, -4*o - 2*y + 32 = -s*y. Does 2 divide o?
False
Suppose -4*w - 4*b - 35 = -9*w, -5*b = 4*w + 13. Suppose -w*z = -0 + 6. Is 10 a factor of 10*z*(-4)/4?
True
Suppose -4*y - 20 = 0, -529 = -3*m - 2*y - 2*y. Suppose 5*r = 147 + m. Suppose -2*a + 108 = 2*z, 4*z - r - 118 = 4*a. Does 25 divide z?
True
Let h(u) = -u**2 + 100*u + 452. Is h(54) a multiple of 21?
False
Suppose -2*x - b + 3257 = 0, 5*x + 3*b - 9390 + 1248 = 0. Is 36 a factor of x?
False
Let b be 2/(-5*6/(-45)). Suppose 2*w = s + s + 2, 1 = b*s - 2*w. Suppose -s = 4*c - 19. Is c a multiple of 3?
False
Let i = -28 - -19. Let x be i*((-6)/9)/2. Suppose n + 57 = 4*n - x*m, -n + 39 = -5*m. Is 2 a factor of n?
True
Suppose -3*f + 3*q + 330 = 0, -5*f - q - 554 = -10*f. Is 6 a factor of f?
False
Suppose -4*x - 10609 + 1033 = -5*c, -x - 1916 = -c. Does 8 divide c?
True
Let i(a) = a**2 + a + 1. Let k(z) = -115*z**2 + z + 3. Let v(n) = 2*i(n) - k(n). Let t be v(1). Suppose 0 = 2*g + g - t. Is 17 a factor of g?
False
Suppose 32*r - 28*r - 2600 = 0. Is r a multiple of 50?
True
Let z = 530 - 236. Is z a multiple of 49?
True
Suppose 0 = -2*j - 3*b + 273, 7*b = 2*j + 3*b - 280. Does 23 divide j?
True
Let a = -105 + 157. Suppose 5*b + 5*m = 135, b - 4*m = -0*m + a. Does 32 divide b?
True
Suppose -252 = -0*j - 3*j. Suppose s - 4*s = -3*q - 84, -3*s + 2*q + j = 0. Let x = s - 2. Does 14 divide x?
False
Suppose 2*l - 6*w = -w + 1399, -w = -5*l + 3555. Is l a multiple of 8?
True
Let x(d) = 9*d - 6. Let v be (99/45)/((4/5)/4). Is 15 a factor of x(v)?
False
Does 27 divide (216/(-14))/((-184)/8372)?
True
Suppose 3*i = -f - 25 + 8, 1 = 2*f - i. Let s be -423*((-15)/(-9) + f). Suppose -h = -3*r - r + 111, -5*r = h - s. Does 14 divide r?
True
Suppose -2*r + 272 = 5*k - 3*k, -5*r = -3*k + 392. Suppose 0 = 5*f - 216 - k. Does 10 divide f?
True
Is ((-405)/108)/(3/(-112)) a multiple of 14?
True
Suppose -5*s + 2*s + 12 = 0. Suppose f + 2*f - 5*g - 42 = 0, s*g = 12. Does 19 divide f?
True
Let p = 227 - 147. Is 2 a factor of p?
True
Suppose -6 = m - 4*g - g, 5*g + 6 = 4*m. Suppose -5*k - 3 = -m*k. Does 4 divide 272/51 + 1/k?
False
Suppose -19*q = -18*q + 1. Does 12 divide q*12*-2*(-3)/(-1)?
True
Suppose 137*l = 138*l + 2*c - 578, 5*c + 25 = 0. Is l a multiple of 103?
False
Let l(b) = -b**3 + 4*b**2 + 3*b + 12. Suppose 3*z - 11 = 4. Let n be l(z). Is 4 a factor of n/(-1) + 10/1?
True
Suppose -2*o + 3*o = 4. Suppose -o*v = 5*g - 37, 2*g - 23 = 2*v - 1. Does 7 divide g?
False
Let o = 2 + -2. Suppose o = 2*r + 2*p - 146, 5*r - 3*p - 61 = 320. Does 25 divide r?
True
Let j = -50 - -68. Suppose 19*r - 77 = j*r. Is r a multiple of 11?
True
Suppose -4*t + 0*v - 2*v = -4, 4*v - 16 = 0. Let o = -1 + t. Let d(j) = -3*j + 1. Does 2 divide d(o)?
False
Suppose -6*o - 4*l = -o + 878, 866 = -5*o + 2*l. Does 10 divide (o/(-8))/((-6)/(-16))?
False
Let i = -1809 - -3516. Is i a multiple of 13?
False
Suppose 612 = -9*o + 12*o. Does 17 divide o?
True
Let x(p) be the first derivative of -p**3/3 + 5*p**2/2 + 7*p - 3. Let i be x(9). Let d = 6 - i. Does 11 divide d?
False
Let n = 847 - 441. Is n a multiple of 8?
False
Let v = -221 + 986. Is v a multiple of 51?
True
Let n be 1*10 - (-5 - -3). Let o = 18 + n. Does 30 divide o?
True
Suppose 0 = -3*n - 3*n + 18. Let d = n + -31. Is (18/(-2))/(4/d) a multiple of 7?
True
Let z = 2042 - 326. Is z a multiple of 39?
True
Suppose -19080 = 24*y - 44*y. Is y a multiple of 24?
False
Suppose 0 = 5*n - n - 8. Suppose -5*v = -4*p + 17, n*v - 10 = -p - 3*p. Suppose 23 = p*a - w, -w + 4 + 0 = 0. Does 9 divide a?
True
Suppose -1198 = -6*u + 2000. Does 13 divide u?
True
Suppose 0 = 6*l - 0 - 24. Let w(r) = 32*r + 12. Does 20 divide w(l)?
True
Suppose -56*y + 17223 + 37265 = 0. Is 26 a factor of y?
False
Let z = -38 - -41. Let k(d) = 3*d**2 - 6*d + 3. Let w(q) = 3*q**2 - 6*q + 4. Let n(s) = -2*k(s) + 3*w(s). Is n(z) a multiple of 3?
True
Let y(d) = 6 - d**3 - 19 + 5*d + 3 - 4*d**2 + 5. Is y(-6) a multiple of 13?
False
Let k(n) = -n**3 - 6. Let c be k(0). Is 41 a factor of (-3198)/(-13)*(-2)/c?
True
Let u be -1*(-13 - (-1 - -3)). Suppose -4*j = j + u. Is j/(-3)*(12 + 0) a multiple of 3?
True
Suppose 10*q - 4341 = 6139. Is q a multiple of 14?
False
Let l(o) = 2*o + 3. Let u be l(1). Suppose 3*r - 102 + 13 = -2*c, -u*c + 206 = 2*r. Is c even?
True
Suppose 6*g - 138 = 588. Is 11 a factor of g?
True
Let g = 45 - 43. Does 12 divide 80 - 4*(g + -3)?
True
Suppose -6*m - 4*x + 842 = -4*m, -4*x = -5*m + 2049. Is 7 a factor of m?
True
Let k = -4294 + 6310. Is k a multiple of 126?
True
Let b(d) = 13*d - 10 - 21*d + 7*d. Let j be b(0). Let y(c) = -c**3 - 8*c**2 + 12*c - 14. Is 19 a factor of y(j)?
False
Suppose -4*m = 4*u - 20, 4*m = -0*u - u + 5. Suppose -u*c - 36 = -16. Is c/(-20) + (-188)/(-10) a multiple of 6?
False
Suppose -3*u = -2*t - 53, 4*t - 104 = -3*u - u. Suppose -3*r = n - 4 - u, 0 = n - 2*r. Suppose 5*j = 75 - n. Is 13 a factor of j?
True
Let n = -2 - -8. Let z be (-1 + 35/28)*16. Let x = z + n. Is 6 a factor of x?
False
Is -10*((-28)/(-8) - 4) even?
False
Let c be (1 - 5)*(-4)/8. Suppose 2*j - 7*j = -c*y - 104, -86 = -4*j + 3*y. Suppose -19 = -4*n - m, 5*n + 7*m - j = 2*m. Does 5 divide n?
True
Suppose 3*h = 4*f + 9, 0 = 2*f - 4*h + 16 - 4. Is -2 + 0 + (48 - f) a multiple of 10?
False
Suppose 32*v + 6 = 29*v. Let g be (0 - v/8)*44. Is g/(-55) + (-281)/(-5) a multiple of 7?
True
Let q be (-5 - 9)/(-3 + 1). Is 2/q + 435/21 a multiple of 13?
False
Suppose 2*s = -3*u + 1029, -s = -3*u - 2*s + 1029. Does 72 divide u?
False
Let o = -158 - -190. Is o a multiple of 4?
True
Suppose 14*n - n = 48906. Is 11 a factor of n?
True
Let a = 101 + 2. Is 8 a factor of a?
False
Suppose -3*b - 2*x + 16 = 0, -5*x + 2*x - 10 = -4*b. Suppose 0 = s - 4*h - 348, -839 = -2*s - b*h - 107. Suppose -4*w - w = -s. Does 24 divide w?
True
Suppose 3*y + 8 = 4*y - 3*g, -20 = 4*g. Let u(v) = v**3 + 8*v**2 - 2*v - 13. Is u(y) a multiple of 25?
True
Let u = -21 + 24. Suppose -5*i = -u - 7. Suppose -3*s + 41 = 2*p, -3*s = -2*p - i*s + 53. Is p a multiple of 25?
True
Suppose -3*t + 18 = 3*d, -9 = 4*t - t. Let j(l) = 38*l + 8. Let q(n) = 15*n - 1. Let y(x) = -j(x) + 3*q(x). Is 7 a factor of y(d)?
False
Let d(x) = 2*x**3 + 40*x**2 + 16*x + 14. Is d(-19) a multiple of 8?
True
Let j(y) = -145*y + 1. Let s be j(1). Let q = -69 - s. Does 17 divide q?
False
Suppose 4*n = -2*x - 0*x - 118, -3*n - 316 = 5*x. Suppose 9*h - 5*h = -3*y + 476, -3*y = 3*h - 471. Let k = y + x. Does 23 divide k?
False
Let n = -10 + 18. Let y = -3 + n. Suppose y*x - 82 = 28. Is 11 a factor of x?
True
Let g b