(7)?
True
Let d be 0 + 1/((-5)/(-20)). Suppose -v + 5*v - 8 = 0, d*c = 5*v + 6. Suppose 0 = c*z + 10 - 58. Is z a multiple of 6?
True
Let m(k) = -k**3 + 8*k**2 + 13*k - 6. Let t = -107 - -161. Suppose 7*a = a + t. Does 15 divide m(a)?
True
Let n = 465 + -369. Is n a multiple of 12?
True
Suppose 5340 = 34*l - 7920. Does 5 divide l?
True
Let r(i) = 61*i**2 - 3*i + 2. Suppose 5 = 6*g - g. Is r(g) a multiple of 15?
True
Let i(d) = -d**3 + 12*d + 48. Is i(-4) a multiple of 2?
True
Let q(g) = g + 13. Let o be q(10). Let h = -20 + o. Suppose 66 = h*p - 132. Is p a multiple of 33?
True
Suppose -f = 5 - 4. Let m(w) = 19*w**2 - 3 + 1 - w + 0. Is 6 a factor of m(f)?
True
Suppose 0*k = 5*k - 15. Suppose 2*b = -k*y + 5*y + 242, 2*b - y = 239. Is b a multiple of 20?
False
Let q be 3/(-9) + 80/15. Suppose 0 = q*o + 20, -o = 5*r - 5*o - 266. Does 10 divide r?
True
Suppose -16 = -5*b + 9, 0 = -l - 2*b + 2958. Is l a multiple of 67?
True
Is 50 a factor of 9/6 + 116067/42?
False
Suppose 0*d + 4*d = 3*c - 777, -1290 = -5*c + 5*d. Does 21 divide c?
False
Suppose 3*x - 5288 = f, -8836 = 38*x - 43*x - 4*f. Is x a multiple of 28?
True
Let n(i) = 4*i**3 + 3*i**2 - 4*i - 8. Let f(l) = -7*l**3 - 6*l**2 + 8*l + 17. Let q(t) = 3*f(t) + 5*n(t). Is 20 a factor of q(-6)?
False
Let j = 1369 - 320. Is j a multiple of 5?
False
Suppose -3*y = -0*y + 4*u + 23, 0 = 4*u - 16. Let f(x) = -3*x - 6. Is f(y) a multiple of 7?
False
Let p(u) = u**3 + u**2 + 2*u + 12. Let w be p(0). Let c be w/8*106/(-3). Let a = c + 101. Does 16 divide a?
True
Suppose 0 = 5*y - 176 - 84. Is y/(-3)*(-6)/4 a multiple of 17?
False
Let r = 7 - 5. Let h be (-18)/(-12)*r/1. Is 29 a factor of ((-27)/h)/(-3) - -26?
True
Let j(y) = 6 - 10*y + 12*y + 31*y**2 - 7. Is j(-2) a multiple of 38?
False
Let q = 40 - 35. Suppose -43 = -4*a + 4*w + 157, -2*w = -q*a + 244. Is a a multiple of 24?
True
Let m(o) = 5*o**2 + 20*o + 9. Let g be m(-8). Let c = -55 + g. Does 38 divide c?
True
Let r(i) = -i**2 - i - 1. Let c(u) = -5*u**2 + 2*u - 1. Let y(x) = -c(x) + 4*r(x). Suppose -47 + 65 = -3*z. Is y(z) a multiple of 12?
False
Suppose 4*d = 9*d + p - 1995, -4*p - 420 = -d. Does 4 divide d?
True
Suppose 0 = -t - 0*t - 3*t. Suppose -k - 3*a + 14 + 13 = 0, 3*k + 2*a - 88 = t. Does 5 divide k?
True
Let h(z) = -z**3 - 2*z**2 - z. Let p be h(-2). Suppose 2*v + p*v + 496 = 0. Let n = v + 176. Does 13 divide n?
True
Let a = 2 - 0. Let y(j) = 57*j**2 - 2 - 2*j + 10*j**3 + 4 - 57*j**2. Is y(a) a multiple of 39?
True
Let c(o) = -5*o - 8. Let m be c(-4). Let u(w) = -w**3 + 13*w**2 - 6*w - 17. Is 15 a factor of u(m)?
False
Let o(m) = 3*m**3 + m**2 - 2*m + 1. Let p be 0 + 3*(-2)/(-6). Let h be o(p). Suppose 3*z + h*j = 33, -5*z + 8*j + 105 = 3*j. Is 16 a factor of z?
True
Let b(t) = 5*t**2 + 1 + 0 + 5*t + 23*t**3 - 24*t**3. Does 6 divide b(3)?
False
Suppose 0 = -37*g + 48*g - 23144. Is 8 a factor of g?
True
Suppose -1827 = -12*q + 1173. Is q a multiple of 4?
False
Let d = -357 + 487. Is 3 a factor of d?
False
Let z(u) = -12*u + u**2 + 43*u - 23*u + 28. Is z(-9) a multiple of 9?
False
Suppose -19*m + 58484 - 1275 = 0. Is 24 a factor of m?
False
Let x be 2 + -5*(-6)/15. Suppose 0 = -5*v - x*o + 95, 84 = 3*v - 0*v - 3*o. Let s = -13 + v. Is 3 a factor of s?
False
Let n(r) = -76*r**3 + 3*r**2 + 5. Let l(p) = 151*p**3 - 5*p**2 - 9. Let j(s) = 4*l(s) + 7*n(s). Is 14 a factor of j(1)?
False
Suppose 0*k - 4*k - 4 = 0. Is -3 + -99*1*k a multiple of 32?
True
Let x = -440 + 524. Is x a multiple of 14?
True
Let g be -1 - 45/12*4. Does 23 divide (-7501)/(-104) + 2/g?
False
Let m(v) = -26*v + 49. Let k be m(-9). Let d = 443 - k. Is d a multiple of 32?
True
Suppose 12*v - 1585 = 1103. Suppose 3*d = v - 8. Is d a multiple of 9?
True
Let m be 3 + (-5 + 2 - 52 - 1). Let j = -15 - m. Does 12 divide j?
False
Let n(z) = z**2 + z + 1. Let i be n(-2). Let b = 12 + -7. Is 4 a factor of -3 - (b - i - 29)?
True
Let w(z) be the second derivative of -z**3/6 + 5*z**2 + 102*z - 2. Suppose -7*b + 3*b - 32 = 0. Does 3 divide w(b)?
True
Suppose -11 - 1 = -4*j. Suppose j*c - 5*c + 68 = 0. Let o = c + 19. Is o a multiple of 33?
False
Suppose -7*u = -5*u - 1298. Does 12 divide u?
False
Suppose -63*w + 60722 + 6877 = 0. Does 37 divide w?
True
Suppose -3*n - n + 52 = 0. Let s(a) = a**3 - 12*a**2 - 12*a + 19. Is s(n) a multiple of 4?
True
Suppose q - 1863 = 4*o, 0 = -5*q - 3*o + 7742 + 1550. Is q a multiple of 11?
True
Let o(i) be the second derivative of -i**4/12 + 7*i**3/6 + i**2 + i. Let s be o(7). Suppose 3*p = -s*p + 70. Is 14 a factor of p?
True
Is (36 + 8)/(4/28) a multiple of 47?
False
Suppose 3*r = 9*j - 12*j + 1995, 1321 = 2*j + 5*r. Does 75 divide j?
False
Suppose 0 = 5*r + 15, -2 + 14 = n - 4*r. Suppose n = 3*f - 332 - 88. Is f a multiple of 28?
True
Suppose 126 = 20*d - 19*d. Is d a multiple of 14?
True
Let t(k) = 2*k - 10. Let c(f) = -2*f + 12. Let z(w) = -2*c(w) - 3*t(w). Let v(l) = -l**3 - 9*l**2 - 7*l - 7. Let j be v(-8). Is z(j) a multiple of 9?
True
Suppose -m - 36 = 22. Let x be 1 + -2 - 2 - -137. Let y = x + m. Is 20 a factor of y?
False
Let p(t) be the first derivative of 9/2*t**2 + 3*t + 2. Is 20 a factor of p(4)?
False
Let c(x) = -30*x**3. Let v = -17 + 22. Suppose 0 = 4*m, 0 = -v*d - 3*m + 2*m - 5. Does 15 divide c(d)?
True
Suppose 0 = 2*z + 4*l - 246, -l = -3*z + 2*z + 132. Is 20 a factor of z?
False
Suppose 1814 = -26*k + 12604. Is k a multiple of 17?
False
Let j = -184 + 131. Let i = 10 - j. Suppose -4*z + c + 2*c + i = 0, -51 = -2*z - 5*c. Is z a multiple of 18?
True
Let x(b) be the first derivative of -60*b**2 - b - 29. Is x(-1) a multiple of 23?
False
Let m(d) = d**3 - 11*d**2 - d + 11. Let n be m(11). Suppose 2*v = 4*c, -3*v - 3*c + 10 + 17 = n. Does 3 divide v?
True
Let o(i) = i**3 - i**2 + 4*i - 4. Let d be o(6). Suppose u + n = -85, 2*u = 3*n + 5 - d. Let h = 155 + u. Does 13 divide h?
True
Let h = -66 - -69. Suppose 0 = m - d - 73, 5*m - h*d + d - 380 = 0. Is 13 a factor of m?
True
Let u(j) = -9*j - 76. Is u(-12) a multiple of 7?
False
Let t(y) = 122*y**3 - 2*y**2 + 5*y - 4. Suppose -5*w = r - 9, 4 = 3*w + r - 3. Does 26 divide t(w)?
False
Suppose 0*v = 3*v - 3. Let j = v - -39. Does 40 divide j?
True
Suppose -2*i = -5*i + 30. Suppose -7*k + 202 = 62. Let v = k - i. Does 9 divide v?
False
Let s(u) = -u**3 - u**2 - u. Let n(r) = -81*r**3 + 4*r**2 + 3*r - 1. Let l(b) = -n(b) - 3*s(b). Let i be l(-1). Let x = -42 - i. Does 12 divide x?
False
Suppose -23 - 17 = -5*o - 2*l, 4*o - 5*l = -1. Suppose -24 = -o*t + 54. Is t a multiple of 2?
False
Let r(h) = 11*h**2 - h - 5. Let c(u) = u. Let k(a) = 4*c(a) + r(a). Let z be k(5). Suppose -z = -2*d - 33. Is d a multiple of 14?
True
Suppose -4*t + t + 1017 = 0. Suppose -5*u + 399 = -2*d, 3*u + u + 5*d - t = 0. Is u a multiple of 27?
True
Let x(j) = -j**3 + 8*j**2 - 2*j - 1. Is 19 a factor of x(3)?
True
Does 7 divide (1104/(-230))/(3/(-10))?
False
Let p = -67 - -249. Is p a multiple of 16?
False
Let h = 163 - 108. Let q = h + 9. Suppose -14*f + 10*f = -q. Is 8 a factor of f?
True
Let f(l) = -137*l + 418. Is 17 a factor of f(-7)?
True
Suppose -24*c + 34320 = -13*c. Is c a multiple of 24?
True
Suppose -2*d + 6*d - 5*v = 21, 5*v = 15. Suppose -6*w - 171 = -d*w. Is w a multiple of 22?
False
Let j be (-14)/(-12) - 13/78. Suppose 20 = 5*g - 5*w, -3*g + j + 7 = w. Does 2 divide g?
False
Suppose -5*g + 95 = 3*j - 332, -3*j - 3*g = -423. Is j a multiple of 19?
False
Suppose 5*h = -3*g + 1, 3*g + 21 = 3*h - 2*g. Is 986/12 + (0 - h)/12 a multiple of 41?
True
Suppose 75 = -h + 113. Is h a multiple of 24?
False
Suppose 1260 = s - 15*s. Let m = s + 142. Is m a multiple of 2?
True
Let t(q) = -q**3 + 7*q**2 + 8*q - 4. Let j be 10 + 2/(-2) - (17 + -15). Does 4 divide t(j)?
True
Is 124/124 - (0 - 0 - 1721) a multiple of 21?
True
Suppose -3*x = 5*w - 2*x - 1600, 5*x = -3*w + 960. Is 40 a factor of w?
True
Suppose 444 = 4*z - 3*a, -4*a + 9*a + 333 = 3*z. Let j = z - 20. Does 13 divide j?
True
Let g(n) = -10*n + 7. Does 7 divide g(-15)?
False
Let h be 6/(-4)*(-16)/(-6). Is 16 a factor of 1*h + 75 + -4?
False
Let g = 1451 - 795. Is g a multiple of 16?
True
Let h = 45 + 585. Does 42 divide h?
True
Let t(f) = 2*f + 4. Let y be t(4). Suppose -4*z - 1 = -5*z. Is (z + y/(-9))*-15 a multiple of 5?
True
Let o(m) = -951*m - 6. Let w be