 16*i - 111 - 145. Is i a multiple of 2?
True
Let l(q) = -215*q**2 + 3*q + 1. Let m be l(-2). Does 5 divide (-2)/9 + m/(-45)?
False
Let r = -73 + 298. Is 45 a factor of r?
True
Let v(k) = -k + 5. Let n be v(3). Suppose -4*s + n*s = -614. Suppose -2*p - a + s = 3*p, 0 = 5*p - a - 313. Does 20 divide p?
False
Suppose -6*p + 336 = -180. Is 4 a factor of p?
False
Suppose 12*m - 558 = 570. Does 47 divide m?
True
Let j be (21/(-6))/(2/(-4)) + 0. Suppose 208 = j*s - 373. Is s a multiple of 19?
False
Let z = -4968 - -7056. Is 44 a factor of z?
False
Let a = -21 + 36. Suppose 6*d - 99 = -a. Is d*1/(-1)*-1 a multiple of 4?
False
Let x be ((-1692)/470)/(-1*(-4)/10). Let l = 254 + x. Does 12 divide l?
False
Let k(m) be the first derivative of 0*m + m**3 + 7/2*m**2 - 4. Does 5 divide k(-4)?
True
Suppose -5*k = 4*g - 4781, 5*k - 2443 - 1144 = -3*g. Does 105 divide g?
False
Let z(g) = -2*g - 4. Let q be z(-3). Suppose 5*j - 152 = q*t, -1 - 26 = -j - 3*t. Is 5 a factor of j?
True
Is -55*(44/6)/(5/(-3)) a multiple of 13?
False
Let k be 338/4 - (1 + (-3)/6). Is 35 a factor of (10*1/6)/(4/k)?
True
Suppose -5*j + 84 + 351 = 0. Let y = j + -47. Is y a multiple of 20?
True
Let j(t) = t**2 + 26*t - 17. Is 10 a factor of j(-27)?
True
Suppose 38*k - 318 = 36*k + 5*p, 4*k - 4*p = 624. Does 12 divide k?
False
Suppose -198 = -3*z + 468. Is z a multiple of 22?
False
Let y be ((-176)/(-24))/(2/9). Let f = y - 21. Is 12 a factor of f?
True
Let u = 24 - 21. Let p(r) = 2*r - 3. Let f be p(u). Suppose f*k - w - 375 = -0*w, -w + 129 = k. Is k a multiple of 42?
True
Let d be 22/4 + 2/4. Suppose -u + 810 = -d*u. Let s = -104 - u. Is 15 a factor of s?
False
Suppose 23 = -u + 3*j, 4*u + 2*j + 98 = -u. Let i be 294/14*7/(98/24). Let f = i + u. Is 16 a factor of f?
True
Let q(b) = -b + 1. Let j(o) = -8*o - 5. Let l(f) = -j(f) + 2*q(f). Is l(5) a multiple of 5?
False
Let b = -50 - -50. Suppose 5*l - 304 + 124 = b. Does 6 divide l?
True
Suppose 0*f = f - 3. Suppose -f*r - 2*h = -793, -5*h + 286 = -0*r + r. Is 13 a factor of r?
False
Suppose -5*b + 7098 = 7*q, -2*b + 3*q = -0*b - 2845. Is b a multiple of 49?
True
Is 61 a factor of ((-187)/(-22) + -6)*148?
False
Suppose -965*m - 846 = -968*m. Is 95 a factor of m?
False
Let u = -46 + 50. Suppose 0 = -3*m + 4*t + 426, 4*t = u*m + m - 710. Is 17 a factor of m?
False
Let q(j) = -12 + 0*j**2 + 3*j**2 - 2*j**2 - 3*j. Does 3 divide q(-6)?
True
Let p = 43 - -22. Is 15 a factor of p?
False
Suppose 29*b - 88 = 2928. Does 3 divide b?
False
Let m = -802 - -1572. Is 55 a factor of m?
True
Suppose 3*l = -k + 11, 2*k + l - 1 = 2*l. Let y(u) = 4*u - 6. Let h be y(k). Suppose -v = -82 - h. Does 18 divide v?
False
Suppose -3*u = -0*u - 4*a - 6091, 2031 = u - a. Is u a multiple of 19?
True
Does 49 divide 17/(119/(-10))*-497?
False
Suppose j - 5*n + 10*n + 20 = 0, 3*j = -3*n - 12. Suppose 0*a + a = -4*t + 253, j = -2*t + 5*a + 143. Is t a multiple of 35?
False
Let v(r) = 1684*r**2 + 12*r - 4. Does 7 divide v(1)?
False
Let z = -171 + 787. Suppose -z = -d - 7*d. Is 7 a factor of d?
True
Suppose -3*b = 4*b - 791. Let q = 233 - b. Is 30 a factor of q?
True
Suppose 2*n + 18 - 178 = -4*q, -2*q + 3*n = -64. Does 4 divide q?
False
Is -4 + (-1560)/(-9) + 2/3 a multiple of 15?
False
Suppose 0 = -5*i + 9 + 6, h + 3*i - 53 = 0. Suppose c - 340 = -5*f - 0*f, f + 5*c - h = 0. Is f a multiple of 23?
True
Does 14 divide -4*(-4)/64*-42*-60?
True
Let l(n) = 36*n**2 + 3*n. Let c be l(-2). Suppose -3*i - 9 + 180 = 5*b, c = 4*b + 2*i. Is 36 a factor of b?
True
Suppose -2*q - 4*h = 3*q - 128, 4*h = 4*q - 124. Does 2 divide q?
True
Let a(c) be the second derivative of -c**6/360 + c**5/20 + 7*c**4/24 + c**3/6 - 4*c. Let p(b) be the second derivative of a(b). Is 7 a factor of p(6)?
True
Let y(n) = 7 + 27 + 2*n - 6*n. Is y(0) a multiple of 22?
False
Suppose -3*o + 5 = -1. Suppose 0*q = -o*q + 6. Suppose q*d - 27 = 33. Is 20 a factor of d?
True
Suppose -r + 14 = -4*b, -r + 8 = -0*r - 2*b. Suppose -4*m = 5*s - 351, -r*m + 78 = -m - 2*s. Does 7 divide m?
True
Is 182/(-4)*200/(-70) a multiple of 10?
True
Suppose 6*x = 28 + 8. Suppose -2*u - 3*i - 53 = -x*u, -2*u = -4*i - 24. Does 4 divide u?
False
Let u(w) be the first derivative of w**4/4 + 5*w**3/3 + 7*w - 3. Let a be u(-5). Suppose -2*h + a = -19. Does 6 divide h?
False
Let a = 3 - 0. Suppose -5*j + 8 = -a*j, -27 = -5*c - 3*j. Suppose -f + q + 104 = f, -228 = -4*f - c*q. Does 25 divide f?
False
Let v be (-4)/(-3*3/(-9)). Let o be -2 + 6 + 8/v. Suppose -5*k + 225 = -o*k. Is k a multiple of 25?
True
Suppose 311*l - 3*n - 10932 = 307*l, -2*l = -5*n - 5480. Does 21 divide l?
True
Let a = 7 - 7. Suppose a = -0*x + 5*x - 25. Suppose x*q = 8*q - 111. Does 18 divide q?
False
Let d = 4655 + -1088. Does 154 divide d?
False
Suppose 5*o = -5*v - 144 + 1059, o + 378 = 2*v. Is 41 a factor of v?
False
Let j = 44 + -51. Let d(g) = -4*g + 44. Is 18 a factor of d(j)?
True
Suppose -6 = v + 4*j - 20, v = -3*j + 11. Suppose 0*z = 2*c - 5*z - 392, 3*c - 588 = v*z. Is c a multiple of 46?
False
Let w = 4 - 0. Let g(c) = -c**3 + 4*c**2 + c - 2. Let h be g(w). Let u = h - -9. Is u a multiple of 11?
True
Suppose n - 26 - 12 = 0. Suppose 2*d - 82 - n = 0. Does 30 divide d?
True
Suppose 3*f = 4*w - 2*f - 41, -2*w - 4*f - 12 = 0. Suppose 4*u = o + 12, -w = -3*u + 2*u. Suppose -o*b - 92 = -8*b. Is b a multiple of 8?
False
Suppose -3*p - 1 = 14, 3*c + 5*p - 155 = 0. Suppose -14*k = -1236 + c. Is 9 a factor of k?
False
Let n = 471 + -487. Suppose 259 = 4*f - 3*m, 0 = -3*f - 2*m + 180 + 10. Let x = n + f. Is x a multiple of 16?
True
Suppose 0 = -0*r + 3*r - l - 7, 4*r = 4*l + 4. Suppose -2*t = -10, 6*t = r*p + t - 158. Does 9 divide p?
False
Let b be 4 + 0/(-5) + -18. Is (-8)/b + 1730/35 a multiple of 32?
False
Is 11 a factor of (-22)/((-2475)/(-5310) + 2/(-4))?
True
Let j be ((-2)/2)/((-2)/6). Let c be (-3 - 2)/5 - -82. Suppose -j*x + 0 = -c. Is 27 a factor of x?
True
Suppose -5*l - 6*m = -7*m - 1242, -486 = -2*l - 5*m. Does 25 divide l?
False
Suppose -2*q + 5*z + 8 = 0, 3*q + 2*z = -2*q + 20. Suppose -a + i + 65 = q*i, 0 = 4*i. Suppose f = 6 + a. Is 17 a factor of f?
False
Let v(r) = r**3 + 10*r**2 + 12*r + 11. Let t be v(-9). Let u = 19 + t. Suppose 0 = -2*h + 3*f + 102, 162 = u*h + f - 13. Is h a multiple of 19?
True
Suppose -g - 56 = 3*g. Let f be 12336/56 + 4/g. Suppose 2*c + 5*p = 105, 4*c + 4*p = -c + f. Is c a multiple of 10?
True
Let l = 7 + -6. Let g be (l + -1)*2/(-4). Suppose -2*f - z + 32 = 0, -f + g*z + 9 = 4*z. Is 11 a factor of f?
False
Let r(c) = -4*c**3 - 15*c**2 - 9*c + 30. Is r(-7) a multiple of 5?
True
Let p(g) = 2*g**2 - g - 20. Let h(n) = n**2 - 10. Let b(a) = -11*h(a) + 6*p(a). Is b(8) even?
True
Let y = 42 + -62. Let n = y - -29. Does 19 divide (n/(-6))/((-6)/76)?
True
Suppose 2 = -3*z - 13, s + 4*z = 899. Is 13 a factor of s?
False
Let x(t) = 4*t + 24. Let v be x(15). Suppose -78*s - 66 = -v*s. Is 10 a factor of s?
False
Let g be 1/(7/2 - 3). Suppose 2*s = -g*s + 48. Suppose -59 = -c - s. Is 14 a factor of c?
False
Let b be (0/(-1) - -2)*-2. Let g = b + 2. Does 10 divide (g + 0 + 12)*2?
True
Let m = 46 - 41. Suppose -75 = -6*v + m*v. Is v a multiple of 15?
True
Let z(o) = -o**3 - 5*o**2 + 5*o - 6. Let q be z(-6). Suppose s - 5*s - 24 = q. Is 8 a factor of (s/4)/(12/(-248))?
False
Let o be 3 + (-1 + 3)/2. Suppose -v = v - o. Is 4 a factor of (-2 - (v + -20)) + -1?
False
Let y(i) be the third derivative of -i**6/120 - i**5/20 + i**4/12 + 2*i**3/3 - i**2. Let b = 23 + -27. Is 7 a factor of y(b)?
False
Let t(k) be the third derivative of -k**5/60 - k**4/3 - k**3/2 + 6*k**2. Is t(-6) a multiple of 3?
True
Let k be (105/28)/((-1)/(-4)). Suppose -m = 4*m - k. Suppose -m*r - 2*r - 70 = -3*f, 2*f - 45 = 5*r. Is 5 a factor of f?
True
Let g = 16 - 11. Suppose -2*y + 5*n + 6 = 0, 5*n - g = -y - 2. Suppose 0*b - 3*f = b - 42, -y*b + 126 = -2*f. Is 21 a factor of b?
True
Suppose d - 4*s - 1280 = 600, 2*d - 4*s = 3764. Does 12 divide d?
True
Let o(y) = y**3 - 14*y**2 + 2. Let z be o(14). Suppose -z*l = 6*l - 1488. Is l a multiple of 19?
False
Let j(x) be the first derivative of x**4/4 + 8*x**3/3 + 3*x**2/2 - 22*x + 22. Is 8 a factor of j(-6)?
True
Let p = -233 - -258. Is 3 a factor of p?
False
Suppose 4*y - 4*j = j + 46, -2*y - 5*j + 8 = 0. Let q(t) 