 of 30?
True
Is 112 a factor of (541484/136)/(15/(-6) + 3)?
False
Suppose -z + 3*n - 278 = -2*z, 2*z - 540 = 2*n. Is (-20)/(-60) + (z/3 - 1) a multiple of 10?
True
Let z(g) = -g**3 + 6*g**2 + 20*g + 11. Let l be z(9). Let d = -42 - l. Suppose -332 = -d*y + 148. Is y a multiple of 7?
False
Suppose 3*a + 2*y - 294 = 0, -4*y = 5*a - 8*y - 512. Suppose 106*c = 107*c - a. Is 20 a factor of c?
True
Suppose 5*k = u + 128789, -5*k = -8*k + 4*u + 77304. Is 137 a factor of k?
True
Is 12 a factor of -6 - (-8 + -4) - -7736?
False
Let q be (-2)/(-18)*6 - (-4)/(-6). Suppose -m + 112 = -4*i, q*m + 4*i = -m + 112. Does 56 divide m?
True
Suppose -5446 = 6*k - 20*k. Let m = k + -234. Is 25 a factor of m?
False
Let g = -21075 + 87244. Does 103 divide g?
False
Let w = 47 - -17. Let b = 68 - w. Suppose 0 = -b*a + 264 + 60. Does 6 divide a?
False
Let a = -285 + 676. Suppose 2436 = 8*w + 4*w. Let c = a - w. Is 16 a factor of c?
False
Suppose 0 = -5*w + c + 50, 3*w + c - 18 = 12. Does 30 divide 4/w*(0 + 230)?
False
Let t be ((-24)/(-20))/(2/25). Let k(p) = -p**2 + 15*p + 5. Let c be k(t). Suppose -69 - 19 = -j + c*v, 227 = 4*j + 5*v. Is 7 a factor of j?
True
Suppose -110 = -4*s - 2*r + 46, s = 4*r + 39. Is 11 a factor of (132/16)/(s/2132)?
True
Suppose 7*o + 16 = 11*o. Suppose o*u = -5*u + 9. Let c(p) = 9*p + 2. Is 6 a factor of c(u)?
False
Suppose 0 = 5*d + 3*k - 4163, -2*d + k = 2*d - 3344. Suppose 5*w + d = 4485. Is w a multiple of 73?
True
Let t = -20383 - -28779. Does 175 divide t?
False
Suppose 4*k - 3907 = -2*p + 5447, -4*k - 14051 = -3*p. Does 138 divide p?
False
Suppose -4*q = -3*p - q + 9210, 5*p + 3*q - 15342 = 0. Suppose 0 = -6*w + 5511 + p. Is (-1)/(-6) + w/60 a multiple of 12?
True
Let d = -95 - -174. Let r be -81*(3 - (-24)/(-9)) + -7. Let q = d + r. Is q a multiple of 9?
True
Suppose -29*l + 200 = -4*l. Suppose l*u = 24*u - 5312. Is u a multiple of 36?
False
Let y(z) = -2*z**2 - 12*z + 14. Let l(s) = -3*s**2 - 12*s + 13. Let p(d) = 3*l(d) - 4*y(d). Let v be p(11). Is 12 a factor of v/(-3) - 60*1*-1?
False
Let d = 15 - -414. Let h be (594/1485)/((-9)/10 + 1). Suppose h*l - 215 - d = 0. Does 22 divide l?
False
Let o be (-3)/(27/12)*(-225)/(-10). Is 191 + 2*3*(-5)/o a multiple of 19?
False
Let w(j) = 3*j**3 + 48*j**2 + 51*j + 63. Let c(h) = h**3 + 16*h**2 + 17*h + 21. Let z(v) = -17*c(v) + 6*w(v). Let r be z(-15). Does 20 divide (9 - r) + 2*2?
False
Let r = 231 - 227. Suppose -4*b + 626 = 2*n, -r*b + 5*n + 119 = -500. Is 5 a factor of b?
False
Suppose 0 = 5*x - 119 + 439. Let m be 2460/(-18) + (-15)/(-9). Let a = x - m. Does 4 divide a?
False
Suppose 258*i - 3248314 - 3072686 = 0. Is i a multiple of 250?
True
Suppose -12 = 3*k - 60. Suppose 4*n - 2*b - k = 0, -8 = -2*n - 2*b + 7*b. Suppose 3*x + j = 385, 295 = n*x + 2*j - 217. Does 43 divide x?
True
Suppose 0 = -23*h + 21*h + 12. Let p(d) = -2 - 13*d + 18*d - h - 2 + 27*d**2. Is 12 a factor of p(2)?
True
Is (33 + 14 + -5)*25 a multiple of 135?
False
Suppose -3*h - 3*x = -12636, -15*x + 18 = -12*x. Is h a multiple of 25?
False
Let p be (4 - 4)*3/(-12). Suppose 6*b = 9*b - 4*s - 509, p = 2*b - 3*s - 339. Is 9 a factor of b?
True
Let z(t) = 142*t**2 - 85*t + 298. Is 7 a factor of z(7)?
False
Is (-53752)/(-5) - (6/7)/(100/(-70)) a multiple of 11?
False
Is -2 - -47*(576 + (-60)/6) a multiple of 190?
True
Suppose 5*v = 0, 2*z - 5*v = 7*z + 2875. Let m = z - -1289. Is m a multiple of 52?
False
Let v(w) = -26*w + 6731. Is v(108) a multiple of 152?
False
Suppose 6*g - 10*g = -12. Let r be 1/1 + -3*2/g. Is 15 a factor of 92 + -3 + (-1)/r?
True
Let x be (-3 - 4)/7 + -215. Is 54 a factor of x/(-30)*(4 + (-388)/(-8))?
True
Let g = -18303 - -30280. Is g a multiple of 59?
True
Does 70 divide (610/3)/((-156)/(-6552))?
True
Let f = -66 - -81. Suppose 0 = f*h - 21*h + 42. Suppose -8*x + 36 = -h*x. Does 9 divide x?
True
Suppose -4*m - 7 = 2*h + 3, 3*h + 5 = -4*m. Let y = h + -8. Does 3 divide 0 + 2 + (8/(-4) - y)?
True
Let p(w) = -5*w**3 - 4*w**2 - 7*w - 39. Let l(n) = -6*n**3 - 5*n**2 - 9*n - 40. Let o(x) = -4*l(x) + 5*p(x). Does 5 divide o(-5)?
True
Suppose -76*l = 4*l + 69*l - 2360458. Is 167 a factor of l?
False
Let u(v) = -2*v**2 - 9*v + 11. Let p = 26 + 34. Let w be (-2)/10 + (-288)/p. Is 3 a factor of u(w)?
True
Suppose -8*d + 1197 = 11 + 82. Does 3 divide d?
True
Let w be 10/3 - (-11)/(-33). Suppose -6*t - 2*s = -3*t + 45, 2*t + w*s = -25. Let x = 11 - t. Does 10 divide x?
False
Let a = -142 + 647. Suppose 0 = 7*g - 12*g + a. Is 14 a factor of g?
False
Suppose 14858 = 3*f + 5288. Is 29 a factor of f?
True
Suppose -5*f + 3*f + 62 = m, -238 = -4*m + 2*f. Let z = m - 56. Let a(d) = 16*d + 5. Does 13 divide a(z)?
False
Suppose 108 = 3*m + 4*f, -5*f + 125 = 4*m - 19. Is 13 a factor of m/16 + -3 - 1566/(-8)?
True
Suppose 3*p - 59 - 4 = 0. Let b = -12 + p. Suppose -6*q - b + 69 = 0. Does 5 divide q?
True
Suppose 5*p - 4*k - 52 = 202, 2*p - 5*k - 88 = 0. Let h = p - 86. Does 8 divide (-4)/((-60)/h + -2)?
True
Let h(d) = -d**3 + 20*d**2 + 16*d + 35. Let c(j) = j**3 - 25*j**2 - 23*j - 59. Let n be c(26). Is h(n) a multiple of 20?
True
Suppose 891*l = 909*l - 288. Let t = -7 - -12. Suppose -p + l = t*a - 206, p - 234 = a. Does 29 divide p?
True
Let u(o) = -41*o - 102. Suppose 2*b - 2*d + 26 = 2*d, -4*b + 2*d - 28 = 0. Is u(b) a multiple of 10?
False
Let s = -53 - -60. Let v = s - 5. Suppose -v*a + l = -0*a - 25, 0 = -4*a + 3*l + 45. Is a a multiple of 2?
False
Let q = 34339 + -29894. Is q a multiple of 6?
False
Let c be (-2)/(-6) - 793/39. Let i(f) = f**3 + 22*f**2 + 32*f + 28. Is i(c) a multiple of 28?
False
Let s(b) = 66*b**2 - 20*b - 733. Does 28 divide s(-16)?
False
Suppose 4*o + 2*o = o. Let n be (-10)/(-4)*(-1 - (o - 3)). Suppose -5*j - 175 - 55 = -n*p, p - 38 = -j. Is p a multiple of 7?
True
Suppose 4*u + u = -30. Let l(h) = -h**3 - 5*h**2 + 2*h - 6. Let n be l(u). Let b = n + 8. Is 13 a factor of b?
True
Suppose -2*u - 15021 - 943 = -4*h, 2*h = 3*u + 7966. Is 28 a factor of h?
False
Suppose -10*l - 4*l = 2*l - 61584. Is 10 a factor of l?
False
Let h(y) be the third derivative of y**6/120 + y**5/20 - y**4/12 - 7*y**3/6 + 8*y**2. Let v be h(-2). Let b(m) = 138*m**2 - 3*m + 3. Is b(v) a multiple of 46?
True
Suppose 4*u + 2085 - 217 = 0. Let a = 131 - u. Suppose -5*w = -5*k + 1040, -3*w + 402 + a = 5*k. Is k a multiple of 29?
True
Suppose 3*d + 4*j = -j + 33, 3*d - j - 33 = 0. Suppose 0 = d*m - 0*m. Is 16 a factor of (223 - m)/(38/38)?
False
Let k(v) = -v**3 + 7*v**2 + 2*v - 10. Let x be k(5). Suppose -x*u = -45*u - 25. Suppose s + 3*i + 57 = 2*s, u*s = 3*i + 309. Is s a multiple of 9?
True
Let a be -2*(-10 + 2161)*(-1)/(-2). Let y = a - -3048. Is 32 a factor of y?
False
Let f(c) = -c**2 - 92*c + 1308. Is f(-86) a multiple of 22?
False
Let t = 209 - 305. Let i = 61 - t. Does 13 divide i?
False
Let o be 3 + -2 - (-7 - 2). Let v(d) = 6*d**3 + 4*d**2 - 3*d + 4. Let i be v(4). Suppose 2*s = o*s - i. Is s a multiple of 8?
False
Suppose -f - 35 = 5*m, -4*f - 48 = -7*m + 4*m. Is 19 a factor of f*1/(-5) - -343?
False
Let j(w) = 10 - 2*w**3 - 14*w**2 + 14*w - 11 + 6*w**3 - 3*w**3. Let u be j(13). Suppose 15*f - u*f = 48. Is 3 a factor of f?
False
Let f be ((-2)/6)/((40/15)/(-8)). Let b be (f/(3/21))/(4/28). Let m = b + -9. Is m a multiple of 4?
True
Suppose -5*n = -0*r + 5*r - 29710, 0 = 5*n + 3*r - 29708. Is n a multiple of 11?
False
Let n be 2 - (3 + 0 + 0). Let f be 4*((-236)/16 - n). Let p = 165 + f. Does 38 divide p?
False
Suppose -3*m + 7768 = -11144. Suppose 11*l = 4*u + 7*l - m, 3*l = -5*u + 7896. Is u a multiple of 19?
False
Let v = 413 - 388. Suppose -20*b - 4*x = -v*b + 1558, -2*b + 2*x + 622 = 0. Is 6 a factor of b?
False
Is ((-56)/(-6))/((-34)/(-14535)) a multiple of 38?
True
Let k(r) = r**2 - r + 2. Let u be k(3). Suppose -3*l + 14 + 4 = -3*c, -4*c - u = 0. Is 19 a factor of 3/(-4) - (-443)/l?
False
Let a be 107/15 - (-10)/(-75). Suppose -i - 204 = -a*i. Is i a multiple of 3?
False
Let g(p) be the second derivative of p**5/20 + 13*p**4/12 - p**3/6 - 11*p**2/2 + 35*p. Let a be g(-12). Suppose -4*n = -a - 47. Is n a multiple of 8?
True
Suppose 0 = 4*c + j - 26147, -5*c + 32715 = -36*j + 31*j. Is c a multiple of 14?
True
Let i = -972 - -526. Let a = -346 - i. Does 6 divide a?
False
Does 7 divide (-1 + (101 - 2))*3/