= -3*q - 79. Let u be n(-27). Is (-3)/u*(-4 + (1 - 67)) a multiple of 5?
True
Let v(c) = -2949*c**3 - 2*c**2 + c + 2. Let p be v(-1). Suppose 0*w = 5*w, -3*w + p = 4*i. Suppose 0 = 7*j - 2*j + s - i, j + 5*s = 157. Does 7 divide j?
True
Is 34879 - ((-532)/48 + 29/348) a multiple of 10?
True
Suppose 6303 = 5*k - 13*g, 5*k + g - 6287 = -2*g. Is 5 a factor of k?
False
Suppose -q = 2*v + 127, -197 - 12 = 2*q - 5*v. Let t = q + 147. Is 15 a factor of t?
True
Suppose 2*d - 141 = -i, -2*i - d - 8 = -287. Suppose -3*y - 258 = -2*p, p - 8*y - i = -4*y. Suppose k - o = p, -25 = o + 4*o. Is k a multiple of 17?
False
Suppose -3316*y = -3342*y + 243646. Is 321 a factor of y?
False
Suppose 8*o - 11*o + 622 = 2*q, -o + 310 = q. Suppose -w + q = 36. Is w a multiple of 68?
True
Is 15 a factor of 2 - 22/2 - (-3690948)/172?
True
Let r(i) = 15*i - 597*i**2 + 1248*i**2 + 23 - 600*i**2. Is 23 a factor of r(-3)?
True
Is 23 a factor of (1710 - -70)*(244/70 - 6/21)?
False
Suppose 4*g - 3828 = -5*x, -4*g = 3*x - 2*g - 2298. Suppose 12*t - x = 2940. Is t a multiple of 37?
False
Let j = 173 + -168. Suppose j*b = 3*c - 0*b - 112, -4*b = -4. Does 7 divide c?
False
Is 127 a factor of ((-4482)/(-20169))/(1/(-337401)*-1)?
False
Let w = 756 - 1785. Let u = w + 1533. Is u a multiple of 36?
True
Is 35 a factor of (-1 - 4970/42)*-12?
False
Let v = 7227 - -1269. Is (v/27 - 7) + (-2)/(-6) a multiple of 77?
True
Suppose -217*t + 5*m + 81879 = -214*t, -3*t + m = -81915. Is 10 a factor of t?
False
Let z = 68 - 77. Let j(p) = -12*p - 60. Is 4 a factor of j(z)?
True
Let y(o) = -o**2 + 8*o - 1. Let q be y(8). Let x(j) = 3*j**2 + 2*j + 1. Let r be x(q). Suppose 0 = w - 3*p - 64, -r*w + 176 = 4*p + 28. Is 14 a factor of w?
True
Let i(r) = r**3 - 11*r**2 - 6*r + 16. Let q be i(6). Let x be ((-144)/40)/(3/q). Suppose -14*z = -9*z - x. Is z a multiple of 12?
True
Let t = 29 + -29. Suppose 9*d - 4149 + 954 = t. Does 87 divide d?
False
Suppose 5 = -7*x + 2*x. Let j be 0 + -2 + -127 + x. Let a = j - -264. Is 11 a factor of a?
False
Let y = -26243 - -47303. Suppose 7*w - y = -13*w. Is 60 a factor of w?
False
Let g(l) be the second derivative of -2*l**5/5 - l**4/4 + l**2/2 - 2*l. Let p be (-33)/18 - 20/120. Is 15 a factor of g(p)?
False
Let c(l) = l**3 + 20*l**2 - 5*l - 3. Let h be c(-20). Suppose -h = -2*n + 3*r + 92, n = 5*r + 112. Does 10 divide n?
False
Let x be 3*(-1)/(-9)*(-36)/(-4). Suppose -x*a + 68 = 2*s - a, 2*s - 62 = -4*a. Is s a multiple of 2?
False
Suppose -5*m + 3*v + 37078 = 0, 4*v + 8428 = -3*m + 30669. Is m a multiple of 28?
False
Let p(n) = n**2 + 7*n - 14. Let g be p(-14). Let m = g - 38. Suppose z + m = 254. Does 13 divide z?
True
Let s(p) = 11*p**2 + 9*p + 52. Suppose 14*r = -64 - 6. Is s(r) a multiple of 18?
False
Let s be 25*1 - 108/18. Suppose 4*i + 2970 = s*i. Is 66 a factor of i?
True
Let f = -3425 + 7235. Suppose -f = -35*v + 25*v. Is v a multiple of 21?
False
Suppose 2 = 3*n - 0*n + 2*a, 4*n + a = 6. Suppose n*o - 175 - 12 = -5*c, 0 = 5*c + o - 186. Let r = 1 + c. Is r a multiple of 19?
True
Is 14 a factor of 17 + (-27804)/(-12 - -6)?
False
Suppose -53*k = -61*k + 24632. Suppose -3005 = -13*o + k. Is 39 a factor of o?
True
Is 664/1162 - 542/(-7) a multiple of 12?
False
Suppose -4*s + 2679 = -237*h + 238*h, 4*h = -s + 10716. Is h a multiple of 47?
True
Let m be -4*(-2)/12*-336. Let w(x) = -17*x**2 + 221*x - 35. Let i be w(11). Let v = i + m. Is v a multiple of 23?
True
Let y(i) = 0 - 23 - 208*i - 2 + 292*i. Is y(4) a multiple of 11?
False
Let w(i) = -36*i**3 - 11*i**2 + 13*i + 142. Does 54 divide w(-8)?
True
Is (304/95 - 5/25)*1102 a multiple of 13?
False
Let f = -57 - -61. Suppose 64 = f*k + 5*s, k - 2*s + 5 = 2*s. Is 10 a factor of k?
False
Suppose 5*m + 45 = 0, -10 = -5*h + 5*m + 6800. Does 10 divide h?
False
Let u be 4/(-10) + 3369/(-15). Let p = 117 + u. Let m = p - -210. Is 33 a factor of m?
False
Let a be 24/(-8)*(-2 - -1). Suppose -a*y = -5*c + 206, -2*c + y = 3*y - 76. Let f = c - 24. Is f a multiple of 4?
True
Let r = 8181 + -6081. Is r a multiple of 20?
True
Suppose 4*j - 1 = 7. Suppose j*b - b = 3*y - 7, 1 = -y + 2*b. Suppose y*h + 58 = 5*c - 3*c, 5*h = 3*c - 87. Does 8 divide c?
False
Let v be (16/(-9) - -2) + 204/54. Let a be ((-22)/3)/(v/(-6)). Suppose 0 = a*w - 18*w + 455. Does 5 divide w?
True
Let a(s) = 2119*s**2 - 4*s - 11. Does 53 divide a(5)?
False
Suppose -83 = -t - 3*l, -2*t - 6*l = -l - 165. Let v be t/(-4)*(-3)/12. Suppose -v*k - x = -611, 5*k - 2*x - 583 = 25. Is 26 a factor of k?
False
Let j(k) = -k + 9. Let s be j(-5). Suppose -2*u - 1 = -3*u. Is 9 a factor of (-14904)/(-168) - u/(s/(-4))?
False
Let i(q) = 5*q**2 - 20*q + 804. Is i(26) a multiple of 22?
False
Suppose -3*x = -s + 2*x + 4, 0 = 4*s - 3*x + 52. Let i = s + 21. Suppose -i*v = 1 - 51. Is v a multiple of 10?
True
Let x = 1806 + 5636. Is 15 a factor of x?
False
Let r be (-3)/((-21)/16) - (-20)/(-70). Suppose 4*s + 727 = 3*t, r*t - 5*s - 292 = 202. Does 15 divide t?
False
Is -9*(9 + 283432/(-72)) a multiple of 9?
False
Let f = 45694 - 25134. Is 13 a factor of f?
False
Let o(l) = 23*l**3 - 9*l**2 + 2*l + 14. Does 13 divide o(5)?
False
Suppose -3*r + 4015 = 4*u - 5534, 4*r + 3*u = 12725. Does 11 divide r?
True
Suppose 252*g = 134*g + 138*g - 660580. Is 17 a factor of g?
False
Let s be (8 + -1)*4/14. Let u(y) = -2 + 3 + y**s - 4*y + 8. Is 6 a factor of u(3)?
True
Suppose 0 = 5*f + 4*v - 17, 5*v = -6*f + 7*f - 15. Suppose -f*r - 4*c = -108, 3*r + 10*c - 57 = 5*c. Is r a multiple of 12?
True
Suppose -8*v = -7*v - 2*u - 3274, -4*u + 16328 = 5*v. Is v a multiple of 19?
True
Let i be 4 - (27/(-5) - (-14)/35). Suppose 0 = -13*k + i*k + 680. Is k a multiple of 10?
True
Let a(c) = c**2 + 16*c + 6. Let y be a(-16). Let z(t) = 92*t + 184. Does 32 divide z(y)?
True
Suppose y = 5*k - 17247, -12*y + 8*y = -3*k + 10355. Does 23 divide k?
False
Suppose 4*i - 3*d - 30793 = 0, 0 = i - 5*d + 1249 - 8926. Is i a multiple of 14?
False
Suppose 26*v + 7113 = 2*h + 29*v, -17840 = -5*h + 4*v. Is h a multiple of 54?
True
Suppose 0 = -20*q + 51 + 49. Suppose 58 = -3*i + 6*i - q*l, -l - 20 = -i. Does 2 divide i?
False
Let h = 174 + -169. Suppose -h*m = -o - 4801, 5*o = 4*m + 3*o - 3836. Does 45 divide m?
False
Let z(m) = -8*m**2 - 11*m**2 - 138*m + 210*m - 19*m**2 + m**3 + 42. Is 3 a factor of z(36)?
True
Let d(p) = 617*p - 168. Is d(2) a multiple of 13?
True
Suppose 26*s - 30*s - r = -159, 3*r + 123 = 3*s. Let i(z) = -3*z + 3. Let j be i(5). Let o = j + s. Is 11 a factor of o?
False
Let d be (0/(-2))/((-4)/4). Suppose 8*h - 5*h - 327 = d. Let j = h + -26. Is j a multiple of 40?
False
Suppose -56*f + 23873 = -143233 - 34270. Is f a multiple of 31?
True
Let i be 9*((-6)/33)/(6/(-22)). Suppose i*t = -10*t + 7568. Is 14 a factor of t?
False
Let d(n) = n**2 + 37*n - 41. Let v be d(-37). Let m(t) = -6*t**3 + 3*t**2 + 3*t + 2. Let c be m(-2). Let o = c + v. Does 4 divide o?
False
Let j(c) = -2*c**2 - 106*c - 392. Does 3 divide j(-39)?
False
Let z = -614 + 617. Suppose 6 = 2*p, -1589 = -z*g + p - 194. Does 86 divide g?
False
Suppose 0 = -3*h + 13 + 23. Suppose -310 - 2318 = -h*f. Is f a multiple of 39?
False
Let t(b) = 380*b**2 - 60*b + 852. Is t(11) a multiple of 14?
True
Suppose -7*v = -3*g + 983, 6*v - 7*v = -1. Is 33 a factor of g?
True
Let q = 3678 - -551. Is q even?
False
Is ((-16)/10)/((3540/(-308550))/59) a multiple of 25?
False
Suppose -4*v - 6529 = -o, 4*o - 33016 = -v - 6968. Is 6 a factor of o?
False
Let c(r) = 2467*r**2 - 43*r - 8. Is c(-4) a multiple of 45?
False
Let m = 101 - 88. Suppose z = -y + m, 2*y = z - 0*z - 1. Does 16 divide (65*3)/(z/6)?
False
Suppose -i - 55249 - 29078 = -2*w, 0 = -4*w + 6*i + 168642. Does 45 divide w?
True
Let h(i) = 35*i**3 - 2*i**2 - 15*i - 14. Let o(k) = -141*k**3 + 8*k**2 + 60*k + 56. Let l(q) = -9*h(q) - 2*o(q). Is 6 a factor of l(-1)?
False
Let q be 2 + -10*(-12)/30. Let t(l) = -2*l**2 - 4*l + 4. Let p(g) = g**2 - 1. Let o(s) = 3*p(s) + t(s). Is 13 a factor of o(q)?
True
Suppose 3*t - 926 = -4*j, -121*j = 3*t - 120*j - 929. Is 62 a factor of t?
True
Let f(b) = -4*b**3 + 2*b**2 - b. Let w be f(1). Let l be w*3/18*-36. Suppose -o = 2*x - 56, -2*o = -x + l + 10. Is x a multiple of 7?
True
Let d be (-6)/(-48)*-2 - (-6138)/8. Suppose -d = 5*f + 4*r, 4*f = -4*r - 0*r - 612.