
Is ((3 - 6) + 13)/(4/50) a multiple of 11?
False
Let r be (1*6)/(4 - 2). Suppose r*j - 95 - 22 = g, -g = 0. Does 13 divide j?
True
Let v(b) = b**3 - 8*b**2 + 4*b - 20. Does 11 divide v(10)?
True
Suppose -478 = -3*l + 116. Is l a multiple of 11?
True
Let n = 5 - 7. Let i be (-1 - 18)*(-1 - -2). Is 7 a factor of n/(-3) - i/3?
True
Let o = 2 - -16. Suppose -4*y = -2*f + 14, -o = -4*f + 3*y + 10. Is f a multiple of 7?
True
Suppose d - 7*d = -354. Does 4 divide d?
False
Suppose 4*c - 269 = 3*c. Is 25 a factor of c?
False
Let h(r) = 3*r + 2. Let i be h(-4). Suppose -10 - 11 = 3*d. Let x = d - i. Is 3 a factor of x?
True
Let f(i) = i - i + 5*i - 4. Let y = -16 + 23. Is f(y) a multiple of 13?
False
Let r be (1/2)/(8/48). Suppose 6 = p - r. Is 9 a factor of p?
True
Let f(m) = -m**3 + 12*m**2 - 10*m + 27. Is f(9) a multiple of 36?
True
Let n = 55 + -30. Is 7 a factor of n?
False
Let v(x) = 66*x - 12. Is 24 a factor of v(2)?
True
Let l(u) = -2*u - 11. Let h(y) = -6*y - 32. Let d(s) = -4*h(s) + 11*l(s). Suppose 5*x - x - 20 = 0. Is 17 a factor of d(x)?
True
Suppose -f + 3 = 10. Let w be (-4)/(-14) + (-5)/f. Suppose 15 - w = y. Is 5 a factor of y?
False
Suppose 7 = 5*k + 2. Let j be (k - (-14)/(-6))*3. Is 6 a factor of 15*((-9)/3 - j)?
False
Suppose 0 = 4*r, -2*y - 3*y = 4*r - 625. Let u = y + -30. Does 24 divide u?
False
Let q(g) = 10*g - 2 + 0*g - 2*g. Does 14 divide q(2)?
True
Let p be (10/(-3))/(1/(-3)). Let y(j) be the first derivative of j**4/4 - 10*j**3/3 + 2*j**2 - 11*j - 3. Is 14 a factor of y(p)?
False
Let m = -8 - -98. Is m a multiple of 15?
True
Suppose 5*y = -0*y + 485. Is 14 a factor of y?
False
Let k be (2 - (2 + 6))*1. Let z = -5 - k. Is (z + -9)*1/(-2) a multiple of 3?
False
Let x(v) = 2*v**2 + 7*v - 4. Let w be ((-4)/(-3))/(2/3). Suppose -6*p + w*d - 32 = -p, 2*p - 2*d = -14. Is x(p) a multiple of 13?
True
Suppose 2*c - 22 = 4*a, 2 = a + 5. Is c a multiple of 3?
False
Suppose 31 + 293 = 6*a. Is 18 a factor of a?
True
Let x(a) = 3*a - 12. Let s be x(8). Suppose 84 - s = 4*p. Is 7 a factor of p?
False
Let s = 46 + 26. Is s a multiple of 11?
False
Suppose -5*s + 0*s + 365 = 0. Is 12 a factor of s?
False
Let d(f) = -7*f + 4*f + 2*f + 1 + 0*f. Let w be d(-1). Let i = 28 + w. Does 15 divide i?
True
Let x = -3 - -25. Is 7 a factor of x?
False
Let w = 46 + 5. Suppose -2*i = 2*i + 124. Let a = w + i. Does 10 divide a?
True
Let f = 20 + -19. Let j = 32 + f. Is 33 a factor of j?
True
Suppose 0 = 3*d - 8*d - 605. Let q = -35 - d. Is 25 a factor of q?
False
Let f be (-1)/((-3)/(-3)) - -3. Is 8 a factor of -2 + f - -42 - -2?
False
Let y(d) = -d + 2. Suppose -h + 3*h - 14 = 4*w, 0 = -h - 5. Let x be y(w). Is 3 a factor of (-1)/(-2)*x - -2?
True
Let n(h) = -h**3 + 4*h**2 - 2*h - 1. Suppose 3*c - 3*g = 9, -3*c + 5*g + 5 + 4 = 0. Is n(c) even?
True
Let t = 63 + 1. Is 11 a factor of t?
False
Suppose 0 = 2*g - 4 - 4. Suppose q = 2*o - 3*q - 160, -q + 284 = g*o. Is o a multiple of 22?
False
Suppose 2*t = w + 13, -3*t - 4 = -5*w - 13. Is t even?
True
Let z(r) = -2*r - 10. Let i be 0/(-2) - (-42)/(-6). Let j be z(i). Suppose q + j*w = 2*w + 24, -2*w + 2 = 0. Is q a multiple of 12?
False
Suppose 16 = 3*w + 1. Suppose 24 = 2*b + 4*a, -3*b - a - 9 = -4*a. Suppose -2*n + 3*k + 37 = -b, -k = -w*n + 117. Is 12 a factor of n?
True
Suppose -6*v + 3 = -5*v. Let k(w) = 3*w**3 + 3*w**2 - w - 2. Is 32 a factor of k(v)?
False
Let f be 1 - -1 - (2 + -3). Let q(h) = -1 + h - f*h - h - 4. Is 4 a factor of q(-4)?
False
Suppose u + 5*v + 58 = 0, 3*u + 3*v + 72 = -78. Let z = u + 73. Does 7 divide z?
False
Suppose 6*v = 43 - 13. Suppose -53 = -r - v*z, -4*r = -3*z + 7*z - 148. Is r a multiple of 15?
False
Let j be 20/6*(-21)/(-14). Suppose 80 = j*i + t, -2*t - 59 = -2*i + 3*t. Is 8 a factor of i?
False
Let k(b) = -b**3 + 5*b**2 + 3. Let t(c) = -2*c - 5. Let w be t(-5). Suppose w*a = -3*j + 16, 2*a - 5*j + 0 - 25 = 0. Is k(a) a multiple of 3?
True
Suppose 5*r - 12 = a, 3*a + 15 = 3*r + 3. Suppose 3*t - 2*n - 45 = -5*n, r*t - 26 = -4*n. Is t a multiple of 17?
True
Suppose -4*q + 81 + 64 = -5*a, -4*a + 212 = 5*q. Is q a multiple of 10?
True
Suppose -3*i + 2*r - 9 = -r, -3*i + 19 = 4*r. Suppose i = -w - 9. Let a(h) = h**2 + 8*h - 12. Does 7 divide a(w)?
False
Let v(d) be the second derivative of -1/2*d**2 + 0 - d + 3/2*d**3. Is 3 a factor of v(1)?
False
Suppose -5*r + 8*r - 588 = 0. Is 13 a factor of r?
False
Let p(v) = 2*v + 6. Is p(7) a multiple of 5?
True
Let d(w) = w**3 - 7*w**2 - 4*w - 12. Let o be d(5). Is (o/10)/((-9)/45) a multiple of 15?
False
Let f(w) = w**3 + 8*w**2 - 2*w + 11. Does 9 divide f(-8)?
True
Let j(z) = 4*z**2 + z - 2. Let d be j(-2). Is 8 a factor of (3 + -1)*d*1?
True
Suppose 4*w = 212 + 280. Is w a multiple of 18?
False
Let z(o) = 3*o**2 - 2. Is 5 a factor of z(-2)?
True
Suppose 0 = -3*y + 8*y - b - 15, -3*y + 2*b + 9 = 0. Suppose 0 = -l - 5*m - 25, m - 10 = 5*l + 3*m. Is 16 a factor of l/y - -40 - -2?
False
Suppose 0 = -3*r + 8 + 4, 0 = 2*l - 2*r - 52. Let d be 24/9*78/4. Let v = d - l. Is 11 a factor of v?
True
Let n = 26 - -6. Is 13 a factor of n?
False
Let m be 1/2 + 10/4. Suppose 0 = m*b - b - 64. Is b a multiple of 16?
True
Let t be ((-9)/(-5))/(3/45). Let o = t + 5. Is 7 a factor of o?
False
Let r = 275 + -134. Is 44 a factor of r?
False
Let o(x) be the second derivative of x**4/12 + x**3/6 - x**2 + x. Let f be o(-2). Suppose f = -0*v - v - 3, 4*t = -2*v + 26. Is t a multiple of 3?
False
Let l(h) = -h**2 - h + 27. Let a be l(0). Suppose 27 = -0*y + y - 4*o, y + 2*o = a. Is 9 a factor of y?
True
Let c(h) = 2*h**2 - 2*h - 3. Is 19 a factor of c(6)?
True
Let z be ((-1)/(-2))/(1/12). Suppose 45 = z*m - m. Is m a multiple of 9?
True
Suppose 75 = 3*t - 0*t. Suppose -5*u + 8*o = 4*o - 241, -2*u - 3*o + 78 = 0. Let p = u - t. Does 20 divide p?
True
Let i(j) = 5*j + 1. Suppose 8 = -5*w - 2. Let n(l) = 2*l**2 + 3*l. Let g be n(w). Is 11 a factor of i(g)?
True
Suppose -5*w - f - f + 20 = 0, -5*w + 5*f = -55. Let v(y) = -y**3 + 6*y**2 + 8*y - 4. Let t be v(w). Let z = t + 27. Is z a multiple of 24?
False
Let f(l) = -15*l**2 + 2*l + 17. Let z(h) = -7*h**2 + h + 8. Let g(a) = 6*f(a) - 13*z(a). Let b be g(0). Is 6 a factor of (-14 - 2)/b + -2?
True
Let u(k) = -2*k + 2. Let f be u(-2). Suppose -f*b + 2*b = -12. Suppose 5 - 47 = -b*x. Is x a multiple of 14?
True
Suppose u + g = -2, -6 = -5*u + 4*g - 52. Let n = u - -12. Is n a multiple of 3?
True
Let k(t) = 12*t - 15. Let o(y) = 11*y - 14. Let n(f) = 5*k(f) - 6*o(f). Does 23 divide n(-7)?
False
Suppose 60 = 5*s - 0*o + 5*o, 0 = 5*s - 4*o - 51. Is s a multiple of 3?
False
Does 3 divide (-63)/(-6)*32/12?
False
Suppose -2*z = -19 - 37. Is z a multiple of 4?
True
Is (12/8 - 2)*2*-7 even?
False
Let j be 3*((-1)/(-1) - 0). Suppose j*y = -0*y + 90. Is 8 a factor of y?
False
Let t be (10/4)/(1/2). Suppose l - 4*l + 6 = -h, -t*l = 2*h - 21. Suppose 4*v - 26 = l*v. Is 13 a factor of v?
True
Let r(u) = u**3 + 7*u**2 + 7*u. Let b be r(-6). Let c(s) = s**3 + 6*s**2 - 5*s + 2. Is c(b) a multiple of 16?
True
Suppose 0*s - 160 = -10*s. Is 4 a factor of s?
True
Suppose 4*o = -m + 14, 2*o - 4*m + 2 = -0*m. Let x = 1 - 1. Suppose 0*r - o*r + 54 = x. Is 9 a factor of r?
True
Let h = 15 + -9. Suppose 0 = -5*s + h*s + t - 4, 5*t = 4*s - 61. Is 9 a factor of s?
True
Suppose -15 = -3*r + 21. Is 6 a factor of r?
True
Let w(t) be the first derivative of 1/3*t**3 + 8*t - 2 + 3*t**2. Is 3 a factor of w(-6)?
False
Let h(d) = d + 7. Let w be h(17). Suppose u = 2*z + 6, z = 2*u - 4*z - 15. Suppose -y + 4*y - w = u. Is y a multiple of 8?
True
Let s(d) = -6*d**2 - 17*d - 22. Let h(v) = -4*v**2 - 11*v - 15. Let i(y) = 7*h(y) - 5*s(y). Is i(-6) a multiple of 13?
False
Is 1/8 - (933/(-24) + 2) a multiple of 9?
False
Suppose a - 36 = 31. Does 9 divide a?
False
Let x(q) = q**2 + 1. Let l be x(-1). Suppose -3*d + 0*d + 9 = 3*y, l*d = -y + 5. Suppose p = 4*f - 8, p - y = 2*f + 1. Does 12 divide p?
True
Suppose -5 = 5*d - 3*x, 2*d - 3*x - 17 = 2*x. Let g(k) = -2*k + 3 - 2*k - k**3 - 4*k**2 - 7. Does 5 divide g(d)?
False
Let w = 50 - 30. Is 11 a factor of w?
False
Suppose 3*j = j - 4. Let z be 0*(2 + j - 1). Suppose z = -3*u + 4*y + 59, -5*y + 1 - 17 = -u. Is 9 a factor of u?
False
Let s be (2 - 1)/(4/412). Suppose -32 = -5*i + s. Is i a multiple of 7?
F