ose -p = -0 + c. Does 4 divide (1/2)/(p/(-28))?
False
Suppose 0 = 5*m + 1231 - 2231. Does 2 divide m?
True
Suppose 41*y = 32938 - 11987. Is y a multiple of 73?
True
Let p be 3*-1 - (-30)/15. Let l(g) = -149*g**3 - g - 2. Does 37 divide l(p)?
True
Let g be (-6 + 5)/(1/(-295)). Suppose 2*b + 3*y = 7*y + 148, 5*b + 5*y - g = 0. Suppose -2 = 2*w, 4*w - 32 - b = -5*a. Is a a multiple of 7?
False
Let k(z) = 11*z - 3. Let j be k(1). Suppose -j*x + 135 = -529. Does 14 divide x?
False
Suppose 32 = -2*z + 5*w, -3*z - 2*w = -3*w + 48. Let d = 22 + -31. Let b = d - z. Is b a multiple of 2?
False
Let w = 14 - 9. Let u = -22 - w. Let r = 37 + u. Is 10 a factor of r?
True
Suppose 0*h + 2*s - 320 = -h, 0 = 4*h + 5*s - 1280. Is h a multiple of 80?
True
Let d(o) = -4*o + 9. Let b be d(4). Let i(s) = -s**3 - 7*s**2 - 6*s - 10. Let z be i(b). Let j = 28 + z. Is 13 a factor of j?
False
Let j be 3/(-18) + (-1858)/12. Let y = -71 - j. Is 13 a factor of y?
False
Suppose 34125 = -136*j + 161*j. Is 9 a factor of j?
False
Suppose -3*q - 2697 = -4*t, 0 = 2*t + 3*q + q - 1332. Let y = t - 408. Does 12 divide y?
True
Let i be (5 + -1 + -5)*(2 - -1). Let r(b) be the first derivative of -9*b**2/2 + 3*b + 1. Does 10 divide r(i)?
True
Let a(h) = 7*h**2 + 46*h - 15. Is 16 a factor of a(-16)?
False
Let o(n) = 7*n**2 + 2. Let k be o(-2). Let z be (-16)/10 + (-12)/k. Let p = z - -25. Is p a multiple of 6?
False
Suppose -3*d + 6*d + 5*g + 3 = 0, 0 = 5*g. Does 42 divide 170 + (d - (1 + -3))?
False
Does 65 divide 2/((-2128)/(-9360) - (-4)/(-18))?
True
Suppose 0 = 2*a - 40 + 134. Let g(r) = r**2 - 10*r - 11. Let y be g(13). Let f = y - a. Is f a multiple of 13?
False
Suppose u = -11*u - 12. Let x(z) = -z**2 - 7*z - 2. Let i be x(-5). Let p = u + i. Is 3 a factor of p?
False
Let f(q) = 4*q**3 - 5*q**2 + 3*q - 8. Is 15 a factor of f(4)?
True
Let j = -23 - -26. Suppose j*k = -k. Let o(f) = f**3 + f**2 + 2*f + 4. Is o(k) a multiple of 4?
True
Let f(w) = 13*w + 1. Let s be f(3). Suppose -3*v + 14 + s = 0. Let d = -10 + v. Does 3 divide d?
False
Let o(z) = 2*z + 12. Let i be o(-7). Let t be ((-16)/5 - i)*-5. Let b(j) = j**2 - 2*j - 2. Does 22 divide b(t)?
True
Let a(h) = 3*h**3 - 12*h**2 + 23*h + 23. Let b(o) = -4*o**3 + 13*o**2 - 25*o - 22. Let g(u) = 6*a(u) + 5*b(u). Does 40 divide g(-7)?
True
Let v(w) = -23*w - 223. Is 10 a factor of v(-31)?
True
Let w be 11 + (-3 - (-3 + 3)). Suppose 6*a - w = 2*a. Is (3 - (-2 + a)) + 7 a multiple of 5?
True
Let o(m) = -3*m**2 + m. Suppose -4*q = -5*q - 3. Let g be o(q). Let r = 6 - g. Does 12 divide r?
True
Let n(v) = v**2 - 21*v - 5. Let g be n(10). Let d = -80 - g. Does 7 divide d?
True
Let k(a) = -a**3 - 14*a**2 + 13*a - 12. Let z be k(-15). Let y = 39 - z. Is 18 a factor of y?
False
Let s(p) be the third derivative of p**5/60 - p**4/8 - 4*p**3/3 - 5*p**2. Let t be s(6). Suppose -4*g - 3*h + 72 = h, 0 = -5*h + t. Is g a multiple of 8?
True
Let n = 632 - -593. Does 35 divide n?
True
Let p(z) = -z**2 - 36*z - 54. Does 5 divide p(-32)?
False
Let v(b) = -9*b**2 + 2*b + 3. Suppose -11*n - 14 = -4*n. Let o be v(n). Let x = 52 + o. Is 5 a factor of x?
True
Suppose 31 = -4*r + 51. Suppose r*t - 44 = t. Is t a multiple of 6?
False
Let b = -474 - 399. Is 25 a factor of b/(-5) - (-32)/80?
True
Suppose 0 = -0*h - 4*h + 452. Is h a multiple of 3?
False
Let b(s) = -52*s**3 + 1. Let k be b(-1). Let a be (15/(-10))/(3/(-20)). Let u = k - a. Does 13 divide u?
False
Let r(s) = 3*s + 3. Let j(f) = -4*f**2 + 8*f + 8. Let v(d) = 5*d**2 - 8*d - 8. Let h(l) = -6*j(l) - 5*v(l). Let m be h(-6). Does 8 divide r(m)?
False
Is 8 a factor of 231 - -24 - (2 + 5)?
True
Suppose -11*x = -2654 - 206. Does 6 divide x?
False
Let v = -79 + 148. Suppose 2*t - 75 - v = 0. Does 24 divide t?
True
Let f(g) = 13*g. Let k be f(-9). Let p = 239 + k. Is p a multiple of 39?
False
Let o be (-6 + 1)*1/(-1). Suppose -o*s + 152 = -4*f - 237, -2*s - 5*f + 149 = 0. Is s a multiple of 11?
True
Let c be ((-318)/(-15))/(16/40). Suppose -203 + c = -5*s. Does 19 divide s?
False
Let t(c) = -5*c**2 - 39*c + 8. Let y(m) = -9*m**2 - 77*m + 16. Let k(w) = 11*t(w) - 6*y(w). Is k(18) a multiple of 24?
False
Let f = -13 - -18. Let k be -1 + f - -47*3. Suppose -3*s - 1 = -k. Is s a multiple of 11?
False
Let j(h) = 2*h**2 - 3*h + 1. Let w be j(2). Let a(r) = -r**2 + 4*r + 8. Let m be a(5). Suppose 5*f + 9 = x + m*f, 0 = x - 4*f - w. Is x a multiple of 6?
False
Let y(o) = o + 5. Let q be y(-3). Suppose q*s - 4 = 6. Let i(f) = -f**2 + 8*f - 8. Is 2 a factor of i(s)?
False
Let p(f) = f**3 - 17*f**2 - 43*f - 21. Does 29 divide p(20)?
True
Is 54 a factor of 22504/(-87)*3/(-4)?
False
Let o be ((-29)/5 + 1)/((-2)/360). Suppose 4*i - 12*i = -o. Does 30 divide i?
False
Suppose 24*d = 29*d - 13780. Is 53 a factor of d?
True
Suppose 2143 = 8*o + 79. Is o a multiple of 9?
False
Let z(t) = 3*t**2 - 12. Suppose -4 = -4*w - 12, -w = -h + 5. Suppose -h*b + 6*b - 18 = 0. Is z(b) a multiple of 24?
True
Let l(c) = 1. Let o(j) = -8*j - 1. Let s(t) = 6*l(t) + o(t). Is 12 a factor of s(-13)?
False
Suppose 0 = -6*z + 9*z + 45. Let s = z - -49. Is 17 a factor of s?
True
Let f = -43 - -44. Suppose 6 - f = l, 87 = w + 5*l. Is 21 a factor of w?
False
Let i be (-6)/21 + 308/49. Suppose 24 = 3*h - i*h. Is (44/5)/(h/(-40)) a multiple of 13?
False
Let l = 215 - 46. Suppose w - 154 = u, -5*u = w + 3 - l. Is w a multiple of 12?
True
Let h(y) = 2*y**2 - 17*y + 12. Let w be h(8). Suppose 2*m = w*m - 14. Suppose 0 = m*s - 634 + 144. Does 15 divide s?
False
Let z(m) = -m. Let k be z(3). Let r be k*67*(-1)/3. Suppose -2*b = -3*o + 2*b + r, -3*o - 4*b = -59. Is 7 a factor of o?
True
Let z be (-43)/(-2) + (-13)/(-26). Suppose 5*k = -15, 0 = -4*q - k + z + 59. Does 21 divide q?
True
Let j(m) = 23*m**2 - 3*m + 1. Suppose 7*r = 10*r - 6. Is j(r) a multiple of 29?
True
Let l(z) = z**3 + 13*z**2 - 3*z - 21. Let d be l(-13). Suppose -21*o + 585 = -d*o. Is o a multiple of 39?
True
Let t(b) = b**3 + 3*b**2 + 6*b + 1. Let r = -107 + 112. Is t(r) a multiple of 26?
False
Let g = -98 + 103. Suppose -5*w + 165 = -g*i, 3*w - 18*i + 13*i - 105 = 0. Is w a multiple of 10?
True
Let k be 1*(8 + (-16)/4). Suppose 0*x - 4*z - 4 = 2*x, 0 = -5*x - k*z + 14. Suppose 0 = -x*s - 337 + 823. Does 27 divide s?
True
Suppose 3*c + 346 = c. Let o = c + 253. Does 20 divide o?
True
Let y = 35 + 21. Suppose 0 = -f + 3*f - y. Let o = -7 + f. Is o a multiple of 8?
False
Let l = 90 + -84. Is 2 a factor of l?
True
Is 7 a factor of (0 + 7/2)/((-1)/(-34))?
True
Let r be (18/15)/(2/10). Suppose 0 = -r*j + j + 20. Is 17 a factor of (-98)/(-6) - j/(-6)?
True
Let u = -5 - -1. Let f be 2/u*1*2. Is 3 a factor of 15 + f + (6 - 6)?
False
Suppose 0 = 4*c + l + 1229, 888 = -5*c - 2*l - 652. Does 21 divide (-3)/(-5) + (0 - c/15)?
True
Let t(z) = -11*z + 7. Let l = 0 - 2. Does 10 divide t(l)?
False
Let n be 65*((-4)/30)/(5/(-8895)). Is 2/5 + n/130 a multiple of 27?
False
Let z be (-144)/7 - 20/(-35). Is ((-90)/z)/((-6)/(-40)) a multiple of 15?
True
Let k(r) = 5*r**2 + 5*r + 1. Let b(d) = d**2 + d + 1. Let a(i) = -3*b(i) + k(i). Let h be a(-2). Let l = 36 - h. Is 10 a factor of l?
False
Suppose 4*i - 5 = f + 11, -5*i + 5*f = -20. Suppose -p - i*g = -60, -2*p + 3*g + 98 = -0*p. Is 9 a factor of p?
False
Let j(s) = -7 + 11 + 2*s + s**2 - 7. Suppose -3*x = -i - 8, -i = -6*i + 3*x + 8. Is j(i) a multiple of 7?
True
Let x(j) = 2*j - 1. Let g be x(-6). Suppose 0*t - 9 = 3*t, 0 = 5*r + 2*t + 51. Let y = r - g. Is y a multiple of 2?
True
Let c(l) = -l - 8. Let b be (-49)/4 - (-2)/8. Let h be c(b). Suppose -4*j = h*t - 76 - 0, -55 = -4*t + 3*j. Does 8 divide t?
True
Let a be -1*(2 + (3 - 4)). Let k(u) = 10*u + 8. Let q be k(-6). Does 11 divide (3 + q/a)*1?
True
Let x(i) be the second derivative of i**4/12 + i**3/3 - 3*i**2 - 2*i. Let v be x(-4). Suppose 2*q + v*q - 68 = 4*l, -q - 5*l = -29. Is q a multiple of 10?
False
Suppose 2*x - 88 = 2*w + w, -20 = -4*x. Let z = w + -1. Does 13 divide (-8)/36 - 1842/z?
False
Suppose -1673 = -12*r + 2515. Is 28 a factor of r?
False
Suppose -p - 3*n = -22, -5*n + 78 = 4*p - p. Does 3 divide p?
False
Let j be (-2 + (-22)/(-6))/((-7)/(-105)). Is j - 1/(2/8) a multiple of 4?
False
Let o(v) = 133*v - 49. Let d(u) = 8*u - 3. Let l(w) = -98*d(w) + 6*o(w). Suppose -2*a + 3*a = 1. Doe