*v - 1175. Does 143 divide n(-9)?
True
Suppose -4*y + 5*m + 125419 = 0, 84*y - 79*y - 6*m - 156774 = 0. Is 52 a factor of y?
True
Let p(x) = -x**2 + 7*x - 9. Let b be p(7). Let s(h) = 20*h - 17. Let g(n) = -11*n + 8. Let k(z) = -5*g(z) - 3*s(z). Does 28 divide k(b)?
True
Suppose -5*q - 7*u + 247 = -4*u, -2*q = u - 99. Suppose q = 5*p + 2*b - 61, -5*b = -4*p + 69. Suppose -24*c + p*c + 567 = 0. Is 34 a factor of c?
False
Suppose -3*o + 3*j = -36111, -23*o + 20*o + 36110 = -2*j. Is 354 a factor of o?
True
Let i(t) = 925*t + 355. Is 15 a factor of i(5)?
True
Let q(l) = -16*l - 9. Let n = 80 + -82. Let y be q(n). Let o = 123 - y. Is 10 a factor of o?
True
Suppose 0 = 3*u - 110 - 61. Let b = u + -55. Suppose -5*t - 3*m = -500, 0*t = b*t + 5*m - 200. Is 13 a factor of t?
False
Let y be (9 - 1) + (2 - 5). Suppose -3*u - 4*c = -53, 11 + 59 = y*u + 3*c. Suppose u*o - 547 = 267. Is o a multiple of 11?
False
Let r = -9881 + 19205. Does 18 divide r?
True
Let q = -87 - -85. Suppose -3*a + 2*l = -308, 3*a = 2*l + 3*l + 320. Let j = q + a. Is j a multiple of 10?
False
Let r(b) = 65*b**2 - b + 23. Let t(y) = y**2 - y + 1. Let o(c) = -r(c) + 5*t(c). Let j be o(-7). Is 13 a factor of (-3)/5 + j/(-50)?
False
Let b(s) = 50*s + 104. Let w be b(-2). Suppose 4*m + 61 - 49 = 0, 48 = 2*a - w*m. Is a a multiple of 10?
False
Let l(m) = m**2 - 11. Suppose 24 = -5*h + 13*h. Let d be l(h). Is 24 a factor of (1298/44)/((-1)/d)?
False
Let n be (598/6)/(20/180). Suppose v = -5*q + n, 19*q - 3*v = 20*q - 185. Is 2 a factor of q?
False
Let p(j) = -21*j**3 + 2*j**2 - 1. Let d be p(-1). Does 3 divide (d/55)/(2/60)?
True
Let m(p) = -11*p - 71. Let x be m(-6). Is (-183)/(x/6 + 3/6) a multiple of 68?
False
Let f(j) = 849*j**2 - 5*j + 41. Is 11 a factor of f(-6)?
True
Suppose -3*y - 4*h = h - 42814, 0 = -3*y - 2*h + 42808. Is 58 a factor of y?
True
Let t(z) = z**2 - 2*z - 1. Suppose 2*c - 3*m = -2*c + 147, 0 = -c - 4*m + 13. Suppose -6*y + c - 75 = 0. Is t(y) a multiple of 5?
False
Let w(r) = r + 13. Let k be 150/(-39) + (-4)/26. Let x be w(k). Suppose 13*c = x*c + 180. Is c a multiple of 34?
False
Let m = 143 - -333. Suppose 5*t - m = 709. Let y = 353 - t. Is 29 a factor of y?
True
Let t(z) = -4*z**3 - 9*z - 4. Let o(c) = 5*c**3 + 8*c + 3. Let y(w) = -5*o(w) - 4*t(w). Suppose 6*p = p - 15. Does 16 divide y(p)?
True
Let v = -49 - -49. Let n be (2 - -29) + v + 0. Let m = n - 17. Does 2 divide m?
True
Suppose -9*u - 2276 = -13*u. Let f = -13 + u. Is 32 a factor of f?
False
Suppose -18*p + 16*p = 14. Is (-2)/7*-1 - 649/p a multiple of 21?
False
Suppose 2*y + 2 - 8 = 0. Suppose -5*t = -v - 6016 + 1453, y*t + 5*v = 2721. Does 24 divide t?
True
Let c(a) = 40*a**2 - 36*a + 147. Is c(4) a multiple of 12?
False
Let r = 1980 - 692. Does 23 divide r?
True
Suppose 155*d + 155*d + 37261 = 317*d. Does 98 divide d?
False
Let n(t) = 164*t - 774. Is 11 a factor of n(29)?
True
Suppose 2*v + 2*d = 46990, v - 1945*d = -1948*d + 23505. Is 27 a factor of v?
True
Suppose -135 = -35*i + 40. Suppose 0 = i*d + 2*y - 1884, -4*d - 5*y = -2*y - 1510. Is d a multiple of 39?
False
Suppose 9*o - 4*o = 5*n - 15, 0 = 3*n + o + 3. Suppose -4*j = -n*j + 44. Let v(u) = u**3 + 10*u**2 - 13*u - 7. Is 5 a factor of v(j)?
True
Let c = 2078 + 739. Does 117 divide c?
False
Suppose 0 = 5*d - w - 3*w - 85, 3*w + 17 = d. Let k(y) = 22*y - 111. Does 6 divide k(d)?
False
Let y(w) = -2*w**2 - 11*w - 24. Let t(q) = -6*q**2 - 32*q - 73. Let m = 45 - 43. Let r(c) = m*t(c) - 7*y(c). Is 10 a factor of r(-10)?
False
Let k(h) = 3*h + 27. Let n be k(-4). Suppose -o - 2623 = -3*v, -n*v + 4*o = -10*v - 4360. Is 73 a factor of v?
True
Suppose -11*i = i + 624. Let o = i - -113. Does 61 divide o?
True
Suppose -3*s + 15257 = 8*s. Let b = s - 652. Does 21 divide b?
True
Let n be 2004/18 - (-8)/12. Let d = 173 + n. Is 4 a factor of d?
False
Let j(h) = 3*h**3 - 33*h**2 - 49*h + 864. Does 16 divide j(16)?
True
Let d be (-1)/3 - 175/(-75). Suppose t + 4*i + 6 = 7*i, -12 = -d*t - 2*i. Suppose -108 = -6*y + t*y. Is y a multiple of 6?
True
Is 10/(-6)*((-6)/(-15) - 828/45) a multiple of 15?
True
Let m(y) = 162*y - 1432. Is 11 a factor of m(10)?
False
Let a be (75/(-6))/(5/(-190)). Let i = -318 + a. Is 8 a factor of i?
False
Let x be 168/21 + (-9)/1. Is (-2 - x)/(45/(-13095)) a multiple of 20?
False
Let f(k) = 38*k**2 - k + 1. Let u be f(2). Let h = u + 32. Is 16 a factor of h?
False
Suppose 0 = -8*r + 1318 + 5194. Suppose 7*y - 3*y = 3*j - r, y - 539 = -2*j. Is 27 a factor of j?
True
Let z(f) = -10*f - 15. Let o(k) = k**3 - 6*k**2 - 18*k + 12. Let i be o(8). Let r(w) = -w. Let c(j) = i*r(j) - z(j). Does 33 divide c(5)?
False
Suppose 50 = -6*g - 4*g. Let w(v) = -3*v**2 - 18*v - 7. Let t be w(g). Suppose -3*f + t*f - 4*s = 684, f = -3*s + 133. Is f a multiple of 17?
True
Let p = -7 + 8. Let h be ((-1)/(-1) + 10)*p. Suppose 0 = -7*d + 6*d + h. Is 3 a factor of d?
False
Suppose 14*j - 138318 = -57*j + 36342. Does 120 divide j?
False
Suppose 0 = o + 5*j - 165, 6*j - 960 = -5*o + 8*j. Does 5 divide o?
True
Suppose 144*z = 465*z - 3815406. Is z a multiple of 283?
True
Let o = 15728 - 14058. Does 126 divide o?
False
Let d(f) = f**2 + 2. Let b be d(0). Let r be (63/54)/(b/12). Suppose 5*y - c = 68 + 47, y - r = -3*c. Is y a multiple of 9?
False
Suppose -8 - 12 = -5*b, -g - 3*b = 81. Let q = g + 205. Does 54 divide q?
False
Let a(x) = 3*x**2 - 214*x - 127. Does 7 divide a(73)?
True
Suppose -d - 182 = 13*d. Let m(l) = 5*l**2 + 20*l + 17. Is m(d) a multiple of 14?
True
Let b = 299 - 179. Suppose 0*w - 4*w + b = 0. Is (-4)/w + (-1652)/(-15) a multiple of 22?
True
Suppose -2*y - 4 = -y, 3*p - 2*y - 59 = 0. Suppose -p = r - 25. Suppose -10*x + 62 = -r*x. Is x a multiple of 13?
False
Let o = -201 - -226. Is (-2)/(20/(-702)) + (-5)/o a multiple of 70?
True
Let n be (-125 + -4)/(-3) - 3. Let y be 41/(-5) - (-8)/n. Let z(j) = -j**2 - 10*j + 3. Does 6 divide z(y)?
False
Suppose 5*n = -2*p - 415, 2*n + 5*p + 139 = -27. Let h be (0 - 1 - 1) + n + 4. Let a = -65 - h. Does 6 divide a?
False
Let c(t) = -3*t - 4. Let u be c(-17). Let s = 50 - u. Suppose -2*m = -x + 97, 2*x + s*m = 5*x - 282. Is 18 a factor of x?
False
Suppose 5*y + 2*i + 1674 - 21821 = 0, 2*y + 4*i - 8046 = 0. Is y a multiple of 14?
False
Suppose -44218 = -4*w + 2*f - 3618, 2*w + 5*f - 20300 = 0. Is w a multiple of 7?
True
Suppose -5*c + 13*s - 12*s = -82487, 2*c - 3*s = 32987. Is 16 a factor of c?
False
Let o(k) = 6*k - 223. Let a be o(36). Is (286/a)/(74/(-518)) a multiple of 26?
True
Let g = -297 - -328. Let a = g - -231. Does 42 divide a?
False
Is (-107 - 14)*(-10)/2 a multiple of 5?
True
Suppose 15 = -2*k + 1. Let j be (-148)/(-28) - (-2)/k. Is 16 a factor of (-4 + j + -5)*-52?
True
Suppose 48 = -q + 4*u - 65, -2*u + 250 = -2*q. Let y = -137 - q. Let h = 100 - y. Is 5 a factor of h?
False
Does 11 divide 7 + 1 + (-82054)/(-3) + 185/111?
False
Let r(q) be the first derivative of 5/2*q**2 + 24*q - 29 + 1/3*q**3. Does 5 divide r(-6)?
True
Let p(o) = -3*o - 16. Let k(l) = 47*l - 29*l - 28*l. Let u be k(2). Is p(u) a multiple of 16?
False
Suppose 3*c = -6, 5*j - c = c + 19. Suppose -2*b - 40 = -4*f, -j*f - b + 24 = -f. Is 3 a factor of f?
False
Suppose 117*p + 29027 - 747917 = -38*p. Is 115 a factor of p?
False
Is 15074*(-4)/(-28) + (-45)/105 + -1 a multiple of 2?
True
Let u be (5 - (-72)/(-15))*(-2 + 7). Is 28 a factor of (u - (-7)/(-7)) + 476?
True
Let l = -12 - -12. Suppose l = 2*w - 6, -23*w = 5*c - 21*w - 376. Is 13 a factor of c?
False
Let r = -11077 - -14365. Is r a multiple of 197?
False
Let q = -130 + 476. Let x = q - 292. Does 3 divide x?
True
Let j(w) = 182*w**3 - w**2 + 7. Let x(h) = -182*h**3 + h**2 - 6. Let v(g) = -4*j(g) - 5*x(g). Does 6 divide v(1)?
False
Let s(p) = 2*p + 54. Let o be s(-26). Let n be o*6/((-24)/(-22)). Suppose n*y - 10*y - 154 = 0. Does 22 divide y?
True
Suppose -j - 4 = -4*x + 7, 20 = 4*j. Suppose x*c + 305 = q, 5*c - q - 1 + 383 = 0. Is 18 a factor of (-384)/(-21) + 22/c?
True
Let y(f) = -f**2 - 12*f - 67. Let z be y(-13). Let d = z + 143. Does 9 divide d?
True
Let q(z) = 13 - 31*z + 36*z + 11. Is 2 a factor of q(5)?
False
Suppose 151*s - 113*s = 290206. Is 26 a factor of s?
False
Suppose -2*u + 11 = -5*q, 0 = -4*u - 4*q + 2*q - 14. Let n be u - (-82 + 5) - (2 + -1). Suppos