 s = y + 101. Does 18 divide s?
False
Suppose 2*f - 4*p - 8 = 0, p = 2*f - 5 - 3. Is 16 a factor of 24/3*(f + -2)?
True
Let u = 107 - 0. Suppose -5*r + u = 2. Does 21 divide r?
True
Let k = 60 + -19. Is k a multiple of 7?
False
Let g be (-6)/(1/((-6)/9)). Suppose 2*d + 30 = g*d. Does 15 divide d?
True
Suppose 0*z - 3*z = -9. Suppose z*q = 4*q - 2*c - 15, -2*q + 20 = -2*c. Does 4 divide q?
False
Is 9 a factor of ((-34)/5)/(8/(-60))?
False
Suppose -5*v + 5 = 0, -7 = -2*p - 3*p + 3*v. Let y(n) = -n**2 + n**3 - n**2 + 10*n - 6*n**p. Does 7 divide y(7)?
True
Let g(r) = 3*r + 51. Does 3 divide g(-5)?
True
Let d = 8 + -5. Suppose -4*p = -4*a + 56, 7*p - 3*p = d*a - 47. Is 7 a factor of a?
False
Let v be 2 - (1 - (4 + -2)). Let f = v + 10. Is f a multiple of 6?
False
Let y = 140 - 80. Does 10 divide y?
True
Let z be (-4)/14 - 74/(-14). Suppose -z*g = 82 + 8. Let l = g + 29. Is 8 a factor of l?
False
Let h = 149 - 6. Is 13 a factor of h?
True
Let a be ((-3)/6)/((-1)/2). Let h be 147/3 - (a + 0). Is (-1)/(-1 + h/51) a multiple of 17?
True
Does 24 divide (-3)/((0 + -2)/32)?
True
Let b(c) = -2*c - 2. Let d be b(-2). Suppose j + 39 + 14 = d*n, -5*n + 135 = -5*j. Is n a multiple of 13?
True
Does 37 divide 17*(-3)/6*4*-5?
False
Suppose -4*h + d - 1 = -11, 5*d = -2*h - 6. Suppose 0 = -h*f - 16 + 64. Does 10 divide f?
False
Suppose 180 = -2*l + 4*l. Suppose -5*s + 0*s + 225 = 5*j, -s = -2*j + l. Is j a multiple of 14?
False
Let a(f) = f + 11. Let k be a(-8). Suppose k*r = 67 + 8. Does 7 divide r?
False
Suppose -4*x = 2*f - 16, -4*f + 2 - 9 = -5*x. Let y be 1 - (1 - (x + -3)). Is (-8)/4 + 32 + y a multiple of 17?
False
Let p be (-1)/(-1) + 4 + -5. Suppose p = -5*x + 12 + 38. Is x a multiple of 10?
True
Suppose 8 = -2*n + 4*w, n + 2*w = 3*w. Suppose -n*z - z - 20 = 0. Does 11 divide ((-12)/9)/(z/78)?
False
Let t(g) = -g**3 + 3*g**2 + 2. Suppose 5 = 2*d - 1. Let c be t(d). Suppose -c*z + 200 = 3*z. Does 20 divide z?
True
Let p = -258 - -672. Is 23 a factor of p?
True
Let v(g) = g**2 + 3*g + 1. Let d be v(-2). Let o(p) = 3*p + 1. Let m be o(d). Let l = 18 - m. Does 10 divide l?
True
Let b be 1 + -2 + (1 - 2). Let x(u) = 2*u**2 - 3*u - 2. Let d be x(b). Suppose -k - k = -d. Is k a multiple of 4?
False
Let l(h) = h**3 - 8*h**2 + 6*h - 1. Let q be l(7). Let a(w) = w**2 + 13*w + 1. Let i be a(q). Is 2 + 0 + -1 - i a multiple of 14?
False
Does 18 divide 213/6 - (-2)/4?
True
Suppose -5*j = 41 + 244. Let x = 24 + j. Does 13 divide 4/(-22) + (-732)/x?
False
Let i = 0 + 0. Suppose 0*r + 5*r - 25 = i. Suppose -5*x + 0*x = -o - 12, r*o - 28 = 3*x. Is o a multiple of 4?
True
Suppose 243 = 5*f + 18. Is 9 a factor of f?
True
Let z(n) = n**2 + 6. Is z(12) a multiple of 50?
True
Suppose 2*i + 1 - 11 = 0. Suppose -g + 0 + i = 0. Suppose -c + 34 = g*f, 2*f + 2*f = 2*c - 12. Is c a multiple of 7?
True
Let y = -77 - -43. Let x = y + 52. Does 18 divide x?
True
Let a be (-3)/2*(-8)/3. Let y(k) be the third derivative of k**5/60 - k**4/24 + k**3/3 - k**2. Does 7 divide y(a)?
True
Suppose 122 - 30 = 4*a. Is 5 a factor of a?
False
Suppose -2*g + 13 = -1. Let u = 33 - g. Is u a multiple of 13?
True
Suppose 0 = 4*o + 6 - 126. Is o a multiple of 6?
True
Let n(q) = q**3 - 10*q**2 + 3*q - 9. Let b be n(10). Suppose -15 - b = -4*k. Is k a multiple of 9?
True
Let n(u) = u**3 - 10*u**2 + 10*u - 1. Let a be n(9). Suppose -a*l = -4*l + 24. Is (-3)/(l/32*2) a multiple of 4?
True
Let x(q) = -q + 16. Is x(-6) even?
True
Let w(f) = -2*f**3 + 1 + 8*f**2 + 0 + 1. Let b be w(7). Is 10/(-15) + b/(-6) a multiple of 16?
True
Suppose 0*m + 2*m - 270 = 0. Suppose -2*w - w = -m. Suppose -4*b = o - w, 4*b - b - o = 25. Does 10 divide b?
True
Suppose -7 = -v + q, 0 = -3*v - 3*q + 4 - 13. Suppose -4*k + 3*p + 12 = 0, -v*p - 15 = -k - 4*k. Is k even?
False
Suppose -6*d + 7 = -4*d - 5*s, 4*s = 4. Let n(p) be the second derivative of p**3/6 - p**2/2 + 5*p. Is 4 a factor of n(d)?
False
Suppose 3*r = r - 2. Is 5 a factor of (-28)/2*r/2?
False
Let d = 51 - 13. Let u = d + -21. Does 17 divide u?
True
Suppose 3*c + 0*c = 4*b + 257, 160 = 2*c + 3*b. Is 20 a factor of c?
False
Let p be (12 - 9) + -1 + 1. Suppose -3*g - 2*r + p*r + 46 = 0, 4*r - 8 = 0. Is g a multiple of 7?
False
Let h be (24 + -2 - 1)/1. Let t be ((-12)/14)/((-3)/h). Let d = t - -6. Is 6 a factor of d?
True
Let k(t) = -t**2 + 9*t + 11. Let q be 48/5 - 12/(-30). Let j be k(q). Is 0/j + (8 - -2) a multiple of 5?
True
Let l be (-1)/((-2)/(-16)*-1). Does 10 divide l/10*50/4?
True
Let m be ((-2)/1 - -3) + 3. Let l = -4 + m. Suppose -4*g - n + 148 = l, g + n - 4*n = 50. Is 14 a factor of g?
False
Let a(g) = -g**3 + 11*g**2 - 7*g - 12. Suppose 2*b = 7*b - 45. Let q be a(b). Suppose -q = -3*w + 18. Is w a multiple of 12?
False
Let s = -24 - -174. Let u = -1 + 3. Suppose u*l = -3*l + s. Is l a multiple of 15?
True
Let x(v) be the second derivative of 7*v**3 + v**2/2 - 4*v. Let m be ((-4)/(-6))/((-4)/(-6)). Does 16 divide x(m)?
False
Let v(f) = f**2 + 1. Let y be v(1). Suppose y*g - 3*g + 5 = 0. Suppose 3*a = 2*a + g. Is 2 a factor of a?
False
Let n = 192 + -45. Does 21 divide n?
True
Suppose h - 12 = -2*h. Is 2 a factor of 3/12 - (-15)/h?
True
Suppose 60 = 5*j - 4*d, -2*j - 3*j + 5*d + 55 = 0. Is 8 a factor of j?
True
Suppose -7*l + 8*l = 252. Is 21 a factor of l?
True
Suppose 3*i - 2*p = 27, i + 2*p = 3*i - 16. Let f(r) = r + i*r - r. Is f(3) a multiple of 15?
False
Let t = 21 - 15. Does 4 divide t?
False
Suppose 2*v + 2*v = 12. Does 3 divide -2 - (-2 - v) - 0?
True
Let c be (-2)/(-9) + (-190)/45. Let j be c/(-22) - 12/66. Suppose j*k = k - 9. Is k a multiple of 4?
False
Let p(i) = -i**3 + i**2 - 4*i. Let u be p(3). Let t = 48 + u. Is t a multiple of 9?
True
Let l = -1 + 19. Suppose -l - 8 = -j. Is 26 a factor of j?
True
Let l = -7 + 4. Let t = l - -6. Suppose 3*u - 21 = -c, -1 = -4*c + 4*u + t. Is c a multiple of 6?
True
Let v be 7*((-50)/(-14) + -1). Suppose -a + v = a. Is a a multiple of 4?
False
Does 20 divide (-990)/22*(-3 + 1/(-1))?
True
Let t = 0 - 0. Let h(i) = i - 3*i**2 + 54 + 3*i**2 + 4*i**2 - 3*i**2. Is h(t) a multiple of 19?
False
Suppose 6*k - 22 = 5*k. Let r be 0 - -36 - (0 + -2). Suppose r = 3*c - k. Is 10 a factor of c?
True
Let b(g) = -g**3 - 3*g**2 + 0*g**2 - 13 - 7*g + 13*g**2. Let z be b(9). Let t = 4 + z. Is t a multiple of 8?
False
Let s = 1 + -3. Is 2 a factor of (13/s*2)/(-1)?
False
Let b(r) = 12*r**3 + 2*r**2 - r. Let s be (-3)/(-15)*2*5. Let f be 1/1 + -2 + s. Does 10 divide b(f)?
False
Let z(k) = k**3 - 13*k**2 + k - 10. Let c be z(13). Suppose -2*m + 7*m = c*v - 79, -v + 2*m + 25 = 0. Does 13 divide v?
False
Let p = 48 + -3. Let l = p + 10. Is 23 a factor of l?
False
Let j(q) = -5*q + 3. Let p(l) = -l + 2. Let n be p(8). Is j(n) a multiple of 11?
True
Let d(h) = 0 - 1 + 3*h + 22*h**2 - h - 3*h. Is 11 a factor of d(-1)?
True
Let l = 396 + -172. Does 28 divide l?
True
Suppose -7 = -2*z - 3*r, -3*z - r + 8 = r. Suppose -k - 101 = -3*s, -2*s = -k - 144 + 45. Does 18 divide k/(-2) + z/(-4)?
False
Suppose -5*k = -5*c - 116 + 41, -4*k + 3*c = -63. Is 9 a factor of k?
True
Suppose -2 = j - 13. Let r(u) = 3*u + 12. Let f be r(j). Suppose f = 3*l - i, 2*l - 15 = l + 4*i. Does 12 divide l?
False
Let i(w) = 3*w**2 + w + 1. Let n(c) = 16*c**2 + 6*c + 6. Let t(o) = -11*i(o) + 2*n(o). Let j be t(4). Let p = 31 + j. Is 20 a factor of p?
True
Let o = 201 - 99. Does 23 divide o?
False
Suppose -6*n = -n + 10. Let j be (-4)/(-6) - n/6. Suppose d + p - 5 = -j, 36 = 5*d - 3*p. Is 6 a factor of d?
True
Suppose 4 + 16 = 4*r. Suppose -a - 2 = r. Let b(x) = -x**3 - 7*x**2 - x. Is b(a) a multiple of 7?
True
Suppose 4*z - 4 + 0 = 0. Let l be 0/(z*6/2). Suppose 2*v + l*v = 38. Does 8 divide v?
False
Suppose -5*y = -4*i - 82, 6*i = 2*y + 4*i - 34. Let j = 20 - y. Is j a multiple of 4?
False
Let y(s) = s**2 + 8*s. Let k be y(-8). Suppose -2*t + k*t = 0. Does 13 divide -2 - (t + -36 + -2)?
False
Let m = 10 - 5. Let s(u) = -m*u - 7 + 14*u**3 - 13*u**3 - 2*u - 8*u**2. Is s(9) a multiple of 11?
True
Let j = 7 + 8. Is j a multiple of 12?
False
Suppose 0*s + 4*s - 12 = 0, 4*s - 21 = -3*q. Is 2 a factor of q*-1*136/(-51)?
True
Suppose 4*k - 136 - 379 = -5*o, -4*k = 4*o - 412. Does 27 divide o?
False
Let z = -3 - -3. Suppose 3*t + z*t - 9 = 0. Is (13/t)/(2/6) a multiple