or of h?
False
Suppose -5*m - 188 = -853. Suppose -3*l - 2*y = -4*y - m, -148 = -3*l + 5*y. Suppose 3*w - l = -9*f + 4*f, 2*w = 3*f + 59. Does 12 divide w?
False
Suppose -4*j - 3*i - 36 = 0, -5*j + i = -0*i + 26. Let d(m) = -6*m + 83. Is d(j) a multiple of 12?
False
Suppose 5*m - 2818 = 3*n, 15*m - 10*m - 4*n - 2819 = 0. Is m a multiple of 9?
False
Is 7 a factor of -4*70/80 - 1521/(-2)?
False
Let l = -12 - -11. Let w be (l*20)/((-16)/56). Suppose 0*i = 5*i - w. Is i a multiple of 5?
False
Let q be (-8 + -1)*(-2)/(-2). Let n be -2 + 60*(-6)/q. Suppose 0 = 4*f - n - 82. Is 10 a factor of f?
True
Let c(h) = 5 + 4 + h**3 - 12*h + 7*h**2 + 18*h. Does 5 divide c(-6)?
False
Suppose -3*w - 11 + 2 = 0. Let k be 3 - (0 + w) - -2. Suppose 4*g = -3*v - 8 + 60, -4*g = k. Is v a multiple of 20?
True
Let d(q) = -13 + 22 - 11*q - 4. Is 19 a factor of d(-3)?
True
Suppose 2*f + 22 = 5*f + 4*p, 3*f - 5*p = -14. Let k(o) = o**f + 2*o**3 - o**3 + 4*o**2 + o**2 + 2*o - 2. Is 5 a factor of k(-2)?
True
Let i = -516 - -878. Does 14 divide i?
False
Suppose -2*q = -0*q - 6. Suppose -31 = -5*i - q*s, -3*s + 4 = -s. Is 16 a factor of (-42)/5*i/(-2)?
False
Suppose 0*z + 3*z + 18 = y, 0 = z - 4. Suppose -31*f = -y*f - 103. Is 15 a factor of f?
False
Let s = 2939 - 2351. Is s a multiple of 12?
True
Does 36 divide (27/9 + 3)/(1/114)?
True
Let j be (33/22)/((-2)/(-16)). Suppose -j = 3*y - 6*y. Suppose 3*i - 246 = 3*k, -y*k = 3*i - 3*k - 254. Does 28 divide i?
True
Suppose 0 = 12*p - 9*p + 135. Let i = -3 - p. Is i a multiple of 6?
True
Let r(o) = -8*o + 8. Let s be r(-4). Let v = 108 - s. Does 13 divide v?
False
Let z = -166 - -374. Does 4 divide z?
True
Let k(b) = -5*b**3 - 3*b**2 - 3*b + 1. Suppose -6 = v - 2. Does 15 divide k(v)?
True
Is (-7)/((-91)/36660) + 3 a multiple of 32?
False
Suppose -o + 39 = 4*h, 5*o + 9*h = 5*h + 179. Suppose g - 6*g - 65 = 2*w, -3*g - 2*w = o. Let i(f) = f**3 + 15*f**2 - f - 7. Does 4 divide i(g)?
True
Let d(u) = -116*u + 37. Is 9 a factor of d(-14)?
False
Let t(h) = h**2 + 13*h - 20. Let i be t(-15). Let j = i + -8. Suppose 3*l + 3*x - 90 = -j*x, 0 = -x - 3. Is 6 a factor of l?
False
Suppose 0 = -5*x - 3*f + 15724, -5*x + 10*f = 12*f - 15726. Is x a multiple of 11?
True
Let p be 2/10 + (-34)/(-5). Suppose p*u - 9*u + 112 = 0. Does 14 divide u?
True
Suppose 3*q + 5*w = 314, 2*q - 16*w = -20*w + 210. Is q a multiple of 12?
False
Let m be ((-3)/(-3) - 0)*4. Suppose m*f = -c - 5, -c + 0*f = 5*f + 4. Let k(v) = -v - 1. Does 6 divide k(c)?
False
Suppose v = 3*z - 171, 7*z - 5*v + 228 = 11*z. Is z a multiple of 3?
True
Let p(u) = -12*u - 13. Suppose a - 2*v - 31 + 7 = 0, 4*a - 72 = 2*v. Let b be 8/64 + (-98)/a. Is 12 a factor of p(b)?
False
Let w(f) = -3*f + 10. Suppose -343 = -3*j - 67. Let o be 23/j + 42/(-8). Is 25 a factor of w(o)?
True
Suppose -246 = -7*w + 41. Is w a multiple of 41?
True
Let j(i) be the second derivative of -i**4/12 - 5*i**3/6 - i**2/2 + i. Let a be j(-3). Suppose -5*p + 4*c = -7, -a*p + c = -5 - 8. Is p a multiple of 2?
False
Let i be 3/12 + (-5)/20. Suppose i = 5*t - 177 - 63. Suppose 0 = 3*w - w - t. Does 10 divide w?
False
Let j(d) = -d**3 - 3*d**2 - 3*d - 3. Let k be j(-2). Let w = 2 - k. Suppose -3*t - 2*t + w*r = -41, -5*r - 25 = -4*t. Is 5 a factor of t?
True
Suppose 12*m - 9*m = -3*z + 3765, 5*z - 6280 = -4*m. Does 42 divide z?
True
Suppose -4*q - 1 = -a + 10, 4*a - 14 = q. Suppose -u + a*u - 1728 = 0. Does 5 divide u/84 - (-2)/(-7)?
True
Let u be (-344)/(-1 - 3) + 4. Does 14 divide (-5)/(-10)*u + -4?
False
Let u = 9903 + -5661. Does 14 divide u?
True
Let r(b) be the first derivative of -b**5/60 - 5*b**4/24 - b**3/6 - 5*b**2/2 - 3. Let m(f) be the second derivative of r(f). Does 2 divide m(-4)?
False
Let l(m) = m**3 + 16*m**2 + 16*m + 17. Let h = -16 - -1. Let a be l(h). Suppose 196 - 8 = a*q. Does 25 divide q?
False
Suppose 5*i + d - 365 = -0*d, -5*d + 169 = 2*i. Is 12 a factor of i?
True
Suppose 0 = -10*z + 8*z + 2*l + 54, 2*z = -3*l + 59. Is 4 a factor of z?
True
Let o(c) = c**2 - 9*c + 16. Let v be o(9). Suppose 0 = 21*g - v*g + 705. Let y = -79 - g. Is y a multiple of 9?
False
Suppose 23 = k - 148. Let h = k + -38. Does 19 divide h?
True
Suppose 0 = 5*o - 15 - 10. Suppose 4*y + 4*p - 5*p - 96 = 0, 4*p = -o*y + 141. Let z = y - 11. Is z a multiple of 5?
False
Does 2 divide 16 + -10 + 10*(-2)/(-5)?
True
Let g(d) = d**2 + 3*d - 3. Let w = 6 - 1. Let i be g(w). Suppose b - i = -3*h, -3*b - 8 - 7 = 0. Does 7 divide h?
True
Suppose j + 67 = 5*o, -425 = 4*j + j + 5*o. Let x(u) = -115*u**3 + u**2 - 3*u + 2. Let s be x(1). Let l = j - s. Is 17 a factor of l?
False
Let z(x) = -x**3 - 33*x**2 + 69*x - 47. Does 13 divide z(-36)?
False
Suppose 2894 = 5*l - 3*j - 433, 2*l = -4*j + 1310. Is 17 a factor of l?
True
Suppose 6*u - 105 = u. Let y = -14 + 14. Suppose -4*q + 51 + u = y. Is 6 a factor of q?
True
Does 4 divide 1540/8 - ((-225)/10)/15?
False
Suppose 4347 + 3618 = 5*s. Is 27 a factor of s?
True
Suppose -m + 2*y = -8, 3*y + y = 4*m - 16. Let f = m + 3. Suppose 0 = -7*o + f*o + 128. Is 16 a factor of o?
True
Suppose -2*l - 5 = -7*l, -5*z + 5*l + 12020 = 0. Does 13 divide z?
True
Let k = 101 + -87. Let y = k - -2. Is y a multiple of 3?
False
Let x = 490 - 348. Suppose -5*o = -58 - x. Is o a multiple of 8?
True
Let y = -801 + 1638. Is y a multiple of 27?
True
Suppose 4*y - 91 = -5*z, -4*z + 4*y = -y - 40. Let c(k) = k**2 - 3*k + 9. Let d be c(6). Let v = z + d. Is v a multiple of 10?
False
Does 23 divide -4 + 3 - (-1263 + (-9 - -6))?
True
Suppose 10*n - 10 = 5*n. Is 21 a factor of (78 - -4) + n - 2?
False
Suppose 5*v + 0*c - 1250 = 5*c, 0 = -4*v + c + 1006. Is v a multiple of 6?
True
Let s = 35 - 30. Suppose 135 = 7*v - s. Is 6 a factor of v?
False
Suppose 4*x - 19 - 18 = -5*y, -3*x - 6 = -3*y. Suppose -5*a - 2*s + 76 = 7, 0 = s + x. Does 5 divide a?
True
Let o = 1116 + -942. Does 24 divide o?
False
Let s(t) = 2*t + 15. Suppose 5 = 3*h - 4, 30 = -3*q + 5*h. Does 2 divide s(q)?
False
Suppose -25*y = -9*y - 3888. Is 27 a factor of y?
True
Suppose 8 = -2*v, 2*t - v - 5 = 3. Let c(k) = 10*k**3 + 3*k**2 + k - 5. Is 22 a factor of c(t)?
False
Suppose -10*w = -0*w - 170. Is 3 a factor of w?
False
Let w be 6/(-15) - (-8)/20. Suppose w = -r + 2*r. Suppose r = 3*c - 9, -2*c = u - 3*u + 4. Is u even?
False
Let v(z) = 119*z + 181. Is v(4) a multiple of 3?
True
Let z(q) = 41*q - 1. Let a(o) = -25*o. Let u be a(1). Let l = 26 + u. Is 8 a factor of z(l)?
True
Let y = -303 - -413. Is 2 a factor of y?
True
Let t = 71 + -38. Suppose 20 = 4*h - 2*g, 0 = -h + 2*g - 5*g - 9. Suppose -t = -a - h. Does 15 divide a?
True
Let b = -333 - -388. Is b a multiple of 8?
False
Let z = -7 - -10. Let b be 1*(z + (-2 - 1)). Suppose 3*f = 3*a - b*a + 126, -32 = -f + 3*a. Is 12 a factor of f?
False
Suppose w - 20 = 716. Is w a multiple of 32?
True
Does 2 divide ((-3)/(54/48))/(4/(-30))?
True
Let l(y) = -178*y**3 - y**2 - 2*y - 2. Is 52 a factor of l(-1)?
False
Suppose -45*j - 49790 = -71*j. Does 58 divide j?
False
Let p(w) be the second derivative of -3/2*w**2 - 1/3*w**3 + 0 + 1/12*w**4 - 6*w. Is 4 a factor of p(-2)?
False
Let r be (0 + -3)*4/(-6). Let x = 2 - r. Suppose 0 = -l - x*l + 6. Is 6 a factor of l?
True
Let l(n) = 23*n**2 - 16*n + 40. Does 20 divide l(10)?
True
Suppose -p - 3 + 8 = 0. Suppose p*o = 208 + 162. Does 17 divide o?
False
Suppose -3*y + 2*y - 16 = 0. Let r = y - -38. Suppose -4*m + r = -3*m. Is m a multiple of 15?
False
Let m be (-35)/(-15)*(-16 - -1). Let s = -10 - m. Is s a multiple of 10?
False
Let l(z) = 71*z**2 + 7. Does 76 divide l(-3)?
False
Let r(m) = 6*m**2 - 44*m + 3. Does 3 divide r(12)?
True
Let b = 381 - 104. Does 28 divide b?
False
Let u(k) = -k**3 + 2*k**2 + k - 2. Let c be u(3). Let f be (4/c)/(2/(-68)). Suppose f*n - 18*n = -8. Is 2 a factor of n?
True
Let d = 191 - 77. Does 14 divide d?
False
Let u(r) = -r**2 + 69*r + 408. Is u(64) a multiple of 14?
True
Suppose -52*d + 53*d = 2*n - 985, -5*d + 967 = 2*n. Does 6 divide n?
False
Let y be (-4)/10 + 404/10. Let w = -267 + 270. Suppose 0 = -w*g + 2*g - 2*f + y, g = 4*f + 64. Does 12 divide g?
True
Let a be 987/4 + 9/(-12). Suppose 7*b - 4*b - a = 0. Is b a multiple of 22?
False
Suppose 3*w - 42 - 654 = 0. Is w a multiple of 54?
False
Let u = 80 + -72. Suppose 32 = o + u. Doe