= -410. Is 19 a factor of h?
False
Let t(s) = 8*s**2 - 3*s + 3. Let j be t(-4). Suppose -5*d - 105 = -2*l, -192 - j = -5*l - 2*d. Suppose 5*m = -0*m + l. Is m a multiple of 7?
False
Suppose 0 = -2*p - p + 9. Let y(b) = b**2 - 3*b**2 - b + 4*b**2. Is 12 a factor of y(p)?
False
Is 11 a factor of 15*((-60)/(-18) + (-2)/(-6))?
True
Suppose 0 = v - 2. Suppose -v*t + 10 = -2. Is 2 a factor of (-1)/((4/t)/(-2))?
False
Let f = 3 + 37. Suppose 0 = 3*x, -3*x + f = 3*r + r. Is r*(-5)/(15/(-6)) a multiple of 10?
True
Let y(b) = 2*b + 9. Let c be y(-6). Is 11 a factor of 20 + c - (2 - 4)?
False
Let c(m) = -7*m - 4. Let u(x) = -x**3 - x**2 - 8*x - 5. Let s(n) = -3*c(n) + 2*u(n). Is 14 a factor of s(-3)?
False
Let q(r) = 2*r**2 + 8. Let m be (42/(-9))/((-4)/(-6)). Let t be q(m). Suppose 0 = 4*i - t + 2. Is 11 a factor of i?
False
Let k(f) = f - 1. Let v be k(5). Suppose -5*d + 4*l + 308 = -d, 3*d - 232 = v*l. Does 20 divide d?
False
Suppose -9*p - 120 = -705. Is 24 a factor of p?
False
Let k(d) be the first derivative of -d**2/2 + 2*d + 3. Is 3 a factor of k(-8)?
False
Let h = 7 + -4. Suppose h*k = k + 10. Does 5 divide k?
True
Suppose -566 = -19*z + 270. Is 4 a factor of z?
True
Let x be (-2)/(-4) + (-6)/(-4). Let s = x - 2. Is 13 a factor of ((-52)/(-6) + s)*3?
True
Let p(k) be the first derivative of -19*k**2/2 - 5*k - 3. Does 11 divide p(-2)?
True
Let b(q) = -3*q + 3. Let o(m) = -m**3 - m**2 + m + 1. Let n be o(0). Let c be -7*(-1 - -2)*n. Does 12 divide b(c)?
True
Suppose 4*m + 6 = 2. Is m + 2 + (-12)/(-3) even?
False
Let a(f) = -f + 2. Let p be a(-2). Suppose -2*n + p*n + d - 134 = 0, 4*n - 268 = -d. Is 12 a factor of n?
False
Suppose -6 = -2*c + 2. Suppose c = -0*l - 2*l. Let v = l - -10. Does 3 divide v?
False
Let x(u) = -3*u - 3. Let p(d) = d. Let v(a) = -2*p(a) + x(a). Is 6 a factor of v(-3)?
True
Suppose -5*g - u + 156 = 0, -4*g + 0*g = u - 124. Is 8 a factor of g?
True
Let g(z) = 6*z. Suppose 4*x + 28 - 3 = 5*j, 5*x = -2*j + 10. Does 15 divide g(j)?
True
Let w = -16 + 26. Is 14 a factor of ((-48)/w)/((-18)/60)?
False
Suppose -4*g + 745 + 631 = 0. Suppose -2*z + 2*n + g = -0*n, z = 2*n + 177. Suppose 5*x - 5*a + 42 = z, -a + 5 = 0. Does 15 divide x?
True
Does 10 divide 9*10*(4 - 3)?
True
Suppose -5*h - 78 = 2*y, -68 = 4*h - y - 16. Is 14 a factor of (-388)/h - 8/(-28)?
True
Let y = -464 + 679. Does 28 divide y?
False
Suppose -127 = -2*d + 67. Does 28 divide d?
False
Let p = -5 + 7. Let u be 2*p/(-8)*-8. Suppose 16 = 5*c - u*c. Does 16 divide c?
True
Let a = 177 + -66. Is a a multiple of 25?
False
Suppose -27 = -5*w + 2*w. Let t = 50 - w. Suppose 0 = -3*o - x + 91, 0*o - t = -o + 5*x. Is o a multiple of 23?
False
Let t(h) = 19*h + 15. Is t(8) a multiple of 28?
False
Suppose -2*n - 119 = -5*x + 77, n = -5*x + 187. Let b(c) = -c**2 + 6*c - 2. Let h be b(5). Is 13 a factor of (h/(-6) - -1)*x?
False
Let h be 16/(-7) + 6/21. Let r(l) = -7*l - 8*l**2 + 0 - 1 + 4*l + 15*l**2. Is 12 a factor of r(h)?
False
Let l(u) = 20*u - 1. Let f(a) = -a + 12. Let t be f(11). Does 9 divide l(t)?
False
Let t be -3*(-3 + 2) - 5. Is 644/35 + t/5 a multiple of 11?
False
Is 4 a factor of (-8)/((12/8)/(-3))?
True
Let d(j) = -j**3 - 2*j**2 + 7*j - 3. Let l be d(-6). Suppose -5*x + 4*w = -l, -4 = -w - 0*w. Is x a multiple of 8?
False
Let l(f) = -120*f. Let b be l(2). Suppose 0*j - 2*j + 40 = 0. Does 16 divide j/6*b/(-25)?
True
Suppose 18 = 2*b - 2*k, b - 2*k = 2*k + 6. Suppose 5 + b = 5*o. Suppose 0 = o*i - 5*i + 16. Is 8 a factor of i?
True
Let r(z) = -z**2 + 11*z + 5. Does 3 divide r(5)?
False
Is 4 a factor of (4 - (4 + -3)) + 34?
False
Suppose 0 = -4*b - 2*z + 566, -3*z + 285 = b + b. Does 19 divide b?
False
Suppose -3*f = s - 44, -4*s - 5*f + 32 + 123 = 0. Is 6 a factor of s?
False
Let z = -191 + 295. Is (-1211)/(-13) - 16/z a multiple of 20?
False
Suppose 10*g - 312 = 4*g. Is 13 a factor of g?
True
Let c = 6 - 14. Let x(y) = 1 + 2 + 0 - y. Does 9 divide x(c)?
False
Let x(d) = 4*d**2 + 5*d - 3. Let i be (-1 - -2)/((-1)/(-3)). Does 16 divide x(i)?
True
Let y(f) = f - 3. Let r be y(6). Let c(n) = r*n - 4*n + 2*n - 14 + n. Is c(10) a multiple of 4?
False
Let c(f) = -f**3 - 4*f**2 - f - 1. Let p be c(-3). Let u(t) be the second derivative of -t**3/2 + 9*t**2/2 - t. Does 16 divide u(p)?
False
Is (384/14)/(47/329) a multiple of 12?
True
Does 45 divide (-436)/(-3) - -1*(-2)/(-3)?
False
Suppose 0 = 7*l - 3*l - 40. Suppose -6 = -s + l. Does 8 divide s?
True
Suppose -3*t + 243 = -681. Is 29 a factor of t?
False
Let j = 26 + 44. Does 14 divide j?
True
Let r = -43 - -61. Is 3 a factor of r?
True
Let t be -5*5/((-50)/12). Let v be 6/4*68/t. Let a = v - -6. Is a a multiple of 9?
False
Suppose 4 - 170 = -2*d. Let r = d - 47. Does 18 divide r?
True
Let d = -2 - 0. Let y be (-2 + -1)/(3/d). Suppose i - 28 = -3*w, y*w - 4*i = 4 + 38. Is 5 a factor of w?
False
Let n(v) = -42*v - 10. Let w(c) = -14*c - 3. Let o(u) = -2*n(u) + 7*w(u). Is o(-2) a multiple of 9?
True
Suppose t + 5*t = 48. Suppose 3*o - 2*z = 29, -2*o = -2*z - 12 - 6. Let g = o + t. Is g a multiple of 6?
False
Suppose 0 = 4*w - w - 99. Suppose 3*c - z = 2*c + 3, 3*c + 3*z = w. Is c a multiple of 3?
False
Does 4 divide (15 + (-3 - 0))/1?
True
Let m = -2 - 6. Let r(y) = y**2 - y - 1. Let f be r(-4). Let w = f + m. Is w a multiple of 11?
True
Suppose 0*x - 4 = -x, -y - 3*x = -44. Suppose j + 80 = 6*j - 3*o, -o = -2*j + y. Does 7 divide j?
False
Let g = 15 + 45. Is g a multiple of 26?
False
Suppose 195 = 20*t - 15*t. Does 13 divide t?
True
Let t(u) = -11*u - 2. Let r be t(-10). Suppose -s = -4*x + 108, s = -x - 3*x + r. Is x a multiple of 15?
False
Suppose -2*j = -3*w - 36, -2*w - 36 = -2*j - 0*w. Suppose -3*b + j = 3*k, b = -b. Is 4*k - (-3 + 1) a multiple of 13?
True
Suppose -5*h + 14 + 111 = 0. Is 11 a factor of h?
False
Suppose -16*f = -13*f - 78. Is 4 a factor of f?
False
Suppose q = -2*q + 33. Is 3 + q + 0 + -1 a multiple of 13?
True
Let p(l) be the third derivative of l**7/1260 + l**6/180 - l**5/30 + 2*l**2. Let z(v) be the third derivative of p(v). Is 14 a factor of z(4)?
False
Suppose 2*l + 2*l - 416 = 0. Suppose 0 = 4*w + 36 - l. Does 6 divide w?
False
Suppose 4*c - 3*c = -5. Let j(z) be the first derivative of z**4/4 + 7*z**3/3 + 3*z**2/2 - 4*z - 1. Does 18 divide j(c)?
False
Let q(g) = 2*g**2 - 3*g + 7. Let k(z) = 3*z - 2. Let o be k(2). Suppose -3*j + 11 + o = 0. Is 15 a factor of q(j)?
False
Suppose x - 1 = 2. Suppose -5*a + w + 113 = 0, 2*a = x*a + 2*w - 16. Does 21 divide a?
False
Suppose -y + 1 + 5 = g, 2*g - 19 = -3*y. Suppose y*n = 2*n + 10. Suppose l - 36 = -n*l. Is l a multiple of 12?
True
Let h = 30 + 11. Suppose -205 = -14*u + 9*u. Suppose 2*c = j - h, -4*c = j - c - u. Does 17 divide j?
False
Suppose 3*k = -k. Let d be 11 + 1 - k/(-1). Let a = -7 + d. Is 5 a factor of a?
True
Let o(x) = -x**3 - 19*x**2 - 27*x - 6. Is o(-18) a multiple of 12?
True
Let f(t) be the third derivative of t**6/120 - t**5/10 + t**4/4 - t**3/2 - 2*t**2. Let r be f(5). Suppose -5*z = -r*z - 66. Is 11 a factor of z?
True
Let k = 69 - 35. Does 5 divide k?
False
Let r be -1 + 7 - 2 - 0. Suppose -r*z + 69 = -11. Is 10 a factor of z?
True
Let u(q) = -4*q - 1. Let m be u(-1). Suppose 4*f - 221 = -m*g, f + f - 110 = -2*g. Let y = f + -30. Is y a multiple of 13?
True
Is 13 a factor of (3 - 132/20)/(3/(-290))?
False
Let h be (-245)/20 + 3/(-4). Let l = -5 - h. Is 6 a factor of l?
False
Let f = 3 + -3. Let z = f + 26. Does 13 divide z?
True
Suppose w - 44 = -9. Is 23 a factor of w?
False
Suppose -5*f - 14 - 6 = 0, 1183 = 5*d - 2*f. Does 47 divide d?
True
Let v be (-2)/6*-3*-6. Let k be 3/v - (-9)/6. Does 7 divide (7 + 1)/k - 1?
True
Suppose 12*p - 728 = 8*p. Does 32 divide p?
False
Let r(l) = -3*l**2 + 3*l**2 + 3*l**2 + 2*l - 3*l. Does 4 divide r(-1)?
True
Is 14 a factor of -1 - (-44 - (1 + -2))?
True
Let g(m) = 4*m - 5. Suppose 5*w = 4 + 1. Let r be 3 - -1 - (w + -1). Is 11 a factor of g(r)?
True
Let c = 87 - 47. Is c a multiple of 5?
True
Suppose -3*i + 4*i - 4 = 0. Let b be i*28*1/2. Suppose 0*q = -2*q + b. Does 13 divide q?
False
Suppose 4*f = -0*f - 32. Let r = f + 10. Suppose 5*d - r*h = 72, 5*d + 0*h - 75 = 5*h. Is d a multiple of 13?
False
Let j = 51 - 31. Suppose 20 = 4*s - 0*p - 4*p, -4*p - 12 = 0. Does 8 divide j/s + 1 + -3?
True
S