= 120 + 90. Let k = i - 146. Does 9 divide k?
False
Let p be 3/36*-3*0. Let w(s) = s**3. Let c be w(p). Does 2 divide 3 + 0 + c/(-3)?
False
Let p be 4 + (-47 - -1) + 1. Let v = 67 + p. Is v a multiple of 25?
False
Let q(h) be the second derivative of -h**5/20 - h**4/4 + h**3/6 + 2*h**2 - 4*h. Let t be q(-3). Does 11 divide 35 - (3/1 - t)?
True
Let v = 10253 + -15937. Is 34/(-187) - (v/(-22))/(-2) a multiple of 15?
False
Let q = 31 - 1. Suppose f - 3 = -4*l + 2*l, 0 = 2*f - 4*l - q. Is 9 a factor of f?
True
Let r(x) = x + 11. Let f be (-4)/6 - 119/(-21). Let h(n) = n**2 - 4*n + 4. Let i be h(f). Does 11 divide r(i)?
False
Suppose 134*h - 140*h = -672. Let s = h - 44. Does 6 divide s?
False
Let q(r) = r**3 + 7*r**2 - 11*r - 12. Let p be q(-8). Let v = 15 - p. Suppose -v*b + 4*n = -57, 0*n - 9 = 3*n. Is b a multiple of 15?
True
Is 4 a factor of 51/612 + (-2507)/(-12)?
False
Suppose 0 = 3*v + 5*b + 5 + 4, 3*v - 4*b - 18 = 0. Let u(f) = 9*f**2 + 4*f - 4. Is u(v) a multiple of 13?
False
Let y be ((-204)/30)/((-1)/(-10)). Is -10*(-4 + y/(-20)) a multiple of 6?
True
Let d(q) = 0*q - 3*q - 2*q + 6*q. Let z be d(10). Is 19 a factor of 568/10 - (-2)/z?
True
Suppose h = -3*x + 5*x - 2138, 3*x + h = 3217. Is 17 a factor of x?
True
Let d = -12 - -12. Suppose 22 = l - c, -41 = -2*l - d*l + 3*c. Let z = 47 - l. Is z a multiple of 11?
True
Suppose -7 = -34*r + 35*r. Let a = 20 + r. Is 13 a factor of a?
True
Let f be -2 - (-3 + 20/(-5)). Suppose 8*x - f*x - 99 = 0. Is 9 a factor of x?
False
Let f(a) be the third derivative of a**4/6 + 2*a**3/3 + 2*a**2. Let h be f(8). Let y = h + -16. Does 20 divide y?
True
Suppose 1532*m + 630 = 1535*m. Is 14 a factor of m?
True
Let x(b) = -4*b**3 + 2*b**2 - 3*b + 7. Does 31 divide x(-6)?
True
Is 13 a factor of 1236/16 - (-30)/40?
True
Suppose -3*z + z = -10. Suppose 0 = z*m - 4 - 1. Does 11 divide (m - 2)/((-1)/33)?
True
Suppose -11*a + 6*a = -75. Let y = 22 - a. Let v = 3 + y. Is v a multiple of 2?
True
Let q = -12 - -12. Suppose q*g - 32 = -g. Suppose 0 = -4*u + 6*u - g. Does 9 divide u?
False
Let t = 287 + 145. Is t a multiple of 54?
True
Let w(k) = 2*k + 18. Let j be w(-8). Suppose o + y = 107, -j*y - 51 = -4*o + 395. Does 24 divide o?
False
Let o = 2061 + -1395. Is 37 a factor of o?
True
Let t be 6/2 + 373 + 1. Suppose 0 = 5*g - 2*k - 1245, -3*g + t + 389 = -5*k. Is 13 a factor of g?
True
Suppose 5*i - 2*i = 18. Let s be i + 1/(3/(-6)). Is 8 a factor of (94 - -2)/s - 0?
True
Suppose -10 = -5*b - 4*i - 3, -5*i = -5*b + 25. Suppose b*n - 4*h - 659 = -2*n, -2*h + 278 = 2*n. Does 8 divide n?
False
Let z be -1 + ((-9)/3 - 0). Let x be 0 - (1 + z - -19). Is x/48 + 62/6 a multiple of 10?
True
Let a(p) = 82*p - 254. Does 13 divide a(8)?
False
Is 2 a factor of (1 - 5) + 816/34?
True
Let w = -10 - -10. Let y(i) = 2*i. Let a be y(w). Suppose -45 = -a*b - 5*b. Does 9 divide b?
True
Let w = -70 + 84. Does 2 divide w?
True
Let p = 495 - -525. Does 15 divide p?
True
Let y(f) be the second derivative of 2*f**3 + 13*f**2/2 - f. Let r = -286 - -292. Does 17 divide y(r)?
True
Suppose 0 = 2*x + 2*x - 12. Does 5 divide 52/x*(-15)/(-10)?
False
Is (-68)/2*(1065/(-30) + 13) a multiple of 9?
True
Let a = -135 - -37. Is (a - 1)*-1*(-3)/(-9) a multiple of 11?
True
Let w be ((-7)/(-3))/((-1)/3). Let d = -4 - w. Suppose -d*r + r = -44. Is r a multiple of 13?
False
Let v(f) = 5*f**3 - 3*f**2 + 6*f + 10. Is 59 a factor of v(5)?
True
Suppose -15*i + 1968 = -9*i. Suppose 2*f - 5*w = i, -f + 6*f = -w + 820. Is 41 a factor of f?
True
Let u be 20*6 - -3 - (3 + 0). Let a = u + -75. Is a a multiple of 3?
True
Let o be (2 + 1)/(3/4). Let i(f) be the first derivative of 8*f**2 - 8*f + 1. Is 28 a factor of i(o)?
True
Suppose -2*c + 5*p = -5*c - 16, 0 = 3*c - p + 4. Let f be ((-9)/6 - c)*0. Suppose -4*x + x + 90 = f. Is x a multiple of 22?
False
Suppose -2*f - 4896 = -2*a - 0*f, a = -f + 2440. Is a a multiple of 94?
True
Let k = 817 + -349. Does 52 divide k?
True
Let m = -171 - -1169. Is m a multiple of 20?
False
Let n = -123 - -121. Is 45 a factor of -20 + 23 + (-500)/n?
False
Let o(i) = -i**3 + 22*i**2 - 9*i - 29. Is 20 a factor of o(21)?
False
Let a(q) = -q**3 + 36*q**2 - 297*q + 12. Does 47 divide a(15)?
True
Let z = 744 + -428. Is 4 a factor of z?
True
Suppose -182 - 258 = 5*z. Let i = 169 + z. Is i a multiple of 9?
True
Let h(g) be the third derivative of g**4/12 - g**3/3 + 3*g**2. Let r be h(8). Suppose 6 = i - r. Does 5 divide i?
True
Let r = 238 - 31. Is 36 a factor of r?
False
Is -10 + 9 + -6 + 1022 a multiple of 35?
True
Does 63 divide ((-25)/10)/(4/(-1008))?
True
Suppose o - a = 6*o - 677, 0 = 2*a + 6. Is 17 a factor of o?
True
Let x(y) = 15*y**2 + 10*y - 17. Is 14 a factor of x(-5)?
True
Suppose -2*d - 3*z = 112, -5*z = -d - 40 - 3. Suppose 6*a = a - 5*l - 355, 0 = a + 3*l + 63. Let v = d - a. Is v a multiple of 22?
True
Let o(f) = -2*f - 21. Let j be o(-13). Suppose -3*m + 0*v + 2921 = 2*v, -3897 = -4*m - j*v. Is 4/26 + m/13 a multiple of 25?
True
Let j = -36 + 22. Is (-8)/j - 808/(-56) a multiple of 10?
False
Let w be ((-9)/(-6))/(3/(-4)). Let k(j) = -j - 4. Let r be k(w). Let l(h) = -3*h**3 - h**2 - 3*h - 2. Is 12 a factor of l(r)?
True
Let s(a) = 15*a - 24. Is 42 a factor of s(10)?
True
Let s = 2400 + -1464. Is 18 a factor of s?
True
Suppose g = -4*p + 32, -3*g - p + 32 = -5*p. Does 16 divide g?
True
Let c = 4300 + -1661. Is c a multiple of 29?
True
Suppose 15*j - 13*j = -510. Let z = -174 - j. Is 13 a factor of z?
False
Suppose -3*p + 7*p - 12 = 0. Suppose 0*y + 96 = p*y. Is 20 a factor of y?
False
Let d be (-4)/(-10) - (-143)/55. Suppose d*q = 8*q - 240. Is q a multiple of 12?
True
Suppose 5*b + k = 3376, 0 = 2*b - 4*k + 429 - 1775. Suppose -b = -9*y + 4*y. Suppose -5*d = -10*d + y. Does 9 divide d?
True
Suppose 3*s + 28 = 8*s - r, -5*s = 2*r - 34. Does 17 divide (-1)/(-6) - (-413)/s?
False
Let j = 19 + -31. Let u(q) = q**3 + 13*q**2 + 8*q - 3. Let v be u(j). Suppose -3 = w - v. Does 9 divide w?
False
Suppose 3*j - 6 = x - 3*x, j - 3*x = 13. Let z(i) = 4*i**2 - 6*i + 11. Is z(j) a multiple of 11?
False
Let o be 9*(-1)/(-1)*5/5. Let q = o - 1. Does 8 divide q?
True
Let h(o) = o**2 + 11*o + 24. Let z be h(-5). Let q(c) = -6*c + 3. Is 13 a factor of q(z)?
True
Suppose 0*r + 15 = 3*r. Let y(a) = 5 - 4 + a + 7*a - 3. Is y(r) a multiple of 20?
False
Is (138/(-115))/(934/940 + -1) a multiple of 27?
False
Suppose 14*n = 16*n. Suppose 0 = -5*j - n*j + 100. Is 15 a factor of j?
False
Suppose 0 = u + u - h - 43, 3*h = 5*u - 108. Let y = -5 + u. Is y a multiple of 12?
False
Suppose c - 298 - 222 = -3*k, -689 = -4*k + 3*c. Is k a multiple of 33?
False
Suppose 9*m = 11*m - 10, -3*v + 4*m = -406. Is v a multiple of 16?
False
Suppose 0 = 3*a - f - 298, 5*a - 166 = 2*f + 330. Is a a multiple of 10?
True
Suppose 5*i - 12 = 8. Suppose 2*u = -5 - 5, -2*u = -2*l + i. Is 4 a factor of 26/(-6)*9/l?
False
Suppose -f - 7*f = -32. Suppose -2*g + 0*m + 58 = -4*m, -f*g + m + 123 = 0. Is 12 a factor of g?
False
Let x = -60 + 105. Let t = 24 - x. Let i = t + 53. Does 9 divide i?
False
Let p be 78/10 + 2/10. Is 9 a factor of (2 - p/3)*-27?
True
Suppose -156*x + 158*x = 2880. Is 42 a factor of x?
False
Suppose 5*h = 2*y + 5 + 20, -2*h = -4*y - 10. Let d = h + 14. Suppose -4*a + d = -1. Is 2 a factor of a?
False
Let j(p) be the first derivative of 2*p**3/3 - 17*p**2/2 + 2*p - 19. Does 16 divide j(10)?
True
Let w(f) = -4*f - 17. Let a be w(-6). Suppose -5*d - 4*i - 10 = 0, -31 + 2 = -2*d + 5*i. Suppose -j - d = -a. Is j a multiple of 2?
False
Let f be (3 - 2)/(4/(-8)). Is 27 - (f - (3 - 6)) a multiple of 26?
True
Let a(z) be the second derivative of z**4/12 + 5*z**3/3 + 15*z**2/2 - z. Is a(-10) a multiple of 6?
False
Suppose 0 = 3*s + 3*w + 132 - 459, 0 = -5*s + 2*w + 552. Let q = 237 - 188. Let t = s - q. Does 18 divide t?
False
Let a(v) = 4*v**3 - 2*v**2 - 3*v. Let z be a(3). Suppose -2*m - 3*m = 0. Suppose m*h + g = 5*h - z, -h = -5*g + 3. Does 12 divide h?
False
Let l(m) = m**3 - 14*m**2 + 14*m + 9. Let j be l(13). Let z(k) = k**3 - 7*k**2 + 4*k + 1. Let r be z(6). Let s = j + r. Is 11 a factor of s?
True
Let y(z) = -3*z + 12. Let o(h) = -10*h + 36. Let j(r) = -5*o(r) + 16*y(r). Let i be j(-5). Suppose 4*u = i*u + 114. Is u a multiple of 19?
True
Let x = -1567 + 3351.