. Let h = v + -10. Suppose 0 = h*k - 2*k - 4. Is k a multiple of 3?
False
Let z = -146 + 157. Suppose 0 = -2*o + z + 41. Is 13 a factor of o?
True
Let u = 17 + -16. Let g be u + 1 + 26 + 9. Let p = g - -6. Does 9 divide p?
False
Suppose -2912 = -12*c - 14*c. Is c a multiple of 6?
False
Suppose -y - 5*l + 349 = 0, 1517 = 3*y + l + 540. Does 18 divide y?
True
Let w(c) = 2*c**3 - 6*c**2 + c - 4. Let y be w(3). Does 26 divide (-1810)/(-35) + ((-6)/21)/y?
True
Is 35 a factor of (-26 - 24/(-8))*-5*9?
False
Suppose 0*n - n - 5*l = 8, 4 = -2*l. Suppose n*f = 3*b + f - 792, -f - 1055 = -4*b. Is 46 a factor of b?
False
Suppose 0*o = 2*o - 1130. Is o a multiple of 26?
False
Let g = 50 + 2108. Is g a multiple of 42?
False
Suppose 0*a + 5*u + 10 = -5*a, -2*u + 5 = 5*a. Suppose 22 - 130 = -a*v. Is v a multiple of 18?
True
Let j(b) be the third derivative of b**5/60 + b**4/8 - b**3/3 - 5*b**2. Let i be j(-4). Suppose 15 = -i*g + 69. Does 10 divide g?
False
Let o(g) = -2*g**2 - 43*g + 28. Let a be o(-20). Suppose 2*q - 224 - a = 0. Does 32 divide q?
False
Suppose -3*y + 35 = 6*w - w, -4*y - 7 = -w. Let s(b) = 9*b**2 - 7*b + 8. Let o be s(w). Does 8 divide (-4)/6 - o/(-24)?
True
Suppose 2*l = -10, 7*l - 9*l + 898 = 2*z. Suppose 5*w + z = 3*o, -6*w = -2*o - 5*w + 291. Is 22 a factor of o?
False
Let b = -18 - -22. Is 36 a factor of 30*((-8)/(-10) + b)?
True
Suppose 38 = 2*q + 30. Suppose -5*v - 20 = -2*y - q, -5*y + 2*v = -19. Is y a multiple of 3?
True
Let c(q) = q - 5. Suppose 0*d = 2*d + 48. Let y = -14 - d. Is c(y) even?
False
Let s(h) = 3*h + 8. Let g be s(-16). Is ((-8)/10)/(g/10300) a multiple of 40?
False
Let p(t) = t**3 - 40*t**2 + 98*t - 164. Is p(38) a multiple of 12?
True
Suppose 0*z - 30 = 2*z. Let k = z + 48. Is 3 a factor of k?
True
Let k(a) = -34*a**2 - a + 5. Let f be k(-4). Let n be (-2)/7 - f/35. Suppose -12*m - 123 = -n*m. Is 10 a factor of m?
False
Let m = -5228 + 7451. Is 39 a factor of m?
True
Let h(p) = -6*p**2 + 3*p + 8. Let k(x) = -5*x**2 + 4*x + 8. Let w(b) = 3*h(b) - 4*k(b). Does 31 divide w(-3)?
True
Is ((-12)/8)/((-3)/(-4)) + 301 a multiple of 13?
True
Suppose -4*n + 2*b + 20 = 0, -2*n - 4*b - 1 = 3*n. Let o = 82 - 80. Suppose 5*l - 4*q - 326 = -n*q, 74 = l + o*q. Does 33 divide l?
True
Let c be (0 - 3/4)*-4. Suppose 126 = 41*m + 22*m. Suppose 3*q - q - c*d = 17, m*q = -d + 13. Does 4 divide q?
False
Let b = 113 + -81. Let x = b + 0. Is 11 a factor of x?
False
Suppose 0 = -5*a - 1 + 206. Suppose a*y = 40*y + 36. Is y a multiple of 10?
False
Let g(a) = -40*a**2 + a. Let q be g(-1). Let c = q + 55. Is c a multiple of 5?
False
Does 28 divide ((-27)/12 + 3)*(20 + 1152)?
False
Suppose 10*a - 5*a + 165 = 0. Let t = 46 + a. Let l = 25 + t. Is 19 a factor of l?
True
Suppose 188146 + 44509 = 79*u. Is 95 a factor of u?
True
Let c = -460 - -487. Is c even?
False
Let u = -10 + 15. Let o(c) = 21*c - 9. Let d be o(u). Is 9 a factor of d/2 - (-9)/(-3)?
True
Let o(m) = m**2 - 27*m - 32. Let f be o(20). Let n = 285 + f. Does 23 divide n?
False
Let z(x) = -23*x**2 - 11*x - 9. Let u(a) = -8*a**2 - 4*a - 3. Let g(v) = 7*u(v) - 2*z(v). Let r be g(-2). Let y = r - -66. Is y a multiple of 21?
False
Let x(y) = y**2 - 5. Suppose -6 = i - 3*i - 3*v, -i + 3*v = 6. Let n be x(i). Is 23 a factor of 2/(-6)*69*n?
True
Suppose -4*l = -7*l - 36. Let a = 36 - 41. Let o = a - l. Is o a multiple of 3?
False
Suppose -2*w = 3*w. Suppose w = -x - 2*x + 159. Is x a multiple of 13?
False
Let x be 6/(-4)*(-3 - -1). Suppose -x*k - a + 86 = 0, 2*a - 56 = 5*k - 7*k. Is 11 a factor of k?
False
Let f(r) = -2*r**3 - 6*r**2 - r - 3. Let j be f(-3). Suppose -5*v + 60 = -4*h + 2*h, 2*v = -4*h. Suppose j = -4*t + 198 - v. Is t a multiple of 16?
False
Suppose -4*v = -3*i + 8972, -51*i - 3*v = -55*i + 11965. Is 24 a factor of i?
False
Suppose 3*v + 12 = 5*u + 39, 0 = 3*u - 5*v + 29. Let a(y) = 25*y**2 + 3*y + 4. Is a(u) a multiple of 17?
False
Suppose -3*x = -2*x + 2*b - 46, -b + 80 = 2*x. Is x even?
True
Suppose -3*b = -571 + 115. Suppose 0 = 4*o - b - 48. Suppose -50 = -5*y - 5*x, -2*x = -3*y - 0*x + o. Is 14 a factor of y?
True
Suppose -184 = -2*x + 632. Is 8 a factor of x?
True
Suppose 6*t = -5*a + 3*t + 798, 660 = 4*a - 3*t. Is a a multiple of 19?
False
Let y(x) = 3*x**2 + 6*x + 5. Suppose 0 = 3*d - 7*d - 16. Let a be -5 - ((-16)/(-4))/d. Is y(a) a multiple of 6?
False
Suppose -6*h - 1415 = -9*h - 2*n, 0 = 4*h - 3*n - 1864. Does 29 divide h?
False
Let c be (0 + 0)/(-7 + 6). Let y = c - -5. Let w = 14 - y. Is 8 a factor of w?
False
Let c(m) be the third derivative of m**6/40 - m**5/30 + m**4/6 - m**3/2 - 3*m**2. Let s be c(3). Suppose 7*y - s = 3*y. Is 12 a factor of y?
False
Let o be 3/21 - (-52)/28. Does 7 divide ((-14)/(-6))/(o/6)?
True
Suppose -5*c + 3*q = -495, -4*c = q + 3*q - 364. Suppose -3*k - 5*s - 144 = -6*k, c = 2*k - 5*s. Is 24 a factor of k?
True
Let u(k) = -k**3 + 3*k - 5. Let c = -9 - -5. Let i be u(c). Let l = 74 - i. Is 14 a factor of l?
False
Let t(f) = -7*f + 23. Let y be t(-3). Let u = y + 12. Does 7 divide u?
True
Let c(j) = 12*j**2 + 25*j + 9. Is c(-5) a multiple of 68?
False
Let w(o) = 54*o + 4. Let c be w(1). Let i = -43 + c. Does 3 divide i?
True
Let h(w) = -w**3 - 43*w**2 - 91*w - 33. Is h(-41) a multiple of 6?
True
Let r = -92 + 120. Suppose 2*b + 10 = r. Is b a multiple of 3?
True
Suppose 10 = 6*h - 2. Suppose 0 = h*o + 10 - 2, 191 = 5*w + o. Does 5 divide w?
False
Let o = 13 - 8. Suppose -9 = -3*s, -2*s + 11 = i - o. Is 5 a factor of i?
True
Suppose 0 = -x, 4*x + 107 = r + 2*x. Let n = -83 + r. Is 8 a factor of n?
True
Suppose -11 = 9*z - 29. Suppose 0*u - 34 = -z*u. Is u a multiple of 15?
False
Let f(w) = -w**3 + 34*w**2 - 33*w + 270. Is 60 a factor of f(30)?
True
Suppose -20 = -a - 0*a. Let b = 22 - a. Suppose -3*z = -t - 247, -b*t + t - 328 = -4*z. Does 27 divide z?
True
Suppose -2*z = -2*b - 3*b - 11, -3*b = 2*z - 3. Let s(h) = 26*h + 307. Let k be s(-12). Is 6 a factor of 30 + -1 - (k - b)?
False
Suppose -3*g - 699 = -5*z, 3*z - 24*g = -27*g + 405. Does 3 divide z?
True
Let b(r) = 49*r - 7. Let d be b(7). Suppose -d = 4*n - 7*n. Suppose -3*v + 5*c = -0*v - n, -2*v + c = -70. Is 7 a factor of v?
False
Let x = 375 - -201. Is x a multiple of 32?
True
Let b(o) = -o**3 + 11*o**2 + 15*o + 1. Let v be (14/35)/((-2)/(-60)). Let z be b(v). Suppose -8*a + z = -7*a. Is a a multiple of 22?
False
Let r(m) = 13*m + 4 + 4*m - 8*m. Is r(2) a multiple of 12?
False
Let f(o) = 15*o - 3. Let k be f(2). Let r be (-597)/(-5) + k/45. Suppose r = g + 9*g. Does 6 divide g?
True
Suppose -4*m - 4*l + 2 = -l, 0 = 2*m - 3*l - 10. Suppose 0 = -5*i + 4*p + 164, 0 = -0*i + m*i - 4*p - 68. Is i a multiple of 4?
True
Let c(a) = 10*a**3 - a**2 - 4*a + 16. Is 16 a factor of c(4)?
True
Suppose 3*m - 202 = 3*b + 4*m, -3*b = 5*m + 218. Let y = b + 76. Is 2 a factor of y?
True
Suppose -4*a = 4*n - 5*a + 23, -3*n - 1 = -4*a. Let z be 0/(-4) - (n - -2). Let b(l) = 6*l - 4. Is 9 a factor of b(z)?
False
Let c = -280 + 589. Is 25 a factor of c?
False
Is 14 + (4 - 1) - 6 a multiple of 11?
True
Let j be (-180)/(-22) - 22/121. Suppose j*u - 1352 = -224. Does 42 divide u?
False
Let p be (1/3)/(-4*4/96). Is 10/p*(3 - 4)*28 a multiple of 13?
False
Suppose 4*v - 442 = v - 5*d, 436 = 3*v + 2*d. Is v a multiple of 9?
True
Let h(o) = -o**2 + 22*o - 7. Let p be h(9). Is 22 a factor of p - (1 + -2) - -1?
False
Let b = 388 - 360. Is 28 a factor of b?
True
Let a(n) = -12*n**2 + 1. Let w be a(-1). Suppose -11*d = -14*d + 177. Let b = w + d. Is 16 a factor of b?
True
Suppose 41*g - 40*g - 215 = 0. Is g a multiple of 10?
False
Let q(j) = j**3 - 3*j**2 - 4*j + 4. Let d be q(4). Suppose -5*c = u + 188, -3*u - 23 = -d*c - 162. Let x = c - -67. Is x a multiple of 16?
False
Let m = 379 + -236. Suppose -3*g + 113 = 5*z, 3*g - z + 0*z - m = 0. Does 18 divide g?
False
Suppose 7840 = -334*u + 350*u. Is u a multiple of 5?
True
Let v be (3 + 17/(-5))*-5. Is 3 a factor of v/(5/(140/8))?
False
Suppose m - 417 = 3*v, 3*v - 147 = 4*v - 3*m. Let s = 211 + v. Does 11 divide s?
False
Suppose 2*q = 2*p - 58, 121 + 64 = 5*p + 5*q. Let z = p + 24. Is z a multiple of 22?
False
Suppose 3*q + 19 = -5*i + 70, 4*i + 3*q = 39. Suppose 3*w - i = 6*w. Is 10 a factor of (20/3)/(w/(-18))?
True
Let w = -19 + 21. Suppose w*h + 97 - 17 