p = 983 - 782. Does 16 divide p?
False
Suppose -2*f + 2 = 30. Let a be (-21)/f*(-6)/(-3). Suppose i + 3*k - 14 = 19, 3*i = a*k + 87. Is 10 a factor of i?
True
Suppose 16188 = 6*u + 4230. Is 8 a factor of u?
False
Suppose r + 16 - 13 = 0. Does 6 divide r/((-3)/28) + -4 + 6?
True
Let x(l) = 13*l + 116. Is 5 a factor of x(40)?
False
Let d = 24 - 21. Suppose -5 = v, 0*u + 5*u - d*v - 305 = 0. Is u a multiple of 33?
False
Suppose -135 = -5*g + 5*t, 2*g - 4*g + 5*t = -51. Is g a multiple of 14?
True
Let y(f) = -5 + 2*f - 8*f + 3 + 0. Is y(-5) a multiple of 4?
True
Let w(j) = 12*j + 26. Suppose 3*f = -2*f + 30. Is w(f) a multiple of 27?
False
Let z(u) be the second derivative of 0 - 3/2*u**2 + 0*u**3 - 1/20*u**5 + 1/12*u**4 - 2*u. Is z(-3) a multiple of 29?
False
Is 69 a factor of 5704/(-5 - -1)*33/(-22)?
True
Let i = -47 + 47. Suppose -4*x + 13*x - 117 = i. Is x a multiple of 13?
True
Let u = -32 - -52. Let t be (-1)/(((-2)/10)/1). Suppose u = -y + t*y. Is y a multiple of 3?
False
Let m(a) = -a**2 - 20*a - 60. Let d be m(-16). Let c be ((-2)/(-2) - -133) + 1. Suppose d*n - c = 9. Is n a multiple of 14?
False
Let y = -292 + 720. Is 4 a factor of y?
True
Suppose 2*d - 7 = d. Let r(k) = -k**2 - 7 + 0*k + 2 - d*k - 4*k. Is r(-7) a multiple of 20?
False
Suppose 3*g - 16 - 74 = 0. Suppose -g = -z - z. Let y = z + -2. Does 6 divide y?
False
Let a(q) = -4*q + 29. Is 2 a factor of a(3)?
False
Suppose 21896 = -11*d + 28*d. Is 8 a factor of d?
True
Let a = 0 - -142. Does 12 divide a?
False
Let p = 8 + -4. Let h(n) = -n. Let r be h(p). Is 12 a factor of ((-1)/(-2))/(r/(-96))?
True
Suppose s = -5*u - 35, -3*u + 0*s - 33 = 3*s. Is (-2)/(u/(-21))*15/(-5) a multiple of 5?
False
Suppose 5*u - 1 - 14 = 0. Suppose 0 = u*q - 415 + 55. Is 15 a factor of q?
True
Let f be 4/18 - 2050/(-90). Let x = -33 + 53. Let t = f - x. Is 3 a factor of t?
True
Suppose 48*y - 49*y - 11 = 0. Let f = 45 - y. Is f a multiple of 14?
True
Let h(j) be the first derivative of 5*j - 2*j**2 + 1/3*j**3 + 1. Is 4 a factor of h(4)?
False
Let q(r) = 2*r**2 - 5*r. Let l be q(-5). Suppose -l = -3*k - 2*k. Suppose -69 - k = -4*m. Is 10 a factor of m?
False
Suppose -f = 2*f + 33. Let z be 1*f*(-8)/4. Is 11 a factor of (z/(-4))/((-6)/12)?
True
Suppose x + 4*p - 33 = -4, -2*p = x - 31. Suppose -5*o + 90 = -3*z + 444, 464 = 4*z - 4*o. Suppose -2*y - 46 = -3*q + x, 4*q - z = -5*y. Does 10 divide q?
False
Let h = -12 + 23. Suppose 16*t = h*t. Suppose 2*y + 3*y - 315 = t. Does 21 divide y?
True
Let q = 406 - 327. Is 23 a factor of q?
False
Let u be (-2 + (5 - 12))*-27. Suppose -u = -13*f + 10*f. Does 9 divide f?
True
Let l(y) = -221*y - 648. Is l(-8) a multiple of 11?
False
Let q = -17 + 21. Suppose z - q*f = 11, -2*z - 22 = -5*z + f. Suppose -z*v = -v - 288. Is 12 a factor of v?
True
Let v = 267 + -113. Let x = -21 + v. Is 23 a factor of x?
False
Suppose 4*z = -5*l + 1321, -3*z - 53*l = -57*l - 1014. Does 3 divide z?
False
Suppose 159 = 3*b + 5*a - 119, 0 = -5*b + 5*a + 410. Is 10 a factor of b?
False
Let f = 134 + -142. Let v(s) = -32*s - 20. Is 21 a factor of v(f)?
False
Let w = 18 + -11. Let m(g) = 15*g - 10 + 2*g**2 + 16*g - 34*g. Does 14 divide m(w)?
False
Suppose -2*k - 179 - 21 = 0. Let m be 1/3 - k/(-12). Is 4 a factor of (m + 2)/(3/(-4))?
True
Let o = 8 + -5. Suppose -55 = -o*r + 17. Is 26 a factor of 234/r*16/6?
True
Let h be -8*1/(3 - 5). Suppose h*j - 25 = 23. Let w(t) = t**3 - 12*t**2 + 2*t - 16. Does 7 divide w(j)?
False
Suppose -44 + 192 = -4*w. Let r = 95 + w. Is r a multiple of 29?
True
Suppose i = 7*i - 3060. Is 34 a factor of i?
True
Suppose -3*g + 2*f = -7*g + 58, 4*f = -4*g + 60. Suppose g*o = 11*o + 108. Is 9 a factor of o?
True
Let q(a) = -3*a**3 - 32*a**2 - 28*a + 28. Is 10 a factor of q(-12)?
True
Let i be (-3)/60*-4*10. Suppose i*h + 2*v = 272, 5 = -5*v - 0. Does 36 divide h?
False
Does 14 divide ((-9)/(-5))/(-3) + (-33371)/(-85)?
True
Let c(i) = -i**2 - 12. Let x be c(-8). Is 19 a factor of -2 - 3 - -5 - x/2?
True
Let t be (28/(-6))/((-14)/147). Let c be 140/t + (-2)/(-14). Suppose -c*l = -10 - 11. Is 7 a factor of l?
True
Let n(w) = w**2 + 14*w + 26. Let j be n(-12). Suppose 0*i - 330 = j*i - 4*o, -3*i + o = 515. Let p = -104 - i. Does 11 divide p?
False
Suppose -3*x + 8*x - 5*o = 1185, -5*x + 1158 = 4*o. Suppose -4*b - x = n - 6*n, 0 = -5*n - 3*b + 262. Is n a multiple of 5?
True
Suppose 4*k = 5*j + 2754, -8 = -2*j - 2*j. Is 59 a factor of k?
False
Let s(x) be the third derivative of x**5/30 - x**4/8 - 2*x**3 - 12*x**2. Is s(-5) a multiple of 31?
False
Suppose 37*o = 8377 + 9383. Does 12 divide o?
True
Let r(k) = 852*k**2 + 2*k + 1. Is 19 a factor of r(1)?
True
Suppose 5*z + 2575 + 319 = 2*f, 4*f - 5758 = -5*z. Is f a multiple of 4?
False
Let p(j) = 38*j + 2. Let n be p(2). Let r = -18 + n. Is 20 a factor of r?
True
Suppose 356 + 1361 = 17*n. Let u = -83 + 28. Let k = n + u. Does 29 divide k?
False
Suppose 21*u - 3*u = 5994. Is u a multiple of 9?
True
Does 25 divide (20/(-8))/(1 - 22/20)?
True
Let y = 319 - 217. Does 19 divide ((-20)/(-4))/5*y?
False
Suppose -15*a = -1929 - 2781. Does 35 divide a?
False
Suppose s + 6 = 7. Let m be s + -1 + 48/2. Let q = m + 53. Does 11 divide q?
True
Let o be 43/7 + 0 - 6/42. Suppose o*d = 4*v + 3*d - 289, -v = -d - 71. Is 34 a factor of v?
False
Suppose -19*k - 9804 = -38*k. Is k a multiple of 8?
False
Suppose i + u - 121 = 0, -2*i - 12*u = -16*u - 254. Does 14 divide i?
False
Let x be 6/(-16) + (-3522)/(-48). Suppose -3*a + 3*v = a - 59, 5*a - 3*v = x. Is 3 a factor of a?
False
Let y be (336 - (-7 + 2)) + 2. Let f = 539 - y. Is f a multiple of 29?
False
Suppose 0 = v + 5*g + 2, v + v = -2*g - 4. Does 16 divide (1 - (-11 + 5))/(v/(-32))?
True
Is 16 a factor of (92/(-8))/((-36)/(-96))*-36?
True
Let j(b) = 3*b**2 + 1. Let p be j(-5). Does 19 divide p/(-16)*(-13 - -2 - -3)?
True
Let z = -20 + 34. Is 21 a factor of z/(5/(60/8))?
True
Suppose -924 = -5*q + 471. Let f = q + -159. Is f a multiple of 23?
False
Let j = -14 - -16. Let b(d) = d**2 + d + 1. Let y(o) = 3*o**2 + 11*o + 6. Let w(v) = j*b(v) - y(v). Is 4 a factor of w(-8)?
True
Let x = -23 - -41. Suppose -p = p + x. Is ((-3)/(-2))/(p/(-42)) a multiple of 7?
True
Let a(t) = 37*t - 167. Does 4 divide a(15)?
True
Suppose -5*d + 5*b = 20, 2*d - 5*b + 10 + 7 = 0. Let l = 147 - d. Does 14 divide l?
False
Suppose -6*x + 334 = -3*x - 5*v, 0 = 4*v - 16. Is x a multiple of 59?
True
Is 27 a factor of 2/(-8) - 18477/(-36)?
True
Suppose 2*x - 13 + 59 = 0. Let c be (-242)/(-33)*(-3)/2. Let t = c - x. Does 2 divide t?
True
Suppose -3*m + 2*o - 5*o - 27 = 0, 0 = m - 2*o + 24. Let l = m + 25. Is 11 a factor of l?
True
Let r(y) = 6*y**2 - 10*y - 6. Let l(h) = -18*h**2 + 29*h + 17. Let g(j) = -3*l(j) - 8*r(j). Is 19 a factor of g(6)?
True
Suppose -4*c = -y - 1804, c - 392 = 2*y + 66. Is 15 a factor of c?
True
Suppose -4*o + 85 = 4*c - 187, -2*o + 140 = -2*c. Let w = o + -167. Let h = -33 - w. Is 22 a factor of h?
False
Let o(k) = -2*k**3 + 18*k**2 + k - 3. Let x(c) = c**3 - 9*c**2 + 2. Let m(g) = -4*o(g) - 9*x(g). Is 6 a factor of m(8)?
False
Suppose 0 = 4*u + 92 - 100. Suppose 0 = -u*y + 267 + 145. Does 29 divide y?
False
Suppose -241 + 55 = -h. Let a = h + -58. Is 37 a factor of a?
False
Let j(o) = o**2 - 11*o - 12. Let p be j(20). Suppose 5*y + 5*f = 210, -y - 2*f + p = 3*y. Is 17 a factor of (y/(-4) - 1)*-2?
False
Let c(b) = -4*b**3 + b**2 - 4*b - 32. Is c(-4) a multiple of 8?
True
Suppose 0 = 58*h - 53*h - 450. Let p = 103 - h. Does 2 divide p?
False
Let s(o) be the third derivative of -o**6/60 + o**5/20 + o**4/8 + o**3/6 - 18*o**2. Is s(-4) a multiple of 15?
True
Let m = 1130 + -540. Does 10 divide m?
True
Suppose 4*m = 3*d - 548, -3*d + 709 = d - m. Does 29 divide 1*(d + (-3 - 0) - -2)?
False
Let m(t) = t**3 + 7*t**2 + 8*t + 10. Let f be m(-6). Let z be 4 + f/(-5 + 3). Suppose z*p - 84 = 3*p. Does 16 divide p?
False
Let p(d) = -4*d - 8. Suppose -f - 21 = 4*n - 2, -f - 24 = 5*n. Let g be p(n). Suppose -g = -q + 6. Is 6 a factor of q?
True
Suppose 4*c + 16936 = 5*b, -3*c - 6773 = 2*b - 4*b. Does 68 divide b?
False
Suppose 7*r - 506 = 348. Is 3 a factor of r?
False
Suppose -16 = 4*j, -2*l = l - 3*j - 27. Suppose 0 = 4*v - 4, x + l*v - 63 = -0*v. Suppose -y + x + 66 = 0. Is 25 a factor of y?
False
Let c 