Suppose p*m = -2*z + 585, -z - m + 297 = -0*z. Suppose -s - s = -2*i + z, 5*i = -2*s + 743. Is i a multiple of 7?
False
Suppose -2*f - 2*f + 85 = 5*m, -5*m = -25. Let o = -20 + f. Let q = o + 35. Is q a multiple of 6?
True
Let t be -5 - ((3 - 5) + 4). Let w(d) = -2*d + 10. Is w(t) a multiple of 8?
True
Let n(k) = -25*k + 26. Let o be 3 - (13 - (9 + -3)). Is 32 a factor of n(o)?
False
Let d(z) = z + 2. Suppose 6*a - 2*a + 85 = 5*l, -3*l + 3*a = -51. Let x be d(l). Let s = x + 5. Is 3 a factor of s?
True
Let v = -100 - -29. Let h = v + 70. Does 15 divide (1/(-1 + h))/(1/(-248))?
False
Let w = 270 - 260. Suppose -w = 5*q, 3*z - 3*q = 6*z - 132. Is z even?
True
Let o(z) = 31*z - 138. Suppose -170 = 9*c - 19*c. Does 87 divide o(c)?
False
Let q(w) = -14*w + 2. Let k be q(-4). Suppose -k = -s + 4. Suppose 2*l = -5*y + 6*y - s, 0 = -5*y + 5*l + 315. Does 17 divide y?
False
Suppose -z + 20*m = 14*m - 6378, -3*m = 5*z - 31857. Is z a multiple of 54?
True
Let s(z) = 2*z**2 + 18*z + 62. Let v be ((-4)/8)/(1/34). Is s(v) a multiple of 54?
False
Let b(u) = -38*u + 354. Is b(-43) a multiple of 6?
False
Let z(v) = -129*v + 346. Is 22 a factor of z(-20)?
True
Suppose -u - y - 2971 = -6*u, -3*u + 1780 = 2*y. Suppose -5*f + u = 3*c, 238 = 2*f - 0*f + c. Does 24 divide f?
True
Let n(j) = 19*j**2 - 64*j + 360. Does 9 divide n(10)?
True
Let u(k) = -k**3 - 13*k**2 - k - 3. Let y be u(-13). Let w be ((-5)/(y/8))/1 + 109. Let f = w + 30. Does 27 divide f?
True
Let n = -41 - -119. Is 16 a factor of 560/(-42)*n/(-5)?
True
Let d(y) = -3*y - 58. Let f be d(12). Let p = f + 426. Does 13 divide p?
False
Let c(p) = -p**2 - 6*p + 10. Let l be c(-5). Suppose -l*d + 714 = -8*d. Does 34 divide d?
True
Does 89 divide 15/12 + 24/(-96) - -18055?
False
Let h(q) = -16*q + 78. Let r be h(6). Let j = 144 - r. Does 27 divide j?
True
Is 30 a factor of (10675980/(-1813))/((-4)/14)?
True
Let h(g) = 4*g**2 + 28*g + 6. Suppose -2*o = 5 + 31. Does 38 divide h(o)?
True
Suppose -5*s + 69958 = 8*w - 4*w, 55967 = 4*s + 3*w. Is 19 a factor of s?
False
Let s = 110 - 106. Suppose 0*k + 4*k = -2*v + 180, s*k + 3*v - 182 = 0. Does 13 divide k?
False
Suppose 67118 = 26*a - 60802. Is 12 a factor of a?
True
Let u(g) = g. Let o be u(4). Suppose -119 = -3*c + o*d, c + d + 38 = 2*c. Does 32 divide (-578)/(-3)*1 - 22/c?
True
Suppose 5*r - 25 = 0, 3*b = -b - 3*r - 89. Let k(c) = 37*c - 22 - 32 - 32*c - 12 - 9*c. Is k(b) a multiple of 19?
True
Suppose -11*k + 15511 = -11483. Is k a multiple of 7?
False
Suppose 2*f = 2*z - 716, -129*z = -127*z + 3*f - 701. Let s = 415 - z. Does 2 divide s?
True
Let s(n) = -3944*n**3 - 19*n**2 - 27*n + 19. Is 80 a factor of s(-2)?
False
Let a = 1765 + -1225. Let z = a + -269. Is z a multiple of 17?
False
Let q(k) = 2*k**2 + 27*k - 211. Let a be q(6). Let s(h) = h**2 - 16*h + 4. Does 15 divide s(a)?
True
Is -4 - (-39126)/36 - 2/(-12) a multiple of 2?
False
Suppose -14*s = 2*y - 6444, 4*y + s - 2*s = 12888. Is 8 a factor of y?
False
Suppose -3 = c, -c = 6*t - t - 507. Let y be t - (-4 + 5/5). Let a = y - 1. Is 26 a factor of a?
True
Suppose -9*w = -71 - 244. Suppose -30*j = -w*j - 5*k + 3060, 0 = 3*j - k - 1832. Does 47 divide j?
True
Let t(y) = 3*y + 36. Let m be t(10). Let p = 68 - m. Suppose 2*n = j - p*j + 184, 0 = 3*n + 4*j - 286. Is n a multiple of 10?
True
Let q(f) = 33*f + 22. Let n be q(-2). Let x = n + 155. Is 7 a factor of x?
False
Let i(g) = 4*g + 11. Let j(v) = 4*v + 10. Let m(b) = -4*i(b) + 3*j(b). Let h be m(-4). Suppose -r = 5, h*o + 2*r - 270 = -2*r. Is 15 a factor of o?
False
Suppose 3*g - 31 = -4*d, -4*g - 2*d - 2*d + 36 = 0. Suppose 4*b = g*k + 297, 3*k = 6 + 3. Is 6 a factor of b?
True
Let r = 25 + 2. Let s = -357 + r. Is 11 a factor of ((s/(-4))/(-11))/((-2)/28)?
False
Let m(j) = -968*j**3 - 10*j**2 - 11*j - 61. Let y be m(-7). Is (-2)/(-9) + y/450 a multiple of 11?
True
Let q(s) be the second derivative of s**7/2520 - s**6/240 + s**5/6 - s**4/2 + 8*s. Let y(j) be the third derivative of q(j). Does 15 divide y(-10)?
True
Suppose 4*v = 3*y - 50954, 207*y + 84932 = 212*y + 2*v. Is 57 a factor of y?
True
Let v(c) = c**3 + 27*c**2 + 79*c + 42. Does 29 divide v(-23)?
False
Let c = 281 - 276. Suppose 5*n + c*h = 1288 + 917, 0 = 4*n + 3*h - 1768. Is 26 a factor of n?
False
Suppose 14*u - 73132 = -10*u - 23*u. Is 11 a factor of u?
False
Let a be 2/((-28)/(-45) + (-92)/414). Is 28 a factor of 504*(3 - (-3 + a))?
True
Suppose 45 + 83 = 32*k. Suppose -w + k*i = -520, 4*w = 2*i + 2*i + 2104. Does 48 divide w?
True
Let p(k) = 35*k**3 + 6*k**2 - 7. Let l be 5*(-5 - 27/(-5)). Is p(l) a multiple of 19?
False
Let n = -78 - -78. Suppose 2*y - 5*w - 149 = n, -13*w + 10*w = -5*y + 382. Is y a multiple of 16?
False
Suppose -n + 2*z = -188, -3*n - 10*z + 644 = -0*z. Let g = 20 + -38. Let o = n + g. Is o a multiple of 28?
False
Suppose -3*z + 48 = -294. Suppose 4*b - z = 166. Is b a multiple of 7?
True
Let v(h) be the third derivative of h**7/504 - 11*h**6/360 - h**4 - 10*h**2. Let b(q) be the second derivative of v(q). Is 8 a factor of b(6)?
True
Suppose -3000 = 224*k - 216*k. Let d = k - -491. Is 3 a factor of d?
False
Suppose -4*u + 4*g + 37904 = 0, -g + 2485 = -2*u + 21441. Is 120 a factor of u?
True
Suppose -28 = -3*n - 7. Suppose 176 - 1 = n*f. Is 7 a factor of ((30/f)/(-2))/(1/(-35))?
True
Let g(x) = -8*x**2 - 21*x + 67. Let d(m) = 5*m**2 + 10*m - 33. Let w(p) = 5*d(p) + 3*g(p). Is 14 a factor of w(-17)?
True
Let i = 11621 - 8660. Is 63 a factor of i?
True
Let v(d) = 10*d + 43. Let t(l) = -l. Let i(m) = -4*t(m) - v(m). Let q be i(-8). Let c(x) = 2*x**2 - x + 5. Does 12 divide c(q)?
False
Suppose -5*k = -18 + 3. Let j(d) = 10 - 12*d**2 + 6*d**3 + 8*d**3 - d - 15*d**k. Is 6 a factor of j(-12)?
False
Let x(v) = -v**2 + 7*v + 50. Let u be x(-4). Does 12 divide 153874/493 - u/51?
True
Let u = -785 - -1281. Let a = u - -271. Suppose 0*m = -13*m + a. Is m a multiple of 23?
False
Suppose -40201 = -6*c + 5*r, 4*c - 17227 - 9532 = -5*r. Does 108 divide c?
True
Let w(y) = 2 - y + 46*y**2 - 3*y + 0*y + 1. Let o be w(2). Suppose -l - l + 189 = 5*t, -2*l + 5*t = -o. Is l a multiple of 21?
False
Let w be -6*((-1)/2 + 0) - 0. Suppose w*l = -o + 195, 2*o - 11*l = -7*l + 360. Is 6 a factor of o?
True
Let j(g) = -4*g - 37. Let q(o) = -17*o - 38. Let p(k) = 8*k + 19. Let z(t) = -13*p(t) - 6*q(t). Let d(f) = 6*j(f) - 13*z(f). Is 11 a factor of d(0)?
False
Suppose -17*m + 47*m - 1413286 = -28*m. Is 59 a factor of m?
True
Let b = 12689 - 10347. Does 42 divide b?
False
Suppose 0 = -2*q + y - 4*y + 505, 3*q - 4*y = 732. Let s = -211 + q. Does 2 divide s?
False
Let j(k) = k**3 - 2*k**2 - 2*k + 4. Let a be j(-2). Let i = a + 332. Is i a multiple of 27?
True
Let s = -9425 - -18119. Is 14 a factor of s?
True
Let y(t) = -2*t**2 - 67*t - 75. Let g(b) = -5*b**2 + 6*b - 5. Let v be g(3). Does 21 divide y(v)?
True
Does 82 divide (-7 + (-2962 + 3)/(-1))*(-130)/(-30)?
True
Suppose 3*g = -0 + 9. Let o be (-2216)/(-9) - (-10)/(-45). Suppose v + g*h = 5*v - o, -4*v + h = -250. Is 16 a factor of v?
False
Let z = -85 - -89. Let f be z/18 + (-32)/(-18). Suppose y = -5*v + 84, 3*y = -f*v - v + 48. Is v a multiple of 17?
True
Suppose -5*j + 165 = 6*j. Suppose -3*l + 2*f = 3*f + j, -15 = 3*l + 2*f. Let g(c) = -45*c + 12. Does 31 divide g(l)?
False
Let g(x) = -8*x**3 - 18*x**2 + 15*x + 50. Is 122 a factor of g(-10)?
True
Let m be -2 + (-1 - 0) + -4 + 20. Suppose -3*z = -10 + m. Is 2 a factor of 3 + -2 + (0 + z - -2)?
True
Let b(c) = 1696*c - 5011. Does 30 divide b(17)?
False
Let k be 4/16*246 - 3/(-2). Suppose -m + k = -35. Let i = -93 + m. Does 5 divide i?
True
Suppose 2*s - u = 9036, -4*u + 9 = 1. Does 11 divide s?
False
Suppose -9*d = 1389 - 35409. Is 21 a factor of d?
True
Suppose 0 = 7*s - 0 - 49. Let k(d) = -d**2 - d - 1. Let l(c) = 5*c**2 + 9*c - 11. Let u(f) = -6*k(f) - l(f). Is u(s) a multiple of 35?
False
Suppose -2*q + q - 5 = 3*i, -5*i = 2*q + 7. Suppose -3*c + 147 = -q*b, -4*c = 3*b - 47 - 124. Does 15 divide c?
True
Let m be -87*(1 + -1 - 1). Suppose -r - 5*t + m = -40, 5*t + 137 = r. Does 6 divide r?
True
Let o(h) be the second derivative of 7*h**4/12 + 4*h**3/3 - 13*h**2 + 100*h. Is o(3) a multiple of 6?
False
Suppose 438*u - 42725 = 410*u + 337123. Is u a multiple of 102?
True
Let z = 4 - 0. Suppos