ppose 3*u - 13 - 5 = 0. Is 8 a factor of (u/(-9))/((-24)/99)*28?
False
Suppose 3*b + 8 = 2. Is 13 a factor of (-95)/b + 11/22?
False
Suppose 3*p + 760 = -5*s + 6*p, 4*p + 20 = 0. Let k = s + 262. Is k a multiple of 16?
False
Let g = 7 + -2. Suppose -18 = k - 4*k + f, -g*f = 2*k - 29. Suppose -k*l = -3*l - 72. Is 6 a factor of l?
True
Let v be 9 + -1*(-3 - -4). Suppose 8 = -2*g - v. Is g/(-20) - (-298)/5 a multiple of 10?
True
Let u(h) = 4*h**2 - 3*h + 1. Let z be u(1). Suppose -z*y = s - 129, -y - 3*y - 3*s + 253 = 0. Is y a multiple of 18?
False
Let c(t) be the first derivative of 7*t**2 - 18*t - 1. Does 11 divide c(10)?
False
Let c be (-18)/(-4)*(-72)/(-162). Suppose -n + 3*s + 6 = 0, 5*n - c*s - 20 - 36 = 0. Is n a multiple of 4?
True
Let g = -18 + 51. Suppose -5*a - 90 = 5*q, -5*q - 2*a + 23 - 119 = 0. Let t = g + q. Is t even?
False
Let a(z) = -z**3 - 7*z**2 - 10*z - 4. Is a(-7) a multiple of 7?
False
Does 5 divide 306/(-1)*66/(-297)?
False
Let k(m) = -m**2 + 18*m + 13. Suppose -2*b - 96 = -5*v, -2*v - 2*v = b - 69. Is k(v) a multiple of 7?
False
Let w(t) = 329*t**2 - 13*t - 32. Does 10 divide w(-2)?
True
Let w be (6 + 0)/2 - 1. Let v(a) = -7*a - 9 + 6*a**2 + 17*a - 7*a**w. Is v(6) a multiple of 3?
True
Let n(i) = -i**3 - 2*i**2 + i - 4. Let p be n(-4). Suppose 0 = 6*u - 2*u - p. Suppose u*k - 3*k = 27. Does 7 divide k?
False
Let a(o) = 2*o**2 - 3*o + 2. Let d(i) = i + 12*i**2 + 8*i - 22 + i**3 + 3. Let j be d(-11). Is a(j) a multiple of 2?
False
Let s(f) = -2*f - 9. Suppose 5*r + 41 = 2*j, -4*j + 1 - 27 = 2*r. Let i be s(r). Is (-15)/10*(-114)/i a multiple of 10?
False
Let n(s) = 2*s**2 + 2*s. Let h(b) = -b**2 - b + 1. Let v(k) = 4*h(k) + 3*n(k). Suppose 5*f + 5 = -0, -1 = -y + 4*f. Is 16 a factor of v(y)?
True
Let t = 311 - 71. Is t a multiple of 40?
True
Suppose -46*g + 43*g = -2856. Does 28 divide g?
True
Let f(a) = 57*a - 3. Let t(k) = -58*k + 3. Let i(n) = 5*f(n) + 4*t(n). Let u(d) = -2*d + 17. Let b be u(8). Does 13 divide i(b)?
False
Suppose -8*y + 36 = -4*y. Let x = 0 - y. Let k(p) = p**2 + 7*p + 8. Does 8 divide k(x)?
False
Does 11 divide 14/(-21) + 622/6?
False
Let z(n) be the first derivative of 2*n**3/3 + 9*n**2/2 - 9*n + 148. Let s be (-2)/(-6) - (-44)/(-6). Is z(s) a multiple of 12?
False
Let v(u) = 6 - u**3 - 19*u + 13*u**2 + 9*u + 19*u + 38. Is v(13) a multiple of 16?
False
Let r(v) = 30*v + 13. Let u(d) = -d. Let t(b) = -r(b) - 2*u(b). Does 3 divide t(-3)?
False
Suppose 1400 = 15*t - 4480. Does 7 divide t?
True
Suppose -186 = 4*r + 70. Let o = r + 148. Suppose -2*s - 127 = -5*s + 2*i, -2*i - o = -2*s. Is s a multiple of 7?
False
Suppose -2*w + 157 = -w. Suppose -s = -c - 77, -2*s + 2*c + w = c. Is 40 a factor of s?
True
Is (-1 - 7470/(-9)) + 8 a multiple of 9?
True
Let z(l) = l**3 + 3 + 4 + 0 - 4*l**2 - 4*l**3. Is z(-3) a multiple of 10?
False
Let a be (-8 - -8) + 0 + 0. Suppose 4*m + a*i - i - 136 = 0, 0 = -4*i. Suppose 0 = -p - 10 + m. Is p a multiple of 24?
True
Let r(n) = -2*n**3 - n. Let t be r(-1). Suppose 0*g - 147 = -t*g. Let p = -3 + g. Is 23 a factor of p?
True
Let w = -1270 + 2549. Is 34 a factor of w?
False
Let m = -1 + 36. Let n = m - 35. Suppose 5*z - 3*z - 56 = n. Is 14 a factor of z?
True
Let u be (2/5*225/(-5))/(-2). Suppose -4*h = -5*h + u. Is 2 a factor of h?
False
Suppose 2489 = 2*n + s + 199, -2*s + 1139 = n. Is n a multiple of 37?
True
Is 25 a factor of (-2)/((-8)/684) + 2 + 2?
True
Let s(c) be the second derivative of c**2 + 4*c + 0 - 1/6*c**3. Is s(-10) a multiple of 12?
True
Let n = -816 + 827. Is n a multiple of 2?
False
Let h = 782 - 722. Is h a multiple of 12?
True
Let v = 14 + -13. Let x be 0 - (-3)/1 - v. Suppose -x*t + 2 = 0, 0*z = -z + t + 24. Is z a multiple of 8?
False
Let l = 2782 + 686. Is l a multiple of 32?
False
Does 12 divide 442/(-39)*(-10 + 1)?
False
Let t = 608 + 717. Does 53 divide t?
True
Suppose -61*l + 66*l - 240 = 0. Suppose -5*c = -c - 1452. Suppose -c + l = -3*r. Does 22 divide r?
False
Suppose 1115 = 7*z - 40. Is 5 a factor of z?
True
Suppose 2*r + 4 + 1 = -3*x, x = 2*r - 7. Suppose -3*d + 80 = 5*w, 4*d - d + r*w - 95 = 0. Is d a multiple of 7?
True
Let j(i) = -13*i + 190. Is 20 a factor of j(-18)?
False
Let f(j) = -863*j + 269. Does 34 divide f(-5)?
False
Suppose -664*o = -665*o + 259. Is o a multiple of 37?
True
Is (-1)/(-2) + (-2694)/(-12) a multiple of 6?
False
Suppose 0 = -5*j, d - 10 = -3*j + 12. Let z = d - -30. Is z a multiple of 26?
True
Let v(s) = 6 - 46*s + 11*s + 17*s + 42 + 17*s. Let m be 2/9 + (-4)/18. Does 16 divide v(m)?
True
Suppose 0 = -g - 4*g + 20. Suppose -n - 8 = -3*n, -3*n = -g*j. Suppose -7 = -5*z + 3, j*x + 3*z = 96. Does 8 divide x?
False
Let f(p) = -p**3 + 13*p**2 + 14*p - 14. Let a be f(14). Let t = 78 - a. Is t a multiple of 23?
True
Let n = 21 - 20. Let l(x) = 42*x**2 + x - 1. Is l(n) a multiple of 6?
True
Let h = -65 + 115. Suppose -4*v + h = -126. Is 22 a factor of v?
True
Let l = -22 + 21. Let o(x) = 68*x**2 + 1. Let f be o(l). Let q = f + -44. Does 15 divide q?
False
Let m(s) = 32*s**2 + 3*s + 3. Let d(c) = -2*c**2 + 4*c - 1. Let l be d(2). Does 5 divide m(l)?
False
Let p(w) = -94*w. Let q(z) = z**3 - 6*z**2 - 6*z - 8. Let v be q(7). Does 61 divide p(v)?
False
Suppose 2*o = o - 2*a + 215, -5*o + 1117 = -4*a. Is 4 a factor of o?
False
Let d(n) = -n**3 - 8*n**2 + n - 6. Is 3 a factor of d(-10)?
False
Let a be 2 + (2 - 3 - -5). Let b be (2 + -14)/((-9)/a). Is 16 a factor of ((-100)/(-2))/(b/4)?
False
Suppose -95*d + 104*d - 279 = 0. Does 3 divide d?
False
Let a = -169 - -296. Suppose -3*f + 143 = -a. Is 30 a factor of f?
True
Let y = -1 + -7. Is (-348)/(-10)*(-20)/y a multiple of 29?
True
Suppose s + 3*s = 3*v - 16, -19 = -4*v + 3*s. Suppose 2*f - v*f + 3*o = -52, 3*f = 4*o + 77. Is 11 a factor of f?
False
Suppose -126030 + 38523 = -21*l. Is 49 a factor of l?
False
Let n(l) = 29 + 4*l + 2*l**2 - 13*l + 13*l. Is n(-8) a multiple of 16?
False
Does 7 divide ((-18)/12)/((-15)/20) - -264?
True
Let x(l) = l**2 + 5*l - 11. Let w be x(2). Suppose 71 - 347 = -w*k. Does 23 divide k?
True
Let g(i) = i. Suppose 5*c + 3*h - 8 = 0, 1 - 2 = -h. Let w(j) = j**3 + 8*j**2 - 2*j. Let n(u) = c*w(u) - 6*g(u). Does 16 divide n(-8)?
True
Suppose x - b = 2, 0 = 4*x + x + 3*b - 50. Suppose 0 = -5*j + x*j - 242. Suppose -j = -3*m - 0*q + q, 158 = 4*m + 2*q. Is m a multiple of 20?
True
Let y(r) = -r**2 + 24*r - 30. Is 42 a factor of y(15)?
False
Let u(d) = -d**3 + 8*d**2 - 7*d + 2. Let h be u(7). Is (-1)/h + 6441/38 a multiple of 11?
False
Suppose 0 = 3*o + 2*o - 10. Suppose o*q + y = 32 - 11, -y - 3 = 0. Does 12 divide q?
True
Suppose 5*d = -4*t + 1081, -210 = -d + 5*t - 17. Is d a multiple of 19?
False
Suppose 0 = -6*t + 26 + 46. Suppose 6*z - 336 = t. Does 9 divide z?
False
Suppose -7*v + 529 + 409 = 0. Let z = 67 + v. Does 44 divide z?
False
Let l(b) = 7*b + 30. Let u be l(13). Let p = -3 + u. Is 28 a factor of p?
False
Let a(w) = 172*w - 34. Does 52 divide a(9)?
False
Is 12 a factor of 2 + (21618/24)/(3/8)?
False
Let z(y) = y**3 - y**2 + 3*y - 3. Let m be z(4). Is 6403/m + (-4)/(-6) a multiple of 15?
False
Suppose p + 3562 = -209*j + 211*j, 3*j - 5369 = -5*p. Is j a multiple of 9?
False
Let k(m) = 2*m + 35. Let v be k(-12). Suppose -13*n = -v*n - 216. Is n a multiple of 37?
False
Is ((-168)/10)/((-99)/660) a multiple of 7?
True
Suppose 2*a - 510 + 36 = 2*v, 3*a = -2*v + 696. Is a a multiple of 14?
False
Let y(f) be the third derivative of f**6/120 - f**4/6 + 2*f**3/3 + 7*f**2. Let d be y(6). Suppose -4*g = -m + 34, 3*g + d = 4*m - g. Is 7 a factor of m?
False
Let w(g) = -g**3 + 10*g**2 + 5*g - 11. Let c be w(10). Suppose i - c = -4*y + 181, -5*i + 1175 = 5*y. Does 20 divide i?
True
Let o = 197 + 373. Does 41 divide o?
False
Let z(j) = j**3 + 12*j**2 - 43*j - 42. Does 9 divide z(-14)?
False
Let l(n) = -14*n + 674 - 9*n - 689 + n. Is l(-6) a multiple of 9?
True
Let m = -620 + 1054. Is m a multiple of 14?
True
Let w(r) = 14*r**2 - 3*r + 11. Let q be (-17)/(-6) + (-2 - 26/(-12)). Is w(q) a multiple of 11?
False
Let g(a) = -a**2 - 3*a + 390. Is g(0) a multiple of 52?
False
Let c = 56 + -29. Suppose -98*b = -102*b + 8. Suppose -k - c = -b*k. Is k a multiple of 7?
False
Let k(l) = l**2 - 6*l - 20. Let c be k(9). Let g = c + 45. Is 13 a factor of g?
True
Let u = -1