tor of (-558 - r)*(-15)/(-5)*-1?
True
Let u = -27340 + 57909. Does 11 divide u?
True
Let t = -474 - -474. Let a(s) = s**2 - 30*s + 21. Is a(t) a multiple of 6?
False
Let c(w) be the first derivative of 19*w**3/3 + w**2/2 + 2*w + 7. Let d be c(-5). Is 5 a factor of (-10)/(-75) + d/60?
False
Is ((-1065)/20)/(-2 - 785/(-400)) a multiple of 3?
False
Let c(b) = 162*b**2 - 9*b. Let g be c(2). Does 7 divide (6/(-5))/((-12)/g)?
True
Suppose 64 = 5*h + 39. Suppose 3*v + h*b - 56 = 0, v - 2*v - 2*b = -20. Is 40 a factor of (-4 + (-44)/(-8))/(v/344)?
False
Suppose -15*d = -9145 - 80. Suppose -64*v - d = -67*v. Does 12 divide v?
False
Let p(y) = y**2 + 13*y + 16. Let x be p(-11). Let a be (1/(-1))/x - (-274)/12. Is 6 a factor of 23/1 - (a - 2)/(-7)?
False
Let n be 1/((-42)/15 + 3). Let b = 11 - n. Is 17 a factor of b*(-3)/6 - -54?
True
Suppose 0 = 4*a + a + 2*s - 95, a - 3*s = 36. Suppose 24*v = a*v - 9. Let q(j) = 5*j**2 - 3*j - 5. Is q(v) a multiple of 5?
False
Let o be (-4)/26 - (-249)/13. Suppose -18*t + o*t + 24 = 0. Is 10 a factor of 7 - 9 - (-5)/((-5)/t)?
False
Suppose 2*o - a - 1460 = 0, -33*o - 2*a + 3632 = -28*o. Does 28 divide o?
True
Let a(f) = 19*f + 7. Suppose i = 6*i - 45. Let g be a(i). Let d = g + -100. Is d a multiple of 40?
False
Does 9 divide ((-155)/(-93) - 2/3)*5328?
True
Suppose 0 = 11*u - 5*u + 24. Let w = 8 + u. Suppose w*b - 2*b - 352 = -3*y, -236 = -2*y - 2*b. Is y a multiple of 31?
False
Let q be 718/(-4) - (-4)/(-8). Let r = q - -480. Suppose -3*x + 3*f + r = -0*x, 298 = 3*x - f. Is 11 a factor of x?
True
Suppose -5*s - 124 = -2*r, 0 = -5*s + 3*s - 5*r - 67. Let y(a) = -19*a - 170. Is y(s) a multiple of 21?
False
Let j(n) = 2994 + 2*n - 6001 + 2*n**3 - 7*n**2 + 3006. Suppose 0 = 5*t - 25. Is 12 a factor of j(t)?
True
Let p(d) = -30*d - 152. Let w be p(-5). Does 4 divide (-5 - (-80 - w))/1?
False
Suppose 19*r - 55*r = -59544. Is r a multiple of 16?
False
Suppose -5*n = -4*j - 9543, 23*j - 26*j - 7155 = -3*n. Let t = 3480 + j. Does 70 divide t?
False
Suppose -2*s = -2*f - 0*s + 2, -3*s - 8 = -4*f. Suppose -4*g = 4*n - 12, -5*n = -g + 20 - f. Is 24 a factor of (-88 - (5 - 2))/(1 + n)?
False
Let i be 6*(14 + -4 - -4). Let v be (-8)/16 + 166/(-4). Let a = v + i. Is 38 a factor of a?
False
Suppose -q = f - 16, 7*f - 4*f = 2*q + 33. Suppose -9*a + f*a + 4 = 0. Is 18 a factor of (-12)/(2/11*a)?
False
Does 70 divide (-4)/66 - (-296050320)/11880?
True
Let z(b) = b**3 + 6*b**2 - 5*b + 15. Let j(v) = v**2 + 16*v + 8. Let n be j(-15). Let o be z(n). Does 14 divide o/3 - (-249)/9?
True
Let w be (-22236)/(-15) + 21/35. Suppose -21*a - w = -9127. Is 13 a factor of a?
True
Suppose s = -17*t + 18*t + 5180, -5*t - 5152 = -s. Is 19 a factor of s?
True
Let o be (35/10 + -3)/(6/19404). Suppose -4*q + o = 3*b, 403 = q - b + 2*b. Does 24 divide q?
True
Suppose -7*v + 12*v = 24*v - 40375. Does 25 divide v?
True
Suppose -69*d - 15232 = -77*d. Let q = -968 + d. Is 45 a factor of q?
False
Let m(p) be the first derivative of -p**3/3 + p**2/2 + 61*p + 74. Does 5 divide m(0)?
False
Let u = -37972 + 56809. Is u a multiple of 69?
True
Let p = 593 + 1517. Is p a multiple of 19?
False
Let p(z) = -z + 260. Suppose t - 2*j = -0 - 1, -2*t + 3 = j. Let x be -1*(-1 - t - -2). Is 13 a factor of p(x)?
True
Suppose -7*o - 75 = -187. Suppose -5*t = -20, -o*t = 5*y - 17*t - 1456. Is 40 a factor of y?
False
Suppose 4*v - 95139 - 6475 = -5*a, -4*v + 20342 = a. Does 164 divide a?
False
Let b(q) = -q**2 + q - 2. Let l(n) = 2*n**2 - n + 3. Let a(f) = 5*b(f) + 3*l(f). Let y be a(1). Let z(t) = 20*t - 8. Is z(y) a multiple of 4?
True
Let x = 9268 - 9161. Is x a multiple of 38?
False
Suppose -19 = -2*o - 15. Suppose -5 + 13 = o*g. Suppose -4*b + 2*b = -5*q + 598, g*b = 3*q - 370. Is q a multiple of 15?
False
Let j be (7 - -2)/(11/((-66)/(-18))). Suppose 624 = -o + 3*o - 5*m, 3*o - j*m - 954 = 0. Does 14 divide o?
True
Let i(g) be the third derivative of -23*g**4/3 + 3*g**3 - 15*g**2 - 2*g. Is i(-3) a multiple of 57?
True
Let s(l) be the second derivative of -l**4/12 - 11*l**3/3 - 3*l**2 + 25*l. Let n be s(-22). Let q(z) = -z**3 - 6*z**2 - 4*z - 7. Does 4 divide q(n)?
False
Let s = 16550 + -10030. Does 10 divide s?
True
Let n(v) = 183*v - 1128. Is n(50) a multiple of 18?
False
Let a(d) = 1347*d - 186. Is a(4) a multiple of 12?
False
Suppose 5*i - 3*i + 974 = 3*y, 4*y - i = 1297. Suppose -2*g + y = 16*g. Is 5 a factor of g?
False
Let v(t) = -5*t**2 + 3*t - 3. Suppose -3*w - 12 = 0, u + 2 + 3 = -4*w. Let k(r) = 14*r**2 - 8*r + 9. Let y(j) = u*v(j) + 4*k(j). Does 11 divide y(-6)?
True
Let s be (1 + 1)*(-23)/(-23). Suppose -247 = -11*y - s*y. Is y a multiple of 2?
False
Suppose 0 = -0*y + 4*y - b - 20, 0 = 4*y + 3*b - 20. Suppose t - y*m - 14 = 0, -2*m + 2 = t - 3*m. Does 11 divide (t + 2 - 4) + 22?
False
Suppose 2*b - 22 = -4*d + b, 5*b - 15 = -d. Let u = -2 + d. Suppose -2*w - 5 = -w, -u*q = -3*w - 99. Is 25 a factor of q?
False
Let g be (0 - (-14)/49)*7. Suppose -159 = -g*c - 47. Is c a multiple of 4?
True
Let w(q) = -q**3 + 43*q**2 + 184*q - 164. Is 61 a factor of w(46)?
True
Let u(w) = -95*w - 1400. Is 67 a factor of u(-58)?
False
Let f(c) be the first derivative of -c**3/3 - 17*c**2/2 - 32*c - 9. Let z be f(-14). Does 20 divide 45/((-14)/(-40) + (-2)/z)?
True
Let g be (42/(-3))/(4 - 2). Let x be (0 + 1)/(g/(-196)*7). Suppose 180 = 2*d + 2*i, 264 = 3*d - x*i + i. Does 18 divide d?
False
Let d(u) = -4*u - 186. Let h be d(24). Let x = h + 890. Is 55 a factor of x?
False
Let i(s) = -2*s - 2. Let w be i(-3). Let h = -2773 + 2788. Suppose 149 = w*n - h. Does 11 divide n?
False
Let t = 44 - 27. Let c = -41 + 42. Suppose -c = 4*m - t. Is 3 a factor of m?
False
Let j be -16 + 15 - (0 - 2). Let n(x) = 4*x**3 - 1. Let k be n(j). Suppose z - 104 = -5*r + k*z, z + 107 = 5*r. Does 8 divide r?
False
Is 10 a factor of 7 + 4300 + -12 + 5/1?
True
Suppose 0 = 244*b + 28*b - 1230759 + 37767. Does 43 divide b?
True
Let z = 3892 + 68. Is z a multiple of 20?
True
Let s(x) = -x**3 + 8*x**2 - 14*x - 7. Let r be s(5). Is ((-1555)/(-10))/(r/(-4)) a multiple of 4?
False
Does 4 divide (-24449)/(-690)*5 + (-2)/12?
False
Let t(b) = 2*b**3 - 46*b**2 - 14*b + 4. Let j(z) = -z**3 - z**2 - 2*z - 1. Let s(q) = 4*j(q) - t(q). Does 3 divide s(7)?
False
Let i = 60 - 30. Let j be (-4668)/(-111) - (-80)/(-1480). Let m = j - i. Is 7 a factor of m?
False
Let b be ((-3)/(-12))/((-5)/(100/5)). Let s(o) = 6*o**3 - 7*o**2 - o + 2. Let i be s(-6). Does 10 divide i/66*b/((-1)/(-3))?
True
Let y = 69 - 65. Suppose y*d - 3*k - 7 = 24, -2*d - k = -13. Let o = d - -71. Is 39 a factor of o?
True
Let i(w) = -w**3 - 20*w**2 - 16*w + 17. Let f be i(-19). Let l be 16/6 + (7 - f/(-6)). Is (65 + -3 - l) + (3 - 2) a multiple of 5?
True
Let u(s) = s + 1. Let j(w) = w**2 - 5*w + 5*w + 3*w - 153 - 17. Let v(i) = -j(i) - 2*u(i). Is v(0) a multiple of 11?
False
Let p be 2/(-3) - 56/(-21). Suppose -5*j = 4*i - 37, -2*j + 1 = -3*j + p*i. Suppose -j*g + 394 = -76. Does 22 divide g?
False
Suppose -6*d = -12 - 0. Suppose d*s + 7 = r, -s = -2*r + 9 + 2. Is 6 a factor of (-21)/14*2 - (-62 + s)?
True
Suppose 5*o - j - 1117 = 0, 4*j - 6*j = -o + 218. Suppose -1636 = -3*m - 4*r, 0 = -m - r - 0*r + 545. Let i = m - o. Is i a multiple of 43?
False
Suppose 46 - 10 = -3*q. Let s be (10/4)/(63/q - -5). Let j(w) = w**3 + 10*w**2 - 2*w + 6. Is j(s) a multiple of 26?
True
Let m(z) = -z + 29. Suppose -4*f + 5*r + 41 = 0, 2*f - 4*r - 2 - 14 = 0. Let p be m(f). Suppose 5*t = p, t + 24 = 2*u - 7. Does 17 divide u?
True
Let i be (-14)/(-8) - (-57)/228. Suppose 4*u + 5*t - 442 = 0, 226 = 2*u + i*t + 3*t. Is u a multiple of 3?
True
Let r = -54065 - -77517. Is 151 a factor of r?
False
Let i be 3393 + -1*1*-2. Let w = 1041 - 1039. Does 16 divide (-1)/w + (i/10)/7?
True
Let u(s) = 6*s**2 - 4*s + 2. Let k be u(1). Suppose 27 - 39 = -k*l. Suppose -l*m + 11*m - 200 = 0. Is m a multiple of 2?
False
Suppose -37*o + 7013 = 1833. Is o a multiple of 5?
True
Suppose -2*b = 3*s - 1, -3*b - 4*s = -2*s - 14. Let w be (b/12 - 1) + (-1443)/(-9). Suppose -45*m + w = -40*m. Is m a multiple of 4?
True
Let l be (40/(-105))/4 - (-157340)/84. Let m = l - 1228. Is m a multiple of 43?
True
Let p(d) = 103*d**2 + d - 12. Does 8 divide p(4)?
True
Suppose -7*y = -9 - 264. Does 10 divide (-13