?
True
Does 14 divide ((-4368)/(-15) - 1) + (-2)/10?
False
Suppose -m + 135 = 4*m. Let b = 66 - m. Is 13 a factor of b?
True
Let y(p) = -3*p - 4. Does 2 divide y(-4)?
True
Suppose 0 = 4*q - 10 - 38. Suppose -r + 5*y + 25 = 4*r, 3*y + q = 0. Does 15 divide 1 - 0 - -14*r?
True
Suppose 4*h + 74 = -2*a, -5*a - 3 + 84 = -4*h. Is 19 a factor of (-6 + 2)/2*h?
True
Let z = -7 + 20. Let y = -7 + z. Is y a multiple of 5?
False
Is (0 - -169) + 32/(-8) a multiple of 10?
False
Let d = 869 + -609. Does 13 divide d?
True
Let d(l) = -l**3 - 2*l**2 + l - 2. Let t be d(-3). Suppose t + 26 = 5*q. Is 6 a factor of q?
True
Let p(r) = r**2 - 5*r - 8. Let y be p(7). Does 4 divide 1 + 2*33/y?
True
Suppose 0*q - q = 0. Suppose -3*t + q = -9. Suppose -4*u + 4*m + 76 = 0, -3*u + 87 = -0*m + t*m. Is u a multiple of 18?
False
Suppose 8 - 50 = -2*r. Let x be ((-6)/(-7))/(3/r). Is 11 a factor of x/21 - (-194)/7?
False
Let p(k) = k**3 + 17*k**2 + 15*k + 23. Is 13 a factor of p(-16)?
True
Suppose -k + 16 = 5*f, f + 16 = 3*f - 2*k. Suppose 0 = f*j - 6*j + 48. Does 8 divide j?
True
Suppose y + 655 = 2*s, 3*y = -s + 6*s - 1635. Suppose 9 + 15 = 4*z. Suppose c = z*c - s. Is c a multiple of 29?
False
Let h(z) = 2*z + 9. Let k be h(-3). Suppose -g - 8 = -k*g. Does 4 divide g?
True
Let o(r) = r**2 + 15*r + 2. Let s be o(-14). Let m = 10 - s. Is 11 a factor of m?
True
Suppose 70 = 4*s + 3*n, n = -4*s - 0*n + 74. Suppose 3*r + 2*h - h = 47, -2*h + s = r. Is r a multiple of 10?
False
Let u(m) = m**2 + 4*m + 2. Let h be 3/1*-1*1. Let o be u(h). Is 3 a factor of 2/(-1) + (o - -6)?
True
Let q(h) = h**2 - h + 14. Let o(y) = -2*y + 4. Let v be o(3). Let m be (-8)/(-36) - v/(-9). Is q(m) a multiple of 12?
False
Let v = -60 - -108. Does 12 divide v?
True
Let y(g) = -2*g + 4. Suppose p + 21 = -2*f - 0*f, p + 13 = -f. Does 10 divide y(f)?
True
Suppose 492 = 20*o - 14*o. Is 41 a factor of o?
True
Suppose -3*x = 3*l - 0*l - 51, -2*l - x + 39 = 0. Let b = 43 - l. Does 15 divide b?
False
Let i(g) = g**2 - 11*g + 26. Is i(13) a multiple of 8?
False
Let x(m) = -m**2 + 8*m - 7. Let p be x(6). Let q(u) = 6*u - 4. Does 7 divide q(p)?
False
Suppose -4*r + 1481 = 5*p, -1445 = 2*p - 7*p + 5*r. Is 17 a factor of p?
False
Let b(j) be the third derivative of -j**6/120 + j**5/12 + j**4/4 + j**3 - 6*j**2. Does 12 divide b(5)?
True
Suppose 2*c - 5*w - 34 = 0, -2*w - 1 = -c + 2*c. Let t = c - -11. Is 6 a factor of t?
True
Let w(b) = 12*b - 4 + 2 - 1. Is w(2) a multiple of 16?
False
Let d(o) = -1. Let n(k) = 2*k**2 - 5*k + 8. Let f(v) = 5*d(v) + n(v). Is f(4) a multiple of 5?
True
Does 5 divide (5/4)/(2/16)?
True
Suppose 3*z = -3*i + 27, 0 = -z - i + 4*i + 21. Does 6 divide z?
True
Let u = 18 - -60. Is u a multiple of 13?
True
Let y(j) = -j**3 - 5*j**2 - 2*j + 4. Let b be (-3)/2 + (-63)/18. Is y(b) a multiple of 6?
False
Let l(t) = 2*t + 1. Let x be l(7). Let v = 17 + x. Is v a multiple of 11?
False
Let s(k) = -k**3 + k**2 + k + 1. Let c be s(0). Is 5 a factor of c - 2/1*-3?
False
Let a = -280 + 706. Is 49 a factor of a?
False
Suppose -2*n = -n - 46. Does 17 divide n?
False
Let j = -9 + 13. Let i = j - 5. Let g(p) = -17*p + 1. Does 9 divide g(i)?
True
Let p(n) = -10*n**3 - n**2 + 4*n + 3. Let i be p(-2). Suppose 4*q - i = -3. Is q a multiple of 9?
False
Suppose 4*v - 94 = 194. Is 8 a factor of v?
True
Is -2 + -126*(-5 + 4) a multiple of 42?
False
Let a(h) = h + 2. Let k be a(3). Suppose k*t - 22 = -c, -3*c - 10 = t + 2*c. Suppose 2*f + 8 = -3*s, 2*f - t*s + 4 = 28. Does 2 divide f?
True
Let g = -54 - -114. Suppose 5*a = 5*b + 105, 3*b - 45 = -4*a + g. Is a a multiple of 8?
True
Let h be (-115)/7 - 18/(-42). Does 13 divide 8/h - 79/(-2)?
True
Let g(x) = 13*x - 5. Suppose 4*j + 2*m - 30 = 0, -j = -2*j + 4*m - 6. Is g(j) a multiple of 21?
False
Suppose 0 = 3*v - 12. Suppose -84 = -v*q + 252. Is 12 a factor of q?
True
Let u be 245/15 + (-2)/6. Suppose g = -0 + 3. Suppose g*f = 5*f - u. Does 3 divide f?
False
Suppose 4*y - 752 = -0*y. Suppose 52 = 3*h - y. Is 29 a factor of h?
False
Let q(g) = 5*g + 2. Let o be q(-4). Let t(f) = f**2 + 4*f - 3. Let n be t(-4). Is 9/2*o/n a multiple of 16?
False
Suppose 2*c - 39 - 25 = 0. Let d(b) = 2*b**3 - b**2 + 2*b + 1. Let w be d(2). Let u = c - w. Does 13 divide u?
False
Is (-2)/(-3) - (-204)/18 a multiple of 3?
True
Let l(s) = s**3 - 5*s**2 + 4*s - 8. Let c be l(6). Suppose -2*k + c = -k. Let h = k - 5. Is h a multiple of 20?
False
Let k(s) = -s**3 + 4*s**2 - 3*s + 4. Let y be k(3). Is y/(-22) - 510/(-22) a multiple of 23?
True
Suppose -2*l + 5*l = -18. Is (-68)/(-18) + l/(-27) a multiple of 4?
True
Let k(p) = -4*p**2 + 2*p + 2. Let r(v) = -v**2 + 3*v - 2. Let n be r(3). Let j be k(n). Is 4 a factor of (-2)/(8/j)*2?
False
Let b = -33 - -40. Is b even?
False
Let d(c) = c**3 + 12*c**2 + 10*c - 6. Let l be d(-11). Suppose 5*h - 118 = 2*j + 84, l*j - 188 = -4*h. Does 27 divide h?
False
Let l(r) = 4*r**2 - 11*r + 19. Does 6 divide l(5)?
False
Let y be (-3)/3 - (-4)/1. Suppose y*u + 18 - 180 = 0. Suppose -3*a + 58 = -g, 3*g - u = -5*a + 2*a. Is 8 a factor of a?
False
Let t = 298 + -22. Is 10 a factor of t?
False
Let o(s) = -19*s - 3. Suppose 1 + 11 = -4*v. Let l be -2*(v - 27/(-6)). Is o(l) a multiple of 14?
False
Is 14 a factor of ((-342)/30)/(2/(-10))?
False
Suppose 1069 = 5*v + 294. Is v a multiple of 6?
False
Let x(w) = 4*w + 3. Let m be x(-6). Suppose n + 70 = 3*i - 25, 3*n = -5*i + 149. Let f = m + i. Does 5 divide f?
True
Let h = 10 + -6. Suppose 0 = 2*t + 2*t + 4*z - 68, -t + 5 = h*z. Is 8 a factor of t?
False
Let f be -42 + -1 - (-5 - -3). Let o = -23 - f. Does 9 divide o?
True
Does 10 divide 1*2 - (3 - (3 - -78))?
True
Suppose -2 = 3*t + 4*d + 1, 0 = t + 4*d + 9. Let n(g) = g + 4. Let h be n(t). Suppose u + 3*o = -3, h*o + 68 = 4*u + 3*o. Does 6 divide u?
True
Suppose 3*y + 5*b - 85 = -2*y, -y + 8 = 4*b. Is 12 a factor of y?
False
Let i(j) = 2*j**2 + 9*j - 9. Suppose g = -2*g - 21. Is 13 a factor of i(g)?
True
Suppose 5*z = -2*k - 16, 0 = -4*k + 3*z - 4*z + 4. Suppose 20 = k*h + 2*h. Is 5 a factor of h?
True
Suppose r - 2*r + 88 = 4*n, n + 3*r = 22. Suppose 2 = -c + n. Is c a multiple of 7?
False
Suppose 0 = -5*a + 2*a + 3, 4*b - 17 = -a. Suppose 167 = 3*z + b*o, -5*z + o + 299 = 59. Does 20 divide z?
False
Is 20 a factor of 277 - (-81)/18*4/6?
True
Suppose -20 - 10 = -f. Is f a multiple of 30?
True
Suppose -125 = -2*v - 5*k, 3*v = v + 3*k + 117. Suppose 0 = z + 3*z - v. Is 5 a factor of z?
True
Suppose 2*x = -5*p + 46, 2*x + 62 = 6*x - 5*p. Suppose z + r = 4*r + x, 0 = -5*r + 20. Let a = 46 - z. Is a a multiple of 8?
True
Is (3/(-6))/((-1)/24) a multiple of 11?
False
Is -2*(0 + -1 - 13) a multiple of 4?
True
Suppose l + l - 6 = 0. Suppose 4*m - l*b - 24 = 99, -49 = -2*m - b. Is (m/(-9))/((-6)/32) a multiple of 5?
False
Suppose y + 2*y - 4 = 5*d, 5*d - 14 = -3*y. Is y even?
False
Let v = -71 - -103. Does 11 divide v?
False
Suppose 11 = 3*h - 34. Suppose -3*l = 3*x - 6, 3*x + 4*l = -l + 6. Suppose -x*a + 7*a = h. Does 3 divide a?
True
Let y = 28 + 17. Does 12 divide y?
False
Let b(q) = q**2 + 6*q - 11. Is 16 a factor of b(-9)?
True
Let p(l) = 2*l**2 + l - 3. Let b be p(-4). Suppose -5*m - 25 = b. Is 2 a factor of ((-8)/m)/(10/25)?
True
Let m be 8 + 2*(3 - 2). Suppose i + 5 = m. Suppose -i*u = -15, n = -2*n - 4*u + 84. Is n a multiple of 12?
True
Suppose -2*y + 5*q = -7*y - 25, q = -3*y - 19. Let h = y + 11. Is h even?
True
Let f be (-4)/(-7)*14/4. Suppose -62 = -f*a + s - 0*s, -a + 22 = 4*s. Is 15 a factor of a?
True
Does 11 divide (1560/(-13))/((-3)/2) + -3?
True
Does 14 divide 2/(-2) - 264/(-4)?
False
Let j(l) = 11*l**2 + 6*l + 3. Does 17 divide j(-5)?
False
Let z(v) = 3*v - 4. Let g = 10 - 7. Let m be z(g). Suppose 2*n + i = 6, 4*n - m*i + 10 = 36. Is n a multiple of 4?
True
Let z be ((-12)/15)/(2/(-15)). Suppose 2*k - z*k = -124. Suppose -31 = -2*u + k. Is u a multiple of 13?
False
Let s(p) = p**2 + 6*p. Let m be s(-7). Suppose 0 = -2*v + 155 - m. Is v a multiple of 22?
False
Does 8 divide -1*1 - 17/(-1)?
True
Suppose 2*q = -4*k + k - 88, -3*k + 132 = -3*q. Let u = 65 + q. Does 6 divide u?
False
Let c = 18 + -12. Is 3 a factor of c?
True
Suppose 3*i = 0, -4*u + 3*i + 12 = -0*i. Suppose 4*j = -16, 2*s = -4*j + u*j + 10. Is 6 a factor of s?
False
Let p(y) = -4*y. Let x(