of 12?
False
Let i be (6/27 + (-46)/(-36))*-46. Let u = 104 + i. Let c = u + 23. Is c a multiple of 6?
False
Suppose 2*f = 2*x - 36, 3*x - 21 = 2*f + 4*x. Let q(g) = -2*g - 23. Let a be q(f). Suppose 4*n + 3*c = 372, a*c + 368 = 4*n + 5*c. Is 18 a factor of n?
True
Let d = 6203 + 793. Does 53 divide d/(-330)*-1*35?
True
Suppose -3*z - 12 = -21. Is (-315)/(-30)*2*z a multiple of 6?
False
Suppose -s + 5*q - 48 = 0, 2*s + 4*q + 14 + 26 = 0. Let u be (s/5 - 0)/(1/(-5)). Does 5 divide (2 - (-2 - -4)) + u?
False
Suppose -2*l - 2254 = -4*g + 5696, 5*g - 4*l = 9936. Suppose -30*h = -26*h - g. Is 23 a factor of h?
False
Suppose 39*t - 71612 - 430084 = -0*t. Is 33 a factor of t?
False
Let m(n) = 6 - 25 - 23*n - 18 + 7 + 34*n. Suppose -37 = -5*q + 3*o, -5*q - 3*o + 55 = 12. Is m(q) a multiple of 9?
False
Let y(i) be the third derivative of -i**5/30 - 17*i**4/6 - 11*i**3/2 + 9*i**2. Is 42 a factor of y(-30)?
False
Suppose q = -5*j - 549, -9 + 1 = 2*j. Is (-1 + 0 + q)/((-1)/2) a multiple of 23?
False
Let z(d) = 1639*d - 172. Is 24 a factor of z(4)?
True
Let s = -12031 - -19186. Does 16 divide s?
False
Let x(v) = -463*v + 11323. Is 58 a factor of x(-13)?
True
Is 9 a factor of ((-612)/(-7))/(((-1000)/30625)/(8/(-10)))?
True
Is (-36 - -10452)*(-42)/(-49) a multiple of 31?
True
Suppose m - 107 = 140. Let q = -50 + m. Does 12 divide q?
False
Suppose -64 = -8*z + 48. Suppose z = 16*c - 17*c. Is 3 a factor of c*(-3 + ((-7)/(-2) - 2))?
True
Is 46 a factor of (60/(-42))/(((-1)/(-1393))/(-1))?
False
Let d = -9 + 8. Let p(n) = -1400*n**3 - 2*n - 2. Let o be p(d). Suppose 15*g = 5*g + o. Is g a multiple of 35?
True
Let s = 12 - -4. Let d(l) = 5*l + 33*l - s*l. Is 14 a factor of d(5)?
False
Suppose 5 = 4*p - 3. Suppose 0 = -5*d - 4*z + 19 + 23, -p*d + 5*z + 30 = 0. Suppose d*n - 128 = 6*n. Does 20 divide n?
False
Let n be 18 + -1 - (3 + -7). Suppose n = -d + 5*s, 0*s = 3*d + s + 31. Let b(a) = -3*a - 9. Is b(d) a multiple of 8?
True
Is 12 - 21 - -13 - (-1 - 4961) a multiple of 27?
False
Let m = 31 + -33. Let h be 1453 - ((3 - 3) + m). Is 9 a factor of h/18 + 1/6?
True
Suppose -d + z = -51318 + 16640, -4*z = -24. Is d a multiple of 26?
True
Suppose -12*s + 163291 = -5*q, -q - 17383 - 23440 = -3*s. Is 13 a factor of s?
False
Suppose 13*m + 103 + 79 = 0. Let o be ((-4)/m + 80/(-35))*-4. Suppose -o*i - 2*i + 1000 = 0. Is 20 a factor of i?
True
Let u = 79 + -49. Let h be (3 + 7/(-2))*u. Is 22 a factor of 10/2*4*(-66)/h?
True
Let d(i) = i**3 + 12*i**2 + 3*i - 19. Let t = 28 - 40. Let p be d(t). Let l = -25 - p. Does 5 divide l?
True
Let t be -1 + -6 + (4 - 1). Let x = -16 - t. Let d = 43 + x. Is d a multiple of 11?
False
Let s(w) = -46*w + 2854. Does 38 divide s(-28)?
True
Let s(i) be the second derivative of i**5/20 - i**4/6 + i**3/2 - i**2 - 21*i. Let o be s(1). Let j = 40 + o. Is 8 a factor of j?
True
Suppose 344 = -5*m + 964. Let j be -65 + -7 + 17 + -1. Let o = j + m. Is o a multiple of 34?
True
Is 12 + (152310 - 0)/10 a multiple of 23?
False
Let c(n) = -n**3 - 37*n**2 - 34*n + 64. Let z be c(-36). Let l = 16 - 8. Is z*-23*4/l a multiple of 34?
False
Suppose 7*x - 3*x = -4*r - 18720, -2*x = 0. Does 42 divide (7/2)/((-39)/r)?
True
Let z be (-6)/(4*4/(-680)). Suppose 5*g - 4*j - z - 1733 = 0, 3*j - 9 = 0. Is 50 a factor of g?
True
Suppose 743*f = 840*f - 1664908. Does 28 divide f?
True
Suppose 5*g - 174 = 3*p, -58 + 18 = -g - 2*p. Let a be (g/33)/(-6) - (-24)/11. Suppose -n - a*n + 294 = 0. Does 12 divide n?
False
Let h(x) = 5*x - 52. Let b be h(14). Is 2 a factor of b/(1*(-15)/(-10))?
True
Let s be 16/6*282/4. Suppose 0 = s*m - 193*m + 725. Suppose 4*j - 395 = m. Does 27 divide j?
True
Let z = 18 + -348. Let q = -224 - z. Is q a multiple of 15?
False
Let l(r) = -4*r**3 - 4*r**2 - 3*r - 2. Let z be 20 - 0*(-4)/(-16). Let v be (16/z)/(-4) + (-27)/15. Is 3 a factor of l(v)?
False
Suppose 248532 = 4*d + 16*n, -124216 = -3*d + d + 2*n. Does 52 divide d?
False
Suppose -607 = -3*a + 386. Let g = -107 + a. Does 60 divide g?
False
Let j(g) = 37*g**2 - 53*g + 149. Is 46 a factor of j(15)?
False
Let k(m) = 2*m**2 - 20*m - 11. Let f be k(11). Suppose 96 = 5*p - j, 6*j = -3*p + f*j + 40. Suppose 0 = 5*g - 2*h - p, 7*g + 5 = 12*g - 5*h. Is 3 a factor of g?
True
Let z(j) = -3*j - 54. Let d be z(-19). Suppose -5*c + d*x - 2306 = 0, 928 = -2*c - x + 5*x. Let s = 766 + c. Does 18 divide s?
True
Let x(u) = -83*u**2 - 16*u - 56. Let c(y) = -82*y**2 - 15*y - 55. Let o(a) = 4*c(a) - 5*x(a). Is o(-3) a multiple of 41?
False
Let y(m) = m**3 - 3*m**2 + 3*m + 5. Let z be y(4). Let f = 83 - z. Is 18 a factor of 14740/f - (-3)/15?
False
Let i = -4680 - -27835. Is i a multiple of 11?
True
Suppose p = -2*w + 4*p + 24, 37 = 5*w + 4*p. Is 14/(-63) + 182/w a multiple of 20?
True
Suppose 20 = 5*z, -4*b - 53 = 5*z + 363. Let n = 235 + b. Does 41 divide n?
False
Let b(k) = k**3 - 58*k**2 + 515*k + 167. Does 116 divide b(48)?
False
Does 92 divide -12 + 8814/45 - 2/(-15)?
True
Suppose -62173 - 148024 = -37*r. Is r a multiple of 19?
True
Let g = 11326 + -7904. Suppose 0 = 5*p - 148 - g. Is 13 a factor of p?
False
Let l be ((-4)/14 + 2)/((-98)/(-1029)). Let h(k) = k**2 - 7*k + 30. Does 23 divide h(l)?
False
Let a = -125 + 109. Does 36 divide 9/((-68)/a - 4)?
True
Let s(m) = -m**3 + 9*m**2 + 12*m - 8. Suppose -4*y = -2*y - 4. Suppose -3*g - y*g = -45. Is s(g) a multiple of 25?
True
Suppose 0 = 5*z + 2*j - 15, -2*z = -5*z - 4*j + 23. Let q be (z - -5)*(-7)/21. Is q/7 + (-968)/(-7) a multiple of 23?
True
Suppose 97*a - 297189 - 117947 = 268908. Is 82 a factor of a?
True
Suppose 6*i - 66 + 12 = 0. Suppose 5*g - i = 6. Suppose g = -s, 3*s = -d + 19 - 5. Is 4 a factor of d?
False
Let n(w) = 2*w**3 - 12*w**2 - 14*w + 10. Suppose v - 14 = -v. Is 2 a factor of n(v)?
True
Let k(x) = 11*x - 26. Let q(d) = -7*d + 17. Let v(p) = -5*k(p) - 8*q(p). Let l be v(0). Does 4 divide (1 - -38*(-3)/l) + -1?
False
Suppose -3*o + 99 = -297. Suppose 96 - 324 = -3*k. Let y = o - k. Does 6 divide y?
False
Suppose 1 = -z, z + 4*z = -2*j + 15. Suppose j*c - 361 + 111 = 0. Does 13 divide c?
False
Let t(x) = -x**3 - 5*x**2 - x - 1. Let i be t(-7). Let l = 44 - i. Does 8 divide ((-44)/(-55))/((-2)/l)?
True
Let l(q) = -q**2 - q. Let y be l(0). Let d = -873 - 150. Is d/11*(-1 + y) a multiple of 31?
True
Suppose -2*k - 45687 = 27*w - 32*w, w - 5*k - 9142 = 0. Is 130 a factor of w?
False
Let t be 25 - (-7 + (-42)/7). Suppose -4*z + 53 = s, 2*z = -3*z - 4*s + 69. Let f = t - z. Is 12 a factor of f?
False
Is 101 a factor of -398*(-18)/(576/2032)?
False
Let v = -116 - -236. Suppose 9*u - 13*u + v = 0. Is u a multiple of 2?
True
Suppose 25*v - 30*v = -10. Suppose x - 123 = -v*x - 3*c, -5*x = 4*c - 204. Suppose -k + 106 + x = -g, -2*g = 5*k - 723. Is 19 a factor of k?
False
Suppose -3*a + 8131 = -13*k - 34184, 0 = 3*a - 5*k - 42315. Is 155 a factor of a?
True
Let c(x) = 35*x**3 + x**2 - 3*x + 7. Let u be c(2). Let l = u + -183. Does 6 divide l?
True
Suppose 161 - 548 = -3*i + 5376. Does 22 divide i?
False
Let z(a) = -a**2 - 13*a + 12. Let g be z(-13). Let v = g - 41. Is v/(-2)*(-4)/(-2) a multiple of 13?
False
Let k(g) = 70*g**2 + 2089*g + 40. Is 15 a factor of k(-35)?
True
Suppose 4*h + 331 + 1293 = 5*z, -2*z - 4*h + 672 = 0. Is z a multiple of 164?
True
Suppose 0 = -494*o + 507*o - 26208. Is o a multiple of 168?
True
Let g(x) = -x**2 + 2*x - 86. Let k be g(0). Let l = k + 118. Does 4 divide l?
True
Suppose 0 = -6*w - 4*w + 40. Suppose -3*d + 43 = -w*d. Let s = 72 + d. Is 29 a factor of s?
True
Suppose -11*n + 21 = -12. Suppose -6*w = -1665 - n. Is w a multiple of 20?
False
Let n be 3*-4*-1*(-4 + 6). Suppose -3*g + n = -321. Is 4 a factor of g?
False
Suppose -983596 = -16*p + 2*c, -2*c = -20*p + 15*p + 307382. Is p a multiple of 29?
False
Suppose 225 = 8*c + 185. Suppose c*g + 3*n = 2535, 0*n + 2045 = 4*g - n. Does 30 divide g?
True
Suppose 5*k - p + 4*p = -118, -47 = 2*k + p. Let h = k + -18. Let v = 56 + h. Is v a multiple of 4?
False
Suppose -1596*f - 4176260 = -1801*f. Does 22 divide f?
True
Let u = 1484 - 1397. Does 46 divide u?
False
Suppose 20*u - 16*u + 24 = 0, 3*d + 5*u - 17928 = 0. Is d a multiple of 26?
False
Suppose 5*h + 2*t - 3094 = 1966, 0 = -h + 4*t + 990. Let s = h - -130. Is 95 a factor of s?
True
Let h be 186*(-6 + 64/12). Let