3*l**2 - l - 1. Let q be r(u). Is 25 a factor of (-1 + -1)*q/(-4)?
True
Suppose 9*i - 15 = 6*i. Suppose -c = g - 3, -2*c - 13 = -4*g - i*c. Suppose g*h - 2*h + o = 43, -109 = -5*h - o. Is h a multiple of 11?
True
Suppose 3*a - 5*b - 490 - 879 = 0, 0 = 5*a + 3*b - 2225. Suppose -5*c + a = -112. Does 15 divide c?
False
Suppose 0 = 16*z - 15*z - 4. Suppose 72 = 2*m + z*m. Is 6 a factor of m?
True
Is 33 a factor of 0 - (-2880)/44 - 36/(-66)?
True
Let v = 360 - -1236. Does 14 divide v?
True
Suppose -10 = 5*n + 2*t, -1 - 14 = 4*n + 3*t. Let w(j) = -3*j - 19. Let l be w(-8). Suppose n*f = -l*f + 105. Is f a multiple of 21?
True
Suppose -2*v + 8*x = 12*x - 2592, 5*v - 6516 = 2*x. Is v a multiple of 42?
True
Suppose -4*v + 4 = 0, 7*u = 8*u + 5*v - 528. Does 30 divide u?
False
Let f be 10/55 - (-2192)/44. Suppose -46*x + f*x = 240. Is x a multiple of 20?
True
Let v = -21 - -12. Let q = v - -9. Suppose -5*f + 25 = q, -a = -2*f - 3*f - 16. Is 12 a factor of a?
False
Let i = -403 + 705. Is 5 a factor of i?
False
Let t = -82 - -225. Suppose -5*j + 1 = 6, -5*v + t = -3*j. Is 17 a factor of v?
False
Suppose -2 = 2*w + 2*p - 18, -5*p = 2*w - 28. Suppose -5*m = -4*m - w. Suppose 0 = -m*d + i + 112, 2*d - 50 = -0*i - i. Is 7 a factor of d?
False
Let y(t) = t - 1. Let s be y(2). Suppose -s = 3*i - 7. Suppose 5*g + 270 = i*w + 3*w, 2*w + g = 102. Is 14 a factor of w?
False
Suppose -4*q - 64 + 806 = -f, -4*f - 933 = -5*q. Let s = q - 101. Does 12 divide s?
True
Suppose 3138 = 3*v - 318. Is 79 a factor of v?
False
Let x(b) = -b - 12. Let g be x(-12). Is 3 a factor of ((-6)/1)/(-3 - (g + -1))?
True
Let d = 7 + -13. Is (52/d)/(165/(-27) - -6) a multiple of 13?
True
Let v = 382 + -354. Is 6 a factor of v?
False
Suppose -5*f = -2*s - 16, 4*f + 0*f + 7 = -5*s. Suppose -f*y - 6 = -4*y. Suppose -3*u + 2*z + 100 = -y*z, -5*z = -20. Is 13 a factor of u?
False
Let z be 26/(-52)*(0 + -6). Suppose -135 = -z*u - 3. Is u a multiple of 11?
True
Let v(c) = c + 550. Is v(8) a multiple of 64?
False
Let c be 4 - 2 - (-13 + 0). Let j be c/(-6)*(-4)/5. Suppose 3*g - 2*h = 105, j*g = -0*h + 5*h + 70. Is 18 a factor of g?
False
Let d(h) = h**3 + 30*h**2 + 29*h + 44. Is 16 a factor of d(-28)?
True
Let m(w) = -w + 10. Let k = -18 + 26. Let p be m(k). Suppose p*q = 6*q - 180. Is q a multiple of 15?
True
Let w(c) = c**2 + 2*c - 1. Let o be w(1). Let t be (32 - 6)/((-4)/o). Is 4 a factor of -2*4/8*t?
False
Let t be (-6)/(-2) - (10 + -11). Suppose -15 = -t*q + g, -3*q + 4*q + 2*g = -3. Suppose -4*o - 28 = -3*i + i, -q*i = -4*o - 40. Does 4 divide i?
True
Suppose 4*t - g = 2159, 3*t - 4*g - 1615 = g. Is t a multiple of 20?
True
Let g(w) be the first derivative of -w**4/2 - 2*w**3/3 + w**2/2 + 3*w + 9. Does 18 divide g(-3)?
True
Let x(n) = -n**2 - 5*n - 1. Let l be x(-4). Suppose l*u = -0*u + 99. Suppose 0 = -5*m + 198 - u. Is 11 a factor of m?
True
Suppose -471 - 1419 = -5*k. Is k a multiple of 54?
True
Let s be 58/18 + (-10)/45. Suppose -44 = x - s. Let y = 57 + x. Is y a multiple of 8?
True
Let s be (1 - -2) + (-10)/(-5). Let t be (-2)/7 + (-32)/(-14). Suppose -337 = -s*a + h, t*a - 3*h + 145 = 4*a. Is 12 a factor of a?
False
Suppose 143 = 4*g + 4*i - 485, 4*i = -3*g + 468. Does 8 divide g?
True
Suppose -2*u - 4*g = -16, 2*u + 5*g - 9 - 9 = 0. Does 19 divide (37 - -1) + u + 3?
False
Suppose 0 = -5*w - 15, -4*q = 3*w - 62 - 437. Let s = q + -37. Suppose -2*k + 5*k = s. Is k a multiple of 15?
True
Let l(c) = -c**2. Let g be 12/16 - 2/(-8). Let p(d) = -7*d**2 - 17*d + 6. Let z(w) = g*p(w) - 6*l(w). Is z(-15) a multiple of 18?
True
Let w = -258 - -1378. Does 84 divide w?
False
Suppose 4*y + 3*p - 94 = 1301, 0 = 5*y + p - 1741. Does 12 divide y?
True
Let s(u) = 0 + 3 - 4 - 2*u - 3. Let x be s(-4). Suppose 0*f - 74 = -3*a + x*f, -f = -a + 25. Does 5 divide a?
False
Let z(q) = -7*q**3 - 9*q**2 - 19*q + 12. Is z(-5) a multiple of 3?
False
Suppose 6*v - 36 = 4*v. Let a = 42 - v. Does 4 divide a?
True
Let m(c) = -c**3 + 4*c**2 + 102*c - 30. Is 7 a factor of m(12)?
True
Suppose -4 = o, 0 = -j - 2*j - o + 128. Let l = -29 + j. Does 3 divide l?
True
Let y be (1/(-2))/(3/(-12)). Suppose k = 4, 0*o - k + 48 = y*o. Is 7 a factor of o?
False
Suppose -a - 10 = 2. Let x be (-58)/a + (-2)/(-12). Suppose x*g = -6*u + u + 180, 2*g = -4*u + 140. Is 11 a factor of u?
False
Let d(w) = -w**2 - 3*w. Let c be d(-4). Does 12 divide (-48)/c - 0/1?
True
Suppose 92 = 2*i - 4*p, -3*p = -4*p - 1. Let j(b) = 11*b + 4. Let u be j(-3). Let v = i - u. Is v a multiple of 18?
False
Does 11 divide 2 - (-15)/(-6) - (-424372)/104?
False
Let y = 75 + -20. Suppose 377 = 2*n - y. Is 12 a factor of n?
True
Let c(r) = 39*r**3 - 3*r**2 - r - 1. Let n(d) = 194*d**3 - 16*d**2 - 5*d - 6. Let p(y) = 11*c(y) - 2*n(y). Is p(1) a multiple of 10?
True
Suppose -4*o - 15 = 1, 68 = -2*u - 2*o. Is 15/u*432/(-2) a multiple of 32?
False
Let x = -13 + 31. Let j = x - 16. Let z = j - -34. Is z a multiple of 18?
True
Does 9 divide 5990/14 - (-5)/35?
False
Does 97 divide (7/28 - (-6)/8)*2619?
True
Suppose -4*u + 12 = -8. Suppose 0 = 3*f - 2*c - 19 + 1, u*c = 5*f - 35. Suppose f*o - 3*o - 66 = 0. Is o a multiple of 22?
True
Suppose 50 = 2*u - 7*u. Let f(l) = -6*l + 3. Is f(u) a multiple of 9?
True
Suppose 2*b = -2*v + 3*b + 4, -5*b + 22 = 4*v. Is (2 - 1)*(13 - v) a multiple of 5?
True
Suppose 4*i - 2*i - s - 7 = 0, -5*s - 11 = -4*i. Suppose i*k - 65 = 295. Is 18 a factor of k?
True
Suppose 4*i + 1 = 5. Is 3 a factor of ((-130)/15)/((-3)/9*i)?
False
Let v(o) = 59*o**2 + o - 5. Does 3 divide v(2)?
False
Suppose -3*o = 2*o. Let k = -146 - -150. Suppose -r = -k*g - 10 - 5, 3*r + 5*g + 6 = o. Is r a multiple of 3?
True
Let c(r) = -r**3 + 7*r**2 - 8*r + 2. Let y = -10 + 34. Suppose -3*a + p + 11 = 0, 4*a - y = -p - 0. Is 6 a factor of c(a)?
True
Suppose -128 = -4*c + 2*c + 4*v, -c - 5*v + 78 = 0. Is (3*(-3)/18)/((-1)/c) a multiple of 13?
False
Let p be -2 - (-4)/12 - (-4)/6. Is (3/(-6))/((-2 + p)/618) a multiple of 11?
False
Suppose 4 = -b, -23 = 5*y - 2*b - 131. Let z = y + -18. Suppose -z = -d + 4. Is 6 a factor of d?
True
Let q(g) = -5*g + 14 + 6 - 14 + 2*g. Suppose 8 = 2*j, 4*t + 15 = 3*t + 3*j. Does 9 divide q(t)?
False
Let k = 2756 + -308. Is 102 a factor of k?
True
Let l(k) = k**2 - 5*k + 3*k + 1 + 0*k. Let g be l(3). Suppose 4*a - b - 57 = g*b, -1 = b. Is a a multiple of 13?
True
Suppose -20 = 4*n, 3*n + 15 = -2*p + 4*p. Suppose p = -6*k + 7*k - 2. Suppose k*j = 5*j - 270. Is 30 a factor of j?
True
Let u = -56 - -62. Suppose -u*y + 2*y + 376 = 0. Does 23 divide y?
False
Suppose -8 = 2*f, -2*f - 2*f + 192 = -o. Let m be 9/((-9)/o) + 2. Let n = m - 150. Is n a multiple of 15?
True
Let a = -38 - -43. Suppose a*s + 2*m - 225 = -3*m, -4*m + 45 = s. Is s a multiple of 45?
True
Let l be (-2 - -6) + 2 + -9. Is (-5)/(l - (-2 + (-34)/36)) a multiple of 10?
True
Let u be 888*(-4)/((-8)/2). Suppose -2*h + 80 - u = -4*f, -2*h = 3*f - 620. Is f a multiple of 17?
True
Suppose 0 = -6*u + 340 - 196. Is 4 a factor of u?
True
Suppose 3*i - 3*q - 21 = 0, q + 6 = -q. Suppose 2*t - i*t - 114 = 0. Let f = -33 - t. Does 11 divide f?
False
Let y = 1482 + -322. Is y a multiple of 9?
False
Suppose -13*t - 279 = -5375. Does 7 divide t?
True
Let r = 33 - 31. Suppose 3*d = -r*d - 25, 4*d = 4*w - 52. Does 2 divide w?
True
Let k(n) = n**3 - 16*n**2 + 21*n - 40. Let t be k(15). Let l = t - -264. Does 26 divide l?
False
Suppose 0 = -2*d + 3*d + 3*o + 77, 365 = -5*d - 5*o. Let f = d + 129. Does 10 divide f?
False
Let q be -5*1*(3 + -8). Does 5 divide (-3 + 105/25)*q?
True
Let j(v) = -83*v + 39*v - 5 + 5*v. Is 17 a factor of j(-2)?
False
Let m(t) = t**2 - t - 2. Let k be m(-4). Suppose -3*s + 0*r + k = -r, 43 = 4*s + 5*r. Suppose s*p - 60 = 3*p. Is p a multiple of 4?
False
Suppose 0 = -4*c + 52 - 16. Let z = 12 - c. Suppose -p + 4 = -z. Is p a multiple of 7?
True
Let r(n) = -n**2 - 15*n + 9. Let f(k) = -k**2 + 2*k - 12. Let o be f(0). Is r(o) a multiple of 15?
True
Let n = 5442 - 2172. Is n a multiple of 44?
False
Suppose 0 = 5*m + 22 - 52. Suppose 0 = m*w - 1044 - 516. Does 52 divide w?
True
Suppose 0 = -3*u - 5*n + 61, -3*u - n + 43 = -5*n. Suppose -4*y + 3*t + u = 0, -2*t = -3*y - 4*t. Suppose y*q - 1 = 39. Does 5 divide q?
True
Does 13 divide 1/7 - 78*(-5)/14?
False
Is 1120 + -10 + (5