Suppose 3*u + 6 = 0, 5*o - 2*u - 59 - 80 = 0. Is 27 a factor of (44 - (2 - -2))*o?
True
Is 19 + -8 + -4 + (2227 - (-3 - -4)) a multiple of 29?
True
Let z(w) = -2*w**3 - 11*w**2 - 8*w - 9. Let o be z(-5). Suppose -318 = -3*t + o*p - 3*p, 4*t - p = 418. Is t a multiple of 13?
True
Is 86 a factor of -5 + 367822/56 + ((-15)/12 - -2)?
False
Suppose t = -3*t + 5*p - 2378, -5*t + p = 2983. Let a = 277 + t. Let f = -172 - a. Is 37 a factor of f?
True
Let n(o) = o**3 - 10*o**2 + 2*o - 2. Let f be n(13). Let v = f + -351. Is v a multiple of 45?
True
Let z(h) = 4561*h**2 - 74*h + 152. Is 17 a factor of z(2)?
False
Let o be 5/(-2)*(1 + 508/(-20)). Let m = o - 57. Does 23 divide (6 + m/(-4))*46/5?
True
Let b = 19212 + -16459. Is b a multiple of 25?
False
Let x be (-51 - -79)/(2/40). Suppose -16*u + 8*u + x = 0. Is 14 a factor of u?
True
Let z(v) = -4*v - 3. Let d(g) = g**2 + 11*g + 8. Let n(s) = 6*d(s) + 17*z(s). Let u be -2*((9 - 9) + 1). Is 25 a factor of n(u)?
True
Suppose -142 + 488 = -2*c. Let z = c - -901. Does 91 divide z?
True
Let p be 4/8*-2*102. Let i = 63 - 111. Let x = i - p. Is 23 a factor of x?
False
Let l(r) be the first derivative of r**2 + 14. Let d be l(0). Suppose 3*h - 18 + 3 = d. Is h a multiple of 5?
True
Let y(c) = c**3 + c**2 + 1. Let s(t) = -7*t**2 + 8*t - 14. Let a(i) = -s(i) + y(i). Let z be a(-9). Suppose 133 = z*v - 293. Is 19 a factor of v?
False
Let v(t) = 1052*t**3 + 2*t**2 + 5*t + 3. Let r be v(-1). Does 6 divide (-18)/63 + (r/(-7))/1?
True
Suppose 3168 + 1028 = -4*m. Let c = -552 - m. Does 6 divide c?
False
Suppose 26*o + 10640 = 34*o. Suppose -4*b = -5*s + 2352, 5*b = -3*s + 96 + o. Is 25 a factor of s?
False
Let u be (16 + -10)/((-2)/88*-2). Let p = 488 - u. Is p a multiple of 29?
False
Let o(p) = 3*p**2 + 0*p**3 + 3*p - 3*p**2 + 4 + 6*p**3. Let t be o(-3). Let x = t - -295. Is 32 a factor of x?
True
Let w = -55 - -65. Let h = w + -15. Let q(x) = 4*x**2 + 10*x - 5. Is 25 a factor of q(h)?
False
Let o = 2935 + -1680. Is o a multiple of 82?
False
Is 6 a factor of 615*12/36*(-138)/(-10)?
False
Is -42*119/102*-63 a multiple of 49?
True
Is 51 a factor of 6/33 - ((-6)/(-9) + 5125620/(-396))?
False
Let q(i) = 43*i**2 + 7*i + 4. Let k(b) = b**2 - b - 1. Let u(x) = 6*k(x) + q(x). Is 18 a factor of u(-2)?
False
Let g be (-76 - -994)*(-4)/2. Let o = -1038 - g. Does 15 divide o?
False
Suppose 0 = 4*i + 4*d + 304, -2*d - 147 = 3*i + 85. Let z = 203 + i. Does 41 divide z?
True
Suppose 0 = 5*a - 5*k - 4070, 3*a - 12*k + 11*k = 2450. Let v = a - 643. Is 35 a factor of v?
True
Suppose 3223 = 5*f - 2*o, 37*f - 2*o = 36*f + 643. Does 129 divide f?
True
Suppose 64*z = 69*z - 2*q - 26202, 5239 = z + q. Does 131 divide z?
True
Let n(v) = 1057*v + 946. Is n(9) a multiple of 10?
False
Suppose 36 = 20*p - 44. Suppose d = 4*z + 900, -3*z - 348 - 3239 = -p*d. Does 32 divide d?
True
Does 4 divide 3041130/1675 + -1 + 14/10?
True
Suppose -3*h + 5*x = -4505, 2*h - 892 = 3*x + 2110. Is h a multiple of 115?
True
Let w = -448 - -455. Suppose 5*a = 3 + 12. Is 8 a factor of (a - (2 - w))*17?
True
Let j be 3/(-15)*0 - -4. Suppose 415 = -l + j*u, -1175 = 3*l + u + u. Let o = l - -640. Does 33 divide o?
False
Let k(q) = -q**3 + 25*q**2 + 71*q + 94. Let b be k(28). Suppose 0 = -c + 4*g - 391, -c = c - 4*g + 782. Let t = b - c. Does 28 divide t?
False
Does 6 divide 300/(-225) - (-8468)/6?
True
Let x = 5443 + -5044. Does 52 divide x?
False
Suppose 2*z - 294 = -5*v + 192, v - 2 = 0. Let w = z - 22. Is 36 a factor of w?
True
Let j be 2/7 - (-446535)/105. Suppose 0 = 4*b - g - j, 4034 = 5*b - g - 1281. Is 18 a factor of b?
True
Let a be (1 + (-4 - 0))/1. Is 13 a factor of (65/10)/((-4)/48*a)?
True
Suppose -107*j + 21599 = -98*j - 91261. Is j a multiple of 60?
True
Let j(y) = -2*y - 41. Let m be j(-11). Let f = 117 - m. Let o = -8 + f. Is 16 a factor of o?
True
Let d(j) = j**3 + 30*j**2 - 8*j - 18. Let a be d(-30). Suppose -3*t + a + 474 = -3*m, 0 = 4*t - 5*m - 926. Does 13 divide t?
True
Let g(p) = 2*p**2 - 28*p + 84. Let n be g(12). Let l = -527 - -1012. Suppose -n*f + l = -31*f. Is 12 a factor of f?
False
Let h be 1 - 0 - (-3 + 5 + -6). Suppose -124 = -4*k - 2*z, k + h*z = -k + 78. Suppose -4*r + 3*n + k = 0, 2*r + 0*r - 5*n - 25 = 0. Is r a multiple of 4?
False
Let v(j) = j**3 + 5*j**2 + 5*j - 7. Let a be v(-5). Let b be ((-2)/(-3) + a/(-6))/2. Suppose -4*z = -3*h + 317, -b*h + 2*z = -h - 208. Is 12 a factor of h?
False
Let i(m) = -1146*m**2 + 1145*m**2 + 12 - 15*m + 4*m. Let a be i(-12). Suppose a = 4*k + 173 - 805. Is k a multiple of 20?
False
Let o be (-2)/3 - (-170)/30. Suppose -2*z + o = -7*z. Is 14 a factor of (z - -2)/(-1) - (-27 + -2)?
True
Let w(z) be the second derivative of -z**5/20 + 11*z**4/12 + 43*z**3/6 + 5*z**2/2 + 48*z. Is w(14) a multiple of 2?
False
Suppose 0 = 4*y - 12. Suppose 0 = -0*q - q - 3, -5*q = y*j + 6. Suppose w = 4*s + 2 + 40, -3*w - j*s = -156. Does 10 divide w?
True
Suppose -3*v + 3*y + 9 = 0, -2 = -v - y + 1. Suppose 62 + 58 = v*m. Is 40 a factor of m?
True
Let p be (6 - 0) + (-6524 - 4)/4. Let o = 2442 + p. Is 34 a factor of o?
True
Suppose -4*z + 1 = -19. Suppose -q + 2*c = 3*q - 946, 0 = 3*q + z*c - 677. Suppose 4*m - 106 = q. Is m a multiple of 27?
False
Suppose -5*t - 2*k - 31 = -132, 2*t + k - 40 = 0. Suppose t*l - 48 = 15*l. Is 4*(-2)/(-16) + 884/l a multiple of 37?
True
Let l be 11 + -12 - (-4 + 0/1). Suppose -l*p = -8*p + 265. Suppose -70 = -x - p. Does 3 divide x?
False
Let y(s) = -18*s**2 + 2*s - 1. Let j be y(1). Let g = -23 + j. Does 7 divide 23/3 - g/(-60)?
True
Suppose 112*u + 3*b = 108*u + 9913, -2*u + 5*b + 4989 = 0. Is u a multiple of 34?
True
Suppose -v - 4*v - 385 = 0. Is 22 a factor of 2/(2 - 1 - 3) - v?
False
Let u = -4632 - -4690. Let b be 633/12 - (-1)/4. Let q = u - b. Is 5 a factor of q?
True
Let d(r) = r**3 + r**2 + 11*r + 143 - 8 - 12*r. Let w = 164 - 164. Is d(w) a multiple of 27?
True
Suppose 5*p = -2*p + 2044. Suppose 0 = 3*x + 3*r + 370 + 65, -4*r = 2*x + p. Let g = -84 - x. Is 10 a factor of g?
True
Let p = 7023 - 7040. Let b(g) be the third derivative of g**5/60 + 5*g**4/8 + 13*g**3/6 - g**2. Is 20 a factor of b(p)?
False
Let o = 26 + -67. Suppose 0 = u - 15 - 36. Let h = u + o. Does 3 divide h?
False
Does 9 divide (-7748747)/(-5201)*(9 - 2/1)?
False
Let t be -88 - (12/48 - 3/12). Does 18 divide 1/(-4) - 17446/t?
True
Suppose -385 = 17*b - 17130. Is b a multiple of 11?
False
Let x(a) = -7*a - 16. Let p = -67 - -63. Let z be x(p). Suppose -z*w = -10*w - 104. Is 52 a factor of w?
True
Let y(n) = -n**3 + n**2 + 4*n - 1. Let b be y(-2). Suppose -4*x - 3*f = -807, -2*f + 600 = b*x + 2*f. Is 17 a factor of x?
True
Is 85 a factor of (-497238)/(-15) - 40/(-50)?
True
Suppose -3*h + 228 + 843 = 3*d, 0 = 3*h - 3*d - 1101. Does 4 divide h?
False
Let a(t) = -t**3 + 28*t**2 + 27*t + 61. Let x be a(29). Suppose x*i = 2*g + 26, -i + 3*g = -0*g - 4. Is i a multiple of 8?
False
Let d = -1509 - -599. Let c = -446 - d. Does 4 divide c?
True
Let n be -3*((-16)/20 - 52/10). Does 61 divide (3/(-3) - -553) + n/(-6)?
True
Let a be -4 + 3/(12/16). Suppose 214*q - 216*q + 246 = a. Is q a multiple of 5?
False
Suppose -5*i = -4*l + 21, -2 = -2*i + 2*l - 3*l. Let f(q) = -284*q - 1. Does 24 divide f(i)?
False
Suppose 707*d - 1848 = 714*d. Let g = d - -334. Does 5 divide g?
True
Let q(l) = 3025*l**2 + 44*l - 45. Does 72 divide q(1)?
True
Suppose 6*a - 10*a + 4*y - 16 = 0, -3*a = 2*y + 12. Is -1 + 3 - -188*(-3 - a) a multiple of 19?
True
Suppose 0 = 137*g - 134*g + 3*w - 32493, 4*w - 32493 = -3*g. Is g a multiple of 12?
False
Suppose -w + 69 = -0*w. Does 15 divide 5/3 + 21620/w?
True
Suppose 4*q = j + 9, -4*j + 7*q - 4*q = -16. Suppose -127 = j*u - 1254. Is 23 a factor of u?
True
Let c(m) = -12*m + 92. Let l be c(23). Let d = 271 + l. Is d a multiple of 5?
False
Is -4 - ((-48922)/20 - (-133)/1330) a multiple of 51?
False
Let x(h) = 5314*h - 2370. Does 39 divide x(3)?
True
Let r = -74 + 116. Let p = -42 + r. Suppose p = 4*c - 96 - 104. Is 4 a factor of c?
False
Suppose 3*j = -5*b + 7, 5*j + b = -0*b + 19. Suppose 4*q = -j*q + 40. Suppose k - 3*g + 4*g = 59, -4*g + 292 = q*k. Is 7 a factor of k?
True
Let z = -89 - -74. Let a be (1 - (-33)/z)*-90. Suppose -x = -5*l - 115, 3*x - a = -2*l + 203. Is x a multiple of 21?
True
Let u