 a factor of r?
False
Let z = 22 - 18. Suppose -21 = -5*a + q + 69, 4*a - z*q - 88 = 0. Is 10 a factor of a?
False
Suppose 0 = i - 4, 4*j - 196 - 1772 = 5*i. Is 12 a factor of j?
False
Suppose v = 2*k + 1004, 5*v - 5876 = -4*k - 828. Is 42 a factor of v?
True
Let j = -970 + 155. Is 23 a factor of (1 + j/10)*-4?
True
Let o be -2 + -3*(-1 - 3). Suppose o = 3*w - 8. Does 6 divide w?
True
Suppose 946*o - 944*o = 14. Does 2 divide o?
False
Let g be 4/30 - (-803)/165. Suppose 0 = -g*p + 4*x + 101 + 44, x + 127 = 4*p. Is p a multiple of 26?
False
Is 32 a factor of (10 - 196/16)/(6/(-104))?
False
Let f = -527 + 1355. Is f a multiple of 23?
True
Let n(r) = -3*r**3 - r**2 + 3*r + 1. Let y be n(-2). Suppose 13*h + 6 = y*h. Suppose h*a - 8*a + 225 = 0. Is 9 a factor of a?
True
Suppose -1485 = -3*m - 2*r, -2*m + 583 + 407 = -r. Suppose -2*g = 5*p + g - 844, -3*p = -2*g - m. Is 31 a factor of p?
False
Let s(o) = 12 - 4 + 27*o - 7. Is 14 a factor of s(1)?
True
Let z(c) = c. Let j = 4 - 1. Let o be z(j). Suppose 2*u + 3 = -o*v + 46, -3*u + 62 = 5*v. Is 9 a factor of u?
False
Suppose r - 3*l - 201 = 0, 4*r + 5*l = -r + 905. Is 2 a factor of r?
True
Suppose -110 = 2*w + w + 4*x, 3*w - 3*x = -138. Let o = w - 15. Is (-1)/1 + (4 - o) a multiple of 20?
True
Let m = 1477 + -540. Is m a multiple of 24?
False
Let s(m) = -3*m + 81. Is s(-45) a multiple of 9?
True
Let d(w) = 14*w - 4. Let p be d(4). Suppose 11*k = p + 278. Is k a multiple of 12?
False
Let q be -22 + 26 + (-3 - 1). Suppose 390 = 5*d - q*d. Is d a multiple of 16?
False
Let o = 68 - 67. Is 22 + 3 - (o + -6) a multiple of 6?
True
Suppose -4*q + 17 = -3*t, -14 + 39 = 4*q + 5*t. Suppose -4*z - 4*x + 264 = 0, 246 = q*z - z - 2*x. Is z a multiple of 16?
False
Suppose 4*n - 2*c = 350, 4*c - 290 = -17*n + 14*n. Is n a multiple of 6?
True
Suppose -5*q + 3*q + 4 = 0. Suppose q*r - 38 = 2*c, -r + 3*c + 97 = 4*r. Does 5 divide r?
True
Let k = 515 - 242. Is 38 a factor of k?
False
Let l(m) = 3*m - 13. Let z be -2*(12/(-3) - 0). Does 4 divide l(z)?
False
Let c(m) = -12*m**3 - 14*m**2 - 37*m - 6. Does 48 divide c(-6)?
True
Let j = 973 + -460. Is j a multiple of 11?
False
Let c(s) = -424*s - 72. Does 16 divide c(-3)?
True
Let l(z) = -2*z - 5. Let k be l(-5). Suppose 0 = -2*f + 5*v + 2 - 9, 0 = -f + 3*v - k. Suppose -114 = x - f*x. Is x a multiple of 18?
False
Let a(f) = 25*f**2 - 2*f + 1. Let h = -46 - -47. Does 12 divide a(h)?
True
Let o = -106 - -241. Is 22 a factor of o - (-2 + 3 + 2)?
True
Suppose -2*v - 2*v = -20. Let b(m) = 0 - 2*m**2 + 1 + 3*m**2 - v. Is b(3) a multiple of 5?
True
Let p(v) = 4 + 3*v + v**2 + v**2 - 9*v. Let h = 12 + -8. Does 4 divide p(h)?
True
Let t(y) = 5*y**2 + 18*y - 2. Is t(-11) a multiple of 27?
True
Let x(z) = 11*z**3 - 6*z**2 + 9*z + 4. Does 13 divide x(4)?
False
Suppose 4*n + 505 = 5*a - 837, -529 = -2*a - n. Does 17 divide a?
False
Is 9 a factor of 9/(6/(2 - -106))?
True
Let s(u) = -5*u**3 - 7*u**2 + 6. Let x(o) = 4*o**3 + 6*o**2 - 5. Let d(v) = -3*s(v) - 4*x(v). Does 23 divide d(-5)?
False
Let f = -8 - -14. Suppose 29 = -2*z + a, -4*z = -a + 47 + f. Does 12 divide (-1 + 2)/(-1)*z?
True
Suppose 8*a = 7*a. Suppose 5*p = -15, -x - 4*x - 2*p + 289 = a. Does 11 divide x?
False
Suppose 1073 - 17 = 2*m. Is m a multiple of 6?
True
Let o = -31 + 54. Suppose -5*t - 7 = o. Does 14 divide 5 + t + (41 - 1)?
False
Let i(l) = -4 - 1 - 4*l**2 + 4 + 2*l - 3. Let d be i(-3). Let r = -11 - d. Does 11 divide r?
False
Let v(z) = -z**2 + 3. Let t(a) = -a**3 + 3*a**2 + 3*a + 1. Let l be t(4). Let n be v(l). Is 4/n - 123/(-9) a multiple of 13?
True
Let v(s) = -5*s**3 + 3*s**2 - 9*s - 6. Let u(m) = 14*m**3 - 10*m**2 + 26*m + 17. Let z(y) = -6*u(y) - 17*v(y). Is z(-9) a multiple of 15?
False
Is (-1976)/(-6)*(-35 - -38) a multiple of 38?
True
Suppose 48 = -2*w + 4*w. Suppose 0 = 3*q + 2*i - w, -q - 3*q + 4*i = -52. Is 5 a factor of q?
True
Let o(i) = -i**2 + 6*i - 4. Let y be o(3). Suppose -y*z = -0*z + 280. Let q = z + 80. Does 8 divide q?
True
Suppose -3*h + 4*h = -4. Let i(o) = -o - 1. Let x be i(h). Suppose k - x*l = -0*l + 54, 0 = -l. Is k a multiple of 18?
True
Let n(w) = 2*w**2 - 25*w + 18. Let a be n(12). Suppose a*o + 256 = 14*o. Is 5 a factor of o?
False
Let x = 16 + -19. Let u be x/(-6) - 27/(-6). Is 44*((-15)/(-4))/u a multiple of 11?
True
Let d = 5190 - 2746. Is 59 a factor of d?
False
Suppose -4*a = -a - 342. Suppose -3*d - a = -x - 2*x, -5*d = -x + 58. Is 14 a factor of x*2 - (2 + 1)?
False
Suppose -41*u + 24075 = -16*u. Is 55 a factor of u?
False
Let h(g) = g**2 - 5*g + 6. Let j be h(3). Does 15 divide 158 + (-9)/(-3) - j?
False
Let o(y) = 2*y**3 - 2*y**2 + 3*y - 1. Let n be o(1). Suppose -7 - 229 = -4*d. Suppose x + s - d = 6*s, 3*x + n*s = 160. Does 18 divide x?
True
Suppose -16*l = -17*l + 14. Suppose l*j = 16*j - 24. Is 12 a factor of j?
True
Let a(p) = 30*p - 165. Is 3 a factor of a(8)?
True
Let d = 236 - 113. Is d a multiple of 7?
False
Let t(i) = -2*i + 389. Is 11 a factor of t(63)?
False
Let n be (-4)/(8/14) - -3. Let j(z) = 2*z + 4. Let q be j(n). Is 13 a factor of (-3)/q + 202/8?
True
Let g be (0 - (-18 - -1)) + -1. Suppose m + 8*m = -72. Is (-2)/m - (-60)/g a multiple of 4?
True
Let r(l) = 13*l + 17. Let d(y) = y + 1. Let z(v) = 6*d(v) - r(v). Let a be z(-8). Suppose 5*x - i = 20, 3*x - a = -2*x - 4*i. Does 3 divide x?
False
Let j(l) = 3*l - 7. Let b be j(3). Let r be b/(-4) - 25/10. Let x(u) = 2*u**2 + 4. Does 4 divide x(r)?
False
Let o = 25 + 17. Let i = o - 29. Suppose -5*r - 3 + i = 4*f, 5*r + 30 = 4*f. Is f a multiple of 3?
False
Let n(y) = 25*y + 13. Suppose 0 = 2*x - 5*x + 18. Is 20 a factor of n(x)?
False
Let s be 3486/18 - (-1)/3. Suppose 98 = -2*a + v + v, 5*v - s = 4*a. Let o = -12 - a. Is 13 a factor of o?
True
Let i = 28 + -15. Let t = i - 6. Does 5 divide t?
False
Suppose 2966*q + 3240 = 2971*q. Is 7 a factor of q?
False
Let a(g) be the first derivative of -g**4/12 - g**3 + g**2 + g - 4. Let v(q) be the first derivative of a(q). Is 5 a factor of v(-4)?
True
Let a(c) = 3*c**3 - 29*c**2 - 4*c + 17. Does 43 divide a(10)?
False
Let x(u) = -2*u**2 + 16*u - 12. Let z be x(7). Is 7 a factor of 1/z*(4 + -7 - -45)?
True
Let d = -31 - -56. Suppose m = 5*n - d, -n + 2*n = 2*m + 5. Suppose m = -5*i - 46 + 246. Is 8 a factor of i?
True
Let j(v) = 31 - 2*v**2 + 9*v + 12*v**2 - 8*v**2. Is j(-8) a multiple of 9?
False
Suppose -4*j = -2*i - 3726, 3*j - 446 - 2356 = -i. Is 10 a factor of j?
False
Suppose 48 = -0*s + 3*s. Let t = s + -13. Let u = 27 - t. Is u a multiple of 8?
True
Let l = -884 - -2000. Is 44 a factor of l?
False
Let m(v) = -v + 7. Let j be (0/(-2))/5 + 2. Let i be m(j). Suppose -i*y - 2*y + 217 = 0. Does 10 divide y?
False
Let d = -6 + -2. Let y(f) = f + 10. Let m be y(d). Is 11 a factor of (-80 - -4)*m/(-4)?
False
Let s(i) = -2*i - 4. Let b be s(-4). Suppose 17*h - 14*h - 15 = 0. Suppose h*n - 194 + b = 0. Does 19 divide n?
True
Let t = 26 - 23. Let h = t - 5. Let r(d) = -3*d**3 + 2*d**2 - 3*d - 3. Is 7 a factor of r(h)?
True
Does 10 divide 584*-2*(-12)/48?
False
Let q(s) = s**2 - s + 1. Let g be q(-2). Let o be (-1 - -1)/(8 - g). Suppose -2*p = -y - 88, p + 3*y - 51 = -o*y. Does 15 divide p?
True
Suppose 0 = -4*f + x + 287, -149 = f - 3*f - 5*x. Is 8 a factor of f?
True
Let c = 1 - -2. Suppose m + 18 = 62. Suppose -v = c*v - m. Does 6 divide v?
False
Suppose -4*p - 39 = -371. Suppose 2*l - p = -o - 1, 0 = 2*o - 4*l - 148. Suppose -4*t + 74 = -o. Does 19 divide t?
True
Suppose -20 = -6*k - 50. Let j be (-6 + 11)*(-2)/k. Suppose -j*c = 6*c - 680. Does 23 divide c?
False
Let k(d) = -3*d**2 + d - 2*d - d**3 - 16 - d + 22. Is 10 a factor of k(-4)?
True
Let j be (-2 - (-27)/3) + -3. Let d be 1*(5 - j - 1). Suppose d = -r + 4*r - 144. Does 24 divide r?
True
Let f(a) = -7*a + 79. Does 14 divide f(-16)?
False
Let k(c) = c**3 + 9*c**2 + 7*c - 6. Let z be k(-8). Does 15 divide ((-14)/(-21))/(z/171)?
False
Suppose -4*p - 3360 = -3*l - 5*p, 5*l - 5*p - 5620 = 0. Is l a multiple of 59?
True
Suppose -3*f - v + 728 = 0, 4*f = -v + 517 + 453. Let d = 367 - f. Does 25 divide d?
True
Let h(c) = 90*c - 490. Is h(25) a multiple of 54?
False
Suppose 2459 = 4*u + j - 2030, -3368 = -3*u - 2*j. Is 21 a factor of u?
False
Let z(g) = 2*g + 1. Let x be z(1). Suppose c = -x*b - 2*c + 6, 0 = -b +