ose 0 = v + 8*j - 5*j - 950, -3850 = -4*v - 2*j. Is 33 a factor of v?
False
Let m(h) = -58*h - 4. Let x be m(-2). Suppose 3*c - 137 = x. Is 12 a factor of c?
False
Let n be -1*3/9*249. Let g(w) = -w**2 - w + 5. Let j be g(6). Let v = j - n. Does 10 divide v?
False
Let a be -19 - -2 - (3 + -2). Let d = 198 - a. Does 12 divide d?
True
Suppose 4*x - 1716 = -5*o, -4 = -0*o - o. Does 8 divide x?
True
Suppose 0 = -f + 5*v + 62, -4*f + 5*f - v - 46 = 0. Is 6 a factor of f?
True
Let m = -1096 - -1202. Is m a multiple of 23?
False
Let d(l) = 5*l + 6. Suppose -11 = -2*h + 3. Is d(h) a multiple of 18?
False
Suppose -4*d = -9*d - 3*y + 33, -4*d = y - 25. Let z be (-6)/18 + (-3184)/d. Does 9 divide (-8)/12*z/6?
False
Let y(u) be the second derivative of u**4/2 - 2*u**3/3 + 5*u**2/2 - 7*u. Let d be (3 - 6)/((-6)/4). Does 3 divide y(d)?
True
Let v(x) = -82*x**2. Suppose -3*l + 8*l - 9 = -4*u, 4*u - 6 = -2*l. Let t be v(u). Let q = -22 - t. Does 24 divide q?
False
Let m = 79 + -72. Does 37 divide m*(-65)/10*(-4 + 2)?
False
Suppose 543 = 3*d - 0*d + 5*n, 0 = d + 5*n - 191. Is 8 a factor of d?
True
Suppose 5*o + 136 = -n, 5*n = -0*o + 5*o + 160. Let f = o - -32. Suppose -324 = -2*j - f*j. Is j a multiple of 33?
False
Let z(q) = 49*q**2 - 9*q - 24. Is z(-2) a multiple of 10?
True
Suppose 4*w + 62 = 5*s, 5*s - 7*w = -2*w + 65. Let t(m) = -3 + 5*m**2 + 10*m - s*m. Is 8 a factor of t(-2)?
False
Let q be 2/((-8)/1490)*(-12)/15. Let p = -154 + q. Does 24 divide p?
True
Let p(g) = -g - 1. Let a(s) = -21*s - 29. Let b(c) = a(c) - 2*p(c). Is 8 a factor of b(-5)?
False
Suppose -7*n - 27 = -8*n. Let r = n + -27. Suppose -o + 42 - 14 = r. Is o a multiple of 14?
True
Let x be (-6)/(-5)*((-45)/2)/(-9). Suppose 9*g - 7*g - 3*k - 784 = 0, -2*g = x*k - 796. Does 13 divide g?
False
Suppose -j + 216 = 5*n, 4*n + 3*j = 31 + 144. Suppose 10*x + 330 - 550 = 0. Let i = n - x. Is 7 a factor of i?
True
Let l(j) be the second derivative of j**4/12 + j**3 + j**2/2 - j. Let x be l(-7). Is (1*-6)/(x/(-112)) a multiple of 28?
True
Let t(h) = -h**3 + 2*h**2 - 2*h + 8. Let s be t(-6). Suppose -2*p - 71 + s = -3*n, 475 = 4*p - 5*n. Suppose -7*q - p = -10*q. Is q a multiple of 7?
False
Let c(l) = -l**3 - 5*l**2 - 4*l + 3. Let u(r) = r**3 + 3*r**2 - 4*r - 4. Let s be u(-4). Let p be c(s). Suppose -p*m = m - 48. Is 11 a factor of m?
False
Suppose 876*q = 882*q - 1656. Is 69 a factor of q?
True
Suppose 6543 = -15*z + 24003. Is 11 a factor of z?
False
Let z(v) = 2*v + 29. Let y be z(-14). Let x = y - -12. Is x a multiple of 8?
False
Let n(w) = 2*w**2 - 53*w + 5. Let j(x) = x**2 - 26*x + 3. Let o(t) = -13*j(t) + 6*n(t). Is 15 a factor of o(6)?
True
Suppose -209*h = -202*h - 609. Does 37 divide h?
False
Let o(z) = z**3 + 7*z**2 + z - 8. Let d be o(-8). Let i = -21 - d. Is i a multiple of 59?
True
Let m(w) = 6*w + 7. Suppose -4*f + 37 + 16 = 5*o, -3*f - 3*o + 36 = 0. Let n be m(f). Let b = n + -16. Is b a multiple of 11?
True
Let x(b) = 121*b + 13. Let v be x(-1). Is 42 a factor of -11*(-4)/(-12)*v/2?
False
Let m(g) = -g + 29. Let d(c) = -c - 9. Let l be d(-3). Let z(t) = -t**3 - 4*t**2 + 11*t + 3. Let a be z(l). Is 6 a factor of m(a)?
False
Suppose -2*o = -0*o + 64. Let a = o - -71. Is a a multiple of 13?
True
Let g be 40/6*63/6. Suppose o + g = 3*o. Does 5 divide o?
True
Let b(o) = o**3 - 10*o**2 + 9*o. Let y be b(9). Suppose y = -l - 2*l + 66. Suppose -s + 11 = -l. Is s a multiple of 11?
True
Let h(d) be the second derivative of d**4/12 - 5*d**3/3 + 13*d**2/2 - 7*d. Is 3 a factor of h(9)?
False
Is 3/9 + ((-688)/(-6) - -3) a multiple of 5?
False
Let v be (-39)/26*-2*2/1. Suppose -v = -2*s, 5*s + 4 - 11 = q. Is q a multiple of 2?
True
Let r be (5/(-2))/((-45)/36). Suppose 3*l = 5*c + 33, 2*c = -r*l - 0*c + 38. Is 2 a factor of l?
True
Suppose 14*y - 13*y = 3*k - 1225, -5*k + 3*y = -2047. Is 11 a factor of k?
True
Suppose -2*y - 10 = 0, 9 = 2*t - 2*y - 13. Suppose -k + 5*w + 144 = 0, 0 = -3*k - t*w + w + 332. Is k a multiple of 11?
False
Let n = 437 + -507. Suppose g + 2*l + 41 = -2*l, -3*l - 3 = 0. Let b = g - n. Does 11 divide b?
True
Let h = -74 + 76. Suppose 3*t - 3*r = 315, 5*t + h*r - 525 = -2*r. Is 23 a factor of t?
False
Let b(o) = -4*o + 1. Let h be b(10). Let j = -30 - h. Is j a multiple of 8?
False
Let s = -3112 + 5620. Is s a multiple of 66?
True
Let i = -36 + 41. Suppose 0 = -4*h + 2*f + 706, 0 = 13*h - 8*h - i*f - 875. Does 22 divide h?
False
Suppose 14*v - 9*v - 6263 = -4*a, 3*a = -v + 4700. Is a a multiple of 17?
False
Let v be (-8)/(-12) + 2 + 21/9. Suppose 4*s + v*w - 88 = 79, -3*w = 3. Does 43 divide s?
True
Let n(g) be the third derivative of -g**4/24 + 3*g**3/2 - 2*g**2. Let m be n(4). Suppose 3*j - 119 = -m*s, j - 5*s - 79 = -2*j. Is j a multiple of 11?
True
Suppose 2*o - 32*o + 91500 = 0. Is o a multiple of 10?
True
Let v be -7 + 4/(-3)*-3 + 1211. Suppose v + 906 = 14*y. Is y a multiple of 18?
False
Does 2 divide (-88)/132 - (-76)/6?
True
Suppose 3300 = 10*r + 5*r. Is r a multiple of 6?
False
Suppose 8 = -0*h - 4*h, -h - 4 = 2*b. Let x(v) = -2*v - 1 - 4*v**2 + 7*v**2 + 4*v**2. Is x(b) a multiple of 3?
False
Suppose 75*q - 79*q + 184 = 0. Suppose 9*d - 7*d + 5*o = q, -4*o = 4*d - 104. Does 5 divide d?
False
Suppose 0*m - 10 = -2*m - 2*w, -m - 19 = -5*w. Let s be (-2)/(-4) + 361/38. Let r = m + s. Is r a multiple of 11?
True
Let j be (4/(-6))/(2/(-6)). Suppose -64 = -5*c + 21. Suppose 5*o = -j + c. Does 3 divide o?
True
Let q(b) = b**2 - 1. Let p be q(2). Suppose p*m - 4*y - 15 = 0, -y = -0*m - 5*m + 42. Does 12 divide ((-2)/(-3))/(m/162)?
True
Suppose h = 4*r - 19, -5*r - 5 = -6*r. Let u(c) = 10*c + h - 9 - 7*c. Does 13 divide u(8)?
False
Suppose -54*w - 43*w = -52962. Is 21 a factor of w?
True
Suppose 301 = -15*b + 3151. Is b a multiple of 10?
True
Let o = -86 + 59. Let n = o + 50. Is n a multiple of 23?
True
Suppose 3*z - 4 = 4*w + 1, -15 = -5*z. Let p be 1 + -2 + -67 + 0. Is 4 - 5 - (p + w) a multiple of 14?
False
Suppose -1655 = -24*j + 19*j. Does 18 divide j?
False
Does 4 divide 5*1*(-152)/(-95)?
True
Let l(v) be the first derivative of 27*v**4/4 + 2*v**3/3 - v - 26. Is l(1) a multiple of 28?
True
Let o be 12/15 - 44/5. Let w be 15*(o/6 + 1). Let a(r) = r**2 - 4*r - 9. Does 4 divide a(w)?
True
Let b(p) = p**2 - 14. Let l be b(0). Let h be (-21)/l*(-16)/6. Let y = 17 - h. Does 7 divide y?
True
Suppose 3*h = -3*b + 7*b + 10, 0 = -4*h + 5*b + 14. Suppose -4*j + h*d - d + 59 = 0, -2*j = d - 47. Does 6 divide j?
False
Let g(m) = m**2 - 8*m + 5. Suppose -3*p - 9 = 0, 2*r - 16 = 5*p + 15. Is 5 a factor of g(r)?
True
Let j be (-6)/21 + 340/14. Let x(y) = 4*y + 16. Let h be x(-4). Suppose h*m - j = -2*m. Does 4 divide m?
True
Let o be 3/2 + 30/12. Suppose o = -6*x + 4*x. Is (x/(-5))/((-1)/(-15)) a multiple of 4?
False
Let g be (-27 - 10)*3/(-1). Let x be (2 + -5)/((-3)/g). Let j = x - 24. Is 29 a factor of j?
True
Let a(r) = 17*r**2 - 13*r - 22. Is a(7) a multiple of 48?
True
Let r(v) be the first derivative of 4*v**2 - 13*v + 8. Does 4 divide r(3)?
False
Suppose -3210 - 3390 = 11*z. Let i = -312 - z. Is i a multiple of 24?
True
Let s = 88 + -88. Suppose 2*h + 115 - 481 = s. Does 11 divide h?
False
Suppose 4*t - 39 = -t - l, -4 = -t - 4*l. Is t/((4/(-30))/(13/(-65))) a multiple of 12?
True
Suppose 4*s - 56 = -4*u, 2*s - 5*u = 4*s - 43. Let d = 41 + s. Is d a multiple of 5?
True
Let j(x) = -x**3 - x**2 + x - 1. Let r(w) = -5*w**3 - 2*w**2 - 11*w - 10. Let h(u) = 6*j(u) - r(u). Is 2 a factor of h(-7)?
True
Suppose -13 = 2*o + 5*k - 4, 0 = -2*k - 6. Suppose -3*x + 86 = z - 0*z, 0 = -4*x - o*z + 108. Suppose -x = -2*d - d. Does 2 divide d?
True
Let i(r) = -12*r - 3. Let h be i(-1). Let d(k) = -k**2 + 11*k - 6. Is 12 a factor of d(h)?
True
Suppose -33*q = 26*q - 34692. Does 24 divide q?
False
Let k(w) = 6*w. Let n be k(-3). Let s = n + 17. Is 91/49 - s/7 even?
True
Suppose 0 = 2*d - 3*i - 19, 0*d - 2*d + i + 13 = 0. Suppose -d*s + 280 = -0*s. Does 14 divide s?
True
Let a = 352 - -219. Does 9 divide a?
False
Let l be (-4)/10 - 204/(-60). Let n = 6 - l. Suppose -30 = -4*f + 2*r, -n*f - 4*r + 3 = r. Is f a multiple of 6?
True
Let q(v) = v**2 - v - 1. Let j(w) = w**3 + w**2 - 7*w - 17. Let z(n) = j(n) - 6*q(n). Suppose -l - 2*u = -4*l + 28, 0 = -4*l - 5*u - 1. Is 8 a factor of z(l)?
Fals