 = 8*y - 9. Suppose -6*t = -y*t - 112. Does 6 divide t?
False
Let i be 663/26*(-20)/(-6). Let h be ((-5)/2*2)/(-1). Suppose 0*g - h*g = -i. Does 8 divide g?
False
Suppose 0 = 7*z - 6 - 15. Does 8 divide (-16)/(71/(-23) + z)?
True
Let p(w) = 262 + 8*w - 60 + 169 - 53. Does 26 divide p(0)?
False
Let p(r) be the third derivative of r**6/180 - r**5/60 + r**4/6 - r**3 - 6*r**2. Let u(i) be the first derivative of p(i). Is u(-4) a multiple of 22?
True
Suppose -95*s + 98*s = 1518. Does 23 divide s?
True
Let h = -540 - -566. Is h a multiple of 7?
False
Does 8 divide (80/(-45))/8 + 3896/36?
False
Let q(a) = a**3 - 8*a**2 + 5. Let v(i) be the first derivative of -5*i**4/4 + 40*i**3/3 - i**2/2 - 24*i + 3. Let x(h) = -11*q(h) - 2*v(h). Does 3 divide x(8)?
True
Let d be (-10)/35 - 44/(-7). Suppose 3*n = 2*v - d*v + 87, 0 = -5*n + 4*v + 113. Is 16 a factor of n?
False
Suppose 0 = -27*n + 23*n + 12. Suppose 6*k - n*k = 153. Does 17 divide k?
True
Let g = -99 - -96. Is 15 a factor of ((-4)/g)/(4/84)?
False
Does 26 divide 44220/170 + (-8)/68?
True
Is 51 a factor of 5 - (-3)/((-9)/(-1821))?
True
Is (36245/33)/((-5)/(-6)) a multiple of 39?
False
Suppose 4*c - 21 = -1. Let n(q) = q**2 + 5*q - 2. Is 8 a factor of n(c)?
True
Suppose -b + 14022 = 15*v - 12*v, -23368 = -5*v - b. Is 22 a factor of v?
False
Suppose 54*h = 3047 + 9535. Is 6 a factor of h?
False
Let z = -7 + 12. Suppose -z*x + v + 4*v + 295 = 0, -263 = -4*x - 5*v. Suppose 0 = 5*m + 2*b - 0*b - x, -4*m = -2*b - 46. Does 5 divide m?
False
Let q(i) be the second derivative of i**4/4 - 3*i**2/2 + 8*i. Let p be q(-3). Suppose n - 6*n + w + p = 0, 0 = -2*n - 4*w + 14. Does 3 divide n?
False
Let n(r) = 9 - 39 - 2 + 2*r**2. Does 23 divide n(-6)?
False
Let k be (0 + 3/2)/((-24)/(-96)). Suppose -4*n - 240 = -k*n. Is 20 a factor of n?
True
Let i(u) = -u**3 + 5*u**2 + u - 1. Let a be i(5). Is 8 a factor of a/6 - (-236)/6?
True
Suppose -22*d - 40 = -18*d. Does 11 divide (-489)/60*-4 + (-4)/d?
True
Let i(u) = -u**3 - 15*u**2 - 14*u + 7. Let y be i(-15). Suppose 5*h = 83 + y. Is 34 a factor of h?
False
Suppose -54*x + 46*x + 232 = 0. Is x a multiple of 4?
False
Let f(j) = -9*j**3 + 7*j**2 + 21*j - 3. Is 5 a factor of f(-3)?
True
Let s(i) = 123*i**2 + 21. Does 6 divide s(3)?
True
Let p(c) be the second derivative of -2*c**3/3 + 5*c**2 - c. Is p(-18) a multiple of 13?
False
Let a(y) = y**3 - 27*y**2 + y + 134. Is 4 a factor of a(27)?
False
Is 102/((-10)/(-35) - (-68)/56) a multiple of 17?
True
Let b be (1 + 0)/((-7)/(-21)). Suppose b*y + 5*t = 770, 0 = 2*y - t - 727 + 218. Suppose 0*q = -s - q + 48, 2*q = -5*s + y. Is s a multiple of 13?
False
Let s = 10 - 48. Let l = s - -76. Is 25 a factor of l?
False
Suppose 5*t + 4*l - 2344 = 0, 0 = t - 0*t - 2*l - 466. Does 39 divide t?
True
Suppose 92*j = 89*j + 876. Is 10 a factor of j?
False
Let c = 5019 - 2179. Is c a multiple of 49?
False
Let k = -201 + 334. Does 6 divide k?
False
Let v = -4 - -5. Is 13 a factor of 41 + v - 2*-2?
False
Suppose -2*j + 184 - 16 = 0. Does 4 divide (12/7)/(174/j - 2)?
True
Let m be 4050/14 + (-2)/7. Let k = m - 206. Does 5 divide k?
False
Let c(w) = 2*w**3 + 4*w**2 + 2*w - 7. Let p(u) = 3*u**3 + 6*u**2 + 3*u - 10. Let v(d) = 8*c(d) - 5*p(d). Does 14 divide v(3)?
True
Let q(r) = -r**3 + 10*r**2 + 2*r - 9. Let o = 31 - 47. Let d = o - -26. Is q(d) even?
False
Is 32 a factor of 1787/6 + 3/18?
False
Let s(q) = -1. Let c(g) = g**2 + 8*g + 3. Let i(m) = c(m) - 5*s(m). Let p = -25 + 16. Is i(p) a multiple of 11?
False
Suppose -76*n = -5*n - 158401. Does 23 divide n?
True
Suppose -50 = -0*k - 5*k + 5*r, 0 = -5*k - 3*r + 10. Suppose -11*h - 10 = -h. Does 4 divide (k/15)/(h/(-12))?
True
Let t = -4 + -35. Let b = t + 131. Is b a multiple of 16?
False
Let c(g) = g**2 - 7*g + 6. Let i be c(6). Suppose 8*f - 115 - 333 = i. Does 15 divide f?
False
Let b = 8 + -5. Suppose 0*w + b = -y - w, 1 = 5*y - 3*w. Is (y - 27)/(2 - 3) a multiple of 8?
False
Let t(y) = -y**2 + y + 13. Let k be t(0). Suppose -k - 79 = -h. Does 18 divide h?
False
Let o(c) = -2*c - 14. Let w be o(-7). Suppose w*g = -g. Suppose -4*h - 5*i + 201 = g, 0 = 4*h - i - i - 194. Does 17 divide h?
False
Let g(m) = m**2 + 6*m + 6. Let h be g(-7). Let r = h + -10. Suppose -99 = -r*v - 3*y, -4*y + 10 = y. Is 20 a factor of v?
False
Let u = -19 - -47. Let p = u - 10. Does 9 divide p?
True
Let f(p) be the third derivative of p**5/60 + p**4/8 - 5*p**3/6 - 2*p**2. Let y be f(-4). Does 10 divide 10*(0 + 1 - y)?
True
Suppose -5*t = -7*t + 8. Suppose -2*m = 2*x - 278, x = -t*m - x + 562. Does 10 divide m?
False
Let u(i) = 51*i + 4. Let t be u(4). Suppose 4*y = -4*j + t, -y + 6*y + 4*j - 258 = 0. Is 10 a factor of y?
True
Is 9 a factor of 132/(-77)*(-3 - 15/2)?
True
Suppose -3*j - x + 8 + 0 = 0, 2 = 2*j - x. Suppose d = j*d - 15. Suppose 4*l - d = 5. Is 5 a factor of l?
True
Let m(t) = 16*t - 15. Let r(i) = 5*i - 5. Let k(q) = 2*m(q) - 7*r(q). Suppose -15 = x - 10. Is k(x) a multiple of 5?
True
Suppose 832 + 5468 = 9*y. Does 14 divide y?
True
Let m = -910 + 1435. Does 3 divide m?
True
Suppose -5*a - 5*w = -2*a - 1306, 3*w = -4*a + 1756. Is 34 a factor of a?
True
Let h be 2/((-1)/(-2) - 0). Suppose 4*s - 156 = -3*r, r + h*s = -r + 108. Is 24 a factor of r?
True
Let r be -1 - 0*(-2)/4. Let x(j) = 3*j**3 + 3*j**2 - 10*j - 17. Let u be x(-3). Let z = r - u. Does 18 divide z?
False
Let i(h) = 11*h - 154. Does 11 divide i(27)?
True
Let j be (-3)/(-1) + 3 + -6. Let f = -64 + j. Let l = 100 + f. Is 12 a factor of l?
True
Suppose 15702 = 44*t - 11138. Is t a multiple of 10?
True
Suppose 81 = -t + 955. Is t a multiple of 23?
True
Suppose -130 = -4*d + 794. Suppose d = 9*s - 201. Is s a multiple of 9?
False
Is 108/270*(534 - -1) a multiple of 4?
False
Let r = 21 + -44. Let q = r - -17. Let t(s) = 2*s**2 + 7*s + 6. Is t(q) a multiple of 22?
False
Let p(n) = n**2 - 39*n + 19. Does 7 divide p(39)?
False
Let v be 9/(-45) - 722/(-10). Suppose v = 2*l - 70. Is l a multiple of 12?
False
Suppose 2*r + 4 = -2*d + 14, -5*d + 10 = 2*r. Let m = 126 - d. Is 21 a factor of m?
True
Let l(u) = u**3 - 33*u**2 + 46*u - 96. Is l(32) a multiple of 8?
True
Suppose -5*s = -s - 4*o - 388, s + 2*o = 94. Suppose 3*r + 0*r - s = 0. Is r a multiple of 8?
True
Let j be (-2)/((-12)/51)*4. Let h be 6/(j/18 + -2). Let b = h - -87. Is b a multiple of 11?
True
Suppose 0 = 4*g + 5*u - 826, -416 = -2*g - u - 3*u. Let k = 289 - g. Is k a multiple of 8?
False
Let v = -50 + 29. Let w = v + 43. Is 11 a factor of w?
True
Let i(o) = o**2 - 4*o - 10. Let j = 17 + -21. Does 11 divide i(j)?
True
Let z(c) = -c + 79. Let n = -27 - -27. Is 18 a factor of z(n)?
False
Suppose 3*m - 5 = 4*p - 83, 4*m = -4*p + 64. Let i = 22 + p. Is 10 a factor of i?
True
Suppose -20*j = 2*g - 22*j - 490, 3*j + 488 = 2*g. Does 22 divide g?
False
Is 16 a factor of 8*(5697/18 + 8)?
False
Suppose 18 = 3*j - 0*j. Suppose -5*s + 19 = -j. Suppose 78 = i + s*k, -6*k - 114 = -2*i - 2*k. Is 21 a factor of i?
True
Let b = -79 - -521. Is 55 a factor of b?
False
Let g = -3 - -6. Let s be g - 19 - 12/6. Is (-940)/s + 4/(-18) a multiple of 16?
False
Suppose -4*h = -0*h. Suppose r + 4*q - 2*q - 2 = h, -4*r - 3*q = -13. Suppose -51 = -5*p + 3*b, -54 - 9 = -r*p - 5*b. Is p a multiple of 10?
False
Let o = -954 - -1279. Is o even?
False
Suppose 7*k - 3*k = -52. Let t = 227 - k. Is t a multiple of 35?
False
Does 37 divide (-386720)/(-70) + 15/35?
False
Let p = -1666 - -2386. Is p a multiple of 40?
True
Let b(x) be the first derivative of 29*x**3/3 - 5*x**2/2 - 4*x + 45. Is b(-2) a multiple of 22?
False
Suppose -54 = -3*d - 267. Let o = d + 19. Is 23 a factor of (-3596)/o - (-4)/(-26)?
True
Suppose 0 = 84*t - 95*t + 8360. Is t a multiple of 15?
False
Let d(p) = p**3 + 18*p**2 + 20*p - 69. Does 15 divide d(-15)?
False
Is ((-12)/15)/((-22)/1815) a multiple of 11?
True
Suppose -a + 476 = -699. Is a a multiple of 25?
True
Suppose -a - 283 = -893. Suppose -5*i + 270 = -a. Does 42 divide i?
False
Let j(w) = w**2 + 2*w + 4. Let g be j(0). Suppose 4*s + q - 15 - 101 = 0, -g*q + 156 = 5*s. Does 7 divide s?
True
Let p be 7/((-1)/(-4) + 0). Suppose 3*r + p = 166. Does 11 divide r?
False
Let o be (94/3)/(20/30). Suppose 2*h + 15 = o. Let u = 13 + h. Is 13 a factor of u?
False
Let z(t) = t**3 + 7*t**2 - 20*t + 12. Is z(-