ose 2*z - p - 1112 = 0, z + p = -0*z + 559. Is z a multiple of 67?
False
Let t(s) = -36*s - 98. Is 50 a factor of t(-18)?
True
Suppose 4*p + 3*u - 42 = 0, u = 2*p + 2*p - 50. Let k(a) = a**2 - 5*a - 9. Does 9 divide k(p)?
False
Suppose 3*j + 278 = -k, 0 = -j + 1 - 4. Let d = k - -385. Is d a multiple of 21?
False
Let k be (-14)/35 - (-3 + 9/15). Suppose s - 135 = k*c, s - 2*s + 140 = -3*c. Is s a multiple of 21?
False
Suppose 188*j = 209*j - 44961. Does 58 divide j?
False
Let b(x) = 2*x**2 - 3*x + 2. Let n be b(2). Suppose 4*u - 136 = -2*s, -6*u + 176 = -u + n*s. Does 5 divide u?
False
Let p(n) = 21*n + 8. Let y be p(-6). Suppose 4*u = -5*w + 166 + 572, -w + 2 = 0. Let f = y + u. Is 16 a factor of f?
True
Let l(f) = -8*f - 2. Let o be l(-1). Let c be o*(-3)/6*-1. Suppose 6*u - c*u = 84. Is u a multiple of 28?
True
Suppose 5*y + 0 - 5 = 0, -4*w - 5*y = -2053. Is w a multiple of 10?
False
Suppose -5*w + 4*u + 22 = -0*u, -3*w - u + 3 = 0. Let d be w/8 - 4/16. Is 14 a factor of d + 2 + -2 - -14?
True
Let y = -59 - -60. Is 3 + -3 - -3 - y*-43 a multiple of 14?
False
Let f(z) = 4*z**2 + 8*z - 6. Suppose -3*x - 4 = 14. Does 8 divide f(x)?
False
Suppose 2*s - 290 = -r, -6*s + 4*s - 3*r + 298 = 0. Is 5 a factor of s?
False
Let t be 90*(3 + 34/6). Suppose -3*c = -c + 2*o - 520, -3*c + t = 2*o. Suppose 0*n + 4*n - c = 0. Is n a multiple of 13?
True
Suppose 0 = -j - w + 53, 2*j = 2*w + 87 + 39. Suppose 0 = -2*d - 2*d - 8. Is d*1 + j + -5 a multiple of 17?
True
Suppose 4*t + 2054 = 2*w + 8584, -5*t + 3*w + 8163 = 0. Is 70 a factor of t?
False
Is 15 + -8 - -322 - 1*5 a multiple of 28?
False
Suppose 4*o + 0*z = -z + 578, -4*z = -4*o + 568. Let u be 4/((-16)/4)*93. Let v = o + u. Is 17 a factor of v?
True
Suppose 197*v - 202*v = -2310. Is v a multiple of 14?
True
Let i be -1*3*(-2)/3. Suppose -4*l = -i*l. Does 10 divide 24 - (l + 2 - 1)?
False
Let z(c) = -10*c + 135. Is 15 a factor of z(-6)?
True
Let p(l) = -l + 35. Does 10 divide p(-16)?
False
Let c(m) = 1. Let w(u) = 7*u - 1. Let j(a) = 4*c(a) - w(a). Is 12 a factor of j(-9)?
False
Suppose 2*a = s - 244, -228 = -4*s + 4*a + 744. Is 42 a factor of s?
False
Let g = 947 - 596. Does 3 divide g?
True
Suppose -5*n - 95 = -2*r, -r - n = n - 43. Is (-15)/r + (-142)/(-3) a multiple of 12?
False
Let t(p) = -p**2 + 11*p + 2. Let f be t(11). Let u(v) = 6*v + 0*v**2 - 3*v**2 + 7*v + f*v**2. Is u(7) a multiple of 21?
True
Is (-1 + 7)*32 + 2 a multiple of 13?
False
Let c be 1*3 + (4 - 4). Suppose c*r = -35 + 161. Is r a multiple of 12?
False
Let n(s) = 10*s**2 - 16*s + 43. Let t be n(8). Suppose -4*x - 4*o - t = -9*x, 3*x = 5*o + 320. Does 21 divide x?
False
Let h = 148 - 48. Suppose -4*o = -3*s + 4*s - 50, 2*s = 4*o + h. Let m = s + -24. Does 13 divide m?
True
Let v = 7 - 2. Suppose v*r = r - 220. Let z = 77 + r. Is 8 a factor of z?
False
Suppose -n + 2 = 0, -s - 4*n = -4*s - 26. Let d(m) = -m**2 - 7*m - 6. Let p be d(s). Suppose -5*v + 4*k + 258 + 137 = p, k = v - 80. Does 15 divide v?
True
Suppose -273 = -4*v + 5*i, 3*v + 0*i - 4*i = 204. Does 6 divide v?
True
Suppose -9*a - 7330 = -14*a. Is a a multiple of 45?
False
Suppose 21*o - 6309 = -1521. Does 4 divide o?
True
Let u(h) = h**3 - 6*h**2 + 7*h - 4. Let j be u(3). Is 5 a factor of 9/6*j/(-1)?
True
Let x(k) = -2*k**2 + 8*k + 5. Let w be x(6). Let c(j) = -4*j - 27. Is 14 a factor of c(w)?
False
Suppose j - 4 + 0 = 0. Suppose j*l = 134 + 122. Suppose -83 = -2*s + 2*x - 13, 2*s = 5*x + l. Does 37 divide s?
True
Suppose -5*i = 2*a + 4 - 18, 0 = -2*a + 2*i. Suppose -5*g + 3*h + a*h = -225, 3*g - h = 131. Does 32 divide g?
False
Suppose -10 + 2 = -2*b. Suppose 5*x - x + 2*d = 86, -b*x = 4*d - 84. Does 5 divide x?
False
Suppose x + 1 = 5. Suppose 75 = 5*d + 5*j, x*d - j - 95 = -20. Is 5 a factor of d?
False
Suppose -23*s = -26*s + 1017. Suppose 49 = -5*i + s. Is 14 a factor of i?
False
Let d(x) = x. Let n = 8 - 4. Let p be d(n). Is 1*22*8/p a multiple of 16?
False
Let z(k) = 73*k**2 - 4*k - 4. Does 8 divide z(-2)?
True
Let v(a) = -3*a**3 - 14*a**2 + 69*a + 6. Is v(-13) a multiple of 101?
False
Suppose 5*b = 7*o - 4*o - 2559, 0 = 4*o + b - 3435. Is 55 a factor of o?
False
Let q be 6/5*580/6. Let n = q - 62. Is 9 a factor of n?
True
Suppose k - 2 = 0, x - 3*x - 162 = 3*k. Let l = -6 - x. Does 25 divide l?
False
Suppose 13*r = 4*r + 4914. Is 13 a factor of r?
True
Let s be (3 - 2) + (4 - 0). Suppose 2*v = s - 1. Does 12 divide (-241)/(-5) + v/(-10)?
True
Let y(l) = l - 6. Let s be y(-6). Does 5 divide 1 + s/(-2 + (-32)/(-17))?
False
Suppose 6*l - 46 = 560. Let f = l - 54. Is f a multiple of 15?
False
Let x(n) be the second derivative of n**4/4 - n**3/6 - 5*n**2 + 11*n. Is x(-3) a multiple of 6?
False
Let f(w) = -3*w**2 + 19*w + 4. Let j be f(6). Let s(h) = h - 1. Let c be s(6). Suppose 2*t = -5*z + 46, c*z + j + 9 = 3*t. Is 3 a factor of t?
False
Let x be (0 - 0/1)/2. Suppose -4*c + 6*c - 160 = x. Is c a multiple of 16?
True
Suppose 21288 + 11392 = 20*q. Is 19 a factor of q?
True
Let o(a) = 1013*a**2 + 10*a - 6. Does 63 divide o(2)?
False
Let n = 139 + -69. Suppose 18 + n = 4*g. Is g a multiple of 11?
True
Let m = 1 - -14. Let d(r) = 2*r + 23. Is 14 a factor of d(m)?
False
Let d = 10 - 6. Let h(k) = 16*k - 6. Let p be h(d). Suppose -2*u = -0*u - p. Is 10 a factor of u?
False
Let c(r) = -r**3 - 7*r**2 - 8*r - 46. Is c(-8) a multiple of 7?
False
Let b be 23 - 3 - (-6)/6. Let i be (11/3)/(1/(-3)). Let s = i + b. Does 7 divide s?
False
Let a(j) = -6*j - 26. Let c be a(-6). Suppose -4*o + 242 = -c. Is 14 a factor of o?
False
Let b(g) = -g - 3. Let a be b(-5). Suppose 2 = -a*o, -2*i + 3*i + 2*o = -1. Is 5 a factor of i*3*98/21?
False
Let q(x) = -x**3 + 13*x**2 + 20*x - 14. Let c(b) = 2*b**2 + 9*b + 18. Let f be c(-4). Does 11 divide q(f)?
False
Suppose -3*g - 6*p + 1713 = -8*p, -2*p = 0. Does 26 divide g?
False
Let n(a) = 5*a**2 + 2*a + 8. Let q be n(4). Suppose -12 = 3*m - q. Is 7 a factor of m?
True
Let n be -197 + 3 + 4/2. Let w = -99 - n. Is w a multiple of 43?
False
Let t(g) = 2*g**2 - 3*g - 5. Suppose 5*d + 5*h + 15 = 0, 0*d - h = -3*d - 17. Is 6 a factor of t(d)?
True
Let y = -149 - -334. Is y a multiple of 37?
True
Suppose 25*i + 66 = 19*i. Let t = 84 + i. Is t a multiple of 14?
False
Let i(x) = x**2 + 5*x - 9. Let y be i(-9). Let q = y + -11. Is q a multiple of 8?
True
Let m(g) = g**2 + 2*g + 4. Suppose d = -3*d + 32. Let f(b) = 2*b - 9. Let v be f(d). Does 24 divide m(v)?
False
Let c(p) = -60*p + 1255. Is 25 a factor of c(12)?
False
Let s(d) = -3*d + 3*d**2 - 4*d**2 + 4*d + 5*d**2. Let p be s(-1). Suppose 2*l - 22 = -u + 6*u, p*l - 55 = 2*u. Is l a multiple of 7?
True
Is 5 a factor of 5*20 - 1/3*0?
True
Let f = -1081 + 2676. Is f a multiple of 9?
False
Let v be (2 - -3)*6/2. Let d = 38 - 35. Suppose 5*k - d*c + v = 72, c - 41 = -5*k. Is 3 a factor of k?
True
Let b = -95 - -99. Let u = 49 + -22. Does 6 divide (-72)/u*(-18)/b?
True
Is (-1*6/7)/(1/(-588)) a multiple of 28?
True
Suppose 662 = 7*f - 591. Let x = -98 + f. Does 27 divide x?
True
Let s(n) = -10*n. Let g be s(-1). Let a = 43 - 23. Let p = a + g. Does 11 divide p?
False
Let y(u) = 148*u**2 + 11*u - 9. Is y(2) a multiple of 11?
True
Let v(d) = -d**3 + 26*d**2 + 4*d + 1. Is 21 a factor of v(-5)?
True
Let y = 3 + -28. Suppose 3*h - 98 = -5*d + 4*h, 3*h + 34 = 2*d. Let x = d - y. Does 20 divide x?
False
Let z be (-6)/9 - 88/(-6). Suppose 3*w = 4*w + 7. Does 7 divide (-128)/w - 4/z?
False
Let c(t) = -t**2 - 23*t + 11. Let i be c(-17). Let m = -17 + i. Is m a multiple of 16?
True
Suppose 7*a - 16 = 6*a. Is 4 a factor of a?
True
Is (-225819)/(-495) + 6/(-5) a multiple of 65?
True
Suppose 4517 = 3*i + 2*g, -1929 = -i + 3*g - 427. Is 74 a factor of i?
False
Suppose 5*d + 1192 - 4057 = 0. Does 3 divide d?
True
Suppose 2*l - 37 = -177. Is (-2080)/l + (-2)/(-7) a multiple of 6?
True
Let s(b) = -b**3 - 26*b**2 + 71*b + 26. Is s(-29) a multiple of 49?
True
Suppose -3*l + 4*l = 0. Suppose -2*o - o = 5*x - 24, l = -5*x. Let b = 61 - o. Is b a multiple of 17?
False
Suppose 22*t + 23520 = 36*t. Does 20 divide t?
True
Let i(f) = -120*f - 134. Does 13 divide i(-5)?
False
Suppose -5*i + 240 = 5*m, 75 + 144 = 5*i - 2*m. Let n be 35/15 + (-2)/6. Suppose 0 = -r + n + i. Does 13 divide r?
False
Suppose -3*y - 438 = -2*i - 100, 0 = 5*y 