s t a multiple of 13?
False
Let h be (3 - 2/2) + 1*118. Suppose -19*w = -13*w - h. Is w a multiple of 6?
False
Let j be (-7)/21*-3*19. Let d = 35 - j. Let g = d + 12. Does 8 divide g?
False
Suppose 3*f + 1 = 10. Suppose 3*v + 0*a + a - 79 = 0, -f*a - 127 = -4*v. Is v a multiple of 7?
True
Suppose 4*g - f - 9 = 0, -4*g + 6*f + 13 = f. Suppose -g*z + 0 = -22. Is z a multiple of 11?
True
Suppose -3*p = 2*p - 335. Suppose l + j - p = -4*j, 4*l - 3*j - 291 = 0. Is 18 a factor of l?
True
Suppose -5*r - 1 = -5*v - 6, -4*r = 4*v - 28. Is 12 a factor of 72*((-10)/r + 3)?
True
Let o(y) = -y**2 - 114*y + 179. Is 29 a factor of o(-79)?
False
Suppose 93 = 3*a + 5*y - 65, 4*y + 8 = 0. Does 3 divide 24/a + 186/7?
True
Suppose -l + 4 = -2*f, -2*f = l - 6*f - 8. Suppose 0*b - 84 = -3*z + 2*b, l = z - 4*b - 38. Does 6 divide z?
False
Let u = -288 + 552. Does 22 divide u?
True
Is (-10)/(-6) - 2464/(-66) a multiple of 9?
False
Let g(i) = 12*i - 156. Is g(28) a multiple of 18?
True
Suppose 5*w - 12 - 723 = 0. Is 4 a factor of w?
False
Let k(s) = -37*s + 1. Let v = -16 - -9. Let a = 6 + v. Is k(a) a multiple of 19?
True
Let b(u) = -16*u - 27. Let v(n) = -2*n**2 + 2*n - 6. Let k be v(2). Does 11 divide b(k)?
False
Suppose 0 = h - 5, h + 1379 - 374 = 2*w. Is 6 a factor of w?
False
Suppose y - b = 11, -b = 4*y - 4 - 25. Suppose -o + 3 = -y. Suppose 2*w - o = 25. Is w a multiple of 18?
True
Let r(j) = -12*j**3 - 2*j**2 + 1. Is r(-1) a multiple of 7?
False
Let v(y) = -2*y - 1. Let h(p) = 19*p - 59. Let s(m) = -h(m) - 6*v(m). Does 10 divide s(-25)?
True
Suppose -5*p + a + 1016 = -4*p, 4063 = 4*p - 3*a. Does 64 divide p?
False
Let p(u) = -u**3 + 22*u**2 + 16*u - 7. Does 7 divide p(7)?
True
Suppose 3*g = 7*g - 12. Suppose g*h = -6, -t + 2*h - 116 = -3*t. Is t a multiple of 10?
True
Is 12 a factor of 36/48*-1*8*-8?
True
Let n = 399 + -190. Suppose -5*q - 3*d = -n, d - 4*d = 4*q - 169. Is 4 a factor of q?
True
Let z(b) = -42*b + 3. Let y be z(2). Let x be -1 - (-8 + -163)/1. Let p = x + y. Is 20 a factor of p?
False
Let o(f) = 6*f**2 + 11*f - 3. Let k(d) = -d**2 - d - 1. Let w(c) = -5*k(c) - o(c). Does 4 divide w(-4)?
True
Let c(a) = 7*a + 8. Let s be c(7). Suppose -5*j - s = -t, t + t - 106 = 2*j. Is 11 a factor of t?
False
Suppose 4*u + 0*u - 232 = 0. Let n = u - 24. Suppose 0 = -6*p + p - 3*x + 50, 2*p - n = -4*x. Does 6 divide p?
False
Let w(v) = -2*v + 13. Let u be w(5). Is 15 a factor of 3 - 1/(u/(-102))?
False
Suppose -4*t = -0*t - 24. Let j(g) = -g**2 + 6*g + 2. Let h be j(t). Suppose h*f = -3*f - d + 39, f + 5*d = 3. Is f a multiple of 3?
False
Let z(u) = 1238*u + 9. Does 29 divide z(1)?
True
Suppose -741*a + 749*a - 3240 = 0. Does 15 divide a?
True
Suppose 4*v = 2*v - 6. Let h = 3 + v. Suppose 5*o + 33 = j, h = 5*j - 4*o - 0*o - 228. Does 12 divide j?
True
Let u(v) = 29*v**2 + 112*v - 22. Is 107 a factor of u(-12)?
False
Let f(g) = 9*g**2 - 30*g + 4. Is 28 a factor of f(-5)?
False
Let q = -31 - -15. Is 16 a factor of -2*(3 + -3 + q)?
True
Let j be (-16)/6*51/(-34). Suppose 0 = i + 4*i + 5*r, -5*i = 3*r - j. Is 2 a factor of i?
True
Let p = -361 - -798. Does 19 divide p?
True
Let v be (-3*12/9)/(4/(-744)). Suppose 4*i = -z + v, -i - z = -0*z - 189. Does 37 divide i?
True
Let n(i) = 32*i - 23. Is 20 a factor of n(12)?
False
Suppose 4*s - 25 = -3*z, 39 = 5*z + 4*s - 16. Suppose -487 - 92 = -5*y + 2*m, 0 = 5*m - z. Is 14 a factor of y?
False
Suppose -2*x = x. Suppose -3*d + 8*d - 285 = x. Is 19 a factor of d?
True
Suppose -r + 104 = u, 4*r - 306 = u + 95. Is 17 a factor of r?
False
Suppose 2*u + c = -26, u - 5*c + c + 31 = 0. Does 14 divide (-40)/u*(-102)/(-8)?
False
Let t(h) = -4*h - 3. Let x(s) = -3*s - 3. Let p(n) = 3*t(n) - 2*x(n). Is p(-6) a multiple of 8?
False
Let g(p) = 8*p**2 - p - 8. Let s be g(-2). Suppose y = -j + 45, 3*j - 5*j - 140 = -3*y. Let h = y - s. Is h a multiple of 10?
True
Does 43 divide 3 + -5 + -3 + 5 - -258?
True
Does 11 divide (-10 - -9)/((-1)/(-161)*-1)?
False
Suppose 3*y - 3*t = -13 - 11, 0 = -y + 5*t - 12. Let i be 12/14*y/(-1). Does 4 divide -1*2*(-27)/i?
False
Suppose 1691 = v - 2632. Is v a multiple of 11?
True
Let n = 159 - -212. Does 7 divide n?
True
Let x(c) = -6*c - 12. Let n(f) = 1. Let i(r) = 5*n(r) + x(r). Let y be i(-2). Suppose 0*o + 4*o - y*s - 103 = 0, -3*o + 81 = -5*s. Is o a multiple of 10?
False
Let l(p) = -p**3 - p**2 + p - 2. Let k be l(-2). Suppose -3*f + k*o + 3*o + 3 = 0, 2*f - 18 = -2*o. Suppose -2*u - f = -23. Does 9 divide u?
True
Let r(n) = 6*n**2 - n. Let g be r(1). Suppose -g*x = 3*f - 360, 2*f + 5*x = 6*f - 480. Suppose 2*b = -3*b + f. Is b a multiple of 8?
True
Let k = 144 - 66. Let h = k - -145. Is 40 a factor of h?
False
Let v(k) = 4*k - 1. Let j be v(1). Suppose 5*o - 149 = 2*i, -j*i - o - o = 176. Let u = i - -94. Is 8 a factor of u?
True
Let r(i) = i**3 - 16*i**2 + i - 2. Let c be r(16). Does 27 divide (-1323)/c*(-12)/7?
True
Suppose 2*f = 4 + 2. Suppose 2*n = n, -5*n = -f*u + 63. Is u a multiple of 10?
False
Suppose 5*p = 4*r + 338, 5*r = -5*p + 3*r + 356. Does 70 divide p?
True
Let x(u) = u**3 + 4*u**2 - 25*u - 10. Let l be x(-7). Let q = l + 23. Is 5 a factor of q?
False
Let z = 198 + 137. Does 10 divide z?
False
Let h(z) = 3*z - 5*z**2 - 5*z + 0*z. Let l be h(-3). Is 33 a factor of 295/3 + (-26)/l?
True
Let w(z) = -2*z + 2*z**3 - 5 - z**3 + 6*z**2 - 12*z**2. Let n be w(7). Let d = -13 + n. Is d a multiple of 11?
False
Suppose 0 = -4*f + 5 + 3. Let u be 6*(f/(-4) + -1). Let n = u - -23. Is n a multiple of 14?
True
Let u(b) be the first derivative of -b**4/4 + 3*b**3 + 9*b + 5. Is u(9) a multiple of 9?
True
Suppose -97*p = -108*p + 792. Is 72 a factor of p?
True
Let f(z) = 136*z**2 + 10*z - 22. Is 21 a factor of f(5)?
False
Let b = -109 + 403. Is 49 a factor of b?
True
Let h(r) = -4*r + 13. Let n be h(7). Let t(g) = -g. Does 15 divide t(n)?
True
Suppose -5*q - 1579 = 3*a - 399, 4*q - 5*a = -981. Let w = -131 - q. Does 36 divide w?
True
Is 14*((-18)/(-30) + 1395/175) a multiple of 30?
True
Let y be (-4)/(-2) + 14/1. Let v(x) = -3*x**2 + 25*x + 14. Let q be v(9). Is -7 - q - y/(-2) a multiple of 5?
True
Suppose -5*m + 362 + 448 = 0. Is m a multiple of 31?
False
Suppose 0 = -i - 3*i + 56. Let k(j) = -j**2 + 12*j + 8. Let g be k(i). Is 275/4 + (-5)/g a multiple of 23?
True
Let a(o) = -2*o**2 - 34*o + 25. Is a(-17) even?
False
Let j(s) be the second derivative of -7*s + 11/3*s**3 + 0 - 7/2*s**2. Is j(4) a multiple of 27?
True
Let u = 2708 - -700. Is u a multiple of 24?
True
Let n = 7 - 3. Let w = -90 + 179. Suppose -5*z + w = -n*z. Does 29 divide z?
False
Suppose 0 = 3*d + 4*a - 7 - 12, 40 = 5*d + 5*a. Suppose 4*m = d + 51. Is m a multiple of 8?
True
Suppose -26*n = -a - 23*n + 371, 0 = 2*a - n - 742. Is 16 a factor of a?
False
Suppose 0 = 2*h - 5 + 3. Let t(z) = 28*z**2 - 2*z. Does 10 divide t(h)?
False
Let p = -22 + 6. Let z = -15 - p. Is 17*((-3 - -4) + z) a multiple of 8?
False
Let r = -401 - -686. Is r a multiple of 29?
False
Suppose -2*u = 2*r + 4, -r = -3*u - 0*u - 10. Does 32 divide (93 + 1)/(r - 0)?
False
Let s(k) = 67*k - 66. Is 9 a factor of s(5)?
False
Suppose 0 = 36*f - 58682 + 10298. Does 41 divide f?
False
Let u = 611 - 441. Does 5 divide u?
True
Let r(d) = 4 + 3*d**2 + 0*d**2 - 3*d + 12*d. Suppose -25 + 5 = 5*t. Does 6 divide r(t)?
False
Let h(f) = 13*f**2 - 13*f + 6. Let n(o) = o**2 - o - 1. Let d(p) = h(p) - 4*n(p). Does 13 divide d(6)?
False
Suppose -602 = -15*r + 22*r. Let l = r + 168. Is l a multiple of 12?
False
Let x(r) = -r**3 + 5*r**2 - 2*r - 2. Let w be x(3). Suppose t - w*t = -1323. Is t a multiple of 29?
False
Suppose 5*t = -2*n - 2*n + 23, -1 = -t + n. Suppose 88 = t*p - 119. Is p a multiple of 23?
True
Suppose -4*p - 2*z + 26 = 0, p = -3*p - z + 21. Suppose 2*f + 36 = n - 2, -187 = -p*n + f. Does 24 divide n?
True
Suppose 6*b - b + 720 = 0. Let g = -8 - b. Let j = g - 76. Is 20 a factor of j?
True
Let d(h) = -6*h - 1. Let o be 232/28 - (-6)/(-21). Suppose -f - 21 = 4*j, 6*f + o = 3*f - j. Is 2 a factor of d(f)?
False
Suppose 0 = -3*b - 10 - 5. Let y be ((-32)/(-20))/(1/b). Does 12 divide (-92)/y - 1/(-2)?
True
Suppose -m = -2*u + 3 - 0, 24 = 3*m + 5*u. Suppose -p = m*z - 11, 5*z - 4*p - 29 = -3*p. Suppose 0 = z*i - b - 239 + 4, b = -2*i + 101. Is 14 a factor of i?
False
Sup