ple of 19?
False
Let h = 16 + -7. Let u be 2/2 + h + -1. Let q(n) = 3*n + 5. Is q(u) a multiple of 16?
True
Let u(t) = t**3 + 5*t**2 - 8*t - 3. Let k be u(-6). Suppose 3*b - 15 = 2*i, 4*b + 2*i + k = 5*b. Is (-670)/(-12) + b/18 a multiple of 22?
False
Suppose -5*k - 8 = 2. Let j be (3 - -12)*(-1 - k). Is j/2*(-2)/(-3) a multiple of 2?
False
Suppose 2*h = 5*q + 19, -h + 2*q = -6 - 2. Suppose 66 - h = i. Does 22 divide i?
False
Let t(d) = 2*d - 7. Let h be t(6). Suppose 0 = -5*b - h*k + 350, 5*k - 9 = 3*b - 179. Suppose 175 - b = 5*v. Is 16 a factor of v?
False
Suppose -h - 5 = -6*h. Let x be h/((-2)/6*-1). Is 23 a factor of -2 + 2 + (26 - x)?
True
Suppose 4*r = -5*s + 333, 3*r - 3*s - 243 = -0*s. Is r a multiple of 11?
False
Let z be 6/(-2) - (2 + -2). Is 15*z/(9/(-4)) a multiple of 10?
True
Let c(a) = -a + 57. Is 14 a factor of c(0)?
False
Suppose 44 = 4*v - 2*v. Is v a multiple of 22?
True
Let c = 32 + -6. Suppose -5*r = -3*u - 143, 92 - c = 2*r + u. Suppose 0 = -5*l - r + 111. Is l a multiple of 7?
False
Let b(x) be the second derivative of 0*x**3 + 0 + x + 7/6*x**4 + 0*x**2. Is b(1) a multiple of 11?
False
Let h = 18 + 125. Is 14 a factor of h?
False
Suppose -536 = -4*x - 0*x. Let b = x - 76. Is b a multiple of 29?
True
Let k be -5*3/12*4. Let t be k/(25/4)*-5. Suppose t*i = 6*d - 3*d - 31, 5*d + 2*i - 17 = 0. Is d a multiple of 2?
False
Let w = -3 - -5. Suppose w*l - 2 = 3*l. Let q(a) = -16*a - 1. Is 13 a factor of q(l)?
False
Let y be -1 - (2 - 3) - -4. Is 1/y - 348/(-16) a multiple of 13?
False
Let v = -16 - -84. Let q = -41 + v. Is 7 a factor of q?
False
Let r(n) = n. Let t be r(2). Is 2/(t + (-168)/87) a multiple of 10?
False
Let u be (-43)/(-1) + 3 + -2. Let l = u + -26. Is 8 a factor of l?
False
Let n be 3/(9/6) + -5. Does 14 divide (-8)/12 + (-122)/n?
False
Suppose 58 = 4*x - x + 4*v, 0 = -x + 2*v + 16. Is x a multiple of 9?
True
Does 15 divide 0 + (-3 - -2) - -91?
True
Let o be 2/(6/237*-1). Suppose -2*w - 402 = w. Let i = o - w. Is 15 a factor of i?
False
Suppose 4*g + 4*f = 52 + 400, 214 = 2*g - 4*f. Does 37 divide g?
True
Let g(m) = 2*m**2 - 5*m - 4. Let i(p) = p**3 - 3*p**2 - 2*p - 4. Let o be i(4). Is g(o) a multiple of 8?
True
Let v be 33/27 + (-4)/18. Is 6 a factor of v/(1/8) + 3?
False
Is 25 a factor of (0 + -1)/(1/(-68))?
False
Suppose -9*m + 4*m - 5 = 0, 0 = -5*l - 3*m + 47. Does 5 divide ((-21)/14)/((-3)/l)?
True
Let b = 23 + -27. Let p(w) = 0 + w**3 + w + 1 - 2*w**2 - 2*w**3. Is 16 a factor of p(b)?
False
Suppose -395 = -7*c + 2*c + 5*u, -4*c - 3*u + 295 = 0. Does 38 divide c?
True
Let u = 20 + -5. Suppose 4*w - 1 - u = 0. Suppose -4*n = -3*l - 73, w*n - n - 33 = -5*l. Is n a multiple of 16?
True
Suppose -7*w + 2*w + 259 = p, 2*p = 5*w - 262. Suppose -w = 3*h - 154. Does 8 divide h?
False
Let v(j) = j. Let s be v(3). Suppose -4*x - 146 = 2*i - 456, -157 = -2*x - s*i. Does 21 divide x?
False
Suppose -2*b - b = -2*f - 15, -3*f + 5*b = 25. Suppose a + a - 138 = f. Does 25 divide a?
False
Let k = -138 + 167. Is 4 a factor of k?
False
Suppose -8 = -s + 10. Does 2 divide s?
True
Let a be 2/5 + 2/(-5). Suppose -n + a*n - 1 = -d, -2*n = 2. Suppose d = -w + 8. Does 4 divide w?
True
Let d = -5 + -2. Let c(f) be the third derivative of -f**4/12 - 3*f**3/2 + 2*f**2. Is 5 a factor of c(d)?
True
Let p(s) = -2*s**3 - 6*s**2 - 7*s - 7. Let k be p(-5). Suppose 3*n + 4*y - k = 0, 8 = -4*y - 8. Is 12 a factor of n?
True
Let n be (-1)/(-4) + 14/8. Suppose 115 = 5*f + 3*r - r, -22 = -n*f + 4*r. Does 6 divide f?
False
Suppose -z - 5 + 55 = 0. Is 25 a factor of z?
True
Suppose 5*g = -3*y + 1815, 5*g - y - 1158 = 677. Is g/12 + 1/(-2) a multiple of 10?
True
Let v(r) = r**3 + 16*r**2 + 14*r - 9. Let b be v(-15). Suppose -3*t + 379 = -b*f + 5*f, 4*f + 516 = 4*t. Is 30 a factor of t?
False
Suppose -2*g + 122 = 4*u, u + 45 = -2*g + 182. Does 20 divide g?
False
Let b(i) = -i**2 + 0*i**2 + i**3 + 5 - 2*i + 3*i. Let x be b(0). Suppose -5*u - 5*n = -35, -x*n = -u + 1 - 0. Does 6 divide u?
True
Suppose -o + 7 = 5. Suppose -5*n = -2*n + 5*l - 19, -5*n - o*l + 19 = 0. Suppose -n*y - u + 117 = -4*u, -4*y + 172 = 4*u. Is y a multiple of 12?
False
Let p be 2 + (-3 - (-3 + 0)). Suppose -14 = -p*v + d + 3*d, -v = d - 16. Is 11 a factor of v?
False
Let f(g) = g + 10. Is 3 a factor of f(-7)?
True
Suppose -158 - 56 = 2*n. Let f = n + 155. Is f a multiple of 24?
True
Let j(h) = 3*h + 5. Let o be (-3)/(1 + 3/(-2)). Does 14 divide j(o)?
False
Let h = 1 - 1. Suppose -5*u - 134 = -654. Suppose 4*j - u = -h*o - 4*o, 5*j - 78 = -3*o. Is 13 a factor of o?
True
Suppose 4*g = 2*z + 1 + 3, -4*z = 8. Suppose g = -10*l + 5*l + 3*p + 114, -p + 102 = 5*l. Is 21 a factor of l?
True
Suppose -3*s - 980 = -8*s. Is s a multiple of 28?
True
Suppose 3*v + 4 = k - 0, 0 = 5*v - k + 10. Let i(m) = -13*m - 1. Is 19 a factor of i(v)?
True
Let b = -91 + 153. Suppose 4*r + 2*w = b, 0 = -4*r - w + 2*w + 53. Is r a multiple of 14?
True
Let q(v) = -93*v - 1. Suppose -3 = -5*t + 2*d, -2*t - 5*d - 22 = -0*t. Let i be q(t). Does 8 divide (-2)/(-3) + i/6?
True
Suppose -4*h - 10 = 2*n, h - 1 + 2 = 0. Let v(o) = -3*o**3 - 2*o**2 + 2*o. Does 23 divide v(n)?
False
Let w(z) = 2*z**2 + 2*z - 56. Let j be w(0). Let f = 79 + j. Is f a multiple of 16?
False
Suppose 8*q - 3*q = -5*k, -k - 4 = -q. Is q a multiple of 2?
True
Suppose -u = 3*u + 16, 3*z + 2*u = -80. Is (-56)/z + 2/(-6) a multiple of 2?
True
Let b be (-1)/((-1 - 0)/(-3)). Let y = b - -7. Suppose -y*k + 8 = -2*x + 3*x, -3*k = -x + 43. Does 14 divide x?
True
Does 2 divide 1 + -1 - (-29 - 3)?
True
Let d(h) = h**2 + 15*h - 47. Does 12 divide d(-22)?
False
Let k be (-22)/(-6) - 2/(-6). Let j = k + -8. Is (-8 + j/(-2))/(-2) a multiple of 3?
True
Suppose -3*o = 3*k - o + 12, -2*o = -3*k - 24. Let c be 3 - k/(-3) - 3. Is 16 a factor of (-8)/(((-7)/c)/(-7))?
True
Let o be (-1)/(((-2)/1)/82). Suppose o = 4*x - 5*q - 148, -5*x + 225 = 5*q. Is 13 a factor of x?
False
Let a(x) = x**2 + 2*x + 2. Let n be a(-2). Is 7 a factor of 402/15 + n/10?
False
Let h = 51 - 127. Let w be (-3*2/(-4))/(7/(-14)). Is 5 a factor of w/(-9) - h/6?
False
Let l(m) = -m**2 + 10*m - 10. Suppose 5*y - 23 - 27 = -5*v, -3*y + 4*v = -9. Is 3 a factor of l(y)?
False
Let t(i) = i**3 + 6*i**2 + 3*i. Let c be t(-5). Let b = c + -16. Let j = 2 - b. Is 3 a factor of j?
False
Let n = 188 - -64. Is n a multiple of 52?
False
Suppose -5*d = -2*d. Let l = d - -3. Suppose 5*c = 2*a - 26, -2*a + l*c - 7 = -29. Does 4 divide a?
True
Suppose 2 = 2*z + 2*s - 2, 8 = 4*z - 4*s. Let y = 6 - z. Does 2 divide y?
True
Let g(b) = -1 + 2*b + 5*b + 0 - 2 - b**2. Does 3 divide g(5)?
False
Let o = 463 - 232. Is 33 a factor of o?
True
Let c = -1 - -2. Does 13 divide 0 - c - (-26 - 1)?
True
Let n be 28/(-42) - 37/3. Let f = n + 27. Is f a multiple of 14?
True
Suppose -3*o = -o - 2, 145 = 2*d - 5*o. Is 17 a factor of d?
False
Suppose 4*v = -m, -3*m = 2*v - m. Let h be (v/2)/((-4)/2). Suppose h = -3*n - 15, 0 = f - 4*f + 5*n + 196. Is f a multiple of 21?
False
Let x(k) be the third derivative of -k**6/30 + k**5/60 + k**2. Does 3 divide x(-1)?
False
Let c be 8/(-2*1/(-21)). Suppose 0 = 4*h - 7*h + c. Let f = h + 3. Does 17 divide f?
False
Is (4*(-45)/10)/(3/(-16)) a multiple of 23?
False
Suppose -p + 4 = -0. Suppose 5*u + k = p*u + 43, 16 = 4*k. Does 13 divide u?
True
Suppose -a - 4 = -2*a. Let t = 9 + -3. Suppose w - 33 = -5*d, t = -a*d + 22. Does 5 divide w?
False
Let o = 11 - 8. Suppose -4*b - c = o*c - 112, -c = -4*b + 102. Is 13 a factor of b?
True
Let g(a) = -a**3 + 5*a**2 + 6*a - 9. Suppose 4*q = -q + 30. Let r be g(q). Let k = r + 55. Is k a multiple of 17?
False
Suppose 0*y = -4*y + 344. Suppose -4*d + 42 = -y. Is 16 a factor of d?
True
Let n(b) = -b**3 - 7*b**2 + 4*b - 11. Let y be n(-8). Is 23 a factor of -3 - (-2 + (-3 - y))?
True
Let z = 4 + -4. Suppose 0 = j - z + 6. Is 9 a factor of 0 - (-6)/(-2)*j?
True
Let z(u) = -u**3 + 6*u**2 + 7*u + 4. Let p = 3 + 4. Let c be z(p). Suppose c*j = j + 2*l + 142, 4 = l. Is 18 a factor of j?
False
Suppose -2*m - 5 = 7. Let z(o) = o**2 + 6*o - 1. Let y be z(m). Let l(d) = -6*d**3 - d**2 + d + 1. Is 5 a factor of l(y)?
True
Suppose 0*n + 44 = 3*n - 4*s, 5*n - 88 = 3*s. Is 5 a factor of 53/5 - 12/n?
True
Suppose 48 = -4*w - 0*w. Let s(l) = -l + 10. Is s(w) a multiple