a multiple of 6?
False
Let c = 2351 + -2011. Does 68 divide c?
True
Let p = -114 - -160. Is p a multiple of 7?
False
Is (3 - 98/(-42))/(4/306) a multiple of 51?
True
Let o(d) = 12*d**2 - 32*d + 21. Is 11 a factor of o(14)?
True
Let p(k) = k**2 - 2*k - 4. Let o be p(4). Suppose 6 = -x + o*x. Suppose -x*t = -3*g + g + 68, g - 3*t - 40 = 0. Does 18 divide g?
False
Suppose 0 = 18*a - 11*a - 630. Is 11 a factor of a?
False
Suppose 219 + 269 = -4*p. Let r = p + 221. Does 20 divide r?
False
Let c = -33 - -36. Suppose b - 5*t = 0, 14 - 48 = 4*b - c*t. Let m = 51 - b. Is m a multiple of 14?
False
Suppose 91 - 583 = 12*d. Let n = 52 + d. Does 11 divide n?
True
Suppose 414*l - 399*l - 63180 = 0. Is l a multiple of 108?
True
Let d(w) be the second derivative of -17*w**5/10 - w**4/6 - w**3/3 - w**2/2 + w. Suppose -18*c + 2 = -20*c. Is 13 a factor of d(c)?
False
Suppose 2*g - 5*b - 282 = 0, -9*g + 2*b = -8*g - 143. Is g a multiple of 66?
False
Let f(x) = x**3 + 24*x**2 + 38*x - 69. Is 12 a factor of f(-21)?
True
Is (-8 - -6) + (6 - -374) a multiple of 18?
True
Suppose 10 = 2*g, -5*x + 3*g = -2*x + 42. Let i(w) be the first derivative of -w**2/2 + 6*w - 2. Is 15 a factor of i(x)?
True
Suppose 60 = 4*x - 60. Suppose -126 - x = -6*n. Is 16 a factor of n?
False
Let x(p) = 43*p**2 + 24*p + 1. Is x(3) a multiple of 30?
False
Let v = 6862 + -4144. Does 6 divide v?
True
Let j be 2/(-1) + 3 - -2. Suppose -3*c + c = -5*w - 16, -c - 3*w = j. Suppose -c*d + 1 + 23 = 0. Is d a multiple of 8?
True
Suppose -4*b = -2*b - 144. Does 18 divide b?
True
Suppose 0*c - 4*c = 72. Let g = -6 - c. Does 9 divide g?
False
Let a(n) = -n**2 + n + 18. Let l be a(4). Suppose l*o - 671 = -5*o. Is o a multiple of 28?
False
Suppose 189 = 2*m - v, 0 = -0*m + m + 5*v - 67. Suppose -2*y = m - 330. Is 5 a factor of y?
False
Suppose x - 33 = -x - 3*b, 0 = -4*x + 3*b + 57. Let q(h) = h - 8. Let p be q(4). Is (p/(-12))/(1/x) a multiple of 5?
True
Suppose -229*p + 222*p = -5719. Is p a multiple of 43?
True
Suppose 3*a - 343 = 4*m, 2*m + 113 = 4*a - 3*a. Let x = a - 41. Is 38 a factor of x?
True
Suppose 12339 = 13*r - 505. Is 19 a factor of r?
True
Suppose 843 - 59 = 8*i. Is i a multiple of 4?
False
Let x be 33*-6*18/(-27). Let g = 249 - x. Does 20 divide g?
False
Suppose -3*h - 5*t + 32 = -6, 2*t = -4*h + 60. Suppose h = -4*j + 4. Is 10 a factor of -4 + 0/j + 54?
True
Suppose 0 = -90*j + 36*j + 73602. Is 47 a factor of j?
True
Let z be (0 - 6)*44/(-6). Suppose 2*k = -4*h + z, h + h - 4*k - 42 = 0. Let l = -5 + h. Is 3 a factor of l?
False
Let h(q) = -34*q + 692. Is 2 a factor of h(18)?
True
Suppose -4*z + 3*z + 5*b = -1011, -4*z + 3*b + 4095 = 0. Does 38 divide z?
True
Let r(m) = 4*m**3 - m**2 - 2*m + 3. Let k be r(3). Suppose 3*a - 243 = 7*a + 3*d, -2*a + d - 119 = 0. Let y = a + k. Is 12 a factor of y?
True
Suppose 2*c = 19 + 17. Suppose 0 = -13*g + c*g - 10. Suppose -g*y + 144 = 4*y. Does 8 divide y?
True
Suppose -4*u + 14 = 2*t, -4*u + 19 = 5*t - 4. Let d(s) = -3*s + 3. Let z(q) = -q. Let c(o) = t*d(o) - 12*z(o). Is 4 a factor of c(4)?
False
Suppose 3*a - o - 1 = -0*a, -o + 1 = -a. Let x(n) be the third derivative of 11*n**5/60 - n**4/24 - 52*n**2. Does 3 divide x(a)?
False
Suppose 4 + 1 = l. Suppose l*o = 6*o + 70. Let v = -50 - o. Is 9 a factor of v?
False
Suppose 3*p - 9*p = -18. Suppose -21 = -j + 3*r, -p*j - r = -3*r - 98. Is 6 a factor of j?
True
Let r(h) = -3*h - 7. Let t be r(-3). Suppose -t*u + 32 = -18. Does 12 divide u?
False
Suppose -8*m + 1351 = -977. Does 34 divide m?
False
Let b(m) = m**2 - 7*m - 13. Let v be 1/2 - 33/22. Let s be (13 + -8)/(v/(-2)). Does 8 divide b(s)?
False
Is 15 a factor of ((-2)/(-4))/(354/(-356) + 1)?
False
Let d = -371 + 479. Is 18 a factor of d?
True
Suppose 15 = -0*p + 5*p. Let k(h) = -17*h + 13*h + h**3 - 5 - 6*h**2 + 0*h**p. Does 11 divide k(7)?
False
Let z be -2 + 2/(2/2). Let y be 3/(-4) + (-45)/(-12). Is 12 a factor of 11 - (2 + (z - y))?
True
Let i be (30/(-8))/((-2)/8). Let r be -2*(-39)/(-6) + 9/3. Let l = i + r. Is 2 a factor of l?
False
Let g = -8 + 15. Let d be 2/(-7) - (-30)/g. Does 4 divide (d/6)/(4/24)?
True
Suppose -923 = -16*f + 1141. Is 3 a factor of f?
True
Let l be 3/(-2)*60/(-18). Suppose 0 = -l*a - 2*c - 3*c + 185, 0 = -3*c - 3. Does 9 divide a?
False
Let x(m) = -4*m**3 + 2*m**2 + 2*m - 4. Suppose 11 = -4*j - 2*y + 3*y, -j = -5*y - 2. Does 29 divide x(j)?
True
Let z = -6 - -7. Suppose z - 21 = -2*k. Is 4 a factor of ((-7)/2)/(k/(-20))?
False
Is ((-5)/2)/((-6)/48) a multiple of 11?
False
Let w = 5 + 0. Let k = -16 + 16. Suppose d + 3*d - w*t - 124 = k, -d + 5*t + 46 = 0. Does 13 divide d?
True
Let t(g) = -g**2 - 2*g. Let c(h) = -h**2 - 3*h. Let m(n) = 2*c(n) - 3*t(n). Let v(x) = -3*x**2 - 19*x - 18. Let r(u) = 2*m(u) + v(u). Does 12 divide r(-13)?
True
Let q be (-5)/(-10) - 9/(-2). Suppose -q*i = -2*i - 297. Suppose i = -6*h + 375. Is h a multiple of 23?
True
Let n(t) = t**3 + 7*t**2 - 7*t + 14. Let v be n(-8). Is v + -6 + 6/2 a multiple of 3?
True
Let d(k) = -5*k + 20. Let s be d(4). Suppose -4*j - 5*b + 31 = s, b + 56 - 10 = 5*j. Is j even?
False
Let l(a) = 5*a + 1. Let c be l(-11). Let r = c - -123. Is 23 a factor of r?
True
Let r = -113 - -113. Suppose -180 = -4*q - r*v + 4*v, -5*q = v - 237. Is q a multiple of 12?
False
Suppose 0*v + 4 = v. Suppose n - v*n = -15. Is n a multiple of 2?
False
Let s = 46 - -276. Let t = -226 + s. Is 24 a factor of t?
True
Let q(w) = -w**3 + 32*w**2 - 46*w + 119. Is 105 a factor of q(27)?
False
Let q(p) be the second derivative of p**5/20 + 25*p**2 - 2*p. Is 39 a factor of q(0)?
False
Let c(q) = q**2 - 9*q + 12. Let l be c(9). Suppose -5*d + d + l = 0. Does 4 divide 3 - (-8 - 3/d)?
True
Is (55/15)/((-7)/(-420)) a multiple of 10?
True
Let j = 21 - -12. Let g = 61 - j. Let q = g - -7. Is 8 a factor of q?
False
Let s(n) be the second derivative of n**4/6 + 5*n**3 - 14*n**2 + 19*n. Is 16 a factor of s(-21)?
True
Suppose 7*n + 202 = 15182. Does 20 divide n?
True
Suppose 0 = -4*p - 3 + 783. Does 4 divide p?
False
Suppose 9*p - 1365 = -375. Is p a multiple of 4?
False
Let k(o) = -o**3 - 9*o**2 + 5*o + 11. Let g be k(-10). Suppose g = d - 0*d. Is d a multiple of 13?
False
Let t = 3 - -1. Suppose -3*i - 4 = -2*i + 2*l, -4 = t*i + 4*l. Suppose -4*v + h + i*h + 216 = 0, v - h - 55 = 0. Is 17 a factor of v?
True
Let o be (-6)/30 - (-718)/(-10). Is (152/(-6))/(24/o) a multiple of 19?
True
Let s(f) = f + 26 - 2*f + f**2 - f**3 - 5*f**2 + 3*f**2. Let p be 4 + -2 - (1 - -1). Does 10 divide s(p)?
False
Suppose -3*c = -98 + 206. Is 7 a factor of ((-1)/((-4)/c))/(3/(-14))?
True
Let w be (-1)/(-4) + 372/48. Let y = w - -19. Does 6 divide y?
False
Let g = 20 - 16. Suppose -t = g, 3*q - 233 = -2*q - 3*t. Does 13 divide q?
False
Does 39 divide ((-10 - -8) + 4)*546?
True
Let m = -43 - -43. Suppose 8*t + 0*t - 720 = m. Is t a multiple of 45?
True
Let v be ((-3)/6*10)/1. Let w be v/(-4)*8/2. Suppose 183 = w*i + 53. Is 13 a factor of i?
True
Suppose 3*q - 9 = 3*c, -c + 0*q = -3*q + 11. Is 3/1 - (-10 + c) a multiple of 6?
True
Let k be -49 + 2 - (-4 - -3). Let y = -30 - k. Is y a multiple of 8?
True
Let x(f) = -f + 8. Let j be x(3). Suppose 5*h - 4*h + j*s = 12, -2*h - 21 = -5*s. Let g(l) = 2*l**2 - 4*l - 3. Does 9 divide g(h)?
True
Suppose -5*h - 3*f + 3555 = 0, 5*f + 230 + 1161 = 2*h. Is h a multiple of 59?
True
Suppose c + 4*r = 4, c - 4*c + 5*r - 5 = 0. Let u(v) be the third derivative of -v**5/60 + 7*v**3/3 + 16*v**2. Is u(c) even?
True
Let t be 1559 + (-1)/((-1)/(-3)). Suppose -j = -3*w + 501, t = -5*j - 5*w - 849. Is 16 a factor of 2/(-5) - j/15?
True
Suppose -5*d + 3*i + 555 = -297, -i = -d + 172. Suppose -3*k = -k - d. Does 42 divide k?
True
Let y be ((-1)/3)/(8/(-96)). Suppose 0 = -5*n - 3*d + 320, -y*n - d + 259 = 2*d. Is 11 a factor of n?
False
Suppose -1365*n + 1361*n = -64. Let a be 10*(0 - -3) - 0. Let u = a - n. Does 7 divide u?
True
Let q = 2831 - 2561. Is q a multiple of 30?
True
Suppose -f = 3*i - 0*i + 479, 4*i + 644 = -4*f. Suppose -3*p + 840 = -6*p. Let a = i - p. Is a a multiple of 34?
False
Suppose 0*o + 3*o - 78 = 0. Suppose -15 + 19 = b. Suppose 218 = b*y + o. Is y a multiple of 16?
True
Let l = -322 + 534. Suppose -7*d + l = -271. Is 23 a factor of d?
True
Let t(c) = 4*c - 7. Let i(a) = -5*a + 8. L