t v be ((-3)/6)/((-5)/20). Suppose v = s - 1. Suppose 66 = 3*h - 5*g, -2*g = s*h - 0*g - 45. Is h a multiple of 4?
False
Let o be (4 - -8)*((-166)/(-3) - 1). Suppose -x = -4*l - 181, 5*x + 2*l = x + o. Is 24 a factor of x?
False
Suppose 413 = 7*v - 987. Does 10 divide v?
True
Let o be 4/1 + (10 - 14). Suppose -d = -2*l - o*l - 126, 4*l + 492 = 4*d. Does 20 divide d?
True
Is -9 + -2 + 1454 + -21 a multiple of 73?
False
Let h = -239 - 19. Let y be 2/(3 + h/87). Is 27 a factor of (-6)/(3 + y/(-18))?
True
Suppose 123 = 4*z - 1269. Is z a multiple of 29?
True
Let m(i) = i**3 - 70*i**2 + 26*i + 203. Is 119 a factor of m(70)?
True
Let i(z) = 2*z**2 + 4*z - 12. Suppose -3*l + 21 = -3*h + 4*h, 2*l - 28 = -3*h. Does 12 divide i(h)?
True
Let a(f) = -f**2 - 27*f + 68. Is a(-22) a multiple of 6?
False
Let j(r) = -r - 3. Let l be j(-5). Let a(d) = -12*d**2 + d + 3. Let s(v) = 24*v**2 - 2*v - 7. Let m(t) = -5*a(t) - 2*s(t). Does 15 divide m(l)?
True
Let x(f) = -150*f + 2. Let z be x(-1). Suppose -6*d + z = -3*d - s, 3*s + 201 = 4*d. Does 39 divide d?
False
Let u be (0 + 24/18)*(-6)/(-4). Suppose -7*f - u*f = -36. Is 4 a factor of f?
True
Let v = 2 - -11. Suppose 0*m + 2*m + 12 = -4*b, 2*b - 6 = 2*m. Let u = v + b. Is 6 a factor of u?
True
Let a(z) = -7*z**2 + z**3 + 2*z**2 - 2 - 2*z**2 - 3*z + 4*z**2. Let b be a(4). Suppose 4*k - 160 = -2*y, -y - 80 = -b*k + 2*y. Does 8 divide k?
True
Let z(o) = 23*o**2 - 3*o + 22. Does 14 divide z(-6)?
True
Let c(u) = 38*u**3 + u**2 - 3*u + 1. Let n be c(1). Let f = -2 + 120. Suppose 2*k - n = k - 4*i, -2*k + 3*i = -f. Is 12 a factor of k?
False
Let z(h) = -2*h + 20. Suppose -s = -2*s + 4*n - 22, 0 = -5*n + 10. Does 24 divide z(s)?
True
Let z = -2245 - -3146. Is 33 a factor of z?
False
Suppose -2*h - 446 = -a, 0*a = -a + 5*h + 458. Does 25 divide a?
False
Suppose 96*v = 94*v + 376. Does 47 divide v?
True
Let m be 36/(-15)*5/(-2)*12. Let n = m + 75. Does 23 divide n?
False
Let p = -401 - -399. Let y(o) be the third derivative of -7*o**4/12 - o**3/3 + o**2. Is 26 a factor of y(p)?
True
Suppose 4*z = -4*v + 20576 - 6324, -4*z + 5*v + 14225 = 0. Does 20 divide z?
True
Let t = -719 - -820. Does 26 divide t?
False
Let o = 398 + 18. Is 16 a factor of o?
True
Let s(v) = 13*v - 5. Let a be s(10). Suppose 4*p = a + 155. Does 14 divide p?
True
Let i(m) = -m - 7. Let x be i(-7). Is (-20 + 77)*(1 - x) a multiple of 19?
True
Let q = -9 - -22. Suppose 2*u - 5*s + q = 0, 4*s = 3*u + 5 - 3. Is u even?
True
Suppose 0 = 3*p + 15, -n + 26 = -5*p - 24. Is (-6)/(-3) + -1 + n a multiple of 4?
False
Suppose -14*i = 158 - 592. Is 2 a factor of i?
False
Let u = -68 - -72. Suppose -4*b - 3*i = -199, u*b = 6*b + 2*i - 102. Does 9 divide b?
False
Let c(g) = 12*g**3 + 2*g**2 + 4*g + 3. Let j be c(-2). Let d(o) = o**3 + o + 5. Let i be d(-4). Let a = i - j. Is 9 a factor of a?
False
Let a = -198 + 627. Suppose -a = -3*j + 3*p, -2*j + 3*p = 2*j - 573. Is 12 a factor of j?
True
Suppose -4*t + 4*f = 6*f - 184, t - 3*f = 32. Does 13 divide t?
False
Suppose 24 = -0*o + o - 3*s, -3*o = -3*s - 72. Suppose 2*c + 4*d = 12, 0 = -2*c - 2*d + 9 + 1. Is 16 a factor of (16/3)/(c/o)?
True
Let l(g) = -g**3 + 3*g**2 + 5*g - 3. Let z be l(4). Let u be z/(-2) + (-3)/(-6). Is 2 a factor of (-7)/(2 - (3 - u))?
False
Suppose 2*d = 3*d + 9. Let u(k) = k**3 + 11*k**2 + 11*k - 16. Is 23 a factor of u(d)?
False
Is (-8)/(-10) - (-30316)/130 a multiple of 7?
False
Does 129 divide 1885/2*(-23)/(253/(-22))?
False
Suppose 3*z + 9 - 18 = 0. Suppose -3*x = m - 6, z*x - 4*x = -4*m + 50. Is 9 a factor of m?
False
Let f(n) = -3*n + 484. Is f(-17) a multiple of 107?
True
Let l(a) = 91*a - 480. Is l(15) a multiple of 5?
True
Let q be (-56)/(-20) + 1/5. Let u(y) = y**3 + 15*y**2 + 6*y + 11. Let a be u(-12). Suppose 2*p - 3*p - 2*x + 101 = 0, -4*p = -q*x - a. Does 29 divide p?
False
Let i = 268 - -12. Is i a multiple of 40?
True
Suppose 4*j - 5*j + 4 = 0. Let v be (j + -2 - 4) + 19. Let u = 38 + v. Does 15 divide u?
False
Is 6 a factor of 306 + 2/2 - 0?
False
Does 119 divide ((-72)/(-6) + -15)*(-3212)/6?
False
Let l(o) = 2 - 23 - 13 - 7*o. Is 16 a factor of l(-14)?
True
Suppose 305 = 8*d + 1009. Let m = d - -350. Is 35 a factor of m?
False
Let z(b) = -78*b + 59. Does 28 divide z(-3)?
False
Suppose -13 = 5*k + 2. Is 27 a factor of (-186)/(-1*(5 + 0 + k))?
False
Let s = 212 + 280. Is 41 a factor of s?
True
Let z(y) be the second derivative of -37*y**3/2 - y**2/2 - 11*y. Does 22 divide z(-1)?
True
Let k(n) = -n**2 - 24*n + 1. Let w(d) = 2*d**2 + 49*d - 1. Let h(m) = 5*k(m) + 2*w(m). Is h(-9) a multiple of 15?
True
Let s = -27 + 37. Suppose p = -0*p - l + 168, -s = 5*l. Is p a multiple of 19?
False
Let s = 10 - 1. Let d be (-170)/(-8) + s/(-36). Is 2 a factor of (20/6)/(14/d)?
False
Let q(v) = -v**3 - v**2 + 50. Let r be q(0). Let h(x) = x**2 + 12*x - 3. Let g be h(-11). Let k = g + r. Is k a multiple of 12?
True
Let g(w) = w**2 - 4*w. Let f be g(4). Suppose -4*x - x + 330 = f. Is x a multiple of 22?
True
Suppose 7*w - 508 = 1067. Is 15 a factor of w?
True
Let t be 9/(-4) + 2 - 57/(-4). Suppose 2*j = t + 62. Is j a multiple of 19?
True
Let n(j) be the third derivative of -2*j**4/3 - 13*j**3/6 + 8*j**2. Let g be n(-6). Let y = g - 40. Is 30 a factor of y?
False
Suppose -150*o = -138*o - 384. Does 2 divide o?
True
Let a(v) = -v**3 - 2*v**2 + 12*v + 5. Let i = 8 - 5. Suppose -4*b - 7 = 2*l - 1, i*b = 3. Is 10 a factor of a(l)?
True
Let t = -81 + 155. Is t a multiple of 8?
False
Suppose 0 - 4 = -2*g. Let l be (-3 - (-5 - -3))*g. Let y(j) = 8*j**2 + 3*j + 3. Is y(l) a multiple of 7?
False
Let o(b) = 23*b - 23. Let x be o(6). Suppose 2*t = -2*n + 118, 58 + x = 3*t + 4*n. Is t a multiple of 27?
False
Let r(y) = -5*y**2 + 7*y - 9. Let u(l) = 9*l**2 - 13*l + 18. Let v(k) = 7*r(k) + 4*u(k). Let w be v(6). Let c = w - -6. Is c a multiple of 8?
False
Let q(a) = -128*a**3 - a**2 + a + 2. Let s be q(-1). Let n = 328 - s. Does 25 divide n?
True
Let a be 584/14 + (-4)/(-14). Suppose w - 20 = -2*s, -2*w = -0*w + s - 49. Let b = a - w. Is b a multiple of 9?
False
Let k = 948 - 792. Is 6 a factor of k?
True
Is ((-844)/(-6))/(4/12) a multiple of 15?
False
Does 17 divide (15/3 - 35)*-39?
False
Let y be -136 - (-3)/6*-4. Let i = 12 - y. Does 15 divide -3 + i/3 - 2?
True
Let r(w) = -4*w - 32. Let m be r(-10). Suppose 0 = -20*v + m*v + 2112. Is 44 a factor of v?
True
Let p(y) = -3*y**2 - 15*y + 8. Let n be p(-11). Let o = n - -306. Is o a multiple of 29?
True
Does 49 divide 5 + -1 + 426 + 7?
False
Is 12/(513/(-103) - 215/(-43)) a multiple of 13?
False
Let a(l) = 38*l - 6. Let z be a(4). Suppose -2*v + 132 = 4*x, 3*v + 3*x - z - 52 = 0. Is 13 a factor of v?
False
Let k = 22 + -43. Is ((-228)/(-18) - 1)/((-1)/k) a multiple of 19?
False
Let l = -24 + 15. Let c(h) = 3*h + 10. Let r be c(l). Let x = 30 + r. Is 5 a factor of x?
False
Let s be 4/20*-1 + (-1611)/(-5). Suppose -2*t + s = 2*x, -2*x + t = -0*t - 319. Is 32 a factor of x?
True
Suppose -24 = 2*s + 4*s. Is (s + 2)*(-140)/8 a multiple of 11?
False
Let d(r) = -12*r + 200. Does 11 divide d(13)?
True
Let b = 1240 - 728. Is b a multiple of 25?
False
Suppose 2*o = -21 - 15. Let q = o - -14. Is 13 a factor of (78/q)/(15/(-50))?
True
Suppose 0 = 24*s - 29*s. Suppose s = -w + 5*w. Suppose 3*t + t - 320 = -2*x, w = 3*t - 3*x - 240. Is 16 a factor of t?
True
Suppose 3*b + 28 - 250 = 0. Is 19 a factor of b?
False
Let q = 31 + -47. Let f = q - -28. Is 4 a factor of f?
True
Is 38 a factor of 5/(20/292)*4?
False
Let c = 935 + -620. Is c a multiple of 15?
True
Suppose -3*j + 2*j = 3*i - 118, -j = -4*i + 162. Let y = -13 + i. Is 12 a factor of y?
False
Let n be -2 + -1 + 1 + 5. Suppose -x + 288 = 2*x. Suppose b = -s + 25, 4*s + n*b + 0*b - x = 0. Is s a multiple of 11?
False
Let n(x) = x**2 + x + 1. Let z(c) = -c**3 - 20*c**2 + 3*c - 15. Let f(w) = 5*n(w) + z(w). Does 37 divide f(-16)?
False
Let i = -519 + 599. Does 5 divide i?
True
Let j be 3/((-27)/195) + (-2)/6. Let m be (2/4)/((-3)/264). Let b = j - m. Does 8 divide b?
False
Let u(w) = w**2 + 6*w + 3. Let i be u(-6). Suppose f + 4 = -4*o + 83, i*f - 259 = -o. Does 9 divide f?
False
Let g(z) = z**3 - 10*z**2 - 2*z + 16. Let s be g(10). Is 270/4 + 3*s/(-24) a multiple of 32?
False
Suppose -19 = -2*g + 29. Let h = 0 + g. Is 6 a 