et p = -23 - -62. Let j = p - -148. Let u = j + -127. Does 17 divide u?
False
Let v = 32 - 29. Suppose 112 = 5*s - 3*h, -2*s + v*h - 8 = -3*s. Does 20 divide s?
True
Let p(k) = -k**2 + k - 1. Let r(f) = -2*f**2 + 21*f + 14. Let u(l) = 4*l - 1. Let q be u(1). Let d(n) = q*p(n) - r(n). Is 5 a factor of d(-16)?
True
Suppose -190 = -5*a + 190. Suppose 7*k - 932 - a = 0. Is k a multiple of 27?
False
Is 2/5 - 61512/(-220) a multiple of 40?
True
Does 4 divide 17/(-153) - (-5295)/27?
True
Does 5 divide (-7)/3*20/(-6)*9?
True
Let s = 53 + 14. Suppose -s = 2*f - 15. Does 13 divide (-20)/(-2)*f/(-5)?
True
Suppose 24*a = 6169 + 2903. Is 9 a factor of a?
True
Let x = 456 + -296. Is 18 a factor of x?
False
Let x(y) = -321*y - 27. Does 6 divide x(-2)?
False
Does 18 divide 545 - ((5 - (-13)/(-1)) + 3)?
False
Let h(a) = 8*a + 352. Is h(0) a multiple of 22?
True
Suppose -4*w - 4*k = -27 + 203, 0 = 4*w - 2*k + 200. Let t = w + 85. Is 12 a factor of t?
False
Suppose 504 = 23*v - 14*v. Does 12 divide v?
False
Suppose -22 = -s - 4*m, 6*m - m - 21 = 2*s. Suppose 0 = -4*x - 61 - 31. Let r = s - x. Is r a multiple of 7?
False
Suppose 3*k - 4*r = 31, 2*k + 4*r + 6 = -0. Suppose 0 = k*i + 613 - 1773. Suppose 5*h = -5*g + 290, i = 4*h - 0*h - g. Is 29 a factor of h?
True
Suppose -2*l + 12 = 2*l. Let s be l/(-12) - 114/(-8). Let a = s - 2. Is 4 a factor of a?
True
Is 13 a factor of (-3)/(10/((-38640)/18))?
False
Is 64 a factor of (191/(-12) + (-31)/(-124))*-21?
False
Suppose 2*a - 6*a = -2*i + 118, -325 = -5*i - 5*a. Is 4 a factor of i?
False
Suppose -3*b = 11 - 2027. Suppose b = 5*r + 3*r. Is 6 a factor of r?
True
Suppose -54*j + 52*j = 180. Is 18 a factor of -2 + 5 + (-2)/(12/j)?
True
Suppose -4*n = -8, 2*j + 0*j - 5*n = 62. Let y(g) = 52*g**3 - g**2 - g + 1. Let r be y(1). Let d = r - j. Is 7 a factor of d?
False
Is (9360/150)/((-12)/(-400)) a multiple of 26?
True
Let y(p) = p. Let n(j) = j**2 + 7*j + 16. Let i(d) = -n(d) - 5*y(d). Let t be i(-10). Does 5 divide (2 - t)/((-3)/15)?
True
Suppose 5*p + 40 = -5*k, -3*k - p - 14 = -0*p. Is 12 a factor of (k + -9)*(6 + -2)/(-2)?
True
Is (1 - (13 - 442)) + -12 a multiple of 22?
True
Let y(a) = -a**2 + 12*a - 9. Let w be y(11). Does 13 divide w/9 + (-4)/18 + 87?
False
Let c(a) = 10*a**2 + 10*a - 13. Is 21 a factor of c(-15)?
False
Let t(b) = 48*b + 120. Does 28 divide t(8)?
True
Suppose -28*q = -23*q - 1685. Let d = q - 222. Is 23 a factor of d?
True
Suppose -6*d - 10270 = -32*d. Is 5 a factor of d?
True
Let w(q) = q + 2. Let k be w(2). Let z = 146 - 152. Does 4 divide ((-28)/k)/(3/z)?
False
Suppose 3*a + 0 = 6, -5*h - 3*a + 19156 = 0. Is h a multiple of 10?
True
Let o be 5 - ((5 - (0 - 0)) + -2). Suppose o*t + 2*t + 5*b = 158, -2*t + 5*b + 64 = 0. Is t a multiple of 3?
False
Let t(a) = 15*a**2 + 9*a. Is 33 a factor of t(7)?
False
Suppose k = -5*q + 378, -2*q - 612 = -k - 206. Is 10 a factor of k?
False
Let j(p) = 13*p**2 + 14*p + 49. Is j(-5) a multiple of 19?
True
Suppose -47 + 11 = -2*l - 3*p, 3*l - 5*p - 92 = 0. Is 24 a factor of l?
True
Let o be (58 + (2 - 7))/1. Suppose -o*n + 49*n = -28. Is 7 a factor of n?
True
Suppose 896*z - 19800 = 890*z. Is 15 a factor of z?
True
Suppose 40*w - 33*w - 602 = 0. Does 11 divide w?
False
Let q(l) = -l**2 - 9*l - 10. Let g be -10 - -1*6/2. Let h be q(g). Suppose 0*z + 3*z - 4*x = 52, -5*z + h*x = -100. Does 12 divide z?
True
Suppose -4*z - 7708 = -3*i, -3*i + 50*z + 7702 = 52*z. Does 12 divide i?
True
Let c = 13 + 31. Let v(b) = -b**3 + b**2 - 2*b + 5. Let r be v(0). Suppose 36 = r*d - c. Does 8 divide d?
True
Suppose 7*w = 6*w - 13. Let h = 51 - w. Is 32 a factor of h?
True
Suppose 5*y + 36 = -29. Let g = 17 + y. Suppose 107 + 17 = g*u. Does 8 divide u?
False
Let c = -130 + 5. Let x = -85 - c. Is 5 a factor of x?
True
Suppose 5*i + 45 = 5*f, -4*i + 33 = 2*f - 3*i. Let t(v) = v**3 - 14*v**2 + 3*v + 21. Is 21 a factor of t(f)?
True
Suppose t - 139 = -2*t + 2*g, -4*t + 3*g = -187. Let u be (-1 + t)*16/12. Let s = u - 30. Is 13 a factor of s?
True
Suppose -q = k - 1, -q - 3*k = -2 - 1. Suppose 5*d + 55 - 285 = q. Does 14 divide d?
False
Let r(a) = a - 8. Let b be r(8). Suppose b = 4*x + x - 65. Is x a multiple of 3?
False
Let q(m) = 11*m**3 + 5*m**2 - 4*m + 7. Let k(c) = -11*c**3 - 4*c**2 + 3*c - 6. Let v(h) = -6*k(h) - 5*q(h). Let t be v(-2). Does 19 divide t*6*1/(-10)?
True
Let d be ((-2)/(-9))/((-4)/(-36)). Let u(j) = 17*j**d - 11*j**2 + j**3 - 2 + j - 6 + 7. Does 9 divide u(-4)?
True
Let f(y) = 4*y**3 + 2*y**2 - 5*y + 11. Is f(2) a multiple of 13?
False
Let k(z) = -z**3 + 27*z**2 + 14*z - 17. Is k(26) a multiple of 27?
False
Let p be (0 + (-3)/(-6))*14. Let c(t) = 15*t - 6. Let m(q) = -10*q + 4. Let s(a) = p*m(a) + 5*c(a). Is 8 a factor of s(2)?
True
Suppose -11*y + 195 = -80. Is y a multiple of 5?
True
Let p(t) = 455*t - 10. Does 36 divide p(2)?
True
Let t(d) be the second derivative of -7*d**3/6 + 6*d**2 - 6*d. Let m be t(-6). Suppose 68 = 4*s + 3*p, -4*p + m = 3*s - 4. Is s a multiple of 7?
True
Let n = -52 - -52. Is 14 a factor of (-8)/(-4 + n)*(68 + 2)?
True
Let n = -41 + 39. Let a = -2 - n. Suppose 20 = 5*w - a. Does 2 divide w?
True
Let p = -6 + 10. Let m be 127 - 12/16*p. Suppose k + m = 5*k. Is k a multiple of 10?
False
Let n(z) = -z**3 - 5*z**2 - 8*z - 1. Is 11 a factor of n(-6)?
False
Let c(m) = -25 + 9*m + 9*m - 15*m. Let x = -23 + 41. Is 8 a factor of c(x)?
False
Suppose -2*o - 5*t + 5 = 0, -o = 4*o - t - 80. Is 11 a factor of o?
False
Suppose -5*r = 4 - 24. Suppose 10 = -5*q, 3*b + 5*q = r*b - 64. Does 13 divide b?
False
Suppose -5*g - 15 = 0, 5*g - 69 = 5*f - 9. Let u = 11 + f. Is 10 a factor of (-18)/u*28/6?
False
Let l be 2/11 - (-612)/(-99). Let i be (2/(-3))/(l/(-27)). Does 15 divide 16/(-12)*i - -26?
True
Let z be -134*4/(-8) - -1. Let b = z - -87. Is 31 a factor of b?
True
Let d(t) = 3*t**3 - 6*t**2 + 4*t - 3. Let p be d(2). Let o = p - -1. Is o a multiple of 2?
True
Let x(j) = 9*j - 12. Let g be x(-9). Let b = -58 - g. Let h = 53 - b. Is 11 a factor of h?
False
Let y be 1/((-2)/(-6) - 0). Suppose -6*x = -y*x - 15. Suppose 3*n - 5 - 10 = 0, x*q = -3*n + 270. Is 17 a factor of q?
True
Let a(y) = -y**2 - 7*y - 8. Let r be a(-5). Suppose 0 = r*n + 10, 20 = -j + 6*j + n. Suppose 2*f - 3 = -j, -5*f - 25 = -h. Is h a multiple of 5?
True
Let l = 227 + -171. Does 4 divide l?
True
Suppose 2*y - 5 = -2*d + 55, 0 = -3*d + 2*y + 90. Suppose 0 = x - 2*a - 8 + 2, -a - d = -5*x. Suppose -x - 3 = -3*j. Is 3 a factor of j?
True
Let t = -103 - -1154. Is t a multiple of 91?
False
Does 11 divide (55/2)/((54/(-6))/(-18))?
True
Let m = 10 + -6. Let t be 8/3*(-9)/m. Is 358/15 + t/(-45) a multiple of 8?
True
Let u be 2*((-14)/(-4))/7. Is -3 + (30 - -5) - (u + -1) a multiple of 27?
False
Let u(a) = 118*a + 35. Let y be u(4). Suppose -3*x + 330 + y = 0. Is 11 a factor of x?
False
Let x be -7 - (-4)/(-4)*2. Let q = x + 10. Does 5 divide 20/(-8)*(q - 13)?
True
Suppose -3*q = -2*q + 2. Let n(d) = 3*d**2 - d + 6. Let p(b) = -b**2 + b - 5. Let r(w) = 2*n(w) + 3*p(w). Is 6 a factor of r(q)?
False
Suppose -2*t - 266 = -q + 796, 0 = 3*q + 4*t - 3156. Is 66 a factor of q?
True
Let q = 33 - 33. Suppose 96 = 3*z - q*z. Is 32 a factor of z?
True
Let z(m) = -71*m**3 - 4*m**2 - 10*m - 5. Let y(d) = -14*d**3 - d**2 - 2*d - 1. Let f(l) = 11*y(l) - 2*z(l). Let h be f(-2). Is 6 a factor of (10/(-6) - -2)*h?
False
Let a = -524 + 777. Is 15 a factor of a?
False
Let z(u) = -u**3 + 2*u**2 - 7*u - 8. Let j be z(-4). Suppose 0 = 2*i - 0 - j. Is 14 a factor of i?
False
Does 12 divide (463/(-3))/((-12)/9 + 1)?
False
Suppose j = -4, -3*d - 4*j + 1868 - 12 = 0. Does 26 divide d?
True
Let r = 476 - -164. Does 10 divide r?
True
Let w(i) = 267*i**2 + 288*i + 16. Does 89 divide w(-5)?
True
Let m(c) = c**2 + 4*c - 17. Let k be m(-7). Suppose 0*n + 1316 = k*n. Is 33 a factor of n?
False
Let b(h) = -3*h - 47 - 33 + 139 - 46. Does 34 divide b(-7)?
True
Let w(t) = 2*t**2 + 11*t + 7. Let v = -1 - 4. Let f be w(v). Suppose -2*a + 30 = -f. Is a a multiple of 3?
False
Let y be -2 + 2 + (-1 - -7). Suppose -6*l + 4*l + y = 0. Is 11 a factor of l - (0 + 0) - -11?
False
Let b(l) = -58*l + 5. Let u be b(7). Let a = 73 - u. Suppose 5*t + 129 - a = 0. Is t a multiple of 19?
False
Let v(l) = l**3 + 5*l**2 - 7*l - 5. Let p be v(-5). L