a)?
False
Let f(q) = 23*q - 9. Let i be f(-9). Does 34 divide (i/48)/((-807)/(-408) + -2)?
True
Let v(j) = -2*j**3 - 4*j**2 - 2*j - 3. Let y(z) = -4*z + 17. Let r be y(3). Suppose -2*d = -k - 7, -11 = k - r*d + d. Is 21 a factor of v(k)?
True
Let o = 271 - 283. Is 36 a factor of -12*(9 + -4)*o/10?
True
Is 95 a factor of (-3976427)/182*1/(-2) + (-6)/(-8)?
True
Suppose 0 = -3*h + 5*q + 14412, -23*q + 21*q - 14394 = -3*h. Is 70 a factor of h?
False
Let d(x) = 251*x - 29. Let h be d(7). Let u be -2*5*h/90. Let q = 78 - u. Is q a multiple of 25?
False
Let m = 11102 - 5085. Does 11 divide m?
True
Let h(y) = -7*y - 23. Suppose -4*x = 12 + 8. Let j be h(x). Is 14 a factor of ((-90)/j + 0)/(6/(-56))?
True
Let t(x) = -5*x**3 - x**2 - 3*x - 2. Let d be t(-1). Suppose -d*v = 4*j - 158, 3*v + 4*j - 88 - 10 = 0. Does 6 divide v?
True
Suppose 4*p = -2*o - 1676 + 10616, 2*p - 3*o - 4470 = 0. Does 15 divide p?
True
Let w(x) = 337*x - 1811. Is w(13) a multiple of 10?
True
Suppose -3752 = -s + 5*c + 10142, 0 = -5*s + 2*c + 69332. Is s a multiple of 13?
False
Let f = 21472 - 11810. Is 26 a factor of f?
False
Suppose 0 = 3*q - 2*p + 19, 2*q + 4*p = 3*q + 13. Let s be 4/(-10) + (q - 135/(-25)). Suppose -3*o + 239 + 49 = s. Is o a multiple of 31?
False
Let d = 3653 + -2663. Does 11 divide d?
True
Suppose -11*b = 14*b - 125. Suppose 1234 = 4*n - 2*o, -b*n + 927 = -2*n - 3*o. Is n a multiple of 15?
False
Let h(n) = -n**2 - 24*n + 29. Let u be h(-13). Suppose -3*q + 53 = -u. Let z = q + 38. Is 17 a factor of z?
False
Let u = -38 - 27. Let s be 1*2 - (-13)/(u/(-50)). Does 3 divide 126/s*(4 - 2)?
True
Let j(c) = 7*c**2 - 19*c + 1495. Is j(32) a multiple of 32?
False
Let q = 20 + -16. Let w be 5/(-1)*(-4 - (q - 7)). Suppose -s = -w + 2. Is 3 a factor of s?
True
Let c(p) = -2*p**2 + 28*p - 12. Let d be (-980)/(-80) + 6/8. Let u be c(d). Suppose -19*k + u*k = -745. Is 19 a factor of k?
False
Let q = 6 - 4. Let x(p) = p**3 + 0 + 1865*p**q - 5*p - 1870*p**2 + 7. Is x(7) a multiple of 14?
True
Is 18 a factor of ((-982)/(-10) - 1)/((-1602)/(-598080))?
True
Let k = 36010 + -14502. Does 66 divide k?
False
Let z(c) = c**2 - 16*c + 36. Let w be z(13). Does 8 divide (-42)/(-45)*36*(-20)/w?
True
Suppose n + 2229 = 3*a - n, -2*n - 3719 = -5*a. Suppose -v + a = 54. Is 7 a factor of v?
False
Is ((-45)/((-2160)/(-101072)))/((-2)/12) a multiple of 3?
False
Does 30 divide (471/60 - (-25)/(-250))*1096?
False
Suppose 0 = 7*f - 13*f + 6. Let u be -5 + (-25)/(-5) - f*-3. Suppose 8*n = 3*n + u*d + 327, 0 = -n - 3*d + 69. Does 33 divide n?
True
Let d(t) = 249*t + 309. Does 10 divide d(19)?
True
Let u be (370/(-75))/((-6)/8118)*5. Suppose 47*w - u = 6*w. Is w a multiple of 37?
True
Suppose 4*n - 22655 = 45373. Is n a multiple of 171?
False
Let p be (-104)/26 + 4*407. Suppose y = 2, -4*f - 2*y = -f - p. Does 49 divide f?
False
Let o(h) = -h**3 + 7*h**2 + h + 14. Let r be (2*(-2 + -5))/(-2). Is 19 a factor of o(r)?
False
Suppose -19*o + 44877 = -32638 - 90730. Is o a multiple of 115?
True
Let h(c) = 2*c**2 + 39*c - 5321. Does 8 divide h(81)?
True
Let x(b) = 18*b**2 - 4*b + 1. Let i = -30 - -33. Let k be x(i). Suppose 805 = 3*v + k. Is 41 a factor of v?
False
Suppose -8*o = 5*t - 11*o - 141969, o + 141963 = 5*t. Does 14 divide t?
True
Let c(w) = -w**3 - 6*w**2 + 5*w + 15. Let i be (-3)/((-18)/(-15))*(5 - 1). Is 11 a factor of c(i)?
False
Is 12 a factor of (-276)/(-207) - 52800/(-9)?
True
Suppose 2*c - 128 = -5*p - c, 101 = 4*p + c. Suppose p*k - 37*k = -9768. Does 37 divide k?
True
Let i be (-2 - 0 - (3 - -4))*-3. Suppose -2*j = -3*j, j + i = -l. Let o = l + 67. Does 8 divide o?
True
Let z = -195 - -78. Let h = 29 + z. Let n = h - -153. Is n a multiple of 33?
False
Is 7 a factor of ((-5 - -11) + -2 - -860) + 3?
False
Suppose -12*u + 8826 + 20334 = 0. Let l be (-2)/7 - (u/21)/1. Let q = l - -129. Does 4 divide q?
False
Let o(m) = m + 4. Let v be o(11). Suppose 0 = -3*x + 2*y - 7*y - 25, 2*x + v = -3*y. Does 10 divide 6*(-30)/(-18) - x/(-1)?
True
Is (8876/(-35))/(4/(-6))*40 a multiple of 12?
True
Is 2932 - (-4 + 28 + -9) a multiple of 7?
False
Let n(i) = 20*i + 19. Let j be (24/18)/(2/15). Let d be n(j). Let m = d - 27. Is 10 a factor of m?
False
Let z = -2687 - -3388. Is 5 a factor of z?
False
Let i(u) = -359*u**2 - 2*u - 2. Let v be i(-1). Let o = -240 - v. Is o a multiple of 7?
True
Suppose 5*y + 324 = -2*d, 4*d + 678 = 19*y - 14*y. Suppose -5*p = -3*o - 46 - 195, -2*o = -5*p + 164. Let z = o - d. Does 14 divide z?
False
Let f(z) = -z**3 - 9*z**2 + 10*z - 135. Is 34 a factor of f(-22)?
False
Let h(x) = -1776*x - 6009. Does 261 divide h(-5)?
True
Suppose -941 = 8*h + 2483. Let j = -154 - h. Does 11 divide j?
False
Let n be -2*15/(-10)*(-16)/(-12). Suppose -n*h + 5*h = 4*t - 211, 5*t + 5*h = 270. Is 39 a factor of t?
False
Suppose 101 = 4*b - 5*o, -4*o = 4*b - 41 - 87. Let z(n) = n**3 + 13*n**2 + 15*n + 20. Let q be z(-12). Let s = q + b. Does 13 divide s?
True
Is 178 a factor of (-925155)/42*-5*16/60?
True
Let w(x) = 3*x**2 - 37*x + 293. Is w(-26) a multiple of 67?
True
Is 10 a factor of (-2 - (-156)/(-10))/((-168)/14700)?
True
Suppose -4*r + 1 = 4*h - 63, 4*h - 4*r = 104. Suppose -2356 = -25*l + h*l. Does 18 divide l?
False
Suppose -3*q + c = -20, -20 - 8 = -q - 5*c. Suppose 3*r - q*r + 2845 = 0. Suppose w = -4*h + 140, -4*w + 2*h - 45 = -r. Is 33 a factor of w?
True
Let n be 7*(120/56*1 + -2). Let y be (-1)/((-2)/(47 - 1)). Let k = n + y. Is 5 a factor of k?
False
Let z be 1*(-12)/15*70/4. Let p = z + 14. Suppose -y = -p*y + 3*j - 163, y = 3*j + 187. Is y a multiple of 25?
True
Let l be ((-25)/4)/(18/(-72)). Suppose 19*o = l*o - 762. Is o a multiple of 6?
False
Does 93 divide 22529 + 5 + ((-2)/(-14))/((-112)/(-784))?
False
Let w be 3 - ((-147 - -6) + -7). Suppose -4*s + 655 = w. Is 63 a factor of s?
True
Suppose 5279*j = 5267*j + 105216. Is 102 a factor of j?
False
Let p = 718 + -715. Suppose -m + b = -330, 3*m - 393 = -p*b + 621. Is 38 a factor of m?
False
Let c(v) = -v**3 - 6*v**2 - 4*v - 30. Let x be c(-6). Let t(d) = 7*d + 48. Is t(x) even?
True
Suppose 0 = -5*s + 1070 + 1270. Let r = 57 + s. Suppose -r - 99 = -13*k. Is 16 a factor of k?
True
Let o = -12 + -10. Let q = o - -29. Is q/(49/6)*105 a multiple of 10?
True
Let a be (-4 + 1)*119/(-17). Suppose -a*u + 22*u - 319 = 0. Does 11 divide u?
True
Let w(n) = 4*n - 26. Let c be w(10). Let s = c + 134. Is s a multiple of 11?
False
Let p(n) = -28*n + 3. Let b(f) = 4*f**2 + 4*f - 2. Let h be b(-2). Let g be p(h). Let s = 282 + g. Is 44 a factor of s?
False
Let p = -192 - -708. Let i = p + -296. Does 7 divide i?
False
Let n(z) be the second derivative of 0 + 1/20*z**5 + 4*z**3 - 17/12*z**4 - 17*z - 10*z**2. Does 27 divide n(16)?
True
Let n(c) = 6*c**2 - c + 15. Let t(s) = 7*s**2 - s + 16. Let w(f) = 5*n(f) - 4*t(f). Suppose -3 = -3*o, x - 16 = 3*o - 29. Is 17 a factor of w(x)?
True
Suppose 10*b - 9*b - 2 = 0. Suppose -4*g - 3*j = -9, -2*g + g - b*j = -1. Suppose -3*r + 215 = 2*m + 26, -g*m - 3*r + 279 = 0. Does 5 divide m?
True
Let a(c) = c**3 - 4*c**2. Let b be a(4). Let i(n) be the first derivative of -2*n**2 + 85*n + 95. Is i(b) a multiple of 5?
True
Suppose -w = 3*f + f - 203, 5*f = 3*w + 275. Let c = -52 + f. Suppose -7*i = -c*i - 98. Does 3 divide i?
False
Let p(i) = 14*i - 21*i - i**3 + 3*i**2 + 11 + 4*i**2. Let r be p(6). Suppose 2*x = -r + 55. Is x a multiple of 5?
True
Let o(r) = r**3 + 47 - 57 + 7*r - 2*r**2 - 6*r**2. Let a be o(7). Let k(g) = -g**3 - 11*g**2 - 12*g - 2. Is k(a) a multiple of 14?
False
Let z(p) be the second derivative of -p**4/12 + 2*p**3 - 31*p**2/2 + 19*p. Does 4 divide z(5)?
True
Let y(w) = 1014*w**2 + 324*w + 2015. Is y(-6) a multiple of 10?
False
Let b = -8625 + 10725. Is 175 a factor of b?
True
Let y be 22/99 - (75/(-27) - 0). Suppose 1260 = y*i + m, 5*i - 727 - 1373 = 4*m. Is 14 a factor of i?
True
Let f = 11 + -98. Let r = 100 + f. Suppose c = 3 + r. Does 3 divide c?
False
Let z(o) = 21*o**2 + 401*o + 2364. Does 51 divide z(-6)?
True
Let s be (114/(-9))/(2/(-6)). Let h(k) = -11*k**2 - 44*k - 1. Let r be h(-4). Let v = s - r. Is 13 a factor of v?
True
Let y(b) = -27*b - 90. Let j be 405/54*(-1)/(6/8). Does 7 divide y(j)?
False
Let b = -671 - -1278. Let v = b + -418. Does 21 divide v?
True
Let j = 133328 + -9