ose 476 = -u*k + 11*k. Does 34 divide k?
False
Suppose -5*r - 5*b + 20949 = -616, -4*b = -3*r + 12925. Is 15 a factor of r?
False
Suppose -22*y - 39*z = -36*z - 159978, -5*y = -3*z - 36366. Is 162 a factor of y?
False
Let d(x) = -12*x - 48. Let g be d(-8). Suppose g = o + 3*k + 4, 4*o = -4*k + 184. Let c = 92 - o. Is c a multiple of 45?
True
Suppose 0 = -0*z + 2*z - 5*z. Suppose z = t + 4*m - 176, -995 = -8*t + 3*t + 3*m. Is 7 a factor of t?
True
Let m = 218 + -17. Suppose 131 = a - m. Is 46 a factor of a?
False
Suppose -4*z = -7*z - 6. Suppose -341*t + 12752 = -888. Let n = t - z. Is 7 a factor of n?
True
Let u be 1*(-111 + 0/(-5)). Let n = u - -51. Let c = n - -62. Does 2 divide c?
True
Let z = -14 - -17. Let c be (2 + z/(-6))*8/6. Suppose 3*n + 4*v = -n + 76, -5*n + c*v = -102. Is n a multiple of 4?
True
Let o(w) = 53*w**3 + w**2. Let n be (-16)/12*276/(-8). Let p = n - 45. Is 8 a factor of o(p)?
False
Let d = -264 + 264. Suppose d*a = -4*k + a + 507, 3*a - 527 = -4*k. Is 8 a factor of k?
True
Suppose -5*c + 25 = 0, w = -3*c + 1070 + 57. Is w a multiple of 11?
False
Suppose -3399268 = -58*p + 37*p - 173*p. Does 37 divide p?
False
Let j = 6278 - 5768. Does 2 divide j?
True
Suppose -15488 = -7*n + 12960. Suppose 14*s - 1620 = n. Does 58 divide s?
True
Let i = -154 + 103. Is 5 a factor of ((-6)/12)/((-1)/8) - i?
True
Let v(m) = -22639*m - 2505. Is v(-3) a multiple of 276?
True
Does 88 divide (-3977)/(-2) + (-980)/(-392)?
False
Let c be -3*2*(3 - 19/(-6)). Let d = -33 - c. Suppose 0 = -5*f + 7*l - 3*l + 85, 2*f = -d*l + 6. Does 3 divide f?
False
Does 74 divide (-12)/(-57) + 15678070/1121?
True
Suppose -2*q + 108*w = 111*w - 1206, 612 = q - 3*w. Is 13 a factor of q?
False
Let p(i) = 5361*i - 7926. Is p(7) a multiple of 207?
True
Let s(o) = 11*o**3 - 68*o**2 - 8*o - 157. Is s(15) a multiple of 42?
False
Does 4 divide (-15580)/(-6)*1470/1225?
True
Let f(q) = 7*q**2 + 4*q + 4. Let v be f(-3). Suppose -2*g - 3*g = -v. Suppose -248 = -g*r - 28. Is 3 a factor of r?
False
Let u = -95 - -56. Let d = -27 - u. Let b = 31 + d. Is b a multiple of 13?
False
Suppose 5*u + 260 + 145 = -5*w, -5*u - 159 = 2*w. Let c = 93 + w. Suppose -19*g = -c*g - 504. Does 41 divide g?
False
Suppose 2*q + 190 = 3*g, -2*q = -q - 1. Suppose h = 3*o + 15, -2*h + g - 1 = 5*o. Is (-262)/(-8) + 6/h a multiple of 11?
True
Let l(b) = b**3 + 77*b**2 + 143*b + 163. Is l(-74) a multiple of 25?
False
Suppose -u + 5*j - 7 = 0, u - 3*j = -4 - 5. Let t = 80 + u. Is t a multiple of 17?
True
Let k(m) = -35*m**3 + 40*m + 165. Is k(-5) a multiple of 31?
True
Let b(v) be the first derivative of 2*v + 4 - 7/2*v**2. Is 4 a factor of b(-2)?
True
Suppose -d - 5*j - 50 = -6*d, 37 = 4*d - j. Suppose 10*y = 7*y + d. Suppose 93 = 3*l + y*s, -l - 5*s + 13 = 2. Is 12 a factor of l?
True
Let x be -9 - (17091/(-9) - 3). Suppose 0 = f + 396 - x. Does 66 divide f?
False
Let k be 3/(9/(-804))*3/(-6). Let n be (k/8)/(7/28). Suppose 71*y = n*y + 1440. Is 60 a factor of y?
True
Let o = -40 + 38. Let z be 9 - (o - (1 + -8)). Suppose -z*b + 5*b = -3*g + 131, -2*b = g - 52. Does 5 divide g?
False
Suppose 4*c - 972 = -2*z, -3*z - 12*c = -13*c - 1465. Is 9 a factor of z?
False
Suppose 0 = -s - 2*r + 9, 0 = -s + 3*r - 0*r + 4. Is 12 a factor of 1*39*((-24)/(-3) - s)?
False
Suppose 4*i + 4*z - 1095 = -i, -4*i - z + 865 = 0. Let l = 305 - i. Is l a multiple of 12?
False
Suppose 1516*p = 1530*p - 139902. Is 21 a factor of p?
False
Suppose 242*k - 241*k - 7 = 0, i = 2*k + 25697. Does 114 divide i?
False
Suppose -4*f + 27444 = 4*v, 13697 = -0*v + 2*v - 3*f. Is 3 a factor of v?
False
Suppose -10 = o + 5*h + 2, 3*h = -2*o - 3. Suppose 2*a = -2*w - 10, -3 = -o*a + 4*w + 10. Is 2/4*-6*(-12 + a) a multiple of 13?
True
Let c = -74 + 75. Is c/(287/426 - 40/60) a multiple of 27?
False
Let s = 1405 + -2324. Let x = 2087 + s. Does 37 divide x?
False
Let s(b) = -b**3 + 4*b**2 + b - 2. Let z be s(4). Suppose -c - 68*j = -70*j - 166, 0 = -j - z. Is 7 a factor of c?
False
Suppose -107 = d - 880. Is 47 a factor of d?
False
Let o(i) = 2951*i**2 - 149*i - 47. Does 205 divide o(-4)?
True
Suppose 3*d = g + 4*d - 630, 5*g - 3141 = -2*d. Suppose -18*n = n - g. Is n a multiple of 6?
False
Suppose -152*t - 14 = -159*t. Suppose -10 = -t*o, -4*l + 219 = 2*o + o. Is 17 a factor of l?
True
Let p(h) = h**3 + 12*h**2 + 3*h + 8. Suppose -20 = 82*d - 78*d. Is p(d) a multiple of 14?
True
Let v(r) = r**3 - 28*r**2 - 63*r + 31. Let b be v(30). Suppose -611 = 5*y - 10*y + 3*x, -y + 111 = 5*x. Let m = y + b. Is m a multiple of 6?
False
Let a(n) = 30*n + 12. Let i(c) = -7*c + 9. Let p be i(1). Does 24 divide a(p)?
True
Let j = 131 + -4. Let v = j + -95. Is v a multiple of 4?
True
Let d be (4/(-3))/(20/(-45)). Suppose -b + 108 = d*x + x, -216 = -2*b - 3*x. Is b a multiple of 9?
True
Let y = 155787 + -99965. Does 226 divide y?
True
Let l(u) = -837*u - 1319. Is l(-9) a multiple of 18?
False
Is (-1*(-143192)/(-35))/(4 - 88/20) a multiple of 6?
False
Suppose -12 = -5*a - 4*d, 4*d - 12 = a + 4*a. Suppose a = 8*x - 14 - 10. Suppose 0 = 2*s - 3*u, -x*u + 4*u = s - 2. Is s a multiple of 2?
True
Let t(q) = q**2 - 13*q - 12. Let v be t(14). Let o(d) = -6*d + 0 + 6*d**v - 5 + d**2. Does 27 divide o(6)?
False
Suppose -l + 6*l + 7310 = 0. Let p = l + 2122. Does 7 divide p?
False
Let h be 5 - 5/(-20)*0. Let t = 17 + 106. Suppose 6*n = 3*n + p + t, 0 = -h*n + 5*p + 195. Does 7 divide n?
True
Let t(k) = 4*k - 27. Let h be t(9). Let n be 8/(-6)*h/16*736. Let m = n - -811. Is 30 a factor of m?
False
Let s = 11 - 6. Suppose 4*m - 87 = 5*i - 367, -s*m = -25. Suppose -5*r - i = -9*r. Does 15 divide r?
True
Let x be (-11)/(-33) - 222/(-9). Let k(l) = -l**2 - 9*l - 6. Let o be k(-7). Let w = x - o. Is 2 a factor of w?
False
Let u(f) = -f**3 + 56*f**2 - 583*f - 52. Is 15 a factor of u(30)?
False
Let m be (-2120)/(-12)*(-21)/(-14). Let n = m + -112. Is 9 a factor of n?
True
Suppose 2*v - 5*v + 2*x = -6674, v - 2238 = 4*x. Let h = -812 + v. Is h a multiple of 10?
True
Does 17 divide -4 + (-474072)/(-8) + (-31)/31?
False
Is 7129 + -4 + -3 + 2 a multiple of 52?
True
Let u = -98 + 106. Suppose -5*b + u*m - 3*m + 435 = 0, 0 = 2*b + 4*m - 198. Is 10 a factor of b?
False
Let w be (497 - 4) + (-6)/3. Suppose 1129 + w = 9*s. Is 36 a factor of s?
True
Let w(i) = 68*i**2 + 182*i - 73. Is w(12) a multiple of 10?
False
Let q be 504/(-96)*(-12)/9. Suppose -q = -3*m + 5*z, 6*z - 9*z = 3*m - 39. Is 9 a factor of m?
True
Suppose 4 = -q - 3*w, 4*q + 5*w - 14 = 3*w. Suppose -4*f + q*f = -3*r + 93, -f + 63 = -3*r. Is 11 a factor of f?
False
Suppose -4*r - 9220 + 2960 = -x, 2*x - 3*r - 12505 = 0. Is x a multiple of 11?
True
Let v(o) = -5*o**2 + 4*o + 27. Let i(j) be the second derivative of -j**4/2 + 2*j**3/3 + 13*j**2 - 50*j. Let z(c) = 4*i(c) - 5*v(c). Is z(9) a multiple of 3?
False
Suppose -2636 - 3072 = -15*q + 2887. Is 3 a factor of q?
True
Is (-1)/((-5)/35655) + (-14)/35*-15 a multiple of 125?
False
Let q(o) = -901*o**3 - 6*o**2 - 9*o - 2. Let t(u) = 4*u + 23. Let a be t(-6). Is 41 a factor of q(a)?
True
Let c = 121 - 88. Suppose -4*d - 5*s + c = -2*d, -5*d = 5*s - 60. Is 0 + 21 + (d/(-3) - -2) a multiple of 9?
False
Let s = 13031 - 8946. Is s a multiple of 5?
True
Suppose -16*a - 26204 = -72172. Is a a multiple of 30?
False
Is 20641/5 - (-1 + 96/80) a multiple of 16?
True
Let s be (4 + 1)/(59/29 - 2). Suppose 332 = 3*y - s. Let q = y + -76. Is 22 a factor of q?
False
Let x(r) = -3*r**2 - 13*r - 20. Let y(t) = -t**2. Suppose 5*h - 13 = -23. Let u(d) = h*y(d) + x(d). Does 5 divide u(-10)?
True
Let y = 18707 + -3956. Does 50 divide y?
False
Let q = -2729 - -4913. Is 14 a factor of q?
True
Let l = -558 - -587. Suppose -4*o - 5*z + 783 = 0, z - 393 = -l*o + 27*o. Is 28 a factor of o?
False
Suppose 186*o = 194*o - 424. Suppose o*r = 46*r + 315. Does 3 divide r?
True
Let y(g) = g**2 + 8*g + 72. Let z be y(-12). Let o = z - 101. Does 3 divide o?
False
Suppose 21*i - 11*i - 71100 = 0. Does 30 divide i?
True
Suppose 0 = 6*d - 3*d. Suppose 4*h - 6 - 2 = d. Suppose 62 = 5*j - h*m, 78 = 5*j + m + m. Does 14 divide j?
True
Does 2 divide (64/(-10))/(2/(-20)) - (-16 + 21)?
False
Suppose 7*v = q - 71819, -8*v = -3*q - 7*v + 215317. Is 37 a factor of q?
False
Suppose -19*i + 8*i - 132 = 0. Let a = 61 - i. Is a a 