1030)). Let x be 2/(-6) - (-16)/3. Suppose -x*r + 4*p = -b, -4*r + 0*p = p - 148. Is 18 a factor of r?
False
Let n = 1245 - -118. Is n a multiple of 29?
True
Let h be (-12 - -20)*274/8. Let k = h + -110. Is 17 a factor of k?
False
Suppose 7*f = 15 + 125. Suppose -3*k = -f - 73. Is k a multiple of 17?
False
Let l = 16 - 2. Suppose 0 = 2*i - 2 + l. Let a = 36 - i. Does 21 divide a?
True
Suppose 8*j - 13*j = 0. Suppose 5*v + 505 = -j*b + 5*b, 0 = 2*b + v - 196. Is 13 a factor of b?
False
Let f(x) = 3*x**2 + 4*x - 9. Is 12 a factor of f(-9)?
False
Let o(p) = -p**3 + 8*p**2 - 9*p - 2. Let g be o(5). Suppose -4*v = -3*v - g. Does 7 divide v?
True
Suppose 15 = 6*s + 3. Suppose -5*q + 143 = s*n - 145, -3*n + 113 = 2*q. Is q a multiple of 29?
True
Let o(l) = 4*l**2 - 4*l - 7. Let d be o(-3). Let t = -14 + d. Does 13 divide t?
False
Let r(g) = g**2 + 5*g - 3. Suppose 0*d + 3 = d - 3*p, -2*p = d + 12. Let w be r(d). Suppose -4*s + 3*v + 318 = 0, w*s + 3*v - 74 = 154. Is s a multiple of 26?
True
Suppose -b = -4*b - 12. Let x = b - -12. Is x a multiple of 4?
True
Suppose 0 = 18*c - 19*c + 6. Let x = c + -2. Suppose x*w = -g + 5*w + 105, -3*g + 321 = -w. Is 18 a factor of g?
True
Let d(n) = 2*n - 34. Let i(g) = -g + 36. Let l(q) = 7*d(q) + 6*i(q). Is l(14) a multiple of 45?
True
Suppose 3*t + t - 28 = 0. Let j = -3 + t. Let x(g) = 2*g**2 + 4*g + 3. Is x(j) a multiple of 10?
False
Suppose 4851 = 24*m - 4821. Is 31 a factor of m?
True
Let b(k) = -66*k. Let a be b(-5). Suppose -3*r + 13*r = a. Is r a multiple of 14?
False
Let w be (-2)/4 - 1032/(-16). Suppose g + w = 3*n + 2*n, -g = 4. Let v = n - -7. Is 14 a factor of v?
False
Let p be (-1)/(-5)*1 + 48/10. Suppose p*d - 861 = -2*d. Is d a multiple of 7?
False
Let z be (-6)/((36/(-8))/(-3)). Is 6 a factor of (27 - 57)*(1 - z/(-3))?
False
Let n be -3 + 8 + (-1 - -1). Suppose 5*k - 10 = -2*r, 4*r + 6 = n*k - 4. Is 11 - (1 + -3)/k a multiple of 3?
True
Let l(x) = -x**3 + 5*x**2 + 9*x - 16. Let i be l(6). Does 3 divide (-18)/((5 + -3)*(-1)/i)?
True
Let r(v) = v**3 + 6*v**2 + v. Let o be r(-6). Let g be o/18 + 48/9. Suppose g*z - 240 = -4*t, -3*z + 0*t + 4*t + 144 = 0. Is 16 a factor of z?
True
Suppose -27 = 4*z + 33. Let a(h) = -h - 16. Let l be a(z). Is 23 a factor of l/(-2) - 1098/(-12)?
True
Let j = 34 - 40. Does 15 divide 46 + (j/3)/2?
True
Suppose 0 = -294*p + 300*p - 2130. Is 71 a factor of p?
True
Suppose w - 5*t = -31, -2*w = 4*t - 4 - 4. Let c be w/(-4) - (-3)/6. Suppose 27 = c*z + 3. Does 3 divide z?
True
Let a be (6 - 8)/(-2 + 4). Let c be (a + 4/12)*9. Is 2 a factor of c/(-3) + (-2)/(-1)?
True
Let q be -1 + 2 + -3 - -6. Suppose -5*x = 5*l - 200, 0 = x + q*l + 12 - 37. Is 16 a factor of x?
False
Let m(i) = -i**2 + i - 1. Let l(j) = j**3 - 2*j**2 - 8*j + 7. Let n = 0 - 6. Let z(s) = n*m(s) - l(s). Is 23 a factor of z(6)?
False
Suppose 328*o - 170068 = 287*o. Is 17 a factor of o?
True
Suppose -7233 = -10*s - 2193. Is 9 a factor of s?
True
Suppose 4*r - 2 = 10. Suppose 0 = -a + f + 135, f = -r*a + 453 - 60. Suppose 0 = -4*w + w + a. Is w a multiple of 9?
False
Let o be 5/(5/34)*(-52)/(-4). Suppose -3*n + 330 = 3*p, 0*n + o = 4*p + 5*n. Does 15 divide p?
False
Let n(l) = -2*l - 266*l**2 + 532*l**2 - 264*l**2 + 1 + 2*l**3. Is 21 a factor of n(2)?
True
Suppose 0*x + 11152 = 41*x. Is 8 a factor of x?
True
Let m(t) = -15*t**2 - 7*t + 22. Let x(s) = -75*s**2 - 35*s + 111. Let z(u) = -11*m(u) + 2*x(u). Is z(3) a multiple of 20?
False
Suppose 0 = -4*s + 5*l - 438 + 2966, -2*s + 1264 = 3*l. Suppose -4*c = -s + 60. Is c a multiple of 11?
True
Suppose -w - 2*h + 13 = -9, 56 = 3*w + h. Suppose 2*j + w = 100. Suppose c - j - 6 = 0. Is 13 a factor of c?
False
Suppose -13*a + 28*a - 11220 = 0. Is 68 a factor of a?
True
Let a be -2 + (1*-1)/(5 - 6). Let y(r) = -r**3 - 3*r**2 + 6*r + 5. Let v be y(-4). Is (3 - 31/a) + v a multiple of 18?
False
Let s = 2 - 14. Suppose 5*f + 4*j = -14, -4*f = 4*j + 2 + 6. Is 12 a factor of (-152)/s - f/(-9)?
True
Let q(k) = 11 - 10 + 17 - k + 3*k. Does 5 divide q(6)?
True
Is ((-22)/1)/(1*(-8)/404) a multiple of 36?
False
Let g(n) = n**2 + 10*n - 52. Does 2 divide g(6)?
True
Suppose -3*a - 10*z + 12*z = -143, -4*z = -20. Is a a multiple of 4?
False
Let o(n) = -n - 12. Let i be o(-15). Suppose -2*f = -3*b + 101, i*b - 4*b + 35 = -2*f. Does 10 divide b?
False
Suppose -3*s - 4*h = -14, 0*h = 4*s + 5*h - 18. Is (-1*s)/((-18)/1728) a multiple of 12?
True
Let a be (-15181)/(-76) + 5/4. Suppose -4*l + a = -59. Does 13 divide l?
True
Suppose -4*z - z + 4*t = -4588, 3*z = 4*t + 2748. Does 30 divide z?
False
Let q(p) = 72*p - 21. Let r be q(18). Suppose 0 = -4*y + r + 61. Suppose -74 = -6*b + y. Is 34 a factor of b?
True
Let p = 199 - 181. Is p a multiple of 3?
True
Suppose -2320 = -4*v - 4*g, 0*g + 1169 = 2*v - g. Is 11 a factor of v?
True
Let z(l) = l**2 + 9*l + 7. Let c be z(-8). Let f be ((-3)/(-9))/c*-57. Suppose 81 = 3*y + 2*t - f, -t - 25 = -y. Is 15 a factor of y?
True
Let s(l) = 57*l + 40. Does 22 divide s(2)?
True
Let z be 34/2 - (0 - -2). Suppose 5*y = -3*n, 3 = 4*y + z. Suppose n*v - 64 = v. Is v a multiple of 4?
True
Let g(h) = -2*h**3 - 2*h**2 + 5*h + 1. Suppose -3*s + 1 = 13. Does 11 divide g(s)?
True
Let m(w) be the third derivative of w**4/6 + 41*w**3/6 - w**2. Is m(6) a multiple of 13?
True
Let f = -245 - -351. Let w = f - 73. Is w a multiple of 22?
False
Suppose 0 = 5*m - b - 59, -6*m = -m - 5*b - 55. Suppose -4*l - 120 = -m*l. Does 3 divide l?
True
Let t = -16 - -36. Let k = t + -15. Suppose -k*m = -4*s - 182, -6*s = -s - 10. Is 18 a factor of m?
False
Let q = 861 + -472. Is 12 a factor of q?
False
Let c(y) = 2*y**2 - 11*y + 136. Is 17 a factor of c(-17)?
True
Suppose -253 = -3*r + 227. Is 20 a factor of r?
True
Suppose 0 = -w + 9 - 5. Suppose u - 69 = -4*u + w*f, -2*u + 14 = -5*f. Is u a multiple of 5?
False
Let i = -199 - -281. Suppose -4*c = 2*j - i, 0 = -5*c - 2*j + j + 110. Is 4 a factor of c?
False
Let v = 506 - 129. Is 12 a factor of v?
False
Let i(f) = -3*f - 6. Let s be i(-3). Suppose -s*o + 61 = -50. Let r = o + -34. Is 3 a factor of r?
True
Let x(i) = -i**3 + 3*i**2 - 2*i + 3. Let a be x(3). Let n be 18 + (-1 - a - 4). Suppose 3*l = 106 - n. Is 10 a factor of l?
True
Let q = -2 + 6. Let h be 254/8 - (-1)/q. Suppose -g + 38 + h = 0. Is 19 a factor of g?
False
Let b be 4/(-22) - (-70)/22. Suppose -b*v + 2*v = 170. Does 17 divide ((-12)/(-3))/(-8)*v?
True
Suppose -4*i + 14 = -2*i. Let n = i - 15. Is 9 a factor of ((-2)/(-6))/(n/(-696))?
False
Let b(a) = -a**2 + 70*a - 424. Is b(59) a multiple of 3?
True
Let s be (1 + -3)*3/(-2). Suppose 0*k - 2 = -3*m - 2*k, 0 = -s*m - k + 7. Suppose -m*f + 0 + 56 = 0. Is 12 a factor of f?
False
Let h = -15 + 13. Is (h + -11)/((-4)/8) - -1 a multiple of 13?
False
Let q = 875 + -346. Is q a multiple of 32?
False
Let l(n) = 888*n**2 + 3*n - 4. Is 36 a factor of l(1)?
False
Suppose 0*s - 12 = 2*q + 5*s, -2*s - 12 = 2*q. Does 18 divide (-110)/q + (-4)/12?
True
Suppose 5*u - 4*u = 0. Suppose -3 - 1 = 4*r, 5*y - 5*r - 30 = u. Suppose 0 = -0*l + y*l - 35. Does 6 divide l?
False
Let t be (3 - 1)/(-6)*-3. Let l be (15/(-10))/(1*9/(-12)). Suppose -t - 11 = -l*m. Does 5 divide m?
False
Is 1/((-209)/(-38)) + (-5606)/(-22) a multiple of 13?
False
Suppose 17 + 19 = 4*k. Is 5 a factor of 30/k*-3*2/(-4)?
True
Suppose -4*r + 15*r - 4114 = 0. Is 22 a factor of r?
True
Let y = -11 - -13. Suppose y*u = -2*u + 756. Is 27 a factor of u?
True
Let d(s) = 3*s - 63. Let k be d(19). Is 12 a factor of ((-1092)/(-65))/(k/(-20))?
False
Let w(j) = 81*j**2 + 9*j + 3. Let a be w(-3). Does 8 divide a/20 + ((-18)/8 - -2)?
False
Let t(j) = -j**3 - 6*j**2 - 2*j + 7. Suppose -5*k - 27 = 3*l + 13, -4*l = -4*k. Let a be t(k). Does 9 divide (88/(-2))/(a/4)?
False
Suppose -32*x + 27*x = -1250. Is 5 a factor of x?
True
Let d(i) = -i**2 - 8*i. Let z be d(-8). Suppose b - 3*k - 53 = z, b - 4*b - 3*k = -207. Is b a multiple of 21?
False
Let t(b) = -55*b - 1. Let a(c) = c**3 + 2*c**2 - 2*c + 1. Let f be a(-3). Let g be t(f). Suppose u - 29 = -5*o, 3*u + 6*o - g = 2*o. Does 21 divide u?
False
Let r(s) = 3*s**3 + 2*s**2 - 7*s + 2. Does 16 divide r(3)?
True
Let f be (-824)/(-4) + (-4 - (-3 + 3)). Suppose -850 = -3*k - f. Does 40 divide k?
False
Suppose -12 = -4*n - 2*z, -n = -8*z + 5*z