 62 + -5*(-3 + x)?
False
Let w(x) = 2*x**2 - 4*x + 5. Let s be w(2). Suppose -3*j - c + 424 = 0, 0 = -c + s*c - 16. Is j a multiple of 28?
True
Let p = 1 + -1. Suppose -956 = -16*r + 932. Suppose p*l - r = -2*l. Is l a multiple of 19?
False
Suppose -275 = -6*r - 35. Is 28 a factor of r?
False
Suppose -4*b = -20, -5*b = 5*l - 7*b - 1130. Is l a multiple of 4?
True
Let w be (-18 - 68)*(0 - 1/2). Let o = w + -7. Is 4 a factor of o?
True
Let f(o) = -o + 13. Let m be f(9). Suppose 0 = 4*k + 3*c - 664, -3*k + 0*c = m*c - 505. Is 28 a factor of k?
False
Let q = 1439 - -428. Does 12 divide q?
False
Is (1 - 58/6)/(9/(-567)) a multiple of 39?
True
Suppose p = 3*c - 60, -2*c + 5*p - 36 = -89. Is 17 a factor of c?
False
Let x = -1102 + 1624. Is 22 a factor of x?
False
Let l(p) be the third derivative of -1/120*p**6 + 0*p - 4*p**2 + 1/12*p**5 - 1/2*p**3 + 0 + 1/3*p**4. Is 3 a factor of l(6)?
True
Let s = 11 + -10. Let u = s + 6. Let y = u - -19. Does 24 divide y?
False
Suppose -463 - 1396 = -13*o. Does 5 divide o?
False
Suppose l - 32 = -l. Let t = l + -4. Suppose 2*s + s - 121 = 4*d, 0 = 3*d + t. Is s a multiple of 6?
False
Let l(j) be the second derivative of 4*j**3 - 17*j**2/2 - 22*j. Is 22 a factor of l(6)?
False
Let w be -2 + (37 - -1 - -1). Let g = w + -34. Is 3 a factor of g?
True
Let j(w) = 9*w - 9. Suppose -4*l - 38 = -5*r - 13, -3*r = 2*l + 7. Let n be j(l). Does 25 divide (-3336)/n + 4/18?
False
Let l = -11 - -21. Suppose 3*c + 15 = -4*o + 64, -c + 5*o = -l. Suppose 3*m - c = -0. Is 5 a factor of m?
True
Let g(i) = -i**2 - 5*i + 3. Let o be g(-4). Suppose 5*m + 20 = 2*t, -o*t + 2*t = m + 4. Suppose t = 5*c - c - 116. Is c a multiple of 29?
True
Let f = 20 + -19. Suppose f + 45 = z. Let c = z + -32. Is c a multiple of 9?
False
Let f = -39 + 39. Suppose -g - h - 3*h + 30 = 0, g + 3*h - 26 = f. Is g a multiple of 7?
True
Let z(v) = -v**2 + 7*v - 6. Let o be z(6). Suppose 5*w + 4*d = 206, 0*w + 4*w - 2*d = 144. Suppose -2*n + u + 3*u + 62 = o, w = n + 5*u. Is n a multiple of 9?
False
Let m(g) be the second derivative of 26*g**3/3 - 3*g**2 - 11*g. Is 30 a factor of m(3)?
True
Suppose 20 = -7*l + 34. Suppose -l*x - 315 = -3*c - 2*c, 0 = 3*c + 5*x - 189. Does 21 divide c?
True
Is 12 a factor of (-1 - 5 - -143) + -8?
False
Let f = 20 + -51. Let i be (-6)/(-27) - 853/(-9). Let o = f + i. Is o a multiple of 16?
True
Suppose 725 = y + 5*c, 2*y + 3*c - 5*c - 1414 = 0. Is y a multiple of 10?
True
Suppose 4*n = 3*y - 60, 3*n = -2*y - 0*y - 45. Let o = 10 + n. Let i = 25 - o. Does 10 divide i?
True
Suppose 6 = 5*w - 139. Suppose 27*n + 252 = w*n. Is 21 a factor of n?
True
Let l = 3 + -3. Suppose -j = -0*j - p - 6, 2*p - 3 = -3*j. Suppose j*b = 2*t - l*t + 199, 202 = 3*b + t. Does 18 divide b?
False
Let z be (-20)/2*(-12)/8. Let h = 14 + z. Is h a multiple of 7?
False
Suppose -475 = -5*h - 0*b + 2*b, 4*b - 445 = -5*h. Does 17 divide h/6 - (-9)/6?
True
Suppose 764 + 1111 = 15*b. Does 9 divide b?
False
Is 6 a factor of (24/(-10))/(6/(-225)*5)?
True
Let y(o) = -o**3 + 14*o**2 + 14*o + 20. Let h be y(15). Suppose h*i - f - 43 = -3*f, i = -f + 8. Let v = i - 5. Is 2 a factor of v?
True
Suppose -48*l = -43*l - 70. Does 3 divide 38/l - (-40)/140?
True
Let o(i) = -i**2 + 13*i - 3. Let j(l) = -l**2 + 7*l - 2. Let y(r) = -5*j(r) + 2*o(r). Is y(7) a multiple of 8?
True
Suppose -4*x + 7 + 5 = l, 0 = 5*l. Suppose 2*v + 290 = 4*s - 2*s, 3*v = -x*s + 417. Does 23 divide s?
False
Let b = 3855 + -2689. Is b a multiple of 11?
True
Let g be (-1)/(-2*2/116). Let l = 62 - g. Let s = l + -19. Does 4 divide s?
False
Suppose -5*g + 45 = 3*k, 8 + 30 = 3*g + 4*k. Is ((-364)/g)/13*(-50 + -1) a multiple of 42?
False
Let o(r) = 0*r + 6*r - 3*r + 3*r. Let k be o(1). Suppose -2*l - 3*t + 44 = 0, -3*l + k = 3*t - 57. Does 19 divide l?
True
Does 3 divide ((-7458)/88)/(6/(-24))?
True
Let c(d) be the first derivative of 5*d**2/2 + 5*d - 2. Let h(g) = -g**2 + g + 9. Let o be h(0). Is 9 a factor of c(o)?
False
Let m = -4 + 7. Let f be 0 - (4/2 - 136). Suppose 0*p + p - 58 = m*t, -3*p + f = t. Does 10 divide p?
False
Is 10 a factor of ((-139)/(-7))/((-3)/(-21))?
False
Suppose 0 = 2*o + 4, 4*g - 1 = -3*o + 1. Suppose 0 = -g*i + 7 + 33. Does 10 divide i?
True
Let o(k) = -93*k**3 + k**2 + 6*k + 5. Is o(-2) a multiple of 13?
True
Let d be -3 + 0 + (-21 - -23). Is 111 + -2 - (d + 1)/(-2) a multiple of 11?
False
Let u(x) = 29*x**2 + 2*x - 1. Let k be u(1). Suppose -k = 5*g + 15. Is (8 - -1)/(g/(-18)) a multiple of 9?
True
Let r = -643 + 1460. Is r a multiple of 8?
False
Suppose 0 = 4*r - m - 5290, -r - 16*m + 15*m = -1320. Does 58 divide r?
False
Let d = -26 + 28. Let r = 7 - d. Suppose 51 + 224 = r*x. Is x a multiple of 8?
False
Let b(g) = 4*g - 3 + g**3 - 263*g**2 + 258*g**2 - 1. Is b(6) a multiple of 14?
True
Let h = 1802 + -962. Does 10 divide h?
True
Suppose -d = -12 - 3. Is d/(-10) + 154/4 a multiple of 13?
False
Suppose -3*o - 3*k + 1083 = 0, -o + 364 = 8*k - 4*k. Is 9 a factor of o?
True
Let n(y) be the second derivative of y**4/3 + 2*y**3/3 - 7*y**2/2 - 13*y. Does 6 divide n(-4)?
False
Let b(a) = -194*a**3 - 7*a - 9. Is b(-1) a multiple of 5?
False
Let f = -577 - -1177. Is 15 a factor of f?
True
Let s(f) = 2*f**3 + 9*f**2 + 6*f. Is 9 a factor of s(6)?
True
Let y = 23 - 23. Suppose 3*h - 5*h + 162 = y. Is 21 a factor of h?
False
Suppose 2*q = s + 246 + 204, -2*s + 450 = 2*q. Is 9 a factor of q?
True
Suppose -16*i = -13*i - 1554. Does 14 divide i?
True
Let s(t) = 26*t - 12. Let d be s(8). Suppose -2*v = -v + 5*w - 32, -3*v = -5*w - d. Does 19 divide v?
True
Let t(p) = 2*p - 17. Let f be t(8). Is -3 + 187 + (f - -1) a multiple of 46?
True
Suppose 2*p - 2*v = 5*p - 4, -2*p = -4*v - 8. Let w(f) = -5*f - 43*f**3 + 0*f + 42*f**3 - 2 - 4*f**p. Is w(-4) a multiple of 18?
True
Let k(f) = -2*f + 67. Let x be k(31). Suppose x*q + 4*d - 1050 = 0, 4*q - 4*d + 194 = 998. Is 41 a factor of q?
False
Suppose -394*h + 384*h + 19740 = 0. Is h a multiple of 12?
False
Let o be 0 - 32/(-12) - (-1)/3. Is 46 a factor of o + 5/5 + 100*1?
False
Suppose 0 = -3*z + z - 4. Let f = 23 + z. Is f a multiple of 7?
True
Suppose -4 = 8*t + 20. Let i = 75 - t. Is 13 a factor of i?
True
Let k(d) = d**3 - 7*d**2 + 3*d + 9. Let n be k(7). Suppose n = -24*l + 27*l. Is l a multiple of 3?
False
Let v(k) = -k - 2. Let i be v(-7). Suppose 0 = -3*j + 13 + i. Let m = j + 6. Is m a multiple of 12?
True
Let w = 11 - 18. Let v be (-2)/w + (-3208)/56. Let p = v + 84. Is 7 a factor of p?
False
Suppose -5*n + 4*z = -485 + 61, 0 = -3*n + 3*z + 255. Is 48 a factor of n?
False
Let n(m) be the first derivative of -3 - m + 6 - 3*m**2 + 0*m. Does 17 divide n(-3)?
True
Suppose k - 29 = 91. Is 17 a factor of k?
False
Suppose 4*w + 16 = -4*n, -2*w + 1 = -3*w - 2*n. Let v = w - -24. Is 17 a factor of v?
True
Let d(g) = -3*g**3 + 2*g + 3. Suppose 5*i + 3*r - 26 = -0*r, 0 = -4*i + r + 14. Let q be (-55)/20 + 3/i. Does 4 divide d(q)?
False
Let l be (-4)/22 - (-3)/((-99)/(-138)). Suppose 3*x + 5*c = 67, 0*c - 76 = -3*x + l*c. Is x a multiple of 4?
True
Let j(a) = -a**3 - 6*a**2 - a - 7. Suppose -3*u + 2*u = i + 3, 5 = i + 3*u. Let x be j(i). Is 24 a factor of (-2 - 0) + 1 + x?
True
Does 13 divide (20 - 22)*751/(-1)?
False
Let w(r) = -r**3 + 29*r**2 - 61*r - 10. Does 25 divide w(26)?
False
Let g be (-3 + 3)/(1 - 0). Suppose l + 3*d - 112 = g, 0 = l + 5*d - 7*d - 112. Is l a multiple of 14?
True
Let r(u) = -2*u**3 + 10*u**2 - 5*u - 2. Let f be r(4). Suppose -z - z = -f. Suppose 0 = v + 1, -4*o + 2*v = z - 55. Is 6 a factor of o?
True
Let w(t) = -t**3 - 20*t**2 - 21*t - 12. Let y be w(-19). Suppose y*c + 680 = 30*c. Is c a multiple of 34?
True
Let v be 0 + (193 - -2)/5. Suppose -v*y - 444 = -43*y. Is y a multiple of 22?
False
Let d = -2075 + 2252. Is 26 a factor of d?
False
Let b(n) = 53*n**3 - 5*n**2 + 6*n - 2. Is b(2) a multiple of 53?
False
Let f = -72 - -211. Does 13 divide f?
False
Let m be 10*2/4*-3. Let j be (-12)/m*(1 - -14). Let i(n) = -n**2 + 15*n - 8. Is i(j) a multiple of 7?
True
Suppose -42*j - 100 = -37*j. Does 45 divide ((-12)/j + -1)*-390?
False
Let b(s) = s + 11. Let k be b(-9). Let y be (-103)/(k + -4 - -1). Let m = y - 23. Is 20 a factor of m?
True
Suppose 3*g + 161 = 2*u, 0 = -u - 5 + 3. Let a = g + 98. Suppose -3*f + a + 113 = 0. Is 26 a 