7?
False
Let d = 1663 + -1428. Is d a multiple of 92?
False
Let v(q) = -70*q - 688. Is 11 a factor of v(-14)?
False
Let f(q) be the second derivative of -5*q**3/6 + q**2/2 + q. Suppose 4*m + 6*m = -160. Does 27 divide f(m)?
True
Suppose 4*a = -3*i + 2769, 4*i - 5*a - 1860 = 1832. Is i a multiple of 5?
False
Suppose 4*i - 2 + 14 = 0, -2*v + i + 623 = 0. Is v a multiple of 39?
False
Suppose -r + 4*n + 500 = 0, 0 = -5*r + 3*n + 1230 + 1287. Is r a multiple of 28?
True
Suppose 2*v + 3*y = -0*v + 26, 0 = 5*v + 5*y - 65. Suppose 0 = d + v*d - 1918. Is d a multiple of 16?
False
Suppose -2*d + 4*l + 1144 = 2*d, -l = 5. Let p = d - 98. Is 21 a factor of p?
False
Let s(t) = -t + 12. Let p be s(10). Suppose n = p*n - 3. Suppose 5*m - n*m - 2*q - 70 = 0, -m + 2*q + 34 = 0. Does 6 divide m?
True
Let m be (-9)/18 - (-155)/2. Let r be (-11)/m - (-659)/7. Suppose r = -2*t + 3*t. Does 28 divide t?
False
Let z(n) be the first derivative of -n**4/4 + 3*n**3 + n**2/2 + 11*n - 63. Suppose 7*b - 3*b - 33 = v, 3*b - 5*v - 12 = 0. Does 5 divide z(b)?
True
Suppose -2*u - 3*u = -20. Is (-2)/(-2*u/372) a multiple of 16?
False
Suppose 250 = 3*w + 2*u, 4*w = -3*u + 161 + 174. Is w a multiple of 4?
True
Is 11 a factor of (11 - 0)/((-98)/(-3430))?
True
Let d = -87 + 161. Is d even?
True
Let i(k) = 5*k**3 + k**2 + 5*k + 3. Let z = 8 - 11. Let v be i(z). Let j = v - -218. Is 13 a factor of j?
False
Suppose 8*o = 3*i + 4*o - 1836, -3060 = -5*i + 4*o. Does 34 divide i?
True
Suppose 2*o - t + 215 = 4*t, -170 = 2*o + 4*t. Is 0/(1 - 3) - o a multiple of 31?
False
Let h = 31 - 31. Suppose h = 24*v - 19*v - 570. Is v a multiple of 11?
False
Let m(l) = -l**3 - 2*l**2 - 4*l - 3. Let x be m(-1). Suppose 3*g - 5*n - 180 = g, 5*n - 10 = x. Is 19 a factor of g?
True
Suppose -4 = -3*m + 2. Suppose 0 = -2*d - d + 5*b - 5, 0 = 3*d - m*b + 2. Is 10 a factor of 2*(6 + d + -1)?
True
Let z(q) = 5*q + 46. Is z(12) a multiple of 4?
False
Let w = 98 + -65. Suppose w*n - 31*n - 128 = 0. Is n a multiple of 16?
True
Let p(u) = 5*u**3 + 5*u**2 - 3*u - 30. Let d(z) = -3*z**3 - 3*z**2 + 2*z + 20. Let q(n) = 8*d(n) + 5*p(n). Is q(5) a multiple of 12?
False
Suppose 3*q + 63 = 4*q. Suppose 4*j = 133 + q. Let t = j + -9. Is 8 a factor of t?
True
Suppose 2*n = d, 4*n - 3*n = -2*d - 15. Let a be (10/d)/(10/30). Is (4 - 116/20)*a a multiple of 3?
True
Let k(p) = p**3 - p**2 - 11. Let d be k(0). Let r = 63 - 40. Let w = r - d. Does 11 divide w?
False
Let d(l) = -76*l - 14. Let n be d(-4). Suppose -6*a + n = -382. Is 25 a factor of a?
False
Let g(a) = -361*a**3 + a**2 + 2*a. Is g(-1) a multiple of 9?
True
Let w be ((-16)/(-6))/((-10)/(-15)). Suppose 351 = w*q - q. Is q a multiple of 8?
False
Suppose 2*x = -4*y + 1524, 5*y + 5*x - 1896 = 7*x. Is y a multiple of 19?
True
Let u = -41 - -44. Is 1 + (-4)/(-2) + 44*u a multiple of 36?
False
Let p = -7 + 11. Suppose -p*j + 6*r = r - 52, -3*j - 5*r = -4. Let y(g) = 4*g. Is 8 a factor of y(j)?
True
Let b be ((-12)/(-9))/((-1)/(-3)). Suppose -23 = 3*u - 4*u + 4*z, 3*u + b*z = -11. Suppose 0*y - 23 = -2*y - u*k, 3*k + 25 = y. Is y a multiple of 5?
False
Suppose -2*h + 27 = -1. Let v = h + 15. Is v a multiple of 9?
False
Let s(m) = 54*m - 182. Is 50 a factor of s(8)?
True
Let q be 6/39 - 6993/(-91). Suppose 0 = 2*p + t - 49, 5*p - t = -0*p + 112. Suppose x = q - p. Is x a multiple of 24?
False
Let p(l) = -l**3 + l**2 + 22*l - 5. Suppose -s - 7 = -1. Is p(s) a multiple of 12?
False
Let n(m) = 4*m**2 - 7*m - 4. Let v be n(-6). Suppose 0 = -31*r + 51*r - 2500. Let l = v - r. Is l a multiple of 19?
True
Suppose -26 = -4*u + 34. Suppose 3*h - 4*m = -22, -3*m + 0*m - u = 3*h. Let j(p) = p**2 + p + 8. Is j(h) a multiple of 19?
True
Let q = -36 - -38. Suppose -j - 4*j = -5*o - 250, -q*o + 250 = 5*j. Is j a multiple of 14?
False
Suppose -5*t + 7*t = -28. Is 11 a factor of t*(-34)/4 - 1?
False
Suppose -1768 = -4*c - 2*q, 2*c - 5*q - 775 = 133. Does 12 divide c?
True
Suppose -3*t + 2*d + 1150 = 0, t - 355 = -0*t - 5*d. Does 28 divide t?
False
Let i be -3*(-1 - (-2)/6). Suppose i*h = 60 - 28. Suppose 2*r - h = -2*r. Does 2 divide r?
True
Suppose -4*a + 3*f - 4 - 11 = 0, 0 = -2*a + 5*f - 11. Let k = a + 7. Suppose 0 = -o + 28 - k. Does 24 divide o?
True
Is 2566 + 1/((-8 - -14)/6) a multiple of 14?
False
Suppose 3*x - 59 = -41. Is x a multiple of 6?
True
Suppose 3*a + 87 = 4*d + 604, -2*d = -4*a + 706. Suppose 4*u - 235 = -3*t + 8*t, 3*u - t = a. Is 15 a factor of u?
True
Suppose -59*g + 71*g - 1536 = 0. Is g a multiple of 4?
True
Suppose 5*a - a = -464. Let f be (344/(-10))/((-2)/10). Let t = f + a. Is 20 a factor of t?
False
Let l(g) = g**3 + 8*g**2 - 8*g - 4. Suppose 20 + 4 = -3*q. Is 15 a factor of l(q)?
True
Let h be 1 - (-1 + (1 - 1)). Let u = h - -4. Is u/24 - 414/(-8) a multiple of 13?
True
Let t = -580 + 1093. Is 19 a factor of t?
True
Suppose 8*w - 4*w - 656 = 0. Is w a multiple of 4?
True
Let u(q) = 21*q - 6. Suppose 9 = 5*g - 11. Does 13 divide u(g)?
True
Let v = -94 + 184. Suppose -2*f + v = f. Suppose -5*q + 30 = 2*l, -2*q + f = 2*l - 0*q. Is l a multiple of 8?
False
Suppose -4*w = v - 561, -9*w = -2*v - 7*w + 1162. Does 7 divide v?
False
Let l be 6*(5/(-3) - -2). Suppose -l*q + 48 = q. Does 8 divide q?
True
Suppose -2*y - 5*g + 9*g = -2088, 4152 = 4*y + 4*g. Is y a multiple of 40?
True
Let b(m) = -8*m + 98. Does 23 divide b(-50)?
False
Let h(m) = -14*m + 9. Let v(y) = 86*y - 51. Let t(o) = 43*o - 26. Let n(i) = -5*t(i) + 2*v(i). Let f(g) = -7*h(g) + 2*n(g). Is 17 a factor of f(3)?
False
Suppose -4*s + 215 = -13. Let f = s + -124. Let o = f + 96. Does 12 divide o?
False
Suppose -5*n = -s + 56, -5*n + 2*s = -14 + 66. Is (n/(-10))/((-4)/(-190)) a multiple of 20?
False
Let w = 15 - 15. Suppose w*z = -z + 1. Is 1/(-1)*(-22 - z) a multiple of 8?
False
Suppose -2*n + 141 = 5*h, 3*h + 6*n - 3*n - 90 = 0. Suppose 0 = -o + 3*u + h + 36, 5*u = -25. Is 16 a factor of o?
True
Let x = -111 - -166. Let l = x - 85. Let t = -18 - l. Is 5 a factor of t?
False
Let w = -230 + 272. Does 42 divide w?
True
Let w = 81 + 389. Is 10 a factor of w?
True
Let f(a) = 8*a + 10. Suppose 5*d = -0*p + 4*p + 14, 3*d + 4*p = 2. Is 3 a factor of f(d)?
False
Let z(y) = -y**2 + 31*y - 15. Let u be z(31). Is 8 a factor of ((-80)/u - 4)*41*3?
False
Let i be 100/(-15)*12/(-10). Suppose -3*w - 3*d = -w - 38, -120 = -5*w + 5*d. Let r = w + i. Is r a multiple of 13?
False
Suppose -3*b + b - 3*m + 26 = 0, 54 = 3*b - 3*m. Let h(d) = -3*d. Let w be h(1). Let p = w + b. Does 12 divide p?
False
Let o = 592 - 389. Does 44 divide o?
False
Suppose -i + 3158 = 2*n, -4*i = -5*n - 5*i + 7898. Suppose -8*b + 956 + n = 0. Is 44 a factor of b?
False
Let g be 54/(-72)*(-3 + -1). Suppose -c + r = -4*r - 45, 4*c = -g*r + 180. Does 11 divide c?
False
Let t = 2794 - 2104. Is 30 a factor of t?
True
Let g be (-1)/(-1 - 26/(-27)). Suppose 0 = -3*n + 4*q + 77 + 13, 5*n + 3*q - 150 = 0. Let y = n + g. Does 19 divide y?
True
Suppose q = -0*q - 5*f + 95, -2*f = 0. Is q even?
False
Let o = 21 - 18. Suppose d + o*d = -24. Let v = d - -26. Is v a multiple of 10?
True
Suppose -1956 = -16*n + 2124. Does 51 divide n?
True
Let f(v) = -4*v + 4. Suppose j + 0*j = 2*y, 4*y = -4*j + 12. Suppose -5*o = -j*o + 15. Is f(o) a multiple of 11?
False
Let b = 497 + -343. Does 11 divide b?
True
Let f(q) be the first derivative of q**4/4 - 10*q**3/3 - 6*q**2 + 24*q + 8. Is f(11) a multiple of 10?
False
Suppose 8*s - 150 = 3*s. Suppose -15 = -3*l, -5*w + 0*l + s = 3*l. Does 16 divide w + (0 + -1)*-13?
True
Suppose 6*d - 3*d - 12 = 0. Is 16 + 2/(6 - d) a multiple of 4?
False
Let d = 1763 + -399. Does 50 divide d?
False
Let z = 14 + -11. Let a be -5 + z + (-99)/1. Let l = -45 - a. Is l a multiple of 14?
True
Suppose -3*a + 3*q = -432, -4*a + 3*q + 58 = -522. Is 7 a factor of a?
False
Suppose -287*z + 267*z + 23120 = 0. Is z a multiple of 68?
True
Suppose 3*h + 16 = 5*l, -5*h = -4*h + 2*l - 13. Does 2 divide h + ((-3)/3 - -1)?
False
Suppose -y - 5*m = -24, 2*y + y = -4*m + 28. Suppose -y*n + n - 45 = -c, 2*n = -4*c + 208. Does 17 divide c?
True
Suppose 0 = -5*h - 4*n + 691, 3*h - 238 - 171 = -n. Is h a multiple of 27?
True
Let k = -4 - -2. Let l = -88 - -99. Let i = l + k. Is i even?
False
Suppose 0 = -5*m + 388 - 153. Let v = m - 33. Does 5 divide v?
False
Suppo