3. Let q be v(5). Let a be f(q). Is 32 a factor of (87/a)/((-2)/820)?
False
Is 130 a factor of (33 + 0)*-5*936/((-48)/4)?
True
Suppose 3*g + 891 = 3*k, 3*g - 4*k + 1218 = 324. Let z = -261 - g. Does 2 divide z?
False
Let n = 414 - -1715. Suppose 3*u + 4*l + 197 = n, -4*u + 2576 = 2*l. Does 14 divide u?
True
Let y = 3424 - 2671. Is 9 a factor of y?
False
Suppose 515 = 3*b + 1322. Let y = -225 - b. Does 11 divide y?
True
Let v(f) = 7*f**2 - 5. Let q be v(3). Let z = -58 + q. Does 4 divide (-2 + -9)/((-2)/14 - z)?
False
Let p(j) = 3364*j**2 - 125*j - 251. Does 13 divide p(-2)?
True
Let d(w) = 63*w**2 - 46*w + 380. Does 30 divide d(20)?
True
Let r = -13 + 72. Let k = 53 - r. Let l(n) = -6*n - 4. Is l(k) a multiple of 8?
True
Suppose -f = -3*n + 6*n - 761, -2*n + 503 = 5*f. Let a be 12/3 + (n - -2). Suppose 5*v - a = 4*o, 2*v = v + 3*o + 41. Does 14 divide v?
True
Let l(d) = -7*d - 47. Let q be l(-8). Let b be 2*2*q/12. Suppose 2*v - 8 = 0, 2*k - 651 = -b*k + v. Does 9 divide k?
False
Let r be 0 - (240/(-25))/(4/(-10)). Is (-52 - r)/(1/(-17)) a multiple of 34?
True
Does 25 divide 86/301 - (1 - ((-109882)/(-14) - -2))?
True
Suppose -4*w = 0, 3*s - 4*s + 5*w = -18. Suppose 3*c + s = 3, 2*d + 4*c = -16. Does 2 divide d?
True
Let z(l) be the third derivative of -19*l**4/24 - 4*l**3 - 4*l**2. Let g be z(-9). Let y = 333 - g. Is 31 a factor of y?
True
Let y = 1049 - 539. Let w be 39/143 - 156/(-33). Suppose -2*f = 2*f, 5*f - y = -w*i. Is 51 a factor of i?
True
Suppose 0*i = 6*i + 330. Let f = 54 + i. Is -3 + f + 4 + 37 a multiple of 17?
False
Suppose -12*p + 9*p = 0. Let t(b) = 4*b + 482. Is t(p) a multiple of 29?
False
Let l(u) = -19*u**3 - 5*u**2 + u + 4. Let o be l(2). Let n = o + 273. Is 14 a factor of n?
False
Let p = 10904 - 7584. Is p a multiple of 20?
True
Suppose -t + 5*q = -85517 + 31731, -4*t = q - 215018. Is 58 a factor of t?
False
Let p be 82/2*(2 - 1). Suppose 0 = -5*b + 104 + p. Is b a multiple of 12?
False
Let r = -25 - -6. Let i be (-1328)/16 - 4/2. Let v = r - i. Is 11 a factor of v?
True
Let g(t) = -5*t**2 - t - 24. Let c(y) = -y**2 - y. Let w(h) = 4*c(h) - g(h). Let d = -64 - -64. Is w(d) a multiple of 6?
True
Let x(d) = -19*d + 63. Let u be x(3). Suppose 0 = -u*n + 2153 - 413. Does 29 divide n?
True
Suppose -20*m = -224163 - 900237. Is 20 a factor of m?
True
Let m = 3230 - -9177. Does 19 divide m?
True
Let j be ((-21)/(-2))/((-210)/280). Let n(l) = -l**3 + 7*l**2 + 5*l + 8. Let s be n(6). Let x = s + j. Does 12 divide x?
True
Let m(n) = 11 + 21 + 31066*n - 31065*n. Is m(-14) even?
True
Suppose 0 = 50*t - 75*t + 70575. Is t a multiple of 50?
False
Let l(r) = -r**2 - 12*r - 18. Let t be l(-2). Suppose -2*p = -t*z - 100, -5*z + 232 = 4*p - z. Is p a multiple of 14?
False
Let f = 43 - 22. Let h = -11 + f. Suppose 2*q - 4*b = h, -11 = -2*q + 4*b - b. Does 7 divide q?
True
Let l be ((-210)/280)/(((-6)/(-16))/(-1)). Suppose 5*a + 10 = 0, 5*a = -3*x + a + 1051. Suppose l*g + x = 5*y + 3*g, 2*y = g + 137. Is y a multiple of 7?
True
Let w be ((-99)/(-12) - -1)*4. Let v = -39 + w. Is 11 a factor of 2 + v + -4 + 63?
False
Suppose -4*o - 4*a = -11348, 4*a + 11300 = -26*o + 30*o. Is o a multiple of 8?
False
Suppose -12*i + 744 = 19*i. Suppose -12*b + i*b - 7452 = 0. Is b a multiple of 14?
False
Suppose 1112260 = 179*k - 84*k. Is k a multiple of 82?
False
Let k(q) = -10*q - 6. Let f be k(-10). Let g = -89 + f. Suppose g*b - 5*v - 115 = 0, -8*b = -7*b + v - 15. Does 5 divide b?
False
Let f be -1 - 4/((-8)/(-22)). Does 50 divide (f - -2)*(1 - (-1 - -65))?
False
Suppose -21*l + 25*l - 108 = 0. Let c = 39 - l. Let g = 63 - c. Is g a multiple of 8?
False
Suppose -4*d = -4*a + 128, 13*a - 17*a = -2*d - 56. Let v(k) = k**2 + 31*k - 4. Is 22 a factor of v(d)?
True
Suppose 6*i = 2*u + i + 20, -3*u + 3*i = 48. Does 10 divide (-5)/(u/(-36))*46/(-2)?
False
Let q be 22120/170 - (-5)/((-85)/2). Suppose u - j - 247 = 0, 3*j - 847 + q = -3*u. Is 27 a factor of u?
True
Let g be ((-80)/(-12))/((-2)/(-12)). Let a = 44 - g. Suppose 0 = 4*k - 4, a*k + 297 + 41 = 3*t. Is t a multiple of 6?
True
Suppose 3*x + 1433 = 4*p, -6 = -5*x + 19. Is 24 a factor of p?
False
Suppose 13376 = 69*b - 65*b. Is b a multiple of 176?
True
Let v = -30 + 141. Let k = 277 - v. Is 18 a factor of k?
False
Suppose -j = -q + 14 - 0, -5*j = -4*q + 67. Let d be 1013/6 - 0 - j/66. Suppose -2*u = -481 + d. Does 26 divide u?
True
Suppose q - 21625 = -3*q + m, q - 5415 = -m. Is q a multiple of 208?
True
Suppose 4 = 11*s - 9*s. Suppose 9*n - 4*n = 5*c - 5, -s*c = 4*n + 4. Suppose c = 3*v + 2 - 146. Is 24 a factor of v?
True
Let x(p) = -289*p**2 + 19*p - 35. Let a(k) = -290*k**2 + 19*k - 36. Let c(b) = -3*a(b) + 2*x(b). Is c(2) a multiple of 52?
False
Suppose 17*u - 11*u = 36. Is 6 a factor of ((-3)/u)/((-12)/2712)?
False
Let t(q) = q**3 - 8*q**2 + 38*q - 354. Does 14 divide t(18)?
True
Suppose 29*p - 61090 = 24*p - 5*u, -2*p + 24448 = -4*u. Is p a multiple of 20?
True
Let j = -249 - -72. Let v = 513 + j. Is 21 a factor of v?
True
Let c(d) = 52*d**2 + 5*d + 4. Let y be c(-2). Suppose -278 = -3*o + 5*q, 2*o = -4*q - q + y. Is 32 a factor of o?
True
Suppose -2299 = -t + 24*d - 21*d, 2*t = 5*d + 4593. Does 4 divide t?
True
Let w(s) = -s**2 - 43*s - 87. Suppose -113 = 3*g - 4*y, 2*g - 2*y + 59 = -17. Does 9 divide w(g)?
False
Let n = 1466 - 1215. Is 3 a factor of n?
False
Let p(g) = 3*g**3 - 28*g**2 + 8*g - 5. Let d be p(11). Let b = d - 369. Does 9 divide b?
False
Let z(g) = -50*g**3 - 8*g**2 + 14*g + 30. Does 36 divide z(-4)?
False
Let c(g) = 583*g + 10. Let n be c(1). Let z = 307 + n. Does 75 divide z?
True
Is 13250493/452 - (3/12 + (1 - 1)) a multiple of 6?
False
Suppose -5*z - a = -42743, -15*z + 12*z = -3*a - 25617. Does 21 divide z?
True
Suppose -50*x + 600870 = 83*x - 50697. Does 69 divide x?
True
Let k(z) = -3*z - 16. Let j be k(-6). Suppose -i + 9 = j*i. Suppose i*t - 90 = -6*t. Does 10 divide t?
True
Suppose -17*w - 38*w = -18*w - 556813. Is w a multiple of 149?
True
Suppose 0 = u - 27 - 2. Let t = u - 23. Does 6 divide t?
True
Suppose 0*o + 2*o = v - 57, -2*o = -2*v + 58. Let c be (-24)/42 - 240/o. Suppose -c*h + 4*h = b - 2, -16 = -2*b - 2*h. Does 2 divide b?
True
Let k(f) = 39*f**2 - 2*f + 3. Suppose -2 = -3*r + 43. Suppose -r = -w - 4*w, 4*d - 7 = -w. Is 10 a factor of k(d)?
True
Suppose -j - 323 = 4*g - 2*j, -5*g = -4*j + 390. Let a = g + 85. Suppose 4*k + 284 = a*p, 4*k - 176 = 3*p - 5*p. Does 23 divide p?
True
Let v(y) = -y**3 + 3*y**2 + 14*y - 16. Let m be v(7). Let f = 121 + m. Suppose 4*o - f*o + 99 = 0. Is o a multiple of 7?
False
Let a = -130 - -133. Suppose 0 = 4*n + 3*w + 14, 2*n - 8 = a*n + 3*w. Is 21 a factor of (2 + -3)*(-2)/n*-67?
False
Let r = -411 - -64. Let s = r - -659. Does 15 divide s?
False
Suppose 2*y = 3*y + 21. Let l = y - -30. Is 33/l + (-40)/(-30) even?
False
Suppose 248*y - 246*y = -10, 1564 = b - 2*y. Is 6 a factor of b?
True
Let j(c) = 6*c - 36. Let r be j(6). Suppose -i + 642 = x, -650 = -r*x - x - 5*i. Is 16 a factor of x?
True
Let h(r) be the third derivative of r**5/15 + 5*r**4/8 - 5*r**3/2 + 8*r**2. Let w be h(-11). Suppose -59*g + w = -55*g. Is g a multiple of 8?
False
Is 13 a factor of -303 - -311 - (-10131)/1?
False
Let s(t) = 34*t**2 - 6*t + 334. Is s(16) a multiple of 52?
False
Suppose 6240*n + 78862 = 6247*n. Does 262 divide n?
True
Let y(n) = -420*n - 2052. Does 31 divide y(-7)?
False
Suppose -5*h - x = -1803, 0 = -9*h + 8*h - 4*x + 353. Does 154 divide h?
False
Suppose 4*m = -2*r + 30698, -r - 8*m - 15319 = -2*r. Does 87 divide r?
False
Suppose -2*o - 2*m + 291 + 421 = 0, 0 = -5*m. Let j be (-6)/9*90/(-4). Suppose 11*w = j*w - o. Does 19 divide w?
False
Let o = 528 - 533. Is 3 a factor of 113 + 0 + (-4 + o)/(-9)?
True
Let n be (-3 + 27)*((-20)/8 - -3). Suppose -n*u - 2664 = -18*u. Does 51 divide u?
False
Suppose -2*v + 5*k = -4278, -2*v - 231*k + 232*k + 4302 = 0. Is 6 a factor of v?
True
Let b be -134*7/(-28)*(0 + 4). Let o = b - -66. Is 10 a factor of o?
True
Let l(n) = -n**3 - 17*n**2 + n + 19. Let x be l(-17). Suppose -5*o - 41 = -3*f, 2*o = f - 2*o - x. Suppose 768 = -f*h + 26*h. Is 12 a factor of h?
True
Let d be (-32)/(-3) - (-3)/9. Let n be ((-1)/4)/((d/(-1436))/11). Suppose 3*a = 2*i - 17 - 158, 4*i - n = -3*a. Is i a multiple of 8?
False