s f a multiple of 51?
False
Suppose 0 = -p - 3, -u + 2*p = 3*p + 15. Does 95 divide -84*(138/u + 8)?
False
Let f = 673 + -410. Let u = f - -35. Does 3 divide u?
False
Suppose 167*z + 262080 = 251*z. Is z a multiple of 52?
True
Let q = -5969 + 13265. Is q a multiple of 23?
False
Let y(g) = -g**3 - 13*g**2 + g + 13. Let o be y(-17). Suppose -6*l + 9*l - o = 0. Suppose -l = -7*c + 428. Is c a multiple of 29?
True
Suppose -4*v + 5*k = -2*v - 925, -5*v - 2*k = -2240. Suppose -d = -10*d + v. Does 10 divide d?
True
Suppose -k + 5*y + 4304 = 0, -46 = -2*y - 38. Does 133 divide k?
False
Does 18 divide (-14473)/(-10) + (-30)/100?
False
Suppose -55*j + 544214 + 126896 = 0. Does 37 divide j?
False
Let s = -13541 - -27288. Does 9 divide s?
False
Suppose -1944 = -14*w + 8*w. Suppose 0 = -5*a + w + 456. Is a a multiple of 7?
False
Suppose 432*y - 464*y = -19968. Does 6 divide y?
True
Let x(n) = 25*n - 14. Let p be x(4). Let w be p/18 - 6/(-27). Suppose w*s - s = 208. Is 23 a factor of s?
False
Suppose 0 = 2*a + 7 - 35. Let f(b) be the first derivative of b**3/3 - 6*b**2 - 16*b + 647. Is f(a) a multiple of 4?
True
Suppose -10 = -3*u + 5*u. Let q be (-2 - -1)*(3 - 5 - 2). Is 35 a factor of 20/2*(7 + u + q)?
False
Suppose -4*f - 2*t + 2140 = 0, -t = 1 + 3. Suppose 2*y - f = 5*h, -h + 5*h + 540 = 2*y. Suppose -7*o - 94 + y = 0. Does 5 divide o?
False
Suppose 3*s - 2*s - 5*g - 30 = 0, -g - 15 = -2*s. Let k be (-4*20)/(-4)*231/s. Is (2/(-3))/((-8)/k) a multiple of 11?
True
Suppose 18*h - 20*h = -2*j - 11240, j + 11246 = 2*h. Does 58 divide h?
True
Let q = -51 - -53. Let g = q - -42. Is g a multiple of 3?
False
Let s(b) = 11 - 38*b + 2 - 3*b - 31*b. Let n be s(-3). Suppose 2*z - 75 - 104 = 5*x, n = 2*z + 5*x. Is 34 a factor of z?
True
Let o(v) = 4*v**2 - v + 174. Is 6 a factor of o(16)?
True
Let t = 22 + -8. Let c = -12 + t. Suppose -c*l + 2*h = 6*h - 236, 0 = 4*l + 2*h - 442. Does 18 divide l?
True
Let z(n) = -n**3 + 8*n**2 + 757*n + 62. Does 11 divide z(31)?
False
Let j be 2/(-2) - (3 - 11). Suppose -3*t = -j*t + 5140. Suppose -515 = -8*b + t. Does 25 divide b?
True
Let n = -35 - -37. Let f = n + 33. Let l = f - 25. Is l a multiple of 10?
True
Let a(l) = -198*l - 284. Is a(-13) even?
True
Is 66 a factor of 322/(-69)*(-2 - ((-140184)/(-42) - 2))?
True
Suppose -337 = -2*z - 3*k, 2*z + 147 = 2*k + 499. Suppose -z = -5*j - 2*t, -t - 152 + 24 = -4*j. Is 8 a factor of (-22)/j - 436/(-6)?
True
Let g = -5430 + 13455. Does 25 divide g?
True
Suppose -5*u + 309655 = -3*d, 27997 = -5*u - 3*d + 337682. Is 90 a factor of u?
False
Let g = 1 + 25. Suppose 15440 = 14*j + g*j. Is 23 a factor of j?
False
Let y(k) = -k - 3. Let h be y(-26). Suppose -h = 2*p - 53. Let v(f) = f**2 + 2*f + 3. Does 19 divide v(p)?
False
Let x(f) = 50*f**2 - 433*f + 7225. Is x(17) a multiple of 18?
False
Let n(l) = -5*l**3 - 8*l - 9. Let y(x) = 4*x**3 - x + 1. Let t(h) = -n(h) - y(h). Is t(7) a multiple of 101?
False
Let x = -295 + 340. Let g = x + 223. Does 24 divide g?
False
Suppose -3*q + 423 = -0*q - 3*a, 2*q = -2*a + 290. Suppose 2*x - q = -9*x. Is x a multiple of 9?
False
Suppose 439116 = 29*d + 40*d. Is 37 a factor of d?
True
Let l(h) = -h - 1. Let y(r) = -43*r - 23. Let s(i) = 87*i + 46. Let f(b) = 2*s(b) + 5*y(b). Let p(c) = f(c) + 3*l(c). Does 9 divide p(-5)?
False
Suppose 4*t - 3*c + 5*c = 10866, 4*c = t - 2712. Suppose -854 = -7*n + t. Is n a multiple of 17?
True
Let a(f) = 42*f - 833. Let t be a(23). Let n be ((-1)/(-3))/((-1)/(-849)). Let q = n - t. Is q a multiple of 30?
True
Suppose -z + 5*f = z - 1597, 0 = 4*z + 4*f - 3180. Let l = 1273 - z. Is 9 a factor of l?
True
Suppose 38 = 4*d + 5*v - 178, -4*d + 216 = -5*v. Suppose -o + 62 = d. Let s = 49 - o. Is 7 a factor of s?
False
Let p(l) = l**2 + 22*l - 34. Let g be p(-30). Suppose g = 9*x - 118. Does 4 divide x?
True
Let z(j) = -j**3 + 7*j**2 + 3*j + 11. Suppose 5*t - 10 - 30 = 0. Let i be z(t). Let k = i + 71. Is 7 a factor of k?
True
Is (-240126)/(-3) + (-8 - (20 - 18)) a multiple of 9?
False
Let q = -213 - -257. Is ((-144)/(-96))/(3/q) a multiple of 3?
False
Let i = -5802 + 17306. Is i a multiple of 29?
False
Suppose -4*f + 0*f + 688 = 0. Suppose 0 = -5*q + 278 + f. Suppose g - q = -g. Does 24 divide g?
False
Let a(p) = -2*p**2 + 14*p + 9. Let b be a(7). Suppose 5*f - 1 = b. Suppose -m - 4*c = -2 - f, -4*c = 4. Is m even?
True
Suppose -191 = 5*h - 606. Let v = -80 + h. Suppose -2*j + 7*j - 4*b = 766, -454 = -v*j + b. Does 15 divide j?
True
Suppose -20*b = -22*b + 830. Suppose m = 3*h - 0*h - b, -137 = -h - m. Does 23 divide h?
True
Let y = -91 - -141. Suppose -4*f + y = -1010. Is f a multiple of 53?
True
Suppose 3*u - l - 135 = 0, -2*u - 2*u + 3*l + 175 = 0. Let y = -44 + u. Suppose -5*k + 79 = -4*k - y*i, -4*i + 103 = k. Is 29 a factor of k?
True
Is 74 a factor of (6/7)/(20/(-1243200)*-24)?
True
Let j(w) = 26*w**2 + 22*w - 210. Is 51 a factor of j(8)?
False
Let j be (24/30)/(33/30 + -1). Suppose -3*b + 0*b = 4*u - j, -b + 6 = 2*u. Suppose -2*p = -2*a + 206, -u*p + 269 = -a + 4*a. Is 6 a factor of a?
False
Suppose -4*q + 0*o + 30 = 2*o, -q + 3*o = -4. Let x = 25 + q. Let r = 53 - x. Is r a multiple of 7?
True
Is (-94482)/(-9) - (-12 - -16) a multiple of 99?
True
Suppose 566 - 10103 = -11*s. Suppose 0 = 3*y + 5*m - s, 3*y + 2*m + 0*m = 876. Is y a multiple of 3?
True
Let t = 126 - 90. Suppose -5*l + t = 3*w - 1319, 3*l + 2*w = 814. Does 37 divide l?
False
Is (-10)/((-1510260)/367308 + 4 - (-2)/18) a multiple of 19?
True
Suppose -17500 - 24896 = -6*l. Suppose -16*n + l = -5238. Is 62 a factor of n?
False
Let j = -507 + 276. Is 45 a factor of (-988)/(-11) + (-42)/j?
True
Let z(q) = q**3 - q**2 - 9*q + 6. Let u be z(3). Let l be u + 1 + (-56)/(-12)*15. Suppose v = w - l, 81 = -3*w + v + 283. Is 7 a factor of w?
False
Suppose -5*a + 5808 = -3422. Is 8 a factor of a?
False
Suppose 40*c = 45*c - 4245. Suppose -4*i + 520 = 2*h - 68, -3*h + c = -5*i. Does 11 divide h?
False
Suppose -4*y - 254 = -r, y + 1031 = -4*r + 8*r. Is r a multiple of 3?
True
Let y(d) = -347*d**3 - 2*d**2 - 596*d - 2392. Does 68 divide y(-4)?
True
Let z = -212 + 437. Suppose -9*s - z = -0*s. Let r = s - -44. Does 9 divide r?
False
Let n(s) = -2*s + 38. Let j be n(18). Let p be 20/(2 + 0)*j/5. Suppose 4*i - 8*i = 4*w - 144, -p*i = -w + 11. Is w a multiple of 22?
False
Let k(j) = j**2 - j + 68. Let w be k(9). Let o = -129 + w. Is o a multiple of 2?
False
Suppose 12 + 4 = -r. Let m = -1807 + 1779. Let v = r - m. Is 2 a factor of v?
True
Suppose 2*j - 7464 = -a, 5*j = a - 8801 + 1365. Does 32 divide a?
True
Let b be (15/2)/((-48)/2752). Let q = b - -736. Is 18 a factor of q?
True
Suppose 935 = 10*k - 7*k + 5*m, -2*m + 630 = 2*k. Let b = k + 245. Is b a multiple of 29?
False
Let a = -11 - 25. Let d = -48 - a. Is (-196)/d - (-2)/(-6) a multiple of 2?
True
Let i(m) = m**3 + 8*m**2 - 22*m - 19. Let d be i(-10). Is 3 a factor of 3 + (d - -15*(3 - 1))?
False
Let y = 11660 + 3956. Is 21 a factor of y?
False
Let y = 1860 - -4199. Is 12 a factor of y?
False
Let z be (54/(-21))/(-9) - (-52)/14. Let l be ((-4)/6)/(z/(-90)*5). Is 41 a factor of (-4*l)/3 + 86?
True
Let k(i) = 11*i**3 - i**2 + 2*i - 29. Let s be k(5). Suppose -6*h - 107 = -s. Is 12 a factor of h?
True
Let p(i) = i**2 - 13*i + 24. Let j be p(9). Does 7 divide j + (-34)/(-3) + 928/6?
True
Suppose 0 = 5*q + 3*m - 37 + 126, -3*q + 4*m = 65. Let l(k) = -38 - 37 + 112 + 9*k + k**3 + 20*k**2 - 38. Is 9 a factor of l(q)?
True
Let p be ((-10)/8)/((36/(-16))/9). Suppose -p*v + 0*v = -10. Suppose -y + 19 = -4*j, v*j - 20 = 5*y - 187. Does 3 divide y?
False
Let a(b) = 2*b**2 - 45*b - 18. Let d be a(23). Suppose 667 = 4*f + d*r - 57, -4*f + 740 = r. Is f a multiple of 8?
False
Let l be 165/2*(45 + -9). Let y = -2062 + l. Is 16 a factor of y?
False
Suppose i - 271 = 339. Suppose 5*v + 835 = y, v + i = 2*y - 1069. Is y a multiple of 27?
False
Let h = 348 + -340. Suppose h*g = -1 + 441. Does 11 divide g?
True
Suppose 0 = 4*g - 6175 - 8273. Is 35 a factor of g?
False
Suppose -z = 3*b - 3, -6*z + 15 = -z + 4*b. Suppose 21*d = z*d + 8046. Does 13 divide d?
False
Let f(d) = -d**3 - 6*d**2 + 5*d - 9. Let r be f(-9). Let a = -342 + r. Is ((-2)/3)/(6/a) a multiple of 9?
False
Let p be (-208)/(-6) - (-10)/(-15). Let u = 31 + p. Is 3 a factor o