de m?
True
Let y be (-2 - 12/(-8))*-34. Suppose y = r - 111. Is 16 a factor of r?
True
Let b(h) = -4*h - 3. Let x be b(-1). Let c(q) = 43*q**2. Is c(x) a multiple of 8?
False
Is 2/((-2)/(-3)*(-15)/(-1655)) a multiple of 13?
False
Let s = 11 - 67. Let x(z) = 2*z**2 - 17*z + 14. Let d be x(6). Is 9 a factor of (6 - 0)*s/d?
False
Let b(d) be the first derivative of 22*d**2 - 23*d - 4. Does 11 divide b(6)?
False
Suppose 4*j + 10 = -0*j - 5*n, 2 = -3*j - n. Let l(f) = -f**2 + 3*f + 56. Does 9 divide l(j)?
False
Let z = 13 - 8. Let r = z - -11. Let d = -10 + r. Is d a multiple of 2?
True
Let p(v) = v + 8. Let g be p(-2). Let a(z) = -z**3 + 8*z**2 + 14*z - 21. Is a(g) a multiple of 15?
True
Let h = -21 + 21. Suppose h*m - 5*m = 645. Let f = -60 - m. Is 23 a factor of f?
True
Suppose 111 = 3*h - 3*g, -2*h + 35 = -h + g. Suppose -h = -2*f - 138. Let v = -9 - f. Is v a multiple of 21?
True
Suppose -5*i + 6*a = 10*a - 218, 130 = 3*i + 2*a. Is i a multiple of 14?
True
Let n = 10 - 21. Let x = 15 + n. Suppose 20 = 4*t - x*j, 3*j - 25 = -5*t - 0. Does 3 divide t?
False
Let q(g) = g**2 - 16*g + 30. Let c(r) = r**2 + 1. Let z(d) = 2*c(d) - q(d). Does 8 divide z(-18)?
True
Suppose -2*w - 5 = -7*w + 2*g, -w - 2 = -g. Is 21 a factor of ((-630)/(-15))/(2/w)?
True
Is 1 + ((-2)/6 - 1022/(-6)) a multiple of 5?
False
Is 2 + -1108*(-6)/24 a multiple of 31?
True
Is (-12)/(-9) - 4*3038/(-12) a multiple of 78?
True
Let l(a) = 12*a**2 + 9*a - 15. Let j be l(10). Suppose 3*f + 25 = 5*u - 11, u + 25 = -4*f. Is 17 a factor of j/21 + (-2)/f?
False
Let d(w) = w**2 - 3*w - 14. Let g be d(6). Let s(y) = 2 - g*y + 7*y - 1. Is 4 a factor of s(4)?
False
Suppose 0 = 2*k - k - 4. Suppose -k*l - 43 = -251. Does 33 divide l?
False
Suppose b + 8*b = 1755. Suppose 13*d + b = 16*d. Is 13 a factor of d?
True
Suppose 320 = 34*l - 36*l. Let b = 318 + l. Is b a multiple of 5?
False
Let b = 13 + -9. Suppose -271 = -3*x - 4*h - 17, b*x = -2*h + 322. Is 13 a factor of x?
True
Let i(f) = -3*f + 30*f**2 + f - 31*f**2. Let x be i(0). Suppose x = -v - 2 + 7. Is v a multiple of 5?
True
Let n(q) = 0*q**3 - 15*q**2 - q**3 + 5 + 30*q - 54*q. Is n(-14) a multiple of 29?
True
Suppose 11*i - 2714 = 10*i - 4*k, -4*i = -4*k - 10916. Does 11 divide i?
False
Suppose 0 = 4*o - 4*w - 520, 308 = 5*o + 3*w - 382. Is o a multiple of 15?
True
Suppose -14*d = -60*d + 42090. Is d a multiple of 66?
False
Let n(x) = -6*x - 2*x + x**2 + 9*x + 5*x**3 - 2*x. Let j be n(1). Suppose 5*m - j*l = 105, 2*l + 3*l = -25. Is m a multiple of 8?
True
Let j(t) = 33*t + 466. Is 24 a factor of j(7)?
False
Let t(g) = -3*g - 18. Let d be t(-11). Let n = 67 - d. Is 13 a factor of n?
True
Let j(y) be the third derivative of 5*y**2 + 1/3*y**4 + 0 + 0*y - 11/6*y**3 + 1/60*y**5. Is j(-11) a multiple of 21?
False
Let k be (-1)/((-1)/(1 - -2)). Suppose -236 = k*v - t, -v - 2*t + 156 = -3*v. Let z = -45 - v. Does 17 divide z?
True
Suppose -7584 = -5*t - 2369. Suppose -7*c + t = -0*c. Suppose -2*u = -5*s + 4*s - c, 0 = -2*u - 3*s + 129. Is 12 a factor of u?
True
Let x(z) = 5*z**2 + z + 2. Let m(s) = -s**2 - 8*s + 12. Let k be m(-9). Is x(k) a multiple of 10?
True
Let w = -2094 + 1143. Does 4 divide 4/(-18) - w/27?
False
Suppose m + 4 = -3*l, -3*l + 4 = -m - 0*m. Let d be -1*(-2 + (-8)/m). Suppose d = z - 6 - 9. Is 11 a factor of z?
False
Does 46 divide 10*6/60 + 1747?
True
Suppose 20 = -0*x + 4*x. Suppose 76 = 3*m + 3*n + n, -m + 57 = -x*n. Is m/6*(-126)/(-8) a multiple of 30?
False
Suppose 0*g - 2*g = 4*l - 1376, -g + 685 = -l. Is g a multiple of 14?
True
Let p be (-26420)/(-18) + (-20)/(-90). Let y be (-16)/(-28) - p/(-28). Let v = -27 + y. Does 13 divide v?
True
Let g(x) = -31*x + 149. Is g(-9) a multiple of 16?
False
Is -6 + 251 - (2 + (-3 - -1)) a multiple of 44?
False
Suppose 44 = -h + 5*h. Let y = h + -4. Suppose 99 = y*q - 4*q. Is 5 a factor of q?
False
Let v(u) = 20*u**2 + 1. Let b be v(-1). Let j(f) = -7*f - 8. Let d be j(-6). Let c = d - b. Is c a multiple of 5?
False
Let w = 5 + -51. Let q = w + 92. Is q a multiple of 3?
False
Suppose -9*z + 577 = -179. Is z a multiple of 12?
True
Let v = -2 + 5. Suppose 4*m = 2*z - z + v, 0 = 3*z - m - 46. Suppose -c - 5 = -z. Is c a multiple of 4?
True
Let o = 1220 + -674. Is o a multiple of 16?
False
Let z(m) = 5*m + 176. Is z(26) a multiple of 24?
False
Does 4 divide -441*(-1)/7*6?
False
Suppose 0 = -c + 24 - 20. Suppose 2*v = -2*p + 130, 1 = -3*v + c. Is 15 a factor of p?
False
Suppose 2*y + 3*y = 10. Suppose -o + y*o - 115 = 0. Is 23 a factor of o?
True
Let k = 466 - 837. Let a = -260 - k. Is 37 a factor of a?
True
Let i(r) = r**2 - r - 16. Suppose -5*h - 15 = 0, 3*h + 27 = 3*t + h. Is 9 a factor of i(t)?
False
Suppose 3*m + m = 72. Let a = m + 26. Suppose -5*r + 236 = -a. Is r a multiple of 14?
True
Suppose 2*t = -4*h + 380, t + 2*t - 2*h - 578 = 0. Is 5 a factor of t?
False
Suppose -3*f - 2*z = -1408, -2*z + 7*z = -5. Does 47 divide f?
True
Let y(w) = 13*w**2 - 2*w + 9. Let x be y(6). Suppose -i + 2*i - x = 0. Suppose 4*s = -s + i. Does 31 divide s?
True
Let f = -7 - 3. Let w = 14 + f. Does 12 divide w/10 - 58/(-5)?
True
Suppose -5*z - 3*d + 239 = 0, -3*d = 2*d - 15. Let c = 8 + z. Is c a multiple of 16?
False
Let w = 38 + -12. Suppose -3*v = -74 + w. Is 7 a factor of v?
False
Let d be ((-24)/(-10))/(9/180). Is ((-8)/52 - 4/(-26)) + d a multiple of 16?
True
Let t(k) = 13*k**2 - 2*k - 15. Let i be t(-4). Suppose -2*x - s = -380, -4*x + 3*x + 5*s = -i. Is 24 a factor of x?
False
Suppose 0*b - 5*b = 0, 4*d + 2*b = 0. Suppose d*v + 3*a + 180 = 2*v, -4*a - 176 = -2*v. Is 16 a factor of v?
True
Let c = 15 + -8. Suppose -2*b - 149 = -5*y + c, 3*y + 2*b - 84 = 0. Is 7 a factor of y?
False
Let p(x) = 4*x**2 + 11*x - 22. Let z(g) = -5*g**2 - 11*g + 23. Let q(f) = 4*p(f) + 3*z(f). Is q(-15) a multiple of 7?
False
Let q = 920 - 562. Does 33 divide q?
False
Does 14 divide (-6 - 468/27)/((-1)/3)?
True
Let s(j) = j**2 + 3*j + 5. Let x be s(-2). Suppose -577 = -x*f + 2*q, f + 5*q - 542 = -2*f. Is f a multiple of 27?
True
Suppose w - p - 107 = 195, 5*w - 1534 = -p. Is w a multiple of 15?
False
Let t(g) = -g**3 + g**2 + 9*g + 143. Does 11 divide t(0)?
True
Let v = 570 + -357. Is v a multiple of 71?
True
Let k = -265 + 460. Is k a multiple of 13?
True
Suppose -3*w - b = -2229, -3*w + 2232 = 5*b - 3*b. Does 7 divide w?
True
Let p(z) = -z**2 - 2*z - 1. Let y(x) = 3*x**2 + 10*x + 9. Let f(a) = 2*p(a) + y(a). Does 4 divide f(-7)?
False
Let m = -9 + 12. Suppose -5*a = -2*q - 100 - 46, -q + 92 = m*a. Is 20 a factor of 4/(-3) + 640/a?
True
Suppose 7*j = 2*i + 2*j - 9, 2*i + 12 = -2*j. Let k = i - -19. Is k a multiple of 6?
False
Suppose 4*x - 2388 = -4*b, -2*b - 32 = -x + 559. Suppose 2*f - 4*z - x = -f, 4*f = 4*z + 800. Is 41 a factor of f?
True
Let p = 99 + -8. Let o = 361 - p. Is o a multiple of 18?
True
Suppose -5*k - 4*n + 5*n = -29, -26 = -2*k + 4*n. Suppose 86 = -k*m - 544. Is (m/4)/(11/(-22)) a multiple of 21?
True
Let s be 6/(-4)*((-12)/9 - -4). Is 20 a factor of (16 - (-3 + 5))*(-14)/s?
False
Let j = 2916 - 2500. Is 13 a factor of j?
True
Suppose 5*d = 565 - 60. Does 26 divide d?
False
Let d(k) = 7*k**3 - 13*k**2 - 18*k - 29. Let f(s) = -10*s**3 + 20*s**2 + 27*s + 43. Let y(u) = 7*d(u) + 5*f(u). Let m be y(10). Does 5 divide m/(-3) + 44/3?
False
Let z(w) = -w**3 + 5*w**2 - w + 2. Let f be z(5). Let x = f - -30. Does 9 divide x?
True
Let w be (4 - (-2 - -15))/(-1). Suppose 0 = u - 5*q - 33, 2*u - 2*q + 7*q = -w. Is u even?
True
Suppose -5*x + 10*x = 0. Suppose 3*f + 254 = 2*w, 0 = -x*f + f - 2. Does 26 divide w?
True
Suppose 2*j + 2*j - 21 = -5*l, -5*j + 19 = -l. Is 10 a factor of (j/(-3))/(7/(-420))?
True
Let f = -21 + 5. Let j = -16 - f. Let s = j + 11. Does 3 divide s?
False
Let k = -2016 + 3200. Is 73 a factor of k?
False
Let f = 88 - 184. Is 10 a factor of 9 + -7 + 2 - f?
True
Let x(a) = -55*a - 306. Is x(-13) a multiple of 17?
False
Suppose 1 = -4*j + 2*d + 391, 2*j - 5*d = 175. Suppose 305 = -5*z + j. Let p = z - -75. Is p a multiple of 9?
False
Let b(y) = -y**3 + 19*y**2 - 25*y + 8. Let v be (-2 + 0 - -1)/(6/(-102)). Is 11 a factor of b(v)?
False
Let q be (-456)/(0 - 4) - -2. Suppose 0 = 6*w - q - 388. Does 28 divide w?
True
Suppose 13*p = 12*p + 266. Suppose -x = v - 92, -p = -3*x - v - 0*v. Is x