21)) a multiple of 23?
False
Suppose -4*v + 3 = -2*n - 3, -n - 3 = -4*v. Does 15 divide (-153)/(-6) - n/(-6)?
False
Does 16 divide (24/(-28))/(-1)*56?
True
Let b = -3 + 5. Suppose b*k - 6 = -0. Is k a multiple of 3?
True
Let u(d) = -16*d + 8. Let a be u(-12). Suppose -a = -6*z + z. Does 11 divide z?
False
Let v(a) = 3*a - 7. Let o be v(9). Is 3 a factor of 10/o - (-58)/4?
True
Suppose 2*r + 0*r + 23 = 3*x, -x = -4*r - 1. Does 4 divide x?
False
Let g(a) = -a**3 - 9*a**2 - 10*a + 4. Let i be g(-8). Suppose m = 6*m - i. Does 4 divide m?
True
Suppose -49*l + 105 = -44*l. Is 2 a factor of l?
False
Suppose -81*f = -86*f + 600. Is 27 a factor of f?
False
Suppose -3*k + 0*k + 4*i + 6 = 0, 3*k + i - 21 = 0. Let p(o) = -o**2 + 9*o - 15. Does 3 divide p(k)?
True
Let r(m) = -4*m - 10. Let u be r(-10). Is 6 a factor of u/135 - 214/(-9)?
True
Suppose q + 1 = 6. Suppose d = -5*p, q*d + 5*p = d + 30. Is d a multiple of 4?
False
Let c = 7 - 5. Suppose c*o = 0, 4 = g - o + 1. Does 2 divide g?
False
Suppose -4*p = -6*p + 84. Is p a multiple of 4?
False
Suppose 9*i - 6*i = 9. Suppose -2*m + 24 = 5*x - 46, -84 = -3*m + i*x. Is m a multiple of 15?
True
Let z(u) = -u + 9. Suppose -y - 2*y = -5*j - 21, j - 5*y = -13. Let o(f) = f - 10. Let v(d) = j*o(d) - 2*z(d). Is v(9) a multiple of 3?
True
Let a = 8 - 5. Is 7 a factor of (-8 - -1)/((-1)/a)?
True
Let v be (-5 - -3) + 11 - -1. Is 28 a factor of (72/v)/(2/15)?
False
Let v(j) = -5*j**2 - 6*j - 4. Let o be v(-5). Let n = -6 - o. Suppose 2*t + 153 = 5*y, -2*y + 4*t - 19 = -n. Is y a multiple of 10?
False
Suppose -4*q + 3*q + 126 = -5*h, -2*h - 607 = -5*q. Is 11 a factor of q?
True
Let n be 3*(92/(-3) + 2). Let s = n + 124. Does 13 divide s?
False
Suppose -3*c + 7 = i + 2, -5*i = -3*c - 61. Let h = i + 6. Is h a multiple of 6?
False
Suppose 4*o = -3*f + 196, -422 + 107 = -5*f + 5*o. Is 17 a factor of f?
False
Let n = 9 - 13. Let x(j) be the first derivative of -3*j**2/2 - 4*j - 1. Is x(n) a multiple of 3?
False
Suppose 0 = 2*z - 0*z - 196. Suppose 7 + z = 3*b. Does 13 divide b?
False
Let z be (-2)/(-3)*21/(-14). Let y be -2*(14/(-4) - z). Suppose 0 = -y*s + 17 + 18. Is s a multiple of 3?
False
Suppose 4*k - 4*d - 8 = 0, -10 = -3*k - 3*d + 7*d. Let r(u) = -16*u - 1. Let s be r(k). Suppose o - s = -5*v, 2*o + 4 = -4. Is v a multiple of 7?
True
Suppose -3*y = -393 - 228. Is y a multiple of 37?
False
Suppose 0 = 5*j - 8*j + 39. Suppose -7 - j = -5*k. Suppose 2*p - k*p + 14 = c, 2*c - 4*p = 44. Is c a multiple of 12?
False
Let g = 48 + 2. Let c = g - -7. Suppose r - 4*r + c = 0. Does 8 divide r?
False
Suppose 2*b + 296 = 5*u, -290 = -0*u - 5*u + 5*b. Is 6 a factor of u?
True
Suppose 20 = -0*h + 4*h. Suppose h*w + z = -0*w + 122, -4*z - 16 = -w. Is w a multiple of 12?
True
Suppose 3*l + 3*f = 2*f + 6, 0 = 3*l + 2*f - 6. Is 4 a factor of l - (-2 - -3)*-2?
True
Let g(d) = 3*d - 7*d**2 - d**3 - 11*d - 4 + 0*d**3. Let w be g(-6). Suppose 2*a = w + 34. Is a a multiple of 21?
True
Let s(a) = 7*a + 14*a**3 - 4*a - 4*a - a**3 + a**2. Does 8 divide s(1)?
False
Suppose 2*w + 16 = 2*r, -r = -0*r - 5*w - 12. Let d = 12 - r. Suppose d = 4*k - 11, -2*q - 2*k + 48 = 0. Is q a multiple of 14?
False
Let i(p) = 6*p - 18. Is 10 a factor of i(8)?
True
Let m(j) = j**2 - 10*j + 11. Is m(11) a multiple of 15?
False
Suppose 5*s - 3*s = 6. Suppose -3 = -4*u + s*u. Suppose -26 = -b - 5*p, 27 = 3*b + p - u*p. Is b a multiple of 11?
True
Suppose 162 = -5*b - 353. Let j = b - -146. Is 23 a factor of j?
False
Suppose 2*k + 94 = 4*k + 3*b, k - b = 52. Suppose 0 = 3*l + 3*i - 156, 2*l - 3*i = 44 + k. Does 10 divide l?
True
Let w(s) = -2*s**2 + 3*s. Suppose 0 = 2*h - 2 - 2. Let y be w(h). Is 16 a factor of ((-2)/4)/(y/172)?
False
Suppose -165 = 14*s - 19*s. Is s a multiple of 12?
False
Suppose u + u - 4 = 0. Suppose -j + u*j = 83. Does 25 divide j?
False
Let c be 12/16 - 1/(-4). Suppose c = -3*d + 55. Is 9 a factor of d?
True
Let q be 1/(-1)*-1*3. Let p(z) = -z**3 + 2. Let h be p(0). Suppose -2*i - 5*o = -36, 29 = 3*i - h*o - q*o. Is 13 a factor of i?
True
Let q be 9/4 - 2/8. Suppose 0 = 3*v - 2*k - 0*k - 7, k + 6 = q*v. Is v even?
False
Let n = -41 - -62. Is 13 a factor of n?
False
Suppose 0 = -2*i + 40 - 2. Is 5 a factor of i?
False
Let z be (3 - 2) + 1 - 17. Let m = z + 35. Is m a multiple of 20?
True
Suppose 0 = -y + 3*t - 16, -2*y = -6*y - t - 12. Does 3 divide 1*3 + (2 - y)?
True
Suppose -2*c = 2*c - 16. Let j = -33 + 33. Let n = j + c. Is 4 a factor of n?
True
Let m = -52 + 87. Let d = m + -16. Is d a multiple of 19?
True
Suppose -3*x - 43 = -g - 0*g, -4*g - 83 = 5*x. Let m = x + 30. Is 4 a factor of (-2)/(-10) + 117/m?
True
Suppose w = k - 200, 0*w = 2*k - w - 401. Is 21 a factor of k?
False
Let u(y) be the first derivative of 15*y**2/2 + y - 2. Is u(2) a multiple of 11?
False
Suppose 5*t - 14*t = -891. Is 19 a factor of t?
False
Suppose 24*v + 180 = 26*v. Does 12 divide v?
False
Let v(f) = -f**3 + 6*f**2 + f - 4. Let n be v(6). Suppose 0 = d - 4 - n. Is d a multiple of 6?
True
Let m(i) = -i**2 - 13*i - 11. Let s be m(-12). Let g(k) = 35*k**2 - 1. Does 17 divide g(s)?
True
Suppose n = -4*n + 830. Is 35 a factor of n?
False
Suppose 3*h = 2*h + 12. Suppose 0*l = -l + h. Does 6 divide l?
True
Suppose -32 = -4*x - 0*x. Does 7 divide (-30)/(-4) - 4/x?
True
Let v(z) be the third derivative of z**5/2 + z**3/6 - 4*z**2. Does 8 divide v(1)?
False
Let q be 6 - (-1)/((-2)/4). Suppose 0*m + 80 = t - q*m, -t - 4*m = -64. Is t a multiple of 12?
True
Let k(m) = m**2 - m - 1. Let t(h) = -7*h**2 + 5*h - 3. Let n(r) = -6*k(r) - t(r). Let i be -1 + (-1 - -1) - -1. Is 9 a factor of n(i)?
True
Let g(k) = -k**3 - 5*k**2 - 2*k + 6. Is 3 a factor of g(-5)?
False
Let k(j) = j**3 + 2*j**2 + 4*j + 2. Let y be k(-2). Let u = 86 - y. Is 17 a factor of ((-3)/2)/((-3)/u)?
False
Let j = 83 - 21. Is 31 a factor of j?
True
Let c = 75 - 54. Does 7 divide c?
True
Let m(x) = -x**2 - 6*x + 9. Let s be m(-7). Let c = 5 - s. Suppose -c*g = 4*h - 32, -h + 13 = -4*g - 14. Is h a multiple of 11?
True
Suppose 11*u + 1019 = 2614. Does 17 divide u?
False
Let l(s) be the second derivative of s**5/20 - s**4/12 + s**3/6 + 11*s**2/2 + 4*s. Is l(0) a multiple of 11?
True
Suppose 0 = -3*u + 3 - 0. Let y(h) = h**3 - 2. Let n be y(2). Does 7 divide 3/(n/14)*u?
True
Suppose a - 560 + 65 = -5*o, -2*o = a - 198. Is o a multiple of 17?
False
Suppose 72 = 5*p - 48. Suppose 3*x + 71 = 4*l, 0*l + 2*x = l - p. Is l a multiple of 8?
False
Let r = -3 + 23. Does 20 divide r?
True
Suppose 0 = -2*m + 4*c + 22, 4*c - 17 = -3*m + 36. Suppose 0*i + 3*i = m. Suppose -36 = -i*h + 229. Does 14 divide h?
False
Let m(d) = 2*d**3 - 11*d**2 + 13*d - 18. Is m(7) a multiple of 9?
False
Is 11 a factor of (1 - 1) + 10 - -1?
True
Let j(h) = h**2 - 7*h - 6. Let w be j(8). Suppose -5*u + w*z = -34, 5*u + 3*z - 9 = 15. Suppose -5*b + 18 = 4*i - u, 5*b - i = 44. Is 4 a factor of b?
True
Suppose 14*a - 17*a = -435. Does 29 divide a?
True
Let x = 14 - 10. Suppose -x = n - 3*n. Suppose n*i + 2*i = 64. Is 8 a factor of i?
True
Suppose 5*j - 1 - 29 = 0. Let l(b) = -b**3 + 7*b**2 - 7*b - 4. Let t be l(j). Does 2 divide (-4 + 1)*t/6?
False
Let b(s) = s**3 - 7*s**2 - s + 8. Let d be b(7). Suppose 2*x = a + 11, 2*a = -2*x + 1 + d. Suppose z - 9 = -x. Is z a multiple of 3?
False
Suppose 0*g + 4*l = 3*g - 34, 5*g = 2*l + 80. Does 11 divide g?
False
Suppose -h - 53 = -a, -49 = -a + h + h. Is a a multiple of 19?
True
Suppose -4*t - 2*q + 14 = -4*q, -19 = -2*t - 3*q. Suppose -80 = -t*n + 5*w, 5*n = 2*n - 3*w + 72. Is 10 a factor of n?
True
Suppose -2 = -h - 0. Suppose 129 = 5*s + 3*b - 61, -h*s = -3*b - 76. Does 18 divide s?
False
Let v = 90 + -58. Is 7 a factor of v?
False
Let p be 4/((-220)/(-111) - 2). Is 21 a factor of 4/(-10) - p/5?
False
Let i(k) = 3*k - 20. Does 19 divide i(15)?
False
Let w(f) = -f**3 - f**2 + 2*f + 1. Let k(d) = d**2 + 6*d - 2. Let c be k(-6). Let a be w(c). Suppose 0 = -2*q + 9 + a, -q - 142 = -3*g. Does 20 divide g?
False
Suppose -5*v = 2*s - 25, 4*v + 3*s - 8 = 12. Suppose v*y = y + 60. Does 11 divide y?
False
Let h be (-2)/3 + (-2)/(-3). Suppose n + 26 - 3 = h. Does 12 divide (n - 1)*(-3)/6?
True
Is 12 a factor of (-22)/(-66) + (-179)/(-3)?
True
Let d(g) = 2 + 2 - 3*g - 3. Let m be d(-5). Suppose 4*f - 6*f + m = 0. 