7. Suppose f = -5*k + 100, -4*k + 0*f = -u*f - b. Is k a multiple of 7?
True
Suppose r - 9 = 23. Suppose r = i - 48. Suppose t - 5*t = -i. Is 10 a factor of t?
True
Let y(g) = 15*g - 12. Let j be y(1). Suppose 3*b + 9 = 0, -w - 4*w - j*b + 381 = 0. Is 13 a factor of w?
True
Let a(r) = r**2 + r - 1. Let j(h) = -51*h**2 - 6*h + 5. Let d(g) = -5*a(g) - j(g). Suppose 0 = 2*f - 5*l + 17, -9 = -4*f - 3*l - 4. Is 14 a factor of d(f)?
False
Let l(y) = y**3 + 3*y**2 + 3*y + 30. Is l(0) a multiple of 6?
True
Let b be (-22)/33*(-6)/4. Suppose -b = 9*n - 8*n. Let p(o) = -38*o + 1. Is 15 a factor of p(n)?
False
Let i(s) = s**2 + 2*s - 12. Suppose -5*m = 25, -k - 2*k + 2 = 5*m. Suppose k = p + 18. Is 17 a factor of i(p)?
True
Suppose 3*z - 34 = 32. Suppose 4*p + 10 = q - z, 5*p = 3*q - 61. Is q a multiple of 8?
False
Suppose 3079 - 1610 = o. Is 113 a factor of o?
True
Let b(c) = 5*c**2 - 5*c - 6. Let h be (8/(-10))/(8/(-60)). Let i be b(h). Suppose 9*w = 5*w + i. Does 18 divide w?
True
Let q = -20 + 19. Let k = 8 + q. Suppose 39 = k*y - 6*y. Does 13 divide y?
True
Suppose 15 = l + 13. Let k(s) = 7*s**3 + 3*s. Let z(t) = -14*t**3 + t**2 - 5*t. Let j(v) = -5*k(v) - 3*z(v). Is j(l) a multiple of 17?
False
Let k = 2665 + -1536. Is k a multiple of 16?
False
Let a = 25 + -21. Let w(z) = 2*z**2 - 7*z + 6. Is 9 a factor of w(a)?
False
Suppose -z = 9*z - 90. Suppose 0 = z*q - 5*q - 84. Is q a multiple of 21?
True
Does 15 divide 1/(-7) - 101322/(-273)?
False
Suppose -3*y = -6*y. Suppose y = -4*k + 12, -2*q - 6*k = -k - 9. Is 14 a factor of (-4 - q - -3) + 54?
True
Let l = 1075 + -89. Is l a multiple of 42?
False
Let o be (2/3)/((-172)/60 + 3). Suppose -5*f = z - 56, 14 = -o*z - 6. Is f a multiple of 4?
True
Is 5 a factor of (-6120)/(-36) - 20/2?
True
Suppose -22*s + 6*s = -4784. Is 13 a factor of s?
True
Let w = 1589 + -390. Does 75 divide w?
False
Suppose 9*g - 1238 = 3307. Is 6 a factor of g?
False
Suppose -5*r - 4*y + 1899 = 111, -9 = 3*y. Is 8 a factor of r?
True
Let f(w) = 6*w**2 - 307*w + 66. Is f(54) a multiple of 8?
True
Let h(s) = 3*s**2 - s**3 + 8*s - 28*s + 6*s + 13*s + 1. Is h(-3) a multiple of 10?
False
Suppose 960 = 2*a - 0*a - 4*n, 0 = 5*a + 4*n - 2358. Is a a multiple of 92?
False
Let t be 2 - 1*(1 - 5). Let b(x) = -x**3 + 7*x**2 + 4*x - 14. Is 7 a factor of b(t)?
False
Let m = 13 - 10. Let u be (-3)/m - -3 - 2. Suppose 3*r - j + 0*j = 92, -5*r + 3*j + 156 = u. Is 10 a factor of r?
True
Suppose 26*r - 124425 = -9*r. Is r a multiple of 79?
True
Suppose -3251 = -14*t - 73. Is t a multiple of 4?
False
Let d be -7 - 121/(121/(-11)). Suppose 0 = -0*k + 2*k - 48. Suppose 2*j + k = d*j. Is j a multiple of 2?
True
Let f(o) = -o**2 + 13*o - 35. Let j be f(8). Suppose 173 = 7*c + j. Is 10 a factor of c?
False
Let c = 190 - 58. Suppose 0 = 3*i - p - 99, -2*p - 3*p = 4*i - c. Does 11 divide i?
True
Let t(m) = m**3 - 6*m**2 + 5*m - 1. Let i be t(5). Does 14 divide 3 + i - (-16 + 4)?
True
Suppose 5*l + 29 = -3*w - 8, -4*l = -5*w - 74. Suppose -52 + 27 = -a. Let p = w + a. Is 7 a factor of p?
False
Let t = -85 - -1099. Does 8 divide t?
False
Let a be (-46)/8 + 4/(-16). Let v(c) = c**2 + 14*c. Let t be v(a). Is 22 a factor of -1 - (t + (-9)/(-3))?
True
Let o(z) = z**2 - 11*z - 3. Suppose -3*p + 45 = 9. Does 2 divide o(p)?
False
Let r = 23 - 30. Let a(z) = -10*z + 5. Does 10 divide a(r)?
False
Let d(m) be the third derivative of 7*m**4/24 + 2*m**3/3 - m**2. Let f be ((-9)/(-6))/(27/90). Does 13 divide d(f)?
True
Let n = 662 - -1209. Suppose -5*s + n = 371. Suppose -m + s = 5*v, 3*v - 5*m - 153 = 55. Does 9 divide v?
False
Let v = 112 + 34. Let r(f) = 15*f + 4. Let c be r(-5). Let g = c + v. Is g a multiple of 20?
False
Suppose 86 = -2*x + 214. Does 8 divide x?
True
Let r(f) be the first derivative of 45*f**2/2 - 7. Does 26 divide r(1)?
False
Suppose 0*z = -4*z. Suppose -2*l - 3*l = z. Suppose 5*j - 17 + 7 = q, l = -5*q - j + 54. Is q a multiple of 3?
False
Suppose -4*n + 1048 = 2*z, 733 + 1388 = 4*z + 3*n. Is 22 a factor of z?
False
Let j be ((-6 - -2)/2)/(4/172). Does 22 divide 2 - (-3 - 0)*j/(-6)?
False
Let m = -3074 + 6011. Does 47 divide m?
False
Suppose 3*q = -o + 2447 - 832, 1600 = 3*q + 4*o. Does 18 divide q?
True
Suppose -3 = -3*p + 5*b + 258, 451 = 5*p - 3*b. Let r = p - 49. Is r a multiple of 10?
False
Let q be (13/(-39))/(2/(-12)). Does 9 divide (-540)/(-16) + q/8?
False
Let l(y) = -y**3 + 15*y**2 + 2. Let s be l(15). Suppose -424 = -t + s*c - c, -3*t - 3*c + 1254 = 0. Suppose -16 + t = 5*j. Does 21 divide j?
False
Let h = -8 + -4. Let g be (h/20)/((-1)/5). Suppose o - 50 = -3*k + 84, 146 = g*k - 2*o. Is k a multiple of 23?
True
Let k be -4 + (-51)/(-15) + 56/10. Suppose -2*t = -5*r - 474, k*t - 3*r - 1154 = -6*r. Is 31 a factor of t?
False
Let o(x) = -2*x**3 - 13*x**2 + 7*x + 5. Let b be o(-7). Suppose -b*v = 3*v - 336. Does 14 divide v?
True
Is -96*(-7 - -1 - (-90)/18) a multiple of 67?
False
Let a(f) = f**3 - 9*f**2 - 10*f + 4. Let n be -4*(1/2 + -3). Let s be a(n). Let h(k) = 4*k - 10. Is h(s) even?
True
Suppose 0 = 2*y - 3*y - 5*h + 2, -4*h + 6 = 3*y. Let s be y - (-1 - 2) - -2. Suppose -3*x = -47 - s. Is x a multiple of 6?
True
Let g(l) = 2*l**2 - l + l**2 + 4*l + 10 - 5. Let f(h) = h**2 + 5*h - 2. Let o be f(-5). Is g(o) a multiple of 5?
False
Let n(b) = -6*b + 26. Let h be n(4). Is 1/((10/35)/h) a multiple of 4?
False
Suppose -2*d = 5*q - 8, -q = -3*d + 12 - 0. Suppose v = d*y + 2*v - 36, -4*y = -v - 28. Does 8 divide y?
True
Let i(r) = 279*r**3 - r**2 - r + 2. Is i(1) a multiple of 31?
True
Is 12 a factor of (-168)/(-84) + 384 + 0?
False
Suppose -4*z = 3*g - 6*g + 1342, -3*g + 1310 = 4*z. Is g a multiple of 13?
True
Let l(c) = c**2 + 12*c - 30. Is 8 a factor of l(7)?
False
Let s(t) = -t**3 - 15*t**2 + 9*t + 7. Is s(-17) a multiple of 9?
True
Suppose 0 = -30*i + 25*i. Let u be 14*(1 + i/4). Let o = u + 17. Is o a multiple of 7?
False
Let n(a) = a**2 + 9*a + 7. Let c be n(-9). Suppose -2 + c = -5*h. Does 8 divide 4/(-3)*(-11 + h)?
True
Let p be 312/(-9) - 6/(-9). Let l = -26 - p. Let g(f) = -2*f**3 + 17*f**2 + 6*f + 6. Is 21 a factor of g(l)?
False
Let v(n) = n**2 + 9*n + 3. Let m = -12 + 14. Suppose 0*l = m*j + l + 23, 5*l + 24 = -3*j. Is v(j) a multiple of 11?
True
Suppose -3*i - i - 2*g = 562, i + 4*g + 158 = 0. Let x = -118 - i. Does 4 divide x?
True
Let n(y) = y**2 + 2*y + 36. Let m be (3 + -3)/(-2 - -1). Let a be n(m). Suppose -11*z + 10*z + a = 0. Is z a multiple of 12?
True
Let x be -7 - 2 - (2 + 0). Suppose -3*c + s - 18 = c, 0 = -5*c - 2*s - 29. Let v = c - x. Is v a multiple of 5?
False
Let x be 1*(-7)/(21/(-9)). Suppose -3*h = -2*a + x*a - 38, 238 = 5*a - h. Does 5 divide a?
False
Let y = -7 + 11. Let t be -3 + 0 + (-13 - -18). Suppose -4 = 3*i + t, 0 = y*o + 5*i - 102. Is 7 a factor of o?
True
Let r be 2/(-4)*(-22)/(-1). Let l = 6 + r. Is (-284)/l + (-2)/(-10) a multiple of 17?
False
Let x(y) = y**3 + 25*y**2 - 25*y - 22. Let a be x(-26). Let i = a - -82. Is 8 a factor of i?
False
Let x(g) = -g**3 - 2*g**2 - g. Let v be x(-2). Is 6 a factor of 160/15 - v/3?
False
Suppose 2*l = -0*l + 26. Let x = 24 - l. Does 5 divide x?
False
Let s(f) = -4*f - 13. Let v be s(-4). Suppose -3*n + 17 = j, -v*n - 8 - 5 = -5*j. Suppose 0 = -x + 2*y + 7, -j*x = -4*y - 39 - 20. Is x a multiple of 8?
False
Is 33*-38*8/(-24) a multiple of 22?
True
Let z(p) = -p - 13. Let o be z(-15). Let x(d) = o - 2 + 2 + 1 + 6*d. Is 11 a factor of x(5)?
True
Suppose -33 = 3*f - 453. Let r = 68 - f. Let z = 117 + r. Is 10 a factor of z?
False
Let k be 84/7*(-9)/(-4). Let d be k/6*(-20)/(-6). Let s = d + 5. Does 7 divide s?
False
Let o = -12 - -15. Let f(i) = -i + 3. Let x be f(-3). Is o/18 - (-239)/x a multiple of 20?
True
Let j(m) = -m**2 - m + 98. Let k(g) = 11*g + g**3 + 62 + 7*g**2 - 68 - 6*g. Let u be k(-6). Is j(u) a multiple of 27?
False
Suppose 6 + 0 = -3*m + 5*h, 0 = -2*h - 6. Let k = -13 + 12. Let j = k - m. Does 3 divide j?
True
Let f be (-12 - -10)/(2/(-4)). Suppose 72 = -3*r - r. Let j = f - r. Does 22 divide j?
True
Is (45/18)/(10/1956*3) a multiple of 17?
False
Suppose -3*i = -l + 13, -4*i = 5*l + 1 - 9. Let k = 89 + -167. Is 9 a factor of k*(i - 8/(-3))?
False
Let x(j) = 4*j**2 - j + 1. Suppose -4*y + 5*y - 2 = 0. Does 4 divide x(y)?
False
Let f(x) = 19*x**2