27*a + b = -17*a. Is 14 a factor of a?
False
Let a = 18374 - -5182. Is 14 a factor of a?
False
Let v(k) be the first derivative of 17*k**2/2 + 2*k + 14. Let c be v(2). Suppose c = 6*l - 4*l. Is l a multiple of 15?
False
Let g(l) = 54*l - 5. Let b be g(-4). Let f(j) = -j**3 - 20*j**2 + 7*j + 79. Let i be f(-21). Let p = b + i. Does 38 divide p?
True
Let z = -823 - -1723. Is z a multiple of 20?
True
Let q(k) = 3*k**2 - 7*k - 666. Is q(64) a multiple of 74?
True
Suppose -7*l - 286 = -6. Suppose 0 = -12*w + 18*w - 354. Let c = w + l. Does 2 divide c?
False
Let v(a) = -a**2 + 3*a + 59. Let c be v(-6). Suppose -c*j + 20*j - 5415 = 0. Is 19 a factor of j?
True
Does 7 divide (14/(-3))/(204/(-204714))?
True
Let c(g) = -3238*g + 4792. Is c(-13) a multiple of 89?
False
Let z = 1429 - 1426. Let d be 27/6 + (-1)/2. Is 676/d - 1/(z/12) a multiple of 33?
True
Let s = 16 - 16. Suppose s = -c + 5*v + 3 + 2, 2*c = 5*v + 10. Suppose 3*o + 10 = -2*r + 36, 5*o - 50 = -c*r. Does 6 divide o?
True
Suppose 5*n + 60 = 75. Suppose 3*u = o + n - 110, -u + 583 = 5*o. Is o a multiple of 3?
False
Suppose 24*y - 817655 = -99575. Is 55 a factor of y?
True
Is 7 a factor of ((-38224)/(-20))/((-14)/(-35))?
False
Let a(d) = -5*d + 20. Let h be a(3). Suppose 0*p - h*p = 25, -j - 62 = 4*p. Let m = 172 + j. Is m a multiple of 7?
False
Suppose -9*a + 7*a + 105 = 3*o, -2*o = -2*a + 90. Let j be (-8)/20 + (-1551)/(-15). Let n = j - a. Is n a multiple of 6?
False
Suppose -y + 22*m + 13 = 25*m, -5*m = -y + 29. Suppose -y*o = -7*o - 6984. Does 48 divide o?
False
Let x be 2/13 + 52832/(-676). Is 37 a factor of (x/5)/((8/10)/(-4))?
False
Suppose 5*l - 12373 = 5*w + 18637, 6*w = -3*l + 18678. Is 216 a factor of l?
False
Let o be (40/(-12))/(5*2/15). Let d be (12 - 7)*(-2)/o. Suppose d*s = -s + 252. Does 14 divide s?
True
Does 3 divide 22344/51 - 22/187?
True
Let o(j) = -21*j + 42*j - 19*j + 20. Let q be (1 - 1) + 1 + -1. Is o(q) a multiple of 4?
True
Suppose -s - 15 + 25 = 0. Let g be (166 - s)*2/4. Suppose 70 = 3*t - 5*q - g, -q = -2*t + 94. Is 23 a factor of t?
True
Suppose 9996 = 3*g - 3*o, 212*g + 5*o + 6658 = 214*g. Does 11 divide g?
False
Let c be (0 - (-4)/12)*(1 + -52). Is 43 - c/((-51)/(-18)) a multiple of 7?
True
Let q be (-390)/(-91)*(1 - -6). Let m be 0/1 + q/10. Suppose 54 = 2*i + 4*b, -2*b = -5*i + m*b + 180. Does 11 divide i?
True
Suppose 3*x - 5*d = 12948, 2*x - 8889 + 225 = -2*d. Is x a multiple of 7?
True
Let y(u) = 11*u**2 + 222*u - 79. Does 10 divide y(-35)?
False
Let q(o) = -3*o**3 + 49*o**2 - 64*o - 17. Let w(v) = 2*v**3 - 33*v**2 + 42*v + 11. Let c(h) = 5*q(h) + 7*w(h). Is 17 a factor of c(10)?
False
Suppose 7*h - 8*h = -5. Is 8/h + -1 + (-7272)/(-30) a multiple of 27?
True
Suppose -4*t - 5*r = -87420, -123*t - 5*r + 65570 = -120*t. Does 95 divide t?
True
Suppose -3428 = -2*a + a + 3*u, -5*a = -5*u - 17170. Is a a multiple of 28?
False
Let r(i) = 4*i**3 - 4*i**2 - 12*i + 5. Let b be r(7). Let p = b - 597. Is 30 a factor of p?
False
Let k = -6758 + 55219. Is 12 a factor of k?
False
Suppose 134*y - 270028 = 66*y. Is y a multiple of 69?
False
Let f(m) = 998*m - 4417. Is f(39) a multiple of 82?
False
Let x = 84 - 143. Let h = x + 71. Suppose p + s - 55 = -h, 16 = 4*s. Is 8 a factor of p?
False
Let q = 27763 - 4123. Is q a multiple of 17?
False
Suppose -528*i = -2*a - 533*i + 46870, 4*a - i = 93806. Is 14 a factor of a?
True
Suppose -19*h + 5516 + 1378 = -63482. Is 15 a factor of h?
False
Suppose -27655 = -5*c - 5*w, -c - 3*w + 532 = -5013. Is c a multiple of 41?
False
Let f(r) = r + 15. Let t = -2 - 18. Let z = -16 - t. Is f(z) a multiple of 19?
True
Let d = -14 - -14. Let x = d + 2. Does 23 divide x/(-3)*5586/(-28)?
False
Let d = -112 - -114. Let w be 10 + -1 - (-2)/d. Suppose 0 = w*v - 1859 - 571. Is v a multiple of 40?
False
Let n(l) = l**3 - 8*l**2 + 7*l - 11. Let p be n(8). Let h = -39 + p. Suppose h*g - 112 = 2*g. Is 21 a factor of g?
False
Let j = -11574 + 17079. Is j a multiple of 83?
False
Let t be 105/(-10) + (-1)/(-2). Let n be 4/t*(-6 + -954). Let q = n - 224. Is 24 a factor of q?
False
Suppose 0 = -268*t + 263*t - 55. Let c = t + 243. Let q = c + 65. Does 12 divide q?
False
Let o(f) = -60*f - 5. Suppose 72 = -4*c + 68. Does 25 divide o(c)?
False
Suppose -12 = 4*a, 5922 + 1236 = 3*h + 3*a. Suppose 3*m = h + 671. Is 34 a factor of m?
True
Let g = 63 + -21. Let h = g + 12. Does 21 divide h?
False
Suppose 5*v - 616 = -4*k, 5*v + 462 = 11*k - 8*k. Suppose -5*t + k = -10*b + 8*b, -2*b = 4. Is t a multiple of 15?
True
Suppose -32*a + 11278 = -125*a + 2296288. Is 130 a factor of a?
True
Does 4 divide -5 + -847*-5*(-12)/(-30)?
False
Suppose 2*a - 28 = -12. Let l(x) be the second derivative of -x**5/20 + 11*x**4/12 - 5*x**3/6 + 4*x**2 - 62*x. Does 52 divide l(a)?
False
Let n(k) = -16885*k**3 - 3*k**2 - 9*k - 7. Is n(-1) a multiple of 42?
True
Let t(f) = 218*f - 290. Is 55 a factor of t(54)?
False
Let k = 23 + -19. Suppose c + 5*z + 25 = 0, 6 = -3*c - k*z - 14. Is 28 a factor of -12*(c - (124/16 + 0))?
False
Let a(m) be the third derivative of 2*m**4/3 - 4*m**3/3 + 50*m**2. Is a(17) a multiple of 12?
True
Let f(z) = -z**2 + 7*z + 21. Let h be f(9). Let b = 9 + -4. Is (-3)/(-2)*(b - h/9) a multiple of 7?
True
Suppose -2*h = h - 4*o - 35, 3*h + 5 = -4*o. Suppose -3*d = 3*k + 12 + 120, 0 = 2*k - h*d + 67. Let c = k + 155. Is 19 a factor of c?
True
Let p be 2*(0 + (-2 - -6)). Let i be 3/2 + (-10)/(-4). Suppose i*n - 340 = -p. Is 18 a factor of n?
False
Let g(p) = -3*p - 39. Let z be g(-14). Suppose 0 = 2*u + 2*t - 426, -z*u + 2*t = t - 647. Is 43 a factor of u?
True
Suppose 25 = -5*i, 4*i = 5*w + 7*i + 5. Suppose 2*x - 742 = w*m, x + 5*m - 386 = m. Is 17 a factor of x?
True
Let h(a) = a**2 - 7*a + 3. Let o be (3/2)/(4/8). Suppose -p - f = 7, -6*p - 21 = -o*p - 4*f. Is 17 a factor of h(p)?
False
Let x = -6079 - -8599. Suppose x = -5*k + 26*k. Does 10 divide k?
True
Suppose 13160 = 2*t - 2*o, -5*t + o + 13440 + 19488 = 0. Is 12 a factor of t?
False
Let h = -582 - -1542. Suppose 0 = 50*j - 10*j - h. Is 24 a factor of j?
True
Suppose 9*t - 3*t - 7*t = 0. Suppose t = 2*d - 4*p - p - 174, -d + 3*p + 88 = 0. Does 82 divide d?
True
Suppose 180 + 3003 = 22*h - 359. Is 23 a factor of h?
True
Let g = 225 - 200. Is 17 a factor of ((-15)/g*-5)/(3/357)?
True
Suppose 4*j + j + 10 = -2*d, 4*d - 36 = 4*j. Suppose 5*b - 105 = d*p, -15 = -2*b - 4*p + 9. Is 12 a factor of (b/15)/(((-9)/(-220))/3)?
False
Does 11 divide (-20 - -27)*(-4464)/(-56)?
False
Let k(a) = -158*a + 4711. Does 28 divide k(21)?
False
Let j be (14/28)/(1/(-2)). Does 3 divide 75 + j*(0 - 0 - 0)?
True
Suppose 9*d = 12*d + 21. Let j be ((-3)/21*30)/(1/d). Is (75 + 3)/(9/j) a multiple of 13?
True
Let v be 8 - ((-6)/(-3) + -3). Let q(w) = -14*w**2 - 96*w - 26. Let c be q(-6). Let y = v + c. Is y a multiple of 11?
True
Let f = 3392 + -1069. Is 23 a factor of f?
True
Suppose -4*l + 16 = -4*k, -3*k + 15 = l + 3. Let i be 24/(-8)*10/l. Is 18 a factor of 1 + 81/(-2)*(3 + i)?
False
Let a(b) = 35*b**2 - 29*b - 156. Is a(-6) even?
True
Suppose -5*m = -4*m + 4*n + 230, -238 = m - 4*n. Let g = 281 + m. Is 9 a factor of g?
False
Suppose -8*m + 28 = -4*m - 2*p, 4*p + 26 = 2*m. Suppose -4*i + 162 = 2*f, -m*f - 253 = -8*f - 4*i. Is 21 a factor of f?
False
Let v(x) = 49*x**2 + 56*x + 70. Is 2 a factor of v(-7)?
False
Let y(u) be the second derivative of u**4/6 - 2*u**3 - 4*u**2 + 96*u - 5. Let s(d) = -4*d. Let v be s(2). Is y(v) a multiple of 12?
True
Suppose 5*b = -7158 + 898. Let s be b/(-36) + (-4)/(-18). Let d = s - 19. Is 16 a factor of d?
True
Let w(j) be the first derivative of j**3/3 - 15*j**2/2 - 32*j + 31. Let c be w(17). Suppose -2*v + 5*t = -83, t + t + c = 0. Is 19 a factor of v?
False
Let p(i) = -1319*i + 836. Is p(-5) a multiple of 10?
False
Is (-2 - (-8 - (-29696)/24))*(1 + -4) a multiple of 11?
False
Let x = 74 + -143. Let u be (x/(-4))/(-4 + (-68)/(-16)). Suppose -4*c - 3*n + 57 + u = 0, -4*c + 128 = 4*n. Does 6 divide c?
True
Let p = 1544 + -1493. Let b(c) = -2*c**2 - 8*c - 4. Let w be b(-5). Let s = p - w. Is 13 a factor of s?
True
Suppose 5*x - t - 21532 - 102464 = 0, 0 = 3*x + 4*t - 74416. Does 115 divide x?
False
Let a = 218 - -127. Is 21 a factor of a?
False
Let l be (1 - -1)*(1 + (-1)/(-2)). Let q(d) = 47 + 10 + l*d