u = v - -25. Let k = u + 40. Is k a multiple of 7?
False
Suppose b - 4*z + 425 = 0, 2603 = -5*b + 5*z + 433. Let x = b + 811. Suppose x - 142 = 5*w + 3*u, 3*w + 4*u = 148. Is w a multiple of 22?
True
Let u = -2 - 0. Is (-12*u/4)/1 even?
True
Suppose -2*u = -5*c - 16, 2*u + 4 = -5*c - 0. Let y be (-140)/77 - c/(-11). Is 10 a factor of 38 - (-3 + (y - -3))?
True
Let b(x) = -x**3 - 2*x + 3. Let d be b(6). Is 25 a factor of d*((-16)/(-12))/(-4)?
True
Suppose -6*u + 1761 = -915. Is u a multiple of 29?
False
Suppose 10 + 1 = -y. Let x(s) = -28*s - 6. Let o(d) = -9*d - 2. Let v(h) = y*o(h) + 4*x(h). Does 20 divide v(-7)?
False
Suppose r = 3*r + 18. Let t be r*1*(-2)/(-2). Let m(n) = n**2 + 7*n - 1. Is 15 a factor of m(t)?
False
Suppose 0 = 4*l - 6*l - 4. Let o be (-27)/6 + 1/l. Is (-12)/o*(-15)/(-2) a multiple of 9?
True
Let r(u) = -2*u + 4. Let c be (-7 + 6)*(1 - 7). Let k be r(c). Let z = -1 - k. Is z a multiple of 3?
False
Suppose 2*m = 5*m - j - 221, 299 = 4*m + 3*j. Suppose -3*k + y + 297 - m = 0, 5*y = -2*k + 160. Is k a multiple of 5?
True
Let q(n) = -n**2 + 13*n - 7. Let x be q(12). Suppose 3*d = -4*a + 61, -x*d + 7 + 6 = 2*a. Does 4 divide a?
False
Suppose 7*l = -0*l + 623. Let z = -77 + l. Does 11 divide z?
False
Let u(p) be the first derivative of p**4/12 - p**3 + 5*p**2 + 6*p + 3. Let o(f) be the first derivative of u(f). Is o(8) a multiple of 13?
True
Let v(q) = 5*q**2 + 15*q + 75. Does 5 divide v(-8)?
True
Let n = 62 - 59. Suppose 3*r = -p + 42, 3*p - 102 = n*r - 0*r. Is p a multiple of 18?
True
Suppose 15*u - 61 = 14*u - 3*s, -u + 76 = -2*s. Is 35 a factor of u?
True
Suppose z = -z + 8. Suppose -5*y + 46 + 54 = 0. Suppose z*d = 2*d + y. Does 4 divide d?
False
Let f = 586 - 560. Is f a multiple of 26?
True
Suppose -5*i - 15 = 0, -3*d - 2*i = 3*i + 39. Let m be (144/7)/(d/(-56)). Suppose l = 3*l - m. Is 23 a factor of l?
False
Let u = 1484 - 1361. Is u a multiple of 10?
False
Let r(u) = -105*u - 190. Is 16 a factor of r(-6)?
False
Suppose 2*w + 3*n - 5*n = -8, 0 = 4*n + 16. Does 7 divide w/(-32) + (-286)/(-8) + -2?
False
Suppose 124824 = 57*r - 42813. Does 9 divide r?
False
Let h be (-1 - -4) + -7 - -15. Let u(v) = -2*v**2 + 11*v + 4. Let b(m) = m**2 - 6*m - 2. Let w(k) = -13*b(k) - 6*u(k). Is w(h) a multiple of 13?
True
Suppose 25*b = 23*b + 240. Does 32 divide b?
False
Suppose 4151 + 7261 = 12*z. Does 49 divide z?
False
Suppose 0 = 2*k - 4*k - 3*z + 103, 199 = 4*k - z. Suppose -n + 2*c = -k, 5*c + 19 = -1. Is 14 a factor of n?
True
Let s be -2*((-30)/16)/(3/4). Suppose -50 = -s*n - 5*j + 25, j + 21 = 2*n. Is 12 a factor of n?
True
Let t be (-2)/(-14) + (-2)/14. Is 87*(2 - t)/6 a multiple of 29?
True
Suppose 2*y + 10*s = 15*s + 295, 5*s = -5*y + 755. Is 30 a factor of y?
True
Suppose 2*a = 5*a - 144. Let w be 7/21 + 2/(-6). Let o = w + a. Is 16 a factor of o?
True
Let q(n) = 2*n + 5. Let r be q(-4). Let m be ((-6)/8)/((-6)/(-16)). Is 14 a factor of 88 + (-6)/r*m?
True
Let n = 241 + -149. Suppose q = -q + n. Is q a multiple of 17?
False
Let u be ((-2)/6)/(1/(-303)). Suppose 2*i - 4*d + 2*d = 126, -333 = -5*i - d. Let x = u - i. Is 11 a factor of x?
False
Suppose 4*f + 3224 = 4*j + 96, -j = -3*f - 778. Does 49 divide j?
True
Suppose v + 2 - 5 = 0, 52 = z + 4*v. Let j(n) = -n**3 + 30*n**2 - 142*n - 38. Let y be j(24). Let o = z - y. Is o a multiple of 8?
False
Let f(z) = 5*z**2 - 7*z + 11. Let c be 7 - -2*3/6. Let i be f(c). Does 2 divide ((-1)/5)/((-11)/i)?
False
Let h(i) be the third derivative of -i**6/120 + 11*i**5/60 + i**3 - 11*i**2. Let l be h(11). Suppose -57 = -l*d + 447. Does 21 divide d?
True
Let w(k) = -k**3 + k**2 + 3*k - 2. Let a be w(2). Suppose 48 = 2*u - 4*f, f = -2*u - a*f + 28. Is 14 a factor of u?
False
Suppose -201 = 3*v + 1446. Let d = 796 + v. Is d a multiple of 19?
True
Let s = 495 + -433. Is s a multiple of 62?
True
Let q be -6*8/12 - -9. Let k be (3 - q) + (68 - -2). Let j = k - 23. Is j a multiple of 10?
False
Let c = -26 - -51. Suppose 26*s - 205 = c*s. Is s a multiple of 41?
True
Suppose 231 = 4*o - 521. Is o a multiple of 6?
False
Let h = 29 - 20. Let i(d) = d**2 - 10*d - 6. Let b be i(10). Let c = b + h. Is 3 a factor of c?
True
Let m(r) = r**3 + 8*r**2 - 2*r - 10. Let s be m(-7). Suppose -81 - s = -2*t. Is 21 a factor of t?
False
Suppose 0 = -h - h. Suppose h*y - 150 = -5*y. Suppose m = -m + y. Does 10 divide m?
False
Suppose 12*z = 5*z. Suppose z = -u + 43 - 11. Suppose -4*a + u = -12. Is 9 a factor of a?
False
Let t(j) = 19*j**3 + 2*j**2 - 4*j + 4. Let h be t(2). Let m = -113 + h. Is 4 a factor of m?
False
Let g = -24 + 43. Is g/3*(-2 - -8) a multiple of 14?
False
Suppose -23*k + 1495 = -10*k. Is 23 a factor of k?
True
Suppose 4*g - 4 = 16. Let m(n) = 2*n - n**3 + 10*n**2 - 10 - 12*n + g*n. Does 26 divide m(8)?
True
Let a(o) = 2*o**2 - 11*o + 4. Let h be a(9). Let m = -39 + h. Is 4 a factor of m?
True
Does 16 divide (-272)/(-6)*(10 + -4)?
True
Let q be 36/4 - -3 - 3. Let n = -5 + q. Suppose -5*k + 175 = 5*h, 3*h - n = 11. Is k a multiple of 6?
True
Let h(w) = 5 + 42*w + w**2 - 44*w - 14. Is h(5) a multiple of 2?
True
Suppose -3*z = -12, 4*r - 2*z = -r - 3. Let i be 8/(4/2 - r). Suppose -f + i = 1. Is 7 a factor of f?
True
Suppose -8*c - 8*c = 1328. Let p = c - -197. Does 19 divide p?
True
Is 2 + (-10)/(-45) + 99305/45 a multiple of 47?
True
Let i be 1*52/12*3. Suppose 3*x + 20 + i = 3*a, 2*x = a - 16. Does 26 divide (47 - 8)/(a/8)?
True
Let f be 4/16 + 1/(-4). Suppose z + 4*w + 3 = 0, 5*z + w - 3*w - 7 = f. Let a(g) = 34*g**3 - 2*g + 1. Does 9 divide a(z)?
False
Let x(k) = k + 3*k**2 + 2*k + k - 3. Suppose 0 = -4*w - 0 - 20. Does 12 divide x(w)?
False
Suppose -17 = -p + 529. Is p a multiple of 21?
True
Let p(g) = -g**2 + 22*g - 9. Let a be p(21). Suppose -144 = -2*z - 2*z. Let f = z - a. Is 6 a factor of f?
True
Let j(o) = 4*o + 28. Let y be j(-7). Suppose c + 5*b - 125 = y, -4*c + 449 = 4*b - b. Does 14 divide c?
False
Let k = 5 + 0. Is -30*((-20)/k)/8 a multiple of 7?
False
Suppose 5*f = 537 + 3358. Does 19 divide f?
True
Suppose 7*h - 4100 = -740. Does 60 divide h?
True
Let d = -8 - -6. Let r(g) = 20*g**2 + g. Is r(d) a multiple of 21?
False
Suppose 0 = -595*u + 590*u + 1530. Is 23 a factor of u?
False
Suppose 3*y = 3*n - 1452, -5*y = -108*n + 105*n + 1442. Is 10 a factor of n?
False
Is ((-8)/(-20))/(-1*(-3)/2400) a multiple of 16?
True
Suppose 0*b = 3*b - 12. Suppose -b*l + 66 = -l. Is l a multiple of 22?
True
Suppose 182*g + 549 = 243*g. Let f(a) = 2*a + 22 - 3 - 1. Is 12 a factor of f(g)?
True
Let d(j) = 80*j**3 + 3*j**2 - j. Let z be -1 + 4/(-2 - -1 - -3). Does 16 divide d(z)?
False
Let p(b) = 11*b**2 + 7*b - 18. Does 23 divide p(3)?
False
Let a(h) = -h. Suppose -2*b - 2*f - 30 = 0, -2*b - 21 = b - 5*f. Let l be a(b). Suppose 2*n - l = -n. Does 4 divide n?
True
Suppose 29 = -o - 2*l, 3*o - 4*l - 36 + 163 = 0. Let w = -17 - o. Is w a multiple of 14?
False
Let b = 252 - 76. Is 8 a factor of b?
True
Suppose -h = 0, 3*y + 0*h - 6 = h. Suppose 0 = -y*g - g + 3*d + 9, -3*g = 3*d - 3. Suppose g*s - 209 = -0*m - 5*m, -4*m = -2*s - 160. Does 12 divide m?
False
Suppose 4*o - 6*o - 40 = 0. Let n = o + 6. Let f(q) = -q**3 - 14*q**2 - q + 18. Is 10 a factor of f(n)?
False
Let g be (20/(-6))/((-10)/375). Let d = 269 - g. Is d a multiple of 24?
True
Let a = 1030 - 577. Is 22 a factor of a?
False
Suppose -4*y + 2*y + 10 = 2*j, -2*j + 13 = 5*y. Suppose j*o + 25 = h, -5*h - 3*o - o + 5 = 0. Suppose h*z - 20 = 20. Does 7 divide z?
False
Suppose 0*l - 2*l = -3*w + 160, 0 = -w - l + 50. Is 5 a factor of w?
False
Let h = -179 - -334. Suppose -5*b - 2*o + 162 = 0, -5*b - 3*o + 8*o + h = 0. Is 8 a factor of b?
True
Let x(b) be the second derivative of -63*b**5/10 - b**4/4 - b**3/6 + b**2/2 - 8*b. Let v be x(-1). Suppose -5*n + v = -0*n. Is n a multiple of 6?
False
Let q(j) = 2*j**3 - 12*j**2 - 21*j + 74. Is q(11) a multiple of 9?
True
Is -10 + ((-4872)/(-7) - 13) a multiple of 151?
False
Suppose 80*l + 18773 = 89893. Is l a multiple of 24?
False
Let x(n) = -66*n + 5. Let z be x(3). Let v = z - -319. Is 42 a factor of v?
True
Let o = 329 - -1381. Does 30 divide o?
True
Suppose -53*l - 6456 = -61*l. Does 82 divide l?
False
Suppose -4941 - 447 = -12*o. Is o a multiple of 8?
False
Suppose 0 = 5*u + 4*v - 4831, -3*u = -11*