ultiple of 10?
True
Let a = -44 + 42. Is (4/6)/(a/138*-2) a multiple of 11?
False
Let m(i) = i**3 + 25*i**2 - 2*i - 53. Let w be m(-25). Is w/(-5) + 3252/30 a multiple of 22?
False
Suppose -4*v + 2*p + 6 = -10, -3*v + 12 = -4*p. Suppose o - 44 = -h, 152 = v*h - 5*o + 3*o. Is 10 a factor of h?
True
Suppose -4*c - 2*l = -24, -3*c + 5*l + 29 = l. Suppose 0 = -4*d - c*d + 1199. Is d a multiple of 7?
False
Suppose 5*x = 90 + 575. Let k = x - -74. Is 16 a factor of k?
False
Let b(a) = 5*a**3 + 5*a**2 - 13*a + 14. Is b(4) a multiple of 27?
False
Let z = -613 + 1255. Does 28 divide z?
False
Let q(a) = -a**3 - 2*a - 8. Does 3 divide q(-4)?
False
Suppose 305 = 2*x - c - 409, 0 = -2*x - 3*c + 730. Suppose 0*y - 3*y + x = -4*t, y + 3*t = 98. Suppose -y = -v + 5*i, -3 - 5 = 4*i. Is 11 a factor of v?
False
Is (-9)/12 + (-3867)/(-4) a multiple of 73?
False
Suppose 3*r = 6*r - 15. Suppose 2*w - t = -3*w + 205, -w + 15 = r*t. Is 20 a factor of w?
True
Let f(r) = -10*r + 12. Let i(v) = -21*v + 25. Let u(d) = -13*f(d) + 6*i(d). Let o = 3 + 2. Does 12 divide u(o)?
False
Let o be (11/11)/((-1)/(-2)). Suppose 3*z + 10 = -o*z. Let h = 74 + z. Does 24 divide h?
True
Let q(f) = 3 + 12 - 69*f - 4 + 90*f. Is 19 a factor of q(4)?
True
Let z(d) = 19*d - 42. Suppose -3*f - 18 = -6*f + 3*a, 5*a = -2*f + 12. Is 8 a factor of z(f)?
True
Let m(s) = 24*s**2 - 21*s + 36. Is m(6) a multiple of 9?
True
Suppose 4*s = -2*w + 2172, -w + 545 = 9*s - 8*s. Does 29 divide s?
False
Suppose -4*l + 4 = -2*l. Suppose -l*t + 58 + 26 = 0. Is 8 a factor of t?
False
Let j = -5 + 8. Let z(p) = p - 5. Let i be z(4). Is 2 a factor of ((0 - 5) + j)/i?
True
Suppose 4*s = -c - 5*s + 523, 4*c - 1922 = -2*s. Is 3 a factor of c?
False
Let l = 214 - 94. Suppose r + 4*r = l. Is 12 a factor of r?
True
Let j be 0/1 - (-10)/(-10). Let r be -2 + 5 - (-1 - j). Suppose 196 = r*d - 77. Is d a multiple of 17?
False
Let o(w) = 5*w - 90. Let f be o(13). Let q = -240 - -135. Let l = f - q. Does 16 divide l?
True
Let r(q) = -q**3 - 35*q**2 - 83*q - 113. Is r(-33) a multiple of 14?
True
Suppose 4*k + 4 = -a + 21, -5*a + 133 = -4*k. Suppose 5*r = -a, 4*r + 0*r = 4*l - 212. Does 18 divide l?
False
Let q be (-77)/15 + 5 + (-32)/(-15). Suppose -5*o = -5, 4*y + q*o - 713 = 101. Is y a multiple of 31?
False
Suppose -z - 22 + 26 = 0, 5*z = -3*m + 1703. Is 33 a factor of m?
True
Let w(b) = 17*b**2 - 3*b - 24. Does 2 divide w(5)?
True
Suppose 132 = 3*s - 3*i, 3*i - 39 - 123 = -4*s. Is s a multiple of 18?
False
Suppose 10*b - 4195 = 7465. Is 19 a factor of b?
False
Let x(k) = 2*k**3 - k**2 + 25*k + 4. Is 12 a factor of x(8)?
True
Let t(a) = a + 23. Let j be t(-13). Is 15 a factor of j/40 - 2/((-16)/1798)?
True
Is 6 - (5 + 3435/(-5)) a multiple of 35?
False
Let j be (0 - 2 - 116)*(-9)/6. Let a = j - 104. Is a a multiple of 9?
False
Suppose 9*b + 111 = 939. Is 4 a factor of b?
True
Suppose 2*x = -3*o + 4*o - 391, -391 = -o - x. Does 20 divide o?
False
Suppose 120 = -6*y - 0*y. Suppose -12 = -4*d - 0. Is 16 a factor of (32/d)/(y/(-30))?
True
Let r(x) = x**2 + 19*x + 5. Let v be r(-19). Suppose -3*a = v*z - 47, 0 = -z + 2*a - 3 + 2. Is z even?
False
Suppose -140 = 4*x - 0*x. Let l = x + 34. Is 23 - (10/(-5) - l) a multiple of 7?
False
Let n(p) = p**3 - 12*p**2 + 9*p + 25. Let z be n(11). Suppose -z*h + 237 = 5*o - 125, o - 71 = -2*h. Is 13 a factor of o?
False
Suppose -9 = -3*q, -3*j + 9 = -0*q - q. Let s(h) = -h**2 + 7*h + 3. Let g be s(j). Does 4 divide (-10)/g + (-38)/(-3)?
True
Suppose 7 = 3*t + 1. Suppose c + 54 = t*c + h, 5*h + 320 = 5*c. Suppose 7 + c = 2*s. Is 11 a factor of s?
True
Is 8 a factor of 6048/(-270)*(-1 - 46/4)?
True
Let j = -130 - -295. Let v = j - 14. Does 16 divide v?
False
Suppose 20*x = 24*x - 2808. Does 18 divide x?
True
Let i(g) = -g**2 + g - 14. Let j be i(14). Let n = -105 - j. Does 13 divide n?
True
Let z = 91 + -88. Suppose 0 = z*f + p - 5*p - 307, p = 4*f - 405. Is f a multiple of 35?
False
Suppose 1046 = 4*d - 5*z - 0*z, -5*d - 3*z + 1326 = 0. Is 8 a factor of d?
True
Does 14 divide (2 + (-6692)/70)/(2/(-10))?
False
Let v = -1203 - -2526. Does 9 divide v?
True
Suppose 2*v - 195 = -19. Let n = v + -34. Suppose 2*o - n = -0*o. Is o a multiple of 9?
True
Suppose 3*u = -2*k + 667, 3*k + 2*k = -u + 231. Is u a multiple of 23?
False
Suppose m - 7*m = -30. Let f = 11 - m. Is 6 a factor of f?
True
Let n = 184 - -50. Is 12 a factor of n?
False
Let j = -98 - -86. Let q = j - -29. Is 4 a factor of q?
False
Let m = 81 - -220. Does 12 divide m?
False
Is (-162)/189 + 6396/14 a multiple of 8?
True
Let g(y) = -y**2 - 20*y + 92. Does 4 divide g(-20)?
True
Suppose 5*v - 12 - 3 = 0. Suppose 0 = -2*g + v*g - 42. Is 14 a factor of g?
True
Suppose -25*w = -28*w. Suppose 297 = 3*c + f + 4*f, w = -5*f + 15. Is c a multiple of 22?
False
Let m(l) be the first derivative of -l**4/4 + 5*l**3/3 - 3*l**2/2 + 4. Let o be m(4). Suppose -u - o*u = -25. Is u a multiple of 2?
False
Let s(n) = 7*n**2 - 2 - 3*n**2 + 3 - 4 + 5*n. Does 7 divide s(-6)?
False
Suppose -4*w + 475 + 229 = 0. Is w a multiple of 16?
True
Suppose -6*k - f = -3*k - 18, -5*k + 30 = 3*f. Suppose -46 - 26 = -t - 4*v, -2*v - k = 0. Is 28 a factor of t?
True
Let t = 89 + -86. Suppose 4*j - 115 = -t. Is 6 a factor of j?
False
Suppose 359 = 4*v - 5. Let z = v - 37. Does 3 divide z?
True
Suppose 0 = 5*y + 37 + 33. Let p be 8/y*(-28)/8. Is 7 a factor of (-25)/(-2)*4/p?
False
Suppose -2*i - 729 = -4*i + 3*n, 0 = 3*i - 2*n - 1096. Suppose 3*v - 2*x + 43 = 0, 15 = -v + 2*x - x. Does 9 divide (v/(-39))/(2/i)?
False
Let j be 6/27 + 22/(-18). Is 23 a factor of 3 + 2424/18 + j/(-3)?
True
Let n(a) = -a + 9. Let m be n(7). Suppose m*y - 216 = -5*u, 4*u + 2*y - 172 = -0*u. Is 27 a factor of u?
False
Let t(y) = 159*y - 233. Does 16 divide t(7)?
True
Let b(x) = 2*x - 3. Let c(k) = -20*k + 32. Let r(o) = -32*b(o) - 3*c(o). Let d be (-18)/15*(7 - 2). Is 6 a factor of r(d)?
True
Suppose -3*v + 1384 = -4*i, v + 2*i = 3*v - 922. Is 23 a factor of v?
True
Let w be 115 + -2*(2 - 14/4). Suppose -28 = 5*p - w. Does 4 divide p?
False
Let q(z) = -z**3 - 14*z**2 - 10*z - 24. Does 14 divide q(-16)?
False
Suppose -15 = 4*a + 5*f, -f = 4*a + 3*f + 16. Let p = a - -8. Suppose p*v = 62 + 76. Is 10 a factor of v?
False
Let l be (-3 - 1) + (-1 + 1 - 21). Let f = 215 - l. Is 15 a factor of f?
True
Let y = 26 - -161. Does 11 divide y?
True
Suppose -3 = -y - 4*w + 2*w, -2*y = -4*w - 6. Suppose -3*g + 71 = -5*a, 0 = y*g - 4*a - 35 - 32. Let t = g + -5. Does 3 divide t?
True
Suppose s + 5*f + 15 = 0, -7 = -3*s + 5*f + 8. Suppose 78 = 2*n + 2*k, -3*n - k = 2*n - 183. Let c = n - s. Is c a multiple of 12?
True
Let x(o) = 2*o**2 + 32*o + 48. Is 37 a factor of x(14)?
True
Let g(z) = z**2 - 12*z + 16. Let h be g(11). Suppose 0 = -3*c + 4*c - m - 96, -h*c - 5*m + 440 = 0. Is 23 a factor of c?
True
Is 25 a factor of ((6 - 62) + 6)*(-1)/2?
True
Suppose -4*h + 5*s = -16, 0*h + 2*h - 8 = -5*s. Suppose 2 = 2*w - h. Is (-1)/(-2)*144/w a multiple of 9?
False
Suppose 0 = 2*n + 4*h - 908, 4*h - 464 = -n - 0*n. Suppose -5*d - n + 59 = -5*f, -4*f = 5*d + 385. Does 13 divide 22/d + 368/14?
True
Let d = -7 + 10. Suppose l + 44 = d*l. Is l a multiple of 21?
False
Let d = -29 - -262. Does 33 divide d?
False
Does 45 divide (8142/(-8))/(33/(-44))?
False
Let s(g) = g**3 + 17*g**2 + 25*g + 28. Is s(-15) even?
False
Suppose -434 + 24 = -5*m. Is m a multiple of 41?
True
Let q(p) = -p**2 - 14*p - 4. Let l be q(-7). Suppose -33 = -5*a + 2*r, -4*a + 5*r + l = 5. Let h(x) = -x**2 + 7*x + 1. Is h(a) a multiple of 6?
False
Let v(p) = 2*p**2 + 30 - 7 - 13*p - 52. Is v(12) a multiple of 17?
False
Let m(s) = -s**2 + 10 + 26 + 2 + s + 22. Does 12 divide m(0)?
True
Let q = 794 + -310. Does 31 divide q?
False
Suppose 7*y - 1865 = -185. Does 16 divide y?
True
Suppose -6*w - 11520 = -30*w. Is w a multiple of 32?
True
Suppose 2*t - 439 = -s, 3*s - t + 388 = 1712. Is s a multiple of 63?
True
Let v(y) = y**3 + 5*y**2 - 3*y - 4. Let w be v(-6). Let j be (-62)/w + (-10)/(-55). Let x(b) = 20*b + 3. Is x(j) a multiple of 19?
False
Let x = 2 - 2. Suppose 5*c = 5*v + 10, x*v - 2 = -3*c + 4*v. Suppose -3*i + c*i - 40 = -4*b, 5*b = 5*i + 50. Is 3 a factor of b?
False
Suppose 0 = -4*o + 5*o + 5*t - 189, t = -5*o + 873. Let y(w) = -w**2 - 12*w + 10. Let f 