uppose -381 = 2*b + b + 3*u, -3*b - 389 = -u. Is b/n + (-7)/(-28) even?
False
Is 11862 + 1/(48/(-40) - -1) a multiple of 71?
True
Let w be (-18 - -19)*(-2)/1 + 814. Is 29 a factor of w/(-5)*(-20)/8?
True
Suppose -28 + 0 = -2*u. Suppose -22*d + u*d - 856 = 0. Let s = -44 - d. Does 7 divide s?
True
Does 13 divide (110/(-165))/((-2)/152217)?
True
Let t(i) = -72*i + 136. Suppose -f + 5 - 3 = 0, 0 = -3*c - 4*f - 13. Does 27 divide t(c)?
False
Let g(h) = 5*h**2 + 8*h + 19. Let u be g(-6). Suppose 0*n + 5 = -5*n, u = y - n. Suppose 2*k - y = 5*a, -3*a = -4*k - 8 + 294. Is k a multiple of 15?
False
Let p = -9 + 17. Suppose p*s = 9*s. Suppose -4*c + s*b + b + 337 = 0, 3*b - 81 = -c. Is c a multiple of 21?
True
Is (8/12 + 1/(-6))*(10165 + 169) a multiple of 94?
False
Suppose -f + 2*f = -c + 78, -2*c + 162 = 4*f. Let l = 67 - c. Let m = l - -83. Is 15 a factor of m?
True
Suppose -31*j + 1752 + 976 = 0. Suppose -609*d = -610*d + j. Is 8 a factor of d?
True
Suppose 10152 = 3*d + d. Suppose 17*k - d = 11*k. Does 47 divide k?
True
Let s be 90 + (-4 - -1) + 7. Let i = s + -100. Is (4/i)/((-4)/1410) a multiple of 37?
False
Let j = 270 - 200. Does 14 divide (-1)/((-4)/j)*(-192)/(-20)?
True
Let z be (2 - -3) + (3 - 1). Let r(h) = 11*h**2 - 16*h - 16. Does 24 divide r(z)?
False
Let t(i) be the third derivative of -i**5/60 + i**4/4 + 3*i**3/2 + 13*i**2. Let z be t(7). Suppose 1 = y + 4*c - 29, -z*y - 3*c = -85. Is y a multiple of 11?
False
Suppose -p - 19225 = -6*p - 0*p. Does 5 divide p?
True
Does 63 divide 5348*((-42)/(-28) - 6/(-2))?
True
Let s(t) = -6*t**2 - 156*t - 3. Is s(-13) a multiple of 3?
True
Let o be 5/(-15) + (0 - (-55)/3). Suppose -4681 = -o*c + 7739. Does 69 divide c?
True
Let n(y) = 2*y**2 + 44*y - 54. Let g be n(-23). Let r be 2/(g/(-10))*(34 - 18). Does 2 divide 368/r - (-1 + -2)/(-15)?
False
Suppose -w + r - 2*r - 34 = 0, 0 = 5*w + 4*r + 173. Let k = w + 32. Let q(u) = -11*u - 7. Is q(k) a multiple of 12?
True
Let d = -201 + 501. Suppose 7*q - d = 337. Let x = 125 + q. Is 16 a factor of x?
False
Let s = 1150 + 290. Suppose 4*i + 11*i = s. Is 16 a factor of (-12 + 0)*(-896)/i?
True
Suppose -273679 = -5*r - 3*k, -r - 17*k + 54747 = -18*k. Does 34 divide r?
True
Let h = -29537 + 39883. Does 10 divide h?
False
Let p(h) = 116*h**2 + 421*h - 27. Does 20 divide p(8)?
False
Does 10 divide 11360/(12*10/60)?
True
Let b(x) = -x**2 - 46*x - 35. Let y be b(-46). Let r = 117 - y. Does 38 divide r?
True
Let s(x) = 14*x + 58. Let k be s(4). Suppose 2*p + 4*z - k = 0, -3*z = p - 8*z - 92. Is 32 a factor of p?
False
Suppose 33*k + 10 = -155. Is (121 - -3)*(35/(-2))/k a multiple of 31?
True
Suppose 13*d - 12*d = 0. Let n(m) = -m**2 - m - 5137. Let o be n(d). Is o/(-44) - (-1)/4 a multiple of 39?
True
Is 8 a factor of (132/18)/(-11) + (-12266)/(-3)?
True
Let k(s) = 11*s - 38. Let c be k(-4). Let l = c - -358. Is 23 a factor of l?
True
Suppose 6071 = -5*u + 48686. Is u a multiple of 17?
False
Let j be 2*(-5 - -5 - -251). Let w = -210 + j. Is w a multiple of 18?
False
Let w(k) = -40*k - 28. Let j be w(-6). Suppose 3*u - 880 - j = 0. Is u a multiple of 26?
True
Let g = 31 - 34. Let y be (-527)/(-5) - ((-51)/(-15) + g). Suppose 5*a - y = -5*k, 2*k = -4*a - 0*k + 90. Is 5 a factor of a?
False
Let j be (-31)/(-217) - (-24798)/21. Suppose 1182*a = j*a + 29. Is 3 a factor of a?
False
Let i(y) = 54*y + 1004. Is 52 a factor of i(18)?
True
Let j(m) = 2*m**2 + 3*m + 6. Suppose 5*o + r = 29, -3*o + 7*o + 2*r = 28. Let p(q) = q**2 + q - 1. Let a(h) = o*p(h) - j(h). Is a(-7) a multiple of 12?
False
Is (3/1 - -4446) + 3 + 1 + 2 a multiple of 27?
True
Let o = -54 - -54. Suppose 2*d - 6*d - 156 = o. Let v = -33 - d. Is v even?
True
Let v be 104*(-12)/9*(-12)/8. Suppose -28*n = -v - 1528. Does 3 divide n?
False
Suppose 2673 = 9*a + 899 - 6416. Does 26 divide a?
True
Suppose 5*s = 15 + 15. Suppose 10*v - 16 = s*v. Does 8 divide 1 + v - 3/(-1)?
True
Let a = -1426 + 2163. Let v = a + -576. Is 10 a factor of v?
False
Let o(b) = 15*b**2 + 31*b + 63. Let h be o(18). Suppose -5*s + 3274 + 2210 = -3*q, -2*q - h = -5*s. Does 73 divide s?
True
Let g(o) = -9*o - 16. Let u be g(-10). Let b = 159 - u. Suppose -2*m = -33 - b. Is m a multiple of 14?
False
Let m(h) be the third derivative of -h**5/60 - h**4/4 + 45*h**3 - 2*h**2 + 22*h. Is m(0) a multiple of 27?
True
Let l(x) = 2*x - 167. Let t be l(-7). Let q = -170 - t. Is 2 a factor of q?
False
Suppose -p = 5*x, 2*x - 5 = -11. Suppose 4*r - 3 = -p. Does 6 divide 16/(r*10/(-45))?
True
Let o(g) = -239*g + 4. Let a be o(5). Let c be a/(-10) - 1/10. Suppose -104 = -3*f + 5*u, 3*f + 5*u = 7*u + c. Is f a multiple of 10?
False
Let g(y) = -89*y + 8277. Is 25 a factor of g(-119)?
False
Let y(p) = 63*p + 63. Is 45 a factor of y(14)?
True
Let g(n) be the second derivative of 10*n**3 - 45*n**2/2 - 35*n - 3. Is g(5) a multiple of 5?
True
Let z(d) = 5*d - 11. Let r be z(9). Suppose -x = 4*a - 58, -r = -x + a + 39. Suppose -9*j - x = -259. Is 5 a factor of j?
False
Suppose -5*b + 27 = -3. Suppose 2*j + 11 - 27 = -c, 4*j = 5*c - 24. Suppose -c*h + 50 = -b*h. Does 2 divide h?
False
Does 108 divide 6 - 7 - (-211 - 6)/(2/218)?
True
Let t(w) = 44*w**2 - 244*w + 955. Is 3 a factor of t(4)?
False
Let i(j) = 3*j - 6. Let d be i(3). Suppose 9 = -d*p + 6*p. Suppose w - 3*l - 9 - 15 = 0, 0 = -p*w - 4*l + 7. Is w a multiple of 9?
True
Suppose 345*v - 350*v + 5830 = 0. Does 6 divide v?
False
Let v = -319 - -10087. Does 3 divide v?
True
Let t(o) be the second derivative of 6*o - 9*o**2 + 11/2*o**3 + 0. Is 30 a factor of t(6)?
True
Let q(t) = 3*t**2 + 9*t + 1. Let y be q(-7). Is (-20 + 0)/(-6 - y/(-15)) a multiple of 4?
True
Suppose 4*p + q + 4*q = 49, 0 = -2*p + 3*q + 41. Suppose p*l - 888 = -8*l. Is 2 a factor of l?
False
Suppose -19*p = -14335 + 2441. Let r = 986 - p. Is 30 a factor of r?
True
Suppose 400*t + 11697 = j + 403*t, -5*j = -5*t - 58565. Is 9 a factor of j?
True
Let b(t) = 5*t**2 - 217*t + 36. Is 21 a factor of b(54)?
True
Let d(z) = -z**2 + 21*z + 44. Let t be d(17). Suppose -15 = 5*p, 0 = -r + 49*p - 51*p + t. Does 2 divide r?
True
Let t = -4472 + 10835. Is t a multiple of 21?
True
Let r = 1319 + -1334. Let y = -3 + -1. Does 8 divide y/(-20) + (-1002)/r?
False
Is 4 a factor of 488/(-1708) - 140914/(-14)?
False
Let p be -2 + 15 - (1 - 0)*3. Let h be -4 + 976/10 - (-4)/p. Does 10 divide (5 + -4)*(h + 1)?
False
Suppose -140*x - 240 = -152*x. Is ((-270)/4)/(6 + (-130)/x) a multiple of 27?
True
Let i(x) = x**3 - 13*x**2 - 10*x - 8. Let p be i(14). Suppose 188 = -p*z + 49*z. Does 23 divide z?
False
Suppose -3861472 = -62*d - 17*d + 558894. Is d a multiple of 47?
False
Let j be 1021/(-2) - (-4)/(-8). Let x = j + 889. Is 8 a factor of x?
False
Suppose 2*x - 250 = 766. Suppose c - 300 - x = 0. Is 26 a factor of c?
False
Let v be 28/(-154) - 884/(-22). Let h = 234 + v. Let n = h + -133. Is 25 a factor of n?
False
Let r = -115 - -141. Let z = -32 + r. Is 8 a factor of (15 + z/(-3))/((-9)/(-18))?
False
Let z be (4 - 0)/((-2)/(-220)). Suppose 3*w - z = 7*w. Let l = -12 - w. Is 49 a factor of l?
True
Suppose -3*p = -3*u - 4232 - 8377, 2*u = p - 4206. Is 40 a factor of p?
True
Let y(r) = -8 - 1287*r + 1288*r - 8. Let z be y(21). Suppose -285 = -z*i - 6*t + t, 5*i - t - 279 = 0. Does 14 divide i?
True
Let w(t) = 3*t - 27. Let s be w(10). Let n be (-6 + 3 - -47*s)/2. Let x = -51 + n. Is x a multiple of 2?
True
Suppose 325 = -5*r + 5*k, -3*k + 212 = -2*r + 78. Let i = r + 76. Let o = 39 - i. Is 8 a factor of o?
True
Let z(r) be the second derivative of -6*r**3 - 40*r**2 + 19*r. Is 11 a factor of z(-12)?
True
Suppose -3*i = -9, -9*o + 4788 = -8*o - 4*i. Is o a multiple of 42?
False
Let r(m) = m**3 + 55*m**2 + 476*m + 8. Is r(-38) a multiple of 14?
True
Suppose -2*m + 3*n + 1539 = 0, 0 = 3*m + 3*n - 2137 - 209. Suppose 5*v - 3*k - 225 = 531, 5*v - m = -4*k. Is v a multiple of 9?
True
Let j(g) = 67*g + 1635. Is j(-21) a multiple of 12?
True
Is 185 a factor of (101 - 92)/((-6)/(-7102))?
False
Suppose 0 = l + 5 + 1. Is (48 + -12)*((-62)/l - 1) a multiple of 21?
True
Let s be (14 - (-10 + 12)) + -8. Let v(g) = 2 + 3*g**2 + g**3 + 10 + 2*g - 9*g. Does 12 divide v(s)?
True
Let k(l) = -l**2 + 17*l - 883. Let m be k(0). Let p = -154 - m. Does 24 divide p?
False
Does 109 divide (174