8 = -5*l, -2*m - l = 29 - x. Is 15 a factor of 2*(1 - m) + 2?
True
Suppose 3*c + 15 = 8*c, -5*t = 3*c - 9. Let d be (-5)/(-3) + 1/3. Suppose 4*r = -l - t*r + 9, l = 3*r + d. Is l a multiple of 4?
False
Is 60 a factor of (122/3)/(1/30*10)?
False
Suppose 4*m + 0*n - 8 = n, 10 = 5*m + 4*n. Let f(r) = -2 + r**m - 7 + 3*r - r. Is f(-5) a multiple of 6?
True
Let v be (-9)/(-2)*(-4 - -58). Suppose -5*z + 3*f = -877 - v, -z - 5*f = -252. Does 27 divide z?
False
Let q be (9/12*-1)/(4/176). Let g be 1 + 1 - (-72 + -1). Let o = g + q. Is o a multiple of 21?
True
Suppose 3*p + 22*p = 4800. Does 8 divide p?
True
Let p = -288 + 349. Is 6 a factor of p?
False
Suppose -4*n = 5*u - 14 - 45, 5*n - 125 = 4*u. Is n a multiple of 2?
False
Suppose 2*q - 6*q = -8. Suppose q*n = 5*n - 165. Does 12 divide n?
False
Let m(p) = -28*p**3 - 3*p**2 - 2*p - 15. Is 20 a factor of m(-3)?
True
Let d(p) = -17*p - 3. Let m = -27 - -24. Is d(m) a multiple of 24?
True
Suppose 0 = -3*x + 6 - 0, 0 = -2*h - 2*x + 268. Does 11 divide h?
True
Let f = -16 - -1. Let n(w) = -4*w + 4. Let j be n(f). Let m = j - 31. Is m a multiple of 33?
True
Let j(o) = o**3 + 7*o**2 + 4*o - 7. Let x be j(-6). Let t(f) = f**2 + 5*f - 32. Let i be t(6). Is 22 a factor of i - (x/5 - -1)?
False
Suppose 4*o + 200*m - 202*m - 730 = 0, -o - 2*m = -190. Is o a multiple of 11?
False
Suppose -13 = -2*y + 5*q + 18, 0 = y - 3*q - 15. Let r = 95 + y. Is r a multiple of 6?
False
Is 16/72 - 457/(-9) a multiple of 17?
True
Let r(v) = -45*v**3 + 13*v + 26. Does 20 divide r(-2)?
True
Suppose -2*v + 7 - 3 = 0, 4*k = -2*v + 380. Does 10 divide k?
False
Let d be (12/10*5)/2. Suppose 4*w - d*g - 207 = -w, 4*g = -16. Is 27 a factor of w?
False
Let g(c) = 7*c**2 - 26*c + 68. Does 25 divide g(15)?
False
Let z = 20 + -2. Suppose -b + 2*u + z = 3*u, -74 = -5*b - u. Is 2 a factor of 134/b - 24/42?
False
Let d be ((-10)/2 + -202)*4/6. Let l = -91 - d. Is 34 a factor of l?
False
Suppose -3*x = -4*n + 263 + 80, 2*n - 4*x - 174 = 0. Does 4 divide n?
False
Suppose 4*u + s - 3635 = 0, 1 = s + 6. Is u a multiple of 65?
True
Let u = -2632 - -3059. Is 20 a factor of u?
False
Suppose -6 = 2*n - 5*n. Let u = n - -2. Suppose 10*x + 83 = 2*c + 5*x, u*x + 172 = 4*c. Is 22 a factor of c?
True
Suppose -44 = 4*r + 2*p, 0 = 5*r + p + 4*p + 65. Let a = r + 12. Suppose a*b - 8*b + 85 = 0. Does 13 divide b?
False
Suppose -v - 5*q = 5, -3*v = -q - 2*q - 21. Suppose -2*k - f - 159 = 3*k, 11 = -k + v*f. Is k/(-2) - (-7)/14 a multiple of 4?
True
Suppose 0 = 4*m - 6*z + 3*z - 2106, -m = -z - 526. Is m a multiple of 8?
True
Suppose -5*c = -2*k + 4*k - 5, 0 = -2*k + 4*c - 4. Let b(j) = -3 - 2 + 0*j + k*j + 10*j. Does 12 divide b(3)?
False
Is (-13 - -7) + (1437 - (9 - 4)) a multiple of 62?
True
Let l(a) = 9*a + 7. Let d = 12 + -17. Let u be l(d). Let j = u + 53. Is j a multiple of 12?
False
Let h = 19 + -28. Let q(f) = 2*f**2 + 13*f + 5 + 3 - 7. Is q(h) a multiple of 12?
False
Let s = -49 - -54. Suppose -4*a - 4*c + 104 = 0, 2*c + 15 = s*a - 136. Does 29 divide a?
True
Let h(d) = -d**2 + 12*d - 18. Let b be h(10). Suppose 5*m = b*m, 2*y - 3*m = 282. Is y a multiple of 19?
False
Does 21 divide 31104/88 + (-42)/(-77)?
False
Let h(q) = q**3 + q + 3. Let y be h(0). Suppose b = f - 11, y*f = -2*b - 2*b + 12. Suppose 3*s - f = -4*i + 81, 3*s = -i + 29. Is 20 a factor of i?
True
Suppose 101 = 3*i + 4*v, 5*v + 73 = 5*i - 72. Suppose -2*f + 15 = -i. Is 23 a factor of f?
True
Let t = 420 + -235. Suppose 8*z = 13*z - t. Suppose 0 = 2*l - 51 - z. Is l a multiple of 21?
False
Let z = 227 - 122. Suppose -2*d + z = 3*d. Is d even?
False
Suppose -5*x + 755 = -5*k, -5*x + 4*k = -0*x - 752. Is x a multiple of 44?
False
Suppose 3*g = -4*l + 191, 0 = l - 3*g - 32 - 27. Let z be l/6 - 6/18. Suppose 0 = 3*u + o - 68, -5*u + z*o + 102 = 4*o. Is 22 a factor of u?
True
Let a be ((-4)/(-12) + -1)*-3. Suppose 0 = -n - 1, a*q + 5*n + 3 = q. Suppose 5*c + q*t - 33 - 47 = 0, 0 = 4*t. Is c a multiple of 11?
False
Let v = -18 + 20. Suppose 0 = -d + p + 7, -5*d + v*d - 5*p = 11. Suppose 2*a + 73 = 3*n - 73, 4*n - d*a = 194. Is 10 a factor of n?
True
Suppose 0 = 5*p - 4*k - 31199 + 8161, -6 = 3*k. Is 94 a factor of p?
True
Let t = -353 - -1017. Is 8 a factor of t?
True
Let g(r) = 6*r - r**2 - 41*r - 21 - 3*r. Is 19 a factor of g(-32)?
True
Suppose 14 = -2*d + 4*u - 14, 3*d - 4*u + 46 = 0. Let g be (d/3)/(15/(-20)). Let t = g - 5. Does 3 divide t?
True
Suppose -198*s - 620 = -202*s. Is s a multiple of 5?
True
Let u = 21 - 45. Suppose -3*h - 6*k + 9*k + 21 = 0, -9 = -h - k. Let s = h - u. Is 6 a factor of s?
False
Let h = -18 - -22. Suppose 5*q + a - 23 = 0, h*q + 5*a = 3*a + 22. Suppose -q*j = v - 237, 2*v - 234 = -2*j - 2*j. Is j a multiple of 15?
True
Let p(v) = 325*v - 28. Let m be p(3). Suppose -a + 165 = -2*x, 4*a + 267 = 3*x + m. Does 28 divide a?
False
Is -5 + (0 - 12)/(-6)*350 a multiple of 14?
False
Suppose -208 = 5*b - 7*b. Suppose -b = -t - 3*t. Is 8 a factor of t?
False
Suppose 4*v - d + 2*d = 1035, v = 3*d + 275. Is v a multiple of 26?
True
Suppose 2*u - 26 = -y, y - 5*y = 16. Suppose -4*r + 57 = -u. Is 9 a factor of r?
True
Let k be (1 - 321/15)/(2/10). Let n = k + 162. Is n a multiple of 16?
False
Is (1038954/(-28))/(-29)*8/6 a multiple of 23?
False
Let z be 14/(-5) - 4/20. Is 36 + -4 + (z - -9) a multiple of 5?
False
Let p(b) = 3*b**2 - 2*b. Let c be p(-1). Suppose -c*z - 3*h = -161, 0 = -4*z + h - 0*h + 139. Is z a multiple of 19?
False
Suppose -5*l + 10 = -10*l. Let h be (l/(-3))/((-2)/(-24)). Suppose h*g - 25 = 3*g. Does 2 divide g?
False
Let d(z) = -z**3 + 11*z**2 - 10*z + 2. Let l be d(10). Suppose -l*n + 840 = 3*f, -840 = -3*f + 3*n - 7*n. Does 6 divide 7/(-2)*f/(-98)?
False
Does 19 divide (-12)/(-27) + 1535/9?
True
Let h be (-3)/4 - 57/(-12). Suppose 0 = h*d + d. Suppose d*l = -l + 80. Does 20 divide l?
True
Suppose 0 = 5*q + 5*s - 30, 0*q - 5*s = -q. Suppose -q*b = -3*g - 200, 0*g - 5*g + 25 = 0. Is b a multiple of 7?
False
Suppose o + 9 - 15 = 0. Let g(p) = p**3 - 7*p + 9. Does 20 divide g(o)?
False
Let s = 4 - 4. Suppose s = -2*b + 11 + 1. Let n(j) = -j**3 + 8*j**2 - 2*j + 1. Is 25 a factor of n(b)?
False
Suppose -5*z = 4*s - 6425, 0 = z + 146*s - 148*s - 1299. Does 6 divide z?
False
Let i = 36 - 12. Let o = 52 + -20. Let r = o - i. Is 8 a factor of r?
True
Let r(d) = -10 + 7*d + 2*d - 3*d + 5. Let t be r(8). Suppose 7*z = 8*z - t. Is 18 a factor of z?
False
Does 38 divide (1 - -37)*88*(5 - 4)?
True
Suppose r - 3 = -1. Suppose 0 = m - 2, r*u - 160 = -m + 5*m. Does 12 divide u?
True
Suppose -2*q - 381 = 4*m - 7*q, 0 = m + 5*q + 64. Let x be 3 - 2 - -2 - m. Let g = 197 - x. Is 35 a factor of g?
True
Suppose 4*t + 5*u = 3466, -2710 = -4*t + 5*u + 736. Is t a multiple of 12?
True
Let v = -3 + 5. Suppose -5*t + z + 228 = 0, -v*t - 5*z = -3*t + 36. Does 12 divide t?
False
Let j(y) = 36*y**2 + 12*y - 24. Is 7 a factor of j(4)?
False
Let h(s) = 3*s - 3*s - 3*s - 1. Let g = 8 - 13. Is h(g) a multiple of 14?
True
Let c(b) = -5*b**3 + b**2 - 3*b - 5. Suppose 4*l = -2*k - 6, 2*l = k - 2 - 3. Does 15 divide c(l)?
True
Let p(d) = -d**3 + 6*d**2 + 8*d - 8. Let t = -9 - -15. Does 10 divide p(t)?
True
Suppose 0 = -4*d - 19 - 41. Let s = 20 + d. Is 4 a factor of s?
False
Suppose -63*w = -61*w - 500. Is 10 a factor of w?
True
Let c = 12 + -13. Is 10 a factor of -6*c/(-2) - -32?
False
Let m(a) = 23*a**2 + 24*a + 88. Is m(-8) a multiple of 57?
True
Let t(y) = y**3 - 6*y**2 + 6. Let l be t(6). Let f(i) = 2 + 5*i - l*i**2 - 3*i**2 - i**2 + i**3. Does 13 divide f(10)?
True
Suppose 413 = 2*y - 2*l - 207, y = -3*l + 294. Let u = y - 104. Is u a multiple of 16?
False
Is 651/(-2)*(-124)/186 even?
False
Suppose -w = -10*k + 15*k - 1259, 3*w - 1257 = -5*k. Is 42 a factor of k?
True
Suppose 2*g + 5 = 3*g. Suppose -2*f - 4*m + 32 = 0, 0 = -g*f + 2*m - 7*m + 100. Suppose 4 = -5*a + f. Is 4 a factor of a?
True
Is 14 a factor of (-7)/((-140)/4) + (-27296)/(-20)?
False
Let z be -4 + 4 + (-5)/(-5). Is 24 a factor of (-3 - 30)*-8*(0 + z)?
True
Suppose 2*x - i - 4*i = 11, -2*x + 1 = 5*i. Suppose -x*v + 40 = -2*y - 98, 2*v - y = 93. Does 23 divide v?
False
Is 64 a factor of -136*(8/(-76) - 136/152)?
False
Suppose 5*c - 3*c = -16. Let s(t) = -t**2 - 9*t - 3. Let u be s(c). Suppose -u + 16 = l. Does 4 divid