 a factor of m(-2)?
False
Suppose 4*k + 19*k = 37957 + 84288. Is k a multiple of 85?
False
Let t(x) = 16*x**2 - 101*x - 230. Is t(-32) a multiple of 9?
True
Let s(z) = 3*z**2 + 12*z - 7. Let j(w) = -4*w**2 - 13*w + 7. Let k(u) = -4*j(u) - 5*s(u). Does 7 divide k(15)?
True
Suppose -107128 + 18160 = -12*x. Does 35 divide x?
False
Let v = -346 - -158. Let w = v - -470. Suppose 2*b + 5*k = 199, 2*b - 2*k + w = 5*b. Is 10 a factor of b?
False
Suppose -15 = -5*u, 2*u = 2*v - u - 5123. Is 90 a factor of (-248)/186 - v/(-3)?
False
Let p(a) = -a**3 - 12*a**2 + 42*a - 34. Let w be p(-15). Suppose w*d - 572 = 583. Does 16 divide d?
False
Suppose -1594 = -2*o + 37*z - 42*z, -2*o + 3*z = -1546. Does 4 divide o?
False
Does 19 divide 100192/24*(-33)/(-22)?
False
Suppose t + 17 = -2*o, 1 = -2*o - 3. Let x(d) = 2*d**2 - d + 26. Is 17 a factor of x(t)?
False
Suppose 0 = 15*n - 67 + 37. Suppose p + 5*l = n*l + 7, 5*l = 2*p - 58. Is 2 a factor of p?
False
Let h(n) = 7728*n - 18. Is h(2) a multiple of 81?
False
Suppose -73745 = -10*r + 70425. Is 18 a factor of r?
False
Let n be 58 - (-2)/((-4)/6). Let b = -53 + n. Suppose 0*c = -b*c - 3*o + 135, 5*c - 357 = -o. Does 7 divide c?
False
Suppose 1427*a - 9944 = 1419*a. Does 7 divide a?
False
Suppose -18*o = -30*o + 60. Suppose -o*v + 2479 = -3811. Does 26 divide v?
False
Let t(s) = s**3 - 14*s**2 - 28*s + 293. Is 37 a factor of t(21)?
False
Let k be 12/9*3/1. Suppose 89 - 1957 = -k*n. Suppose 177 = -10*u + n. Is 5 a factor of u?
False
Suppose 116*x - 4932807 = -5*x. Is 58 a factor of x?
False
Let i be 57*4 + -1 + 1 + -1. Let v(m) = -2*m**2 - 7*m - 19. Let o be v(-10). Let u = o + i. Does 12 divide u?
False
Let j(c) = 5*c**2 - 13*c + 8. Suppose 51*s - 54*s = -15. Let h be j(s). Let t = 8 + h. Is t a multiple of 19?
True
Suppose 3*z + 9 = 0, 3*z - 2068 = -5*y - z. Is 32 a factor of y?
True
Suppose -14 = -u + 4*f, 2*f + 1 = -4*u + 3. Suppose -4*q - 2*c + 1190 = 0, -q + 910 = u*q - 2*c. Does 30 divide q?
True
Suppose 5*w - 4480 = -3*t + w, 5960 = 4*t + 2*w. Suppose v = -l + 370, -4*l + 3*v = 5*v - t. Is 17 a factor of l?
True
Suppose 5*f - 1824 = 9*v - 5*v, 2*v = -4*f + 1480. Let x = f + -79. Let p = -117 + x. Is 30 a factor of p?
False
Let y(u) = -2*u**3 - 23*u + 22. Let s be y(6). Let r = 704 + s. Is 5 a factor of r?
False
Let q be ((-20)/(-25))/((-1)/15). Let n(p) = -3*p - 32. Is n(q) a multiple of 2?
True
Suppose -52*o - 15*o + 190012 = 0. Does 24 divide o?
False
Let y = 78 + -75. Suppose -y*q = -132 - 3. Is 42 a factor of q?
False
Let n(t) = -32*t + 2480. Is 106 a factor of n(-55)?
True
Let c be (189 - (2 + 1 - 1)) + -5. Is 35 a factor of c - 3/(23/4 - 5)?
False
Suppose 2*i - 6526 = -4*g, g - 58*i = -63*i + 1654. Is g a multiple of 5?
False
Suppose -20*o + 104*o - 224196 = 0. Does 8 divide o?
False
Let m(a) = -472*a - 1648. Is m(-34) a multiple of 45?
True
Let u(h) = -47*h + 3. Let l be u(-3). Let c = l - 125. Let j(v) = 18*v + 12. Does 59 divide j(c)?
True
Suppose -33*a + 7942 = -9*a - 102218. Does 34 divide a?
True
Suppose 0 = 45*p + 94*p - 0*p - 647184. Is 97 a factor of p?
True
Suppose -104*x + 36618 = -59790. Is 9 a factor of x?
True
Let u(g) = -6*g + 241. Let c be u(34). Suppose 0*b + c*b - 5957 = 0. Is 8 a factor of b?
False
Suppose -37*d - 9200 = -21*d. Let b = 980 + d. Does 15 divide b?
True
Let n(z) = -z**2 - 24*z - 23. Let m be n(-23). Suppose 5*p + 4*w - 868 = m, -710 = -4*p - 0*p + 2*w. Suppose -p = -10*c + 8*c. Does 24 divide c?
False
Suppose -d + 2*y = -107, -4*y - 133 = 4*d - 501. Suppose d*h = 114*h - 4284. Is 12 a factor of h?
True
Let u(m) = -433*m + 2731. Is u(-23) a multiple of 7?
False
Suppose -9*p + 3 = 66. Let u be (1 + p)*(-34)/3 + 4. Let x = 198 - u. Is 18 a factor of x?
True
Suppose 910 = 4*d - 3*o - 395, 0 = d + 4*o - 312. Let i = d + -270. Is 9 a factor of i?
True
Suppose -5*y + 6 = -9. Let p(o) = 29*o + 89. Let k be p(-3). Is 9 a factor of 9*(y + -3 + k)?
True
Suppose -5*f - 90 = -0*f. Let w be 264/(-15) + (88/(-20))/11. Is 2 a factor of (-4)/f - 338/w?
False
Suppose -968*a - 64912 = -5*s - 970*a, s + 3*a - 12985 = 0. Is s a multiple of 53?
False
Let v(s) = -s**2 + 3*s - 4. Let z be v(2). Is 3 a factor of z*(-3 + (-187)/2)?
False
Let g(o) = -2*o**3 + 4*o**2 + 2*o + 2400. Does 50 divide g(0)?
True
Let o = 153 + -149. Suppose 2*i - 251 - 205 = r, o*i - 4*r - 912 = 0. Is i a multiple of 12?
True
Let q(g) = -33 + 0 + g**2 + g + 7. Let h be q(-6). Suppose 0 = -h*w + 8*w + 3*f - 239, 5*f + 54 = w. Does 5 divide w?
False
Let u(i) = -i**2 - 8*i - 12. Let d be u(-5). Suppose 2*a + l + 1 = -10, 3*a - d = 5*l. Does 8 divide -80*a/(-40)*-8?
True
Let x = -2078 - -4177. Is x a multiple of 101?
False
Let a be (-3 + (-39)/(-6))/(3/(-6)). Let b(z) = 2*z**2 + 6*z - 5. Let d be b(a). Is (d*-1)/((-24)/16) a multiple of 3?
False
Suppose -3365 = -32*r + 27*r. Suppose -3*f - 4*n = -r, -7*f + 2*f = -2*n - 1165. Is f a multiple of 11?
True
Suppose -8*r = 111 + 321. Let s = -87 - r. Let l = -12 - s. Is 7 a factor of l?
True
Suppose -2*a = -4*m - 80, -a - 3*m = a - 66. Suppose 0*c + 4*c = 4*o + a, -3*c + 41 = 4*o. Suppose -539 = 4*p - c*p. Does 13 divide p?
False
Suppose 0 = -3*z + p - 1, 4*p = -3*z - z + 4. Let l be (-1 - 4) + -7 + 35*8/20. Suppose a = l*a, z = 2*v + a - 152. Is v a multiple of 17?
False
Suppose 0 = 4*j + 28, 67*x + 4*j + 1753 = 72*x. Does 3 divide x?
True
Let n = 91 - 87. Suppose -s = -n*s. Suppose 6*u - 399 - 441 = s. Is 7 a factor of u?
True
Let h = -38 + 147. Let y = h + -111. Is 56 a factor of y/(-6)*(-1)/((-3)/1926)?
False
Let r(d) be the third derivative of d**5/12 - d**4/24 + d**3/6 - 13*d**2. Let c be r(1). Suppose 6 = -c*q + 101. Is q a multiple of 2?
False
Let f(u) = 274 - u + 293 - 563. Suppose 4*o + 4*s + 44 = 0, 3*s = 5*o + 32 - 1. Does 8 divide f(o)?
False
Let z be (2 - -1)*(3 - 93/9). Let v be (z - 4 - -3)*(0 + -1). Let x = -8 + v. Does 15 divide x?
True
Let m(o) = o**3 - 2*o**2 - 8*o - 7. Let c be m(-2). Let g(n) = -3*n - 7. Let j be g(c). Is (-179)/(-2) - (-7)/j a multiple of 10?
True
Let k = -776 + 783. Suppose k*r + 2256 = 13*r. Is r a multiple of 33?
False
Let m(c) = 29*c**2 - 56*c - 1. Is 47 a factor of m(-8)?
True
Suppose u - 5 = -a, 4*u + 0*u + 7 = 5*a. Suppose -a*q + 362 + 82 = 0. Let w = -99 + q. Does 18 divide w?
False
Suppose -27*z - 85951 = -218305. Is z a multiple of 63?
False
Suppose 29*g = 19*g + 12700. Is 17 a factor of g?
False
Suppose 0 = r - 2*l - 2*l - 1, 0 = -2*r + 3*l - 8. Let w(q) = -q**3 - 7*q**2 - 7. Let j be w(r). Does 14 divide (-30)/105 - 254/j?
False
Is (-82)/(-369)*(-60777)/(-6) a multiple of 127?
False
Suppose -7*i + 3388 = 4*r - 5*i, 0 = 3*r - 5*i - 2541. Let a = r + -74. Is a a multiple of 18?
False
Let o be 6*(3 + 21/(-6)) - -10. Suppose -o*x + 11*x = 772. Is x a multiple of 9?
False
Suppose -i + 4 + 0 = 0. Suppose 4*s + i*s - 16 = 0. Suppose 138 = s*q + 3*o, 2*q - 5*q = -o - 218. Does 9 divide q?
True
Let j(p) = 3*p - 11*p**2 - 2 - 64*p**2 + 0*p. Let x be j(1). Let v = -46 - x. Does 9 divide v?
False
Suppose -5*a + 1458 = 63. Let o = 426 - a. Let f = o - 80. Is 19 a factor of f?
False
Suppose -102 + 132 = -5*a. Let f be a/(-8) + 34/8. Suppose -f*y + 3*q = -747, -y - q + 3*q = -155. Is y a multiple of 10?
False
Let w(i) = -5*i + 30. Let g be w(15). Let j = g - -48. Does 13 divide j/6*(1 + -5) - -93?
True
Let v = 878 - 537. Let u = -225 + v. Does 17 divide u?
False
Let q = -91 + 94. Let u be 227 + 10/(-5) + q/1. Suppose 19*x - 20*x = -u. Is x a multiple of 19?
True
Let l(w) = w**3 + 9*w**2 - 37*w - 4. Let t be l(-13). Let s = 26 - t. Is s a multiple of 75?
True
Suppose -4*m = -x + 4918, 5*m + 8537 = 2*x - 1317. Is 12 a factor of x?
False
Suppose -3 = -g, -5*z = 10*g - 12*g + 346. Does 18 divide 6*10/15 - z?
True
Let l(j) = 56*j - 16. Suppose 7*y = -24 + 94. Does 34 divide l(y)?
True
Let f = 45 + -50. Let j = f - -61. Suppose -j = -18*i + 17*i. Is 10 a factor of i?
False
Let x(r) = -548*r - 3479. Is x(-12) a multiple of 19?
True
Suppose -4*i + 22*m = 19*m - 2502, 660 = i + 5*m. Is i a multiple of 10?
True
Let t = 6047 + 5846. Is t a multiple of 15?
False
Let s(y) = -4519*y**3 + 49*y**2 + 98*y + 7. Is 17 a factor of s(-2)?
True
Let a be (40/(-8) + 1)/(0 - 1). Let t be a + -2*(8 - 1). Does 33 divide 248/10*t/(-1)?
False
Let y(p) = 24*p**3 + 10*p