 s**2/2 + 2*s + 3. Is u(-2) a multiple of 10?
True
Let g = -3 - -6. Suppose -15*h + 20 = -10*h. Suppose g*z + 43 - 13 = m, 0 = -h*m - 3*z + 120. Is 15 a factor of m?
True
Let x(f) = f - 5. Let d be x(5). Suppose 11 = -y - d*y - 5*r, 4*r + 76 = 4*y. Is y a multiple of 14?
True
Suppose -l - p + 214 = 2*p, -5*l + 1010 = -5*p. Suppose 2*u = 3*c - 145, -u = -4*c + 4*u + l. Suppose 3*s - 35 = 4*n - 95, 0 = 3*n + 5*s - c. Does 6 divide n?
False
Suppose i - 490 = -i. Suppose -4*j = j - i. Does 22 divide j?
False
Let b(m) = 14*m**3 + 0 + 0 + 0 - m. Is b(1) a multiple of 13?
True
Let k(s) = s**2 - 6*s - 4. Let f be k(7). Suppose 0 = -4*i + 315 - f. Suppose 3*g = -g - 5*r + 75, -2*r + i = 4*g. Is 18 a factor of g?
False
Is 20/(2 - (-12)/(-8)) - 0 a multiple of 10?
True
Let h be (1/(-2))/((-2)/32). Suppose 3*s = 3*i + 89 - h, s - 27 = 2*i. Does 7 divide s?
False
Let u(z) = -z**3 - 16*z**2 + z + 20. Is 3 a factor of u(-16)?
False
Suppose -3*g = -5*k - 27, -4*g - g + 4*k = -58. Suppose -3*x = -22 - g. Is 4 a factor of x?
True
Let u be ((-28)/10)/(3/15). Let v be 21/u - 2/4. Is 8 a factor of v/5 - 963/(-45)?
False
Suppose 2*a - a = 0. Suppose a*r + 24 = 2*r. Is r a multiple of 12?
True
Let p(d) = d**2 + 3*d - 21. Does 9 divide p(8)?
False
Does 30 divide ((-7)/2)/((-16)/224)?
False
Let t(r) = r**2 + 12. Suppose 2*j - 4 = -0*k - 5*k, -3*k = -5*j + 10. Let l be j + 0 + -2 + 0. Is 6 a factor of t(l)?
True
Let u be (-88)/(-3) + 4/6. Let c be u/4*(-6)/(-9). Suppose 4*r + n + 10 = 71, -c*r = n - 77. Does 8 divide r?
True
Suppose 2*x + 467 - 1157 = 0. Does 26 divide x?
False
Let b be (42/(-35))/(1/(-20)). Let f = -10 + b. Is 14 a factor of f?
True
Suppose 3 = 4*p - 1. Is 4 a factor of p*(0 - -1) - -10?
False
Let w(f) = -2*f - 6 + 2*f + f. Let l be w(9). Suppose -5*y = -5*u + 265, -l*u + y = 2*y - 143. Does 17 divide u?
False
Let i(d) = -d**2 - 4*d - 2. Let v be i(-4). Is 12 a factor of 1 - ((v - 21) + 0)?
True
Suppose 5*k - 2*k = 30. Let w = -7 + k. Suppose 3*p - 7 - 3 = -a, 4*a - 67 = -w*p. Does 15 divide a?
False
Let y be (-3)/(-12)*2*8. Suppose q + y*q = 145. Does 12 divide q?
False
Suppose -5*q = -2*q - 30. Does 10 divide q?
True
Let i(t) = -t - 2. Let y(v) = -7*v**3 - v**2. Let k be y(-1). Suppose -k = -c + 2*c. Is 3 a factor of i(c)?
False
Suppose 0 = -5*h - o + 6*o + 65, 4*o + 24 = 2*h. Is 3 a factor of h?
False
Let b(o) = o**2 - 4*o + 7. Let i be b(6). Let h = i - 11. Suppose h = 2*m - 8. Does 6 divide m?
False
Let i(k) = -72*k**3 + 1. Let b be i(-1). Suppose 9 - b = -4*o. Is o a multiple of 15?
False
Let s = -8 + 8. Suppose 22 = 3*h + o, -2*o + s*o = -2*h + 20. Does 4 divide h?
True
Suppose 0 = 4*a + 16, t - 4*a = -a + 8. Let o(w) = 8*w + 6. Let b(u) = 24*u + 18. Let s(r) = -3*b(r) + 8*o(r). Does 12 divide s(t)?
False
Let h = 36 - 5. Does 6 divide h?
False
Suppose 0 = 3*d - 42 - 6. Is d a multiple of 6?
False
Let c(i) = -i**3 + 6*i**2 + 6. Is 8 a factor of c(5)?
False
Suppose 6 = 2*t + t. Let n = t + -7. Let i = 8 + n. Does 2 divide i?
False
Suppose 4*y + 3*a = 46, -3*a = y - 5 - 11. Is 5 a factor of y?
True
Suppose 4*m - 2*x - 806 = 0, 0*x + 818 = 4*m + 2*x. Is m a multiple of 17?
False
Suppose 14 + 0 = 2*y. Suppose 5*r = 3 + y. Suppose r*a - 5*j - 155 = -3*a, 0 = 2*a - 5*j - 65. Does 8 divide a?
False
Is 16 a factor of (-31 - 1)/(-5 + 3)?
True
Let u(l) = -l**3 - 6*l**2 - 2*l - 6. Let d(k) = -k - 15. Let n be d(-9). Let c be u(n). Suppose -86 = 4*i - c*i - 5*j, i = -3*j + 45. Is i a multiple of 14?
False
Let b(f) be the second derivative of f**3/6 - f**2/2 - f. Let d be b(3). Does 13 divide d/(-3)*-3 + 11?
True
Suppose -5*m + 3 - 13 = 0, -5*m + 10 = -5*v. Let z = 18 + v. Is z a multiple of 12?
False
Suppose 8*w = 12*w. Suppose w = 4*c + 3*s - 74, 0 = -c + 3*s + 17 + 9. Is 20 a factor of c?
True
Let y = -3 + 2. Let l = y - -4. Suppose l*u = -4*q - u + 84, 0 = -3*q + u + 67. Is q a multiple of 11?
True
Suppose -4*k + 100 = 2*x, -x = 2*k + 3*k - 119. Let q be k/7 + (-10)/35. Suppose -5 = q*i - 35. Is i a multiple of 10?
True
Let f = 330 - 230. Does 10 divide f?
True
Let x = 1 - 4. Let s be (4*-1)/(x/6). Suppose -s = -3*w + 73. Is w a multiple of 15?
False
Let n = 3 - -164. Suppose 4*q + 7 = n. Does 20 divide q?
True
Suppose w - 14 + 0 = 0. Is w a multiple of 6?
False
Suppose -6 = f + f. Is 14 a factor of (-41)/f + 13/39?
True
Let s(q) = 73*q**2 + 3. Let h be s(2). Is 14 a factor of h/5 + (-3 - 0)?
True
Suppose -165 = -5*a + 2*f, -a - 4*a = -5*f - 165. Is a a multiple of 33?
True
Let h = -22 - -65. Is 13 a factor of h?
False
Let y(i) = i - 1. Let m(u) = 7*u - 1. Let w(s) = m(s) - 4*y(s). Is w(5) a multiple of 6?
True
Suppose 2*s - 5*r - 101 = 0, -s - s = 4*r - 92. Is 11 a factor of s?
False
Let m(d) = -d**3 - 8*d**2 - 6*d + 9. Let s be m(-7). Is 16 a factor of (s - -15) + 0/1?
False
Let l(p) = -13*p - 5. Does 15 divide l(-5)?
True
Suppose 0 = 2*u - 24 - 20. Is u a multiple of 11?
True
Suppose -5*f + 2*b + 20 = 0, -3*f + 0 = -2*b - 12. Does 2 divide ((-18)/(-4))/3*f?
True
Let s be (-3 - (-15)/6)*2. Does 3 divide s - 0 - (2 - 9)?
True
Suppose 2*f = x - 6*x + 442, x - 91 = -3*f. Does 11 divide x?
True
Suppose j - 5*j - 72 = 0. Let l = -11 - j. Is l a multiple of 7?
True
Let t(f) = -f**2 + 7*f + 1. Let i(p) = p. Let k be i(3). Does 11 divide t(k)?
False
Suppose -2*c = 3*k - 25, -3*c - c + 10 = -2*k. Let z be (k - 0) + -2*1. Suppose -2 = -w + z. Is w a multiple of 2?
False
Suppose 4 = -4*p, -p = z - 33 - 26. Is z a multiple of 12?
True
Let m(g) = 3*g + 2*g + g + 2*g**2. Does 15 divide m(-6)?
False
Let h(w) = w**2 - w - 10. Let v be h(7). Suppose -5*d = -4*r - 92, -2*r = -2*d + v + 4. Is 9 a factor of (24/d)/((-2)/(-15))?
True
Is (-9)/(-4)*(26 + 0 + -2) a multiple of 6?
True
Let b be (-254)/(-8) + 4/16. Suppose 2*m - b = 3*i, -i - 16 = -4*m + 38. Does 13 divide m?
True
Let o be -59*(-3 + 6/3). Suppose -h + 71 = 5*z - 0*h, -4*h = 5*z - o. Is 7 a factor of z?
False
Suppose -67 = 3*c + 5. Is 18 a factor of (-6)/(1 - -1) - c?
False
Let i be (-18)/27*(-21)/2. Let a(q) = -q**2 + 9*q + 9. Does 7 divide a(i)?
False
Suppose 0 = -2*l - 4, 4*d - 2*l = 134 + 14. Let n = d + -10. Is 13 a factor of n?
True
Let l(m) = -2*m**2 + 2*m**2 + 10*m + 13 + m**2. Let j be l(-9). Suppose j*h - 36 = -0*h. Is 5 a factor of h?
False
Suppose -2*c = -5*m + 5011, 0 = -3*m + 4*c - 786 + 3787. Let y = 556 - m. Does 15 divide 1/5 - y/15?
True
Suppose -3*t - t - 12 = 2*x, 5*x - 2*t = 6. Let g(h) = h. Let u be g(3). Suppose x = u*z - 11 - 46. Is z a multiple of 9?
False
Let z = 521 + -365. Does 39 divide z?
True
Let z be 8/2*34/(-8). Suppose -14 = -0*i + 2*i. Let c = i - z. Is 9 a factor of c?
False
Let i be -6*(-5)/(-2)*-1. Let h be 3*-1*130/i. Let o = h - -45. Is o a multiple of 19?
True
Let q(r) = r**2 + 10*r - 8. Let d(z) = z**2 + z - 1. Let j(l) = 6*d(l) - q(l). Let g(w) = w + 11. Let a be g(-9). Is j(a) a multiple of 14?
True
Does 60 divide 1*-2 + 52*28/8?
True
Let s = 247 + -169. Does 26 divide s?
True
Suppose 5*q - 11 - 9 = 0. Let t(s) = s**2 - 3*s - 4. Let o be t(q). Is 1*15 - o/1 a multiple of 9?
False
Let c be (-3 - -6)*4/6. Suppose 100 = c*q - 5*g, q + 0*g = 2*g + 49. Suppose -6*h = -h - q. Is 9 a factor of h?
True
Let w = 4 - -8. Suppose 0 = -2*j - 2*j + w. Suppose f - 1 - j = 0. Is 2 a factor of f?
True
Suppose -2*k = -6*k - 4. Is k*10*(-5)/5 a multiple of 5?
True
Let n be (-504)/(-18) + 0 + -3. Suppose -2*g + n = -g + 4*p, 0 = 2*g - 5*p + 2. Is g a multiple of 9?
True
Suppose l - 123 = -2*l - 3*u, 0 = -3*u - 6. Does 9 divide l?
False
Suppose 5*w - 3 = -28. Does 13 divide w/10*(-51 - 1)?
True
Let j = 894 - 608. Is 16 a factor of j?
False
Let d = -50 - -55. Is 3 a factor of d?
False
Let n = 158 + -95. Is 9 a factor of n?
True
Let i(g) = 7*g**2 + 5*g - 5. Is i(-4) a multiple of 29?
True
Suppose -51 = -4*o + 9. Suppose -3*m - o = -3*p, -m = 2*p + m - 2. Suppose 3*w + 87 = 4*s - 20, -75 = -p*s + 4*w. Is s a multiple of 16?
False
Suppose -3*y + 0*d - 18 = 3*d, -4*y = -5*d - 21. Is 7 a factor of 30/4 + y/(-2)?
False
Suppose 4*u = 7*u - 6. Let y be ((-3*u)/2)/(-1). Suppose 4*q - 5*x - 23 = 0, -4*q + 7*q - 51 = -y*x. Is 6 a factor of q?
True
Let t(s) = s**3 - 2*s**2 + 4*s - 6. Let m be t(4). Suppose -4*n + 7*n - m = 0. Does 16 divide n - (2 + -3 + -1)?
True
Let z(q) = -q**3 + 3*q**2 + 3*q -