 multiple of 4?
False
Suppose 98*n - 39283 = 19027. Is n a multiple of 9?
False
Let q = 3287 + -1191. Does 30 divide q?
False
Let z(t) = -t**2 - 8*t - 5. Let v be z(-7). Let n(w) = -7*w**3 + 3*w**2 + w - 3. Let d be n(v). Is 51 a factor of d/(-5)*1/(-6)*-212?
False
Let b = 33485 + -27028. Is 11 a factor of b?
True
Suppose 3*g + 499 + 788 = 0. Let l = g - -751. Does 14 divide l?
True
Let g be 8 + -7 - (-172)/((-4)/2). Let l = -63 - g. Is 8 a factor of l?
False
Suppose -3*m - l - 2 = -25, -2*l = -4*m + 14. Let d(v) = -v**2 + 109*v - 700. Let x be d(7). Let y = x + m. Is y a multiple of 20?
True
Is (-8)/((-1754)/(-10668) + 2/(-12)) a multiple of 34?
False
Does 11 divide -20 + 1960 - (-8 - 2)?
False
Let g = 662 + -657. Suppose -48 = -4*q - 0*v - 4*v, -4*v - 15 = -3*q. Suppose 444 = -g*z + q*z. Is z a multiple of 28?
False
Let b = -61 + 65. Suppose 4*j + 0*j - 152 = b*p, -4*j + 140 = -p. Is 34 a factor of j?
True
Let i(u) = -35*u**2 - u. Let p = -33 + 36. Let z(x) = 70*x**2 + 2*x. Let a(h) = p*z(h) + 5*i(h). Is 24 a factor of a(2)?
False
Let z = -2578 + 8636. Is 12 a factor of z?
False
Let v = 24 - -1. Suppose 0 = 4*u - 4*w - 12, -5*u - w + v = 4*w. Does 4 divide u?
True
Let k be (-23)/(-4) - (-27)/(-36). Suppose 0 = -2*l + k*l - 2*n - 528, -4*l + n = -704. Does 11 divide l?
True
Let j(p) = -p**2 - 158*p + 1004. Is j(-70) a multiple of 199?
True
Let k be (2/(-6))/(1/(-6)). Let v be (-2)/4 - (-41)/k. Does 17 divide 40/6*255/v?
True
Suppose -25*v = -16*v - 54. Let p = -16 - -8. Does 10 divide p/v + (-7544)/(-69)?
False
Let c(q) = -10*q**2 - 16*q + 74. Let u(w) = 2*w**2 + 3*w - 15. Let x(p) = 2*c(p) + 11*u(p). Let s(d) = -3*d + 16. Let b be s(3). Is x(b) a multiple of 23?
False
Suppose 5*m = -r - 2515, -r + 2196 = -4*m + 184. Let t be (2*m/(-2))/(1/1). Let g = t - 246. Does 14 divide g?
False
Suppose 22*q - 3101 = 7767. Does 10 divide ((-22)/44)/((-1)/q)?
False
Let t = -53 - -56. Suppose z - 27 = -m, 5*z - m = -t*m + 120. Let s = 103 - z. Is s a multiple of 8?
False
Does 18 divide (-432)/((-36)/(-6))*(1 + (-2778)/8)?
True
Suppose 3*v - o + 45743 = 0, o + 76261 = -5*v - 3*o. Does 20 divide v/(-91) - (-1 - 11/(-7))?
False
Let f(t) = 2*t**2 + 30*t + 15. Let l be f(-14). Does 75 divide 1117 + (-32)/(9 + l)?
True
Let l(i) = i**3 - i - 1. Let d(m) = -3*m**3 - 9*m**2 + 3*m + 1. Let p(k) = d(k) + 2*l(k). Does 19 divide p(-10)?
False
Let d = -16 + 34. Suppose 0 = -4*i - 3*x + 2, -3 = -3*i - x + 1. Suppose 0 = i*n - 120 + d. Does 10 divide n?
False
Let z(k) = 3*k + 4. Let x be z(6). Let s = 3560 + -3557. Suppose 0*b + 2*b - a = x, -5*a + 20 = s*b. Is b a multiple of 10?
True
Let p = 63 - 203. Let l = 187 + p. Is 44 a factor of l?
False
Suppose -4*o + 5*w - 4522 = -19399, -o + 3*w = -3714. Is 44 a factor of o?
False
Suppose -306*x + 1035 = -303*x. Suppose 3*s - 1392 = -x. Is 14 a factor of s?
False
Let i = 4217 + 19274. Is i a multiple of 13?
True
Suppose 143*a - 134*a - 288 = 0. Is 4 a factor of ((-396)/48)/((-3)/a)?
True
Let h be -6*(-276)/1 - (1 - 0). Suppose -3*v + 2023 = -n + 378, 0 = -3*v - n + h. Is v a multiple of 22?
True
Let q(u) = 6*u**3 - 4*u**2 + 7*u + 2. Let n be 32/24*(-2 - 21/(-6)). Is q(n) a multiple of 10?
False
Suppose 70*k = 56*k + 462. Let f(x) = 18*x - 228. Is 44 a factor of f(k)?
False
Suppose -2*i = 0, -k + 8*i - 12*i + 2202 = 0. Suppose -3*q - k = -4*v, -3*q = 2*v - 5*v + 1653. Is v a multiple of 61?
True
Suppose 2*b - 5*w - 8 = -2*w, -3*b + 2 = -2*w. Is (-5785)/(-15) + 2 - b/(-3) a multiple of 22?
False
Suppose -3*c + 17*c = 140. Suppose -35*i + c*i = -10475. Is i a multiple of 13?
False
Let a(s) = s**3 + 6*s**2 + 10*s + 16. Let y be a(-4). Suppose 0 = y*o - 1212 - 1060. Does 17 divide o?
False
Is -1 - (-15912)/12 - 5 a multiple of 8?
True
Let h(g) be the second derivative of -85*g**3/6 - 115*g**2/2 + 21*g. Is h(-7) a multiple of 40?
True
Let k be (85 + 2)*(-1 - 0). Let s be ((-174)/(-3) + 4)*((-4)/8 + 0). Let y = s - k. Is 4 a factor of y?
True
Let y = 7495 - 4315. Is y a multiple of 53?
True
Let l(d) = d + 9. Let v be (1/(-1))/((-9)/(-45)). Let o be l(v). Suppose n = -o*h + 131 - 24, -53 = -h + 5*n. Does 6 divide h?
False
Suppose -55*r + 83665 + 312335 = 5*r. Is r a multiple of 12?
True
Let g(x) = -6*x**3 + 202*x**2 - 57*x - 64. Is g(32) a multiple of 48?
True
Let r(k) = 2*k**3 - 8*k**2 - 12*k + 10. Let m be r(5). Suppose 4*s + 2*z = 10, -3*s - 5 = 2*z - 3*z. Suppose m = -s*v + 4*v - 176. Is v a multiple of 4?
True
Let o be (-312)/(-4) + (4 - 5). Suppose 0 = -6*k - 139 - o. Let l = k + 53. Is 17 a factor of l?
True
Let s(g) = 10*g**2 - 2*g + 10. Suppose -24*y = -33*y - 54. Does 12 divide s(y)?
False
Suppose 5*d - z = 18 + 2, 2*z + 20 = 5*d. Suppose -2*f - 25 = -5*l, 5*l - d*f + 3*f - 30 = 0. Does 2 divide l?
False
Does 92 divide (-480)/(-100)*(11 + 334)?
True
Let o = 0 - -7. Let x(b) = 2 + 2 + 2*b + 2*b - o*b. Is x(-9) a multiple of 16?
False
Let q(z) be the second derivative of 25*z**3/2 + 4*z**2 - 2*z + 2. Is 17 a factor of q(1)?
False
Let a = 15534 + 2195. Does 72 divide a?
False
Suppose -19 = -3*p + p + 5*q, 15 = -5*q. Let j(l) = -20*l**3 - l**2 + 2. Let v be j(p). Let z = -115 - v. Does 5 divide z?
False
Suppose 415 = 2*x - y, -4*x - 3*y - 148 = -983. Suppose 3*n - 1166 - x = 0. Is n a multiple of 28?
False
Let p(v) = 3*v - 30. Suppose -4*s + 16 + 0 = 0, 0 = 2*z - s - 66. Does 25 divide p(z)?
True
Let q(p) = p. Let l be q(3). Suppose 0 = -o + h - 1, l*o - 8*o = 3*h - 35. Suppose 24 = 4*f + s, -6*f = -f - o*s - 51. Does 2 divide f?
False
Suppose 103*w - 106*w + 16834 = r, -5*w - r + 28056 = 0. Does 31 divide w?
True
Let j(q) = 244*q**2 - 73*q - 1551. Is j(-16) a multiple of 40?
False
Let u = 17749 + -8564. Is u a multiple of 51?
False
Let f = -2356 + 3304. Does 12 divide f?
True
Let d = -45 - -48. Suppose d*q - 16 = q. Suppose 29 = q*r - 27. Is r a multiple of 5?
False
Let a = 34399 + -21006. Does 59 divide a?
True
Suppose -5*q = -2*t - 9, 4*q + q + 5 = 0. Let p(r) = r**2 + 8*r + 1. Let w be p(t). Is 7 a factor of (-860)/(-6) - 4 - 4/w?
True
Suppose -13*b = b + 126. Let j(y) = 8*y. Let z(v) = 15*v. Let x(w) = b*j(w) + 5*z(w). Is 51 a factor of x(28)?
False
Suppose 5*z - 213 + 38 = 0. Let m be 14/z*(251 + -1). Suppose -2*a - 12 = 2*a, 4*a - m = -4*p. Is p a multiple of 4?
True
Let y = -60 - 14. Let s be y/(3 + 130/(-44)). Is 34 a factor of 3*(-2)/(-24) + s/(-16)?
True
Let l = 951 + -948. Is 5 a factor of (2/l - 0)*(49 - -713)?
False
Suppose -21*k + 45 = -26*k. Let o be 5 - (-9)/(k/4). Suppose r = 10 + o. Does 11 divide r?
True
Suppose -2*v = v - k - 32, -3*v - k = -22. Suppose v*b - 4 = 23. Suppose 2*l - 4*l + 444 = -b*y, -696 = -3*l - 3*y. Is 19 a factor of l?
True
Let w = 1606 + -9. Is 9 a factor of w?
False
Suppose -129 = -13*w + 12*w. Is (43*2)/(43/w) a multiple of 29?
False
Let f(b) = 2441*b + 1290. Is f(17) a multiple of 46?
False
Suppose 5*l - 45 = -g, -4*g + 7 = 27. Let w(r) = -2 - l - 94*r + 70*r. Does 17 divide w(-9)?
True
Let a be 8/60 + (-266)/(-30). Suppose 0*o = 3*o + a, -2*i - 2*o - 30 = 0. Does 2 divide ((-30)/i)/(2/4)?
False
Let s = -264 - -999. Is 35 a factor of s?
True
Suppose 190 = -19*k + 38*k. Suppose -4*n = -0*n + 24. Let g = k + n. Does 4 divide g?
True
Let q be (-18)/(2 - 3)*5. Suppose -3*v + q = -105. Let o = v - -1. Is 33 a factor of o?
True
Let s = 545 - 373. Let j = s + -112. Is 9 a factor of j?
False
Let l = -272 - -260. Is 72 a factor of l/(-9)*(-2916)/(-9)?
True
Let d(a) = 170 - 76 + 28 + 99 - a + 165. Is d(6) a multiple of 27?
False
Suppose 0 = -g + 4*x - 436, -2*g - 5*x + 6*x - 851 = 0. Let h = g - -910. Does 27 divide h?
True
Let z = 493 - 479. Does 14 divide -7*z/(-833) + 9841/17?
False
Let u = -6 - 17. Let f = -17 - u. Does 4 divide (-7)/((-105)/f)*10?
True
Suppose -19*l + 46 = -11. Suppose 2252 = -0*j + 3*j - 5*v, 5*j = l*v + 3732. Is j a multiple of 15?
False
Let n(d) = -d**2 + 21*d - 24. Let b be n(16). Let y = b - 113. Let j = y + 68. Is j a multiple of 11?
True
Is -6*1*22/858 + 64228/52 a multiple of 65?
True
Suppose 104*w - 105*w - 3 = 0. Is 145*(w - 66/(-15)) a multiple of 29?
True
Let n = 200 - 100. Let c = n - 48. Is c even?
True
Let h(v) = -2*v - 20. Let m be h(-11). Let z(c) = 33*c + 8. Let u be z(m). Suppose 2*f - u = -4*p, 0 = -0*f - 3*f - p + 116. Is 13 a factor of f?
True
Sup