multiple of 10?
False
Let i(q) = -q**3 - 10*q**2. Let n be i(-10). Suppose n = 12*l - 4*l - 104. Is l a multiple of 2?
False
Let q = -691 + 822. Does 25 divide q?
False
Let u = -6 + 6. Suppose u = -2*t - 0 + 6, -5*h + 75 = -5*t. Does 11 divide h?
False
Suppose 14*i - 1053 = -5*f + 13*i, -2*f = 3*i - 429. Does 3 divide f?
True
Is 16 a factor of 16/168 - (-3 + 19965/(-63))?
True
Let s = -1219 + 1593. Is 14 a factor of s?
False
Is 4/(-9 + (-904)/(-100)) even?
True
Let n(s) = -3*s**3 + 2*s - 1. Let r be n(-2). Let z = r + 18. Suppose -35 - z = -2*o. Is o a multiple of 18?
True
Let a be ((-24)/(-10))/((-8)/(-40)). Let f(k) = -27 + 1 - 7*k + 2 + k**2. Is f(a) a multiple of 6?
True
Let t be (-3 - 22/(-4))/(5/10). Suppose 3*z - 8*z + 625 = -t*l, 0 = -5*l + 20. Is 32 a factor of z?
False
Let d be -2*(-1 - 0/3). Let h be -2 + -1 + (3 - 2). Is 10 a factor of (-1 - h)/(d/48)?
False
Is 13 a factor of (9/(-6))/(6 - 49095/8180)?
False
Suppose 0 = 6*c - 5 - 43. Let u(a) = -a**2 + 14*a + 11. Does 13 divide u(c)?
False
Suppose 2*h = -2*n + 27 + 37, -5*n + 2*h = -125. Is 8 a factor of n?
False
Let h be (-91)/(-1*1*1). Let n = -1501 + 1638. Let i = n - h. Does 10 divide i?
False
Let j = -3152 + 5364. Does 53 divide j?
False
Let p = -352 - -909. Let g = p - 182. Suppose 3*d = -4*u + 4*d + 285, 5*d = 5*u - g. Is u a multiple of 14?
True
Let h = 130 + -238. Is ((-351)/h)/((-2)/(-16)) a multiple of 13?
True
Suppose -3937 = -18*x - 1237. Is 15 a factor of x?
True
Let g = -1300 + 1870. Is g a multiple of 19?
True
Suppose 4*f - 3*f = 5*x + 140, f + 2*x - 126 = 0. Is f a multiple of 26?
True
Let y(u) = 5*u**2 - 15*u - 75. Is y(-5) even?
False
Let t be 291/33 - 8/(-44). Let r(q) = 26*q + 7. Let i be r(t). Suppose 26 = -5*a + i. Is a a multiple of 14?
False
Let t(a) = a - 1. Let f be t(6). Suppose 4*o + 4 = -4*k - 0*k, 5 = -f*k + 4*o. Is (-32 + k)*(-2 - -1) a multiple of 11?
True
Let p(l) = -2*l + 2. Let s be p(-12). Suppose 2*k - s = 14. Does 4 divide k?
True
Let c(q) = 41*q + 43. Let a(j) = 10*j + 11. Let z(r) = 9*a(r) - 2*c(r). Is 24 a factor of z(7)?
False
Suppose 0 = 11*i - 7546 - 24211. Is 32 a factor of i?
False
Let r be (-8)/(-12) - 356/(-6). Does 32 divide (-189)/18*r/(-7)?
False
Let t = -170 + 174. Suppose -478 = t*d - 6*d - 2*n, -5*n - 1215 = -5*d. Does 17 divide d?
False
Suppose 0*y - 4*y + 96 = 0. Is (1/(-12) - 6/y)*-57 a multiple of 5?
False
Let g(v) = 66*v + 388. Is g(20) a multiple of 14?
True
Suppose 17*o - 2053 = 19877. Is 15 a factor of o?
True
Let i be ((-7)/((-21)/12) - 3)*6. Does 20 divide (-24 + 30/(-5))/(i/(-32))?
True
Suppose -3*a + 198 = 18. Suppose -p + a = p. Is 16 a factor of -2*p*(-24)/18?
True
Let x(k) = 4 + 5*k**3 + 3*k**3 - 8*k**2 - 9*k**3 + 5*k. Is x(-9) a multiple of 17?
False
Let w be 14*((-3)/(-2) - 4/8). Does 5 divide 2*7*20/w?
True
Let u be ((-32)/20)/2 + 8/10. Suppose -4*l + 892 - 168 = 5*x, x - 3*l - 160 = u. Is 14 a factor of x?
False
Suppose 4*b - 33 + 17 = 0. Let d be b + -3 + (-2 - -3). Suppose d*t - t - 15 = -2*j, 5*j - 10 = 0. Is 8 a factor of t?
False
Suppose -81*z + 93*z = 11160. Is z a multiple of 30?
True
Let i be 21 + (-16)/4*-1. Let v = i + 7. Let g = v + -12. Is 20 a factor of g?
True
Suppose 25 = -3*b + 1. Let v = b + 12. Suppose -v*h - q = -111, 5*q + 10 - 79 = -2*h. Is 15 a factor of h?
False
Let x(b) = b**2 + 15*b + 58. Let d = 85 - 98. Is x(d) a multiple of 6?
False
Suppose -4*v + 5*l = -1076, 5*v - 4*l = -l + 1345. Does 42 divide v?
False
Suppose 5*y = -3*i + 40, 2*y + 21 - 51 = -4*i. Suppose v - 5 = -2*m, -y*m - 5 = -0*v - v. Suppose m = -3*q + 10 + 11. Is q a multiple of 2?
False
Let t be (0 + (-15)/(-6))*(-2 + 4). Suppose 0 = m - t*m + 112. Is m a multiple of 6?
False
Let p be (-12)/(-66) - (-119)/11. Suppose -p*a + 69 = -10*a. Does 6 divide a?
False
Suppose -2*z = 3*n - 12 - 43, -4*n = -2*z + 90. Does 5 divide z?
True
Suppose 3*c = 4*c - 11. Suppose -4*r + x + 0 = 1, -4*r + c = -5*x. Does 34 divide (84/r)/(18/(-12))?
False
Let s(b) = -6*b + 136. Does 88 divide s(8)?
True
Let j be ((-5)/2)/((-2)/4). Suppose 2*o = j*f, -o = 3*f + 4*o - 31. Does 9 divide ((-1)/(-1))/(f/20)?
False
Suppose 0 = -3*d - 2*g + 5*g, 9 = 3*g. Suppose 0 = d*a + 3*m - 177, -4*m = -2 + 6. Does 13 divide a?
False
Suppose 5*p = p + 36. Let v be p/21 + (-277)/(-7). Let w = v - 10. Is 13 a factor of w?
False
Suppose -2*q + 3*q - 2 = 0. Let g be (-3)/(-7) + (-177)/21. Let o = q - g. Is o a multiple of 10?
True
Let s be 6*(-4)/(24/(-183)). Let d = -111 + s. Is d a multiple of 25?
False
Let i(y) = -y**3 + 6*y**2 - 6*y - 5. Let k be i(5). Let x = k - -15. Suppose 3 = 2*d + 3*r, x*d + 2*r + 1 = 4*d. Is d a multiple of 2?
False
Let i be (4/5)/(8/(-60)). Let m be (-15)/9 - 4/i. Is (2 - -40) + 2*m a multiple of 11?
False
Let x be (-23 + -95)*(1/2 + -1). Let s = -49 + x. Is s a multiple of 2?
True
Suppose 0*l + 12 = -t + 2*l, 5*t + 8 = -3*l. Let y be 12/42 - t/(-14). Suppose d + 4*d - 60 = y. Is 10 a factor of d?
False
Suppose -5*d - f + 4686 = 0, 715 = d - 5*f - 217. Does 14 divide d?
False
Suppose -2*k - 304 = -4*o, -93 = -3*o - k + 140. Is 57 a factor of o?
False
Let d(s) = 5*s**3 - 8*s**2 + 5*s - 10. Let c be d(5). Let h be 1/((-4)/c*-2). Suppose -h = -6*n + 329. Is 8 a factor of n?
True
Suppose -5*y = 3*n - 1253, 4*n + 3*y = 139 + 1517. Is n a multiple of 8?
False
Let s = 8 + -5. Suppose -l - 3*v = 3*l - 4, l + s*v = 1. Is 13 a factor of (260/(-30))/(l/(-3))?
True
Let s(m) = -3*m**3 - 32*m**2 + 26*m - 31. Is s(-13) a multiple of 11?
True
Let g(k) = 3*k**2 + 20*k - 5. Let h be g(-7). Let v = h + 178. Is v a multiple of 38?
False
Let q be 1/1*6/2. Suppose 0 = 4*u - i - 18, -u + q = -i - 0. Is (12/u)/((-3)/(-20)) a multiple of 9?
False
Let d(c) = c**3 + 13*c**2 + 11*c - 5. Let k be d(-11). Let p = k + -83. Suppose 0 = 2*f - p + 1. Is f a multiple of 4?
True
Let s(t) = t**2 - 6*t + 20. Does 23 divide s(40)?
True
Let s be (-50)/(-20)*(44 + 2). Let z = s + -37. Is 6 a factor of z?
True
Suppose -12 = 4*f - 48. Does 3 divide f?
True
Is (2 + 2/(-3))/((-33)/(-3564)) a multiple of 8?
True
Suppose -848 = -6*t + 4*t. Suppose 0 = 5*c - c - t. Suppose 4*i + 113 = 3*z, -49 - c = -4*z + i. Does 5 divide z?
False
Let d be -2*(-3 - 9/(-2)). Let v = -1 - d. Suppose -3 = m - v*o, m = 4*m - 3*o. Does 3 divide m?
True
Let z(d) = 12*d - 31. Does 41 divide z(6)?
True
Let z = -694 - -850. Does 3 divide z?
True
Suppose -2*v + 60 = 4*x, -5 = -5*x + 20. Does 3 divide v?
False
Let s(v) = 5*v**2 - 2*v + 2. Let d be s(1). Suppose 5*z = -d*a + 4*a + 67, -4*a + 217 = 3*z. Does 26 divide a?
True
Suppose -16847 - 2669 = -28*c. Does 53 divide c?
False
Suppose -49 - 11 = -4*c. Is 22 a factor of 1020/c + -2*1?
True
Let u = -449 + 797. Suppose -72 = -5*h + u. Is h a multiple of 14?
True
Let r(d) = 3*d - 37. Let w be r(10). Is 5 a factor of w/(-4 - 3) - (1 + -37)?
False
Let q(i) be the second derivative of -i**6/80 - i**5/40 + i**4/4 + i. Let k(s) be the third derivative of q(s). Is k(-3) a multiple of 7?
False
Suppose 0 = 4*c + c. Let b(j) = j**3 - j**2 - j + 3. Let r be b(c). Suppose -r*t + s + 65 = t, -4*s + 12 = 0. Is 3 a factor of t?
False
Let i be 0*(-1)/(-6)*-3. Suppose 513 = 3*t - a - 2*a, -t - 3*a + 151 = i. Is t a multiple of 15?
False
Is 12 a factor of -9 + 310/13 - 10/(-65)?
False
Let h(k) = -6*k**3 - 3*k + 1. Let m be h(2). Let n = 105 + m. Is n a multiple of 13?
True
Let o be 1*(2 + 0) + 11. Let n = 31 + -28. Let t = o - n. Is t a multiple of 5?
True
Let d(h) = 2*h**2 + 2*h - 1. Let w = -1 + -3. Is d(w) a multiple of 7?
False
Suppose -2451 + 351 = 10*o. Let j = o + 300. Is 9 a factor of j?
True
Let a = 802 + -766. Does 9 divide a?
True
Let a(r) = 46*r**3 + 4*r**2 + 5*r - 7. Is 159 a factor of a(4)?
True
Let m be (-24*1)/4*1. Let u be (m/(-10))/((-9)/(-45)). Suppose u*r - 201 = -t - 3*t, -2*t + 103 = r. Does 18 divide t?
True
Let m = -232 - -321. Does 2 divide m?
False
Let x = -568 - -582. Is x a multiple of 14?
True
Suppose 2*x - 3336 = 4*o, -26718 = -8*x - 8*x + 2*o. Is 27 a factor of x?
False
Let f be 6/(-14) - 645/(-35). Suppose -f*h + 12*h = -1152. Does 24 divide h?
True
Let r = 51 - 31. Suppose -2*o + 38 + r = 0. Is o a multiple of 4?
False
Let q = 120 + 138. Is 13 a factor of q?
False
Let n = 14 + -12. Suppose 5*q = -j + 43, -j = -n*j - 3*q + 43. Does 8 divide j?
