- b + 20 = -4*t. Suppose t*j + 3*j = 15. Is 5 a factor of j?
True
Let s(t) = 0 + 0 - 3 - 6*t. Let k be s(-3). Suppose -3*b + 0*q + 55 = q, 0 = b - 3*q - k. Does 9 divide b?
True
Let g = 5 - 3. Let q = g - 1. Is 4 a factor of 4/(-4) + 7*q?
False
Suppose 18*r - 25*r = -2842. Is r a multiple of 14?
True
Let g be 1/4*(-9 - -13). Is 12 a factor of -3 - -38 - (-1 - g)?
False
Let n(m) = 2*m + 5. Does 15 divide n(5)?
True
Let m(y) = 9*y**3 + 1. Let u be ((-1)/(-2))/((-3)/(-42)). Suppose -3*h - 17 = -5*w, -2*w + 7 = -3*h - u. Is m(w) a multiple of 5?
True
Let k(j) = j**3 - 7*j**2 - 6*j + 8. Is 4 a factor of k(8)?
True
Suppose -3*k - 16 = -4*k. Suppose -15 - 29 = -4*v - 2*y, -3*y + k = v. Suppose 0*d = 5*d - v. Is d a multiple of 2?
True
Suppose b + 15 = 5*r, 4 = 2*r + 5*b - 29. Let a(p) = 2*p**2 - p + 3*p**2 - r*p**2 + 1. Is 4 a factor of a(-2)?
False
Let z be 198/5 + 4/10. Suppose 3*x + 21 = -3*s, -4*s = -5*x + 8 - 25. Is (20/(-16))/(s/z) a multiple of 11?
False
Let q = -144 + 211. Is 14 a factor of q?
False
Let m be (6/(-8))/((-2)/8). Let t be 7*6*m/(-21). Is 15 a factor of ((-70)/4)/5*t?
False
Let g = 69 - 37. Suppose 0 = -2*p - 0*p + g. Does 16 divide p?
True
Let c(f) = -2*f + 8. Let v be c(7). Let j = -4 - v. Is 14 a factor of 2 - (j + -2 - 25)?
False
Let j be (-5 - 21)/((-2)/(-2)). Let g = 43 + j. Is 6 a factor of g?
False
Suppose 3*l - 500 = -41. Is 17 a factor of l?
True
Let a = 8 - 7. Let u be (0 + a)/(1/275). Is u/10 - 2/4 a multiple of 15?
False
Let b(t) = 4 + 0*t**3 - t**3 - 4*t**2 - 2*t**2 + 6*t + 1. Is 12 a factor of b(-7)?
True
Suppose 4*r = -r + 20. Suppose 0 = -2*m - r*v + 6, -5*m = v + v - 15. Is -4 + m - 0 - -42 a multiple of 24?
False
Let n be 486/6*(-1)/(-1). Suppose -2*o = o - n. Does 9 divide o?
True
Suppose p - 2*u = u + 12, 3*u = -12. Suppose 0 = -d - p + 12. Let s = -7 + d. Is 3 a factor of s?
False
Let y be -6 + 3 + (-34)/(-2). Let w = y - 11. Suppose w*d + 0*d - 114 = 0. Is d a multiple of 19?
True
Let f = -3 + 5. Suppose f*c + c - 48 = 0. Is 7 a factor of c?
False
Let j = 1 + 2. Suppose -j*v + 7*v = -20, 5*h - 235 = 2*v. Is 22 a factor of h?
False
Let v be -3 + -2*1/(-2). Let l be 2/6 + v/6. Suppose 3*x = 2*p + 93, l = 4*x - x - 3*p - 90. Does 13 divide x?
False
Let l be 3/6*2 - -2. Suppose 2*o - 2*q - 38 = 0, -3*o - o + 75 = -l*q. Does 9 divide o?
True
Suppose g - 4 = 3*g. Let r = g - -5. Suppose -r*c - 4*j = -3*j - 22, -5*j + 50 = 5*c. Does 6 divide c?
True
Is (-110)/(-4)*((-8)/(-10) + 0) a multiple of 3?
False
Is 31 a factor of (-714)/(-4)*(-8)/(-12)?
False
Let c(l) = -7*l + 5*l**2 + 8*l**3 - 5*l**3 - 3 - 2*l**3. Does 22 divide c(-5)?
False
Suppose -11*d = -12*d + 459. Suppose 5*j = 6 + d. Does 31 divide j?
True
Is 15 a factor of (1/(-2)*-27)/((-1)/(-10))?
True
Let s(x) be the first derivative of -37*x**2/2 - x + 3. Is 18 a factor of s(-1)?
True
Let a(x) = -3*x - 15. Let r(d) = -6*d - 30. Let z(q) = 5*a(q) - 2*r(q). Is z(-10) a multiple of 5?
True
Let m(b) = -b**2 + 8*b - 8. Let h be m(8). Is 18/h*-1*8 a multiple of 9?
True
Let q(c) = -5*c - 3. Does 10 divide q(-4)?
False
Let l(h) = -8*h**3 + 3*h**2 - h - 3. Is l(-2) a multiple of 15?
True
Let w = -19 - -16. Is 16 a factor of 46 - (2 + w)*2?
True
Suppose -3*g = -2*u - 2*u - 9, 4*g - 3*u = 12. Let h = 0 - g. Let n(o) = -o**3 - 3*o**2 - 5*o - 4. Is 11 a factor of n(h)?
True
Let f(j) = 3*j**2 + 2*j + 1. Let c = 2 - 3. Let s be f(c). Suppose 0 = s*q - 5*q + 36. Is 6 a factor of q?
True
Let t = -3 - -9. Let r = t - 6. Suppose 0 = -5*q - m + 75, 4*m = -5*q - r*q + 90. Does 14 divide q?
True
Let y = 2 - 4. Let t = 3 - y. Let a = 15 - t. Does 10 divide a?
True
Is (-5096)/(-26) - (0 - 1) a multiple of 13?
False
Let f = 0 + 0. Let t(k) = -10*k + f*k + 2*k**2 + k. Is t(6) a multiple of 18?
True
Let i(j) = -j + 26. Is 2 a factor of i(17)?
False
Suppose 0 = -m + 5*m - 96. Is m a multiple of 12?
True
Let n be -4 + 18/3 - -218. Suppose 5*i + n = 10*i. Does 22 divide i?
True
Suppose 6*j + 5*r - 54 = 2*j, 4*j - 5*r - 34 = 0. Is 4 a factor of j?
False
Let g(p) = p**2 + 10*p + 9. Let u be g(-10). Let o = 24 + u. Is o a multiple of 11?
True
Let p(y) = 8*y - 1 + 23*y + 2*y + 4*y. Is p(1) a multiple of 16?
False
Let m be (156/8)/(3/(-30)). Is m/(-10) - (-2)/4 a multiple of 10?
True
Suppose 4*s + 5*k + 37 = 0, -k = -4*s - 3*k - 34. Let h(r) = -3*r + 2. Let t be h(-4). Let f = t + s. Is f a multiple of 6?
True
Let c(q) = q**2 + 4*q - 1. Let s be c(-5). Let v(n) = 2*n - 3. Let z be v(s). Suppose -z*y = -12 - 8. Does 2 divide y?
True
Let n = -22 + 28. Does 6 divide n?
True
Let b be (-9)/4*-2*-2. Let t(g) = -g**2 - 9*g + 5. Does 2 divide t(b)?
False
Suppose 3*r = -4*g + 185, 0 = 3*r + 2*g - 4*g - 155. Let q = r - 22. Is q a multiple of 13?
False
Let i = -2 + 11. Is 3 a factor of i?
True
Suppose -5*m - 3*l - 30 = 0, 5*l = m + 2 + 4. Let z(c) = -c**2 - 8*c + 7. Is 19 a factor of z(m)?
True
Let h = 2 + 2. Suppose h*u + 12 = 2*u. Is (-15)/u - (-2)/(-4) even?
True
Let s be 4/3 + (-2)/(-3). Suppose -4 = s*x, -w - 2*w - 2*x = -11. Suppose w*h = 4*t + 141, 4*h - 2*t = -t + 104. Is 18 a factor of h?
False
Suppose 5*t - 176 + 56 = 0. Is t a multiple of 8?
True
Let x(d) = -d - 6. Let z be x(-4). Let p(b) = -b**2 - b + 2. Let w be p(z). Let i = w + 3. Is i a multiple of 3?
True
Let d(b) = -1 - 3 + 3 + 5. Let o(m) = m + 3. Let p(u) = -5*d(u) + 4*o(u). Is p(6) a multiple of 13?
False
Let c be 8*(-2)/8*-10. Suppose -3*k + 4*k - c = 0. Does 20 divide k?
True
Suppose -3 = 2*z - 99. Does 12 divide z?
True
Let g = -2 - -7. Suppose g*d + 18 = 3. Let b = d + 15. Is 8 a factor of b?
False
Let u(a) = -a**2 + 4*a - 3. Let z be u(5). Is 15 a factor of (-2)/z - (-238)/8?
True
Let f(v) = v**3 + 6*v**2 + v + 7. Let w be f(-6). Suppose -m = -3 + w. Does 5 divide (5/2 - m)*20?
True
Let l = -5 - -129. Is l a multiple of 15?
False
Let y(i) = -i**3 + i**2 + 2*i - 19. Let v be y(0). Let f(h) = h**2 + 2*h - 4. Let x be f(5). Let g = v + x. Is g a multiple of 12?
True
Is ((-2)/5)/((-5)/150) a multiple of 3?
True
Let v = -38 + 79. Is v a multiple of 11?
False
Let z = -35 + 81. Does 9 divide z?
False
Let r = 151 - 143. Is r a multiple of 8?
True
Let d(u) = u. Let a be d(2). Suppose 3*v + 14 = k - 12, -a = v. Is k a multiple of 6?
False
Let q(n) = n**3 + 6*n**2 + 3*n - 9. Is 11 a factor of q(-4)?
True
Let z(t) = -t + 53. Let q(a) = a**3 + 2*a**2 - 1. Let k be q(-1). Does 22 divide z(k)?
False
Suppose -8 + 78 = -2*k. Is 12 a factor of (-21)/k - 114/(-10)?
True
Suppose s = 5*n + 3*s - 129, 4*s = -5*n + 123. Is n a multiple of 9?
True
Let l(g) = -g**3 - 8*g**2 + 7*g - 1. Suppose -5*i = -3*r - 42, -3 = 2*r + 6*i - i. Does 5 divide l(r)?
False
Let v = -74 + 178. Is v/12 - (-1)/3 a multiple of 3?
True
Suppose -9*c + 84 = -3*c. Is 7 a factor of c?
True
Let f(p) be the second derivative of 3*p + 9/2*p**2 - 1/3*p**3 + 0. Is f(-8) a multiple of 11?
False
Let f(k) = k**3 + 5*k**2 - 2*k - 4. Let d be f(-5). Suppose l - d + 3 = 0. Does 3 divide l?
True
Let h be (-2)/3*(5 + -2). Let j = h - -5. Suppose -d = -j*d + 36. Does 18 divide d?
True
Is 50 a factor of (-413)/14*(-2)/4*4?
False
Let c(w) = 5*w - 3. Let v(q) = -q. Let a(p) = -c(p) + 6*v(p). Let x be a(-4). Let r = x + -30. Is r a multiple of 8?
False
Suppose -3*f - 8 = -4*s + 8, 0 = -2*s - 4. Let i(h) = h**3 + 7*h**2 - 11*h - 10. Does 6 divide i(f)?
False
Let o be 5 + (1/(-1) - 3). Is 10 a factor of 10 + (-3 - -4) - o?
True
Let j(g) = -g - 6*g - 2 + 3*g + g**2. Let o be j(3). Is 17 a factor of (o + 4)/(2/(-68))?
True
Let r(z) = -z**2 - 6*z - 1. Let b be r(-5). Suppose b*a - a - 72 = 0. Let d = a - 8. Is 7 a factor of d?
False
Let b(r) = 3*r**2 - 15*r + 12. Does 42 divide b(11)?
True
Let b = -9 + 12. Is (11 - (5 - b)) + 0 a multiple of 7?
False
Let s(k) = k**3 - 3*k - 2. Let h(i) = -i**2. Let z(j) = -2*h(j) - s(j). Does 18 divide z(-3)?
False
Let o(q) = -13*q - 2. Let j be o(-2). Let s = 36 - j. Is s a multiple of 4?
True
Let w be 2*(3 - 14/4). Let b = w + 6. Suppose 24 = -b*t - 1, 11 = -3*g - 4*t. Is 2 a factor of g?
False
Let m(z) = 3*z**2 - 5*z**3 - 2*z**2 + 0*z**2 - 3*z**3. Is 9 a factor of m(-1)?
True
Suppose 2*p - h - 334 = h, 2*h = 0. Suppose 15 = -4*q + p. Is q a multiple of 16?
False
Let a(w) = -19*w - 15. Let y be a(-7). Let d = y - 69. Does 16 divide d?
False
Does 5 divide ((-6)/(