 2 = -w - 4*x, -40 = -3*w - 2*w + d*x. Is 14 a factor of s(w)?
False
Suppose 5*r + 4*h = 1204, 0 = 2*h - 7*h - 20. Suppose -3*s - 37 + r = 3*t, 4*t = 2*s + 294. Suppose 0 = 2*v - 5*v + t. Is 6 a factor of v?
True
Let v be (-12)/(-42) + (-24)/(-14). Suppose -v*x = -4*x + 304. Suppose 0 = -3*z + 64 + x. Is 23 a factor of z?
False
Suppose b + b = -u + 161, -16 = -4*b. Does 9 divide u?
True
Let i(l) = 10*l**2 - l + 65. Does 29 divide i(0)?
False
Let c = 137 + -47. Does 10 divide c?
True
Let r be (-28)/(-140) - (-3812)/(-10). Let k = -222 - r. Does 10 divide k?
False
Let s be (-90)/2*48/(-10). Suppose -4*m + 3*d + s = d, -3*m = -5*d - 176. Is m a multiple of 36?
False
Let g = 69 - 26. Suppose g*y + 75 = 46*y. Let d = y - 11. Is 4 a factor of d?
False
Let b = -31 - -35. Suppose -38 = -4*t + b*l + 38, 4*t + l - 96 = 0. Is 6 a factor of t?
False
Let u(f) = -f - f + f + 0. Let o be u(-4). Suppose -o*z + 63 = -1. Does 3 divide z?
False
Suppose 2*c - 1320 = -5*l, 2*l - 1958 = 110*c - 113*c. Is c a multiple of 50?
True
Let m = -61 - -89. Let n = 13 + m. Suppose -5*j = n - 191. Is j a multiple of 10?
True
Let t be -6*28/(-24) - 69. Suppose -17 + 419 = 3*f. Let m = f + t. Does 18 divide m?
True
Suppose 0 = -5*p - k - 1279, -447 = 3*p + 2*k + 326. Let y = 172 + p. Let o = -40 - y. Is 11 a factor of o?
False
Let a(p) = 2*p + 3. Let l be a(0). Suppose 0*k - l = 3*k, 0 = 4*d + k - 47. Is d a multiple of 3?
True
Suppose 0 = -0*g - 3*g - 87. Let x = g - -89. Is 12 a factor of x?
True
Let c = 199 + -151. Is 4 a factor of c?
True
Let h = 15 - 12. Suppose 94 = -h*z + 5*z. Let t = z - -21. Is 17 a factor of t?
True
Suppose -4*h + 0*h = 4*w - 40, w + 2*h = 10. Let t(m) = m**2 - 2*m + 1. Is t(w) a multiple of 17?
False
Suppose 12*o = 34*o - 264. Suppose 0 = 5*z + 5*y - 10, 10 = z + 4*y + y. Suppose -3*s - o = z, 75 = 4*b - 4*s - 41. Is 8 a factor of b?
False
Let n(t) = 7*t**2 - 3*t + 4. Let l be n(4). Let z = l - 53. Is 8 a factor of (-4)/(-6)*z - 2?
True
Suppose 2*n + 0*n - 31 = k, 3*k - 51 = -2*n. Suppose -v - s = 1 - 7, -3*v - 4*s = -n. Does 11 divide (v + -5)*11/1?
True
Suppose d = 5*m + 138, 4*m + 55 + 51 = 3*d. Let h = -9 - m. Is h a multiple of 15?
False
Let x = 35 + -5. Let q = 271 + -271. Suppose q*y = y - x. Is y a multiple of 7?
False
Suppose 4*c = 10*c. Let t(r) = -r**2 + r + 17. Does 17 divide t(c)?
True
Suppose 1537 + 1023 = 5*g + 2*y, 0 = 2*y. Is 15 a factor of g?
False
Is (-14 - 594/(-45)) + (-504)/(-5) a multiple of 3?
False
Let w(y) = 199*y - 176. Does 51 divide w(5)?
False
Suppose 0 = 5*y - 0 + 5. Let n be (y/(-3))/(2/12). Suppose -121 = -2*r - 5*p, p + 118 = n*r + 3*p. Is 29 a factor of r?
True
Let d be -23 + (6/(-15) - (-6)/(-10)). Is 18 a factor of (324/d)/(1/4 + -1)?
True
Suppose -6*w + 26 = -8*w. Let a = w + 21. Suppose a*s - 18 = 7*s. Does 6 divide s?
True
Let x = 931 - -842. Is x a multiple of 23?
False
Suppose 0 = -5*w + 28 - 3. Suppose 0 = -w*i, -5*h - 1 = -i + 4. Does 19 divide (-22 + 3)/(h/2)?
True
Let l be ((234/2)/(-3))/1. Let h = l + 57. Is 21 a factor of 12/h*498/4?
False
Let q be 3/(-1) + 2 + 1 - -145. Suppose 4*a + 220 = 5*c, -3*a + 8*a = 3*c - q. Is 16 a factor of c?
False
Let b(u) = -29*u + 38. Is b(0) a multiple of 4?
False
Let z = 276 + 74. Suppose -5*b = 2*b - z. Does 15 divide b?
False
Suppose -6380 = -3*q - 19*q. Is 25 a factor of q?
False
Let l(q) = -q + 34. Suppose 5*g - 29 = 3*g + 5*d, 26 = 3*g - 4*d. Let u(p) = p**3 + p**2 + 2*p. Let n be u(g). Is 3 a factor of l(n)?
True
Let q = -15 - -17. Suppose 4*y - 384 = q*y. Is 12 a factor of y?
True
Suppose -5*h - 3*q + 20 = -8*q, -2*q = -3*h + 11. Suppose 0 = -h*s - p - p - 12, -5*s + 5*p + 5 = 0. Let g = 20 - s. Does 8 divide g?
False
Let w(f) = -15*f + 103. Does 16 divide w(-39)?
True
Let y = 1051 + -890. Is y even?
False
Suppose -7 = -2*u + 37. Is 7 a factor of (-1886)/(-18) + u/99?
True
Let n(j) be the third derivative of 0 - 2*j**2 + 0*j + 1/24*j**4 - 1/120*j**6 + 7/6*j**3 + 1/60*j**5. Is 4 a factor of n(0)?
False
Let q(c) = 100*c. Let n = -20 + 22. Is 40 a factor of q(n)?
True
Suppose 5*i + 7 = -2*x, -2*i + 0*x - 5 = 3*x. Suppose 4*q - 3*g - 6 = q, g = 3*q + 2. Does 2 divide i*(-1 - q)*-11?
False
Let o(p) = -p**3 + 4*p**2 - 3*p. Let d be o(2). Suppose -91*j + 10 = -86*j. Suppose 20 = 5*m, -j*m - m + 34 = d*a. Is a a multiple of 5?
False
Let o be (9/(-6) + 2)*(-2 - -4). Let c(t) = t**3 - t - 1. Let d(l) = 26*l**3 - 5*l - 6. Let q(x) = -6*c(x) + d(x). Is q(o) a multiple of 8?
False
Suppose -4*a + 0*a = -32. Suppose 0 = 7*l - 3*l - 4. Is 45 + -4 + a - l a multiple of 8?
True
Let d(j) = -2*j - 2. Let r be d(-2). Let b(v) = 6*v**2 + 1 - 9 - 13*v - 5*v**r. Is b(17) a multiple of 12?
True
Is 18 a factor of ((-2275)/21 + -4)/(1/(-18))?
False
Suppose -5*u - 2*n = -6*n - 1384, n + 277 = u. Let q = u + -131. Is q a multiple of 10?
False
Suppose 26*r = 38*r - 6300. Is 15 a factor of r?
True
Let f(b) = -b**2 + 50*b + 30. Does 9 divide f(21)?
True
Let z(b) = b**3 + 4*b**2 - 5*b + 1. Suppose 5*f - 59 = 2*s, 0*f = -4*s - 3*f - 79. Let t = 18 + s. Is 14 a factor of z(t)?
False
Let w = 98 + -90. Suppose -3*q = -4*s + 173, -w*s - 4*q = -4*s - 208. Is s a multiple of 14?
False
Let x(p) be the third derivative of -p**5/60 - p**4/4 + 5*p**3/6 + 3*p**2. Let q be x(-4). Suppose 0 = 5*n - 2*o + q - 107, -o - 17 = -n. Is 10 a factor of n?
True
Let l = 8 + -12. Let w = l + 12. Suppose -3*a + w + 10 = 0. Is a even?
True
Let k(m) = -2*m + 47. Let w be k(6). Suppose -3*c - o - 1 + w = 0, -2 = o. Is 4 a factor of c?
True
Let w = -1 - -3. Suppose -o - 107 = -w*c, -3*c - 5*o + 28 + 126 = 0. Let g = -32 + c. Does 15 divide g?
False
Let v be (-9 - -99) + (-6)/2. Suppose 3*k = -2*g + 60, 4*k - 2*g + 7*g = v. Let f = k - -11. Does 29 divide f?
True
Let j = -692 - -1261. Does 3 divide j?
False
Let k(x) be the first derivative of 53*x**4/2 + 2*x**3/3 + x**2/2 - x - 2. Let p be k(-1). Let s = -46 - p. Does 20 divide s?
True
Suppose 2*t = -0*t + 10. Suppose 3*w = 5*l + 11, 3*w + 21 = -t*l + 2*l. Let b = 15 - w. Is b a multiple of 12?
False
Let l be 1056/104 - (-2)/(-13). Let c = l + -4. Let d(g) = 2*g**2 - 6*g + 6. Is 9 a factor of d(c)?
False
Let t(m) = m**2 - 13*m - 13. Suppose 2*k - 2*w - 50 = -k, 4*k + w = 63. Is t(k) a multiple of 7?
True
Let l(c) = c**3 + 1. Let q be l(-1). Suppose q = -19*n + 21*n - 200. Let m = n - 54. Does 15 divide m?
False
Suppose 712 = -21*x + 23*x. Does 17 divide x?
False
Suppose 0 = 7*q - 2*q + 2*t - 1552, 0 = 4*q + t - 1244. Let i be ((-99)/(-15))/(2/10). Suppose -q = -i*a + 29*a. Is 26 a factor of a?
True
Let a = -6 + 29. Let u = a + -7. Suppose 0 = s - 5 - u. Does 8 divide s?
False
Let q(g) = 6*g**2 + 9*g + 34. Is 5 a factor of q(11)?
False
Is (1034/8 - 0)/((-357)/(-4284)) a multiple of 47?
True
Is (-2)/3 - ((-39270)/45 + -14) a multiple of 3?
False
Let n(m) = -10*m + 7. Let j be n(-5). Let y = 106 - j. Let k = y + 11. Does 30 divide k?
True
Is 2084 + 5 + (-5 - 0 - -6) a multiple of 11?
True
Let b(q) = -19*q - 4. Suppose -2*a + 14 = 3*y, -5*a - 4*y + 24 = -a. Suppose a = -0*o - o. Does 24 divide b(o)?
True
Suppose 0 = 116*p - 16*p - 4100. Is 9 a factor of p?
False
Let p = -157 - -255. Is 6 a factor of p?
False
Suppose 2*r - 5*n - 2958 = 0, -15*r + 5960 = -11*r + n. Is 93 a factor of r?
False
Let y(d) = -d - 4. Let u be y(-8). Suppose -2*k = u*m - 30 - 4, -4*m - 81 = -3*k. Is 4 a factor of k?
False
Let k(q) = 8*q**2 - q + 4. Let t(i) = -17*i**2 + 3*i - 9. Let x(m) = 7*k(m) + 3*t(m). Is 4 a factor of x(-3)?
True
Suppose 63*x - 58*x - 4285 = 0. Is x a multiple of 15?
False
Let t(x) = x**2 - 28*x + 240. Is 27 a factor of t(22)?
True
Suppose -160*w = -128*w - 23264. Is 12 a factor of w?
False
Let k(g) = 4*g - 11. Let q be k(4). Suppose v + q*v - 360 = 0. Is 3 a factor of v?
True
Let l(q) = 2*q + 3. Let r be l(-4). Let g = 1 - r. Suppose g*s = 3*s + 6, -s = y - 14. Does 12 divide y?
True
Let d = -44 - -50. Does 11 divide -3*d/(-9) - -31?
True
Let v = -285 - -589. Suppose -2*q = -10*q + v. Is q a multiple of 6?
False
Suppose -3*n + 9 = 3. Let c = 21 - 13. Suppose -2*w - 2*i + c = 2*i, n*w = -3*i + 11. Is 3 a factor of w?
False
Let k = -43 - -68. Suppose -k = 5*b, 0 = 5*i + 2*b + 6 + 54. Is (-50)/(-20)*(-36)/i a multiple of 2?
False
Let o be 3 - 1*9/3. Let h be -13*(o + -3 - 1). Suppo