pose 4*b - c = 35. Is b a multiple of 12?
False
Suppose -1 + 10 = 3*q. Suppose 0*r - q*r - 303 = 0. Let s = r - -145. Does 11 divide s?
True
Suppose -38 = -a + 3*b, 5*a - 9*b = -4*b + 160. Does 14 divide a?
False
Suppose -3*p - b + 1323 = 0, 431 = p - 33*b + 30*b. Is p a multiple of 10?
True
Let j be (-2 - 3)*(-3 + 1). Let t be (-1 + 0)/(1/(-12)). Let p = j + t. Is p a multiple of 6?
False
Suppose -3*x + 5*v = -66, 4*x + 2*v - 41 = 21. Let u(q) = -q**3 + 17*q**2 + 14*q + 10. Is u(x) a multiple of 21?
False
Let q(f) = 116*f**2. Let j = 34 - 33. Does 31 divide q(j)?
False
Let a be (-4)/(-6) - (-110)/(-3). Suppose 0 = t - 83 + 2. Let k = a + t. Is 9 a factor of k?
True
Suppose -4*j + 72 = 5*p, 6*p - 20 = 11*p. Is 2 a factor of j?
False
Let x = 243 + 4399. Is 11 a factor of x?
True
Suppose -16*k + 0*k + 3504 = 0. Is 23 a factor of k/9 + ((-25)/15)/5?
False
Let u = 4 + 4. Let y = -132 + 114. Does 20 divide (90/u)/(y/(-96))?
True
Let d(l) = 118*l - 29. Is d(2) even?
False
Let q(a) = 54*a - 48. Is 12 a factor of q(4)?
True
Suppose 2031*g - 3630 = 2028*g. Is g a multiple of 22?
True
Let o(w) = -w**2 - 1. Let q(n) = n**3 + 3*n**2 + 11*n - 4. Let a(z) = -5*o(z) + q(z). Is 14 a factor of a(-5)?
False
Suppose -2*z + 13 + 5 = 0. Suppose 11 = n - z. Suppose 4*w = r + r - n, -w = -4. Does 6 divide r?
True
Is (-18 + -5)*-2 + (-3 - -5) a multiple of 13?
False
Suppose 0*v = 2*x + 2*v - 11728, -5*x = 4*v - 29315. Suppose 12*o + 1611 = x. Is o a multiple of 33?
False
Let q(i) = -60*i**3 - i**2. Let f be q(-1). Suppose f = 2*j + 7. Suppose -j*h - 180 = -29*h. Is h a multiple of 20?
True
Suppose -c = x - 6*c - 9, 0 = 4*x - 5*c - 6. Let z be (x/(-2))/(5/(-60)). Let v = 10 + z. Does 3 divide v?
False
Let t be 1/2 + (-5)/(-2). Suppose -3*z - 282 = -3*l, -5*l - t*z + 136 = -318. Is ((-4)/(-4))/(2/l) a multiple of 23?
True
Let q(x) = 2*x + 10. Let o be q(-5). Suppose 2*w = c + 9, o*c = 5*c + 4*w + 45. Let u = c - -20. Is u a multiple of 3?
False
Suppose -4*z + 4*f = -1948, -3*z + 9*f - 12*f = -1461. Let p = z + -298. Is 18 a factor of p?
False
Suppose 5*j + r - 2937 = 1693, -5*r + 4630 = 5*j. Does 25 divide j?
False
Let q = 9136 + -5176. Is q a multiple of 12?
True
Let r = -9 - -103. Does 5 divide r?
False
Let u(w) = w**2 + 29*w + 103. Is 17 a factor of u(-39)?
True
Suppose 2*a + 3*x - 615 = 0, 3*a - 839 = -2*x + 96. Does 45 divide a?
True
Let s(h) be the second derivative of -h**3/3 + 6*h**2 + 3*h. Is 12 a factor of s(0)?
True
Is 16 a factor of 14*(-3)/((-12)/32)?
True
Is -4 - -92*6/(2 - 0) a multiple of 35?
False
Let p(s) = -6*s + 16. Suppose 7*v - 11*v = 92. Does 19 divide p(v)?
False
Let f be (-3)/(-3)*12/(-3). Let i be 124 + 1/(f/16). Suppose 2*x + 4*x = i. Does 3 divide x?
False
Suppose 0 = a - 4, -5*n = -9*n + 2*a + 1252. Is n a multiple of 15?
True
Let b = 309 - 95. Suppose 4*x - b = 38. Is 22 a factor of x?
False
Let p = 29 + -30. Is 20 a factor of 5*((5/p - -3) + 18)?
True
Suppose 3392 = 49*q - 44*q - 3*o, -4*q = 4*o - 2720. Is 34 a factor of q?
False
Let l(t) be the second derivative of -t**5/10 - t**4/12 + t**3/3 - 5*t**2/2 - 17*t. Does 6 divide l(-3)?
False
Let s be (-50)/(-15) + 2/(-6). Suppose -4*u - 107 = -s*q, 0 = 3*q - 0*q + 3*u - 135. Is q a multiple of 39?
False
Let b(w) = -w**3 - 9*w**2 + 4. Let d be b(-6). Let j = -61 - d. Is j a multiple of 16?
False
Let k(u) = 2*u**2 + 16*u + 133. Is k(-22) a multiple of 35?
False
Let w = -954 - -1422. Does 18 divide w?
True
Let x be 336/(-32)*(-206)/3. Suppose -x = -9*l + 881. Is 54 a factor of l?
False
Suppose -l - 9 = 4*f - 2*f, 5*l + 15 = -4*f. Suppose 3*b + l = 10. Suppose -4*g - 4*o = -56, -6*g + 2*o + 62 = -b*g. Is 18 a factor of g?
True
Let x(c) = 11*c**2 - 22*c + 2. Let k(u) = 5*u**2 - 11*u + 1. Let b(z) = 13*k(z) - 6*x(z). Let f be b(-8). Suppose f = -0*j + j. Is 17 a factor of j?
False
Let w(j) = -j**2 - 2*j + 1. Let p be w(-1). Let q be p/9 - (-107050)/225. Suppose 5*a - q = 3*x, a = -x + 3*x + 91. Is a a multiple of 35?
False
Let x = 104 + -318. Let v = -89 - x. Does 25 divide v?
True
Is 4 a factor of (2 + -372)*1/(-2)?
False
Suppose 2*r + 4*c = 5*r - 67, 2*c = -2*r + 54. Suppose 0 = -n + 2*l + l - 1, -5*l + r = 0. Is n a multiple of 10?
False
Let c(v) = 2*v**2 - 10*v + 6. Let j be c(10). Let b = -34 + j. Is 18 a factor of b?
True
Let c = 2802 - 1362. Is 30 a factor of c?
True
Let h = 1870 + -1246. Is h a multiple of 13?
True
Suppose 21 = 4*f + 2*d - 3*d, 3 = -3*f - 3*d. Suppose -f*z = -z. Suppose z = 3*j - 57 - 51. Is j a multiple of 18?
True
Let d = 652 - 428. Does 14 divide d?
True
Let t(p) = -3*p**2 - 225*p - 202. Is 48 a factor of t(-59)?
False
Is 22 a factor of -236*((-6)/(-4) + -2)?
False
Let a = -33 - -36. Let y(w) = w**3 + w**2 - 6*w + 6. Is y(a) a multiple of 8?
True
Let g be (-6)/(-30) - 1/5. Suppose -3*y - 4*k = -y, 4*y + 2*k - 6 = g. Does 35 divide (396/55)/(y/10)?
False
Let b(q) = 53*q - 4 + 2 + 5. Is 18 a factor of b(3)?
True
Let d(n) = 2*n + 5. Let q be d(-3). Let k = q - -2. Is 18 a factor of k/(-5) + 273/15?
True
Is 4 a factor of (-422)/(-38) - (-28)/(-266)?
False
Is 25 a factor of ((-4)/(-3) - 17760/(-45)) + 4?
True
Suppose -x - 33*x = 1360. Suppose -2*a = 2*a + 352. Let u = x - a. Is 8 a factor of u?
True
Suppose 5*w - 3*j + 3 - 5 = 0, 5 = 4*w + j. Let f be w - 0/4 - -3. Suppose -2*n + f = -12. Does 3 divide n?
False
Let w = 38 + -39. Does 39 divide w/(-1) + 71 + 6?
True
Does 3 divide 30/35 + (10196/28 - 0)?
False
Suppose -62 - 2044 = -9*s. Does 18 divide s?
True
Is 500/(-200)*(-168)/5 a multiple of 4?
True
Let t(o) = 149*o + 58. Does 12 divide t(21)?
False
Suppose 24 = 13*v - 16*v. Is (-2)/4*0/2 - v a multiple of 2?
True
Suppose -18*v - 6720 = -30*v. Is 28 a factor of v?
True
Suppose -1194 = 750*o - 753*o. Is 53 a factor of o?
False
Let h(k) = 2*k**2 + 3*k + 7. Let d be h(-5). Suppose 3*j + 0*j = -d. Does 3 divide (-12)/j*(-4 + 18)?
True
Suppose -4*p + 2*n - 10 - 28 = 0, 0 = 2*n - 2. Let g be (4/(-6))/((-6)/p). Is 11 a factor of g - (-5 - -2 - 9)?
True
Suppose -115 = -4*r - 35. Suppose -7*y + r = -2*y. Suppose y*f + 0*f = 132. Does 8 divide f?
False
Let i(w) = -2015*w + 201. Does 12 divide i(-2)?
False
Suppose -3*v = -5*v + 4. Let c be (-230)/(-5) - v/1. Let z = c + -26. Is z a multiple of 5?
False
Let j(a) = -29 - 4 + 7 - 71*a. Is j(-4) a multiple of 43?
True
Suppose 2*i - 8 = -2*i. Let s be (9/18)/(2/16). Let n = s + i. Is 2 a factor of n?
True
Suppose -2*d - 2 + 46 = 0. Suppose -3*t + d = -2*t. Let r = 44 - t. Is 15 a factor of r?
False
Suppose r - 268 = -0*r - 3*g, g + 522 = 2*r. Let w = r + -156. Is 19 a factor of w?
False
Let u(g) = 7*g**2 + 21*g - 256. Is u(-19) a multiple of 12?
True
Let f(t) = 4*t + 2*t + 6 + t + t**2. Let r be f(-7). Suppose r*k - 7*k = -45. Is 13 a factor of k?
False
Let t(j) = 5*j + 16. Suppose 23 = 4*r - 65. Is t(r) a multiple of 9?
True
Suppose 31*v - 24258 = -8*v. Is v a multiple of 8?
False
Suppose 3*n - 5*r = 0, 4*n - 2*r = n. Suppose -8*l + 99 = -4*l - 3*w, n = -l - w + 30. Does 9 divide l?
True
Suppose -2*q + 38 - 152 = 0. Let s = -1 - q. Is s a multiple of 14?
True
Let r be -4*3/(-30)*10. Let w be 4/(r*4/24). Suppose o - w*o = -200. Is 10 a factor of o?
True
Let w = -1381 + 2041. Is 66 a factor of w?
True
Let a be ((-6)/(-4))/(3/6). Suppose -z + 2*r = -23, -5 = -4*r + a. Does 9 divide z?
True
Let k be 10/(-55) - (-136)/22. Suppose k = m - 42. Is 12 a factor of m?
True
Let v = -17 + 11. Let f(p) = p**2 + 4*p - 6. Let z be f(v). Suppose 0 = z*c - c - 115. Is 7 a factor of c?
False
Let o(j) = 129*j - 44. Is o(10) a multiple of 53?
False
Let k(i) = 8*i**3 + i**2 - 3*i - 2. Suppose 1 + 1 = 5*m + 2*u, -3*u = -4*m + 20. Does 12 divide k(m)?
True
Suppose -3*c + 12 = -x, 27 = 7*c - 2*c - 4*x. Suppose 5 = -q + c. Is 53 + (-4 - (q - 0)) a multiple of 12?
False
Suppose 953 = 4*q + 281. Is 4 a factor of q?
True
Let s(o) = 2*o + 24. Let k be s(-17). Does 8 divide (-10 - k) + (0 - 0) + 64?
True
Suppose 5*p + 5*o = 6990, -14*p + 10*p = -4*o - 5608. Does 20 divide p?
True
Suppose 4*r - 9*r = -3*b + 5974, 5978 = 3*b - 4*r. Does 18 divide b?
True
Let d(g) = 2*g**3 - 8*g**2 + 17*g - 62. Does 3 divide d(5)?
False
Let v = 69 - 65. Is 18 a factor of 8/v - (-104 - 2)?
True
Suppose 3 = 6*q + 21. Let y be 6 + -5 - 1*q. Suppose -y*m + 68 + 32 = 0. Is 7 a factor of 