5) a multiple of 9?
False
Let t be 10*4/(-8)*-75. Suppose -12*n + t = -7*n. Suppose h + 3*i = 11, -i = 5*h + 4*i - n. Is 17 a factor of h?
True
Suppose s - 5*n = -2*n + 8, -5*s + 3*n = -28. Let g(h) = 8 + 4*h**2 - 6*h + 1 + 12 - 9. Is g(s) a multiple of 19?
False
Let a(q) = 7*q**3 - 2*q**2 + 2*q - 2. Let z(y) = y**3 - 9*y**2 + 8*y + 2. Let j be z(8). Is 9 a factor of a(j)?
False
Suppose 2*n = -q - 63 + 363, 3*n = -12. Does 14 divide q?
True
Suppose -3*a - 2077 + 25 = -3*h, -4*h - 2*a + 2718 = 0. Is h a multiple of 2?
False
Let k(z) be the second derivative of z**4/3 + z**3 - 7*z**2/2 - 9*z. Is 21 a factor of k(-5)?
True
Suppose h = 6 - 1. Let t = 70 - h. Is t a multiple of 5?
True
Suppose t + 0*t + 8 = 0. Let h = t + 12. Suppose h*x - 192 = 2*u, 0 = x - 3*u - 53 + 5. Does 24 divide x?
True
Suppose 0 = 5*w - a - 4937, -19*a + 14*a = 4*w - 3967. Is w a multiple of 13?
True
Let f(r) = r**3 + 4*r**2 - 2*r + 5. Let d be f(-4). Let y = 17 - d. Suppose -215 = -y*h - i, -4*h + 0*i + 205 = 3*i. Is h a multiple of 17?
False
Let f = -9 - -12. Let a = f + 0. Is a a multiple of 3?
True
Let v(q) = -q**3 + 3*q**2 - 2*q. Let k be v(2). Suppose -r + 3 = -k*r. Suppose r*s = -s + 52. Is s a multiple of 7?
False
Suppose 43 + 32 = 5*w. Suppose -24 = v - 69. Let n = v - w. Is n a multiple of 10?
True
Let d(l) = -l + 9. Let b be d(6). Suppose -b*t + 3*k = -15, -2*k = -3 - 1. Let s(i) = 3*i - 2. Is 19 a factor of s(t)?
True
Suppose 0 = 72*z - 73*z + 280. Is 56 a factor of z?
True
Let k(t) = t**3 + 3*t + 1. Let a be k(-2). Let x = -21 - a. Does 9 divide (-10)/40 + (-218)/x?
True
Suppose -c - 34 = -3*i, -5*c + 4*i - 204 = 6*i. Suppose -3*z + 382 + 35 = 0. Let t = z + c. Is t a multiple of 32?
False
Suppose -i - 3*i - 11 = m, -4*m = -5*i - 19. Let k be -4 + (-1)/(0 - m). Let l = 54 + k. Is 14 a factor of l?
False
Let j = -245 + 630. Does 11 divide j?
True
Suppose 6*c = c + 950. Suppose 725 = c*s - 185*s. Is s a multiple of 5?
True
Let h = -419 + 601. Is 13 a factor of h?
True
Suppose -5*x - 166 = -3*t, 13*x = t + 12*x - 54. Is 6 a factor of t?
False
Let f(g) = -31*g**3 - 2*g**2 - 2*g - 1. Let s be -5*4/(-20) - 2. Does 15 divide f(s)?
True
Let n(i) be the second derivative of 5*i**4/6 + i**3 + i**2/2 + 4*i. Let k be n(-5). Suppose -l + 6*l = 2*a + 286, a - k = -4*l. Does 20 divide l?
False
Let c = -120 + 229. Is c a multiple of 15?
False
Suppose 2*w + 20 = y, 3*y - 4*y + 17 = -3*w. Suppose z - 20 = -0*r - r, -y = -z + r. Let c = 62 - z. Is 13 a factor of c?
True
Let c be -1*(322 - 1) + -3. Let n = c - -480. Is 12 a factor of n?
True
Suppose -152 - 184 = -4*w. Is w a multiple of 28?
True
Let f = -190 - -630. Does 10 divide f?
True
Let k = -745 - -777. Let x(s) = -14*s**3 - 2*s**2 + s - 2. Let u be x(-2). Suppose -k = 2*v - u. Does 34 divide v?
True
Suppose -z = -y + 2, 2*z + 2*y - 4 = 3*z. Suppose z*k = 3*k + o - 87, 2*o = 3*k - 78. Is 4 a factor of k?
True
Let k(d) = d**2 + 3*d - 189. Is k(42) a multiple of 29?
False
Is 21 a factor of -29 + 24 + (1 - -109)?
True
Suppose -4*j = 5*f - 5, 4*f - 5 = -j - 2*j. Suppose 5*p + f*o - 63 = 87, p = -2*o + 34. Is 3 a factor of p?
False
Suppose -3*d - 420 = -10*d. Is 4 a factor of d?
True
Suppose -d + 167 = n - 70, -n = -4*d - 222. Is n a multiple of 13?
True
Let h be 3/6 - 1/((-2)/203). Let t = 182 - h. Is 16 a factor of t?
True
Does 7 divide 2949/6 + 90/(-36)?
False
Let r(j) = j**2 + 6*j + 12. Let p be r(-9). Let h = 79 - p. Let k = h + -6. Is k a multiple of 15?
False
Suppose -8*g = -13847 - 4377. Is 67 a factor of g?
True
Let h be (0 + -1)*-3 - 39. Let w = h + 51. Is w even?
False
Suppose -4*q + 20 = 3*w, q + 4*q = -5*w + 30. Is 19 a factor of (0 - (20 - 0))*(-19)/w?
True
Suppose 0 = 4*w - 311 - 73. Does 13 divide w?
False
Let i be (-8)/(-2)*(-4)/8. Let n = 9 + i. Suppose 0 = 3*w - 52 + n. Is w a multiple of 4?
False
Suppose 0*m + 30 = 5*m. Suppose 4*u - 3*i = 16, m = u - 4*i + 2. Suppose -22 - 28 = -3*w + u*s, -4*s - 30 = -w. Does 2 divide w?
True
Let d = 251 + 269. Is 65 a factor of d?
True
Let w be (6/(-4))/((-2)/(-4)). Let s = 85 + -102. Let x = w - s. Is 5 a factor of x?
False
Let m be 1/((-17)/6 - -3). Suppose -3*u = 4*h - 98, 131 = 5*u - h + m. Does 13 divide u?
True
Suppose 3*x - z - 25 = 0, -8 = -0*z + 2*z. Let p = -5 + x. Suppose -u + 1 = j - 10, 0 = 5*j + p*u - 61. Is j a multiple of 4?
False
Suppose -3*x + 5*x - 26 = 2*q, 5*x - q = 53. Let b be 7124/65 + 4/x. Suppose g = 5*p + 35, 0*p = 2*g - 2*p - b. Is 20 a factor of g?
True
Suppose -2*l + 4*p = -70, 4*p - 203 = -8*l + 3*l. Is l a multiple of 5?
False
Let m = 14 - 9. Suppose m*t + 11 = 1. Let l(g) = 10*g**2 + g + 2. Is 7 a factor of l(t)?
False
Suppose 0 = 3*m + 4*j - 11, 0*j - 8 = -2*m - 2*j. Suppose -m*p + 9*p = 68. Let h = p - -13. Does 15 divide h?
True
Suppose j - 6 = 3*n, -j - 2*j + n = -2. Suppose -t - 4*t + 135 = j. Is 10 a factor of 8/(-36) + 1140/t?
False
Is (835/(-2))/(-6 + 700/120) a multiple of 11?
False
Is ((-235)/35 + 7)*3073 a multiple of 45?
False
Suppose -22 + 494 = -4*o - 4*z, 4*o = 2*z - 478. Let h = -1 - o. Is 17 a factor of h?
False
Let m(z) = z**2 - 14*z + 4. Let w be m(14). Suppose w*d - 4*i = d + 113, -4*d - i = -157. Is 3 a factor of d?
True
Suppose -x + 6 + 5 = 2*a, 67 = 2*x - 5*a. Is 3 a factor of (-2340)/(-42) + 6/x?
False
Let j = -14 + 18. Suppose 0*o + j*o - 176 = 0. Let n = o - -4. Does 16 divide n?
True
Let b(g) be the first derivative of 3*g**4/8 + 7*g**3/6 + 5*g**2/2 - 1. Let j(x) be the second derivative of b(x). Does 14 divide j(7)?
True
Suppose 44 = 3*y - 5*i, 2*i = -3*y + 2*y + 11. Suppose -y*f + 9*f = -332. Is f a multiple of 6?
False
Let j(q) = 9*q - 32. Suppose 4*s + 1 = -4*y - s, y = -5*s - 19. Is 9 a factor of j(y)?
False
Suppose -g = 2 - 4, 1 = l - g. Suppose -l*s - 151 = -4*f - 6*s, -f + 54 = 4*s. Does 8 divide f?
False
Let b(i) = -2*i**3 - 2*i**2 - 2*i + 811. Does 8 divide b(0)?
False
Suppose -5*p - 6545 = -3*x, -x + 4*p + 2183 = 3*p. Is 26 a factor of x/35 + 3/(-7)?
False
Let b be (10/4 - 2)*16. Let x(h) = 9 - 5*h**3 + 5*h**2 + 4*h**2 - 8*h + 4*h**3. Is 8 a factor of x(b)?
False
Suppose 5*a = -3*m + 1785, 2*a = m + 3*m + 740. Is a a multiple of 18?
True
Suppose 12*y - 27360 = -7*y. Does 48 divide y?
True
Let s(d) be the first derivative of 4*d**3/3 - 5*d**2/2 + 6*d + 1. Let p be s(3). Is 90/p*39/2 a multiple of 13?
True
Is 4 a factor of 2/(10*11/97460)?
True
Suppose 0 = -3*f + 2*s + s + 1182, -1935 = -5*f - 2*s. Is f a multiple of 30?
False
Suppose -12*p - 6704 = -20*p. Is 80 a factor of p?
False
Let t = 2192 + -2172. Is 20 a factor of t?
True
Suppose -3*d + 9 = 0, 3*c + 3*d - 1603 = 146. Let u be -3 + 2 + -2 - -5. Suppose -608 = -5*w - u*i, -5*i + 0*i = -5*w + c. Does 30 divide w?
True
Let m(c) = -1. Let z(j) = j**2 - 15*j - 16. Let y(f) = -3*m(f) - z(f). Is y(12) a multiple of 11?
True
Let c(x) = -x**2 - x - 14. Suppose 0 = -2*j - l - 1, 4*j - 8*l = -3*l + 5. Let o be c(j). Let r = 4 - o. Is r a multiple of 9?
True
Suppose z - 5*x - 466 = 0, 0 = 3*z - 6*z - 4*x + 1303. Is 63 a factor of z?
True
Let z be (-3 + 3)/((-1 - 0)/(-1)). Suppose -3*l + 5*y = -z*y - 380, -4*y = 16. Is 10 a factor of l?
True
Let g(n) = -n**2 + 19*n + 141. Is 2 a factor of g(20)?
False
Let i(y) = y - 3. Let j be i(6). Is 21 a factor of ((21 + 0)*j)/1?
True
Suppose -339*q + 624 = -335*q. Is 39 a factor of q?
True
Let d = 187 - 155. Is d a multiple of 2?
True
Let z = 534 + -422. Is 8 a factor of z?
True
Let j(h) = 7*h**2 - 13*h + 10. Is 10 a factor of j(4)?
True
Let s be 7*-3*762/7. Let t be s/(-8) + (-18)/24. Suppose -4*j = -9*j + t. Does 25 divide j?
False
Let g(v) = 3*v + 29. Suppose -2*f = -5*a - 67, -2*f + a + 47 = -0*a. Is g(f) a multiple of 14?
False
Suppose -4*f + 4*g - 12 = 0, 5*f + 2*g = -g - 39. Let q = f - -10. Suppose q*s = -0*s + 72. Is 9 a factor of s?
True
Suppose 5*a - 247 = h, -46*h + 45*h = 2*a - 96. Is a a multiple of 2?
False
Is 12 a factor of 32545/75 + (-3)/(-45)?
False
Let d be (-4)/(-6)*(-3 + (-630)/12). Let c = d - -52. Is c a multiple of 3?
True
Suppose 0 = -2*j + 5*d + 2872, -j = -23*d + 28*d - 1466. Does 49 divide j?
False
Let k(d) = 11*d**2 - 17*d + 144. Does 28 divide k(11)?
True
Let p(o) = -o**2 - 6*o + 11. Does 4 divide p(-7)?
True
Let y(o) = 4*o + 20. Let a = -42 - -46. Is 3 a factor of y(a)?
True
Let s(y) = 