749. Let o = -252 + a. Does 7 divide o?
False
Let t = 14 + 4. Suppose 2*h + t = 4*k, -7 = -k + 5*h + 20. Suppose 0*z = -k*z + 4*b + 4, -2*b = -3*z + 18. Is z a multiple of 3?
False
Is 10 a factor of (-12)/(-90)*-6 + (-354)/(-5)?
True
Let o be 12*1*(-2)/6. Let f be 120/o*2/(-3). Suppose -g + f = g. Is 2 a factor of g?
True
Suppose -4*l + 9*l - 5*o = 0, -l + 6 = 2*o. Suppose -2*m - 3*h + 134 = -0*h, 0 = 3*m + l*h - 201. Does 4 divide m?
False
Suppose 3*l = 2*q - 7 - 5, -5*q + 47 = l. Suppose -5 = -2*s - q. Is s/(-1)*(-1 + 25) a multiple of 12?
True
Let q = 504 - 460. Does 22 divide q?
True
Let i = 3 - -19. Let t be (-759)/i + (-1)/(-2). Let o = -2 - t. Is 8 a factor of o?
True
Suppose 4*o + 19*o = 2415. Is o a multiple of 21?
True
Let y(r) = r**3 - 8*r**2 + 14*r - 2. Let c be y(10). Suppose -562 - c = -6*l. Is 23 a factor of l?
False
Let a(z) = z**3 + 5*z**2 + 4*z - 3. Let m be a(-3). Suppose -w + 4*g + 113 = 0, -2*w + g + 226 = m*g. Is w a multiple of 13?
False
Let p = 21 + -80. Let h = 42 - 75. Let r = h - p. Is 19 a factor of r?
False
Let d = 88 + -50. Let u(w) = w**3 + 5*w**2 + 3*w - 1. Let z be u(-3). Suppose 6*b = z*b - d. Is b a multiple of 19?
True
Suppose 0 = 5*m - 5*i - 25, -5*i = m - 11 + 30. Let r be (m + 1)*(-84)/(-6). Suppose 2*z - r = -4*n, 3*z - 5*n = -z + 4. Is 6 a factor of z?
True
Let t = 213 - 178. Is t a multiple of 35?
True
Suppose 0 = 31*o - 27*o - 384. Is o a multiple of 16?
True
Let n(f) = -9*f - 4 + 7*f + 15. Is 9 a factor of n(0)?
False
Let x(r) be the third derivative of 1/60*r**5 + 0 + 0*r + 5/12*r**4 + 5/3*r**3 - 6*r**2. Is x(-10) a multiple of 5?
True
Suppose -2997 = -2*j + 5*c, 0 = -c - 0 - 1. Is j a multiple of 44?
True
Let g be 12/20 + (-82)/(-5). Suppose 4*v = 2*d - 5*d - 19, g = -d + 4*v. Let h = 78 + d. Is 16 a factor of h?
False
Suppose 2*m = 5*m + 15. Let v(f) = -9*f**3 + 3*f**2 + 6*f - 1. Let a be v(m). Is 2/13 - a/(-91) even?
False
Let t(z) be the second derivative of z**4/6 + 11*z**3/6 + 15*z**2/2 + z. Let i = 140 - 146. Is t(i) a multiple of 7?
True
Let a = -13 + 18. Suppose 3*u - h - 70 = 32, -a*u - 5*h = -150. Is 11 a factor of u?
True
Let v(k) = -2*k**2 + 8*k + 55. Is 26 a factor of v(0)?
False
Let h be 4 - (2/2 - (-1 + 4)). Suppose 9*b - 126 = h*b. Is 18 a factor of b?
False
Let x(l) be the second derivative of l**5/20 - 2*l**4/3 - l**3 - 11*l**2/2 - 2*l. Let d be x(9). Let m = d + -5. Does 3 divide m?
False
Let l(i) = i - 1. Let c(p) = -p**3 - 5*p**2 + p - 3. Let r(d) = -c(d) + 5*l(d). Let g be r(-4). Is 1 + ((-2)/g - -26) a multiple of 11?
False
Let b be (-1 + (-9)/3)*(-4)/8. Is (-5)/((4/(-20))/(b - 1)) a multiple of 5?
True
Let h = -47 - -145. Suppose -2*k + 34 = -h. Is k a multiple of 22?
True
Does 33 divide (-2)/(-19) + (-2943)/(-19)?
False
Is (-10)/(-7) - 1620244/(-532) a multiple of 9?
False
Let d(s) = -63*s - 18. Is d(-6) a multiple of 20?
True
Let c(r) = r**3 - 9*r**2 - 8*r - 6. Let f(s) = -s**2 + 7*s. Let z(p) = 2*p**2 - 14*p + 1. Let j(u) = 9*f(u) + 4*z(u). Let m be j(6). Does 7 divide c(m)?
True
Suppose 2*h + y - 183 = 0, -2*y + 0*y = h - 96. Suppose 2*c = 8*c - h. Does 6 divide c?
False
Let i = 10 + 9. Suppose 0*k - 5*l - 9 = -k, l = -5*k + i. Suppose 2*r = g - 26, -8 = -k*g - r + 69. Is g a multiple of 10?
True
Let d(j) = 4*j + 39. Let p be d(-9). Suppose -3*q = -4*m + 27 + 11, -m - p*q + 17 = 0. Does 8 divide m?
False
Suppose -5*l = 3*w - 25, -3*l - 2*w + 11 = -5. Suppose -l*v + 13*v - 572 = 0. Is v a multiple of 8?
False
Suppose -q + 11 = -5*i, 4*i + 34 = 3*q + 2*q. Suppose -280 = -4*n + 4*t + 84, 0 = -2*t - q. Is 22 a factor of n?
True
Suppose 11*q = 17670 + 5397. Does 9 divide q?
True
Suppose 496 - 7906 = -26*g. Does 5 divide g?
True
Suppose -3*c - 1455 = -4*l + 129, l + 4*c - 415 = 0. Is 80 a factor of l?
False
Let z = -163 + 419. Does 16 divide z?
True
Let k(g) = -3*g - g + 24 - 2. Suppose -10 = -p - z - 0*z, 0 = 3*p + 2*z - 25. Does 2 divide k(p)?
True
Suppose -98 = -j + 3*j. Let l = -22 - j. Is l a multiple of 4?
False
Let d be (-2)/(-6)*(-3033)/(-3). Is 10 a factor of d/5 - 6/(-10)?
False
Let i(x) = x**3 - 6*x**2 + 4*x + 24. Let b(l) = l**3 - 7*l**2 + 5*l + 25. Let k(j) = -2*b(j) + 3*i(j). Is k(7) a multiple of 23?
False
Let z be (-197)/(-2) - (-28)/56. Let p = z - 32. Is p a multiple of 15?
False
Suppose -20848 = -6*i - 5434. Is i a multiple of 101?
False
Suppose 0 = -5*o - 4*x + 7520, -2*o - 392 + 3377 = -3*x. Does 12 divide o?
True
Suppose 15*n + 4*n = 4104. Is 12 a factor of n?
True
Let a(i) be the second derivative of 21*i**3/2 + 3*i**2 - 33*i. Is a(3) a multiple of 39?
True
Is 4 a factor of 930 - ((-23)/(-46))/(1/4)?
True
Suppose 40 = 2*m - 7*m. Is (46/m)/((-71)/(-12) + -6) a multiple of 22?
False
Let g = 20 + 80. Let z = g + -14. Does 24 divide z?
False
Suppose -4 = 2*m - 8. Suppose 5*y - 22 = -m. Suppose -y*c - 9 = -r + 9, 14 = r - 3*c. Does 2 divide r?
True
Let z = 15 - 25. Let h be (4 - (-1 - z))/(-1). Is 8 a factor of (48/(-15))/((-2)/h)?
True
Suppose 4845 = 19*s - 4*s. Is s a multiple of 4?
False
Suppose -128 + 452 = 4*m. Is m a multiple of 9?
True
Is 7 a factor of (8 - 13) + 774 + 1?
True
Suppose 0 = -10*d + 6*d - 84. Let h = 4 - d. Is 22 a factor of h?
False
Let q(t) = -t**3 + 16*t**2 - 4*t - 14. Does 50 divide q(6)?
False
Let f = -47 - -26. Let t(b) = b**3 - 9*b**2 - 4*b - 10. Let l be t(9). Let h = f - l. Does 5 divide h?
True
Suppose 5*y - 109 - 333 = 2*h, 3*y = 4*h + 268. Is y a multiple of 22?
True
Suppose -15*y = -346 - 209. Is y a multiple of 3?
False
Suppose -2*b - h + 251 = 0, -3*b - 3*h + 498 = 123. Is 18 a factor of b?
True
Let h = -873 + 1161. Does 18 divide h?
True
Let t(a) = 5*a**2 + a + 8. Is 26 a factor of t(-6)?
True
Let s = 45 + -127. Let x = -131 - s. Does 10 divide ((-30)/(-7))/((-7)/x)?
True
Let u = 51 - -125. Does 22 divide u?
True
Suppose 4*q + 2*m = -q + 881, -2*q - 4*m + 362 = 0. Is 20 a factor of q?
False
Let y(k) = 2*k - 2. Let p be y(0). Is 3 a factor of (144/(-40))/(p/5)?
True
Let q = 49 - 16. Suppose q*l + 146 = 35*l. Is l a multiple of 6?
False
Let x = 897 - -741. Does 78 divide x?
True
Let i = -1176 - -1797. Is i a multiple of 27?
True
Let q = 369 - -544. Is q a multiple of 11?
True
Suppose 423 = -5*z + 3*v, 2*z + 102 = 5*v - 71. Let b be -1 + (-32)/2 - 0. Let c = b - z. Is 18 a factor of c?
False
Let q = 95 - 63. Let s be q/(2 - -2) - -4. Suppose -11*k + s*k - 36 = 0. Is 24 a factor of k?
False
Let o be -84*((-7)/3 - -3). Let t = -220 + o. Is (-8)/6*t/8 a multiple of 23?
True
Let f(b) = b**2 + 4*b - 2. Let w be f(-5). Suppose -5059 = -5*m + y + 3479, 5126 = w*m + y. Is 13 a factor of 4/22 - m/(-44)?
True
Let w = 7 + -5. Suppose -w*g + c = -4, -6*g + 4*c = -g - 4. Suppose -x + 469 = g*x - 4*k, 5*x = 3*k + 468. Is x a multiple of 30?
False
Suppose w - 27 = 5*r - 6*r, 0 = r - 2*w - 27. Is r a multiple of 27?
True
Suppose 2820 = 22*g - 18*g. Suppose -3*u + g = -2*q, 6*u - 4*q = 4*u + 462. Is 14 a factor of u?
False
Let m = 717 + -549. Is 7 a factor of m?
True
Let m(b) be the first derivative of -4*b**2 - 6*b + 1. Let w be m(-5). Does 10 divide 18/12 + w/4?
True
Let z(y) = 2*y**2 + 20*y + 282. Is 72 a factor of z(-13)?
True
Let p be ((-4)/8)/((-1)/(-18)). Let o = 46 + -30. Let r = o + p. Is r a multiple of 7?
True
Let c be 1105/25 + 1/(-5). Suppose -z = 4*d - 157, -d - 2*z - 10 = -c. Suppose 2*h - d = -2*h. Is 3 a factor of h?
False
Suppose -5*m = -7*b + 3*b + 317, -3*b - 3*m = -258. Suppose -3*n + 2*n - 253 = -3*q, n + b = q. Does 17 divide (4/2 - 2) + q?
True
Let h = 10 - 5. Suppose -7 = -h*o + 3. Suppose w = 4, 16 = 3*m + o*w - 13. Is 2 a factor of m?
False
Is -8*12/(-8)*(-591)/(-6) a multiple of 46?
False
Let f = -1220 + 2084. Does 18 divide f?
True
Let o(d) = 65*d**2 + 5*d + 2. Let a(x) = x**3 - 7*x**2 - 9*x + 5. Let t be a(8). Let b be o(t). Does 2 divide (2/(-8))/((-13)/b)?
False
Suppose 7*p - 5*p - 2*o - 24 = 0, -4*p = 3*o - 27. Is 3 a factor of p?
True
Let t = 12 - -19. Let k = -19 + t. Is k a multiple of 12?
True
Suppose 10*v = 5*v + 90. Let m = v + -21. Does 20 divide (3 + 14 - m)*1?
True
Suppose u = -k + 589, 4*u + 6*k = 11*k + 2347. Does 42 divide u?
True
Suppose -g = 4, -89*g - 250 = -r - 84*g. Is r a multiple of 46?
True
Let s(c) = c**3 - c**2 - 4*c - 4. Let m = -4 + 1. Let r be s(m). Let v = 48 + r. Is v a multiple