ose -w = -d*l + 55, -2*l + 3*w + 90 = 25. Does 2 divide l?
False
Let g be 4/12 + 58/(-3). Let d = g - -35. Does 3 divide (-4)/(-6) - d/(-3)?
True
Let v(p) = 4*p**3 + 3*p**2 - 5*p - 44. Is v(7) a multiple of 72?
True
Does 16 divide 693/(-44)*(-512)/6?
True
Suppose 1050 = -59*g + 62*g. Does 43 divide g?
False
Let h = 49 - -393. Is h a multiple of 34?
True
Let o be (0/1)/(12 - 13). Let v be (o - (-2 - -5))/(-1). Let w = v - -1. Is 2 a factor of w?
True
Suppose 16*g = 21*g - 25. Suppose 0 = -f + 4*o + 14, 2*f + 10 = -g*o + 103. Is f a multiple of 21?
False
Let v(g) be the second derivative of -g**5/20 - 3*g**4/4 - 5*g**3/3 + 4*g**2 + 6*g. Does 7 divide v(-8)?
False
Let u(l) = -l**2 + 1. Let k(g) = 4*g**2 + 8*g. Let f(c) = k(c) + 5*u(c). Let t be f(6). Let i = t + -5. Is 12 a factor of i?
True
Let l(z) = -z - 10. Let a be l(-13). Suppose -16 = -2*c - 4*x, 2*c + 3*c = -a*x + 12. Suppose c = f + 2*p - 8, 0*p - 3*p - 24 = -3*f. Is 4 a factor of f?
True
Let h = 895 + -662. Does 18 divide h?
False
Suppose -966 = -4*h - 6. Does 2 divide h?
True
Let h(d) = -3*d - 21. Let z = 4 + 18. Let c = 13 - z. Is h(c) even?
True
Suppose 41 = 4*l + 5. Suppose -5*u + 11 + l = 0. Suppose -u*n + 80 = n. Is n a multiple of 15?
False
Suppose 2*s = -5*j - 141, -85 = 3*s - 5*j + 89. Let b = s + 103. Is b a multiple of 13?
False
Suppose -8*r + 10*r = 8. Suppose r*u - 375 = -u. Is 14 a factor of u?
False
Let s(g) = -1281*g**3 + 2*g + 1. Is s(-1) a multiple of 48?
False
Suppose -5*r + w - 2 = -0*w, w = 2*r + 2. Suppose -2*d - d - 6 = r, 2*d + 119 = 5*o. Does 15 divide o?
False
Let r(v) = -v**3 - 9*v**2 + 4*v + 16. Let y be r(-9). Does 31 divide 1302/28*y/(-6)?
True
Suppose -g + 12 = -3*g. Does 10 divide (15/g)/(4/(-16))?
True
Let u(v) = 11*v + 385. Is 6 a factor of u(-29)?
True
Suppose 2*j - 4 = 2. Let t be j/5 - (-6)/(-10). Suppose -2*d + 5*i + 110 = 3*d, -4*d - 4*i + 56 = t. Is 9 a factor of d?
True
Let z(s) = -s**2 + 28*s + 24. Is 13 a factor of z(9)?
True
Suppose 802 = 5*v - 68. Is 29 a factor of v?
True
Let k(z) = 11*z - 3. Let l(u) = 3*u - 7. Let w be l(3). Suppose w*m = -m + 21. Is k(m) a multiple of 20?
False
Let p = 25 + -30. Let l(j) = -7*j - 13. Is l(p) a multiple of 4?
False
Suppose 0 = 5*d + 25, 17*h - 14*h = 5*d + 445. Let k = h + -85. Is k a multiple of 7?
False
Let v = 2590 - 830. Is v a multiple of 16?
True
Suppose -2*u = 1 - 5. Does 12 divide u/9 - (-1272)/108?
True
Let o = 10 + -5. Suppose -o*t + 0*t + 290 = 0. Suppose -3*a + 4*p + t = 0, -6*a + 86 = -2*a - p. Is a a multiple of 5?
False
Suppose -48*m + 15*m = -2838. Suppose z = 2*z + 38. Let x = m + z. Does 19 divide x?
False
Let m(t) = -t + 11 + 15*t**2 - t**2 - t**3 + 6. Let c be m(14). Suppose -3*r + i = -57, 3*i = -2*r + c*r - 27. Is r a multiple of 5?
False
Let s(k) = -398*k + 16. Is s(-1) a multiple of 9?
True
Let k be (-12 + 10)/(2/(-4)). Suppose 155 - 395 = -k*c. Is c a multiple of 20?
True
Let b be 2*1/(4 + -3). Suppose -b*a - h + 5*h = 12, 0 = 3*h - 12. Suppose a*y + 4*d - 52 = 0, 2*y + 2*d - 34 - 8 = 0. Is 4 a factor of y?
True
Let d be (-2007)/(-135) - (-6)/45. Let i = -42 + 3. Let p = d - i. Is 18 a factor of p?
True
Does 28 divide -3 + (-2656)/24*90/(-8)?
False
Suppose -11*d + 28625 = -151. Does 12 divide d?
True
Suppose 0 = -5*c - 25, -7*c = -4*i - 5*c + 26. Suppose 0*y - i*y - 40 = -s, -3*y = 15. Is 20 a factor of s?
True
Let v(u) be the second derivative of -u**5/20 + u**4/3 + 7*u**3/6 + 5*u**2/2 + 3*u. Does 5 divide v(5)?
True
Let i = 322 + -118. Does 34 divide i?
True
Let t = -81 - -289. Is t a multiple of 26?
True
Let h = -46 + 383. Suppose 8*b - 1 = -h. Let k = 68 + b. Does 26 divide k?
True
Let z = -60 - -63. Suppose 56 = z*o - 4. Is 5 a factor of o?
True
Suppose 2*v = 3*z + 385, -3*z - 4*v = v + 413. Let k = -33 - z. Is k a multiple of 11?
False
Suppose -6*z - 24 = -12*z. Does 3 divide (3 + -11)/z + 20?
True
Let a = -18 - -5. Let o(u) = 5*u + 8. Let s be o(6). Let z = a + s. Is z a multiple of 11?
False
Let v(g) = 12*g**2 - 24*g - 57. Is v(-4) a multiple of 11?
True
Let r be ((-1)/(-3))/((-695)/174 + 4). Suppose -r*d + 96 = -57*d. Is d a multiple of 29?
False
Suppose -4*q + 2110 = -2174. Is 37 a factor of q?
False
Let k = 6 - 25. Let c = 30 + k. Is c even?
False
Let s = 521 + 1494. Does 65 divide s?
True
Does 34 divide (-26 + 25)*(0 - 227)?
False
Suppose -16 = -6*s + 2*s. Does 21 divide s + (37 - 2/(-2))?
True
Suppose -2*j + 5*j = -5*s + 29, 2*s - 2*j = 2. Suppose -2*x - 6 = f, -28 = -s*f + x + 4*x. Let w(u) = 6*u**3 - 2*u**2 + 3*u. Is w(f) a multiple of 11?
False
Let q = 3058 - 1539. Is 49 a factor of q?
True
Let n be (2/3)/((-16)/(-408)). Let l = 25 - n. Does 8 divide l?
True
Let s = 14 - 11. Let v be 1*s + 9 + -7. Is 18/(0 + 5/v) a multiple of 12?
False
Let y(j) = -9*j + 3. Let f be y(-1). Does 6 divide (234/f)/((-6)/(-4))?
False
Let p be 16*((2 - 2) + -2). Let l be ((-8)/16)/((-1)/p). Let x = l + 36. Does 10 divide x?
True
Suppose -7838 = -28*b + 2326. Is b a multiple of 33?
True
Let x = 286 - 100. Suppose 4*n - x = 3*r, 10 = 2*r + 3*r. Is 14 a factor of n?
False
Suppose -131 = 3*u - f - 9, -4*f - 58 = 2*u. Let j = u + 94. Does 16 divide j?
False
Suppose 0 = 3*b + 2*f - 6, -2*f + 4 = 2*b - 0*b. Suppose 5*i - b*i - 15 = 0. Let o(l) = -l**3 + 6*l**2 + 4*l - 6. Is 13 a factor of o(i)?
True
Suppose -2*d + 1 = -2*c + 13, 10 = 4*c + 3*d. Let q = -14 - -19. Suppose y + 106 = q*b, -86 = -c*b + 3*y - y. Is 21 a factor of b?
True
Let c = -365 + 1971. Is c a multiple of 17?
False
Let m = -39 + 41. Is 15 a factor of 363/12 + m/(-8)?
True
Is 10/(-1)*-36*12/10 a multiple of 54?
True
Suppose -5*u - 2060 = -10610. Is 32 a factor of u?
False
Let l = -74 - -87. Does 6 divide l?
False
Suppose 2*y = -28*y + 157740. Does 126 divide y?
False
Let u be -5 + 7 + (-1 - 2). Let m be 1 + 2/u - -15. Suppose 2*q = -2*a + m, a + 3*a = q + 48. Is a a multiple of 8?
False
Let y = 587 + -409. Does 25 divide y?
False
Suppose 0 = -4*w + 53 - 21. Is (w/(-6))/(-4*5/1320) a multiple of 22?
True
Let o(v) be the third derivative of -v**5/60 - 11*v**4/24 - 5*v**3/3 + 7*v**2. Let p be o(-10). Suppose 4*a + p*a = 132. Is 11 a factor of a?
True
Let s be 0 + 2 + -1 + -2 + -7. Let i(g) = -14*g - 16. Is i(s) a multiple of 14?
False
Suppose 0*h + 6 = -2*h. Let m = h - -31. Let c = m - -8. Is c a multiple of 12?
True
Let n = 2556 + -1737. Does 63 divide n?
True
Suppose -4789 = -10*d + 3071. Suppose 1122 + d = 12*o. Does 12 divide o?
False
Suppose 3*l - k = -2 - 3, -6 = 4*l - 2*k. Does 24 divide (4/8)/(l/192*-2)?
True
Let a = 436 + -376. Is 10 a factor of a?
True
Let n(o) = 41*o**3 - 16*o**2 + 63*o - 2. Does 50 divide n(3)?
True
Let m = 328 - 229. Let s = -57 + m. Is s a multiple of 21?
True
Let j = 862 + -657. Does 57 divide j?
False
Suppose -28*h + 13*h + 7650 = 0. Is h a multiple of 30?
True
Suppose 3 = c, -5*q + c = -3*c - 18. Let a be (-9)/(-1 + (-4)/(-6)). Suppose -7*s = -q*s - a. Is 7 a factor of s?
False
Let q(y) = -59*y - 327. Is 27 a factor of q(-6)?
True
Let c(t) = 2*t**2 + 10*t + 20. Let n be c(-6). Suppose 10*w + n = 14*w. Does 4 divide w?
True
Let j = 254 + 64. Let b = -185 + j. Is b a multiple of 19?
True
Let n(g) = g**2 + 19*g + 20. Let c be n(-18). Suppose 0 = c*p + p - 396. Suppose -208 = -5*b + p. Does 21 divide b?
False
Let y = 0 + -2. Let b(r) = r + 1. Let n(t) = 11*t. Let z(w) = 3*b(w) - n(w). Does 19 divide z(y)?
True
Suppose -5*t = -2*m - 780, -4*t + 0*m + 5*m + 641 = 0. Suppose 0 = 7*w - t. Is 2 a factor of w?
True
Let m = -4 + 6. Suppose 0 = h - 0*h - 5*p + 16, -m*p + 7 = -h. Let v = 31 + h. Does 6 divide v?
True
Let u(r) be the third derivative of r**6/120 - r**5/10 + r**4/24 - r**3/3 + 2*r**2. Let f be u(6). Is 8 a factor of f/(-3)*(2 + -8)?
True
Let b be 2 + (3 - 4/1). Suppose 2*u + s = 75, -2*s - b = -7. Is 10 a factor of u?
False
Let m(y) = y**3 + 10*y**2 - 7*y + 8. Is 6 a factor of m(-10)?
True
Suppose 2265*v = 2271*v - 2880. Does 6 divide v?
True
Suppose 0 = 2*u - 0*u + 382. Is (-4)/6 + u/(-3) a multiple of 9?
True
Let f = -76 - -80. Is (-182)/((1/2)/((-2)/f)) a multiple of 26?
True
Let k(l) = 3*l. Suppose i + 2*i - 2*z = 34, 0 = -4*i + z + 42. Is 15 a factor of k(i)?
True
Does 8 divide (9 + 0)*(-735)/(-63)?
False
Suppose -b + 23 = -4*x, 5*x + 1 + 39 = 5*b. Suppose -493 = -n - n + b*z, 2*n = -z