 2*l**2 - 24*l + 28. Let z be g(6). Is z/(-25)*(-55)/(-2) a multiple of 13?
True
Suppose 35392 - 18 = 52*j - 131910. Is j even?
False
Let u be (-4)/(-26) + (-252)/(-52). Suppose -u*w = -4*l - 48, 0*w + 29 = -l - 3*w. Let z(y) = -y**3 - 18*y**2 - 22*y + 11. Does 26 divide z(l)?
False
Suppose -47*n + 46*n = 47. Let o = n + 83. Is 12 a factor of o?
True
Suppose -p - 2*v + 2374 + 853 = 0, 0 = -6*v + 8*v. Is p a multiple of 2?
False
Let y be 12/(-4)*(-7)/3. Suppose 61 = y*s - 198. Let q = s + -14. Is q a multiple of 2?
False
Let x = -3190 + 12354. Suppose x = -44*z + 62492. Is z a multiple of 19?
False
Let s(k) = -67*k + 369. Is 18 a factor of s(-4)?
False
Let j be 7/((-35)/(-15)) - 93. Does 9 divide j*(-4 - (-28)/10)?
True
Suppose -14843 = -4*r - a, -3*r + r + 2*a + 7434 = 0. Is r a multiple of 128?
True
Let p(t) = -t**2 - 23*t - 34. Let x be p(-9). Let h = -154 + x. Is (-4030)/h - 1*(-1 + 0) a multiple of 7?
False
Let p(v) = -v**3 + 11*v**2 - 9*v - 1. Let u be p(10). Suppose 15 = -5*d, 5*d + 5 = -n - u. Is 4 a factor of (n/3 - 3)*-9?
True
Suppose -169*w + 174*w - 11376 = l, l = 3*w - 6828. Is w a multiple of 12?
False
Let a = 18559 + -10918. Does 9 divide a?
True
Let v = 705 + -415. Suppose -13*f + 953 = v. Is f a multiple of 4?
False
Let c be (0 - 11)/(0 + -1). Suppose -c*v = -111 + 34. Suppose 2*j - 108 = -3*n, 3*n + 4*j - v*j - 108 = 0. Does 18 divide n?
True
Let g be ((728/12)/7 - 0)*-3. Let q = g + -59. Is 13 a factor of -9*(q/30 + (-3)/6)?
False
Let f(b) = 3*b - 12. Let q be f(4). Suppose 14*v - 18*v + 204 = q. Let s = 204 - v. Does 17 divide s?
True
Suppose -4*l = 3*d + 30, 5*d = -2*l + 17 - 81. Let r be (-5)/(-10) - d/4. Suppose -5*u = r*i - 303, 7 + 2 = -3*i. Is u a multiple of 9?
True
Let z be -9*4*21/(-28). Suppose -z*g = -8183 - 5695. Does 33 divide g?
False
Suppose 37848 = 3*f + 9*j, 23*j - 18*j + 25188 = 2*f. Does 274 divide f?
True
Let q = -8285 + 15277. Is q a multiple of 152?
True
Suppose -79647 = -16*a - 4033 - 3438. Does 5 divide a?
False
Let i(v) = v**3 - 16*v**2 + 45*v + 9. Let x be i(4). Let f(m) = 116*m**2 + 3*m - 12. Does 15 divide f(x)?
False
Let a be 3/(85/(-20) + 5). Suppose 53 - 5885 = -a*k. Suppose -k = -4*v - 2*v. Is v a multiple of 11?
False
Let n(y) = y**2 - 2*y - 19. Let z be n(13). Is 20 a factor of (z/155)/(2/250)?
True
Suppose -5*o + 6*a + 68 = 3*a, -a = -4. Let h(r) = -r + 256. Is h(o) a multiple of 16?
True
Suppose -12*t - 3 = -11*t. Let x be (t - 3 - -3)*-1. Is 25 a factor of 80 - (x + -1) - 3?
True
Let f(m) be the third derivative of 13*m**5/10 - m**4/4 - m**3/3 - 10*m**2 - 3. Does 32 divide f(-3)?
False
Let j(h) = h**3 + 31*h**2 + 52*h - 745. Is j(-26) a multiple of 51?
False
Suppose 2*h - 11 = -1. Let f(w) = 117*w - 7. Let c be f(h). Is c/8 - 0 - (-10)/(-40) a multiple of 9?
True
Let z(g) = 46*g - 190. Let v be z(5). Suppose -v*t + 3232 = -24*t. Is 4 a factor of t?
False
Let h(f) = -2*f + 32. Let y(o) = -19*o - 4. Let x be y(-1). Let l be h(x). Suppose -l*n + 4*n - 18 = -2*d, 3*d - 9 = 0. Is n a multiple of 2?
True
Let g be ((-45)/5 - -4) + 2. Let o be (-4)/g*(-2 - (4 - 3)). Is (-8 - -6)*226/o a multiple of 26?
False
Is 1/(-6)*(-88 - -82) - -3379 a multiple of 65?
True
Suppose 5*z - 72 = -2*k, -2 = -3*z + 10. Suppose 8*t - k = -4*g + 6*t, 20 = -4*t. Let p(f) = -f**3 + 11*f**2 - 7*f + 2. Is 33 a factor of p(g)?
False
Suppose 182 = h - 156. Let i = h - 185. Let q = -49 + i. Is 26 a factor of q?
True
Let b = 36 + -31. Suppose -b*q = -7*q + 1360. Suppose -4*j = -4*a + q, a + 3*j - 200 = -2*j. Is 25 a factor of a?
True
Let v = -508 + 249. Let r = -51 - v. Suppose 84 = 4*u - r. Is u a multiple of 13?
False
Suppose t - 5524 = -8*d + 130, -17014 = -3*t + 2*d. Is 6 a factor of t?
True
Suppose 3*r = -0*r + 3. Let c be 2/((-51)/(-24) + r + -3). Let b = 52 - c. Does 36 divide b?
True
Suppose -15 = -2*y + 9. Let j(z) = 15*z + 11 + 17*z - y*z. Does 7 divide j(2)?
False
Let m(j) = j**3 + 18*j**2 + 13*j + 19. Let n be m(-18). Let q = n - -807. Is q a multiple of 30?
False
Suppose 0 = -3*v + 2*x + 4152, 4720 = 3*v - 4*x + 574. Does 6 divide v?
True
Let g be (-8)/(-28)*1 + (-4338)/(-7). Let i = g + -304. Is i a multiple of 12?
False
Let u(p) = -733*p - 14. Let n(b) = 733*b + 10. Let x(i) = 3*n(i) + 2*u(i). Is 8 a factor of x(1)?
False
Let b = 90 - 86. Suppose 7*q = -b*q - 22. Is (q - 56/(-26)) + (-6741)/(-39) a multiple of 38?
False
Let f(s) = -13*s - 157. Let c be f(-20). Suppose -h + 201 = h + w, -h - 3*w = -c. Does 10 divide h?
True
Let q be -1 - -3 - (2 + 0). Let n(k) = k**2 + 9. Let t be n(q). Suppose 7*o = 4*o + t. Is o a multiple of 3?
True
Let u(j) = 536*j**2 + 117*j + 15. Is 10 a factor of u(-5)?
True
Suppose 0*o + 5*o - 170 = 3*v, -102 = -3*o - 3*v. Suppose 0 = l + 2*w - o, 36 + 146 = 5*l + 4*w. Is 24 a factor of l?
False
Let y(g) be the first derivative of 1/4*g**4 + 5/2*g**2 + 3 + 8/3*g**3 - g. Does 13 divide y(-7)?
True
Suppose 59 = 2*w - 5*v, 0*v + 136 = 4*w - 4*v. Does 6 divide -5*w*(-10)/50?
False
Suppose 0 = -73*i + 104*i - 140833. Is 10 a factor of i?
False
Let j = -29 + 30. Let u be (0/16)/(3 - j). Suppose u = -n - 19 + 71. Is n a multiple of 13?
True
Suppose -8*h = -11 - 13. Suppose 4*l = -3*t + 866, -h*l - 3*t = -86 - 562. Is l a multiple of 9?
False
Let g(q) = -q**2 - 8*q. Let b(n) = n**2 + 7*n. Let l(j) = -2*b(j) - 3*g(j). Is 3 a factor of l(-11)?
False
Suppose 0 = 5542*v - 5532*v - 2030. Is 30 a factor of v?
False
Let l = -159 + 3710. Is 7 a factor of l?
False
Let m(b) = -4003*b + 2342. Does 21 divide m(-4)?
True
Is 110 a factor of (-43118)/(-8) - 6/36*(-3)/2?
True
Let a be 1/(10/(-744)) + 4/10. Let q = -66 - a. Suppose 0 = q*f - 3*f + 15, -5*f = -4*z + 111. Is 6 a factor of z?
True
Let d(c) be the second derivative of c**5/60 - c**4/6 + 5*c**3/2 - 4*c**2 - 4*c. Let r(s) be the first derivative of d(s). Is r(4) a multiple of 6?
False
Let c(l) = l**3 + 2 - 4 + 4 - 7*l**3 - l. Let a be c(-4). Suppose g = -2*k + 7*k - a, 0 = 2*k - 4*g - 156. Does 26 divide k?
True
Suppose -4*j = -4*f - 0*f + 656, 2*f - 4*j = 328. Let z be (-4)/(2/(-80)*2). Let s = f - z. Does 28 divide s?
True
Let o(t) = -3*t**2 + 93*t + 9. Let x be ((-133)/114)/((-3)/18). Is o(x) a multiple of 4?
False
Suppose -8*m = -4*w - 3*m + 31, m = -3. Let u(f) = 2*f**3 + 3*f**2 - 4*f + 4. Is u(w) a multiple of 6?
False
Let l(b) be the second derivative of b**5/10 - 13*b**4/6 + b**3/2 + 23*b**2/2 + 7*b + 1. Is l(14) a multiple of 15?
False
Let a(t) be the third derivative of t**5/15 - t**4/4 + 5*t**3/6 - 14*t**2. Let y be a(-5). Let w = y + -13. Is 22 a factor of w?
False
Let x(c) = -4*c - 11. Let b be x(-4). Let p(l) = -2*l**3 + 6*l**2 + 5*l - 6. Let j be p(b). Let f = -54 - j. Does 12 divide f?
False
Let r(z) = -805*z**2 - 806*z**2 + 1615*z**2 - 5 + 2 + 6*z. Let q be -1 + -1 + 2 - -2. Is r(q) a multiple of 5?
True
Let y(i) = 9*i**2 + 8*i - 16. Is y(-31) a multiple of 43?
True
Suppose 0 = 7*a + 123038 - 13229. Is 70 a factor of a/(-28) + (-1)/4?
True
Let v = -3447 + 4287. Is v a multiple of 3?
True
Let v(n) = -707*n + 1370. Is v(-40) a multiple of 50?
True
Suppose k + 7 = c + 3, 2*c - 10 = 3*k. Suppose -6*n + 3*l + 302 = -c*n, 3*n + 5*l - 212 = 0. Suppose 0 = -y - 3, 0 = 6*j - j - 3*y - n. Is 2 a factor of j?
False
Suppose 146*z + 8955 + 11221 = 148*z. Is 10 a factor of z?
False
Let l = 446 + -464. Let g = l + 467. Is g a multiple of 9?
False
Suppose -49*n - 1980 = -55*n. Suppose -3*m + d + 327 = 0, n = 3*m - 7*d + 5*d. Does 5 divide m?
False
Let w(x) = x**3 + 28*x**2 + 53*x - 8. Let m be w(-22). Suppose -4*k = -j - m, -k + j = 105 - 539. Is 18 a factor of k?
True
Let y(p) = -2150*p + 4394. Does 18 divide y(-38)?
True
Suppose 0 = 6*x + 4*b - 71060, 2*x + 12397 = -3*b + 36097. Is 72 a factor of x?
False
Let y be 16*8/416*13. Let t(x) = 71*x**2 - 2*x + 1. Let o be t(1). Suppose o - 394 = -y*b. Is b a multiple of 12?
False
Let n(l) be the first derivative of -9*l**2/2 + 94*l - 88. Does 57 divide n(-9)?
False
Suppose 3*h - 165 = 36. Let u = -66 + h. Is (-3 + -1 - 0) + (u - -11) a multiple of 3?
False
Suppose 4*n = -9*n - 39. Is 17 a factor of -4*n/6*1225/70?
False
Let u = -3552 + 7712. Is 26 a factor of u?
True
Suppose -i + 10 = 3*s, -2*i + 22 = 4*s - 5*i. Is (-7 + 2 + s)/((-2)/186) a multiple of 53?
False
Let k(y) = -52*y - 845. Let w be k(-2