. Suppose 122 = 3*a - 2*d + 505, -2*a + d - 257 = 0. Let y = a - l. Is y a multiple of 7?
False
Suppose -s - 29806 = -14*s + 38639. Is s a multiple of 72?
False
Is (14/(-10) - -1) + (-5157957)/(-805) a multiple of 149?
True
Suppose -14840 + 98840 = 12*r. Is 200 a factor of r?
True
Suppose -2167 = -4*j + 2201. Suppose 51*r - 55 = -3*y + 46*r, 2*r = 5*y - 40. Suppose -3*b + j = y*b. Is 31 a factor of b?
False
Suppose -10*t + 12*t = s + 21554, 2*t - 3*s - 21550 = 0. Is 34 a factor of t?
True
Let j = 40 + -34. Suppose -12 = -5*i - x, -i + 6*i + 3*x = j. Suppose 339 = i*h + 3*t, t + 437 = -2*h + 6*h. Is h a multiple of 34?
False
Let c = 21597 - 14243. Is c a multiple of 18?
False
Suppose -5*x + 24074 = -s, 2*x - 2*s - 9600 = -9*s. Does 29 divide x?
True
Suppose 290 = -3*u + 374. Does 10 divide 140/(-10)*(-200)/u?
True
Suppose 28*b - 3736 = 20*b. Suppose 4*r + i = 937, 4*i - b = -2*r + 3*i. Is 30 a factor of r?
False
Suppose -2*a - 50 = -h, -a + 187 = 4*h + 4*a. Is 3 a factor of 4*(-20)/h*(0 - 177)?
False
Let u be (-1737)/135 - -13 - 18326/(-30). Let j = -132 + u. Is 21 a factor of j?
False
Let q(i) = 330*i**2 + 5*i + 2. Let x be q(-1). Suppose -f + p = -x, -f + 5*p = -0*p - 339. Is f a multiple of 9?
True
Let h be (-48)/(-18)*(-3)/(-8)*298. Suppose -338 = -2*v - h. Is v a multiple of 12?
False
Let u = 212 + -99. Does 11 divide 1*(u + (-12)/4)?
True
Let a(p) = -12*p + 3950. Let q be a(0). Suppose 60*b = 50*b + q. Does 20 divide b?
False
Suppose -h = 0, 53 = -2*f - 5*h - 61. Let p = -54 - f. Suppose p*i - 224 - 244 = 0. Is i a multiple of 26?
True
Suppose -5*p + 866 + 2884 = 0. Suppose 0 = 6*c - 3036 + p. Is c a multiple of 11?
False
Let m be -4*(8 - 7) + 9. Suppose -264 = -7*b - m*b. Is b a multiple of 22?
True
Let t(y) = 214*y**2 + 2*y - 2. Let k be t(2). Let s = k + -475. Is 12 a factor of s?
False
Suppose 5*h - 1003 = -3*y, 80 = -4*h - 5*y + 872. Does 13 divide h?
False
Let o(q) = q**3 + 10*q**2 - 26*q - 3. Let c(n) = -n**2 - 11*n + 23. Let u be c(5). Let v = -69 - u. Does 21 divide o(v)?
True
Suppose -338968 = 463*y - 7501115. Is 45 a factor of y?
False
Let w = 82 - 72. Suppose -1136 = -w*b + 3664. Does 20 divide b?
True
Suppose -5*u - 45 = -5*d, -d + 35 = -4*u + 2*d. Let g(n) = 12*n**2 - 12*n - 3. Is g(u) a multiple of 21?
True
Suppose 4*u = 3*a - 7, 0 = 3*a - a + u + 10. Is (1 + -211)/(a/10) a multiple of 14?
True
Let v be (-16)/(-6 - -2)*(-5)/(-4). Suppose 0*z + 5 = z - 5*x, z + 5*x = -v. Suppose -4*k + s + 195 = 0, k - 2*k + 5*s + 44 = z. Is 5 a factor of k?
False
Let v be (-4)/(-20) - 11*(-3)/(-15). Let x be ((-162)/(-135))/(1*v/(-35)). Suppose -2*f + 45 = x. Is f a multiple of 9?
False
Let f(n) = n**3 + 12*n**2 + 9*n + 1. Let w be (-239)/5 - 8/40. Let a = w + 37. Is f(a) a multiple of 16?
False
Suppose -4*t + 345 = m + 56, -t - 2*m + 74 = 0. Suppose 9*a + t = 15*a. Does 3 divide a?
True
Is 62 a factor of (-8)/14 + 3/12 + 77009/28?
False
Let w = 5727 + -1313. Suppose 17*g = w + 4613. Does 35 divide g?
False
Suppose 2*l - 2699 = -5*o, 2*o - 2*l = 444 + 630. Is o a multiple of 9?
False
Suppose -5 = i - 4*w, -i - 7 = -5*w - 0. Suppose 3*q - 4*q = -i. Does 13 divide (-2)/3 - (-287)/q?
False
Is -3 - (-483)/147 - 1384/14*-107 a multiple of 86?
True
Suppose 138*r - 141568 = 10*r. Does 14 divide r?
True
Let g(l) = -l**2 - 29*l + 26. Let b be g(-30). Suppose 0 = -m + 3. Does 2 divide (3 + -8 - m)*3/b?
True
Suppose -3*c - 9*s + 751 = -10*s, -2*c - 5*s = -529. Suppose 16*v = c + 3828. Does 11 divide v?
False
Let q(a) = -a**3 - 3*a**2 + 8*a + 9. Let n be q(-6). Let s = 229 - n. Suppose 3*p - y = 4*y + 96, 5*p = y + s. Does 16 divide p?
True
Let f = 1191 - 1105. Does 43 divide f?
True
Suppose -10820*a + 10833*a - 296608 = 0. Does 32 divide a?
True
Is 27 a factor of 210*(32 - (0 - -5))?
True
Let l(x) = -x**3 + 15*x**2 - 12*x + 24. Let j = -124 - -138. Is 13 a factor of l(j)?
True
Suppose 3*v + 4*o = 32, o = -7*v + 5*v + 23. Is 38 + -1*v/3 a multiple of 18?
False
Let z = 556 + -556. Suppose 71*o - 64*o - 1904 = z. Is 34 a factor of o?
True
Let b be ((-99044)/176)/((-1)/4). Suppose 3649 = 25*l - b. Does 14 divide l?
False
Let w(a) = a**3 - 9*a**2 + 8*a + 2. Let h be w(8). Let j be (-1)/(h - 5/2). Does 3 divide 2/((2/80)/(1/j))?
False
Let f(s) = 52*s**2 + 33*s - 77. Is f(9) a multiple of 27?
False
Let s = 55 + -28. Let m be 0/(9/(s/(-6))). Suppose 8*p - 27 - 69 = m. Is 7 a factor of p?
False
Let o = 13 + 2. Suppose 2*i - 3*z - o = 0, 3*i = -0*i - 4*z - 20. Suppose -8*y + 55 + 905 = i. Is y a multiple of 16?
False
Let k(i) = 2*i**2 + 105*i + 1320. Let d be k(-32). Let s(l) be the third derivative of l**5/20 - 5*l**4/24 - 20*l**3/3 - l**2. Is 16 a factor of s(d)?
True
Suppose -4*i - 2*y = -70260, -135*i + 136*i - 2*y = 17580. Is i a multiple of 183?
True
Suppose 6*q - 11*q + 2005 = 0. Let b = q - 109. Does 45 divide b?
False
Let n(b) be the first derivative of 5*b**2/2 + 6*b + 33. Is 12 a factor of n(6)?
True
Suppose 0 = 4*u - 3*k + 53, 0 = -3*u - 3*k - 59 + 14. Let p = 11 + u. Does 17 divide p + 2 - -70*(-1)/(-2)?
True
Let p be 9/(-48)*4*-32. Suppose 2*l = j - p, 4*l = 4*j + j - 108. Is j a multiple of 8?
False
Suppose 38668 = 725*g - 711*g. Is g a multiple of 10?
False
Suppose 0 = -4*k + 1020 + 24212. Suppose -k = -7*g - 806. Is 6 a factor of g?
True
Let p = -8770 - -16746. Is 111 a factor of p?
False
Suppose -2*h = 4, 5*y + 8*h - 11277 = 3287. Is y a multiple of 162?
True
Let j = -14814 + 21769. Does 107 divide j?
True
Let n(q) = 33*q + 1336. Does 5 divide n(78)?
True
Let d(u) = u**3 - 8*u**2 + 3*u - 9. Suppose 106 - 274 = -3*v. Let x = v + -48. Does 15 divide d(x)?
True
Suppose 5*u + 3*a = 155, -97 = -5*u + 3*a + 28. Let p = u + 54. Suppose 31 = -3*g + p. Is g even?
False
Let v(g) = -g**3 + 10*g**2 - 40*g + 336. Is 46 a factor of v(8)?
False
Let v = 614 + 8311. Is v a multiple of 15?
True
Suppose 2*n - 5*a - 82 = 118, 0 = -4*a + 16. Let y = n - -3. Is 11 a factor of y?
False
Let u = 3 + -2. Is 2 a factor of (50/(-20))/((1/(-18))/u)?
False
Let n = 5539 + -3283. Is n a multiple of 16?
True
Is (-600840)/(-570) + 2/(-19) a multiple of 31?
True
Suppose -2*c - 3*a - a = -1442, -5*c + 3633 = -4*a. Suppose 4*s = -5*n + 1804, -4*n - c = -6*n - 5*s. Does 45 divide n?
True
Suppose 4*x + f = 833, x + 0*x = 4*f + 187. Is 18883/x + 6/(-27) a multiple of 13?
True
Suppose -c + 3944 = 4*v + 3*c, -3*c = 2*v - 1968. Let t = -551 + v. Does 56 divide t?
False
Let a(o) = -o**3 - 6*o**2 - 5*o + 9. Let f be a(-9). Suppose 35*u - f = 34*u. Suppose u = 20*j - 17*j. Is j a multiple of 11?
True
Let o(z) = z**3 + 6*z**2 - 3*z - 4. Let a be o(-5). Suppose -16 = 2*q + 5*d - 72, 2*d = -8. Let x = q - a. Is x a multiple of 2?
True
Does 60 divide (-4)/(-5) - ((-315216)/(-90))/((-2)/16)?
True
Let y(t) = 52*t + 32. Let i(k) = 53*k + 33. Let d(p) = 5*i(p) - 6*y(p). Let m be d(13). Let a = -446 - m. Is 12 a factor of a?
True
Let r = 23 + -19. Suppose z + 0*c + 3*c - 177 = 0, 0 = r*c - 20. Is 6 a factor of z?
True
Suppose 5*p - 5015 = -3*h, 4*h - 35*p - 6735 = -32*p. Does 40 divide h?
True
Let k(a) = -911*a + 875. Is 28 a factor of k(-7)?
True
Suppose 5*n - 67 = 3*r + 4, 2 = -r. Suppose l = -0*l - n. Let o = 34 + l. Does 11 divide o?
False
Let a(z) = -z**3 - 11*z**2 + 25*z - 53. Let p be a(-12). Let s = p + 321. Does 9 divide s?
False
Let j = -2528 + 2606. Suppose -3*u - 3*r + 0 + 3 = 0, 0 = 2*r + 2. Suppose -2*p + 29 = -v - j, u*v = -2. Is p a multiple of 13?
False
Let w be (-1612)/20 - 1*(-8)/(-20). Let n = 108 + w. Does 3 divide n?
True
Let u(z) = z**3 - 5*z**2 + 9*z. Let i be u(2). Suppose -6356 - 670 = -i*d. Does 76 divide d?
False
Let r(s) = -s**2 - 6*s - 4. Let v be r(-3). Suppose 3*y = -3*y + v*y. Suppose y = -2*j - 4*j + 336. Is 7 a factor of j?
True
Let w = 437 - 375. Suppose -3*u - 355 = -5*z - 6, -z - 2*u = -w. Does 34 divide z?
True
Let m(n) = -1057 + 16*n**2 + 2*n + 2121 - 1058. Is 36 a factor of m(-5)?
True
Suppose -5*o - l = l - 1420, 3*l = 15. Let i = 546 - o. Is i a multiple of 22?
True
Let w(y) = 10*y - 89. Let g be w(-19). Let o = g - -435. Is 7 a factor of o?
False
Suppose -28*d + 23*d + z - 1638 = 0, -4*z = -d - 339. Let y = d - -419. Is 3 a factor of y?
False
Let i be (-7752)/(-95) + 2/5. Suppose 0 = 4*a - 2*a - i. Is a a multiple of 10?
False
Let o(l) = 2*l + 20. L