
False
Suppose -10*s = -12*s + 660. Suppose 4*k - s = 442. Does 36 divide k?
False
Let x(l) = l**2 - 13*l + 4. Let k be x(11). Let t = -15 - k. Suppose -t = 5*v - 53. Is v a multiple of 5?
True
Let y(d) = d**3 - 4*d + 1. Let h be (-2)/(-6) + (-22)/(-6). Let q = 7 - h. Is 10 a factor of y(q)?
False
Is (-45)/(-20)*437 - 15/(-20) a multiple of 8?
True
Let u(z) = z**2 + 12*z + 11. Let f be u(-8). Let g = 53 - f. Does 15 divide g?
False
Suppose 3 = -6*h - 33. Is (-4)/h*(-135)/(-18) a multiple of 2?
False
Let n = 4487 - 2716. Does 61 divide n?
False
Let x = -111 + 404. Is x a multiple of 14?
False
Let a(w) = -8*w**2 + 3*w + 4. Let g be a(3). Suppose -5*p + 5*q + 400 = 0, 414 = 5*p + 2*q - 0*q. Let f = p + g. Is 23 a factor of f?
True
Let m be (-8)/(-12)*-6 - -10. Suppose -68 = m*o - 242. Is 4 a factor of o?
False
Let f = -9 + 14. Suppose 4*z - y = -0*y + 19, -4*z - f*y = -1. Suppose -5*a = 2*n - 150, 0 = -0*a - z*a + 5*n + 87. Is 20 a factor of a?
False
Suppose 4*a + 5*j - 70 = 0, -2*a - 6*j = -4*j - 36. Suppose -8*z + 10*z = a. Does 6 divide z?
False
Suppose 0*d - x = -2*d + 9, 0 = -3*d - 4*x - 3. Suppose -246 = -5*u + d*l, -u - u + 100 = -2*l. Does 8 divide u?
True
Let t(y) = y**2 - 10*y + 19. Let k be t(6). Does 18 divide 21/k*((-4 - 0) + -1)?
False
Suppose c - 4*x - 38 - 97 = 0, -2*x = 8. Let a = c - 35. Does 13 divide a?
False
Suppose -4*j - 38 = -122. Suppose -j = 5*h - 4*h. Let m = -13 - h. Does 8 divide m?
True
Suppose -5*l + 13*l = 1320. Is l a multiple of 13?
False
Let h(k) = -k**3 + 23*k**2 + 26*k - 53. Let g be h(24). Let l be 64/(-12) - (-2)/(-3). Is 12 a factor of (g - -23)/(l/(-16))?
True
Is 82 a factor of (-3 - 1) + 1146 - -6?
True
Let a(m) = -48*m**3 - m**2 + 1. Let d(j) = -95*j**3 - 2*j**2 + 2. Let u(v) = 5*a(v) - 3*d(v). Does 9 divide u(1)?
True
Let c(v) be the third derivative of v**5/30 - 5*v**4/8 + 3*v**3/2 + 14*v**2. Does 38 divide c(13)?
True
Suppose -39*b + 2200 = -6575. Is 27 a factor of b?
False
Is 27 a factor of ((-7248)/(-56) + 4)*(25 + -4)?
False
Let u be (1*-4)/(-4 - 14/(-4)). Suppose 0 = u*j - 2*j - 432. Is 13 a factor of j?
False
Let z(b) = -b**2 + 3*b + 15. Suppose -5*t - 4 = -4*g - 30, -10 = 5*t. Let x be z(g). Is x*(-1)/6*2 a multiple of 8?
False
Suppose -12 = 3*o, -5*o - 1505 = -5*x + 2*x. Does 15 divide x?
True
Suppose -38 = -2*n - p, 2*n + 3*p - 42 = -0*n. Let k be (-248)/n - 4/18. Is (-1656)/(-14) + 4/k a multiple of 25?
False
Let u = 169 + -26. Let o = u + 56. Is o a multiple of 25?
False
Let i(c) = 4*c + 1. Let u be i(-4). Suppose -43*w - 45 = -48*w. Is (1 - w/u)*10 a multiple of 8?
True
Let i = -269 + 763. Does 13 divide i?
True
Let c = -49 - -239. Let r = c + -97. Is 29 a factor of r?
False
Let z(b) = -2*b**3 - 5*b**2 + b - 8. Suppose -4*q = -n - 7, 4*q = -3*n - 2 - 3. Let f = -5 + q. Is z(f) a multiple of 12?
True
Let l = 840 - 416. Suppose 8*x + l = 12*x. Is 48 a factor of x?
False
Let v(l) = -l**2 + 9*l + 29. Let q be v(14). Let s = -24 - q. Does 17 divide s?
True
Suppose 0 = -0*w + 2*w - 6. Suppose -2*v = w*j - 175, v = 3*j + j - 215. Let x = j - 33. Does 10 divide x?
False
Let l(g) be the first derivative of -g**4/4 - 4*g**3/3 + 2*g**2 - 5*g - 6. Let p be l(-5). Does 12 divide p - (-49 + (-4)/(-2))?
False
Suppose 0*z + z + l - 9 = 0, 19 = 3*z + l. Let v(r) = -5*r**2 + 5*r**2 - r**3 + 9*r**2 - 8*r + 7 + 0*r. Is 18 a factor of v(z)?
False
Let f(l) = -l + 19. Let i be f(15). Suppose -890 = -i*q + 3*h, -q = 5*h - 2*h - 215. Is q a multiple of 17?
True
Let c = -1251 - -2193. Is c a multiple of 11?
False
Let u be 0 + -2 + 8/2. Let i = 79 - 79. Suppose u*h + h - 60 = i. Does 5 divide h?
True
Suppose 3*z + 2*o = -z + 26, 3*z = -o + 19. Suppose 0 = z*a - 3*a. Suppose 2*i = q + 139, a = 2*i + i - 3*q - 210. Is 23 a factor of i?
True
Suppose -2*g = 4*g. Suppose g*r + 140 = 4*r + 4*m, -r + 3*m + 15 = 0. Does 15 divide 20/r - (-266)/6?
True
Suppose -r = 5, 0 = -b + 5*r - 211 + 2592. Does 19 divide b?
True
Let o = 513 - 323. Does 29 divide o?
False
Let x(o) = -o**3 + 2*o**2 + 6*o - 7. Let v be x(-5). Let g = v - -49. Let t = g + -123. Does 16 divide t?
True
Let v = 846 - -583. Is 11 a factor of v?
False
Is (-8 + (-100)/40)/(3/(-568)) a multiple of 14?
True
Let k(j) = j**2 - 2*j. Let a be k(2). Let f be (-2 + a)/(14/(-819)). Suppose -2*y = y - f. Does 10 divide y?
False
Let q = -250 - -418. Is 14 a factor of q?
True
Let y(k) = -2*k**2 - 12*k - 6. Let z(a) = -a**3 - 6*a**2 + 3*a + 9. Let m be z(-6). Let r be y(m). Is 10 a factor of 0 + r/((-12)/4)?
True
Let p be 564/(12/2) + 4/(-2). Suppose -p = -2*f + 4*j, -6*j = 3*f - 2*j - 148. Is f a multiple of 12?
True
Let l be (-162)/(-21) + -3 - (-4)/14. Suppose 4*w = 3*b - 286, l*b + 0*b + 4*w - 434 = 0. Is 15 a factor of b?
True
Suppose 14*b = 82859 - 25249. Does 129 divide b?
False
Suppose 15 = 7*o - 4*o. Suppose b + 12 = -o*b. Does 18 divide (-1)/b*106*1?
False
Let o(c) = 16*c - 29. Let u be o(6). Let j = u + -46. Is j a multiple of 2?
False
Let t(f) = f**2 + 5*f + 3. Let k = 4 - 10. Let z be ((-2)/(-2))/(1/k). Is 9 a factor of t(z)?
True
Let u(l) = l**2 - l - 9. Let k be (28/(-12))/((-4)/(-12)). Is 6 a factor of u(k)?
False
Let o(s) = 16*s**2 + 4*s - 4. Let u be o(3). Let j = 43 + 49. Let t = u - j. Does 12 divide t?
True
Suppose -5*c - 1134 = -4*s - 83, -4*c = -20. Let q = s + -157. Is q a multiple of 21?
False
Let t = 4 + 8. Let k(r) = 8*r - 12. Is 14 a factor of k(t)?
True
Let p(r) = 2*r**2 + 8*r + 9. Suppose 0*i - 2*f = -i - 12, 9 = 3*f. Is p(i) a multiple of 18?
False
Suppose 4*g + 4 + 0 = 0. Let a(r) = -5 + 4 - 67*r + 4 - 4. Is 23 a factor of a(g)?
False
Suppose -10*g - 4417 = -12*g - w, 4413 = 2*g - 3*w. Does 93 divide g?
False
Let y(i) = i**3 - i**2 - i - 2. Let f be y(0). Let q = 6 + f. Suppose 0*d - 2*d = q*r - 202, -5*r = 3*d - 252. Is r a multiple of 10?
False
Suppose -52 = 2*h - 3*h. Suppose -2*s + s + h = 0. Suppose -4*v + 0*v + s = 0. Is 13 a factor of v?
True
Suppose -5*t = -4*i + 51, -3*t - 3 - 6 = 0. Let l be (1*-2 - -2)/(-1). Let j = l + i. Is j a multiple of 2?
False
Let t(v) = 10*v**2 - 14*v + 44. Does 20 divide t(11)?
True
Let i be 4 + -3 + 9 - 1. Is (-1)/((i/(-40))/9) a multiple of 20?
True
Let y = 870 + -522. Suppose 2*d - 3*d - y = -3*i, 2*i = -4*d + 218. Is i a multiple of 28?
False
Let d(i) = 23*i**2 - 19*i**2 + 0 + 8*i + 2. Does 16 divide d(-7)?
False
Suppose 3*z - 922 - 392 = -3*q, 3*z + 2*q = 1318. Is 6 a factor of z?
False
Let b(n) = -n**3 + 6*n**2 - 5*n. Let u = 18 - 13. Let k be b(u). Suppose -5*g + l = -485, -g - 4*l + 7*l + 111 = k. Is g a multiple of 22?
False
Suppose -l - 9 = -12. Does 7 divide (l/2 - (-12)/8)*22?
False
Is 158 - -19 - 6*(0 + 1) a multiple of 19?
True
Let v be 10/6 + (-2)/3. Let o be (-42)/(-12) + v/(-2). Suppose -100 = -2*z - z + 5*t, -88 = -o*z - t. Is z a multiple of 10?
True
Let y(o) = -2*o + 11. Let w be y(4). Let b be 1 + w/6*-4. Let g = 7 - b. Is g a multiple of 3?
False
Suppose -5*q + 3*m + 15 = 0, 0*m + 5 = 5*q - m. Suppose 2*x - 3*h = -0*x + 76, q = -x - 3*h + 20. Is 8 a factor of x?
True
Let z(b) = -b. Let a = -2 - 2. Let n be z(a). Is 16 a factor of n/(-6)*-57 + 3?
False
Let l(n) = 15*n + 1. Let w be l(-1). Let o be w/63 + 4/18. Suppose o = -2*x - x + 6. Is 2 a factor of x?
True
Suppose 285 = -3*b + 1797. Does 7 divide b?
True
Let p = 282 + 15. Is p a multiple of 33?
True
Suppose -5*a = 3*l + 2*l - 2075, 3*l + 4*a - 1243 = 0. Is l a multiple of 26?
False
Let h(n) = -n**2 - 4*n + 17. Let g be h(-6). Suppose -g*i - 49 = -4*c, -4*i = -2*c + i + 37. Does 6 divide c?
True
Let w be 3 - (-3 - -8) - (-14 - -1). Suppose -w + 107 = 3*y. Is y a multiple of 32?
True
Let p(v) = 48*v**2 - 86*v. Does 35 divide p(7)?
True
Let n(h) be the second derivative of 0 - 11/12*h**4 + 1/20*h**5 + 6*h**2 - 2*h**3 - 8*h. Is 12 a factor of n(12)?
True
Let z(b) = 1 + 4*b + 2*b + 1. Let s be z(9). Let f = s + -6. Does 15 divide f?
False
Let z(d) = -123*d - 2. Let x be z(-1). Suppose 0 = -2*n + 4*n - 146. Let m = x - n. Does 16 divide m?
True
Let y = 428 - 291. Suppose -2*q = -y + 21. Is 11 + q + 1 + -4 a multiple of 22?
True
Let q(s) = -12*s**3 - 4*s**2 + s - 69. Does 36 divide q(-6)?
False
Suppose 2*u + 8*u - 6180 = 0. Is u a multiple of 39?
False
Suppose 4*p - 6*r + 5*r - 479 = 0, -2*p - 4*r = -226. Is 10 a factor of p?
False
Let 