 Let b(p) = -1. Let c(z) = 4*b(z) - q(z). Let v be c(-10). Does 8 divide (v/(-7))/(36/(-336))?
True
Let o = 8 - -68. Let v = o - 29. Let q = -14 + v. Does 10 divide q?
False
Let v(d) = 7*d - 184. Let j be v(27). Suppose p + 4*p - 4485 = -j*m, -m - 5 = 0. Does 123 divide p?
False
Does 21 divide ((-27)/(-270) + 31/(-10))*-945?
True
Let u(b) = -305*b - 834. Is u(-15) a multiple of 129?
True
Let x(f) = -f**3. Let o(q) = -5*q**3 + 0*q**3 + q - 11*q**2 - 17 + 2*q**2 + q. Let u(t) = -o(t) + 4*x(t). Does 7 divide u(-7)?
False
Let v = -3359 - -5957. Suppose 12*r - 2154 - v = 0. Does 12 divide r?
True
Let l(m) = -8*m + 41. Let v be l(-5). Suppose -10*n + 5*b + 177 = -6*n, -2*n = -b - v. Does 4 divide n?
False
Suppose -8*m = w - 4*m - 4093, w = -2*m + 4081. Is w a multiple of 11?
False
Let s = 1 - -5. Let j(d) = 2*d**2 - 15*d - 6. Let x be j(8). Is 64 + (x - s) + 0 a multiple of 15?
True
Suppose 2*s - 27 = -s - b, 2*s - 4 = 4*b. Let v be (s - 7)*(2 + -2). Let l(r) = r**3 + 2*r**2 + r + 56. Does 15 divide l(v)?
False
Let q = -207 + 115. Let v = q + 205. Is v a multiple of 15?
False
Let f(y) = y**3 - 65*y**2 + 143*y + 49. Is 20 a factor of f(63)?
True
Let p(h) = -28*h**3 - 5*h**2 - 3*h. Let u = 71 - 65. Suppose -5*r = 3*g + u + 4, 0 = 5*g. Is p(r) a multiple of 13?
False
Does 53 divide 6 - 0 - (-6 + 5 + -4235)?
False
Suppose -21*t + 24*t - 990 = 0. Suppose -110*s = -112*s + t. Does 6 divide s?
False
Let c(v) be the first derivative of v**3/3 + 5*v**2 + 24*v + 4. Let z be c(-6). Suppose z = m - 2*m + 42. Does 8 divide m?
False
Suppose 8*a + 11076 = -4*a. Let p = 1400 + a. Is p/4 - (-3)/60*-5 a multiple of 17?
True
Suppose 3*v - 7*v = -16. Suppose 3*q - q + v = 0, 3*y + 41 = -4*q. Let s(u) = -10*u - 34. Does 19 divide s(y)?
True
Let l(x) = -8 + 0 + 19*x - 2*x**2 + 5. Let g be l(9). Suppose 807 = -g*h + 2031. Is 12 a factor of h?
True
Let w be (2 + 58)/(-5 - (-114)/22). Suppose -12*q + 5262 = -w. Suppose -3*h - 28 = 3*s - q, -298 = -2*h + 4*s. Is 49 a factor of h?
True
Let h = 194 - 934. Let g = -421 - h. Does 11 divide g?
True
Let g = 3367 + -467. Is g a multiple of 20?
True
Let f(h) = -h**3 - 8*h**2 - 70*h - 54. Is f(-20) a multiple of 13?
False
Let l = 7276 - 2572. Is 147 a factor of l?
True
Let l(p) = 60*p**2 - 42*p + 15. Does 9 divide l(4)?
False
Let i be ((-3)/(-9))/(6/72). Suppose z - 973 = -o, -1193 + 229 = -z - i*o. Is z a multiple of 16?
True
Let l = -372 - -16572. Is l a multiple of 100?
True
Is 12*7/(-14) - -62916 - 2*2 a multiple of 316?
False
Let r(l) = 56*l**3 + 2*l**2 + 5*l - 1. Let c be r(2). Let u = c - -254. Does 16 divide u?
False
Suppose 3*i - 40 = 11*i. Let m(j) = -j**2 - 11*j - 7. Let b be m(i). Suppose 0 = -5*u - 4*o + 23 + b, o + 11 = u. Does 5 divide u?
True
Let m(l) = 5*l + 51. Let t be m(-13). Does 18 divide 61155/189 - 6/t?
True
Does 13 divide (-5)/(-20)*9140 - 5/(-5)?
False
Let k = -33 + 80. Let q = k - 50. Does 5 divide (-2)/(32/(-52))*(7 + q)?
False
Let f(a) = -5*a**2 + 629*a - 5. Is f(54) a multiple of 28?
False
Is 32 a factor of (17 + 6640/(-32))*2*-17?
False
Let b(m) = m**2 - 8*m + 6. Let h be b(8). Let r be 264/56 + h/21. Suppose -c - 12 = -3*v + 34, -r*c - 34 = -v. Does 3 divide v?
False
Suppose 7*g - 8*g = -654. Suppose 0 = -4*x - 2*x - g. Let q = 173 + x. Is 16 a factor of q?
True
Let b = 6918 + 895. Is 10 a factor of b?
False
Let l = -322 + 327. Suppose l*r + 665 = n, 4*r - 807 - 453 = -2*n. Does 20 divide n?
True
Let h(l) = -l**3 - 15*l**2 - 38*l + 102. Does 17 divide h(-17)?
True
Let q be 1783/(-3) + (-23)/3 + 7. Does 8 divide (q/(-30) - (-2)/(-4))*12?
True
Suppose -p = -5*f - 15, p + 17 = 4*p - f. Suppose 0 = v + v + 2*u - 1064, 0 = p*v + 2*u - 2648. Is 10 a factor of v?
False
Is 112/(-14) - (-87 + (-30)/6) a multiple of 14?
True
Let m = -145 + 170. Suppose -4*a = -121 + m. Is a a multiple of 2?
True
Suppose f - 5*d - 7049 = -112, -f = -d - 6917. Does 14 divide f?
False
Is 79 a factor of -2 - (-5 - 2) - 30670/(-10)?
False
Let t be (-3)/6 - (-110)/20. Suppose -3*k - 110 = 3*z - 431, 3*k - 541 = -t*z. Is z a multiple of 5?
True
Let s(i) = 2*i**2 + 21*i + 16. Let n be s(-10). Let c(l) = 8*l + 22. Is 10 a factor of c(n)?
True
Let r = -58 + 58. Let w be 0 + 3/(-9)*r + -2. Does 18 divide ((-6)/4)/(w + (-556)/(-280))?
False
Suppose 5*f = -2*g + 13, 4*g = f + 16 - 1. Suppose m + 276 = q, g*q + m - 242 - 847 = 0. Suppose 13*h - q = 10*h. Is h a multiple of 16?
False
Suppose -1613 = 28*o - 129909. Is 31 a factor of o?
False
Let p = -364 - -351. Let o(u) = -43*u + 49. Is o(p) a multiple of 32?
True
Let c(g) = -13*g + 32. Let b(l) = 15*l - 31. Let y(i) = 4*b(i) + 3*c(i). Is 16 a factor of y(7)?
False
Suppose -l + 0 = -14. Let k be (-3)/(-2) + 1701/l. Suppose 5*f - 45 = -g, 3*f = -2*g + 4*f + k. Is 10 a factor of g?
True
Let u(v) = -v**2 - 13*v - 19. Let g be u(-7). Let q be g/7 - 3 - 85672/(-28). Suppose 9*l + 3*l - q = 0. Is 51 a factor of l?
True
Let a = 42491 + 10189. Is a a multiple of 10?
True
Let q be (-3 - -8) + (-6 - -3). Let j = q + -99. Let a = 139 + j. Is 21 a factor of a?
True
Suppose 2*d - 7 + 1 = 4*f, 5*f + 4*d = 12. Suppose 3*k - 4*v - 262 - 534 = 0, f = 5*k + 3*v - 1288. Is 4 a factor of k?
True
Is 13 a factor of (7*(-3 - (-281)/7))/(8/60)?
True
Let s = 25 + 31. Let g = s - -5. Suppose -4*z + c + 89 = 0, -2*z + 0*c = 5*c - g. Is 4 a factor of z?
False
Let t = -4646 + 10856. Is t a multiple of 230?
True
Let g = 504 + -202. Let h be (12 - 11) + -217 + 7. Let m = h + g. Is 30 a factor of m?
False
Suppose -4*v - 4*d = -84832, -5*v + 3*d - 21192 = -6*v. Does 96 divide v?
True
Let k be (8/(-14))/((-12)/294). Suppose -4*q - 14 - k = -4*y, 5*y = -4*q - 1. Suppose 5*b - 2*z - 171 = 0, y*z = -2*z - 15. Is 5 a factor of b?
False
Suppose 0 = i - p - 1, -5*p + 13 = 3*i - 22. Suppose -i = -h, 28 = k + 4*h - 5. Suppose -k*j = -17*j + 364. Is 13 a factor of j?
True
Suppose -386*c - 6 = -388*c. Suppose c*q + 2*p = 8*q - 920, 184 = q - p. Is 46 a factor of q?
True
Suppose 0 = 2*g + 19 - 59. Suppose -3*y + 9 = -2*t, -g = 6*t - t - 5*y. Does 19 divide 420/16 + t/12?
False
Suppose 32*o + 251 - 1188 - 1079 = 0. Does 3 divide o?
True
Suppose -5*d = -5*a - 105, 2*d + 10*a - 6*a = 42. Suppose -7*b = -d*b + 1400. Does 50 divide b?
True
Suppose 0 = -w + 1, 3*w - 3 - 2 = 2*d. Is (-1)/(d/((-3612)/(-3616)) + 1) a multiple of 43?
True
Suppose -72 = -2*m - 7*b + 3*b, 0 = 2*m - 4*b - 48. Let g = -115 + m. Let o = 57 - g. Does 14 divide o?
False
Let o(b) be the first derivative of b**3/3 + 6*b**2 + 86*b - 206. Is 24 a factor of o(-12)?
False
Let t(q) = 750*q - 35. Let m be t(5). Suppose 13759 = 18*c + m. Is 14 a factor of c?
False
Let f = 58 + -55. Suppose -f*w = -2*h + 3456, -30*w + 29*w = 5*h - 8640. Does 54 divide h?
True
Suppose -8 = 4*m - 0*t - 4*t, 2*m + 5*t - 31 = 0. Suppose 0 = -m*g + 5*g - 724. Does 35 divide 2/(4/g) - 3?
False
Suppose -7*m + 37589 = 2*j, -j + 18799 = 2*m + 3*m. Is j a multiple of 32?
True
Let g be (1 - 3)/(-14 - (-567)/42). Let o be 0 + (5*-270)/(-2). Suppose o = g*r + r. Does 15 divide r?
True
Let y(s) = -13*s**2 + 53*s + 20 + 6*s**2 + 17*s + 3*s**2. Is y(15) a multiple of 25?
False
Let x = -29 - -44. Suppose -21*w = -25*w + 4*d + 164, -3*d - 6 = 0. Let v = w + x. Is 18 a factor of v?
True
Let a(p) = 4*p**2 - 4*p - 2. Let n be a(-1). Suppose 13*z = 18*z - 560. Suppose -h + n = h, 5*q + 4*h - z = 0. Is 10 a factor of q?
True
Let w(k) = 3*k**2 + 10*k + 20. Suppose 4*v + 70 = -10*v. Let s be 2 + v + 1 - 4. Is 12 a factor of w(s)?
False
Let s(r) = -3*r**2 + 16*r - 4. Let d be s(6). Suppose -2*j + 1 + 1 = 3*x, -5*j + 26 = -3*x. Is 22 a factor of j/d + 0 + 261/4?
False
Let n be 4 + -9 + 3802/(-2) - -4. Let x = n - -2854. Is x a multiple of 37?
False
Let b(q) = 213*q**3 + 5*q**2 + 19*q - 41. Is 18 a factor of b(2)?
False
Is 11 a factor of -7 - (-24607)/(19 + -8)?
False
Let k = 78 - 74. Suppose 2*m + 271 + 979 = 2*j, 0 = -2*j - k*m + 1280. Suppose 90 = 4*w - j. Is w a multiple of 17?
False
Let y = -76 - -67. Let q be (((-177)/y)/(-1))/((-1)/3). Suppose 5*d - k - 539 - q = 0, d - 118 = k. Is 30 a factor of d?
True
Is 22 a factor of (-1735)/347 - ((-933)/9)/(2/54)?
True
Let y(s) = 29*s**2 - 49*s + 193. Does 209 divide y(31)?
True
Let h be 50 - 0 - (3 - 3). Suppose 691 = 5*d + 141. Let g = d - h. Does 10 divide g?
True
Let x