0. Suppose -u = -r + 12. Does 6 divide r?
False
Does 3 divide 1020/357*(0 + 21)?
True
Let b be (-7 + 4)/(6/(-8)). Suppose -i = -5*m - b*i + 19, -5*m = 2*i - 16. Suppose m*t - 53 = -3. Is t a multiple of 11?
False
Suppose 3*g + 5*q - 2*q - 24 = 0, 0 = -5*q. Suppose -g*v + 1270 = -3*v. Is v a multiple of 29?
False
Let o = 30 + -16. Let x(g) = 2*g + 6. Is 17 a factor of x(o)?
True
Suppose -5*a + 2*a - 9 = -y, 2*a - 22 = -4*y. Suppose -y*o = -4*o - 62. Is o a multiple of 31?
True
Is 29 a factor of 30/4*((-1160)/6)/(-5)?
True
Suppose 13*s + 4275 = 22*s. Does 19 divide s?
True
Suppose 2*d - 12 = -0. Suppose -h + d*h - 100 = 0. Is 2 a factor of h?
True
Suppose -6*l - 20 = -2*l, l = 5*r - 5. Let s be ((-32)/(-4))/4 - r. Suppose 0 = s*a - 41 - 57. Is a a multiple of 14?
False
Let x = 285 - 139. Let o = x - 122. Is o a multiple of 6?
True
Suppose 3*y = 16 + 8. Let u(w) = -5*w**3 + y*w**3 - 8 - 2*w**3 - 7*w**2 - 6*w. Is u(8) a multiple of 4?
True
Suppose 15*x + 23*x = 23712. Is 37 a factor of x?
False
Does 19 divide (-1)/(-2)*2052/(17 - 8)?
True
Let b(j) = j**2 + 10*j + 18. Let d be b(-8). Suppose -d*o + 111 = 39. Does 8 divide o?
False
Suppose -w + 2*x = 1 - 4, -3*x = -w + 3. Suppose -w*v = 89 - 359. Is v a multiple of 18?
True
Is (-6)/9 - 7161/(-9) a multiple of 15?
True
Let u = 275 + -192. Suppose 0 = -5*f + u + 407. Is 14 a factor of f?
True
Is 30 a factor of (-30)/(-2 + 1*(4 - 3))?
True
Let h(q) = -2*q**2 + 20*q + 3. Let a be h(10). Let j(z) = 8*z**2 + 6*z - 6. Does 12 divide j(a)?
True
Is (-13)/(78/(-36)) - -173 a multiple of 11?
False
Let i = 2824 - 937. Is i a multiple of 13?
False
Suppose -2*v - 2*q = -10, 0*q - 13 = -2*v - 3*q. Suppose -v*p - r + 60 = 0, -r + 104 = 3*p + 4*r. Is p a multiple of 7?
True
Suppose 4*f + 2*p = 10, p - 15 = 2*f + 6*p. Suppose 118 = 5*h - 3*q - 330, f*h = q + 456. Is 18 a factor of h?
False
Let r be 0 - 9*6/(-9). Let b = -42 - -78. Is 6 a factor of 40/r*b/24?
False
Is 12 a factor of (-458)/(-19) - 10/95?
True
Let z(h) = 1 - 6*h + 3 + 2. Let b be z(9). Is ((-15)/(-1))/((-18)/b) a multiple of 10?
True
Let w(b) = -b**2 + 27*b + 9. Does 5 divide w(21)?
True
Let y = -7 - -13. Suppose 3*q = 6*q + y. Is 30 a factor of 70 - (-4 + 5 + q)?
False
Is 70 a factor of 1107 + -13 + (-7 - -1)?
False
Let k(b) = -356*b - 73. Is k(-2) a multiple of 100?
False
Suppose -3*y + 875 = 2*s, 3*s = -2*s + 2*y + 2140. Let t = s + -105. Suppose -4*x = x - t. Is 13 a factor of x?
True
Let v(u) = -u**3 + u**2 - u + 23. Let q be v(0). Suppose -2*i = -q - 47. Is 5 a factor of i?
True
Suppose -2*s = 3*z - 12, -2*s + 4*z + 0*z - 16 = 0. Suppose 3*v = -2*d + 143, s = -2*v - 2. Does 11 divide d?
False
Suppose 0*d - 2*a - 10 = d, 25 = -d - 5*a. Suppose l + d*l = 130. Is l a multiple of 19?
False
Suppose 12*v = 2569 + 1691. Let g = v - 205. Is 30 a factor of g?
True
Suppose n + n = 6. Suppose -n*b + 79 = -8*o + 4*o, -5*o + 4*b = 100. Let h = o + 42. Is 13 a factor of h?
True
Let t(n) = -61*n**3 - 4*n**2 - 4*n - 4. Does 14 divide t(-2)?
True
Suppose 2*z + 2 = 0, -3*t + 2*z + 10 = -t. Suppose -t*q + 8*q - 4 = 0. Let s(f) = 19*f**3 - 1. Is 9 a factor of s(q)?
True
Let t be 1*(-2 - (1 + 0)). Let o be ((-1)/3)/(t/306). Suppose 2*g = g + o. Is 21 a factor of g?
False
Let o(t) = 7*t - 3 - t + 0 - 3*t**3 - 6*t**2. Is 16 a factor of o(-5)?
True
Let y(j) = 8*j**3 + 3*j**2 + 3*j + 6. Let i be y(-3). Does 6 divide i/(-9) - (-12)/18?
False
Let z(b) = -b**3 + 21*b**2 - 60*b - 12. Is z(16) a multiple of 8?
False
Suppose 2*z = -0 + 4. Suppose -o = -3*d - 10, -o = 3*o + z*d + 30. Let l(u) = -3*u + 5. Does 10 divide l(o)?
True
Let a = -17 + 14. Does 12 divide (-732)/(-8) + a/2?
False
Suppose 0*d = -5*d - 4*b - 1, 28 = 4*d - 4*b. Suppose -9 = -d*r + 3. Suppose 3*l = 5*l - 6, r*c - l - 89 = 0. Is 8 a factor of c?
False
Let s be 2/(2/(-8) - 0). Let d(n) = -2*n + n - 2*n + 2*n + 10. Is d(s) a multiple of 9?
True
Let t(z) = 5 + 4 - 6*z + 0. Suppose -a - 2 = 4. Is t(a) a multiple of 10?
False
Let x(j) = -j**3 + 11*j**2 - 9*j - 10. Let b be x(10). Suppose -4*f + f - 206 = -5*c, b = 5*c - 5*f - 210. Suppose m = c - 4. Is m a multiple of 18?
True
Let u(c) = c**3 + 5*c**2 + 1. Let l be u(-5). Let d = 37 + l. Suppose -2 = 4*q - d. Is q a multiple of 4?
False
Suppose 0 = 5*y - 3*p - 1200, 4*y - 2*p = 3*p + 960. Is 15 a factor of y?
True
Let x(c) = c**3 + 34*c**2 - 2*c + 296. Is 28 a factor of x(-32)?
True
Let d be 37 + 3 + (5 - 1). Let i = 64 + d. Is i a multiple of 4?
True
Let t(r) = -r**2 - 5*r + 7. Let g be t(-6). Let p(u) = 5*u**2 + g + 20*u - 3*u**2 - 13*u + 5. Is p(-6) a multiple of 12?
True
Let l = -48 + 46. Does 4 divide l/(-4) + 11/((-22)/(-15))?
True
Suppose -770 = -4*p + 4970. Is 36 a factor of p?
False
Let b(z) = z + 2. Let i be b(4). Let y = 227 - 302. Is 5 a factor of (8/(-5))/(i/y)?
True
Suppose 2*k - 10 = 0, 0 = h - 4*k + 24 - 5. Does 3 divide h*-27*(8 - 9)?
True
Suppose 24*i - 9*i = 15990. Does 13 divide i?
True
Let a(f) = 126*f**2 - f - 1. Let w(k) = -2*k + 19. Let p be w(10). Let h be a(p). Suppose y - 24 = 2*m - h, -m - y = -51. Does 7 divide m?
False
Let q(z) = -5 + 1 - 5*z - 4. Let c be q(8). Let x = c + 90. Does 15 divide x?
False
Suppose 5*f + f = 282. Suppose f = m - 15. Is 10 a factor of m?
False
Suppose 0 = -4*m - 5*o + 2*o + 6, -m - 2*o + 4 = 0. Suppose m = 4*h - h. Let n = 11 + h. Is 4 a factor of n?
False
Does 49 divide ((-7350)/(-12))/((-6)/(-12))?
True
Let l be (-16)/(-3)*(81/(-12))/(-9). Let o(q) = 4*q**2 + 9*q - 4. Is 6 a factor of o(l)?
True
Suppose 9*z = -1206 + 4896. Does 6 divide z?
False
Let w(d) = -30*d**3 + 2*d**2 + 50*d + 92. Is w(-2) a multiple of 24?
True
Let v(k) = 4*k**2 - 9*k + 5. Let m be v(19). Suppose m = 6*y + 414. Is 36 a factor of y?
True
Let y = 9 - 7. Let t(k) = -8 + k**y + 2*k + 0*k**2 - 6 + 8*k. Does 4 divide t(-12)?
False
Let m = -56 - -56. Suppose -3*v - 2*t + 356 = m, v - t = -3*t + 116. Does 15 divide v?
True
Let y be (-936)/(-45) - (-2)/10. Let i = -17 + y. Suppose 4*x - 36 = -m + i*m, -m - 27 = -3*x. Is x a multiple of 9?
True
Let x = 26 + -25. Let q(r) = -r**3 + 7*r**2 + 8*r + 2. Let v be q(8). Is (v - x) + 1 + 50 a multiple of 13?
True
Suppose 0 = 8*q - 182 - 50. Does 10 divide q?
False
Suppose -4*b - 1327 = -5*x + 865, 0 = -4*x - 4*b + 1732. Is 32 a factor of x?
False
Suppose -281*j - 3072 = -284*j. Does 32 divide j?
True
Let l(p) = -p**2 + 13*p - 10. Let w be l(12). Suppose w*y + 3*y + 4*j = 1600, j = 4*y - 1280. Suppose -4*f - f + y = 0. Is 16 a factor of f?
True
Suppose 0 = 43*c - 39*c - 1316. Does 40 divide c?
False
Suppose -c = 5*b + 36, 4 = 2*b - c + 6*c. Let p = b - -57. Is 7 a factor of p?
True
Let s(n) = 29*n + 2. Let z(h) = -h**3 + 6*h**2 - 5*h + 2. Let y be z(5). Is s(y) a multiple of 10?
True
Suppose 4*s = 2*s + 240. Suppose 0 = 3*x + 5*q - 26, -3*q + 10 = -3*x + 2*x. Suppose x*p = -p + s. Does 20 divide p?
True
Let j = 3 + 171. Is 6 a factor of j?
True
Suppose -47*u + 20 = -52*u. Let k(v) = -v**3 - 4*v**2 + v + 16. Is 6 a factor of k(u)?
True
Is 1665/18*108/15 a multiple of 74?
True
Let o = -315 - -450. Is o a multiple of 9?
True
Let j(s) = 35*s**2 - s + 1. Let i be j(-1). Suppose -4*x - 400 = -5*d, -4*d = x + i - 378. Is 15 a factor of d?
False
Let y = 711 - -109. Is 44 a factor of y?
False
Is (0 + 5)*(6 + -4 + 63) a multiple of 25?
True
Let w = 272 - 169. Let l = w - 57. Let x = l + -16. Is 9 a factor of x?
False
Is 10 a factor of 19/((-57)/(-504)) - (1 - 3)?
True
Suppose 3*z - 7*z - 2*o + 12218 = 0, 4*z - 2*o - 12206 = 0. Is 43 a factor of z?
True
Let h(t) be the second derivative of -t**5/20 - t**4/2 + 3*t**3/2 + 11*t**2/2 - 11*t. Let a be h(-7). Is 30 a factor of (a + 1 + -1)*-40?
True
Is 10 a factor of 3/(2/5 - 872/2280)?
False
Suppose -5*z = -0*z - 315. Let m = 77 - z. Is 4 a factor of m?
False
Suppose -14*y + 10*y = -4. Is (y/(4/129))/(6/16) a multiple of 50?
False
Suppose 42*w = 74*w - 38048. Is w a multiple of 41?
True
Suppose 3*j - 14 = 4*g - 4, -3*j + 9 = -3*g. Let x(v) = 96*v**2 - v - 2. Is x(g) a multiple of 19?
True
Let z = 436 - 276. Let y = 358 - z. Is 11 a factor of y?
True
Suppose -73976 = -12*z - 16*z. Does 56 divide z?
False
Suppose 0 = -5*i + 4*i. Suppose -5*s + 1 - 11 = i. Does 9 divide (39/(-6) - s)*-2?
True
Suppose 165*v = 166*v - 300. Is 5 a factor of v?
True
Suppose 0 = -16*k +