 a multiple of 22?
True
Let u(q) = q**3 + 3*q**2 + 7. Let d be u(-3). Let n(p) = -3*p**2 + 26*p + 7. Let a be n(d). Does 27 divide (-1 - -3)*(a - 11)?
False
Let r(m) = 2*m**2 - 16*m - 11. Let z be r(9). Suppose 374 = z*f + 38. Is f a multiple of 5?
False
Let u(n) = 7*n**3 - 2. Let i be u(2). Let p = i + -52. Suppose 0 = -t - k + 9, -2*t - p*k = 2*k - 24. Does 3 divide t?
True
Is 38 a factor of -6299*12*((-2)/18)/((-14)/(-42))?
False
Suppose -11*g + 5*f = -6*g - 49890, -3*g + f + 29928 = 0. Does 38 divide g?
False
Is 17 a factor of 358908/13 - 716/2327?
True
Suppose 2*a + 9 + 1 = 3*g, -5*a + 1 = -g. Is (108/(-324))/(a/(-486)) a multiple of 29?
False
Suppose 155*s - 166200 = -159*s + 14*s. Does 2 divide s?
True
Suppose 2*q - 4*g = 86476, -2*g = -144*q + 146*q - 86512. Does 250 divide q?
True
Suppose 4*y - 42928 = -2*z, 3*y - 8*z + 13*z = 32210. Is 19 a factor of y?
False
Let j(q) = -420*q + 328. Is 4 a factor of j(-13)?
True
Suppose 7456 = -3*l + v, -2*l - 5*v - 7468 = l. Let h = -4241 - l. Does 17 divide (h/52)/((-6)/16)?
False
Let j be 1071 + (2 - (2 + -4)). Suppose -k + 5 = 0, b + 4*b = -5*k + j. Let x = b - 142. Does 17 divide x?
True
Suppose -153*p - 15897 - 7753 = -178*p. Is 4 a factor of p?
False
Suppose -50 + 35 = -3*c. Suppose -20 = -4*v - k, -2*k + 1 = c*v - 27. Does 34 divide 203 + 4 + -1 + (v - 6)?
True
Let g = 2096 + -895. Is 24 a factor of g?
False
Let b = 155 - 99. Does 18 divide (-4)/7 - (-6080)/b?
True
Let d(c) = 42*c**2 - 53*c + 172. Let f be d(3). Let k = -336 + f. Does 13 divide k?
False
Suppose 20*f = 18*f + 5028. Suppose 5*q + 3*z + 0*z = f, 0 = -3*q - 2*z + 1508. Is 56 a factor of q?
True
Suppose -340*n = -80*n + 37564 - 697444. Is 141 a factor of n?
True
Is 15 a factor of 3 - (0 - -4) - 287147/(-23 - -6)?
True
Suppose -63*h + 64*h - 1280 = 2*j, -5*j - 1280 = -h. Is h a multiple of 32?
True
Let u(b) = -972*b**2 + b - 12. Let a be u(3). Let c be ((-2)/3)/(6/a). Suppose 0 = -6*s - 85 + c. Is s a multiple of 31?
False
Let l(y) = -y**2 + 19*y - 6. Let o be l(0). Does 11 divide o + (767 - -2) + 5?
False
Suppose 2*m = m + 4. Suppose 0 = 4*s - c + 106, -m*s - 4*c - 98 = -c. Let j = 48 + s. Is 7 a factor of j?
False
Let u(b) = -3*b - 21. Let j be u(-8). Suppose -j*d = 15, 682 = -4*t + 2*d + 2492. Is t a multiple of 10?
True
Suppose -2*s = -4*h - 72, -9 - 91 = -3*s + 2*h. Suppose 5*k + 3*v = 64, -6*v = -4*k - 2*v + s. Suppose -2*d + k = 3*t, 2*t - 2*d = -7*d - 11. Does 3 divide t?
False
Suppose 2*t - t = 3*x - 137, x = -5*t + 19. Let i = x + -39. Suppose 3*y = i*b - 854, -3*b = -b + 4*y - 352. Is b a multiple of 43?
True
Suppose 4*b - x = 2020, 10*x = -4*b + 7*x + 2004. Does 6 divide b?
True
Suppose 5*h = 2*g - 9385, 62*h + 18725 = 4*g + 67*h. Does 5 divide g?
True
Let v(f) = -8*f**2 - 23*f - 90. Let l be v(-4). Let w = l - -341. Is w a multiple of 11?
False
Let h be (4312/(-88))/((-6)/5 + 1). Suppose -7*w = 35 - h. Is 3 a factor of w?
True
Suppose 0 = 4*f + 13*f - 340. Let u be f/40*(-285 + 1). Let n = -86 - u. Is 7 a factor of n?
True
Let k(s) = -s**2 - 121*s - 143. Is 20 a factor of k(-36)?
False
Let d = 26201 + -15644. Does 9 divide d?
True
Let d(w) = w**3 + 4*w**2 - 6*w - 5. Let s be d(-5). Let u be (517/77 + -5)*56. Let j = u - s. Is j a multiple of 58?
False
Suppose 0 = 51*z - 55*z - 4*w + 14020, -5*z - 3*w + 17523 = 0. Is 73 a factor of z?
True
Let k(l) = 36*l + 476. Is 46 a factor of k(20)?
True
Let h = 5019 + 677. Suppose -14828 = -12*s - h. Is s a multiple of 59?
False
Suppose -5*m + 5 = -x, 5*x - 4*m = -5*m - 25. Let f be (-5 - 78/(-18))*(-1 + x). Suppose -f*p + 1470 = k + 4*k, -2*k - p = -588. Is 49 a factor of k?
True
Suppose 7*i + 108*i - 222000 = -33*i. Is 107 a factor of i?
False
Suppose -570 = 2*l + 434. Let t = l + 783. Suppose -3*g - 330 = -4*z, 4*g = -2*z - 105 + t. Does 42 divide z?
True
Let k be 1 - 2 - -3 - -5. Let z = -15 + k. Does 4 divide (z/(-10))/((-4)/(-90))?
False
Suppose 50 = 25*o - 0*o. Does 41 divide 25920/315 - (-3)/((-21)/o)?
True
Let p(l) be the third derivative of l**5/60 - l**4/8 - l**3 + 25*l**2. Let j be p(0). Let s(a) = -5*a - 21. Is 5 a factor of s(j)?
False
Suppose -4 = 6*t - 28. Is (t/(-5))/(4208/(-1400) - -3) a multiple of 2?
True
Suppose -y + 5*g - 10*g + 1205 = 0, 2*y - 4*g - 2410 = 0. Let q = y - 821. Is q a multiple of 32?
True
Suppose 132589 = 3*u + 5*l, 2*u + 2*l - 88394 = -2*l. Is 73 a factor of u?
False
Let l be 3 + -6 - (-11)/((-44)/(-24)). Suppose -4*f = -p + 64, 7*p + l*f = 4*p + 207. Is 4 a factor of p?
True
Let z(x) = 46*x - 38. Let u be z(4). Suppose 4*t - v - 298 = 0, -9*t = -7*t - 2*v - u. Is 28 a factor of t?
False
Suppose 294 - 9042 = -2*a + 1108. Is a a multiple of 4?
True
Let s be 16/(-3 - 1)*-1339. Is 51 a factor of s/36 + 14/63?
False
Let g = 42 + -237. Let u = g - -219. Is 8 a factor of u?
True
Let g be (-1)/(-8) + -103*(-418)/16. Suppose 4*c - 3*u = g, -c + 676 = 44*u - 48*u. Is c a multiple of 32?
True
Let y be -10 - -2 - (54 + 1). Is (-226)/((-3)/y - (-5)/(-15)) a multiple of 73?
False
Suppose 0 = -5*t - 0*h - 4*h + 151, -5*t + 2*h = -127. Suppose -1152 = -t*d + 19*d. Is 8 a factor of d/3*(35/10 - 3)?
True
Suppose 536 = 9*n - 1327. Suppose g - n = 293. Does 50 divide g?
True
Suppose 2*x - 5*x = d - 3, -3*d = 2*x + 19. Let t(z) = z**3 + 10*z**2 - z - 16. Is 37 a factor of t(d)?
True
Let i(h) = h**3 + 8*h**2 + 14*h + 63. Let f be i(-6). Suppose 65*m - 11872 = f*m. Is 53 a factor of m?
True
Suppose -4*c = -3*t + 3316, -81*t + 83*t - 5*c = 2199. Does 8 divide t?
True
Let m = -117 - -191. Let j = -37 + m. Is 3 a factor of j?
False
Let q(g) = -7*g**3 + g**2 + 4*g. Let i(f) = -2*f**2 - 8*f - 2. Let b be i(-4). Let m(r) = -r**2 + r. Let x(k) = b*m(k) - q(k). Is x(2) a multiple of 8?
True
Let m(k) = 218*k - 1225. Is 18 a factor of m(26)?
False
Let g = -1518 - -2635. Let v = g + -541. Does 32 divide v?
True
Let i(m) = m**2 + 18*m + 66. Let g be i(-5). Is g/(23737/3955 + -6) a multiple of 38?
False
Suppose h = a - 7997, -5*a + 5780 = h - 34223. Is a a multiple of 160?
True
Let g = -6 - -7. Let i be (2 + g)/(-1 + 14/8). Suppose -s + 113 = q + 42, 3*s - 185 = i*q. Does 49 divide s?
False
Let q(z) = -665 - 716 + 388*z + 1443. Is q(3) a multiple of 43?
False
Suppose -97 = 5*q - 4*r - 1787, -2*q + 676 = -2*r. Does 34 divide (-18)/(-45) + q/5?
True
Let n(r) be the first derivative of r**3/3 + 3*r**2/2 + 4*r + 59. Let f(z) = 4*z + 1. Let w be f(-1). Is 4 a factor of n(w)?
True
Let z(a) = 56*a + 94. Let o be z(-11). Let p = o - -835. Is p a multiple of 86?
False
Let c = -124 + 206. Suppose 13*n = 126 + c. Is n a multiple of 8?
True
Let r(u) = 11*u**2 + 5*u - 12. Let j be r(4). Suppose -5*k + 3*k - 4*h + 364 = 0, -4*h = k - j. Is k a multiple of 9?
True
Let w = -41 - -62. Suppose -3*s = w - 6. Does 3 divide -3 + (258/6 - s)?
True
Suppose -5*m + 21385 = -5*b, -4121 = -m - b + 142. Does 70 divide m?
True
Let j(p) = 2*p + 27. Let y be j(-12). Suppose -y*h + 3*a + 576 = -252, 1410 = 5*h + a. Is h a multiple of 33?
False
Let u(v) = 5*v**3 - 13*v**2 - v - 55. Let x(p) = -27*p**3 + 64*p**2 + 6*p + 274. Let l(k) = 11*u(k) + 2*x(k). Does 15 divide l(17)?
False
Let t = 447 + 993. Does 12 divide t?
True
Let b be ((-1)/(4/12) - -6) + 34. Suppose b = -x + 39. Suppose 0 = x*l - 200 - 88. Is l a multiple of 24?
True
Let p be 4 + -7 + 1 + 2. Suppose -3*s - 116 = 5*b - p*s, -5*b - 108 = -s. Let q = b + 38. Is 12 a factor of q?
False
Suppose -6 = -5*v - s, 0*s + 26 = 5*v - 4*s. Suppose -2*t - v*z - 283 = -5*t, 0 = 2*t - 2*z - 190. Is 31 a factor of 5/((-15)/(-2))*t?
True
Let i be 99/5 + (-8)/(-40). Suppose -i = l - 5*l. Suppose l*j = 2*j - 5*u + 141, 3*j + 4*u - 138 = 0. Is 6 a factor of j?
True
Let c be 8/(-6) + 146/(-3). Let z = c - -102. Suppose -2*m - z = -4*p, m = 2*p - m - 26. Is p even?
False
Let f = -117 - -237. Suppose 2*b - 14 = 4*m, -5*b + 5*m + 6 = -19. Suppose -4*z + f = -b*z. Is z a multiple of 20?
True
Let a(b) = 9*b - 2. Let o be a(1). Suppose 1962 - 5483 = -o*y. Suppose -j = -3*v + y, j + 7 = 2. Is v a multiple of 32?
False
Let p(h) be the third derivative of 13/6*h**3 + 0*h + 0 - 7/24*h**4 + 13*h**2 + 1/12*h**5. Is p(4) a multiple of 13?
True
Let z = -580 - -589. Is (z/((-459)/(-136)))/((-4)/(-1506)) a multiple of 39?
False
Let d be (-9)/(-6) - 2646/36. Is (-368)/d - 5 - (-63