= a**2. Let k(g) = -8*i(g) + u(g). Is k(5) a multiple of 13?
True
Let f(r) = 545*r - 2148. Does 66 divide f(6)?
True
Let s = 5152 - 3629. Suppose -8*l - 11341 = s. Does 13 divide (l/18)/(((-6)/9)/1)?
False
Suppose -4*z - 154 = 3*z. Let g be (-5 - 114/z) + (-172)/(-22). Suppose g = -r + 24. Is 16 a factor of r?
True
Let b(o) = -282*o**3 - o**2 + 6*o + 5. Let v be b(-2). Suppose u + v = 5*p - 0*p, 2*u - 1347 = -3*p. Does 41 divide p?
False
Suppose -4*y + 154 = 5*z, -4*y - 4*z + 193 - 41 = 0. Let b(q) = 2*q**3 - 73*q**2 + 43*q + 85. Is b(y) a multiple of 5?
False
Is 39 a factor of 7112/6 - 0 - (-38)/(-114)?
False
Let l(v) = v**2 + 17*v + 9*v - 27 - 53*v + 139. Does 49 divide l(35)?
True
Suppose 7*g = 5*g - 274. Let v = g + 87. Let u = v + 98. Is u a multiple of 10?
False
Suppose 12427 = 8*f - 4917. Is 6 a factor of f?
False
Suppose 32*w - 443969 = 149663. Is 54 a factor of w?
False
Suppose -3*z - 10 = -8*z, -2*z = 2*b + 28. Is ((-124)/b)/((-2)/(-104)) a multiple of 34?
False
Does 7 divide -3 - -2*2524 - (17 + -1 + -14)?
False
Suppose -10*a + 1180 = 210. Let h = 129 + a. Is h a multiple of 14?
False
Let k = -992 + 268. Let t = 116 - k. Is t a multiple of 40?
True
Suppose -135 + 1251 = 2*q. Suppose 3*o + c - 278 = 0, -102 + q = 5*o - 2*c. Suppose -5*j + 1067 = o. Does 13 divide j?
True
Let m = 57 + 55. Suppose -m + 12 = -w. Does 20 divide w?
True
Let k = -4683 - -8115. Does 33 divide k?
True
Let j be (1 - -7) + -4 - (-2)/2. Suppose 4*g = -4*u + 2*g + 3302, 2*u - 1657 = j*g. Is 14 a factor of u?
True
Let y = 52 + -39. Suppose s + 4*c = 17, -y = -2*s - 0*c - c. Suppose -4*q + 19 = -1, s*q = -5*x + 185. Is 9 a factor of x?
False
Let s be (9709 - 5)/(-1 + (7 - 4)). Suppose 12*z - s = 1100. Is z a multiple of 31?
True
Suppose 29*z = 24*z + 1785. Suppose 1023 = 12*p - z. Is p a multiple of 4?
False
Let h(q) = 164*q**2 + 19*q - 109. Is h(9) a multiple of 179?
False
Suppose 17*o - 395 = 22*o. Let k = 189 + o. Does 4 divide k?
False
Let r = 311 + -303. Is -48*(r/30)/(40/(-100)) a multiple of 11?
False
Let k(w) be the second derivative of -55*w**3/3 - w**2 + 6*w. Let u be k(-2). Let x = 366 - u. Is x a multiple of 37?
True
Let d(g) = -2*g**3 + 138*g**2 + 344*g - 34. Is d(71) a multiple of 29?
False
Let k = 215 + -215. Suppose -20*v + 3*v + 22848 = k. Does 48 divide v?
True
Let q(y) = 5*y - 11 + 16*y + 13*y - 5*y. Is 8 a factor of q(3)?
False
Let i(v) = 2*v**2 + 35*v + 26. Let c be i(-26). Suppose -590 = -5*f + 5*t, 4*f - 3*t - c = -0*t. Suppose 4*n = 5*u + f, 2*n = 3*n - 2*u - 30. Does 13 divide n?
True
Let a be (6 - 8)*-2 + 3186*1. Is (-4)/6 + a/33 a multiple of 6?
True
Is 7*160/(-140) + 1315 a multiple of 3?
False
Suppose -l + 202 = -786. Let b = l - 654. Does 37 divide b?
False
Let d = -104 + 109. Is (448 - (1 - d)) + -2 a multiple of 12?
False
Is (-53766)/(-10) - 696/1160 a multiple of 56?
True
Suppose 12*g - 2*r - 39 = 13*g, 0 = -5*g - 4*r - 189. Let p = 50 + g. Does 3 divide p?
False
Is 28 a factor of (-2583)/(-2)*((-980)/(-462) - 30/(-55))?
True
Let x(w) be the second derivative of 92*w**4/3 + 2*w**3/3 - 3*w**2/2 - 22*w. Is x(1) a multiple of 23?
False
Let b = 17 - 15. Suppose i + 13 = 2*t + b*i, 5*i = 3*t. Is 11 a factor of (-248)/(-10) + (1/t)/1?
False
Let l = 20478 - -6056. Does 219 divide l?
False
Let n be (-11616)/(-8) - ((1 - 5) + 5). Suppose 0 = -7*g - n + 9641. Does 102 divide g?
False
Suppose 4*w - 3*s - 19480 - 1656 = 0, 15857 = 3*w - s. Does 6 divide w?
False
Suppose 0 = 7*x - 2*x - 10. Let r(d) = -7*d**2 + 5 + 3*d**3 + 3 + 6 + d - x. Is r(4) a multiple of 16?
True
Is 72 a factor of (-72)/(-28)*2632/(26/13)?
True
Let q(i) = -6*i**3 - 9*i**2 + 4*i. Let p(d) = d**3 + d**2 - d + 1. Let g(y) = -5*p(y) - q(y). Let j be g(-3). Does 6 divide 27 - ((j - 1) + -5)?
False
Suppose -30 = -2*n + y - 9, -2*y - 6 = 0. Suppose -n*q - 8*q + 4896 = 0. Is q a multiple of 8?
True
Let j(w) = 46331*w + 27. Let s be j(1). Is s/117 + 4/(-18) a multiple of 36?
True
Let g(m) = m**2 - 23*m + 22. Let i be g(22). Suppose 3*b + 21 - 69 = i. Is 27 a factor of 1164/b - ((-33)/(-12) + -3)?
False
Let t be ((-272)/3)/(-3*10/135). Let g = 786 - t. Does 42 divide g?
True
Suppose 850 = 5*y - 4*o, 5*y - 1086 + 191 = -5*o. Let s = y - 144. Is s a multiple of 3?
True
Let w = -119 + 119. Suppose w = -2*y + 5*y - 6. Suppose -5*q + 255 = 5*j, -y*q = q - 12. Is 20 a factor of j?
False
Suppose -t + 13 = t + l, t - 4*l = -7. Suppose 4*u + 3*x - 1361 = 0, 0*x - 3*x = t*u - 1702. Is u a multiple of 13?
False
Let r(a) = 828*a + 47. Let w(o) = -413*o - 25. Let x(y) = 2*r(y) + 5*w(y). Is 21 a factor of x(-1)?
True
Suppose -2*x + 3592 = -z, x - 4*z - 2204 = -394. Is x a multiple of 39?
True
Let o = -51 + 31. Let v = o + -27. Let w = -4 - v. Is w a multiple of 43?
True
Let a = 126 - 82. Suppose 3*o - 2*k - 58 = -4*k, -4*o + 4*k = -a. Is 16 a factor of o?
True
Suppose -5*d - 4*z - 7 = -39, -4 = 2*z. Suppose -3*t = -d*t + 1760. Is 44 a factor of t?
True
Suppose -2*k + 12*k - 80 = 0. Suppose -336 = k*f - 11*f. Is 8 a factor of f?
True
Suppose 0 = -2*y - 5 - 5, -s = -4*y - 25. Suppose -2*d = n - 872 - 220, 4*d = -s*n + 2196. Is 68 a factor of d?
True
Let y = 551 - 546. Let x(t) = -t**3 + 7*t**2 - 4*t - 1. Is 2 a factor of x(y)?
False
Is 4*((-193544)/(-32) + -6) + -4 a multiple of 45?
True
Suppose -5*l = -j + 9, 4 = -0*l - 4*l. Suppose -2*k + 727 = 4*s + 111, -s + j = 0. Does 30 divide k?
True
Let u be 700/(-8)*96/(-14). Suppose 21*a + u = 31*a. Is 5 a factor of a?
True
Let c = 188 + 204. Let p = -4 + 7. Suppose 2*u - p*i = -u + 384, -3*u + i + c = 0. Does 11 divide u?
True
Let p be 103 + ((-2)/(-4)*2 - -1). Let v be 2030/p*-3*(-1)/2. Suppose 30 = 30*r - v*r. Is r a multiple of 10?
True
Suppose x - 60 = 4*b, -b - 45 = 2*b - 3*x. Let o = -13 - b. Does 4 divide ((-1 - o) + 54)*2/6?
False
Let d(y) = 16*y - 1. Suppose 4*r + 60 - 44 = 0. Let h be -1 + -4 - -5 - r. Is 3 a factor of d(h)?
True
Let u = 38232 - 23779. Is 26 a factor of u?
False
Let l(y) = -y**3 - 28*y**2 + 3*y - 394. Is 105 a factor of l(-31)?
False
Let g(m) = 7*m - 39. Let d be g(5). Let j(a) = -2*a - 3. Let n be j(d). Does 5 divide -3 + n - 6 - -27?
False
Suppose 12 = p + 1. Suppose 849 - 145 = p*d. Is 64 a factor of d?
True
Suppose 8*u - 1762 = 507 + 33947. Does 27 divide u?
False
Let k be (-5)/(-2) + (-240)/96. Suppose 23*r - 10532 - 462 = k. Is 10 a factor of r?
False
Suppose -6*d + 107 = 11. Suppose d*b - 4392 = 8392. Is 17 a factor of b?
True
Let c(l) = -7*l**2 - 41*l + 33. Let x(g) = 3*g**2 + 21*g - 17. Let o(f) = -2*c(f) - 5*x(f). Does 57 divide o(-8)?
False
Let u = -1078 + 1598. Suppose -13*w + u = -1417. Does 6 divide w?
False
Suppose 264 = 10*n + n. Let x be (-72)/(-15) - (n/(-20) + 1). Suppose -2*r + 3*c + 492 = 0, x*r + 3*c - 575 = 613. Is r a multiple of 12?
True
Let w = 34461 + -16357. Does 124 divide w?
True
Let o = -245 - -2310. Is o a multiple of 66?
False
Let a(i) = 2*i**2 - 15*i + 28. Let f be a(8). Does 12 divide (f/8 + -3)*64?
True
Let d(u) = 133*u**3 - u**2 + 9*u - 8. Let s be d(1). Is 7 a factor of (s/(-21) + 4)/((-4)/72)?
True
Let j(t) = -1 + 19*t + 4*t**2 + 9*t**2 + 22*t**2. Is j(2) a multiple of 7?
False
Let p = 70 - 66. Let y be -3 + (0 - (-8)/p - -62). Suppose 3*o - y = 557. Is 8 a factor of o?
False
Let t(h) = h**3 - 11*h**2 - 18*h - 31. Let f be t(14). Suppose 11*m + f = -795. Let y = m - -328. Does 38 divide y?
True
Let d be 3 + ((-30)/(-9) - 2/6). Suppose -n + 3*n - d*n = 0. Suppose 5*j - 21 - 59 = n. Is j a multiple of 16?
True
Let l = -44 - 16. Let a(z) = -z**3 + 11*z**2 - 3*z + 13. Let w be a(11). Let f = w - l. Is f a multiple of 10?
True
Suppose 3297 = 8*o + 921. Is 27 a factor of o?
True
Let a be -10 - -8 - 233/(-1)*1. Let s(k) = 7*k**2 - 2*k + 11. Let r be s(-4). Let m = a - r. Is m a multiple of 9?
False
Let o(l) = -236*l**2 - 3*l - 1. Let m be o(-1). Let i = m - -639. Suppose -i = -7*g + 127. Is 28 a factor of g?
False
Suppose -2*t = 2*t - 404. Let y = 172 - 241. Let i = y + t. Is 16 a factor of i?
True
Suppose -2396 = -45*a + 439. Suppose 5*w = -3*y + 1647, 0 = -3*y - 4*w + 1710 - a. Is y a multiple of 27?
False
Suppose 21*r = 7*r + 336. Let f(x) = x**3 - 2*x**2 + x + 11. Let g be f(4). Suppose -23*y = -r*y + g. Is y a multiple of 6?
False
Let t = 336 + -19. Suppose -3*r - 2*g + t = -3*g, 0 = 