. Let m(v) = 12*a(v) + n(v). Does 38 divide m(2)?
False
Let j = -14 - -16. Suppose -j*l = 3*s + l + 15, 0 = -2*s - 5*l + 5. Let a(t) = t**2 - 9*t + 18. Does 13 divide a(s)?
True
Let s(n) = -108*n + 160. Let f = -675 - -669. Is 101 a factor of s(f)?
True
Let s be ((-1)/5)/1*-5. Let h(y) = 119*y**3 + 5*y - 4. Is h(s) a multiple of 8?
True
Let l(s) = 3*s**2 + s - 4. Let q be l(-5). Suppose 0 = 79*a + 904 + 834. Let d = q + a. Is d a multiple of 4?
True
Let f(q) = -55*q + 8. Let u(b) = -603*b + 90. Let s(c) = -45*f(c) + 4*u(c). Is 21 a factor of s(13)?
True
Is (183410/(6 - 1) - 3) + 12/12 a multiple of 52?
False
Let r(u) = u**3 + 2*u**2 - 5*u - 24. Let k = 93 + -88. Is r(k) a multiple of 8?
False
Suppose -7*o - 102 = 388. Let u = o - 0. Is 3 a factor of -5*1*56/u?
False
Suppose 3*g + 213 + 609 = -c, c - 4*g + 836 = 0. Let l = 836 + c. Does 8 divide l?
True
Is 8 a factor of (2 - (-28)/(-42))*4086?
True
Let c(f) = f**2 + 12*f - 12. Let l(y) = y**2 + 25*y - 23. Let o(h) = 11*c(h) - 6*l(h). Does 13 divide o(-5)?
True
Let b be (-20)/(-4)*9/15. Let k be b/(-9)*3*-1. Is 16 a factor of (k*-1)/(23/(-1679))?
False
Let c(n) = 4*n**2 - 11*n - 21. Let s(h) = 3*h**2 - 12*h - 21. Suppose -4*m + 3*d = -5*m - 7, -m + d + 5 = 0. Let t(v) = m*c(v) - 3*s(v). Does 7 divide t(14)?
True
Let d = -246 + 283. Suppose d + 383 = 2*g. Is g a multiple of 10?
True
Let a = 3805 + -3350. Is a a multiple of 35?
True
Suppose 0 = 2*a, k - 7*a - 2298 = -6*a. Is k a multiple of 32?
False
Suppose 47865 = 52*z - 152075. Is z a multiple of 11?
False
Let p be (29/(-2))/(5 + 71/(-14)). Let z = p + -158. Is z a multiple of 15?
True
Suppose 0*k = -13*k + 39. Suppose 3*v - 315 = -k*h + 60, -5*v + h + 631 = 0. Is v a multiple of 21?
True
Let x = 33 + -31. Let i(m) = 37*m - 9. Let u be i(x). Suppose 0 = 2*z - 31 - u. Does 13 divide z?
False
Suppose -14214*z + 14226*z - 48960 = 0. Is z a multiple of 16?
True
Let m(o) = o**2 + o + 1536. Let a(y) = -2*y**2 + 40*y + 42. Let f be a(21). Is 36 a factor of m(f)?
False
Suppose g = 0, -467*g + 10750 = 5*v - 470*g. Is 9 a factor of v?
False
Suppose -12*n + 14*n - 400 = 0. Suppose 0 = 6*z + 50 - n. Does 8 divide (-339)/(-15) - 3 - 15/z?
False
Let j = -323 + 318. Is 21 a factor of ((-8700)/24)/j*(-8)/(-5)?
False
Is 176 a factor of (-5 - (-630)/150) + (-158404)/(-5)?
True
Suppose -t - 74 = -3*p, -2*t + 34 = -0*p + p. Let u be (-2*1)/((24/p)/6). Let l = 45 + u. Is 9 a factor of l?
False
Suppose 180*r - 345*r = -176*r + 94017. Does 31 divide r?
False
Let d = 470 - 73. Is 2 a factor of d?
False
Suppose 9*h - 27*h + 72 = 0. Suppose 0 = 3*p + 4*w - 1357, -9*p + 2285 = -h*p - 5*w. Is p a multiple of 13?
True
Let v(l) = 22*l - 54. Let d be v(5). Is ((-216)/d - 2/14) + 30 even?
True
Suppose -3*a + 3*s = -93, 9 + 98 = 3*a + 4*s. Let t = a - -341. Is t a multiple of 46?
False
Let f be (-96)/(-15) + (-8)/20. Suppose f*o = o - p + 625, -o + 146 = -4*p. Is 7 a factor of o?
True
Let o(g) = 3*g**2 + 53*g - 778. Does 5 divide o(-59)?
False
Suppose 1832 = 302*h - 310*h. Let o = h + 503. Is o a multiple of 3?
False
Let s(x) = -x**2 - 2*x + 58. Let h be s(-19). Let b = -61 - h. Is b a multiple of 33?
False
Let d(o) = -3*o**2 + 177*o + 135. Is d(47) a multiple of 61?
False
Suppose 12 = -b + 4*b. Let i = 2711 + -2699. Suppose -i = -b*d + 120. Is d a multiple of 11?
True
Suppose 131 = 6*i + 395. Let p = i + 170. Is p a multiple of 18?
True
Suppose 4*z - 2*o - 25350 = 0, 5*z = 5*o + 28828 + 2872. Does 14 divide z?
False
Suppose l - 8564 = -2*w, 6*w - 9732 = 5*l + 15992. Is 28 a factor of w?
True
Suppose 2900 = g + 33*z - 43*z, -14924 = -5*g - 3*z. Is 4 a factor of g?
True
Let m = -299 + 599. Let j = -76 + m. Is j a multiple of 14?
True
Suppose 4*a + 46538 = 3*h, -7034 = -h + a + 8479. Does 79 divide h?
False
Let g = 190 - 199. Is (-60)/g*(3 + (-366)/(-4)) a multiple of 14?
True
Suppose -103*r + 100*r = -543. Let y = 292 - r. Is 30 a factor of y?
False
Suppose 6*c = -4*z + 11546, -2*z + 3*c + 4160 = -1619. Is z a multiple of 152?
True
Suppose -190*l = -185*l + 2*k - 112792, -3*k - 45132 = -2*l. Is l a multiple of 48?
True
Let t(v) = -11*v - 12. Let k be t(-13). Suppose 5*y - k + 26 = 0. Is 8 a factor of (2*1)/(y/672)?
True
Let s(j) be the first derivative of -3*j**4/4 + 4*j**3/3 + 7*j**2/2 + 5*j - 16. Let f be s(-2). Suppose f + 871 = 11*h. Does 18 divide h?
False
Let j(s) = s**2 + 9*s + 2. Let o be j(-6). Let n(f) = -2*f - 26. Let i be n(o). Is 17 a factor of 807/i - 8/16?
False
Suppose 0 = -3*u - u + 28. Suppose -u*w - 53 + 11 = 0. Is 7 a factor of (160/w)/(2/(-6))?
False
Suppose 4760 = 2*g - 2*h, 68*h = 135*h - 65*h. Is 20 a factor of g?
True
Suppose -2704 = 902*u - 918*u. Does 20 divide u?
False
Suppose -35 = b + 6*b. Let h be -2 - (b/((-20)/8) + -138). Let l = h + -83. Is 17 a factor of l?
True
Let l = -2674 - -3746. Is l a multiple of 97?
False
Let y = -25 - -28. Suppose -y*x = -4*u - 305, 305 - 83 = 2*x + 2*u. Suppose 250 = 3*i - x. Is 6 a factor of i?
False
Let c = -1719 + 4863. Is 3 a factor of c?
True
Suppose 0 = 416*t - 353550 - 3731986. Is 182 a factor of t?
False
Let d(w) = -26*w - 32*w - 36 + 69*w. Is 5 a factor of d(11)?
True
Let a(u) = -3*u**3 + 4*u**2 + 6*u + 2. Let t be a(-2). Let l = 32 - t. Suppose -l*o = -0*o + 4*q - 60, -2*o + 66 = -2*q. Is o a multiple of 2?
True
Let d(r) = -2*r**2 + 23*r + 32. Let c be d(11). Suppose -12673 = -c*v + 14*v. Is 19 a factor of v?
True
Let f(r) = -1691*r + 2769. Is f(-5) a multiple of 92?
True
Let s(y) = -2*y**3 - 15*y**2 + 14*y - 10. Let t be s(-8). Let f = t - -75. Let k = 16 + f. Is k a multiple of 3?
True
Suppose 5*i = w + 1339, i - 5*i + 1074 = 2*w. Suppose -20*j + 4*l - i = -22*j, 3*j - 3*l = 429. Does 22 divide j?
False
Let m = -600 + 647. Suppose -m*d + 65*d - 14742 = 0. Is 91 a factor of d?
True
Let a(r) = r**2 - 9*r - 50. Let i be a(13). Suppose -3*y + 84 = 3*f, i*f + 0*y + y - 52 = 0. Is 8 a factor of f?
True
Let a be (33/1)/(-4 + (-43)/(-10)). Let i = 629 + a. Does 18 divide i?
False
Suppose -2*i + 118 = 88*l - 83*l, 0 = -2*i - 4*l + 114. Is 7 a factor of i?
True
Let c(n) = -n**3 + 7*n**2 + 49*n - 326. Let b be c(9). Suppose -3*u + 6*u = 381. Let f = u + b. Is f a multiple of 10?
True
Let o(w) = 143*w - 326. Is o(15) a multiple of 17?
True
Let o = 19371 - 12585. Does 29 divide o?
True
Suppose -5*k - 5014 = -4*z, 4*z + 5*k - 155 - 4879 = 0. Is 4 a factor of z?
True
Let g(n) = n**3 - 4*n + 2. Let y be g(2). Let c(m) = m**3 - 5*m + 1. Let j be c(y). Does 20 divide (-242)/(6/(-3)) - j/(-1)?
True
Let p(u) be the second derivative of u**6/360 - u**5/24 + u**4/24 + 10*u**3/3 - 3*u. Let j(i) be the second derivative of p(i). Is j(-6) a multiple of 14?
False
Let q = -2650 - -3395. Is 7 a factor of q?
False
Let x be 2 - (-3 - -38)*-1. Suppose 4*j - 7*j + 5*g = -x, 25 = 5*j - g. Suppose -j*b - 305 = -3*v + b, -174 = -2*v - 4*b. Is v a multiple of 20?
False
Let n(p) = -p**3 - 8*p**2 - 3*p - 10. Let u be 40/6*63/84. Suppose 5*v - 5*b - 14 = -54, 31 = -4*v + u*b. Does 14 divide n(v)?
True
Let o(k) be the second derivative of 8*k**4/3 + k**3/6 + k**2/2 - 24*k. Let u be o(2). Let s = u + -22. Is s a multiple of 22?
False
Is 1/((-5)/(-840))*(-3 - (-355)/10) a multiple of 140?
True
Suppose 3*m = 3*g - 732, 11*g - 8*g + 2*m = 752. Suppose -8*b + g = -4680. Is b a multiple of 8?
True
Let f = -11109 + 19593. Is 6 a factor of f?
True
Let w be -123*(-3)/18*8. Suppose -5*h + 19 = 4. Suppose -4*a = -5*a + s + 84, w = 2*a - h*s. Is a a multiple of 11?
True
Let q(k) = -k**3 + 20*k**2 - 21*k + 38. Let u be q(19). Suppose 3*j - 426 = -u*j. Suppose -6*a - j = -1180. Does 12 divide a?
False
Suppose 0 = -2*b - 38. Let p be -1*(-1 - 1)/((-2)/b). Is p - (0 + 8)/4 a multiple of 12?
False
Let k be -3*(-4)/(-30) + 15736/40. Suppose -8*p + 151 = -k. Does 6 divide p?
False
Let j = -30 + 35. Let i(c) = 21*c**2 + 21*c - 4. Let t be i(j). Suppose -854 - t = -5*n. Does 14 divide n?
False
Suppose -5*d + 5*r + 2411 = 8*r, -5*r + 1453 = 3*d. Let u = d - 241. Does 30 divide u?
True
Let x = 113057 + -74412. Does 295 divide x?
True
Let v(z) = -492*z + 486. Is 17 a factor of v(-10)?
True
Suppose g + 292 = 5*g. Let h = g + -68. Suppose 4*r = 3*a + 146, 0*a + 2*a + 186 = h*r. Is r a multiple of 19?
True
Let x = 15 + -38. Is 15 a factor of (1 + -37)*(19 + x)?
Fals