s. Is q(-9) a multiple of 2?
False
Let c(a) = 4*a - 6. Let q be 1/(-2)*(-4 + -14). Is 16 a factor of c(q)?
False
Is (1 - 11) + (830 - -1) a multiple of 38?
False
Let d be (-3)/(-9) - 2/6. Suppose -3*r = -3*l - 306, -3*r + 4*l + d*l = -302. Let w = r + -61. Does 16 divide w?
False
Suppose -4*m - 18 = -6. Let t(c) = -62*c - 8. Is 33 a factor of t(m)?
False
Let p = 9 - -70. Let w = -41 + p. Is w a multiple of 14?
False
Suppose -5 - 16 = -7*j. Let z = j - 1. Suppose 5*d - 28 = z. Is 6 a factor of d?
True
Suppose 5*l = -5*s + 45, l + s - 3*s = 3. Let m = l - -41. Is m a multiple of 12?
True
Is 2 a factor of (-91)/(6 + -3 + (-16)/4)?
False
Suppose k - 10 = -2*p, -4*p - 3*k - 14 = -36. Suppose -6 = p*h - 5*t, 5*t + 28 = -5*h + t. Does 6 divide ((-81)/(-6))/((-3)/h)?
True
Let t = 966 + -593. Is t a multiple of 23?
False
Suppose 4*n = 3 + 5. Suppose -6 = n*x - 3*g, x - 3*g + 3 = 6. Let p = x + 31. Is 11 a factor of p?
True
Let k = 413 - 159. Suppose i = -i + 5*l + k, -i - 3*l = -105. Is 13 a factor of i?
True
Let b = 486 + -385. Is 68 a factor of b?
False
Let f(o) = -122*o - 273. Is f(-6) a multiple of 17?
True
Suppose -8*t + 1420 - 36 = 0. Is t a multiple of 56?
False
Suppose -3*i + 377 = 2*b, 0 = -5*b + i + 669 + 316. Suppose 3*h + 2*u = u + b, -2*u = -5*h + 323. Is h a multiple of 13?
True
Suppose 3*f - 270 = 5*j, -2*f - 5*j + 63 = -92. Suppose 4*z - f = -5. Is 15 a factor of 6*2*25/z?
True
Suppose -3*t + 14 + 16 = 0. Suppose -48 + t = -2*w. Is w a multiple of 13?
False
Let h(m) = 8*m + 6. Let g be h(5). Suppose -g = -z - 18. Is 7 a factor of z?
True
Let a(w) = -2*w - 8. Let j be a(-6). Let i be 2/((-1)/(-5 + 4)). Suppose 4*v - j*g - 28 = -3*g, -v + i = g. Does 3 divide v?
True
Let g(r) = 1542*r - 96. Is g(2) a multiple of 18?
True
Let r(d) = d**3 + 7*d**2 + 5*d - 43. Is r(5) a multiple of 21?
False
Let r(c) = -c**3 + 7*c**2 - 3*c - 4. Let o be r(6). Suppose -10*a - 408 = -o*a. Does 9 divide a?
False
Suppose 3*g - 4*g + 21 = 0. Suppose x + g = 5*d, -21 = -5*x - 1. Does 2 divide d?
False
Let u = 7 + -6. Let j(p) = 267*p**3 - p**2. Let n be j(u). Suppose -n = -4*x - 2*t, -123 - 217 = -5*x - 4*t. Is x a multiple of 28?
False
Let d be -4 + (-30)/(-5 - -2). Let a(w) = w**3 - 7*w**2 + 7*w + 5. Let g be a(d). Does 8 divide (-10)/(-55) - (-471)/g?
False
Let y = 38 - 44. Does 9 divide -36*(2 - y/(-2))?
True
Suppose 44*h - 6930 = 6534. Is h a multiple of 29?
False
Suppose 5*u - 5*r + 8*r - 6704 = 0, r + 5353 = 4*u. Is u a multiple of 13?
True
Let x(h) = h - 3. Let g be x(6). Let n(a) = -56*a - a**2 + 56*a - 10*a**g. Does 3 divide n(-1)?
True
Let z(s) = -s**3 + 16*s**2 + 9*s + 12. Is z(13) a multiple of 12?
True
Let m = 573 - -879. Is m a multiple of 66?
True
Suppose 2565 = -111*v + 116*v. Is v a multiple of 37?
False
Suppose -10*u + 2*m = -8*u - 184, -2*u + m = -187. Is 48 a factor of u?
False
Suppose 5*t - 2*f - 28 = 0, t - 5*f = 4*t + 8. Suppose 0 = t*o - 6*o + 558. Does 31 divide o?
True
Suppose 3*x - 3*w - 822 = 0, 5*x - 930 - 480 = -5*w. Suppose o - 5*j = -2*o + x, 3*j + 474 = 5*o. Does 12 divide o?
True
Let g = -590 - -670. Is g a multiple of 4?
True
Suppose -5*o + 40 = 5*o. Is 9 a factor of o/10 - (-1308)/30?
False
Suppose -4*v + 2513 = -b + 349, 0 = -4*v - 2*b + 2164. Does 27 divide v?
False
Let i be (24/(-20))/((-21)/70). Suppose h + 0*w = w + 58, -i*w = 3*h - 153. Is h a multiple of 11?
True
Let x be 3/5 + 54/(-15). Is 9 - 0*(x - -4) a multiple of 6?
False
Let f(m) = -2*m**2 + m. Let v(q) = 9*q**2 - 8*q - 3. Let u(b) = 4*f(b) + v(b). Suppose -g = -2*g - 2*j + 19, -j + 14 = g. Does 29 divide u(g)?
False
Let r(w) = 268*w**3 + 3*w**2 - 15*w + 24. Does 15 divide r(2)?
False
Suppose 3*k = -4*z + 2107, 5*k + 2*z = -0*k + 3507. Is 19 a factor of k?
False
Suppose 2*j = 0, -2 = -2*o + o + j. Suppose c = 4*v + 2*c - 62, 34 = 2*v + o*c. Is 6 a factor of v?
False
Let h = 4289 + -1851. Is 53 a factor of h?
True
Let z = 9 - 17. Let j(s) = -10*s + 14. Let h be j(z). Suppose 5*a - h = 2*n, 2*n - 9 = -n. Does 10 divide a?
True
Let n(k) = 1 + 3*k**3 + k - k**2 - 1 - 2*k**2. Let i = 32 - 30. Does 3 divide n(i)?
False
Let l = 40 - -89. Does 32 divide l?
False
Suppose -26 = -5*t + 14. Let r(z) = z**3 - 9*z**2 + 13*z - 17. Does 7 divide r(t)?
False
Suppose -825 = -3*t + 594. Suppose 3*x - 135 = -4*b + 221, 5*b - t = -4*x. Is 28 a factor of x?
True
Suppose -35*f + 36*f - 565 = 0. Is f a multiple of 33?
False
Let j = -291 - -566. Is j a multiple of 55?
True
Let w = -5 - -8. Suppose 22 = -w*n + m, -4*n + 0*m + 2*m - 32 = 0. Let y = n + 15. Is 9 a factor of y?
True
Is (117/(-2))/((216/(-704))/9) a multiple of 66?
True
Suppose -2*n - 2*n + 292 = 0. Let r(j) = -16*j**3 + j**2 + 0 + 1 + 2*j - n*j**3 + 9*j**3. Does 26 divide r(-1)?
False
Suppose -2*d - 7 = -163. Let i = d - 22. Does 14 divide i?
True
Let v(z) = -3*z - 19. Let g be v(-8). Suppose g*t - q = 346, -2*t + q = -4*q - 120. Is t a multiple of 35?
True
Let v be (15/(-20))/((-1)/4). Let p be (0 + 3)/(v/2). Suppose -j = -p*u - 39, 4*u - 6*u - 138 = -4*j. Is 11 a factor of j?
True
Suppose 0 = 5*b + 28 - 38. Let x(h) = 13*h**2 - 2. Is x(b) a multiple of 25?
True
Let j(d) = -d**3 + 6*d**2 + 4*d - 7. Let i be j(6). Let n = 29 - i. Suppose f + f = n. Is f a multiple of 2?
True
Let i be (1 - (-2 - 1)) + 57. Suppose 0*c + i = c. Is c a multiple of 19?
False
Let k(f) = 14*f - f**3 + 15*f**2 - f - 8*f - 3*f**2. Is k(12) a multiple of 6?
True
Suppose -4*j + 4*y = -478 - 238, 0 = -5*j - 5*y + 945. Is 46 a factor of j?
True
Let f(p) = -p**2 - 21*p - 39. Let y be f(-19). Let d(o) = -194*o - 3. Is d(y) a multiple of 13?
False
Let q = -323 + 380. Is q a multiple of 3?
True
Does 27 divide (-136800)/(-288) + (-3)/(6/4)?
False
Let l be 1*(5 + 2 - -1). Is 52/l - (-2)/(-4) even?
True
Suppose -38 - 10 = 2*h. Let l be 10/4*(-2 + -3 + -7). Is h/5*l/4 a multiple of 15?
False
Suppose 0 = -2*m - 2*i + 720, 0*i - 2*i = -8. Does 34 divide m?
False
Let y(g) = -g**2 - 5*g - 2. Suppose 11*z = 7*z. Suppose z = 11*h - 8*h + 9. Is y(h) a multiple of 2?
True
Suppose -6*f + 13 = -4*f + h, 3*f - h = 17. Suppose 9*u = 4*u + v - 2, -3*u - 3*v + f = 0. Suppose u = 8*k - 4*k - 180. Is k a multiple of 29?
False
Let l be (4 + -1)/(3/8). Let t be (10/l)/((-3)/24). Let v = t - -13. Is v a multiple of 3?
True
Suppose 2*r + 4*v = 306, -5*r = 2*v - 458 - 339. Does 7 divide r?
True
Let q(d) = -d**2 + d. Let h(r) = 3*r + 2. Let c(w) = -h(w) - 2*q(w). Is 4 a factor of c(5)?
False
Let x(n) = -n**2 + 10. Let i(s) be the third derivative of s**5/60 - 3*s**4/8 + 4*s**3/3 - 3*s**2. Let m be i(8). Does 5 divide x(m)?
True
Let c(g) = -18*g - 5. Let z be c(-3). Suppose x + 36 = z. Does 6 divide x?
False
Let z = -4340 + 6164. Is 57 a factor of z?
True
Let o = 298 + -2098. Let m(a) = a**3 + 23*a**2 + 24*a + 52. Let x be m(-22). Is 17 a factor of o/(-32) + 6/x?
False
Let h(b) = 10*b**3 + 4*b**2 - 5*b + 4. Is h(2) a multiple of 6?
True
Let r be (-6)/33 + (-608)/44. Let p = r + 20. Let g(j) = -j**3 + 8*j**2 - 3*j - 5. Is g(p) a multiple of 18?
False
Is 8 a factor of (-5 - (-156)/(-36))/(1/(-6))?
True
Let h(g) = -4*g + 2. Let y be h(1). Let w(o) = -29*o - 5. Is 11 a factor of w(y)?
False
Let p = -26 - -31. Suppose -31 = -p*m + 564. Is 22 a factor of m?
False
Let l(b) be the third derivative of b**4/6 - 11*b**3/6 - 35*b**2. Let r = -26 + 36. Is 29 a factor of l(r)?
True
Let r(n) = -5*n - 2. Let f be r(-1). Let o(w) = 4*w**3 - 8*w + 4. Does 8 divide o(f)?
True
Is (44/12)/((-3774)/630 + 6) a multiple of 11?
True
Is (-3)/(-2) - 2023/(-14) a multiple of 11?
False
Let j(m) = 26*m - 61. Is j(11) a multiple of 9?
True
Suppose 4*q - 5*b = -0*q + 18, -5*q - 2*b + 6 = 0. Suppose 4*s - 723 = -3*d, -4*s + 2*s - q*d = -362. Is s a multiple of 45?
True
Let y be 3/(9/21) - 3. Suppose -y*p + 3*k = -k, -2*p = 2*k - 12. Suppose -p*a = -0*a - 24. Does 3 divide a?
False
Let a(f) = 144*f - 455. Is a(8) a multiple of 11?
False
Let f = 68 + 149. Let d = 35 + f. Is 42 a factor of d?
True
Suppose -5 = -5*z + b + b, -4*z = 3*b - 27. Suppose -4*w - z*s = 2*s - 416, -2*w - 4*s + 208 = 0. Suppose 67 + w = 3*a. Does 19 divide a?
True
Let n = -70 + 70. Suppose n = -46*c + 45*c + 19. Does 8 divide c?
False
Suppose 0 = v - 4 + 6. Does 11 divide -7 + (-6)/v - -27?
False
Let q = 82 - 46. Suppose 0 = -6*d + 4*d + q. I