
Suppose -4*l + 9 = 3*y - 4*y, -3 = -4*l + 3*y. Suppose 5*n + j = -3*j - 2, -2*n + 3*j = -13. Is (-62)/(n/(-3)*l) a multiple of 10?
False
Suppose -8 = -2*g - 2. Suppose g*t - k - 1 = 16, 3*k - 3 = 0. Suppose -98 = -2*i + 2*b, -t*i - 4*b + 254 = -i. Is i a multiple of 25?
True
Suppose -624 = -2*n + k, -227 - 397 = -2*n - k. Does 24 divide n?
True
Suppose -5*c + 35 = 2*v, 0 = -2*c + c + v. Is 12 a factor of ((196/c)/4 + -2)*5?
False
Suppose -z + 0*d - 2*d + 259 = 0, -2*z = -d - 518. Is z a multiple of 11?
False
Suppose 5*y = 2*m + 14, y - 3*y + 6 = -m. Suppose y*u - 518 - 122 = 0. Is 4/22 + u/55 a multiple of 6?
True
Let z(f) = f**3 + 5*f**2 + 6. Let p be z(-5). Suppose j - 4*r = 130, -5*r = 6*j - 3*j - 305. Suppose b - p*b = -j. Is b a multiple of 9?
False
Suppose -10*i - 33984 = -19*i. Is 44 a factor of i?
False
Let m = 44 - 34. Suppose 6*x - m*x = 3*k - 380, -4*k = 3*x - 509. Is 8 a factor of k?
True
Let y(v) = 2*v**3 - 25*v**2 - 7*v + 27. Is y(14) a multiple of 10?
False
Let n be (-1)/5 + (-5046)/(-30). Suppose z = -3*l + 103 + n, -5*l = z - 451. Suppose -3*i = -5*i + l. Is i a multiple of 19?
False
Let d be (-1 + -1)*(1 + 3004/8). Is d/(-9) + 6/18 a multiple of 42?
True
Suppose -2*g = g - 18. Suppose 2*t - g = -t. Is 5 + t + -1 + -1 a multiple of 2?
False
Let a(w) = -w**3 + 16*w**2 - 2*w - 41. Does 3 divide a(8)?
False
Let o(r) = r**3 - 6*r**2 + 8*r - 6. Let d be o(5). Does 11 divide (-8)/(-36) + (1 - (-673)/d)?
False
Suppose 17*h - 7604 = 11487. Is 7 a factor of h?
False
Let k = -20 + 23. Let i be 2 + (k - 5)*-1. Suppose -2*z + i*z = 162. Does 27 divide z?
True
Suppose -15 = -3*u, -13*r - 2*u - 145 = -14*r. Is 9 a factor of r?
False
Suppose 5*o = -4*a + 772, 2*a + a - 4*o - 579 = 0. Let p = -151 + a. Is 12 a factor of p?
False
Let v(u) = -3*u + 7*u**2 + 3*u**2 - u**3 + 3 - 2*u**2 + u**2. Is 23 a factor of v(5)?
False
Suppose 0 = 3*k - g + 4*g - 1179, -4*k + 1578 = 2*g. Does 36 divide k?
True
Let d(q) = -q**2 + 3*q. Let p be d(0). Suppose 5*v - 1 - 9 = p, 0 = -4*b + 3*v + 154. Does 6 divide b?
False
Does 10 divide 188/2 + (68 - 59)?
False
Let f = -284 + 693. Is 13 a factor of f?
False
Suppose 4*q = 6*q - 8. Suppose -q*u + 2400 = 6*u. Does 24 divide u?
True
Let s(i) = 3*i + 3. Let q be s(2). Let d = q + 30. Suppose -b = -3*c + 55, 52 + d = 5*c - 2*b. Is 19 a factor of c?
True
Let i = -13 - -19. Suppose 0*q - i*q = -570. Suppose -1 = -3*h + q. Is 5 a factor of h?
False
Suppose -s + 3*b = -1259, -3*s = -10*b + 14*b - 3712. Is s a multiple of 13?
False
Suppose 184 = -3*j + 1174. Is j a multiple of 33?
True
Suppose 4*p = 2*h + 9404, -3*h + 5001 = 5*p - 6765. Is p a multiple of 20?
False
Let i be (-63)/12*((-6)/(-9) + 2). Let y(a) = -2 + 13*a**2 - 2 - 4 - 16*a + a**3. Is y(i) a multiple of 20?
True
Let u(r) be the third derivative of -13*r**4/12 - r**3/3 - 4*r**2 + 9*r. Is 32 a factor of u(-6)?
False
Suppose -4 = 2*m - 4*m. Is 13 a factor of ((-4)/3)/(m/108*-2)?
False
Let p = -30 - -546. Is 43 a factor of p?
True
Is (-2 + -11 - 8)*(-1 - 0) a multiple of 9?
False
Let c(u) = 3 + 86*u**3 - 1 + 7 + 19*u + 12*u**2 - 85*u**3. Is c(-10) a multiple of 10?
False
Let q(a) = a**3 + 5*a**2 - 6*a. Let u be q(-6). Let f = u + 2. Is (f + -3)/((-2)/24) a multiple of 6?
True
Let t be 184/16 + (-6)/(-4). Let u = 20 - t. Let l(r) = r**2 - 5*r + 9. Is l(u) a multiple of 15?
False
Suppose -10*o + 210 + 60 = 0. Suppose o*i + 240 = 31*i. Does 15 divide i?
True
Let s = -572 + 587. Is s a multiple of 7?
False
Let l(t) = t + 18 + 11 - 11. Let y = 23 + -12. Is 4 a factor of l(y)?
False
Let n = 51 + 259. Does 17 divide n?
False
Let r be 1/3*(3 - -18). Suppose 31*g - 215 = 36*g. Let c = r - g. Is 9 a factor of c?
False
Let f be -5 + 92/20 + 54/10. Suppose 0*k + 2*k = 5*o - 1022, -f*o + k + 1021 = 0. Is 34 a factor of o?
True
Let v be (-1)/(-2)*-2 - -7. Suppose -5*g = -2*y - 0*g - 29, -y - 3*g - 31 = 0. Is ((-21)/v + 2)*y a multiple of 17?
False
Is 13 a factor of -31 + 27 - 452*-3?
True
Let t be -3*(-3 - -5)*-54. Suppose -22*c - t = -25*c. Does 36 divide c?
True
Let p = 18 - -551. Is p a multiple of 6?
False
Let o = 156 - 57. Is o a multiple of 12?
False
Let a be (0 - (-297)/(-6))*(-42)/9. Suppose -w = 4*m - 120, -2*w - 3*m - 2*m = -a. Is w a multiple of 12?
True
Suppose -5*i + 5 = -0, -2*n = 4*i - 10. Let j be (5*27 - 1)/(-15 + 17). Suppose 89 + j = n*s. Is 14 a factor of s?
False
Let d(q) = 3221*q + 62. Does 46 divide d(1)?
False
Suppose -7555 = -16*z + 10797. Does 20 divide z?
False
Let f = 1417 - 1053. Does 13 divide f?
True
Let m(t) = t**3 - 7*t**2 - 7*t + 13. Let l = -7 + 16. Is 16 a factor of m(l)?
True
Let n(v) = v**3 - 6*v**2 - 2*v + 5. Let f(h) = 2*h + 37. Let u(g) = g + 18. Let l(q) = -2*f(q) + 5*u(q). Let y be l(-9). Does 18 divide n(y)?
False
Let u(t) = 1050 + 7*t**2 + 0*t - 1052 - 3*t. Let f(h) = -2*h**2 + 2*h + 2. Let d be f(2). Does 16 divide u(d)?
True
Suppose 260 + 160 = u. Is 12 a factor of u?
True
Let w be (-72)/(-8)*1/3. Suppose -12 = -d - 3*z - w, -z + 3 = 2*d. Suppose -5*i = 25, 4*c - i = -d*i + 297. Is 12 a factor of c?
False
Let q(s) = s**3 + 28*s**2 - 56*s - 73. Does 10 divide q(-29)?
True
Let p = 58 + -56. Suppose 37 + 5 = p*r. Is 21 a factor of r?
True
Let k(q) = -3 + 0 + 0*q**3 + 0*q**3 + q**3 + q**2. Does 8 divide k(2)?
False
Let d(t) = -t**3 + 5*t**2 + 2*t - 5. Let f be d(4). Let b(w) = -w**2 + f - 4*w + w**3 + 12*w**2 - 9. Does 18 divide b(-11)?
True
Let s(n) = 7*n**2 + 36*n + 246. Is s(-6) even?
True
Let f be ((-2)/(-2))/(15/30). Suppose -48 = f*n - 8*n. Is 8 a factor of n?
True
Let a(l) = -l**3 + 2*l**2 - 1. Let h be a(-1). Suppose 0 = -4*u - b - 6 + h, 5*b = 2*u + 2. Is 2 a factor of (10 + 2)/3 - u?
False
Let z be -1 + 2 + 9 + 0. Suppose -z = -2*g - 6. Suppose 3*r = -i - 0*r + 63, -2*r - 94 = -g*i. Is 10 a factor of i?
False
Suppose 665*u - 675*u + 12240 = 0. Is u a multiple of 153?
True
Suppose 2*f + 7 = 29. Suppose f*k = 10*k + 28. Does 7 divide k?
True
Suppose 0 = -2*u + 2 + 6. Let s be (-19)/2 - u/(-8). Let k = s + 75. Is k a multiple of 31?
False
Let t = 32 - 26. Let f(y) = 9*y - 7. Let u be f(t). Suppose -15*k = -16*k + u. Is k a multiple of 13?
False
Does 33 divide ((-8)/(-8) + 2496)/1?
False
Let n be (1/(-3))/((-1)/69). Suppose 0 = -p + 5*o - n, p + 2*o + 2 - 14 = 0. Suppose -10*l + 104 = -p*l. Is l a multiple of 7?
False
Let c(o) = 4*o + 20. Let k(s) = -3*s - 20. Let v(m) = -2*c(m) - 3*k(m). Let r be v(-16). Suppose -3*f = -d + r*d - 75, 0 = f + 3*d - 29. Is f a multiple of 5?
False
Let m be (-8)/6 - (1 - 1/3). Is 38 a factor of (-1)/1 + m/((-12)/234)?
True
Suppose 65*g - 44*g - 2562 = 0. Is g a multiple of 7?
False
Suppose k = -5*m + 177, -3*m + 128 - 1097 = -5*k. Is k a multiple of 24?
True
Let w = -18 + 13. Let y(m) be the third derivative of -m**4/24 + 4*m**3/3 - 4*m**2. Does 13 divide y(w)?
True
Suppose 172 = -14*p - 794. Let t = 164 + p. Is 5 a factor of t?
True
Let n(d) = 10*d + 9*d**2 - 10*d - 5 - 4 - d**3. Let c be n(9). Let m(u) = u**2 + 9*u + 13. Does 9 divide m(c)?
False
Suppose -4*g = -w - 21, -w = -2*g + 3*g + 1. Is 8294/65 - g/(-10) a multiple of 32?
True
Let r be 6/12*0/2. Let p = -4 - r. Let w = 3 - p. Does 7 divide w?
True
Suppose 0*l = -2*l + 8. Let i(t) = t**3 - 3*t**2 + 2*t + 2. Let q be i(l). Suppose 0 = -2*k + 2*g + q, -3*g + 0*g = -15. Is k a multiple of 9?
True
Suppose -j - 5*j - 48 = 0. Let d(p) = -9*p - 15. Is d(j) a multiple of 21?
False
Let o = 1904 + 175. Is o a multiple of 10?
False
Suppose -48 = -5*z - 18. Let h(a) be the second derivative of a**5/20 - a**4/3 - 2*a**3 + 4*a**2 - 33*a. Is h(z) a multiple of 4?
True
Let y = 1 + 3. Suppose 272 = 3*m - y*v, 5*m - 5*v = m + 362. Is m a multiple of 16?
False
Suppose 10*m = 11*m + 32. Does 11 divide (m/(-8) - 14/4)*22?
True
Let v = 611 + -171. Is v a multiple of 25?
False
Let m(c) = c**3 - 8*c**2 - 11*c + 22. Let f be m(9). Suppose 0 = 3*y + 3*u - 111, -96 - 87 = -f*y + 3*u. Is y a multiple of 40?
False
Let u be 3 + (-1)/1 + 2. Let n(v) = 4*v**2 + 46*v + 25. Let a be n(-11). Suppose 0 = u*b - 2*j - 54, -j + 4 = a*j. Is 3 a factor of b?
False
Let o be (3/(-4))/((-1)/4). Suppose o*b - 420 = -3*b. Is b a multiple of 10?
True
Suppose -4*w + 299 = 4*u + 99, 5*u = -2*w + 265. Is u*(1 + 1/(-10)*-14) a multiple of 12?
True
Suppose 0 = -59*b - 3*b + 161014. Is 7