
Let a(v) = 22*v**2 + 13*v - 2. Let i(f) = -3*f - 5. Let u be i(-4). Let c(j) = 7*j**2 + 4*j - 1. Let l(t) = u*c(t) - 2*a(t). Does 18 divide l(-3)?
True
Let q(j) = j**2 + 4*j - 5. Let s be q(-5). Suppose s = -0*u + 2*u + 52. Is 20 a factor of (-1564)/(-26) - (-4)/u?
True
Let i(x) = -x**3 - 5*x**2 + 5*x - 7. Let b be i(-6). Let t be (-1 - b) + 5 + -2. Suppose -5*d + 40 = 4*c + c, 24 = t*c + d. Is c a multiple of 4?
True
Let x be (-3 - (-2 - 0)) + -55. Let p = 115 + x. Does 15 divide p?
False
Let p = -179 - -425. Is 58 a factor of p?
False
Suppose 19188 = 18*c + 2628. Is c a multiple of 23?
True
Suppose -3*l - 132 = l. Let b be 7*(3 + l/21). Is 36 a factor of ((-428)/b)/((-2)/5)?
False
Let h be 4/((-14)/(-12) - 1). Let u = 475 + -492. Let s = u + h. Does 4 divide s?
False
Suppose -2*q = 7 + 7. Let c(h) = 5*h**2 + 2. Let v(t) = -6*t**2 + t - 3. Let d(f) = q*c(f) - 6*v(f). Is 4 a factor of d(6)?
True
Let h be (-1 - 0)/(-1) - (-4 + -79). Let b = -23 + h. Is b a multiple of 17?
False
Suppose 0 = 3*g + s - 4143, -5*g - 4*s = -5610 - 1288. Does 34 divide g?
False
Let u = -627 - -865. Is 17 a factor of u?
True
Let m(p) = -2*p**3 - 6*p**2 + 19*p + 75. Is 6 a factor of m(-9)?
True
Let u(o) = -2*o + 109. Is u(-18) a multiple of 7?
False
Suppose 0 = -2*g + 3 + 1. Suppose 11 = n + g*y - 34, 2*n - 82 = 4*y. Is 8 a factor of n?
False
Suppose -5*y = -4*y - 21. Suppose -y = -2*q - q. Suppose q*s = 4*s + 57. Is s a multiple of 11?
False
Let y = 68 + -65. Suppose -3*l = -3*u - l + 488, -u + 148 = y*l. Is 20 a factor of u?
True
Suppose 2*v = -4*s + 1466, -5*s + 489 = 6*v - 1354. Is 5 a factor of s?
True
Let u be (-10)/(-14) - (-20)/70. Does 26 divide (392/(-84))/(u/(-15))?
False
Let t(y) = -y + 7. Let w be t(-15). Let s be (2 - (3 + w)) + 1. Let f = s - -42. Is 5 a factor of f?
True
Suppose 4*q = -0*p + p - 44, -2*p = -5*q - 82. Is p a multiple of 4?
True
Let n(d) = -7*d**2 + 9*d - 8. Let h(q) = 6*q**2 - 8*q + 8. Let v(p) = -6*h(p) - 5*n(p). Let x be v(-5). Let m = x - -75. Is 27 a factor of m?
True
Let f(n) = 2*n**3 - n**2 - 2*n + 10. Is f(6) a multiple of 23?
False
Let n(j) = 6*j + 1. Let l(h) = -h. Let t(s) = -5*l(s) - n(s). Let d be t(-6). Suppose -d*f = -23 - 37. Does 6 divide f?
True
Is 10 a factor of ((-132)/(-55))/(32/9480)?
False
Let f = -461 - -615. Does 43 divide f?
False
Let x(m) = 83*m. Let d be (-8)/(-16)*(1 + 3). Suppose d = -z + 3*z. Is 23 a factor of x(z)?
False
Let i be (42/(-4))/((2/(-2))/6). Let x = 152 - i. Does 12 divide x?
False
Let d(f) = -f**3 + 21*f**2 + 7*f + 119. Is d(17) a multiple of 82?
True
Suppose -5*z - 3*t = -2*t - 528, -4*z + 4*t + 432 = 0. Let g = -58 + z. Does 12 divide g?
True
Let t(l) = -l**3 - 13 - 2*l**3 + l**2 + 0*l**3 + 12. Suppose 1 = -5*z - 9. Does 8 divide t(z)?
False
Suppose 2*r - q + 157 = -2*r, 5*r = -q - 185. Is 8 a factor of ((-855)/r)/(6/8)?
False
Let c be (-10)/(-3)*(1 - (-6)/30). Does 17 divide (17/c)/(4/160*2)?
True
Is (-13)/(-130) - 29/(-10) a multiple of 3?
True
Suppose 0 = -4*i - 5*w + 1214, 606 = 6*i - 4*i + 3*w. Is i a multiple of 17?
True
Suppose 0 = 3*n - 5*b - 2353, 2*b = 4*n - 1757 - 1357. Is 69 a factor of n?
False
Let l(v) = 2*v + 12. Let c be l(-6). Suppose n + 4*f - 218 = c, -5*f + 0*f = 2*n - 451. Is n a multiple of 34?
True
Suppose -46 = j - 3*j + 2*h, 109 = 3*j + 5*h. Let b = -16 + j. Is 4 a factor of b?
True
Let u(c) = c**2 - c - 6. Does 16 divide u(-13)?
True
Is 13 a factor of ((-3)/6)/((-3)/(-468))*-2?
True
Let t(z) be the second derivative of z**4/6 + 11*z**3/6 - 3*z**2/2 - z. Let j be (3 - (6 + 8)) + 5. Is t(j) a multiple of 3?
True
Suppose -16*y + 1545 = -13*y. Let b = y + -360. Is 22 a factor of b?
False
Let v = -15 + 708. Is 99 a factor of v?
True
Let w be -4 + (-2)/1 + 9. Does 10 divide 40/(-4)*-1*(w + 0)?
True
Let m(p) = -p**3 - p**2 + 3*p - 4. Let h be -3 + (4 - 40)/(-4). Let a = -10 + h. Is 8 a factor of m(a)?
True
Let s(d) = 3*d**2 - 11*d + 20. Let b be (-4)/12 - (-68)/6. Let y be s(b). Let n = -156 + y. Is n a multiple of 22?
False
Does 50 divide ((-3)/(-12))/(4/(-50208)*-6)?
False
Let r = -432 + 3429. Does 27 divide r?
True
Suppose -y - 5111 = -5133. Is y a multiple of 9?
False
Let o = -2 + -8. Let s = -12 - o. Is 13 a factor of 59 - -1*s/1?
False
Let f(h) = -5*h - 42. Let g be f(-6). Does 9 divide g/32 - 12987/(-72)?
True
Suppose -v + 102 = 2*g, 183 = 3*g + 2*v + 29. Let j = 0 - 0. Suppose -5*d - r + 35 = j, 2*d - 7*d - 4*r = -g. Does 3 divide d?
True
Let b(t) = 78*t - 8. Is 8 a factor of b(4)?
True
Let y(f) = f**2 + 8*f + 22. Suppose 0*d = 4*o + d + 63, 0 = 5*o + d + 79. Let z be y(o). Let c = -90 + z. Is 15 a factor of c?
True
Suppose 3*c - 6*c = -711. Let t = -16 + c. Is 17 a factor of t?
True
Let z(l) = 12*l**3 - 6*l**2 - 28*l - 24. Is 42 a factor of z(6)?
True
Is 111 a factor of (-4)/(-18) - 1384205/(-909)?
False
Suppose -22*o + 1546 = -20*o. Is 55 a factor of o?
False
Is 2/((-3)/441*9/(-12)) a multiple of 41?
False
Suppose q = -3*q + 16. Suppose -80 = q*r - 2*r - 5*j, -5*r - 146 = j. Let k = 44 + r. Is k a multiple of 9?
False
Suppose 4393 = -9*v + 23572. Is v a multiple of 75?
False
Let y(b) = 10*b - 1. Let w be y(-3). Let t = 41 - w. Is 6 a factor of t?
True
Suppose -4*w + 15 = w. Let z be 1/((-3)/w) - -20. Suppose 4*s + 0*s - 76 = 2*k, -4*k - z = -s. Is s a multiple of 8?
False
Let d be (0*(-5)/30)/2. Let w(g) = -g**2 + 2*g + 145. Does 21 divide w(d)?
False
Is 18 a factor of 126/462 + (-24018)/(-22)?
False
Suppose 1218 = -2327*m + 2329*m. Is m a multiple of 9?
False
Let x be ((-3)/(-6))/(2/(-28)). Let i = 11 + x. Let r = i - -36. Does 20 divide r?
True
Suppose 0 = -5*u + 48 + 32. Let p be 11 + u/(-1 - 3). Suppose 8*j - p*j = 29. Is 14 a factor of j?
False
Suppose -7*m + 5677 = -1813. Suppose 733 = 2*j - 5*o + 23, m = 3*j - 5*o. Is 12 a factor of j?
True
Let n = 5 - 48. Let t be -3 - (2 + 1 + -82). Let k = n + t. Is k a multiple of 27?
False
Suppose -j = 2, 5*d - j + 11 = -4*j. Let p(z) = -33*z**3 + 3*z**2 + 2*z. Let i be p(d). Let b = 68 - i. Does 13 divide b?
False
Suppose -5*v - 3*n + 15 = -v, 5 = 4*v + n. Does 17 divide 154 + v + 4/(-4)*-3?
False
Suppose 4*j - 4*l - 36 = 0, -j + 3*l = -21 + 4. Let m be (-2)/j - 8/(-20). Let q = 7 + m. Does 7 divide q?
True
Let j(h) = h**3 - 6*h**2 - 19*h. Does 4 divide j(9)?
True
Let v = -156 - -696. Does 36 divide v?
True
Let r = -1 - -5. Suppose 2*v = r*v. Suppose 2*j - 40 = -v*j + 2*w, -3*w = -5*j + 98. Is 16 a factor of j?
False
Suppose 0*q + 1261 = 13*q. Is 19 a factor of q?
False
Let d(c) = -2*c + 2*c + 0*c + 8 + c. Let y be d(7). Suppose -5*j + 4*j = -y. Is 14 a factor of j?
False
Let s(g) = g**2 - 6*g - 64. Is 33 a factor of s(-16)?
False
Suppose -4*z - 5*a = -6998, -3*z + 4*a = -3773 - 1491. Is 8 a factor of z?
True
Does 22 divide (-6)/(-4) - -3*3316/24?
False
Let t(d) = -d**3 - d**2 + 22*d + 5. Is 9 a factor of t(-6)?
False
Let r be (12/(-9))/(2/(-6)). Suppose r*k + b + 46 = 0, b = 5*k - 14 + 76. Let n = k - -25. Is n a multiple of 13?
True
Suppose 3*d + 30992 = 29*d. Is 12 a factor of d?
False
Let o(b) = 259*b - 4. Let i be o(1). Suppose -2*d + i - 35 = 5*c, -535 = -5*d - 5*c. Is d a multiple of 15?
True
Let g(x) = x**2 + 3*x - 6. Suppose -22*c + 24*c = -16. Is g(c) a multiple of 34?
True
Suppose 2*j = 8*j - 1170. Let d = j + -132. Is d a multiple of 9?
True
Let o = -25 - -27. Suppose 4*c + o*c = 30. Suppose -59 = -4*h - 2*u + 189, c*u = -2*h + 116. Is 12 a factor of h?
False
Suppose t - 567 = -2*m, -3*m + 4*t + 856 = -11. Is m a multiple of 5?
True
Let i = 414 - 170. Is i a multiple of 3?
False
Let y be (0/1)/(4/2). Suppose -4*n + 1 + 3 = y. Let t(d) = 13*d**2 + 1. Is t(n) a multiple of 7?
True
Let o = 252 - -1166. Is o a multiple of 72?
False
Suppose 0 = 2*j + 2*k + 4, -k - 8 = 2*j. Let m = 14 + j. Is 5 a factor of m?
False
Suppose 5*n + 2 = 3*n. Is 68 - (1 - n/2)*-2 a multiple of 12?
False
Let k = 90 - 268. Does 12 divide 4 - k*4/8?
False
Suppose 4*m = -2*j + 330, 4*m = j + 2*j + 355. Is m a multiple of 59?
False
Suppose 0 = 4*i - 6*i + 340. Suppose -2*w = -5*q - 187, -3*q - 133 - i = -3*w. Is w a multiple of 19?
False
Let o = 16 + -12. Suppose -2*r + 62 = 2*j, 4*r + o - 76 = -2*j. Suppose 3*m - j - 16 = 0. Is 4 a factor of m?
False
Let y be 3/(-9) - (-815)/15. Is 3 a factor of (-3*1)/((-9)/y)?
True
Suppose -15*z 