s. Suppose k - 3*v = s - 0, -v = -2*k + 28. Is k a multiple of 15?
True
Suppose 0*d - 4*j = 5*d - 35, -2*j + 4 = -2*d. Suppose 3*q - 124 = -2*b, -5*b + 236 = -b + d*q. Is b a multiple of 4?
True
Let g = 118 + 8. Is g a multiple of 7?
True
Suppose 3*f - 889 = -3*z - 7, 0 = z - 3. Is f a multiple of 93?
False
Suppose 2*v = v + 83. Suppose -205 = 2*l + 3*l. Let h = l + v. Does 14 divide h?
True
Suppose i = 3*i + 6. Let l(z) = -6*z - 8. Is l(i) a multiple of 10?
True
Let f = 71 + -5. Let p = 90 + f. Does 39 divide p?
True
Suppose 0 = -4*r + 185 + 167. Does 11 divide r?
True
Let y = -12 - 72. Let l = 142 + y. Is 6 a factor of l?
False
Let g be (-2)/(-6) + 935/(-51). Let x = g + 36. Is x even?
True
Let b = 36 - 32. Suppose -92 = -4*n + k - b*k, 3*k = 12. Is 4 a factor of n?
True
Suppose -2*r = 34 + 26. Let a = r - -40. Is 10 a factor of a?
True
Let m = 2728 - -203. Does 30 divide m?
False
Let c(x) = -x**3 + 11*x**2 - 7*x + 12. Suppose 1 - 3 = 2*b + 2*a, 0 = 5*b - a - 19. Suppose 0 = -4*u + b*u + 10. Does 14 divide c(u)?
True
Let k be (0 + -2)/1*-5. Let u(f) = 4*f + 17. Let m be u(-3). Let r = k - m. Does 4 divide r?
False
Suppose 0 = -2*q + 4*z + 116, 0*z = 3*q - 5*z - 177. Let m = -35 + q. Does 9 divide m?
False
Suppose 0 = -61*v + 67*v - 1200. Suppose -9*f = -7*f - v. Is f a multiple of 11?
False
Suppose 5*w = -3*f + 3603, 2*w = -f + 3*f + 1438. Does 20 divide w?
True
Let j be ((-28)/(-4) - 1) + 3 + -2. Suppose -j*u = -3*m - 3*u + 97, 0 = -4*m - 5*u + 181. Does 13 divide m?
True
Suppose -2*w + 5*w = 48. Suppose w = -3*n - n. Is n/6*(-32 - 7) a multiple of 25?
False
Let n be (-1 - 0)/(-1)*1. Suppose -4*l - n = 7. Let p(r) = -3*r**3 - 3*r**2 - r + 1. Does 5 divide p(l)?
True
Let b = 639 - 276. Does 33 divide b?
True
Is (24/(-40))/(3 - 1623/540) a multiple of 54?
True
Let c be 5/25 - 28/(-10). Let i(a) = a**3 - 2*a**2 - a - 3. Let l be i(c). Suppose -l*n = 2*v - 68, 4*v - 144 = -4*n - 0*n. Is v a multiple of 11?
False
Suppose -4*b + 15419 = -3*k - 2*k, 11563 = 3*b - 4*k. Is b a multiple of 16?
False
Let r(n) = -3*n**2 - 1. Let s be r(1). Let m be (10/s)/(4/(-8)). Suppose -m*c + 159 = 4*z - 4*c, -3*c - 108 = -3*z. Is z a multiple of 13?
True
Suppose 3 = -0*h - 2*h + s, -4*s - 10 = 3*h. Let f = h + 7. Suppose 4*m + 0 = f*j - 4, -5*j = -3*m - 8. Is 2 a factor of j?
True
Let w = -11 - -14. Suppose w*s + 203 = 59. Is (s/(-20))/((-2)/(-10)) a multiple of 6?
True
Let r(l) = 2*l**3 - 3*l**2 + 2*l - 3. Let k be r(2). Suppose -3*x = k*j - 76, 5*j = x + x - 84. Does 16 divide x?
True
Suppose -123 = 6*x - 3*x. Let j(z) = -66*z - 1. Let l be j(-1). Let y = x + l. Does 12 divide y?
True
Suppose 50 = -5*o - f + 6*f, 0 = -5*o + 3*f - 40. Does 14 divide o/(10/(-168))*(30 + -29)?
True
Let b(w) = -51*w**2 - w + 369. Is 14 a factor of b(0)?
False
Let u be (-1 - 12/(-8))*-12. Is (268/u)/((-10)/15) a multiple of 38?
False
Suppose -5*u = -4*u - 83. Suppose -u = -c + 29. Is c a multiple of 7?
True
Suppose -4*p + 8*p = 24. Suppose p*w = 4*w + 192. Suppose 0 = 3*q - 5*s - 75, -w = 2*q - 5*q - 2*s. Does 10 divide q?
True
Let g(c) = -4*c + 45. Let k be g(0). Does 16 divide ((-1)/2 - (-28)/8) + k?
True
Let f = 232 + -227. Is f even?
False
Let p = 420 + -128. Does 5 divide p?
False
Suppose 5*k + 2*h - 345 = 0, -4*k - 4*h + 138 = -2*k. Suppose -44 = 5*z - k. Suppose -3*m = -z*n + 78, -m - 2 = -2*n + 30. Does 3 divide n?
True
Suppose 14*n - 11*n - 42 = 0. Suppose -12*h = -n*h + 94. Is h a multiple of 6?
False
Let m(x) = -2*x + 19. Let b be m(8). Suppose b*j - 320 = -j. Is j a multiple of 20?
True
Let z(s) = 2*s**3 - 5*s**2 - 6*s - 5. Let q be z(-3). Let x = q + 90. Does 4 divide x?
True
Let a = 8 - 6. Suppose 3*g + 2 = j, j + 3*g = g + a. Let s = 5 + j. Is 4 a factor of s?
False
Let d(z) be the second derivative of z**7/210 - z**5/120 + z**4/12 - z**3/6 - 5*z. Let i(x) be the second derivative of d(x). Is i(2) a multiple of 8?
True
Let q(t) = 6*t**2 + 2*t + 3. Let r(v) = 2*v**2 + 2*v - 1. Let k be r(1). Suppose -5*u + 10*u = k*f - 12, -u = -f + 2. Is 12 a factor of q(u)?
False
Suppose 0 = a - 3, -3*s + 119 + 1282 = 2*a. Suppose -2*f + s = 3*f. Does 31 divide f?
True
Suppose -g + 4*s + 1309 = 0, 0*g - 5*g + 2*s = -6509. Is 122 a factor of g?
False
Suppose 0 = 2*c + l - 7 - 0, 0 = c - l - 11. Let r = 9 - c. Suppose -3 = -3*t, -2*o - r*t + 42 = -77. Does 25 divide o?
False
Let d(v) = 0*v + v**3 - 8 + 9 - 5*v**2 - 2*v. Is 6 a factor of d(6)?
False
Suppose -3*g - z + 2*z + 602 = 0, 5*g = -z + 998. Suppose 3*x = -x + g. Is x a multiple of 12?
False
Suppose 3*d - 40 = d. Suppose 9*y - d = 4*y. Suppose 0 = -4*a - 2*v + 78, y*a + a + 4*v - 102 = 0. Is a a multiple of 9?
True
Let n(a) = -a**3 + 4*a**2 + 5*a + 5. Let b be n(5). Let l(s) = -s + s - 6*s - s + b. Is 10 a factor of l(-6)?
False
Let o be (-2)/(-4) - 3702/(-12). Suppose 2*t - o = l - 0*l, -471 = -3*t + 3*l. Is t a multiple of 19?
True
Let f(p) = -346*p + 125. Is f(-5) a multiple of 29?
False
Let k be -21*(2/(-6))/1. Let v be 2/7 - (-33)/k. Suppose -v*f + 96 = -14. Is 12 a factor of f?
False
Let x = 40 + 60. Suppose 95 = 2*a + 3*a. Suppose -a*y + 14*y = -x. Is y a multiple of 3?
False
Let t(k) = 7*k**2 + 2*k - 2. Let u be t(2). Suppose 5*x = -2*s + 113, -x - s - 8 = -u. Suppose 0*n - 2*n - q + x = 0, 50 = 5*n + 4*q. Is n a multiple of 5?
False
Let b(q) be the third derivative of q**4/24 + 7*q**3/6 + 2*q**2. Let y be b(-5). Suppose w = -4*w - y*a + 124, 3*a = 6. Does 8 divide w?
True
Suppose -5*l - 5*w + 706 + 599 = 0, 0 = -4*l - 3*w + 1041. Suppose 19*a = 25*a - l. Is 10 a factor of a?
False
Suppose -s + 4*s - 42 = 0. Let h = s - 14. Suppose -3*z + 3 + 63 = h. Does 17 divide z?
False
Is 9 a factor of (34/10 - 4)*-415?
False
Let t be 9/2*4/6. Does 15 divide (-29 - 9/t)*-2?
False
Suppose -154*x + 166 = -152*x. Does 3 divide x?
False
Let h(f) = -5*f - 45. Let q be h(16). Let x = q + 236. Is x a multiple of 26?
False
Let g(p) = 3*p**2 + 19*p + 122. Is 37 a factor of g(-14)?
True
Suppose 5*k + 2*n - 3292 = -0*n, 4*n + 3286 = 5*k. Is 94 a factor of k?
True
Let u(n) = -n**2 + 14*n - 15. Let z be u(13). Let p = z - -8. Is p a multiple of 3?
True
Let d = 7 - 19. Let x = d - -28. Suppose -9 = -l + x. Is 5 a factor of l?
True
Suppose -5*x = -3*h - 3380, -2*h + 4*h - 676 = -x. Does 52 divide x?
True
Let i be (9/9)/(1/(-1 + 0)). Is (-12)/(2 + i)*2/(-4) a multiple of 5?
False
Is (-36 + -505)/(-1 + 0) a multiple of 49?
False
Let i be 2/(-3) + 12/18. Let c(x) be the third derivative of x**4/24 + 22*x**3/3 - 9*x**2. Is c(i) a multiple of 28?
False
Let g(w) = w**2 + 17*w - 65. Let f be g(9). Suppose -97 = 3*h + 215. Let q = f + h. Does 18 divide q?
False
Suppose 51*x + 1088 = 55*x. Is x a multiple of 16?
True
Let f be -1 - (1 - 3 - 2). Suppose 0 = -5*i, 3*g - f*i = 36 + 147. Does 13 divide 0/1 + g - 3?
False
Suppose n + 25 = -5*v - 46, n - 64 = 4*v. Let g(c) = -5*c + 57. Let k be g(16). Let m = v - k. Does 8 divide m?
True
Suppose 0 = -20*a + 19*a + 34. Suppose 14 + a = 3*k. Is 4 a factor of k?
True
Let w = 62 - -237. Is 23 a factor of w?
True
Let o = -304 - -388. Is o a multiple of 4?
True
Let c = 1483 - 859. Does 24 divide c?
True
Is (-1)/((-342)/(-692) + (-4)/8) a multiple of 65?
False
Suppose 0 = -x + 1 - 12. Let r(a) = -a**3 - 9*a**2 + 17*a + 9. Is r(x) a multiple of 8?
True
Suppose -5*u - 4*t + 5477 = -2650, -5*t + 1638 = u. Is u a multiple of 52?
False
Let s(y) = y**2 + y. Let f(u) = -u**3 + 8*u**2 + 3*u + 2. Let h(v) = -f(v) + 4*s(v). Does 14 divide h(5)?
True
Suppose -2380 - 2372 = -9*b. Does 48 divide b?
True
Let i = 16 + -20. Does 58 divide i/7 - (-6 - 14526/63)?
False
Let x(d) be the first derivative of 4 + 6*d - 9/2*d**2. Is x(-5) a multiple of 17?
True
Let q(s) = -3*s - 3. Let w be q(-3). Suppose 2*k - 4*l - w = 0, 2 + 0 = 2*l. Suppose -2*v + k*v - 9 = 0. Is 3 a factor of v?
True
Let j(i) = 574*i**3 + 10*i - 9. Is j(1) a multiple of 25?
True
Suppose -5*h - 9 = -b, -b + 2*b - 3*h - 7 = 0. Suppose -220 = -b*u - 0*u. Suppose -6*i - 1 = -u. Is 3 a factor of i?
True
Let d(j) = 5*j - 2. Let h(v) = -6*v + 1. Let w(i) = -5*d(i) - 4*h(i). Let t be w(7). Does 21 divide 42/(1 - (t + 1))?
True
Let k(w) = 4*w**2 + 73*w + 172. Does 44 divide k(-36)?
True
Let r = 3 - 6. Does 8 divide (4/(-10))/(r/180)?
True
Let o = -551 - -623. Is o a multiple of