1, 2*q + 49 = j*l - 3*q. Suppose -3*v + 134 = -2*c, 56 = v - 3*c + l*c. Is 12 a factor of v?
False
Let c(t) = t**2 + 6*t**2 - 12 - 3*t + 2*t + t**2. Is c(3) a multiple of 3?
True
Suppose -9 = -2*r - 3. Suppose r*k - 49 - 74 = -3*v, -190 = -5*k - 2*v. Is k a multiple of 25?
False
Let h = 1351 + -1039. Is h a multiple of 39?
True
Let c be -1*6/(-4)*38. Suppose -2*x + 59 + c = 0. Is 29 a factor of x?
True
Suppose -5*o = 5*p - 4600, 3*o - 1688 - 150 = -2*p. Does 13 divide p?
False
Let r be 4 + 48/30 + 4/10. Suppose -3*k + 5*a + 376 = 0, -3*k - r*a + 380 = -7*a. Does 26 divide k?
False
Let q = 69 - 69. Suppose -1041 = d - 5*d + a, q = -4*d + 2*a + 1038. Is 29 a factor of d?
True
Let m(u) = 8*u**2 + 20 + 2*u**2 - 5 - 4*u. Let l be m(-13). Does 16 divide 2/14 + l/49?
False
Let u(r) = -r**3 + r**2 + 11*r - 3. Let k be u(3). Suppose -64 = -f - 2*h, 4*h - k = 8. Is 6 a factor of f?
True
Let x(r) = r**3 + 3*r**2 - 2*r - 2. Let k be x(-3). Suppose 0 = -4*j - k*g + 356, -16 = j + 5*g - 125. Is j a multiple of 12?
True
Suppose -4*z = -86 - 98. Suppose 4*g = -10 + z. Is 3 a factor of g?
True
Let d be (-18)/(-21) - (-4)/28. Is 3 a factor of (d - (3 + -3))*38?
False
Suppose 2*c - h - 6 = 0, -2*c - 45 = -7*c - 5*h. Suppose u = -4*d - 4, d - c = 4*u + 11. Let t(z) = -z + 5. Is t(u) a multiple of 9?
True
Is 5*5 + 7 + 7 + -10 a multiple of 2?
False
Let a be (2/(-6))/((-9)/81). Is 6 a factor of (-2)/2*a + 63?
True
Let v = 1300 - 926. Is 46 a factor of v?
False
Let c(g) = -g + g**3 + 4*g**2 - 6*g + 3*g - 4. Let n = 187 + -191. Is c(n) a multiple of 6?
True
Suppose 0*z = 4*z - 28. Let p = -5 + z. Is (-3 - p/(-2)) + 16 a multiple of 14?
True
Let n(b) = -b**2 - 2*b - 9. Let u be n(5). Let m = u + 99. Let g = m - 11. Does 18 divide g?
False
Let h be -2*(-5)/(-20)*-30. Suppose -11*c + h = -6*c. Suppose -8*a + c*a = -40. Is 3 a factor of a?
False
Let l = -21 - -24. Let h(b) = -13 + l*b - 4*b - 3*b. Is h(-7) a multiple of 6?
False
Let a be (80/96)/((-1)/(-6)). Suppose -3*y + 15 = 2*x, 0 = y - 5*x + 2*x - a. Suppose -2*w = -6*w - 2*m + 68, 0 = -2*w - y*m + 34. Does 17 divide w?
True
Suppose 0 = 3*a + 4*l - 3125, -3*a - 5*l + 1946 = -1184. Does 15 divide a?
True
Suppose -k = -3*k - 2*o + 186, 3*k = -5*o + 277. Suppose 0 = -4*v + 2*v - 8, k = 2*p + 3*v. Is 7 a factor of p?
False
Does 17 divide (1 - (-1)/4) + (-1083)/(-4)?
True
Let a(d) = -d**2 + 8*d - 11. Let k be a(3). Does 6 divide (-67)/(-1) + (1 - k)*1?
False
Let l(p) = p**2 - 14 - 5*p + 8 - 2*p. Let z be l(8). Suppose 2*r - 4*f - 235 = -3*r, 3*r = z*f + 141. Is r a multiple of 11?
False
Let k(c) = -11*c + 7. Let j be k(3). Let s = j - -71. Does 15 divide s?
True
Let x be (1/(-1))/((-4)/84). Let z = 24 - x. Suppose n + 5*h - 43 = 0, 3*n - z*h + 6 - 81 = 0. Does 15 divide n?
False
Let d(w) = 6*w**3 - 3*w**2 + 2*w - 2. Let b(o) = -o**3 + 6*o**2 - 4*o - 3. Let i be b(5). Let y be d(i). Does 22 divide y/(-3 + 5 + -1)?
False
Let f = 14 + -6. Let y(b) = 12*b - 6. Is 5 a factor of y(f)?
True
Let l = 413 - 326. Does 3 divide l?
True
Suppose -4*s + 8 = -u + 3*u, -3*s - 4*u + 1 = 0. Let o(a) = -7*a - 3. Let y(g) = -2*g - 1. Let x(k) = -o(k) - 2*y(k). Is 19 a factor of x(s)?
True
Let f(v) = v**2 - 5*v + 1. Let y be f(5). Let d(s) = 41*s + 2. Let o be d(y). Let p = 79 - o. Does 18 divide p?
True
Suppose -4*l + 584 = -4*k + 6*k, -l = -5*k + 1460. Is 4 a factor of k?
True
Suppose -4 = 3*g + 2. Let z be 5 + g + (-2)/1. Does 16 divide (-50 + 2)*z/(-3)?
True
Is 14860/45 - 6/27 a multiple of 22?
True
Suppose -5*s = -3*l - 29, -3*s + 24 = l - 5*l. Is 13 a factor of 230 + 24/(-4) + s?
False
Suppose -9 = d - 10. Let s(r) = r**2 - 1. Let u be s(d). Suppose -3*w - 4*w + 56 = u. Is 3 a factor of w?
False
Let g(b) = b - 1. Let l be g(3). Suppose l*z - 6*z = -12. Suppose o + 2 = -3*a, 0 = -4*o - 4*a + z + 5. Is 4 a factor of o?
True
Let l(j) be the second derivative of -7/2*j**3 + 1/2*j**2 + 0 + 5*j. Is 22 a factor of l(-1)?
True
Suppose b - 816 = q, 18*q - 19*q = -4*b + 3273. Is 58 a factor of b?
False
Is 15 a factor of (4/(-1))/(10/(-1425))?
True
Let i(y) = 2*y - 2. Let w be i(2). Suppose -3 = -g + w. Let l = g + 3. Is l a multiple of 6?
False
Let b = -33 - -37. Does 16 divide 60 - b*(-2)/(-8)?
False
Suppose 3*f + 38 = 4*t - 0*f, -4 = -2*f. Suppose -5*s = -t*s + 1230. Is s a multiple of 41?
True
Suppose 0 = 3*n - 400 - 608. Is n a multiple of 12?
True
Suppose 4*y + 15 = 3*w, 4*y = 2*w - 3 - 11. Let o(j) = 3*j**2 - 3*j - 3. Does 23 divide o(y)?
False
Let o = -228 + 351. Let h = -178 + o. Let x = h + 88. Is 11 a factor of x?
True
Let g(m) = -10*m - 15. Let s = 4 - 10. Does 9 divide g(s)?
True
Let h(q) = q**2 + 4*q + 277. Does 14 divide h(-59)?
False
Let c = 45 - 34. Let i(z) = 8*z - 23. Is i(c) a multiple of 13?
True
Let g(a) = -5*a**2 - 4*a - 6. Let h be g(-4). Let v = 116 + h. Does 29 divide v?
False
Let t = -93 - 38. Let k = -119 - t. Does 4 divide k?
True
Is (11 - -1105)/(4/6) a multiple of 27?
True
Suppose 715 = 2*j + q - 368, 0 = 3*q - 9. Does 27 divide j?
True
Suppose -4*l - 4*y + 4 = 0, 5*l = -2*y + 1 - 5. Let m(j) = -6*j - 2. Let q be m(l). Let g = q + -3. Is g a multiple of 5?
False
Let j(w) = -w**3 + 29*w**2 - 28*w - 5. Is j(26) a multiple of 20?
False
Let v(p) = p**3 - 9*p**2 + 8*p + 6. Let b be v(8). Suppose 2*l - b*l - 3*f = 1999, -5*l = 2*f + 2490. Does 11 divide 1/(4*(-4)/l)?
False
Let r(m) = 35*m**2 - 3*m - 22. Let x be r(-6). Does 18 divide 42/105 + x/10?
True
Let t(q) = -q**3 - 5*q**2 + 11*q + 4. Let u be t(-7). Let v = u + -8. Does 16 divide v?
False
Let i = -383 + 664. Is i a multiple of 3?
False
Is 46/8*(32 - 16) even?
True
Is (-1)/(-4) - -479*11/44 a multiple of 4?
True
Suppose -234*x - 3960 = -244*x. Is x a multiple of 6?
True
Let j(k) = -11*k + 10. Let b be j(-13). Suppose -5*q + i + b = 5*i, -q + 39 = -2*i. Is 12 a factor of q?
False
Let m(u) be the third derivative of -u**5/60 - 3*u**2. Let v be m(2). Does 9 divide 22 - (-3 - -2 - v)?
False
Let b(s) = 2*s. Let h be b(2). Is ((-870)/(-7) - h/14) + -1 a multiple of 22?
False
Suppose 292 - 82 = 6*i. Does 31 divide i?
False
Let i = 3 + -3. Suppose -2 = -2*l - 2*d, 4*d = -2*l - i*d + 4. Suppose f - 40 = 4*y, 3*y + 3 = -l*y. Is f a multiple of 9?
True
Suppose -3*b = b + 4. Let v be (3 - 74/1)*b. Suppose -21 = 2*a - v. Is a a multiple of 14?
False
Let u = -211 - -351. Let g = u - 89. Does 14 divide g?
False
Let o(z) = 2*z**2 - 17*z - 19. Let k(d) = -3*d**2 + 25*d + 29. Let c(w) = 5*k(w) + 8*o(w). Let m be c(14). Suppose -p + 11 = -m. Is p a multiple of 23?
True
Let y be -8*(-1 + 6/4). Is (-1)/(-2) - 130/y a multiple of 11?
True
Suppose 6*x - 14 = 7*x. Is 2*(222/(-4))/(7/x) a multiple of 37?
True
Let t(u) = -2*u + 13. Let a be t(7). Is 12 a factor of (-1 - 9/a)*6?
True
Suppose 900 = -7*r - 990. Let c = r - -474. Is c a multiple of 50?
False
Let a = -167 + -27. Let i be (a/(-8))/((-3)/(-12)). Suppose -3*g + 2*c + i = 29, 3*g - 62 = -4*c. Is 11 a factor of g?
True
Let u(k) = -k**2 - 4*k + 5. Suppose 0*l = -3*l - 18. Let o be u(l). Let a = 12 + o. Is a a multiple of 4?
False
Let j(l) = -6*l + 9. Let g be j(16). Let m = g - -162. Does 25 divide m?
True
Is (80/10)/(-8)*-810 a multiple of 90?
True
Let q = -49 + 134. Does 23 divide q + (-6)/(-3) - 1/(-1)?
False
Suppose 64 = 2*j - 6*j. Let h = -11 - j. Suppose 0 = -2*u - 0*u + h*g, -4*u + g = -36. Is u a multiple of 3?
False
Suppose d = g - 3*g + 1, -3*d - 3*g = -18. Let m(v) = v**2 - 8*v - 15. Let w be m(d). Let y = -11 + w. Is y even?
False
Let j(h) = -h**3 - 7*h**2 - 5*h + 115. Is j(-10) a multiple of 5?
True
Suppose -2*l + 0*l + 12 = 0. Suppose -3*z + l*z + 60 = 0. Let g = 17 - z. Is 12 a factor of g?
False
Suppose -12*u + 1439 = -2521. Suppose 1513 = 7*f + u. Is 20 a factor of f?
False
Suppose 0 = -301*y + 291*y + 1130. Is 3 a factor of y?
False
Suppose 3*t + 0*a + 3*a = 975, -2*t + a + 638 = 0. Suppose -129 = -10*k + t. Does 9 divide k?
True
Let s = 5 + -3. Suppose s*k = 5*k - 6. Is ((-36)/k)/(-6 + 4) a multiple of 9?
True
Let k(g) = -g**2 + 3*g + 4. Let c be k(3). Suppose 0 = -8*q + c*q + 252. Suppose -q - 42 = -4*v - 3*y, 132 = 5*v + 4*y. Does 8 divide v?
True
Let k be (4/(-11))/(16/(-88)). Let c(m) = -6*m**k + 0*m**2 + 3*m**2 - 11 + 5 - 7*m - m**3. Is 16 a factor of c(-4)?
False
Let p = -188 + 204. Is p even?
True
Let d = 