 - p**2 + p + 2. Let j be u(0). Let a be 5 + (-1*2)/j. Suppose a*g + 3 = 59. Is g a multiple of 14?
True
Let q be (16/10)/(18/45). Suppose 0 = q*y - 5*b - 32, -2*b = -4*y - 6*b + 32. Is 8 a factor of y?
True
Let l = -14 + 46. Let d = 65 - l. Is d a multiple of 15?
False
Let y = 83 - 37. Does 28 divide y?
False
Let h = -1 - -2. Let p be -2*h/2 - -1. Suppose p = 2*n - 3*y - 57, -2*n + 4*y + 54 = 2*y. Is 13 a factor of n?
False
Suppose 0*g + 4*k = 3*g + 416, 0 = -3*g - 4*k - 376. Let y = 186 + g. Suppose 0*i + 44 = 3*s - 2*i, -4*s + 5*i = -y. Does 8 divide s?
True
Let i(s) = 298*s**3 - 4*s + 3. Is i(1) a multiple of 33?
True
Let h be (-3 - -2)/((-1)/2). Let g(u) = 16*u**3 + 3*u**2 - u - 2. Let k be g(h). Suppose 2*z + k = 6*z. Does 12 divide z?
False
Let j(g) = -4*g + 4. Is 9 a factor of j(-3)?
False
Let o(l) = 17*l + 6. Let b be o(9). Suppose -5*g + b = 24. Is g a multiple of 19?
False
Let n(k) = -k - 5. Let b be n(-9). Suppose -59 = -3*m - b*x, -5*m + x - 6*x = -90. Is 5 a factor of m?
False
Suppose 76 = f - 162. Is f a multiple of 20?
False
Let a = -4 - -4. Suppose a = 4*d + d - 100. Does 8 divide d?
False
Let o be (-1)/2 + 7/2. Let p = 56 + -39. Suppose 0 = o*r - 4 - p. Is r a multiple of 3?
False
Suppose w = -5*u + 2*w + 78, -3*w + 6 = 0. Suppose -u = -3*y + y. Is y a multiple of 4?
True
Suppose -u = -4*o + 3*u - 20, -3*u + 15 = 4*o. Suppose -5*x + 71 = -o*x + r, 3*r = 3*x - 39. Let f = -1 + x. Is 13 a factor of f?
True
Let r be (16/(-10))/(7/105). Does 9 divide (-3)/r - (-861)/24?
True
Let n be 2/4 - (-1)/(-2). Suppose -o + 3*o - 90 = n. Let l = o - 23. Does 22 divide l?
True
Is 45 - (5 + -9 - (0 - 7)) a multiple of 7?
True
Suppose -5*l + 46 = -3*l. Suppose l + 34 = 3*j. Is j a multiple of 19?
True
Suppose 2*a + 3*c + 0*c = 13, -3*c - 12 = -3*a. Suppose 0 = -2*b + 5*z + 19, a*b - 5*z - 85 = -0*b. Is b a multiple of 11?
True
Let w = 13 + -9. Let z = -4 + w. Suppose z*f - f = -30. Does 15 divide f?
True
Let d be 1*2/2*7. Let n = d - 4. Suppose r - n*l = 24, 0 = -3*l - 3 - 6. Does 5 divide r?
True
Let s(a) = -2*a - 2. Let y be s(-2). Suppose y*r = -0*r + 14. Is r a multiple of 7?
True
Suppose 0 = g + 3*w - 61, g - 5*w - 265 = -4*g. Is g a multiple of 11?
True
Let s = 47 + -28. Let i = -9 + s. Suppose 0 = 4*c + 5*r + 13 - 115, -5*r - i = 0. Is 13 a factor of c?
False
Let g(p) = 40*p - 4. Let a be g(3). Let n = a - 67. Is n a multiple of 18?
False
Let b = 30 + 25. Does 9 divide b?
False
Suppose -1160 = -5*y + 2*n, -2*y = -y - n - 232. Is y a multiple of 43?
False
Suppose 3*p + 2*h + 64 = 0, p + 0*p + 4*h + 18 = 0. Let u = 9 - p. Is 13 a factor of u?
False
Suppose -4*i = -17 - 19. Let d(a) = a**3 - 5. Let x be d(0). Let l = i - x. Is 14 a factor of l?
True
Suppose 4*y - 6 = -4*v + 6, 5*y = 2*v + 29. Is (y*3)/((-6)/(-4)) a multiple of 10?
True
Let i = 203 + -123. Suppose 4*f = -f + i. Is 16 a factor of f?
True
Suppose d - 4*b = -4*d + 368, 0 = 2*d - 3*b - 150. Does 24 divide d?
True
Let w be (4/6)/((-2)/(-6)). Let f(x) = 4*x + 2. Let z be f(w). Is z/((-2)/2 - -2) a multiple of 8?
False
Suppose -88 = -2*u + 4*g, 8*g + 172 = 3*u + 12*g. Is 26 a factor of u?
True
Let i = 186 - 161. Does 22 divide i?
False
Suppose 0 = -3*t + 2*t + 90. Does 15 divide t?
True
Let x = 87 + -52. Does 35 divide x?
True
Let a = 2 + 28. Is a a multiple of 10?
True
Is 48 a factor of (12/9)/((40/1692)/5)?
False
Let p(y) = -y**3 - 7*y**2 + 15*y + 6. Does 27 divide p(-9)?
False
Let x(s) = 3*s**3 - s**2 - s - 1. Let v be x(-1). Is 2 - v*(2 - -2) a multiple of 17?
False
Let h = 13 - 8. Suppose -5*t - 4*x + 15 = 0, h*x = 4*x. Is 16 a factor of (44/t)/(1/3)?
False
Let h(o) = o**2 + 8*o + 7. Let r be h(-9). Let f = -1 + r. Is f a multiple of 9?
False
Let x = -5 + 7. Does 11 divide (-22)/(3*x/(-3))?
True
Let f(j) be the first derivative of -11*j**2/2 - 2*j + 2. Let q be f(-5). Let x = q + -23. Does 19 divide x?
False
Let o(s) = 10*s - 15. Is 3 a factor of o(5)?
False
Let m(q) = 4 - 2*q**2 + 3*q**2 + 0*q**2 - 8*q. Let l be m(7). Let i(g) = -10*g - 4. Does 10 divide i(l)?
False
Suppose 2*f = -0*t - 3*t, 5*t + 38 = 3*f. Does 5 divide f?
False
Suppose v = 2*n - v - 12, -4*n - 2*v = 0. Suppose 0 = -0*k + n*k - 56. Is k a multiple of 14?
True
Suppose -4*y + 0*r = 2*r - 16, -16 = -2*y + 3*r. Suppose -y*m + 2*m = -108. Does 19 divide m?
False
Let g be 18/4 + (-5)/10. Suppose 2*r - 2*b - 13 = 1, -2*r - 5*b - 14 = 0. Suppose -5*s = -3*d - g, d - 2*d + r*s = 4. Is d even?
True
Suppose -g - 12 + 20 = 0. Is 6 a factor of g?
False
Let b be 5/15 - (-13)/(-3). Let s be 2 + b/(1 + 0). Let u(j) = -2*j**3 - 2*j**2 - j + 2. Does 12 divide u(s)?
True
Let p be 2/1*(-8)/(-4). Suppose -2*c - 4*d = -5*c + 32, 0 = p*c + 2*d - 50. Let m = c - 1. Is 11 a factor of m?
True
Let c(r) = -r**2 + 8*r - 3. Let s be c(8). Is 6*((-2)/(-6) - s) a multiple of 13?
False
Let y(n) = -n + 4. Let j be y(-3). Let q = j + -10. Let s(d) = -2*d**3 - 3*d**2 - d - 1. Is 18 a factor of s(q)?
False
Suppose -7*w = -0*w - 21. Suppose 319 = 4*y + 3*c, w*c - 20 = y - 81. Does 15 divide y?
False
Let n(x) = -x + 12 - 9 + 16. Let o be n(11). Let d = 4 + o. Is d a multiple of 12?
True
Let i be 1 - (1 + -5 - 0). Let a(g) = g**2 - 3*g + 3. Is 13 a factor of a(i)?
True
Let c(w) = -w**3 - 3*w**2 + 2*w - 3. Let m be c(-4). Suppose 5*p - m*f = 0, -f + 1 = -1. Suppose 6*y = p*y + 100. Is 9 a factor of y?
False
Let k be (-9)/(-4)*32/12. Suppose -j + k = -7. Is 13 a factor of j?
True
Suppose -3*h = 4*g - 8*g + 549, 3*g + h - 415 = 0. Is 6 a factor of g?
True
Is ((0 - 15) + 6 + -3)*-4 a multiple of 21?
False
Let b(y) = -y**3 - 4*y**2 - 2*y - 4. Let i be b(-3). Let w = 17 + i. Is w a multiple of 5?
True
Suppose 4*i = -2*s + 162, 4*s = -4*i + 227 + 97. Is 16 a factor of s?
False
Let a(r) = -r**3 + 10*r**2 - 9*r + 10. Does 30 divide a(7)?
False
Suppose 3*h + u = -2*h + 75, 4*h - 60 = -4*u. Is 3 a factor of h?
True
Let o(c) = c**2 - c. Let f be o(2). Suppose -7 = -3*b - 2*d, f*d - 11 = -3*b + d. Is 3 a factor of b?
False
Let d be (2*2)/(2/(-3)). Is ((-10)/d)/((-6)/(-18)) a multiple of 2?
False
Let y(j) = -3*j - 2. Suppose 4*h + s = -1, -4*s - 6 = -h - 2. Let q be h - 2 - (7 - 5). Does 10 divide y(q)?
True
Let x = 110 - 38. Suppose 3*c + b = x, -2*c - c + 3*b = -72. Does 12 divide c?
True
Suppose -2*c - 5*f = 1, f + 29 = 3*c - c. Is c a multiple of 6?
True
Suppose -g + 2*c + 116 = 2*g, -2*c - 78 = -2*g. Let w = g - 4. Does 17 divide w?
True
Suppose 0 = 2*o - 0*o + 4. Let c be ((-6)/4)/(o/(-28)). Is (6/(-1))/(c/112) a multiple of 16?
True
Let m = -2 + 2. Suppose 4*j + m + 4 = 0. Is 30/4 - j/2 a multiple of 3?
False
Suppose -5*l = -l + w - 522, 0 = -3*w - 6. Is 13 a factor of l?
False
Suppose 3*z = 7*z - 16. Suppose 5*u = z*b + 115, 5*b - 46 = -u - u. Is 6 a factor of u?
False
Let f(a) = 3*a**2 + 10*a + 3. Does 14 divide f(-8)?
False
Does 10 divide 180/27*(-6)/(-4)?
True
Let x = -229 - -329. Is 20 a factor of x?
True
Let m(l) = -l**2 + 14*l + 27. Is 40 a factor of m(13)?
True
Suppose -p = -h + 13, -3*h + 2*p = -1 - 34. Suppose 6*o - 51 = -h. Is o even?
False
Let h = -8 + -8. Is 17 a factor of (2 - 1) + (0 - h)?
True
Suppose 0 = -3*n + 3*l + 72, 4*n - l - 56 - 40 = 0. Let o be 0 + 1 + 2 + -3. Suppose o*v + 3*v = n. Does 4 divide v?
True
Let z = -7 + 4. Let a be (-6 - -4)/(-1 - z). Let b = 5 + a. Does 4 divide b?
True
Let n(i) = 88*i - 1. Is 29 a factor of n(1)?
True
Suppose -5*l + 667 = -3*x + 4*x, -2*x = -4*l + 528. Does 20 divide l?
False
Let i(p) = -p**2 + 7*p + 6. Suppose -3*x + 18 = 2*r, -r + 4*x - 1 - 1 = 0. Let b be i(r). Suppose 0*n = -2*n + b. Is 4 a factor of n?
False
Let f be (2/(-6))/(1/(-12)). Suppose -3*k = f*y - 138, k = y - 2*k - 27. Is y a multiple of 21?
False
Let d be (1 + -7)/(3/(-15)). Let h = 17 - d. Let c = 28 + h. Is 9 a factor of c?
False
Let q(s) = 15*s**3 - s**2 + 1. Suppose -h - 4*m + 13 = 4*h, 4*m = 8. Does 5 divide q(h)?
True
Suppose -5*a - 43 + 218 = 0. Is 17 a factor of 4/10 - (-1176)/a?
True
Suppose 20*u - 118 = 19*u. Is u a multiple of 10?
False
Let z(l) = 20*l. Let m be 11/(-22)*2*-2. Is z(m) a multiple of 10?
True
Let n be 0 + (-1 - -6 - 0). Suppose 0 = -n*m - o + 145, -59 = -5*m + 4*o + 111. Is m a multiple of 15?
True
Suppose 4*d + 5*l = 221, 3*d + 4*l - 83 - 83 = 0. Is d a multiple of 18?
True
Is (4 + -6)*(3 + -143) a