106)/12?
True
Let k(r) = 3*r**3 + 13*r**2 - 3*r + 10. Let q be k(-7). Let a = 250 - 483. Let n = a - q. Is n a multiple of 20?
False
Let t(s) = -55*s + 40*s + 58 + 34 - 5. Is 15 a factor of t(-5)?
False
Suppose -77*s + 41313 = -10277. Is 41 a factor of s?
False
Let f(q) = 8*q**2 + 38*q + 3. Is 221 a factor of f(27)?
False
Let r = 2533 - -1115. Is 16 a factor of r?
True
Let i be 12/(-8) + 2/4. Suppose -3*b + 3*f + 57 = 0, 4*b = b - 4*f + 22. Let d = b - i. Is 5 a factor of d?
True
Let u = 221 + -231. Does 44 divide ((-24)/u)/((102/440)/17)?
True
Suppose 0*l = 12*l - 1344. Let y = l + -13. Is y a multiple of 11?
True
Let l = 154 + -150. Suppose 0 = -c - 3, -x + 0*c + 2*c - l = 0. Does 8 divide -96*5/(-3)*(-15)/x?
True
Let j = -11 - -5. Let b = j + 9. Suppose -4*g + 69 = -b*o, g = 4*g + 3*o - 36. Is 13 a factor of g?
False
Let p(a) = -61*a + 1080. Is p(16) a multiple of 2?
True
Let i(r) = r**2 - r + 1. Let u(y) = -3*y**2 - 34*y - 34. Let g(a) = -4*i(a) - u(a). Is g(16) a multiple of 26?
False
Let g(m) = 12*m**3 - 2*m**2 - 3*m - 1. Let u be g(4). Suppose -5*j - 2*v + 302 = -u, -2*v - 1005 = -5*j. Does 7 divide j?
True
Let m(k) = -k + 24. Let y be m(22). Suppose y*f - 2*f + 2*f = 0. Is (f - -5)/((-2 - -3) + 0) a multiple of 2?
False
Does 10 divide (-220)/275*(0 + -1135)?
False
Suppose -3*d + 9 = 3*h, -6*h + 3*d = -2*h + 9. Let y be (h - 2/6)/((-2)/54). Suppose 11*x - y*x - 188 = 0. Does 7 divide x?
False
Suppose d + 79 = 35. Is 25 a factor of 96/d + 2 - 7154/(-22)?
True
Suppose -3 = -5*k + 7. Let g(h) = -15*h - 13 + 0*h**2 + 4*h**2 - 3*h**2 - 2*h**k. Is 19 a factor of g(-12)?
False
Suppose 36*r - 42*r + 12 = 0. Suppose a = -r*t + 681, 3*t + 3*a - 1359 = -t. Is t a multiple of 19?
True
Let f = -15 - -1. Let u(a) = 41 - 7*a**2 - 36 + 9*a**2 - 10*a + 34*a. Is 46 a factor of u(f)?
False
Suppose 4*n - 5*w = 33944, -4*w = -4*n + 49781 - 15845. Is n a multiple of 52?
True
Let j(b) = 713*b + 2000. Is 76 a factor of j(28)?
True
Suppose -23*a + 54*a - 938237 = 583832. Is a a multiple of 72?
False
Suppose -4*j - 2*g = -4956, 0 = 39*j - 34*j - 2*g - 6204. Is j a multiple of 4?
True
Let l(k) = -49*k**3 + 9*k**2 + 15*k. Let u be l(-2). Let q(t) = t**2 + 217. Let m be q(0). Suppose 0 = 2*c + b - m, 5*c - u - 141 = b. Is c a multiple of 28?
False
Let m = -6501 + 6738. Is m a multiple of 3?
True
Let h be (-125)/(-45) + -3 + 218/9. Suppose -4*q + 18 = 5*s, 0*s + h = 3*s - 2*q. Suppose 0 = -s*r + 50 + 22. Is r a multiple of 4?
True
Let n(w) = 61*w + 4. Let h be n(0). Let t(x) = -133*x + 3. Let o be t(-4). Suppose -5*f = -q + 183, f = -q + h*q - o. Is 29 a factor of q?
False
Let b(v) = v**2 + 8*v - 9. Let s be b(-9). Suppose s*x = -9*x + 126. Suppose -x*t = -591 + 59. Does 22 divide t?
False
Let i(v) = 105*v - 24. Let n(y) = 5*y**3 - 3*y**2 + 9*y - 7. Let f be n(1). Is i(f) a multiple of 36?
True
Let v be -1 - (67 - 0/(-3)). Let i be -3 + (-5 + -75 - 2). Does 16 divide v/i*4*30?
True
Suppose 0 = 11*n + 21049 - 245075. Is 34 a factor of n?
True
Let o be 10/(6*(-3)/9). Does 65 divide (-4878)/o - (-3)/(-5)?
True
Is (-52)/10 + 4 + (-432709)/(-145) even?
False
Suppose -3*s = -7*s - 5*z - 268, 0 = z. Let x = s + 661. Is 33 a factor of x?
True
Suppose 3*v - 6*h - 57895 = 38423, 3*v = 4*h + 96308. Is 17 a factor of v?
True
Let m(b) = 3*b**2 - 9*b - 80. Let i be m(7). Does 44 divide (i - -62)*(21 - -3)?
True
Let d = 4965 - 2687. Is d a multiple of 17?
True
Suppose -23073 = -4*r + 3*g, 8*r - 61671 = -5*g - 15470. Is r a multiple of 74?
True
Suppose q = 3*p + 3 - 2, 5*q - 19 = p. Let u be (-2)/q*-38*6. Suppose -4*y + 370 - u = 0. Is y a multiple of 9?
False
Let f(s) = -2*s**3 + 9*s**2 - s - 1. Let y be f(4). Suppose 6*x = -4*r + y*x + 1136, -4*x + 16 = 0. Is r a multiple of 25?
False
Suppose -23*a = -7*a - 288. Suppose 7280 = -5*w + a*w. Is 14 a factor of w?
True
Let p(y) = 23*y**3 + 8*y**2 + 1. Let r(t) = -8*t**3 - 3*t**2. Let a(h) = -4*p(h) - 11*r(h). Let b(z) = z**2 + 3*z - 2. Let o be b(-3). Is a(o) a multiple of 6?
False
Suppose 14*m - 3*m = 748. Let d = 132 - m. Is 6 a factor of d?
False
Suppose j - 3*j = 4*k - 18, 10 = 2*j. Suppose 0 = k*l - 0*l - 2. Let x(b) = 88*b**2 + 5*b - 3. Is 10 a factor of x(l)?
True
Let z = 264 + 44. Let y = z + -182. Is y a multiple of 22?
False
Let l = -442 + 305. Let y = 196 + l. Is y a multiple of 43?
False
Let c = 80 - 59. Suppose -7591 + 2845 = -c*b. Does 13 divide b?
False
Suppose 2*a - 44 = 3*j, 4*a + 74 = -4*j - a. Let s be (-3)/((-12)/j) + -8. Let p = 17 + s. Does 5 divide p?
True
Let n be 429/110 + 1/(-20)*-2. Suppose 0 = 5*d - 4*x - 620, 364 = -d + 4*d - n*x. Does 16 divide d?
True
Let k = 325 + -291. Is (k/51)/(2/6) - 0 even?
True
Suppose -15*c = -12971 - 10055 - 28514. Does 6 divide c?
False
Let w(v) = 54*v**2 - 17*v - 116. Does 8 divide w(-7)?
False
Suppose -4*f + 126 = -330. Suppose -403*i - 11315 = -38*i. Let q = f + i. Is q a multiple of 31?
False
Let h(x) = x**3 + 22*x**2 - 29. Does 83 divide h(-12)?
True
Suppose -8*g = -12*g + 28. Suppose 4*c + 4 = 0, 5*l + g*c = 2*c + 45. Is -1 + 55 - (-10)/l a multiple of 24?
False
Let q(k) = 35*k + 153. Let v be q(-37). Let h = -638 - v. Is 36 a factor of h?
True
Let j(n) = -n**3 - 20*n**2 - 103*n + 240. Does 39 divide j(-12)?
False
Let n(h) = 4*h + 2. Let g(f) = -99*f - 27. Let v(y) = -g(y) - 15*n(y). Is 16 a factor of v(5)?
True
Suppose -5*b + 332205 = -877*q + 872*q, 0 = 4*q - 12. Is 226 a factor of b?
True
Let u(g) = 3 + g - 8 + 4. Let j(c) = 4*c**2 - 3*c - 13. Let s(i) = j(i) + 2*u(i). Does 20 divide s(5)?
True
Let n be ((-1)/(2/4) - -1) + 3. Let a(s) = -s - s**3 - 4 + 6*s - 8*s + 9*s**n - 4. Is a(7) a multiple of 25?
False
Let g = 60 - -12. Let u = g + -67. Suppose -162 = -u*q - q. Is q a multiple of 3?
True
Let l(n) = n**3 - 9*n**2 - 26*n - 7. Let p be l(12). Suppose -148 = -t + p. Suppose 3*x - 75 = t. Is x a multiple of 16?
True
Let x(m) = -423*m - 115. Let y be x(-3). Suppose 6*c + 1151 = 9*c - k, -3*c + y = 2*k. Is 24 a factor of c?
True
Suppose 69*z - 14539 + 68461 = 88*z. Does 4 divide z?
False
Let j be 7/(-49)*7 - (-4 + 1). Suppose 0 = -5*x - p + 72 + 2526, -j*p + 516 = x. Is 36 a factor of x?
False
Suppose g = -2*v + 30875, 5*g = -3*v + 46269 + 54. Is v a multiple of 26?
False
Is 12 a factor of (-18 - -17)*(1 - -3 - -1) - -45470?
False
Let n = 13230 + 2994. Does 12 divide n?
True
Suppose a + 1 = 0, -11*l + 12*l - 3964 = -4*a. Does 31 divide l?
True
Suppose -13*w + 8*w + 440 = 0. Is 29 a factor of (0 - 0) + w + 22?
False
Let i be ((-1542)/9)/((-10)/(-75)). Let u = -718 - i. Is u a multiple of 9?
True
Let z(u) = -u**3 - 18*u**2 + 18*u - 11. Let b = -2 - 17. Let y be z(b). Is (44/y)/(1/6*1) a multiple of 11?
True
Suppose 4*m = 6*m - 824. Let z = m + -235. Let r = 402 - z. Is r a multiple of 15?
True
Suppose 15*a = 19 + 26. Suppose -3*b + a*d + 180 = 0, -4*b + 235 = -d + 2*d. Is b a multiple of 19?
False
Suppose 6*k - 21760 = -3*a + 2*k, 0 = a + 3*k - 7255. Does 14 divide a?
True
Let y(q) = 174*q**2 + 10*q - 8. Let j be y(3). Suppose 301 = -9*f + j. Is f a multiple of 3?
False
Suppose 11*c = -7 + 95. Suppose 4*t + 4*a - 88 = c*a, -4*t - 3*a = -53. Let d(s) = 7*s - 2. Is 14 a factor of d(t)?
False
Let b = 7322 - 1491. Is b a multiple of 74?
False
Let s be (-6)/(30/(-25)) + 19. Let d(r) = 2*r**2 - 8*r + 3. Let y be d(5). Suppose -s = y*p - 14*p. Does 4 divide p?
True
Suppose -5*i + 354 = 4*z, 50*z = -4*i + 49*z + 292. Let d = 1357 + -863. Suppose -5*n - i = -d. Is n a multiple of 14?
True
Let g = -403 - -757. Suppose 0*x - 4*x + 773 = 5*m, -2*x = -4*m - g. Is 25 a factor of x?
False
Let a(o) = o**2 + o. Let h(v) = 5*v**2 - 5*v + 5. Let i(c) = 3*a(c) + h(c). Let n(f) be the first derivative of i(f). Is n(2) a multiple of 10?
True
Suppose 5*j - 5*f = j + 9529, 5*j - 11900 = 4*f. Is 1/(3/(j + -3)) a multiple of 34?
False
Let d(k) = -8*k + 16 + 6*k + 0*k + 0. Let c be d(7). Suppose -6 = 2*p, 3*h - c*p - 150 = -3*p. Is 9 a factor of h?
False
Let z = -3 - -3. Suppose z = -0*d - 5*d. Suppose -j - 4*j + 190 = d. Does 9 divide j?
False
Let g = 380 + -234. Let d = -119 + 122. Does 27 divide (d/2 - g/(-4)) + -3?
False
Let q = -31 - -34. Suppose -5*w - 3*n + 7 = 0, -5*n + q = 8. Suppose w*t = 13 + 27. Is 5 a factor of t?
True
Suppose 22*z + 248545 = 481530 + 332019. Is 8 a factor of z?
Fa