uppose -136 = -7*q - i. Is q a multiple of 4?
False
Let h(y) = 1094*y - 3459. Is h(6) a multiple of 69?
True
Suppose 3 = -7*p + 17. Suppose 12 = 3*h, 0*h = 5*b + p*h + 42. Let k(g) = g**2 + 7*g - 15. Is 2 a factor of k(b)?
False
Let m be 7 - (-396)/(-55) - (-26)/5. Suppose 396 = -5*t + 6*t - 4*l, -4*l = m*t - 1932. Is 16 a factor of t?
False
Suppose 4*a + 5*q - 10*q = 15875, 0 = -3*a + 2*q + 11908. Does 20 divide a?
False
Let x(g) = -g**3 + 13*g**2 - 20*g - 19. Let z be x(11). Suppose 1393 = 4*y - z*w, 3*y - 6*y + 1043 = -4*w. Is 44 a factor of y?
False
Suppose 8*t - 7486 + 2734 = 0. Suppose 5*r - 5*z - 1454 - 1436 = 0, 5*z = r - t. Is 11 a factor of r?
False
Let o(d) = 84*d**2 - 124*d - 73. Let q(a) = -20*a**2 + 31*a + 18. Let y(u) = -2*o(u) - 9*q(u). Is y(8) a multiple of 36?
True
Let r = -375 + 1479. Is 3 a factor of r?
True
Let a(i) = -6*i - 20. Let l be a(-7). Let p(j) = -3*j - 6*j + 12 + j - l. Is p(-8) a multiple of 6?
True
Let o be (4 - 3)*(1 + -2)*3. Let x be o*4/24*-6. Suppose 4*m - x*i - 596 = 0, 0*m = 3*m - i - 442. Is 36 a factor of m?
False
Let o(a) = -a**2 - a + 36. Let x be o(5). Suppose -513 + 2859 = x*t. Does 23 divide t?
True
Let g(m) = 26*m + 28. Suppose 19 + 80 = 9*f. Is g(f) a multiple of 14?
False
Let h(r) = -30*r + 9 - 3 + 12*r. Is 15 a factor of h(-3)?
True
Let t(a) = -451*a + 231. Is t(-5) a multiple of 13?
False
Let g(i) be the second derivative of 7*i**3/3 - 15*i**2 + 12*i. Let b be g(15). Suppose t = -2*t + b. Is 20 a factor of t?
True
Let t = -304 + 667. Let f = -181 + t. Is 21 a factor of f?
False
Is 5*(216/(-40) + 5)/(3/(-13989)) a multiple of 9?
False
Let u = -127 + 318. Suppose u = 13*n - 160. Is n a multiple of 9?
True
Suppose -5*f = -4 - 6. Let j be 6/3 + 25 - f. Let r = j - 10. Is r even?
False
Let y = 18727 + -9487. Does 120 divide y?
True
Suppose -311 = -4*f - 123. Let c = 38 - f. Let y(z) = -z**2 - 12*z + 3. Is y(c) a multiple of 10?
True
Suppose 3*g + 4*w - 18 = g, -w - 27 = -4*g. Let y(f) be the third derivative of 11*f**4/24 - 11*f**3/3 + 5*f**2 + 62. Is 5 a factor of y(g)?
True
Let f = 9207 + -4898. Is f a multiple of 23?
False
Does 98 divide (45 - -6)/((-3)/(-1031))?
False
Let j(k) = -286*k - 28. Let i be j(-22). Suppose p = -8*p + i. Suppose 0 = -20*m + 14*m + p. Does 41 divide m?
False
Let a = 52 + -134. Let j = a + 144. Let m = j - -64. Is 21 a factor of m?
True
Is ((-10)/20)/((-1)/(-6)) - 142*-4 a multiple of 4?
False
Let m(r) = -22*r**2 - 4*r**2 + 27 - 28. Let j be m(2). Let w = 1 - j. Is 11 a factor of w?
False
Suppose 1 = u, 50*u = -10*h + 55*u + 89515. Is h a multiple of 4?
True
Suppose 16202 = 2*j + 4*d + 3286, -3*j + 4*d + 19324 = 0. Does 32 divide j?
False
Let u be (183 - -4) + (-1 - 3). Let g(l) = 64*l. Let c be g(-1). Let s = u + c. Is 16 a factor of s?
False
Suppose -815 + 35 = -4*i. Does 2 divide i?
False
Let c = 12494 - 100. Does 209 divide c?
False
Suppose -2*v + 5*p = -0*p - 35, 5 = 4*v + 3*p. Suppose -i - v = -2*i. Is i a multiple of 5?
True
Is (-1106)/474 + 15655/3 + -1 a multiple of 46?
False
Suppose -1 = 5*u - 226. Suppose -3*c + 0*c = u. Is (-3)/c - (-1 - (-508)/(-10)) a multiple of 28?
False
Let i = 28 - 25. Suppose i*f = -2*q - 5, 2 - 12 = q + 4*f. Suppose 2*l - 3*b - 153 = 0, 78 = -l + q*l - 2*b. Is l a multiple of 18?
True
Suppose -4*o - o + 196 = 3*r, -118 = -3*o - 2*r. Let k be (10/25)/(-2) + (-6)/(120/(-1364)). Let d = k - o. Does 5 divide d?
True
Let a = -2948 + 3455. Is a a multiple of 5?
False
Suppose -3*o - 4*j = -1439 - 1316, -3*o = -2*j - 2767. Does 2 divide o?
False
Suppose 3*c - 9 = 0, c - 10 + 3 = -t. Let n = 15 - t. Suppose n*h - 6*h = 130. Is h a multiple of 13?
True
Let w = 68047 + -38671. Does 34 divide w?
True
Suppose 12 = -2*n, u - 291 = 16*n - 19*n. Does 3 divide u?
True
Let x(k) = k**3 - 2*k**2 + 3*k + 2. Suppose -6*b + 3*b + 33 = -u, -2*u + 2*b = 46. Let q = u - -21. Is 14 a factor of x(q)?
False
Let o be -6 + 104/8 - 6. Is (130810/381)/(o - 7/9) a multiple of 15?
True
Let m be (-1)/4 + (-1545)/(-20). Suppose 0*i + 5*b + 111 = 4*i, 0 = -4*i + 2*b + 126. Let j = m - i. Is 35 a factor of j?
False
Let p = 674 + -669. Suppose -6*z + 10*z - 1765 = 3*k, -p*z - 4*k + 2245 = 0. Does 5 divide z?
True
Suppose -4*r = -7*r - 2*c - 12, 0 = r - 4*c + 4. Does 46 divide -1 - (-1)/(r/(-1292))?
True
Let j(n) = -216*n**3 + 10*n + 20. Is 32 a factor of j(-2)?
True
Let m be (-2)/9 - -12*(-45)/(-243). Suppose -m*q + 2*a + 1222 = 0, 5*q = 2*a + 4600 - 1542. Is 68 a factor of q?
True
Suppose 3*k = q + 7174 + 5309, -16631 = -4*k - 3*q. Is 8 a factor of k?
True
Suppose 0 = -6*h + 2 + 16. Suppose 5*v - 15 = 0, 0 = -4*f - h*v - 2 - 41. Is 20 a factor of (-782)/f - (-14)/(-91)?
True
Let a(c) = 2*c**3 - 9*c**2 - 12*c + 169. Does 11 divide a(12)?
False
Suppose -3*w - y + 126 = -4*y, 2*w - 84 = 5*y. Is 13 a factor of 1 - 7/(w/(-1398))?
True
Let k be (-1 - 2) + 9/((-27)/96). Let n = k + 199. Does 34 divide n?
False
Suppose -3*b = 2*b - 2*b. Suppose b = -3*a + 82 - 7. Suppose 40 = 26*n - a*n. Is 40 a factor of n?
True
Suppose -4*z = 0, 4*y - 2*z - 351 = 318 - 13. Does 82 divide y?
True
Suppose -m = 2*n + 1, -3*n + 2*m = m - 1. Suppose 0 = -3*c - 15, 0 = 3*i - n*c - c - 155. Let q = -11 + i. Does 4 divide q?
False
Let g(a) = -7*a**2 - 3*a - 2. Suppose 19*n - 23*n - 16 = 0. Let s be g(n). Let l = s + 144. Does 14 divide l?
True
Let c = -59 + 104. Let u(s) = -s - s + c - 14 + 2*s**2. Is u(-8) a multiple of 25?
True
Let w(p) = -3*p + 12. Let m be w(4). Suppose 3*d + 120 - 144 = m. Is (-72)/15*(-53 + d) a multiple of 15?
False
Let h(i) = -63*i**2 + 37*i + 6. Let g be h(7). Let l = -1670 - g. Is l a multiple of 36?
True
Suppose -4*n + 10 = n. Suppose n*u = -362 + 1134. Is u a multiple of 30?
False
Suppose 4*z - 1134 - 706 = -3*u, 4*u - 4*z = 2500. Is 23 a factor of u?
False
Let x(n) = 8021*n + 525. Does 352 divide x(7)?
True
Let x = 5999 + -234. Is 15 a factor of x?
False
Let t = -4704 - -4796. Does 2 divide t?
True
Suppose 0 = -o + 31 - 3. Suppose 4*y + v = o, 2*y - 2*v = -3*v + 16. Is -22*(3/y - 2)/1 a multiple of 33?
True
Suppose 57618 = 3*k + 4*w, 2010*w = 2007*w. Is k a multiple of 10?
False
Let l(t) = -2*t + 28. Let f(n) = -n + 14. Let s(i) = -5*f(i) + 3*l(i). Let k be s(8). Does 5 divide 23 + (2 - (k + -1))?
True
Let t(r) = 3*r**2 + 17*r - 48. Let h = 194 + -181. Is t(h) a multiple of 5?
True
Let a be 1/(10/26) + (-6)/(-15). Suppose -3*j = -5*j - r + 1879, -a*r = j - 937. Is 27 a factor of (j/35 + 2/(-7))*7?
False
Let a(f) = -16*f - 78. Let i be a(-5). Suppose i*y = 85 + 149. Is 9 a factor of y?
True
Let w = -82 + 82. Let q be (-12)/(-8) + (-175)/2 + w. Does 17 divide q/(-4) - 6/4?
False
Suppose 2265 + 7108 = 43*x - 2452. Is 9 a factor of x?
False
Suppose 0 = 7847*v - 7833*v - 3136. Is v a multiple of 48?
False
Suppose -b = 3*s - 2757 + 539, s + 5*b = 730. Suppose -s = -0*t - 5*t. Is 22 a factor of t?
False
Let f be (2 + -5)/(6/(-76)). Suppose 7*l - 32 = f. Let j(z) = 7*z - 31. Is j(l) a multiple of 5?
False
Suppose 4*s + 12 = 4*h, 3*s - h + 0 = 1. Suppose -26 - 166 = -x + s*n, -5*x = 4*n - 1016. Is x a multiple of 9?
False
Is 54 a factor of (-106260)/(-24) + 2/4?
True
Suppose 17 = 15*r - 12*r - t, 43 = 5*r + 2*t. Is 302 + 40/(r + -15) a multiple of 9?
True
Suppose -45*h + 21499 + 45684 = -100757. Is 6 a factor of h?
True
Let u = -31603 + 52559. Is u a multiple of 13?
True
Suppose -s = -54 - 304. Suppose -s*h = -354*h - 3780. Does 35 divide h?
True
Let d = -195 - 355. Let i = -11 - d. Is 77 a factor of i?
True
Let q = 2737 + -1657. Let s(l) = 6*l - 76. Let t be s(14). Suppose 0*r = t*r - q. Is 15 a factor of r?
True
Let d be 8/(-20) + (-3)/((-30)/5464). Let r = -228 + d. Let g = -141 + r. Is 25 a factor of g?
False
Let u(o) = -216*o + 611. Is u(-26) a multiple of 114?
False
Let h be 505/(-20) + 5 + 69/(-12). Let l(u) = -u**3 - 25*u**2 + 10*u - 46. Does 15 divide l(h)?
False
Let o be (((-6)/9)/(-2))/(4/12). Let r(c) = -1 + 9 + o + 30*c. Is r(3) a multiple of 11?
True
Suppose -2*d = 4*w - 5400, 86*d = 91*d - 20. Is w a multiple of 34?
False
Suppose u = -214*p + 218*p - 22600, 4*p - 4*u - 22600 = 0. Is 34 a factor of p?
False
Suppose 619 - 201 = -j. Let a = j - -433. Is a even?
False
Is 13880 - (-5 + (-36)/9) a multiple of 19?
True
Let v(h) be the first derivative of 3*h**4/4 - 6*h*