, 0 = -j - 3*i + 45. Let t = j + g. Is t a multiple of 7?
False
Let u(m) = 2*m**3 + 7*m**2 - 5*m + 1. Let c be u(4). Suppose -g = -4*s - 61, 6*g - c = g - s. Does 11 divide g?
False
Let z(u) = -2*u**3 - 5*u**2 + u + 5. Let q be 4/16 + 17/(-4). Let d be z(q). Suppose -b + 1 + 31 = -3*m, -2*b + 3*m = -d. Is b a multiple of 14?
False
Let k(l) = l**3 - 21*l**2 - 34*l - 32. Is 6 a factor of k(23)?
False
Let f = -117 - 38. Let y = -78 - f. Is y a multiple of 12?
False
Suppose -2*x + 4*k = 7*k - 19, -3*x - 3*k + 21 = 0. Suppose -x*m + 720 = 10*m. Is m a multiple of 10?
True
Suppose 3*a - 5*z - 14 = 14, 4*a - 2*z = 28. Suppose -a*n = -10*n + 196. Is 12 a factor of n?
False
Let t = 107 + 61. Suppose -t = -3*z - 4*z. Is z a multiple of 9?
False
Let d(a) = a**2 - 15*a - 7. Let s be d(16). Let n(y) = 7*y + 13. Is n(s) a multiple of 17?
False
Suppose 3*x - 5*z = 2278, 2*x - 382 = -2*z + 1142. Is x a multiple of 13?
False
Let s be -2 - -5 - (4 - 2). Let m be 1/(24/21 - s). Let k(h) = 7*h - 9. Does 13 divide k(m)?
False
Let j = -400 - -526. Is 7 a factor of j?
True
Does 6 divide 90 + (16 + -11 - (-3 - -3))?
False
Suppose 3252 = 3*q - 6*x + 9*x, 0 = 5*x - 15. Is 23 a factor of q?
True
Is 39 a factor of ((-992)/(-40))/(3 - 236/80)?
False
Suppose 24*d = 17*d + 10493. Is d a multiple of 22?
False
Is 6 a factor of 24*(70/(-40) - -10)?
True
Suppose -5*c - 121*h = -117*h - 2744, -h + 1652 = 3*c. Is c a multiple of 23?
True
Suppose -4*k + q + 7388 = 3*q, 5*k - 9250 = 5*q. Is k a multiple of 44?
True
Suppose -759*s - 15288 = -772*s. Does 80 divide s?
False
Suppose 0 = -d + 3*r + r + 544, 0 = d - 2*r - 552. Does 16 divide d?
True
Let h(i) = -i - 3*i + 8 - 2*i. Let z be h(-10). Suppose z = 5*f - 92. Is f a multiple of 21?
False
Let w(i) = -4*i - 48. Suppose -60 = -0*s + 3*s. Does 7 divide w(s)?
False
Let k = 29 + -26. Suppose -5*b - 2*z + 49 = 0, -3*b - k*z + 27 = -z. Is b a multiple of 11?
True
Let f = 40 + -35. Suppose 21 = j - f. Does 24 divide j?
False
Suppose 20*u - 16*u - 236 = 0. Let t = u - 33. Does 13 divide t?
True
Let r = -101 + 83. Does 2 divide (-5)/5 - 4 - r?
False
Let b(t) = 5*t - 11. Let a be b(9). Suppose -70 = 4*u + a. Let i = u - -44. Does 9 divide i?
True
Let q(b) = 42*b**3 + 4*b**2 - 2*b - 1. Let v be q(2). Suppose -4*s = 3*z - v, 255 = 5*s - 2*s - 3*z. Suppose 5*x - s = -26. Is x a multiple of 12?
True
Let a(b) = -b**2 + 91*b - 317. Does 9 divide a(48)?
False
Let p = 386 - 167. Suppose 2*g = -p + 1045. Does 21 divide g/5 + (-2)/(-5)?
False
Suppose -3*m + 2*d - 91 = -3*d, 0 = -5*d - 5. Is (m/24)/(2/(-15)) a multiple of 3?
False
Let a(n) = -n**2 + 17*n - 10. Let p be a(16). Is (0 - -3)/(p/80) a multiple of 10?
True
Let s = -77 + 17. Let b = 10 - s. Let o = b + -25. Is 9 a factor of o?
True
Suppose -21*x - 1439 = -m - 16*x, -5680 = -4*m + x. Does 11 divide m?
True
Suppose -3*u - 2*l + 69 = 0, -8 = 2*l - 2. Let r be ((-6)/(-10))/(5/u). Suppose 2*s - 32 = -r*z - 0*z, 2*z - 53 = -3*s. Is 7 a factor of s?
False
Suppose -j = -5*q + 3*q - 612, q + 306 = 5*j. Let s = q - -544. Suppose i - 5*i = -2*u - s, -i = -4*u - 56. Is i a multiple of 20?
True
Let v(f) = -20*f + 1. Let r be 3 - 1 - (-1 + 0). Suppose 3 = -r*l - 0. Does 18 divide v(l)?
False
Suppose d - 2 = -0. Suppose d + 23 = c. Let b = c - 21. Does 3 divide b?
False
Let q(r) = 45 - 15*r - 45. Let s be q(-5). Suppose 4*o - 180 = -4*j, 3*j - s = j - 5*o. Is 8 a factor of j?
False
Suppose -2*y - q - 192 = -4*y, 3*y + 3*q - 270 = 0. Suppose -3*z - 162 = -0*z. Let h = y + z. Is 8 a factor of h?
True
Suppose -2*i - 5*r - 42 = 0, -3*i - r - 51 = 38. Let q = i + 61. Does 5 divide q?
True
Let m = 4 - 12. Let n be m*((-6)/(-2))/(-6). Suppose -3*p = 2*a - 100, -5*p - a + 165 = n*a. Is p a multiple of 15?
False
Let s(k) = k**2 - 3*k - 1. Suppose 4*n + 6 = 6*n. Let h be s(n). Does 6 divide h/((4/(-32))/1)?
False
Suppose -17*n + 21*n = 20. Suppose -3*v - n*k + 0*k = -797, 3*v - 769 = 2*k. Is v a multiple of 38?
False
Let j(f) = -f**3 + 19*f**2 - 20*f - 20. Is j(16) a multiple of 37?
False
Let g(t) = -151*t - 179. Does 11 divide g(-5)?
False
Is (-40)/(-12)*-9*(-18)/10 a multiple of 3?
True
Suppose -6*n + 1475 + 5635 = 0. Is n a multiple of 57?
False
Let i = -7 - -13. Let o = 8 - i. Is (-1708)/(-52) + o/13 a multiple of 11?
True
Suppose 2258 = 3*j - 10123. Is 22 a factor of j?
False
Let g(u) = -u**3 - 7*u**2 - 7*u + 3. Suppose 0 = 2*s - 4*z - 38, 3*z + 25 - 107 = -5*s. Suppose 2*q + 3*w - 31 = 6*q, -3*q - s = 4*w. Is g(q) a multiple of 13?
True
Let z = -8 - -33. Let j be 2/(-3 + 4)*z. Let u = j + -10. Is 15 a factor of u?
False
Let q = 1626 + -1398. Is q a multiple of 8?
False
Suppose -a - 3*a = -24. Let q(h) = -h + 12. Let v be q(a). Let p = 22 - v. Is 8 a factor of p?
True
Let j(k) = -k**2 - 4*k + 2. Is j(-2) a multiple of 3?
True
Suppose 3*o = -5*z + 2244 + 1988, -z = -o + 1400. Is 27 a factor of o?
True
Suppose 5*o - v - 110 = 0, 41 = 5*o - 3*o - v. Let j = o + -14. Let y(f) = 3*f - 10. Is y(j) a multiple of 17?
True
Let m = 144 + 1. Let z = m - 31. Is 16 a factor of z?
False
Does 16 divide ((-200)/(-70))/(2/14)?
False
Let y(m) = 2*m**3 - m**2 + 6*m - 6. Is 19 a factor of y(3)?
True
Suppose 23050 = 21*i - 4292. Does 42 divide i?
True
Suppose -10*c = -5*c - 300. Let x = c + -37. Is x a multiple of 4?
False
Suppose -147*d + 9502 = 4*n - 148*d, 0 = -2*n - 5*d + 4762. Is n a multiple of 72?
True
Let v(y) = 2*y - 14. Let u be v(7). Suppose -3*h - 60 + u = 0. Is ((-5)/h)/((-3)/(-84)) a multiple of 4?
False
Let f = -26 + 6. Let u = f + 22. Suppose u*y = 137 - 25. Does 14 divide y?
True
Suppose -17612 = -t - 6*t. Is 17 a factor of t?
True
Let i(u) = -3*u**3 - 13*u**2 - 19*u - 30. Is 5 a factor of i(-9)?
True
Let g(i) = -11*i - 5. Let u(o) = o**2 - o - 4. Let v be u(0). Does 5 divide g(v)?
False
Is (-4473)/(-9) - -1 - 2 a multiple of 16?
True
Suppose -5*v = 5*d - 380, 5*d - 2*v = v + 356. Let z = d - -87. Is 32 a factor of z?
True
Let g(x) be the third derivative of 11*x**5/60 - x**4/12 + x**3/2 + 36*x**2. Is g(1) a multiple of 3?
True
Let g(o) = -o**3 + 26*o**2 - 19*o - 37. Let v be g(25). Suppose 6*b - 977 + v = 0. Is 9 a factor of b?
True
Does 10 divide 0/(-10) - -215 - (2 + -7)?
True
Let i be ((-4)/10)/((-1)/5). Suppose 0 = 2*k + 3*z - 44, 4*z = -3*k + i*k + 22. Does 3 divide k?
False
Let v(o) = -o + 7. Let b be v(-4). Let j(g) = 3*g + 1. Let i be j(-1). Let s = b + i. Does 3 divide s?
True
Suppose 6*u + 33 = 7*u. Suppose 3*q - 213 = -u. Does 10 divide q?
True
Let w be (-8)/6 - 561/153. Let s = -3 + 1. Is 8 a factor of 14 + w/(5/s)?
True
Suppose -4*k - 4544 = -5*l - 918, -l + 726 = -k. Does 19 divide l?
True
Let s(o) = -7*o**3 + 8*o**2 + 13*o - 2. Let b(m) = 3*m**3 - 4*m**2 - 6*m + 1. Let a(v) = 5*b(v) + 2*s(v). Let n = -2 + 7. Is a(n) a multiple of 6?
True
Let q be (36/21)/((-4)/(-28)). Suppose -3*n - 9 - 14 = 4*h, -n + h - 10 = 0. Let d = q - n. Is 9 a factor of d?
False
Suppose 0 = 4*k - k + 3*b + 24, 36 = -4*k - 3*b. Let n be (-18)/k + (-3)/(-2). Suppose -n*s + 97 + 2 = 0. Is 14 a factor of s?
False
Let v(c) = 8*c + 23*c**3 - 10*c + 2 + 25*c**3. Is 16 a factor of v(1)?
True
Suppose -6 = -2*l, -2*s + 3*l = -s + 3. Let v be ((-8)/s)/(1/(-3)). Suppose -c = 4*w - 247, -140 + 407 = v*w - 3*c. Is w a multiple of 17?
False
Let i = 1085 + -364. Does 29 divide i?
False
Suppose -3*a + 5*n = 93, -3*a - 4 = 4*n + 62. Let d = a - -20. Is (-428)/d - (-6)/9 a multiple of 21?
False
Let y be (-3)/((-12)/(-8)) - -2. Suppose -4*p + 52 - 196 = y. Let l = -26 - p. Is l a multiple of 5?
True
Let d(v) = v**2 + 2*v - 1. Let r be d(-3). Suppose 4*h + r = -10. Is (h/9)/((-1)/18) a multiple of 5?
False
Let d(v) = -v**2 - 8*v + 2. Suppose 0 = -2*b + 6 - 14. Let m = b - 2. Is d(m) a multiple of 14?
True
Suppose 0 = -0*o - 3*o + 3*a - 9, -6 = -2*a. Suppose o*s - 5*s + 135 = 0. Is 5 a factor of s?
False
Suppose 2657 + 325 = 6*p. Is 2 a factor of p?
False
Suppose -2*l + l + 357 = -2*a, 0 = -a + 5*l - 165. Let q = 2 - 109. Let d = q - a. Is 16 a factor of d?
False
Let c(b) = b**3 - 10*b**2 + 10*b - 9. Let h be c(9). Let q(t) = -t**3 + t**2 - t - 3. Let r be q(h). Is (1 - -94)*r/(-5) a multiple of 29?
False
Let b(g) = 24*g - 43*g + 1 + 0. Does 18 divide b(-2)?
False
Let z(r) = 40*r + 16. Is z(10) a multiple of 26?
True
Suppose -3*d + 5*r = -11