 -4*z + 49 = a*s, -5*z + s = -38 - 45. Suppose 0 = 3*b - z*b + 767. Is 8 a factor of b?
False
Let r(p) = 5*p + 112. Let m(k) = k + 28. Let j(c) = -9*m(c) + 2*r(c). Let f be j(13). Let v(u) = u**3 + 14*u**2 - 16*u + 7. Is v(f) a multiple of 11?
True
Suppose 42718*y + 845138 = 42752*y. Is 17 a factor of y?
False
Suppose -2439 = 6*h + 999. Let j = 663 + h. Is j a multiple of 11?
False
Let h(d) = d**3 - 12*d**2 - 12*d - 7. Let u be h(13). Suppose -9*s = u*s - 1230. Let a = s - -92. Does 29 divide a?
True
Let z(i) = -i**2 + 6*i - 6. Suppose 95 = 4*d + 79. Let k be z(d). Suppose j - k*o - 5 = 8, 2*o = 3*j - 35. Is j a multiple of 3?
False
Suppose 71*i = 78*i - 49. Suppose 0 = v - x - 249, -5*v = -i*v - 2*x + 514. Does 11 divide v?
True
Let i(k) be the second derivative of 3*k**4/4 - 25*k**3/6 - k**2/2 + 22*k + 3. Does 14 divide i(-5)?
False
Suppose c - 3 - 50 = 0. Suppose 576 = -49*i + c*i. Is i a multiple of 18?
True
Let j(q) = q**3 - 8*q**2 + 32*q - 4. Let o be j(4). Suppose 2*p - 4*n + n = 68, -4*p = -4*n - 144. Let v = o - p. Is v a multiple of 4?
True
Suppose -24820 = -5*s + q - 867, -s + 4799 = 4*q. Is 16 a factor of s?
False
Suppose 192 = -2*g + 206. Suppose -g*j - 1647 = -10*j - 4*v, 5*v = j - 549. Is j a multiple of 69?
False
Let b(k) = -10586*k + 10610*k - 156 - 74. Is b(16) a multiple of 7?
True
Suppose 3*s = 6*s - 153. Let g(l) = 53 + 3*l - s - 2*l + 234*l**2. Is 47 a factor of g(-1)?
True
Let u(r) = 5*r**2 - 9*r + 24. Let b(i) = 3*i**2 - 5*i + 12. Let d(t) = -7*b(t) + 4*u(t). Let n be d(3). Suppose n = 11*o - 12*o + 84. Is o a multiple of 21?
True
Let z be (-8)/3*1695/(-10). Suppose 0 = -25*h + 52*h - 243. Suppose -z = -h*k + 448. Is k a multiple of 10?
True
Suppose 0 = -i - b + 13, -5*i + 3*i - 3*b + 30 = 0. Let r be 174/i*9/(-6). Let q = -9 - r. Does 17 divide q?
False
Let p(d) = 58*d**3 + 8*d**2 - 13*d - 30. Does 14 divide p(3)?
False
Is (-9948772)/(-1128) - (-4)/24 a multiple of 21?
True
Let s = -7966 - -17656. Is s a multiple of 57?
True
Let t = 293 - 215. Suppose -5*o + 360 = 3*b + 2*b, -2*b = -o + t. Is 2 a factor of o?
True
Let j(b) = -9*b + 38. Let o be j(4). Let d be 0 - (-1 + o) - (-6)/(-6). Is 43 a factor of (d + 1)/(4/(-952))?
False
Suppose -4*z = 4*q - 1140, -z + 1149 = 20*q - 16*q. Does 93 divide q?
False
Suppose -3 = -5*n + 12. Suppose 0 = -n*k + 4*z, -4*k + 5*k - 3*z = -5. Suppose v - 2*v + 26 = m, k*v = -2*m + 94. Is 21 a factor of v?
True
Let c = 805 + -802. Let m(j) = 135*j**2 - 4*j + 1. Is m(c) a multiple of 17?
False
Let u(l) = 5*l - 35. Let r be u(7). Suppose -t + 3*f + 89 = r, -3*f - 249 = -7*t + 4*t. Does 16 divide t?
True
Let f(a) = -a**2 - 17*a + 33. Let j be f(-19). Is 838 - (-3 + 5) - j a multiple of 29?
True
Suppose -5*m = -2*a - 1522, 3*m + 2*a - 917 = 7*a. Suppose 3*j - 150 = -2*v + 138, -2*v + m = -5*j. Is 21 a factor of v?
True
Is (((-88)/(-6))/(15/(-45)))/(16/(-1128)) a multiple of 6?
True
Let g be (-2 - -42)*(-30)/25. Let a = -41 - g. Suppose a*t - 90 = 4*t. Is t a multiple of 4?
False
Let g(a) = -2*a**2 + a + 78. Suppose x + x + 2*q - 20 = 0, 38 = 3*x - q. Let k = x - 12. Is 13 a factor of g(k)?
True
Suppose -2*t = 6, 1486 = 2*a - 6*t + 2*t. Let x = a + -313. Is 44 a factor of x?
False
Suppose 0 = 214*a - 217*a + 2*n + 8850, -5*a - n + 14737 = 0. Does 44 divide a?
True
Let j(a) = 3*a**3 - 11*a**2 + 75*a - 76. Is j(12) a multiple of 79?
True
Let d = 5898 + -1851. Is 170 a factor of d?
False
Let h(s) = s**3 - 12*s**2 + 13*s + 4. Let o be h(11). Suppose -o*q + 1620 = -20*q. Does 5 divide q?
True
Let z(y) = 5*y - 22. Suppose 22*h + 46 = 20*h. Let p(g) = -g**3 - 24*g**2 - 25*g - 34. Let a be p(h). Is 38 a factor of z(a)?
True
Let a be (4 - 0) + (-10)/5*4. Is 4 a factor of ((-6)/9 + (-259)/12)*a?
False
Let g = -592 + 1095. Suppose 2*j - 45 = -g. Is 38 a factor of (-6)/18*(j + 1)?
True
Let v = -34 + 60. Suppose -k + 2 + v = 0. Is 3*k/(-12)*-22 a multiple of 14?
True
Is 10 a factor of (-7)/(-21) - (2 - 55726/6)?
False
Let a be 4 + 4095/7 + 3/3. Let j = a + -350. Is 27 a factor of j?
False
Let s be (-35 + 201)/((-4)/(-2)). Suppose 6 = -o + s. Is o a multiple of 11?
True
Let v be (42/15 - 4)/(4/(-20)). Is (-4)/v - (-20900)/30 a multiple of 19?
False
Let o be -1 + 7174/14 + (-60)/(-105). Let b = o - 226. Does 17 divide b?
False
Suppose -b = -5*b + 5*p + 42, -3*b - p + 22 = 0. Suppose -b*h = -13*h - 15. Is 13 a factor of (-2)/15*h + 896/35?
True
Let h(g) = 84*g**2 - 163*g - 3534. Does 14 divide h(-24)?
True
Let c(j) = -2*j - 38. Let i(d) = -15*d - 303. Let x(h) = 33*c(h) - 4*i(h). Let n be 104/(-8) - (3 + -1). Is 8 a factor of x(n)?
True
Let g = 15599 - -7119. Does 74 divide g?
True
Let r be (-1)/(1 - (-2 + 4))*4. Suppose -4*x - t + 41 = -0*t, -2*x + r*t = -16. Suppose n - x = 6. Does 4 divide n?
True
Suppose r - 33 + 2 = 5*g, 0 = r + g + 5. Suppose -4*u + 0 = q - 11, -2*u = q - 5. Does 13 divide 459/(-2 - r)*q/3?
False
Let h be (1 - 0) + 8616 + 2 + 11. Suppose 102*q + 3 = 99*q, 5*f = 5*q + h. Is 69 a factor of f?
True
Suppose 2*y = 3*o + 105, -5*y + 254 = -3*o + 4*o. Suppose 0 = -5*z + 289 + y. Does 17 divide z?
True
Let b(h) = -8*h**3 - h + 2 - 2 - 152*h**3. Is b(-1) a multiple of 66?
False
Let f(u) be the second derivative of -u**4/12 + 4*u**3/3 - 9*u**2/2 - u. Let d be f(2). Let l(h) = h**3 - h**2 - 2*h + 1. Is l(d) a multiple of 8?
False
Suppose -i = -5*b + 171, 4*i + 2*b + 722 = 3*b. Let h = 1 - i. Is h a multiple of 26?
True
Suppose 8*c = 5*l + 5*c + 107, -5*c - 115 = 5*l. Is 2 a factor of 4 + (-1242)/(-66) - 4/l?
False
Let g(j) = -j**3 - 3*j**2 - 2*j. Let n be g(-3). Let h = -135 + 145. Suppose -h*q + 644 + n = 0. Is q a multiple of 17?
False
Let j(v) = 5*v**2. Let c(h) be the second derivative of -h**5/20 + 13*h**4/12 - 2*h**3 + 2*h**2 - 9*h. Let i be c(12). Does 10 divide j(i)?
True
Suppose 0*n - 3*n = -5*a + 2121, 1269 = 3*a - 3*n. Does 2 divide a?
True
Suppose 0 = -d - 121 + 53. Let m = -63 - d. Is 16 a factor of ((-26)/(-5))/(m/50)?
False
Let o be (12350/15)/(-1) + (-4)/6. Let b = o + 1213. Suppose -2*a - 5 = -b. Does 12 divide a?
True
Let z(d) = 2305*d**2 + 46*d - 20. Is 14 a factor of z(4)?
True
Let v = -4 - 4. Let f = -4 - v. Suppose -m + f*m - 5*l - 281 = 0, -485 = -5*m + 5*l. Does 13 divide m?
False
Let p = 57 - 48. Let z(s) = -s + 2*s**3 - 16*s**2 + 0*s - 8 + p*s + 35*s**2. Does 32 divide z(-8)?
False
Suppose 3*a + 3086 = 5*d, 0 = -4*d + 2*a + 1843 + 627. Suppose 0 = 3*x - f - d, -3*x = -7*x - 5*f + 800. Is 11 a factor of x?
False
Let u = 5942 + -3521. Is 77 a factor of u?
False
Suppose -2*d = -18*d - 6*d + 567072. Does 12 divide d?
True
Suppose -4*m + 500 = 5*x - 2*m, -5*x + 5*m = -535. Let k = -75 + x. Suppose -4*y + k = -153. Is y a multiple of 15?
True
Suppose 6379 = 2*o + d, 4 = -0*d - 4*d. Let p = o - 1880. Suppose 0 = 28*w - 23*w - p. Does 15 divide w?
False
Let c(y) = -y**3 + 5*y**2 - 21*y + 36. Let u be c(13). Let d = u + 2415. Does 52 divide d?
False
Let o = 87 - 87. Suppose o = -38*f + 43*f - 25. Suppose -7*p + f*p + 134 = 0. Is 7 a factor of p?
False
Let t be 12/(-18) + (-789)/(-9) + 3. Is 13 a factor of (-4294)/(-30) + (-12)/t?
True
Suppose -113*w = -523716 - 594758. Is 80 a factor of w?
False
Suppose 0 = -5*s - 6*s - 220. Let o(c) = c**3 + 21*c**2 + 22*c - 24. Let i be o(s). Let y = i + 98. Is y a multiple of 15?
False
Let p(c) = -c**3 - 11*c**2 - 17*c + 13. Let w be p(-9). Suppose -2*d + 91 = w*q - 315, 0 = -3*d - 9. Is q a multiple of 9?
False
Let r = -17 - -22. Let c(i) = -4*i + 0*i + 1 + 5*i + 4. Is c(r) even?
True
Let t be (0 - 80)*13*10/325. Let y = -67 + 136. Let m = t + y. Is m a multiple of 7?
False
Let o(x) = -9*x + 47. Let k be o(-8). Let r = k - 26. Let y = -73 + r. Does 7 divide y?
False
Let z be (-14)/(-4) + 4/8. Suppose -189 = -2*c + 3*u, -c - 6*u = -z*u - 98. Does 32 divide c?
True
Let m(v) = v**3 + 12*v**2 + 12*v + 11. Let t be m(-11). Let k be ((-370)/(-15) - t)*-6. Let l = -76 - k. Is l a multiple of 36?
True
Let d be (96/14 - 1) + 140/980. Is (-4)/(-6) + 14/d + 146 a multiple of 17?
False
Let c be (-12)/(-9)*3 - (11 + -14). Suppose 0 = i + 4, 0 = 8*k - c*k + 3*i - 164. Does 8 divide k?
True
Let h be (-8)/(-3)*6/4. Suppose 7*f + 272 - 265 = 0. Does 5 divide (38/h)/((-6)/(-4) + f)?
False
Suppose -5*g + 2 = -c, 5*g - g + 2 = -c. Suppose g = k - 3, 0 = u + 3*