ppose 5*j + 2*t = -u, -2*j - 1 = t + 8. Is 250/3 + (42/(-18) - j) a multiple of 21?
True
Let r = -3732 - -5960. Is r a multiple of 34?
False
Suppose -4*b - 24 = -4*n, -41*n + 5*b = -39*n. Suppose -2*l - 8 = 0, 4*l + n = -p + 62. Does 5 divide p?
False
Is ((-4)/6)/(((-1700)/468975)/34) a multiple of 13?
True
Suppose -3*k = -3*l + 51132, 0 = 5*l - 23*k + 21*k - 85238. Is 81 a factor of l?
False
Let a(o) = 107*o - 161. Let n be a(-12). Is 16 a factor of -1 - ((-44)/99 - n/(-9))?
True
Suppose -32*g + 147*g - 1276385 = 0. Is 23 a factor of g?
False
Let t(s) = 4*s**2 - 5*s - 1. Let l be t(4). Suppose -h - 3*m + l = 0, 3*m - 4 = 2. Is -5 + -5 + 8 + h a multiple of 5?
True
Let w be (-30)/4*34/(-51). Suppose 8*q - 24 = w*q. Does 18 divide (q/3)/(-2) + (-14700)/(-90)?
True
Let o be -1 - (-20)/5 - 0. Suppose 2161 = o*d + 376. Suppose 12*l = 7*l + d. Is l a multiple of 17?
True
Let c = 129 + -278. Let g = 441 + c. Is g a multiple of 13?
False
Let k(t) = -t**2 - 13*t + 33. Let w be k(-15). Suppose 77 = w*m - 58. Is 8 a factor of m?
False
Let a = -3243 - -4848. Let w = -1124 + a. Does 38 divide w?
False
Let c(v) = v**2 - v + 1. Let d(h) = 3*h**2 - 10 + 16*h - 1 + 7*h + 5. Let x(q) = 2*c(q) - d(q). Does 31 divide x(-22)?
False
Let w(x) = 16*x**2 + 2*x + 8. Let j(m) = m**2 + 28*m - 284. Let l be j(-36). Is w(l) a multiple of 17?
True
Let w(q) = -36*q**3 - q**2 + q - 10. Does 39 divide w(-4)?
False
Let f(r) = -2134*r + 1861. Does 86 divide f(-6)?
False
Suppose 31610 = -4*g + 14*g. Does 109 divide g?
True
Let d(j) = j**2 - 18*j - 1. Let u be d(18). Is 27 a factor of ((-494)/(-5) - -3) + u/(-5)?
False
Let r(o) = 91*o**2 - 6*o. Let s be r(-1). Suppose s*h + 1560 = 109*h. Is 10 a factor of h?
True
Let b(f) = 1687*f**2 + 12*f + 5. Is 42 a factor of b(-1)?
True
Let n(x) = -x**2 + 20*x - 19. Suppose -95 = -5*l - 3*t, -5*l + 2*t = -l - 76. Let v be n(l). Suppose 5*j + 0*j - 95 = v. Is j a multiple of 10?
False
Let n(t) = 8*t**2 + 5*t + 5. Let s be n(7). Suppose 12*q = 3*q + s. Is q a multiple of 8?
True
Suppose -7*p + 3*p + 5*b = -5600, 0 = -2*p + 3*b + 2802. Let a = p - 783. Is 68 a factor of a?
True
Suppose -4*k - 2499 - 6619 = -2*y, -4*k = 3*y + 9113. Let c = k - -3488. Is c a multiple of 31?
True
Let r(b) = 5*b**3 - 13*b**2 + 60*b - 473. Is 11 a factor of r(11)?
True
Let k(r) = 17*r - 2. Let t(p) = 103*p - 13. Let z(g) = 39*k(g) - 6*t(g). Let s be -3*((-16)/(-6))/(-4). Is 10 a factor of z(s)?
True
Let c(l) = -l + 2. Let p be c(-2). Let j(s) = -s**2 + 35*s + 629. Let b be j(-13). Suppose -14 = -z + b*g, 0 = -6*z + 2*z - p*g + 80. Is z even?
False
Let h(z) = 439*z - 74. Let p be h(-6). Let k = 3870 + p. Does 18 divide k?
False
Let n(y) = 8*y**2 + 9*y - 26. Let v(h) = -14*h**2 - 18*h + 51. Let d(p) = -5*n(p) - 3*v(p). Is d(23) a multiple of 41?
False
Suppose 122*s - 224228 = 57592. Is s a multiple of 6?
True
Suppose 107 = 4*u - 5*j, 107 = 2*u + 2*j + 31. Let c = 318 - 255. Let l = c - u. Does 10 divide l?
True
Suppose 1084 = -4*w + 4*l - 676, 3*w + 5*l = -1360. Let v = -234 - w. Is v a multiple of 30?
False
Let v = -7352 + 10055. Does 51 divide v?
True
Let f(q) = 9*q**2 - 2*q. Let l(m) = m**3 - 4*m**2 + 3*m + 3. Let t(d) = -2*d - 7. Let u be t(-5). Let c be l(u). Is 30 a factor of f(c)?
False
Let c(v) = -2*v**3 - 11*v**2 - 5*v + 17. Let h = -401 - -393. Does 31 divide c(h)?
False
Let z = -613 - -619. Is 13 a factor of (1138/z)/(4/36*3)?
False
Let u = -76 - -79. Suppose -26*g = -25*g - u. Suppose -g*x + 157 + 647 = 4*o, 2*x - 537 = -3*o. Is x a multiple of 15?
False
Let k = 330 + -317. Suppose 5*b = -r + 1827, -k*b + 12*b + 5*r = -355. Is 13 a factor of b?
False
Let l be 48/18*12/8. Suppose 4*o - 2*r + 4*r = 50, -l*o - 3*r = -51. Does 6 divide o?
True
Suppose -43 = 2*a - 5*w, 2*a - w - 3*w = -38. Let r be (4/(-12))/((12/a)/(-4)). Is 22 a factor of -5 + 1 + r - -71?
True
Is -1 + -9 - (-84 + 77) - 334/(-1) a multiple of 2?
False
Let m be 6*(-2 + 8 - 4). Suppose 3*x - m = -x. Suppose -2*t = 5*y - 678, -3*y + 412 = -x*t - t. Is y a multiple of 34?
True
Let x(a) = 6 - 3*a**3 - 42*a**2 + 4*a**3 - 46*a**2 + 70*a**2 + 8*a. Does 16 divide x(18)?
False
Suppose 66*x = 47*x - 11552. Does 2 divide 6/(-4)*(x/24 - -14)?
False
Let f(d) = 5*d**2 + 2*d + 4. Let n(v) = -5*v**2 - 2*v - 5. Let g(u) = 4*f(u) + 3*n(u). Let z be g(-2). Let b(p) = -p**2 + 25*p - 31. Is 21 a factor of b(z)?
True
Let a = 902 + -101. Let t = a + -664. Is t a multiple of 39?
False
Suppose -7*p + 9394 = 7*p. Suppose -5*j = -2*q - 155 - 506, 5*j + 3*q = p. Does 16 divide j?
False
Let x be (0 - 62)*((-9)/(-18) + 1). Let k = x - -98. Suppose 0 = k*v - 4*a + a - 289, -2*a - 118 = -2*v. Is v a multiple of 7?
True
Suppose 2*m - 2*g - 158 = 0, 4*m = -2*g + 79 + 267. Is 3 a factor of m?
True
Let g be (2 - (-5 + -3)) + 8. Is g/(9 + 301/(-35)) a multiple of 9?
True
Let g = -22226 + 35492. Is g a multiple of 5?
False
Let k = -239 + 259. Suppose 73 = 3*c - k. Does 16 divide c?
False
Let k(b) = b**3 + 34*b**2 + 5*b + 169. Let m be k(-34). Let x(w) = 16*w - 12. Let g(a) = -17*a + 13. Let l(u) = -2*g(u) - 3*x(u). Is 3 a factor of l(m)?
True
Let h(y) = -143*y + 16524. Does 18 divide h(0)?
True
Let i(g) = g**3 - 12*g**2 - 8*g - 2. Let j be i(13). Suppose -9*s = -j - 270. Suppose -36*q = -s*q + 188. Is q a multiple of 26?
False
Let z(d) = 5*d - 14. Suppose 2*j - 3*o = -6*o - 7, -5 = o. Let a be z(j). Does 7 divide -10*(-7)/(35/a)?
False
Let s be -1 + -3 - (-2 + 2 - -6). Let q = s + 35. Does 40 divide ((-2410)/q)/(0 + 2/(-5))?
False
Let o = 69 + 7. Let f = -24 + o. Suppose -2*t = 2*z + z - 77, t - f = -2*z. Is 9 a factor of z?
True
Suppose 270 = 11*y - 6*y. Let s = 9 - y. Let c = s + 75. Is 15 a factor of c?
True
Suppose 0 = 112*i - 113*i + 67. Is 8/(-4) + i + -3 a multiple of 4?
False
Let m = 55 + -67. Is ((-1616)/12 - 0)*m/8 a multiple of 9?
False
Let f = 6810 - 2478. Is 76 a factor of f?
True
Let i = -349 + 721. Is 29 a factor of i?
False
Suppose u - 3*j + j = 0, 20 = 5*j. Does 34 divide ((-268640)/(-45))/u + 2/(-9)?
False
Let b = 215 + -314. Let o = b - -205. Does 53 divide o?
True
Is (217 - -9023)/(2/3) a multiple of 36?
True
Let o be (-4)/10 - ((-858)/(-30) + 1). Let w = -16 - o. Let q = 160 - w. Does 17 divide q?
False
Let h = 21192 + -11164. Is 92 a factor of h?
True
Let p(t) = 16*t + 546. Is p(-19) a multiple of 11?
True
Let o be (2 - -1)/(12/(-712)). Let w = -81 - o. Let c = w + -56. Is 20 a factor of c?
False
Suppose 4*m + 5*h = 2*m + 200, 0 = m + 5*h - 110. Let j be ((-74)/m + 20/90)*-5. Suppose -g - 5*i + 29 = -9*i, 5*i = -j*g + 104. Is 33 a factor of g?
True
Let v(w) = 2*w**2 + 23*w + 58. Let x be v(-8). Suppose -726 = -x*g - 3*p, 3 = -3*p + 9. Does 10 divide g?
True
Suppose 11615 = -s - 5*m + 62445, 0 = 3*s - 5*m - 152370. Is s a multiple of 127?
True
Let r(c) = 8*c**2 - 603*c - 250. Does 15 divide r(79)?
False
Suppose -89*v - 6864 = -95*v. Let i = v + -772. Does 10 divide i?
False
Does 4 divide ((-62)/(-14) - 5) + 43041*(-6)/(-126)?
False
Let x(f) = -74*f + 13. Let h be x(-2). Let q = 167 - h. Does 2 divide q?
True
Suppose -11*d + 18 - 7 = 0. Let x(m) = 37*m**2 + 5*m + 3. Let b(s) = -19*s**2 - 3*s - 2. Let c(y) = 10*b(y) + 6*x(y). Is c(d) a multiple of 3?
True
Let d = 96 + -99. Let n be 190 - (10/(-8) - d/12). Suppose 0 = k - s - n, 118 = 3*k + s - 471. Is k a multiple of 10?
False
Suppose 60 = 13*t - 70. Suppose -t*p = -4*p + 864. Let g = p + 177. Is g a multiple of 3?
True
Suppose -176*x + 179*x = -39. Is 4/((-8)/(-994)) + x + 10 a multiple of 26?
True
Let z be ((-4)/4 - -10) + (-4)/(-1). Suppose -19 = -w + z. Is w a multiple of 8?
True
Let z(m) be the first derivative of m**5/20 - 2*m**4/3 - m**3 + 9*m**2/2 + 11*m + 17. Let o(c) be the first derivative of z(c). Does 12 divide o(9)?
True
Let o(c) = c**3 - 6*c**2 + 96*c + 184. Is o(29) a multiple of 138?
False
Suppose 2*d - d - 4*s = 98, -178 = -2*d - s. Let r be ((-4)/5)/(93/d - 1). Let z = r + 110. Does 9 divide z?
False
Let t(n) = -n + 8. Let l(h) = -h**2 + 6*h + 2. Let o be l(6). Let i be t(o). Let f(b) = 5*b - 9. Is 21 a factor of f(i)?
True
Let a = -5 + 12. Suppose 10*m - a*m = 6. Is (-382)/(-3) + m/3 a multiple of 28?
False
Let u = -3 - -2. Let r(i) = -499*i**3 - 19*i**2 - 21*i - 4. Let a(d) = 250*d**3 + 11*d**2 + 12*d + 2. Let s(m) = 5*a(m) + 3*r(m). Is