. Does 30 divide m?
True
Let m(k) = -k**3 + 5*k**2 + 7*k - 1. Let j be m(6). Let o(u) = 3*u**2 - u + 6. Is 8 a factor of o(j)?
False
Let t(o) = o + 4. Suppose -5*u + 2*u = -54. Does 2 divide t(u)?
True
Let d(b) = b**3 + b**2 - b. Let x(k) = -42*k**3 - 6*k**2 + 6*k + 1. Let f(v) = 5*d(v) + x(v). Suppose -4*g = -2*g + 2. Is f(g) a multiple of 9?
True
Suppose 6 = -a - 2. Let d be (6 + -7)*57/(-1). Let m = a + d. Is 24 a factor of m?
False
Let j(q) = 10*q**2 - q - 1. Let u be j(-3). Suppose 92 = 4*o - u. Is o a multiple of 6?
False
Let z(s) be the first derivative of s**3/3 + 3*s**2 - 6*s + 2. Suppose -5*k + 4*k = 8. Is 10 a factor of z(k)?
True
Suppose 21*t + 4330 = 40891. Is 13 a factor of t?
False
Let v = 7 - 5. Suppose 4*w - 5*c + 2 + 3 = 0, 4*w - 2*c + v = 0. Suppose 2*p - 3*p + 49 = w. Is 7 a factor of p?
True
Let l = -6 - -10. Suppose 4*v + 4*d = 12, -v - 2*d = 2*v - 9. Suppose 3*t + v*q = 66, l*t - 5*t = -4*q - 12. Is 14 a factor of t?
False
Let z be ((-3)/((-36)/(-10)))/((-12)/72). Suppose z*y - y = 364. Is 26 a factor of y?
False
Is 17 a factor of 3706/3 - (3 + (-44)/12)?
False
Let t(i) = -42*i + 34. Is t(-7) a multiple of 21?
False
Let o = -8 - -12. Suppose 8*p = o*p - 120. Is 11 a factor of (p/4)/((-3)/20)?
False
Suppose 0 = -g + 4 + 1. Suppose 6*q - 106 = -2*l + 4*q, 3*l - 169 = -g*q. Is l a multiple of 24?
True
Let w(s) = -s + 4. Let i be w(14). Let d be ((-24)/9)/(i/15). Suppose -d*q - 23 = -b, -2*b - 6*q + 82 = -2*q. Is 18 a factor of b?
False
Let t(a) = 73*a**2 - 3*a - 2. Let p(z) = -72*z**2 + 4*z + 2. Let f(h) = 3*p(h) + 4*t(h). Is f(-1) a multiple of 13?
False
Suppose t - 5*o = -2*t + 377, t - 5*o = 129. Suppose -3*v = -11 - t. Suppose -2*q + v = 5*n - 18, -8 = -2*q. Is n a multiple of 6?
False
Let k = -535 + 773. Is k a multiple of 7?
True
Let r(s) = 12*s + 6. Let c(b) = 1. Let u(v) = 6*c(v) - r(v). Suppose -4*a - 7 = 5. Is u(a) a multiple of 12?
True
Suppose z = -4*c + 1193, 0 = 3*z - 2*z - 5. Does 19 divide c?
False
Suppose 8*q - 1201 = -353. Is 17 a factor of q?
False
Let u be (-2 - -5)*(-2)/(-3). Let n = 380 - 155. Suppose -u*w = -7*w + n. Is w a multiple of 15?
True
Suppose 0 = -2*j - 3*v + 233, j + v - 8 = 111. Is 8 a factor of j?
False
Let z be (632/12)/((-7)/(-21)). Let y = 142 + z. Is y a multiple of 30?
True
Let j(t) = t**3 + 2*t**2 + 4*t + 3. Let v be j(-3). Let x(k) = k**2 + 16*k - 32. Is x(v) a multiple of 4?
True
Suppose 76 = x - 301. Is x a multiple of 13?
True
Suppose 5*x = 6*a - 3*a - 145, 2 = -x. Suppose 5*k - 45 = -4*n, -4*k + n + a = k. Is k a multiple of 6?
False
Let m(g) = 7*g**2 + 2*g - 12. Suppose 0 = -6*s + 5*s - 3. Is 5 a factor of m(s)?
True
Does 17 divide (-18)/3 + 5/(25/11155)?
False
Let k(y) = y + 2. Let p be k(4). Suppose -p*d + 7*d = 2. Suppose -2*j - d*j = -44. Is 11 a factor of j?
True
Let r be 2 + (11 - 3)/(-4). Suppose 5*m - 5*w - 300 = r, 0 = -3*m + 5*w + 188. Is 8 a factor of m?
True
Let w be (-3)/(-2)*(6 - 182/21). Is 79 - (-4 - (-7 + w + 8)) a multiple of 4?
True
Let p(s) = -s**3 - 17*s**2 + 28*s + 28. Is p(-19) a multiple of 9?
False
Let r(k) = 2*k**3 - 2*k**2 - 2. Suppose 12 = -4*x - 5*w + 34, 5*w - 19 = -3*x. Is 15 a factor of r(x)?
False
Suppose 4*o + 20 = 4*k, -7 = k + o + 4*o. Suppose -10 = -6*z + 2. Suppose k*w - 28 = z*r, 14 + 2 = w + r. Does 6 divide w?
True
Let g be -14 + (-5 - -3) + 0. Let l be (-4)/(-10) + g/(-10). Does 6 divide l/(-3)*(-13 + 1)?
False
Does 29 divide ((-96)/30 + 5)/(3/675)?
False
Let g(z) = 2*z**2 + 6*z - 6. Let t be g(-5). Suppose -5 = -5*i, -5*d - 4*i = i - 175. Suppose 0 = 4*j - d + t. Does 2 divide j?
False
Suppose -84*h + 132117 = -37*h. Is 25 a factor of h?
False
Does 10 divide (-364)/(-4)*(287/49 + -5)?
False
Suppose -2742 = -16*z - 102. Is z a multiple of 7?
False
Suppose 341 = f - 1053. Is 82 a factor of f?
True
Suppose 6*d - 580 = 440. Suppose 9*n = -n + d. Is n a multiple of 14?
False
Let v(c) = -3*c**3 + 2*c**2 - 8*c + 4. Let p(l) = 2*l**3 - 3*l**2 + 9*l - 4. Let i(j) = -5*p(j) - 4*v(j). Is i(4) a multiple of 32?
True
Is 22 a factor of ((-4698)/(-290))/((-2)/(-70))?
False
Let w(k) = -k**3 + k**2 - 9*k + 10. Is 24 a factor of w(-4)?
False
Let c = 383 + 271. Is 71 a factor of c?
False
Let d(g) = 6*g**2 + 3*g + 2. Let f be d(-1). Suppose 3*o - 84 + 465 = 5*r, -f*r + o = -387. Is 32 a factor of r?
False
Let t = 1898 - 710. Is t a multiple of 11?
True
Suppose -27*o + 2989 = -20*o. Is o a multiple of 19?
False
Let x(i) = 41*i. Let p be x(-1). Let k = -22 - p. Is k a multiple of 3?
False
Let k be (-10)/(-10) + (1 - (-193 + 1)). Let w = -122 + k. Is 21 a factor of w?
False
Let k(u) = 29*u**2 + 7*u + 69. Is k(-8) a multiple of 89?
True
Let p(s) = s**3 + 6*s**2 + 3*s + 2. Let i(w) = 5*w**2 + 16*w - 1. Let f(a) = a**2 + a - 1. Let m(n) = -3*f(n) + i(n). Let d be m(-6). Is p(d) a multiple of 6?
False
Let l(s) = -11*s + 13. Let y be l(12). Let a = y - -1. Does 15 divide 2/8 - a/8?
True
Let x = -1447 - -2248. Is 11 a factor of x?
False
Let q = 56 - 31. Suppose q*c - 24*c = 100. Suppose -2*r + c = 3*k, 4*k - 3*k = -r + 35. Does 15 divide k?
True
Suppose -4*i + 10 = -x, 4*x - 4*i = i - 18. Let s be (2/5)/(x/10). Is (-2 - (s + 7))*-3 a multiple of 12?
False
Let x = 119 - 121. Does 20 divide (x - (2 - 204))*(-132)/(-110)?
True
Suppose -9*v + 217 = -233. Does 10 divide v?
True
Suppose -4*z = 5*u - 6008 + 817, -4*z - 3*u = -5193. Is 12 a factor of z?
False
Let u = 887 - 496. Is 42 a factor of u?
False
Is 5 a factor of (-47)/188 - (-1322)/8?
True
Suppose -2*s - 5*g = -1298, -6*s + 8*s - g - 1286 = 0. Does 71 divide s?
False
Let z(o) = o**2 + o - 6. Let f be z(-3). Suppose -q - 2 + 30 = f. Is (48/q)/((-2)/(-56)) a multiple of 15?
False
Suppose 5*h = 21 + 24. Let k be 14/63 + (-236)/h. Let y = k - -95. Does 15 divide y?
False
Let m(h) = 26*h**2 - 12*h + 28. Is 33 a factor of m(-7)?
True
Suppose -7*v = -9*v - 592. Let z = v + 442. Is 35 a factor of z?
False
Let o be ((-4)/(-8))/(7/(-70)). Does 26 divide 3 - -202*o/(-10)?
True
Suppose -11*d - 73*d = -211260. Does 69 divide d?
False
Let k be ((-3)/(-5))/((-4)/(-40)). Let v be (-9)/(-15) - k/10. Suppose 14 = -v*b + 2*b. Does 7 divide b?
True
Suppose 4*j - 1274 - 2474 = 0. Is j a multiple of 11?
False
Is (5/(-2))/((-34)/11152) a multiple of 20?
True
Let k(x) = -4*x**3 - 20*x**2 + 6*x + 46. Let t(o) = -7*o**3 - 41*o**2 + 13*o + 92. Let z(m) = 5*k(m) - 3*t(m). Does 22 divide z(-23)?
False
Let j(m) = 12*m**2 + 3*m + 1. Let u be j(-4). Suppose -2*a + 172 = 4*g, 0*a - 5*g - u = -2*a. Does 11 divide a?
True
Suppose 0 = -r - 4*r - 40. Let c(k) be the first derivative of -2*k**2 + 7. Is 11 a factor of c(r)?
False
Suppose -5*c - 45 = 5*d, -d - 17 = 2*c + c. Let a = 27 - d. Suppose 3*o = y - a, 0 = -7*o + 2*o + 20. Is y a multiple of 11?
True
Suppose -2*y + 0*i = i - 11, 4*i = 4. Let z = -5 + y. Suppose 0 = 3*q - 2*s - 37, -5*s = -z*q - 3*q + 43. Does 3 divide q?
False
Let d(w) = 31*w + 15. Let f be d(-4). Let v = 163 + f. Is 9 a factor of v?
True
Suppose 3*i - 54 = -0*i. Is (-48)/(-10) - i/(-90) even?
False
Let a(w) = -w**2 + 19*w + 2. Let y be a(18). Suppose -71 = -7*b + y. Is b a multiple of 4?
False
Let d be ((-28)/(-10))/(2/10). Let i = 35 - d. Suppose -i = -x - 0. Does 21 divide x?
True
Let d be 11 + (-20)/5 - 2. Suppose 196 + 129 = d*i. Is 9 a factor of i?
False
Let o = -12 - -12. Suppose 2*g - 20 = -2*g, -m - 3*g + 63 = o. Suppose 2*n - m = 12. Does 10 divide n?
True
Suppose -4*b + 4*z = -1784, z + 1346 = -4*b + 7*b. Is 18 a factor of b?
True
Let d be (-3)/(-6)*4 + 80/(-4). Let a(n) = -n**2 - 19*n - 10. Does 8 divide a(d)?
True
Let u = 15 + -16. Is (u - -109) + 1 + 4 + -3 a multiple of 22?
True
Is 12 a factor of 38/171 + 4748/18?
True
Let a(f) = 41 + 42 - 63 - f. Is a(12) even?
True
Let r be (13/(-5) - (-16)/(-40)) + -8. Does 33 divide r*((-12)/(-4)*1 + -15)?
True
Suppose 3*g - 4*j = 6458, -4*g + 8615 = -39*j + 38*j. Does 19 divide g?
False
Let b = 967 - 474. Does 22 divide b?
False
Let t = -2220 - -2390. Is 4 a factor of t?
False
Let m be (6/9)/(4/6). Let a be -3*((-10)/6)/m. Suppose a*g - g = 2*c - 92, -217 = -5*c - 3*g. Is 11 a factor of c?
True
Let y(f) = 320*f**2 + 2*f. Let z be y(1). Suppose 6*h = 4*h + z. Let x = -72 + h. Does 21 divide x?
False
Let l = 47 + -51. Is 5 - -182 - (l - -1) a multiple of 38?
True
Let n b