ide f(9)?
True
Suppose 4*n = -83 + 263. Is n a multiple of 10?
False
Suppose 24 = -0*c - 4*c. Let p be (-3)/(c + 0)*36. Suppose 0 = 2*j + j - p. Is 4 a factor of j?
False
Suppose 0*m + n - 161 = -5*m, -4*n = 16. Is m a multiple of 5?
False
Let n be (8 - 5)/((-1)/9). Let c = 39 + n. Is c a multiple of 12?
True
Is 13 a factor of ((-13)/(-10)*4)/(4/80)?
True
Let h = -13 - -18. Suppose 0 = 4*u - 4, 0 = -h*s + 3*u - 7*u + 244. Is s a multiple of 8?
True
Let c(s) = -s**2 + 10*s + 2. Let y be c(10). Suppose 0*i + 4*i - 102 = 3*u, -2*i = y*u - 58. Does 16 divide i?
False
Let t = 3 + 29. Let m = t - -10. Is m a multiple of 14?
True
Let p(a) = -a**3 + 14*a**2 - 27*a + 12. Is 25 a factor of p(11)?
False
Suppose 4*t - 15 = 5*f, -t + f = 2*f + 3. Let x be (15 - t/1) + -2. Let v = x + 3. Is v a multiple of 16?
True
Suppose -4*r + 5*l = 6, 0 = 5*r + 2*l - 0*l + 24. Let b(y) = -y**2 - 4*y - 4. Let v be b(r). Is 11 a factor of 218/11 - v/22?
False
Suppose c = -4*t + 90, -4*c - 108 = -5*t + 15. Let i be (-3)/(9/6) - t. Let w = -2 - i. Is 9 a factor of w?
False
Let j(n) = -2*n**2 + n. Let w be j(-1). Let d be (6/9 + 0)*w. Is 2 a factor of (-7 - 1)/d*1?
True
Suppose i = 2*i - 19. Does 5 divide i?
False
Let g(n) = n**2 + n - 1. Suppose 6*p - p = -15. Let b be g(p). Suppose b*o - o = 92. Does 6 divide o?
False
Suppose 4*j - 2*r = -0*j + 18, 3*j - 4*r = 6. Does 8 divide (8/(-1))/((-3)/j)?
True
Suppose v - 2*v = -4*h - 48, h = -4*v + 175. Is v a multiple of 8?
False
Let x = -51 - -153. Is 34 a factor of x?
True
Suppose 2*d + 2*d = -20. Let k(x) = 8*x**2 + 6*x - 5. Let q(i) = 17*i**2 + 12*i - 10. Let r(h) = 13*k(h) - 6*q(h). Does 9 divide r(d)?
False
Let a = 1 + -1. Suppose 5*b = -y + 102, a = -5*b - 2*y - y + 96. Suppose -3*p + 3*i = -3, p + 5*i - i - b = 0. Is 5 a factor of p?
True
Let t(u) = u**2 + 8*u - 11. Suppose -7*m = -9*m - 22. Does 11 divide t(m)?
True
Suppose -44 = 2*x + 4*t, -2*t + 42 = -0*x - 3*x. Let r = 35 + x. Is 12 a factor of r?
False
Let t = -242 - -369. Does 35 divide t?
False
Suppose -13 = -3*t + 5. Is t a multiple of 5?
False
Let k = -61 - -256. Let z = -133 + k. Is z a multiple of 21?
False
Suppose k - 3*w - 28 = 0, -3*k = 2*k + 5*w - 120. Suppose -3*i - 2*i + k = 0. Suppose -42 = -3*g + 5*u, 0 = -g - i*u + 27 + 7. Is 7 a factor of g?
False
Let y(u) = u**2 - u - 3. Let p be y(3). Suppose p*c + 57 = 3*m, -15 = 2*c + c. Is m a multiple of 14?
True
Let x(z) = z**2 + 8*z - 2. Let k be x(-9). Is 10 a factor of (1/(-3))/(k/(-546))?
False
Suppose -2*m - 5*f = -f - 24, 5*m + 5*f = 55. Is ((-12)/m)/((-22)/55) a multiple of 3?
True
Suppose -5*u + 57 = -48. Does 11 divide u?
False
Let m = 1 - -2. Suppose k + m*k = -2*f + 84, 2*k - 36 = 2*f. Is 10 a factor of k?
True
Let a = 4 + -1. Suppose 4*s + 45 = 3*c, -c - a*c + 29 = 5*s. Is c a multiple of 11?
True
Let u(j) = -j**2 + 5*j + 4. Suppose n - 3 = 2. Let x be u(n). Suppose x*k = 5*k - 34. Is 17 a factor of k?
True
Let h = 2 - 4. Let i(b) = 2*b**2 + 2*b. Let z be i(h). Suppose -2*r - z = -5*q + 4*q, 2*r = -2. Does 2 divide q?
True
Let i(b) be the second derivative of -b**3/2 + 5*b**2/2 + 4*b. Does 13 divide i(-5)?
False
Let a = -42 - -54. Does 6 divide a?
True
Let v = 214 - 130. Does 6 divide v?
True
Suppose b - 3 = 13. Is 3 a factor of b?
False
Let b be 29 - (0/(-1) - 0). Suppose o + s = 11 + 40, 4*o = 5*s + 168. Let c = o - b. Does 18 divide c?
True
Let v(g) = -6*g**2 - 2 + 15*g**2 + g**3 - 5 + 4*g. Does 12 divide v(-8)?
False
Let q(c) = 38*c. Is 27 a factor of q(1)?
False
Suppose -v - 11 = -g - 32, -42 = -2*v - 2*g. Let l be 2/(-10) - v/(-5). Suppose 0*w = l*w - 72. Is w a multiple of 6?
True
Let y(g) = 12*g - g**2 + 9*g - 8 - 5. Does 28 divide y(10)?
False
Suppose -2*t - 2 = 0, 3*t + 230 = 3*d - 2*t. Is d a multiple of 19?
False
Let b(n) = -11*n**3 + 2*n**2 + 7*n + 3. Let j(t) = -17*t**3 + 3*t**2 + 10*t + 4. Let l(r) = 7*b(r) - 5*j(r). Is 7 a factor of l(1)?
True
Suppose 0 = -4*c + x + 28, -5*c + x + 35 = -0*c. Let q = c - 22. Let m = 36 + q. Is m a multiple of 10?
False
Let f be 2/(4/(-30)*-3). Suppose -3*l = f*q + 4 + 6, -4 = 4*l + 2*q. Suppose -5*s + 0*s + 70 = l. Is 14 a factor of s?
True
Suppose 2*v - 6*v - 28 = 0. Is 3 a factor of (2 - v)*2/6?
True
Suppose -4*t = 3*v + 2*v - 10, -5*v = 2*t - 10. Suppose k + 0*k = 5*y + 10, v*k + 5*y = 35. Does 15 divide k?
True
Suppose -6*x + 2*x = -220. Is x a multiple of 11?
True
Let a(l) = -18*l**2 - 3*l + 3. Let g(h) = -h + 1. Let s(p) = -a(p) + 4*g(p). Is s(1) a multiple of 18?
True
Let l = 22 + 22. Is 38 a factor of l?
False
Suppose 3*y - 5*j = 236, 3*y + y - 5*j = 323. Suppose -3*v + 58 = -l + 3*l, -4*v = -3*l + y. Is l a multiple of 18?
False
Let r be 3/(-2)*-2*1. Let z(q) be the first derivative of q**4/2 - 2*q**3/3 - 3*q**2/2 + q + 3. Is 11 a factor of z(r)?
False
Let o = 96 + -56. Is 4 a factor of o?
True
Suppose 4*j = -3*l + 5*j + 42, -2*j - 14 = -l. Is l a multiple of 3?
False
Let t = 318 - 185. Is 15 a factor of t?
False
Let u be (-4)/(-22) - 1224/(-44). Is 6 a factor of (u - -2 - 0) + -2?
False
Let w = 51 - 47. Is w even?
True
Let q = 31 + 41. Is q a multiple of 24?
True
Suppose 415 = -4*b + 1119. Does 44 divide b?
True
Let z = -4 - -6. Let q be 4/(-6)*z*-3. Does 16 divide (-170)/(-4) - q/(-8)?
False
Suppose -2*d + 19 + 11 = 0. Suppose -k + d + 22 = 0. Does 18 divide k?
False
Suppose 5*d - d = 72. Is 9 a factor of d?
True
Suppose 2*w = -3*p + 228, -w - 5*p + 62 = -38. Is w a multiple of 28?
False
Let o(b) = -b - 14. Let t be o(-7). Let k = -3 - t. Is 4 a factor of (-1 + 4)/(3/k)?
True
Let s = 3 + 6. Let h = s + -4. Is h a multiple of 4?
False
Let w be ((-2)/3)/(4/18). Let z = 0 - w. Does 3 divide z?
True
Suppose 3*w - 22 = 4*d - 5*d, 5*d + 5*w - 120 = 0. Is 9 a factor of d?
False
Let i(c) = 4*c + c**2 + 5 + 6*c**2 + c**3 + 1. Suppose -3*l - 20 = l. Does 13 divide i(l)?
False
Let h be ((-30)/4)/((-3)/(-6)). Is 10/h - 94/(-6) a multiple of 4?
False
Let a = -27 + 31. Is a a multiple of 4?
True
Let z(m) = 36*m + 28. Let i(q) = -q - 1. Let s(h) = 24*i(h) + z(h). Let l be s(3). Suppose x - l = -4*x. Is x a multiple of 8?
True
Let g = 53 - 38. Is 3/(-15) - (-573)/g a multiple of 11?
False
Let d = 654 - 434. Does 20 divide d?
True
Suppose 4*r - f - 28 = 3*f, 0 = 4*r - f - 34. Let y(l) = -5*l + l**2 - 2*l - 5 - 5. Is y(r) a multiple of 5?
False
Suppose 2*w + 3 = -3*l + 7, 0 = -2*l - 2*w. Suppose -3*j + 19 = 2*r - 6*j, -l*r + 59 = j. Does 7 divide r?
True
Suppose -z + 62 = 23. Let s = -15 + z. Is 9 a factor of s?
False
Suppose 3 - 16 = -13*g. Let b(f) be the second derivative of 10*f**3/3 + f**2/2 + f. Is b(g) a multiple of 9?
False
Suppose -k - 3*g = -74 - 1, 426 = 5*k - 2*g. Is ((-104)/(-14))/(24/k) a multiple of 8?
False
Suppose 2*t = 4*g + 120, -2*t + 120 = -2*g - 0*g. Is t a multiple of 20?
True
Let j = 2 + -4. Let u(v) = -3*v**3 - 2*v**2 + v + 1. Let t be u(j). Suppose g + 1 = t. Is 5 a factor of g?
False
Suppose -3*i - 10 = -4*n, 5*i - 6 = 3*n - 2*n. Let t(k) = 19*k + 9. Let y be t(4). Suppose -j = n*j - y. Does 17 divide j?
True
Let u(v) = 61*v + 1. Let h be u(3). Suppose r - 41 = 5*p, 3*r - 4*p - h = -2*r. Does 7 divide r?
False
Let g(o) = 54*o - 29. Is g(2) a multiple of 19?
False
Let c be -2 - (-6)/(3 - 1). Let m(r) = 2*r**2 + r. Let b be m(c). Suppose -b*q = -s - 80, -2*q - 5*s + 44 = -s. Does 8 divide q?
False
Let k(l) be the second derivative of -l**5/20 - l**4/12 - 2*l**2 - 4*l. Let z be k(0). Does 11 divide (-6)/8 + (-99)/z?
False
Suppose -3*l + 2*l + 5 = 0. Suppose -f - 25 = -l*a - 3*f, 0 = 5*a - 4*f - 55. Does 7 divide a?
True
Suppose 0 = 2*v + 4*k - 2*k - 12, 3*v = -5*k + 24. Let h(t) = -1 - 2*t + v*t**2 - 2 - 2*t**2 - 3*t. Is 11 a factor of h(-4)?
True
Let h be (-2)/((-6)/(-3)) - -1. Suppose -u - 2*n - 24 = -2*u, h = 5*u + 5*n - 150. Does 5 divide u?
False
Suppose 2*l - 15 = -l. Suppose 12 = 3*v, 4*v - l*v + 4 = 4*b. Does 11 divide 1/(b + -1) - -19?
False
Let n(u) = -u**3 + 10*u**2 + u. Let b be n(9). Suppose b = -4*k - k. Let l = k + 35. Is 17 a factor of l?
True
Suppose 0 = 4*j + 2*j. Is (-18)/(-4)*(4 + j) a multiple of 9?
True
Suppose 31 = -5*t - 2*f, -5*f + 7 = -2*t - 4*f. Let x be 40/12*6/t. Let z = x + 10. Does 6 divide z?
True
Suppose -30*k + 28*k + 204 = 0. Is 34 a factor of k?
True
Let g = 31 + 49. Is 8 a factor of g?
True
Sup