ultiple of 17?
False
Suppose -100 = 22*a - 2*a. Is (-18684)/(-60) + (-3)/a a multiple of 12?
True
Suppose -3*n + 7 = -a - 1, -3*n + 4 = a. Let t(m) = 108*m**2 - 17*m + 32. Is t(n) a multiple of 86?
True
Let h(j) = 4*j - 10. Let o be h(3). Suppose -2*c - 164 = -u + 131, o*c - 2*u = -298. Let r = -81 - c. Is 22 a factor of r?
False
Suppose 0 = -6*m + 11*m + 15. Let r be m/((-6)/58) - 4. Is 390/r - 2/(-5) a multiple of 4?
True
Suppose 2*o + 4058 = b + 1105, -5*b + 14765 = 3*o. Does 6 divide b?
False
Let z(g) = g**3 - 7*g**2 + 2*g + 23. Let b(k) = 2*k**3 - 7*k**2 + 3*k + 22. Let f(l) = 2*b(l) - 3*z(l). Is f(5) a multiple of 55?
True
Let b(h) = h**3 + 9*h**2 - 10*h + 6. Let j be b(7). Suppose -j = 43*d - 47*d. Is 20 a factor of d?
True
Let o = -10 + 20. Suppose o*p = 7*p + 393. Is 7 a factor of p?
False
Suppose -5326 = -5*l + 5424. Suppose -5*m = -3*m - l. Is m a multiple of 43?
True
Let m(x) = 128*x**3 - 2*x**2 - 26*x + 144. Is 13 a factor of m(5)?
True
Let s = -91 + 174. Suppose 5*n = 3*b - s - 168, 4*b = -2*n + 378. Is b a multiple of 8?
False
Let g = -4980 + 5356. Does 57 divide g?
False
Is (-5966)/4*27/216*-16 a multiple of 19?
True
Let k(n) = 4*n**2 - 39*n - 899. Does 5 divide k(-14)?
False
Let t(h) be the second derivative of 21*h**3/2 - 14*h**2 + 3*h - 55. Is t(7) a multiple of 66?
False
Suppose 0 = 561*b - 575*b + 186466. Does 19 divide b?
True
Let l be (-14)/(-1) + 15/(-5). Suppose -3*v + l*v = -3664. Does 62 divide (3/6)/((-1)/v)?
False
Let w(j) = 3*j**2 + 11*j**3 - 10*j**3 - j**2 - 2*j. Let v be w(-3). Is ((2 - -2) + v)*13 even?
False
Suppose -68 = y + 12. Let u = 138 + y. Is 3 a factor of u?
False
Let i(w) = -7*w - 42. Let o be i(-6). Suppose -2*s + 1950 = -2*d + 300, o = 4*s + 2*d - 3330. Suppose 7*p - 2*p = s. Is 17 a factor of p?
False
Suppose -2*q = 4*n - 32638, -49*n + 44*n + 2*q = -40811. Is 123 a factor of n?
False
Let f(u) = 1005*u + 4995. Is 22 a factor of f(19)?
True
Suppose -g + 836 = -4*x, 6*x = -g + 321 + 485. Does 3 divide g?
False
Let l be (-6)/30 + 1 - (-2)/10. Suppose -4*v = -12, 5*v = x + 9 + l. Is x*((-5 - 0) + 21) a multiple of 5?
True
Let h = -421 + 213. Let c be 18/8*h/(-78). Suppose -c*q + q = -4*a + 221, -34 = -a - 3*q. Is a a multiple of 30?
False
Let v be (-1 - 2) + (-1 - -33). Let r = 33 - v. Let y(a) = 16*a + 6. Is 14 a factor of y(r)?
True
Let m(n) = 304*n - 2962. Does 54 divide m(49)?
True
Suppose 7 = -7*m - 2*q - 14, 3*q = 0. Let o(u) be the first derivative of 7*u**3/3 - 9*u**2/2 - 1. Is o(m) a multiple of 10?
True
Let s(i) = -184*i - 6316. Is 73 a factor of s(-89)?
False
Let l(a) = -a + 13 - 2*a - 22 + 16. Suppose 0 = 2*y + 11 + 9. Does 6 divide l(y)?
False
Let w(g) = 10*g - 21. Let a = 7 - -6. Let z be w(a). Let h = z + 72. Is h a multiple of 32?
False
Let l(p) = 5447*p**3 - p**2 + 5*p - 4. Let k be l(1). Suppose 8*u - k = 1713. Is 17 a factor of u?
False
Suppose -78*b - 53*b + 3196620 = 41*b. Is 9 a factor of b?
True
Let c(j) = j**3 + 38*j**2 + 70*j + 33. Let w be c(-36). Suppose 2*z + w = -4*d + 685, -300 = -z - 4*d. Is z a multiple of 28?
True
Is ((-128)/56 + 4)/(2/(-798)*-6) a multiple of 5?
False
Let v(w) = -4*w - 16. Let a be v(-7). Suppose -14*x + a = -8*x. Suppose 2*g - 5 + 53 = k, x*k - 81 = g. Is 15 a factor of k?
False
Let d = -94 + 89. Is 6/(3/d*50/(-260)) a multiple of 4?
True
Let q = 110 - 109. Let j(i) = 113*i**3 + 3*i**2 - 2. Does 38 divide j(q)?
True
Let v(u) = -9*u - 6. Let j be v(-3). Suppose 762 = 6*i - 660. Suppose 3*s - i + j = 0. Is 22 a factor of s?
False
Let q(s) = -s**2 + 6*s + 9. Let f be (2/(-4))/((-1)/14). Let j be q(f). Suppose -2*w - 550 = -7*w + m, 440 = 4*w + j*m. Is w a multiple of 30?
False
Let w(b) = -b**3 + 6*b**2 - 12*b + 9. Let r be w(4). Is 32 a factor of 1282/4 - r/(-14)?
True
Suppose 14 = v + v, 3*v - 76809 = -4*b. Is 99 a factor of b?
False
Let i = -27 - 21. Let j = i + 461. Is 59 a factor of j?
True
Let r(d) = 7*d**3 - 33*d**2 - 45*d + 27. Let z(g) = 3*g**3 - 16*g**2 - 22*g + 13. Let f(h) = 2*r(h) - 5*z(h). Is 31 a factor of f(10)?
True
Suppose -8*o = -4*m + 35115 - 7615, -27396 = -4*m - 5*o. Does 22 divide m?
False
Suppose -23 = -4*l + 1. Suppose -l*v = -3*v - v. Is 234/30 + v + (-2)/(-10) a multiple of 2?
True
Suppose 2*m - 394 - 297 = -u, 0 = 2*u + 2*m - 1384. Does 99 divide u?
True
Suppose 157878 - 548424 = -18*h. Does 13 divide h?
True
Let n = -46510 + 77493. Does 148 divide n?
False
Let c = -1337 + 2464. Suppose 0 = g - 4*p - 503, 5*g - 4*p - c - 1420 = 0. Is g a multiple of 5?
False
Let a = 6765 - -7005. Is 135 a factor of a?
True
Let a(c) = -6*c**3 + 14*c**2 + 92*c + 58. Does 60 divide a(-8)?
False
Let k(q) = -q**3 + 11*q**2 - 6*q + 17. Let u be k(10). Suppose -55*v - 164 = -u*v. Does 7 divide v?
False
Suppose -42*u - 58260 = -345834. Is u a multiple of 41?
True
Let o(q) = 68*q**2 + 31*q - 1855. Is 36 a factor of o(29)?
True
Suppose -y - 157 - 1667 = -n, 5*y = -4*n + 7314. Suppose 0 = -16*j + 318 + n. Does 13 divide j?
False
Suppose -4*o + 0*o = -5*r - 39333, -12*r = 3*o - 29610. Does 74 divide o?
True
Let v(h) = h + 108. Let i be v(0). Let t = -9 - -9. Suppose o - i + 21 = t. Is o a multiple of 11?
False
Suppose 0 = -9*v + 10 + 8. Let k be ((-6331)/78)/(v/(-12)). Suppose -4*r = -k - 105. Does 22 divide r?
False
Does 17 divide 6306 + (-3 + 1 - (-15)/((-30)/(-6)))?
True
Let q = 2987 - 2842. Is q even?
False
Suppose 7*y - 13*y = -72. Suppose 20 = -7*o + y*o. Suppose o*a - 123 = 217. Is a a multiple of 17?
True
Let i be 0/(-2 + 4/4). Suppose i = -4*u - 4*r + 1212, 5*r = -3*u + 6*r + 905. Suppose 2*j - 5*j = 5*l - u, 5*j - 20 = 0. Is 10 a factor of l?
False
Suppose -3*i + 3 = 5*m + 5, -5*i = -3*m - 8. Let r be (i + (-4)/2 - -1)/2. Suppose -5*a + 443 = 2*d, -2*a + r*a = -3*d - 181. Does 15 divide a?
False
Suppose 3*h = -4*t + 24652, -h - 27*t + 8220 = -25*t. Does 5 divide h?
False
Suppose 355*k + 4069650 = 10860027 + 6746128. Is 21 a factor of k?
False
Let k be ((-6)/(-9))/(4/54). Suppose k = -p + 3. Let u(m) = m**3 + 10*m**2 + 8*m. Is 14 a factor of u(p)?
False
Let l = 1 - 7. Suppose -2*m + 4*n - 14 = 0, -4*m - m + 17 = 3*n. Let i = m - l. Is i a multiple of 6?
False
Suppose -2*i = v + 5, -5*v - 3*i - 13 = 47. Let p be 6/v + (34/10 - 0). Suppose 3*m = 5*z + 133, -3*m - p*z = -6*m + 141. Is 13 a factor of m?
False
Let z(b) = -7*b + 4. Let i be z(-1). Suppose i*j - 13*j = -28. Is (j/(-5))/(10/(-125)) a multiple of 7?
True
Suppose -3*b = -3*t - 3, -3*b + 4*b = 2*t - 2. Suppose 240 = b*x + 5*r, 5*x + 3*r + r = 300. Let k = x - 48. Does 12 divide k?
True
Let w be (-19)/38 - (-12042)/4. Let x = w + -1633. Does 82 divide x?
False
Suppose 2362 - 22 = 12*y. Let f = -163 + y. Does 19 divide f?
False
Let o(c) = c**3 - 9*c**2 - 9*c - 12. Let v be o(-7). Let l = -588 - v. Is 2 a factor of l?
False
Let f = -1336 - -29026. Does 19 divide f?
False
Is 27 a factor of 31460/(-8)*(-344)/215?
False
Suppose -99*i + 83*i + 14352 = 0. Is 15 a factor of i?
False
Suppose z + u - 730 = 0, -40*u + 46*u - 2910 = -4*z. Is 35 a factor of z?
True
Suppose 2*m - 20 = -4*o, 4*m = -o + 4*o - 26. Suppose -o*s = -142 + 22. Suppose 68 - s = 4*z. Does 4 divide z?
True
Let s(u) = 2*u**2 + u + 4. Let z be s(-2). Let p be z/(-20) + (-1)/(-2). Suppose p*a - 207 = -a. Does 23 divide a?
True
Let u = 2 + -7. Let h(k) = -19 - 17 - 4*k + 44. Does 7 divide h(u)?
True
Suppose 99 = a - 2*c, -8*a - 4*c = -9*a + 89. Let z = a - 54. Is 23 a factor of z?
False
Let v(p) = -3*p**2 - 85*p - 25. Let z be v(-28). Suppose 747 = 5*u + t, -4*u - t = -z*u - 147. Is u a multiple of 21?
False
Suppose -2*h - 133 = -l - 0*l, 2 = -h. Suppose 2447 + 2061 = -39*g + 179. Let x = g + l. Is x a multiple of 4?
False
Is 10490 + -2 + (36 - 12) a multiple of 18?
True
Let i = 76 + -76. Suppose 46*d - 41*d - 15 = i. Suppose o - 27 = d. Is 5 a factor of o?
True
Suppose -5*s - 5*v + 2105 = 0, 0 = -4*s + 5*v + 454 + 1185. Does 16 divide s?
True
Suppose -4*f + 10776 = t, -t + 3861 = 5*f - 6918. Does 92 divide t?
True
Let o = 26993 - 24895. Does 4 divide o?
False
Let r(w) be the second derivative of -133*w**5/10 - w**4/12 - w**3/3 - w**2/2 + w + 35. Is r(-1) a multiple of 19?
True
Suppose 5*d + 5643 = -13*i + 17*i, 0 = -2*d + 2. Does 24 divide i?
False
Let i(c) = -124 + 44 + 39 - 2*c. Let n be i(-22). Suppose n*x - 62 = 5*p, 5*p - 99 