 = 5*d - 6*d + z. Suppose -217 = -t - 3*o, 0 = -5*t + 9*t - 3*o - d. Is t a multiple of 38?
False
Suppose -18*w + 56 = 2. Let p be -6 + 3 - 114/(-2). Suppose j - h = p, -4*h - 46 = -w*j + 120. Is j a multiple of 3?
False
Let m(i) = -172*i + 2456. Does 42 divide m(-39)?
False
Let o = -25821 + 38757. Is o a multiple of 52?
False
Suppose -2*b + h = -11918, -66*b + 70*b - 3*h - 23840 = 0. Is b a multiple of 22?
False
Let o(k) = 132*k**2 - 2*k - 2. Let i be o(-1). Suppose 6*c = 3*c + i. Let v = -36 + c. Does 3 divide v?
False
Suppose -14*g = -37 - 19. Suppose 3*v + 2*q = 377, g*v - 3*v = 4*q + 121. Is 5 a factor of v?
True
Let y be (-10)/(5/1) + 1*-2. Does 26 divide 2 + y + -118*(-9)/6?
False
Let k = -195556 + 285394. Does 14 divide k?
True
Suppose -19*n + 14*n - 4*l = -32672, 3*n - l - 19593 = 0. Is 26 a factor of n?
False
Is (2599 + 2)/(5/(4 + 6)) a multiple of 6?
True
Suppose -35*y - 21007 - 34468 = 0. Let o = -961 - y. Is o a multiple of 12?
True
Suppose -v = -4*o + 4, -3*o - 10 = -3*v - 4. Suppose -16*c = -7*c. Suppose -4*a + a - o*g = -41, c = -a - 3*g + 23. Does 11 divide a?
True
Let t(s) = s**3 - 4*s**2 + s + 3. Let c be t(4). Suppose -1 + 0 = -2*g - p, -p + c = 5*g. Is 30 a factor of (10/6)/(g/72)?
True
Suppose 2*g = 569 + 129. Suppose 0 = -2*s + 437 + g. Is 13 a factor of (-30)/50 + s/5?
True
Let a(g) = 2*g**2 + 8*g - 10. Let o be a(-7). Suppose -o*k = -27*k - 3420. Is k a multiple of 76?
True
Let s(y) = y**3 - y**2 - y. Let q(k) = 5*k**3 + 6*k**2 - 5*k - 4. Let w(t) = q(t) - 6*s(t). Suppose 25*u + 2 = 277. Is w(u) a multiple of 13?
False
Suppose 2*q - 36 = -4*f + 40, -4*f - 4*q = -72. Suppose -3*t - f = -7*t. Suppose 0 = -t*m + 2*d + 45, 10*m = 7*m - 2*d + 27. Does 2 divide m?
False
Let n be (6 - (-286)/(-11))*(-6)/10. Suppose 0 = -g - 5*t + 472, g - 13*t - 472 = -n*t. Does 9 divide g?
False
Suppose 1293 = 42*a - 41*a. Suppose -a*s + 888 = -1289*s. Is 37 a factor of s?
True
Let w be ((-12)/(-8))/(1/8). Suppose -4*v - 4*p + 39 = v, w = v + 5*p. Suppose -v*o + 896 = -0*o. Is o a multiple of 37?
False
Let c(x) be the first derivative of 2*x**5 - x**4/24 + x**3/6 + 12*x**2 - 3. Let d(y) be the second derivative of c(y). Is 19 a factor of d(-1)?
False
Suppose -2 = -5*b + 4*b. Let l be (-17)/17*(0 - 12/3). Suppose b*v - 104 - 290 = -4*m, -5*v = -l*m - 1041. Is v a multiple of 41?
True
Let h = 39 - 19. Let z be ((-4)/(-14))/(h/140). Suppose z*u - 220 = 4*b - 8*b, -4*b = 4. Does 28 divide u?
True
Suppose 3*t + 11 = 3*r - 4*r, -4*t - 20 = 0. Suppose -r*u - 160 = 312. Let g = u + 233. Is 29 a factor of g?
False
Let n(m) = 436*m + 5 + 5 + 8*m + 3 - 2*m. Does 22 divide n(2)?
False
Suppose -2*b + 123585 = -5*m, 5*b + 93*m - 88*m = 308945. Does 16 divide b?
False
Let q be 1375/22*144/20. Let x = q + 15. Does 15 divide x?
True
Let l be 12/(-3)*(-10)/8. Suppose -10 = -l*z - 5. Is 7 a factor of (14 - (0 + z))/(10/30)?
False
Let o(l) be the first derivative of -l**4/2 + 2*l**3 + l**2/2 - 2*l + 14. Let f be o(3). Is 23 a factor of -115*((-30)/25)/f?
True
Does 25 divide (-30)/3 - (-331 + -56803)?
False
Suppose 2*o - 1120 = 6*o. Let h = o + 199. Let g = h + 153. Is 24 a factor of g?
True
Let g(j) = 45*j + 3. Let w(h) = 22*h + 1. Let m(p) = -3*g(p) + 5*w(p). Suppose -96 = 11*a + 13*a. Is m(a) a multiple of 12?
True
Suppose -15*j = -20*j + 1185. Suppose -m = -4*y + 544, 2*y - 49 = 4*m + j. Is y a multiple of 15?
True
Let h be (-1 - -1)/7 - -9. Is (168/h)/(-5 - (-535)/105) a multiple of 7?
True
Suppose 43682 = 2*g + 2*y, -3*g + 28710 = 4*y - 36811. Does 11 divide g?
False
Is 7 a factor of (-188236)/(-6) + (3596/93)/29?
True
Suppose x = s + 2, -4*x - 1 = -s - 3. Suppose v = -5, -g + 4*v = -x*g + 70. Is g/(-75)*295/2 a multiple of 15?
False
Let a(u) = u**3 - 5*u**2 + 5*u + 3. Let z be a(4). Suppose z*c - 2*c = -3*q + 483, 3*q - 4*c = 456. Is 6 a factor of q?
True
Let v(c) = -77*c - 14. Let u be v(-4). Suppose -3*b - 66 = u. Let k = b + 376. Is k a multiple of 34?
False
Let d = -110310 - -164260. Is 25 a factor of d?
True
Let u = -75 - -79. Suppose 11*s = -u*s + 6105. Is 37 a factor of s?
True
Let h(p) = -p**2 + 12*p - 7. Let o be h(11). Suppose 9 - 17 = -o*y. Suppose 3*g = d + 89, 0 = 3*g - y*d + 3*d - 97. Is 10 a factor of g?
False
Let q(z) = z - 8. Let x be q(10). Is 22 a factor of -7 - (x - 8) - -155?
True
Suppose -j + 4*y = -6611, 2*j = -3*j + 5*y + 32965. Is j a multiple of 54?
False
Let f(p) = 1751*p - 6751. Is 19 a factor of f(18)?
False
Suppose 5*n - 48 = -18. Let c(p) = n*p**2 + 0*p + 12*p**2 - 5*p**2 + 2*p. Is 5 a factor of c(1)?
True
Let k(a) = 2*a**2 - 13*a + 3. Let o be (-18)/12*(-16)/3. Let t be k(o). Suppose 240 = -t*h + 28*h. Is 40 a factor of h?
True
Let o(n) = -3 + 0 + 3*n - n**2 + 0 - 7*n. Let w be o(-1). Suppose w = 5*r + 4*l - 106, -r + 0*l - 5*l + 38 = 0. Is 3 a factor of r?
True
Suppose -5*i + 13*i - 56 = 0. Suppose 24 = r + i*r. Suppose r*x - 10*d - 138 = -13*d, 5*x - d = 218. Is 44 a factor of x?
True
Let l be (-3 - 97)*((-3)/3 + -1). Let v = l + -128. Let f = 81 - v. Does 2 divide f?
False
Let u = -287 - -296. Suppose g - 2*i = 100, 3*g = -7*i + u*i + 308. Is 26 a factor of g?
True
Let m = 502 - -7902. Does 4 divide m?
True
Let s(w) = -2*w + 82 + 3*w - 54. Let v be s(-27). Is 22 a factor of (-2 - ((-4)/1 - v)) + 73?
False
Let o(z) = 3216*z - 12442. Is 13 a factor of o(21)?
True
Let g(r) = r**2 + 20*r - 13. Let z be g(-19). Let n be (16/24)/((-4)/(-462) - 0). Let l = n + z. Is 9 a factor of l?
True
Let o(d) = d**3 + 19*d**2 + 34*d - 12. Let i be o(-17). Let h(g) = g**2 - 14*g - 100. Does 10 divide h(i)?
False
Let g = -7926 - -11493. Is g a multiple of 4?
False
Suppose 9*g + 153613 = 53*g + 33933. Does 91 divide g?
False
Let d(n) = 2*n**2 - 4*n + 16. Let z = -40 - -46. Does 8 divide d(z)?
True
Suppose 0 = -2*s + 3*r + 1 + 2, 4*s + 2*r + 2 = 0. Let g(m) = -14*m + 244. Let x(v) = 16*v - 243. Let a(j) = 5*g(j) + 4*x(j). Is a(s) a multiple of 46?
False
Let f(k) = -4*k + 20. Let o be f(7). Let w = o + 209. Is 30 a factor of w?
False
Let u(b) = -182*b + 20. Let n be u(-5). Let s = n + 24. Suppose -10*r + r = -s. Does 36 divide r?
False
Let c = -82 - -186. Suppose -w + 5*d + 42 = 0, 5*d = 3*w + d - c. Is 4 a factor of w?
True
Let l(z) = z**2 + 23*z + 34. Let r be l(-21). Is 18 a factor of ((-4 + 3)*97)/(2/r)?
False
Let t(p) = 624*p - 5597. Does 57 divide t(25)?
False
Is 15 a factor of 40554/16 - (-216)/576?
True
Let f be 130/26 + (-76)/2. Suppose -2*s = -5*m + 216, 3*m + 2*s - 204 = -2*m. Let y = f + m. Is 9 a factor of y?
True
Suppose -17*i + 83010 + 30516 = 0. Is i a multiple of 63?
True
Is 92/(-46)*(1*(-2917 + 0) - 3) a multiple of 7?
False
Suppose -5*w = -337 - 398. Let y be 0/2 + (216/6 - 0). Suppose 3*k + y = w. Is 20 a factor of k?
False
Suppose -3*r + 6512 + 9040 = 9*r. Is r a multiple of 9?
True
Suppose 3*g + 2*g - 50 = -4*p, -4*g + p = -61. Suppose g*h - 12*h = 0. Suppose h = -6*i + 7*i - 11. Does 2 divide i?
False
Let s be (3 + -2)/(2/(-8)*2). Let v be (-2 + -124)/(s/2). Is 6/((-3)/(-9) + (-6)/v) a multiple of 2?
False
Let v(o) = 11*o + 15. Let m be v(35). Suppose 10*c - 30*c + m = 0. Is c a multiple of 4?
True
Suppose 0 = 6*u - 752 - 22. Suppose -i = g - 49 - u, -5*i - g = -878. Is 65 a factor of i?
False
Let m = 79 - 79. Suppose -15*g + g = m. Is (-1)/((-1 - (-116)/120) + g) a multiple of 9?
False
Let g = -6 + 7. Suppose 1518 = 25*u - 3*u. Does 7 divide g/(((-3)/u)/(-1))?
False
Let b be (-2)/2 - (-28)/(5 - 3). Let c(t) = -t**3 - 14*t**2 - 2*t + 4. Let k be c(-14). Let x = b + k. Does 19 divide x?
False
Is (-450 - -1)*(-9 - -9 - 7)*1 a multiple of 12?
False
Suppose -6053858 = -180*s + 2850339 - 2472077. Is s a multiple of 12?
False
Let i(f) = 93*f + 152. Is i(6) a multiple of 10?
True
Suppose 13*n - 10*n = -585. Let g = n - -423. Is 76 a factor of g?
True
Suppose 0 = -30*k + 33*k + 3*t - 279, 4*k - 5*t - 417 = 0. Does 2 divide k?
True
Let f(b) = -3*b + 147 + 154 - 43*b + 29. Is 82 a factor of f(-6)?
False
Suppose -r = u + u - 10, -4*r + 90 = -2*u. Let t = 220 + r. Is t a multiple of 12?
True
Let i = 57231 + -8681. Is i a multiple of 58?
False
Suppose 0 = -5*f + 3311 - 3266, -i + 64644 = -4*f. Is i a multiple of 30?
True
Suppose 3*a - 4*p - 1520 = 0, 0 = -5*a - p + 1653 + 865. Suppose -16*w + 23*w = a. Is w a multiple of 14?
False