 + 25*t**2 + 30*t. Let n(k) = 113*k + 102. Let z(x) = 7*a(x) - 4*n(x). Is z(-6) a multiple of 23?
False
Let f = -4618 + 5626. Does 18 divide f?
True
Suppose -34*v - 688 = -26*v. Let f = v - -116. Is 12 a factor of f?
False
Suppose 2*y + h = -h + 3432, -3*y + 2*h = -5148. Is y a multiple of 13?
True
Let t(n) = n**3 - 3*n**2 + 3*n. Let d be t(2). Suppose d*z = -4*z + 150. Suppose -4*o = o + z, 84 = 2*r + 4*o. Is 13 a factor of r?
True
Let j(y) = 300*y**2 + 12*y + 11. Let m(s) = s**2 + 6*s. Let v(f) = j(f) - 4*m(f). Is 12 a factor of v(1)?
False
Let s(a) = -18 + 91 + 77*a + 5*a**2 - 2 - 25. Does 30 divide s(-22)?
False
Let h = -14 + 17. Let i(a) = h*a + 12*a**3 - 14*a**3 - 1 - 2*a**2 - 4*a. Does 22 divide i(-3)?
False
Suppose -2*k = -2*w - 26, -2*w + 23 = k - w. Suppose -4*j + 2 = k, -4*y = -5*j - 52. Suppose y*f - 25 = 7*f. Is f a multiple of 25?
True
Let t be 4/3*(-3)/(-2). Suppose 5*w = 3*w + t. Does 11 divide 324/(-20)*(w - 6)?
False
Let h be ((-80)/320)/((-2)/248). Is 13 a factor of 2*h*147/42?
False
Let o = 239 - 236. Is 7 a factor of (-13 + 16)/(o/238)?
True
Suppose -4*g + 410 + 369 = -3*o, 25 = -5*o. Suppose 3*f - g - 226 = -2*q, -843 = -4*q + 3*f. Suppose q = -3*a + z + 1121, 5*z - 325 = -a. Is 61 a factor of a?
True
Suppose -3*y = 4*f - 62885, -3*y - f + 43134 = -19727. Is 70 a factor of y?
False
Suppose 3*u + 4*m - 5 = -15, 5*m + 20 = 0. Suppose u*o + 0*o + 3*v - 1665 = 0, -2*v - 850 = -o. Is o a multiple of 21?
True
Suppose 0 = -31*y + 32*y - 3. Suppose 5*u - j - 73 = -0*j, 30 = y*u + 4*j. Suppose -2*s + 46 = -u. Is s a multiple of 5?
True
Let u be -5 - (-6 - (3 - 5) - 1). Is 12 a factor of 1381 + u - (5 - 4)?
True
Let y(v) = -8*v - 149. Let f be y(-19). Is 10 a factor of f*((-458)/(-3) + 3)?
False
Suppose 4*w - 2*w - 29 = -5*s, -2 = 4*w - 2*s. Suppose w*k - 5*x - 10 = 0, -4*x + 0*x + 1 = -k. Is 3 a factor of k?
True
Suppose -3 = -a - 5, 0 = -5*u - a - 42. Let o be u/(5 - 3) + -1*67. Let d = o + 107. Is 12 a factor of d?
True
Suppose -5*i + g = -7555 - 10253, 0 = -2*i - 2*g + 7128. Is 137 a factor of i?
True
Suppose 4*s + 3*d = 709, 2*s - d - 337 = -6*d. Let z = 542 + s. Does 12 divide z?
False
Let s be 9/(-5)*(-2 - -7). Let f(c) = -c**3 - 9*c**2 + 5. Let a be f(s). Let i(q) = 16*q + 9. Is i(a) a multiple of 27?
False
Suppose 0 = k - 2 + 14. Let i be (-176)/k*-3 + 4. Does 12 divide (-770)/(-8) - (-10)/i?
True
Let q(z) = -7 - 13 - 4 + 13*z**2 - 4*z - 9. Is q(7) a multiple of 15?
False
Suppose -4*j = -4*f - 20, -6*j = -3*j + 4*f + 6. Suppose 2201 = 5*c - j*b, b - 884 = 9*c - 11*c. Is c a multiple of 7?
True
Let z = 31 - 34. Let b be (33 - 34)/((-2)/30). Is 3 a factor of 650/b - 2/z?
False
Let l = 53 + -50. Suppose -6*s + l + 81 = 0. Let n = s + 14. Does 4 divide n?
True
Suppose -5*l + 11246 = 2321. Suppose 10*r + l = 5*r. Let j = 509 + r. Is 23 a factor of j?
False
Let m = 3 + 0. Let c(v) = -162*v + 9. Let q be c(m). Let s = q + 693. Is s a multiple of 27?
True
Suppose -5*y + 408 - 128 = 0. Let m(l) = l**3 + 2*l**2 - 13*l - 15. Let i be m(-4). Suppose i*j = -5*u + 100, 3*u + 3*j = j + y. Is 8 a factor of u?
True
Let j(m) = -7*m + 10. Suppose s = 10 + 1. Suppose -2*z = -x + 8, -3*z - 2*x = -6*z - s. Is 5 a factor of j(z)?
True
Suppose -8*k + 4*k = -3*c + 3873, -2*k - 1929 = c. Suppose h - 9*g + 4*g = -21, -2*h = -3*g + 42. Is 19 a factor of k/(-10) - h/(-35)?
False
Suppose 5*j = -4*l + 9642, -30*l + 31*l - 2385 = 3*j. Is 8 a factor of l?
False
Let l(h) = h**2 - 11*h + 20. Let n be l(9). Suppose 0 = -n*s + 4*q + 575 + 89, 3*s = -q + 1031. Is 9 a factor of s?
True
Suppose -2557*m + 2538*m + 18114 + 5085 = 0. Does 37 divide m?
True
Let i(q) = 4*q**3 - 14*q**2 - 28*q + 392. Is i(10) a multiple of 65?
False
Let h = -16 - -89. Suppose 195 = -5*w + 2*x, 40 - 20 = -4*x. Let z = h - w. Does 6 divide z?
True
Let w(n) = 41*n**3 + 6*n - 18. Let r be w(5). Suppose r = 9*x - 299. Is x a multiple of 43?
False
Let q(g) = 295*g + 718. Is 150 a factor of q(16)?
False
Suppose -1632*m = -1716*m + 374913 + 2133495. Is 126 a factor of m?
True
Let d = -5 - 9. Let r = -5 - d. Does 2 divide 9 - (-3 + 1) - r/(-3)?
True
Suppose -12 = -41*o + 152. Suppose -5*j = 5*m - 205, -56 = 5*j - 6*j - o*m. Is j a multiple of 36?
True
Suppose 0*p - 336 = 24*p. Let a(f) = f**2. Let h(l) = -5*l**2 + 12*l + 44. Let g(x) = 6*a(x) + h(x). Is g(p) a multiple of 24?
True
Suppose 502 = 4*c + 5*v + 95, 4*v - 305 = -3*c. Does 3 divide c?
False
Suppose 26*g = 78*g - 348660. Is g a multiple of 45?
True
Suppose 4*m = -4*f + 4740, 2*f = 5*m - 837 + 3207. Let g = f - 524. Is g a multiple of 16?
False
Let m(x) = -179 + 19*x - 5*x**2 - 8*x**3 - 2*x + 180 + 13*x**2. Is m(-2) a multiple of 15?
False
Let k = -120 - -122. Let t(r) = 13*r - 5 - 10*r**k - r**2 - r**3 + 15 + 13*r. Is 2 a factor of t(-13)?
True
Let q = -28980 + 40700. Is q a multiple of 31?
False
Is 70 a factor of (-16 - -25)*(-1240 + 1)/(9/(-10))?
True
Suppose -6*k - 3*x + 3 = -5*k, 2*k + 4*x = 6. Let q = 74 - 40. Suppose 109 = 2*y + 3*n, -k*n = -3*y - q + 190. Does 17 divide y?
False
Suppose 6875 = -11*d + 16224 + 38215. Is 5 a factor of d?
False
Let t be (-2)/((-9)/(18/4)) + 5. Does 50 divide 11/(t - 562/94)?
False
Let c(g) = g**3 - g + 32. Let d be c(0). Let y(v) = v**3 + 58*v**2 + 55*v - 102. Let f be y(-57). Is 6 a factor of (25 - -2)*d/f?
True
Suppose -3*f + 29 = -73. Suppose -72 = 31*j - f*j. Is 9 a factor of j?
False
Let f = -227 - -379. Is 16 a factor of (4 + -7 - 2) + f?
False
Suppose -32*r - 18*r = -281350. Is r a multiple of 17?
True
Suppose 2*l + 27*l - 29 = 0. Is 2 a factor of l/(-6)*-842 - 25/(-15)?
True
Let o = 14037 + -11397. Is o a multiple of 3?
True
Let n(k) = -k**2 - 32*k + 5. Suppose 4*z + 67 + 49 = 0. Does 6 divide n(z)?
False
Let x(q) = q**3 - 6*q**2 + 12*q + 4. Let t be (4 - (-28)/(-8))*-4 - -57. Let b = t + -46. Is x(b) a multiple of 30?
False
Let m = 53 - 17. Suppose 32*b = 34*b + 5*x - 13, -3*x - 12 = -b. Is (b - -1) + (31 - m) even?
False
Let p = -1639 + 2575. Suppose c = -c + p. Does 52 divide c?
True
Is 198 a factor of 3/(-13) - (-84118548)/988?
True
Let h be (47 - 14)/((-9)/(-30)). Does 11 divide (h/4)/((-3)/(0 + -6))?
True
Does 13 divide 513/(-24) + 21 + 904497/24?
True
Let g(n) = n**3 - 5*n**2 + 6*n - 6. Let u be g(4). Suppose -4 = -u*q + 2. Suppose 4*j - q*j - 72 = 0. Is 36 a factor of j?
True
Suppose -312 = -5*j - 3*i, 2*i - 286 + 36 = -4*j. Suppose -12 = -5*p + 8. Suppose -b = p - j. Does 12 divide b?
False
Let y be ((-27)/36)/((-24)/128). Suppose y*v = 2*f + 2784, 5*v - f = -2*f + 3480. Is 12 a factor of v?
True
Let y be -11 - ((-33)/(-9) - 3)*6. Let q = -1 - -4. Is 8 a factor of 9/q + y/(-3)?
True
Let h = -42778 - -59938. Is h a multiple of 33?
True
Suppose 0 = -3*r + j - 481, -221 = 4*r - j + 419. Does 8 divide 1 - 0 - (r + -37)?
False
Let f(t) be the second derivative of -t**5/20 + t**4/4 + t**3/6 - t**2/2 + t. Let g be f(3). Suppose -111 = g*c - 777. Is 45 a factor of c?
False
Let m be (-1)/(-3)*(-9 + 21). Suppose -4*p = -5 + 1, -4*p = -y - 1. Suppose -a + 164 = m*x, -5*a + 786 = y*x - 0*x. Is a a multiple of 26?
True
Let q(x) = 10*x + 393. Let k be q(-14). Suppose 7 = 4*h - 13, 2*o + h + 329 = 0. Let r = k + o. Is 28 a factor of r?
False
Suppose -3*x - 63*v + 66*v = -16101, -21489 = -4*x - 3*v. Is 6 a factor of x?
True
Let s = -2037 + 17259. Is 59 a factor of s?
True
Let o(r) = 2*r**2 + 28*r - 7. Let y(i) = -i**2 - 13*i + 4. Let d(v) = -4*o(v) - 9*y(v). Let m be d(-6). Does 7 divide m + 6 - (-1)/((-2)/(-188))?
True
Suppose -2*z + 19 - 15 = 0, 3*z + 19 = 5*h. Let y = 6 - 1. Suppose b - r = -2*b + 125, 0 = h*b + y*r - 175. Is b a multiple of 20?
True
Suppose -919 - 127 = -2*o - 3*j, 3*j = 4*o - 2056. Does 34 divide o?
False
Let a(g) = 24*g**2 + 299 + 4*g - 35*g**2 + 10*g**2. Is a(0) a multiple of 7?
False
Suppose -12*d = -6240 + 3960. Is d a multiple of 19?
True
Let i be (-2 + 5)/((-12)/(-3832)). Suppose -282 + i = 2*c - 4*l, -4*c + l + 1338 = 0. Let u = c + -238. Is u a multiple of 24?
True
Let l = 6 - -11. Suppose -3*p - 5*c - 14 = 12, -3*p + 4*c = l. Let f(n) = -n**3 - 5*n**2 + 8*n + 3. Is f(p) a multiple of 6?
False
Let h(g) = -116*g**3 + g + 21. Does 70 divide h(-3)?
True
Let z(n) = -n**3 + 6*n**2 + 4*n + 23. Let p be z(7). Suppose -4*j = -8, -p*r + 191 = 2*j - 173. Is r a multiple o