*c - i = 0, 0 = 5*u - 4*c + c - 45. Does 4 divide u?
True
Let v be 4 - 165/(-3 - -6). Let w = 115 + v. Is 13 a factor of w?
False
Let b(p) = -p**3 - 2*p**2 + 3*p + 2. Does 10 divide b(-4)?
False
Let p = -7 + 7. Let j(q) = q + 10. Does 5 divide j(p)?
True
Let t(a) = -2*a + 18. Let g be t(0). Suppose g*b = 17*b + 3. Is 3 a factor of b?
True
Let p(m) = -2*m + 5 + 5*m - 4*m - 4. Does 5 divide p(-6)?
False
Let p(s) = s**3 - 6*s**2 + 3. Let d be p(6). Does 4 divide 1*5 + d/(-3)?
True
Suppose 15 + 9 = 4*c. Suppose c*q - 100 = q. Does 20 divide q?
True
Let k = 187 - 71. Is 11 a factor of k?
False
Let o(r) = 7*r - 22. Is o(7) a multiple of 27?
True
Let l = 8 + -2. Suppose -2 = -s, 0 = -q + 2*s - l*s + 16. Is 4 a factor of q?
True
Let u(s) be the third derivative of 7*s**4/24 - s**3/6 - 8*s**2. Let c = 10 - 6. Is u(c) a multiple of 8?
False
Suppose -3*s - 4 = -4*s. Suppose n = s*m + m - 47, 2*m + n - 16 = 0. Does 9 divide m?
True
Let v(o) = o**3 - o**2 + 17. Let u be v(0). Suppose -b + 10 = b, -2*j - b = -u. Let l(c) = -c**2 + 9*c - 9. Does 5 divide l(j)?
False
Let i(r) be the second derivative of 0 - 1/20*r**5 + 1/6*r**3 - r - 1/2*r**2 + 1/3*r**4. Is i(2) a multiple of 9?
True
Suppose 2*h = 2*q + 11 - 75, -4*q + 3*h + 127 = 0. Suppose -5*g = -q - 34. Is 3 a factor of g?
False
Suppose 2 = -2*k + 4. Let a(l) = 4*l**2 + 3*l**2 - k + 23*l**3 - 5*l**2. Is 12 a factor of a(1)?
True
Suppose 0 = -0*a + 5*a - 210. Is a a multiple of 21?
True
Let c(m) = m**2 + 2*m - 3. Let k be c(-4). Suppose -4*v = -4*z + v + 143, 111 = 3*z - k*v. Is 11 a factor of z?
False
Suppose -2*q - 4 = 0, 4*f + 2*q - 196 = -0*f. Let t = 90 - f. Suppose o + t = 2*h, 4*h - 3*o = h + 63. Does 15 divide h?
False
Let o = 9 - 3. Is o a multiple of 5?
False
Suppose -4*o - 8 = -6*o. Is 7 a factor of (85/(-10))/((-2)/o)?
False
Suppose 276 = g + 3*q, 2*g + 2*q + 296 = 3*g. Is g a multiple of 12?
True
Suppose -162*d = -157*d - 440. Is d a multiple of 10?
False
Let o = 9 + -15. Let z(t) = -1 + 4 + 1 - 2 - t. Is z(o) a multiple of 3?
False
Suppose 64 = 8*o - 4*o. Let d be 4*(-3 - 7/(-2)). Suppose 3*p - d*p - o = 0. Is p a multiple of 15?
False
Suppose -3*r - 5*b = -0*r - 76, r - 32 = 5*b. Suppose -3*y + 111 = -2*y. Is y*-3*(-3)/r a multiple of 14?
False
Is (1 - -20 - 3/(-3)) + -3 a multiple of 12?
False
Let h(p) = p**3 + 4*p**2 + 4*p + 2. Let q be h(-2). Suppose -q*k = -k - 5. Suppose 2*z - 80 = -3*o - 2*o, -k*z = -5*o + 45. Is 14 a factor of o?
True
Let r = 330 - 220. Suppose 138 = 5*b - 2*f, 4*b - 5*f + 3*f - r = 0. Is 10 a factor of b?
False
Let o(n) = n**2 + 2*n - 29. Let b be o(0). Let c = -9 - b. Is 20 a factor of c?
True
Let w(z) = -z**3 + 8*z**2 - 5*z - 3. Let h be 16/14 + 4/(-28). Let o be 12/3*h - -2. Does 20 divide w(o)?
False
Suppose -4*u + 5*o + 98 = 0, 4*o - 79 = -3*u + 5*o. Does 3 divide 9/u - 32/(-3)?
False
Let c(z) = -z**2 + 4*z + 5. Let g be c(5). Suppose 4*q - 5*q + 120 = g. Suppose -4*k + p + 172 = 0, q = 3*k - 3*p - 0. Is k a multiple of 22?
True
Suppose 168 = 4*d + 3*p, -p - 156 = -4*d - 4. Does 16 divide d?
False
Let v be ((-6)/(-4) - 1)*8. Suppose 125 = v*j + j. Suppose -l = -j - 1. Is 13 a factor of l?
True
Let m = 234 + -145. Is 26 a factor of m?
False
Let w(g) be the third derivative of 0 + 5/24*g**4 + 1/3*g**3 + 2*g**2 + 0*g. Is w(7) a multiple of 19?
False
Let z = -2 - -4. Suppose 5*f = n + 4, z*f - 4*n - 14 - 2 = 0. Suppose u + 2*u - 60 = f. Is 8 a factor of u?
False
Suppose 29 - 324 = -5*y - k, 15 = -3*k. Is y a multiple of 10?
True
Let p = 461 + -241. Is 11 a factor of p?
True
Let o(w) = w**2 - 2*w + 1. Let m be o(3). Suppose 4*p - 2*p - 5*u + m = 0, 5*p - 5 = 5*u. Is p a multiple of 3?
True
Let v = 148 - 43. Does 14 divide v?
False
Let l = 244 - 101. Is l a multiple of 14?
False
Let l = 1 + 4. Is 3 a factor of l?
False
Let t(b) = -10*b - 16. Does 23 divide t(-5)?
False
Let n = 14 + 11. Does 9 divide n?
False
Let y(f) = -3*f + 8. Let r(z) = -z. Let w(a) = 4*r(a) - y(a). Let g be w(-11). Does 2 divide g + 2*(-2)/(-2)?
False
Let h = -3 + -4. Let u = h - -47. Is u a multiple of 17?
False
Suppose 3*m - f = 41, -m + f + 6 + 5 = 0. Is m a multiple of 9?
False
Let m = -26 - -48. Does 18 divide m?
False
Let h be ((-1)/1)/((-1)/4). Suppose h*u - 66 + 10 = 0. Let c = -8 + u. Is c a multiple of 6?
True
Let v(f) = f**2 - f. Let n be v(4). Suppose 2*i - 22 - n = 0. Does 6 divide i?
False
Let t = -159 - -185. Is 13 a factor of t?
True
Let s be 2/(-4*(-3)/6). Let p = 4 + s. Let l = 1 + p. Is 4 a factor of l?
False
Let m be 14/21*36*1. Let r = m + -14. Is 3 a factor of r?
False
Suppose t + 4*t = -70. Let v = -10 - t. Suppose 4*x = -4*g + 60, -v*x - 54 = -g - g. Does 9 divide g?
False
Let y(h) = h**2 + 9*h - 5. Let i be y(-10). Suppose q - 167 = -i*n - 0*q, 0 = -n - 3*q + 25. Is n a multiple of 14?
False
Suppose 16*u - 67 = 15*u. Does 20 divide u?
False
Suppose 0 = -5*s + 5*n + 11 + 34, 0 = 3*s + 2*n - 2. Let u = 43 - -7. Suppose s*c = -c + u. Is 6 a factor of c?
False
Let i = 708 + -491. Suppose -3*q + i = -j, 3*j + 276 = 4*q - 15. Suppose 2*s = -2*s + q. Does 9 divide s?
True
Let q(s) = 2*s + 17. Is q(0) a multiple of 2?
False
Let l = 18 + -7. Does 11 divide l?
True
Let n be 4/2 - 1 - -1. Suppose 48 = 2*t + n*t. Is 6 a factor of t?
True
Suppose -4*o - 61 = -345. Let w = 128 - o. Is w a multiple of 28?
False
Suppose 4*g - 48 = -0*g. Let u = g - 1. Does 7 divide u?
False
Suppose -2*l + 1 + 5 = 0. Let v be 2*(0 + l/6). Suppose -v = -d + 42. Does 14 divide d?
False
Suppose 3*x + 0*x = -33. Let r = x - -26. Is 10 a factor of r?
False
Suppose -182 = -l + 3*c, -3*c - 948 = -5*l - 2. Is 10 a factor of l?
False
Suppose 2 = 4*a - 3*b, -a + 3*b = -b + 6. Suppose 4 + a = w. Does 6 divide w?
True
Suppose -751 = -7*q + 292. Is q a multiple of 30?
False
Let f be 9/15 - (-44)/10. Suppose -4*k - 2 = f*g - 57, -2*k + 17 = -g. Is ((-5)/k)/((-1)/28) a multiple of 7?
True
Suppose 2*z + 135 = 7*z. Is z a multiple of 21?
False
Let y(v) be the first derivative of -5*v**4/4 - v**3/3 - v**2 - v + 2. Let x be y(-1). Does 8 divide (16/x)/((-3)/(-15))?
True
Suppose 5*j - 151 - 594 = 0. Is j a multiple of 37?
False
Suppose -2*z = 4, 3*z - 2 = -3*k + 7*k. Does 24 divide (k + 0)/(2/(-77))?
False
Let w = -312 - -448. Is 34 a factor of w?
True
Suppose -3*j + 36 = -7*j. Let m(r) be the second derivative of -r**4/12 - 7*r**3/3 + 2*r**2 + 2*r. Is m(j) a multiple of 13?
False
Suppose 0 = -12*p + 64 - 4. Does 3 divide p?
False
Let z(n) = 2*n**2 - 3*n. Let b = 5 + -3. Let j = b + 2. Does 10 divide z(j)?
True
Let v(t) = t**3 + 5*t**2 + 2*t + 8. Let x be v(-6). Is 20 a factor of x/(-2)*(1 + 0)?
True
Suppose -576 = -5*a + 4*t, -a + 2*t + 96 = -24. Is a a multiple of 28?
True
Suppose -4*g - 2*h + 84 = 0, 2*h - 56 = -5*g + 48. Let m = 29 - g. Is m a multiple of 3?
True
Let b(u) = 6*u + 1 - 2*u - 3 - u**2. Let n be b(4). Is 5 a factor of n + 0 - (1 + -18)?
True
Let u be (-1)/(-3) + 8/3. Let q = u + 1. Is q a multiple of 4?
True
Does 7 divide (106/(-3))/(4/(-6))?
False
Let j be -50*(-2 - 0 - -1). Suppose -g + j = -30. Suppose -x + 52 = 5*z, z - 5*z = 2*x - g. Is 10 a factor of x?
False
Suppose 5 = g, 0*h + 340 = 5*h + 5*g. Let n = h - -4. Does 18 divide n?
False
Suppose i + 3*k = 29, 0*k = 5*i + 4*k - 200. Suppose o - 3*n - 59 = 0, o - 36 = 5*n + 15. Let g = o - i. Does 10 divide g?
False
Does 16 divide 69 - (20/5 - 1)?
False
Suppose 0 = -3*a - 3*k + 18, 3 = 2*a - 2*k - 5. Suppose -13 - 12 = -4*p + a*y, 9 = 2*p + y. Is p even?
False
Suppose 0*g + g = 3*u - 11, -5*u = -5*g - 25. Suppose 0*n = -u*n. Suppose -4*x - 16 = n, -5*z = -3*x - 92 - 40. Is 12 a factor of z?
True
Let i(d) = d**2 - d - 4. Suppose -15 = -p - 4*p. Let t be i(p). Suppose 135 = j + t*j. Is j a multiple of 15?
True
Let d(f) = f**3 + 2*f - 5*f + 7*f**2 - 4 + 2*f - f. Is d(-7) a multiple of 10?
True
Suppose 0 = -7*x + 39 + 24. Is x a multiple of 9?
True
Suppose 5*u - 2*r = 17, 5*r = 2*u - 7 + 17. Suppose u*j + 16 = 3*j. Is 5 a factor of (-146)/j + 2/(-8)?
False
Let n = -10 + 51. Does 9 divide n?
False
Suppose 2*y - 5 - 7 = 0. Let m = 4 + y. Does 10 divide m?
True
Let d(r) = 6*r**2 - 6. Is 10 a factor of d(3)?
False
Let a be (-19 - -11)*138/(-8). Let y = a + -98. Is 8 a factor of y?
True
Let c(s) = s - 1. Let h be c(4). Suppose 30 = h*q - q. Does 12 divide q?
Fa