155 - -303. Suppose 0 = 7*k - f - 258. Is 14 a factor of k?
False
Suppose -4*i + 6 = -q, -5*q + 6 = -5*i + 3*i. Suppose -i*m + 4*l = -l - 140, m = -2*l + 88. Is m a multiple of 40?
True
Let y = 1847 + -1137. Is y a multiple of 10?
True
Suppose -5*k + 5*h + 835 = 0, 10*k + 358 = 12*k + 4*h. Is k a multiple of 4?
False
Suppose 3*f = -u + 1250 + 772, 3*f - 6 = 0. Does 12 divide u?
True
Let x be ((-13)/3)/(1/(-3)). Suppose -3*c = -2*c + 7. Let n = c + x. Does 2 divide n?
True
Let z(o) = o**3 - 5*o**2 + o + 3. Let g be z(5). Suppose -s + 1 = 0, 4*s + 0 = -3*d - g. Is d/(-22) + (-174)/(-11) a multiple of 4?
True
Let v(m) = -25 + m**2 + 8 + m + 5. Is v(9) a multiple of 26?
True
Let t be (0/(-3) - -1)*-4. Let l(y) = 3*y**3 - 5*y + 3. Let k(v) = 3*v**3 - 5*v + 2. Let j(q) = t*k(q) + 3*l(q). Does 15 divide j(-2)?
True
Let b be (2/(-6))/(8/(-120)). Suppose b*z - 10*z + 430 = 0. Does 19 divide z?
False
Let x = 3124 - 371. Suppose 383 = 14*j - x. Is 17 a factor of j?
False
Suppose 4*r - 75 + 99 = 0. Is 24/72 - 142/r a multiple of 2?
True
Does 20 divide (14/4)/(11/572) - 2?
True
Suppose 17*i = 19*i - 120. Suppose b + 0*b - 4*c = i, 0 = c + 4. Is b a multiple of 11?
True
Let t be 13/(156/100) - (-2)/3. Let c(m) = -6*m**2 - 12*m - 2. Let p(r) = r**2 + 1. Let y(u) = c(u) + 8*p(u). Does 30 divide y(t)?
True
Let w = -16 - -13. Does 4 divide (21 + w)*(-6)/(-4)?
False
Let k(f) = -2*f - 4. Let d be k(3). Let x be 25/d*372/(-10). Does 11 divide x*(0 - 1/(-3))?
False
Suppose -4*p + a = -1 - 16, 5*a + 10 = 5*p. Suppose 157 = -p*w - 123. Let g = w + 81. Is 7 a factor of g?
False
Let h = 1082 + -692. Does 26 divide h?
True
Suppose -w + 25 = 4*w. Suppose k - 12 = 4*a, -w*k + 17 = 2*a + 1. Suppose -k*g = -v + 6 + 3, -4*g = 2*v - 18. Is 6 a factor of v?
False
Suppose -34*u = -24*u - 960. Does 3 divide u?
True
Let t(m) = 1 + 0 + 18*m - 2. Let s be t(-2). Let n = 88 + s. Is n a multiple of 17?
True
Let q = 27 + -22. Suppose -q*l - 4*b = -239 + 30, 164 = 4*l + 4*b. Suppose -t + l = 12. Does 7 divide t?
False
Let q(j) = -4*j - 12. Let u be q(-5). Suppose 3 = u*b - 7*b. Suppose 108 = b*f + 9. Is 11 a factor of f?
True
Let u(t) = -2*t**2 - 29*t + 13. Let o(f) = -f**2 - 14*f + 7. Let j(p) = -9*o(p) + 4*u(p). Is j(-12) even?
False
Let n(z) = -4*z + 133. Does 9 divide n(22)?
True
Let g = -13 - -16. Suppose y + g = 2. Let k = 12 - y. Is 13 a factor of k?
True
Let u(y) = 3*y**2 - y + 5. Let w be u(-3). Does 22 divide 7/(w/440) + 3?
False
Let b = -50 + 234. Is b even?
True
Suppose 22*u - 18*u = -12. Let x be (u + 4)/((-1)/(-2)). Suppose -2*l + 36 = x*m - 4, -5*l = 2*m - 115. Is l a multiple of 25?
True
Let n = 162 - 113. Let d = 59 - n. Does 2 divide d?
True
Suppose m + 0*m = 152. Suppose -d - 4*i + m = 0, -i + 628 = 4*d - 5*i. Does 14 divide d?
False
Let t(g) = -g**3 + 6*g**2 + 7*g + 2. Let c be t(7). Let y(l) = 2*l**c + 1 - 2 + 15*l**3 - 9*l**3. Does 7 divide y(1)?
True
Suppose -4543 = -4*o - 143. Is 44 a factor of o?
True
Let w = -3428 + 7028. Does 72 divide w?
True
Suppose 2*l + 4*m = -0*l + 2, 4*l - m - 13 = 0. Suppose -l*n + 25 = -14. Does 6 divide n?
False
Let a = -175 + 359. Let q = 310 - a. Is 42 a factor of q?
True
Suppose -4*v = -5*l - 469, v = -0*v - 5*l + 86. Does 3 divide v?
True
Let g(t) = -9*t - 27. Let p(u) = 6*u + 18. Let s(j) = 5*g(j) + 7*p(j). Is s(-11) a multiple of 8?
True
Suppose -6*p + 153 = -6273. Is p a multiple of 21?
True
Suppose -5*f + 2483 = 3*c, -c + 767 = -5*f - 94. Does 76 divide c?
True
Suppose 0*g - g = a + 5, 4*a + g + 14 = 0. Does 25 divide a/7 + (-5268)/(-42)?
True
Let c = 563 + -292. Suppose 3*k = -4*s + c, s = 2*k + 3*s - 178. Is k a multiple of 30?
False
Suppose -5*s - 52 = 4*g, g - 5*s = -3*s. Let u be 1/((-4)/g) + 188. Suppose -2*p + 86 = f, 4*p = -4*f - 10 + u. Is 17 a factor of p?
False
Let p(v) = -38*v + 172. Is p(0) a multiple of 43?
True
Let l(f) = -2*f**2 - 44*f - 2. Let p be l(-22). Suppose -2*h + 5 = -1, 3*n - 3*h = -9. Is n + 114/3 + p a multiple of 12?
True
Let q(w) = -w**2 + 10*w + 17. Let t be q(12). Let c(n) = n**3 + 9*n**2 - 2*n - 9. Is c(t) a multiple of 32?
False
Suppose -7*m + 3*m - 464 = 0. Let d be (-12)/(-42) + m/14. Is 23 a factor of 141/(2 - (-4)/d)?
False
Let n(w) = w**2 - 1. Let r be n(-2). Let l = 21 + -16. Suppose 62 = l*g - r*z, 2*z - 2 = 3*g - 4*g. Does 10 divide g?
True
Suppose 0 = -4*p + 5*b - 3*b + 3810, -4*p = -5*b - 3825. Is 17 a factor of p?
False
Suppose 2*r - r = -5*d - 8, 119 = -3*r + 4*d. Does 11 divide (1 - 1) + (0 - r)?
True
Let v = 7 - 5. Let i(k) = -k**3 - 8*k**2 - 8*k + 2. Let z be i(-5). Is ((-22)/z)/(v/36) a multiple of 5?
False
Let i be 7 - (3 + 0 - 1). Suppose i*d + 10 = -2*v - 0*v, -4*v = d + 20. Suppose 5*n - 34 = -2*k, 3*k + 5*n - 45 - 6 = d. Does 5 divide k?
False
Let c be (12/6)/(-2*2/12). Is 567/18 + c/(-4) a multiple of 12?
False
Let t be (-4)/(-12) + (-254)/6. Let g = t - -299. Is 57 a factor of g?
False
Let d(h) = -2*h. Let f(t) = -21*t - 6. Let z(q) = 22*d(q) - 2*f(q). Let l = -20 - -14. Is 8 a factor of z(l)?
True
Let x be 2 - (0 + 0 + -4). Suppose -5*t + 0*i + 100 = -5*i, -3*i = -x. Is t a multiple of 3?
False
Suppose 0 = -3*x, -197 = -d + 4*x + 1067. Is d a multiple of 12?
False
Let y be (-1)/(5/(-5))*9. Let i(s) = -323*s - 1. Let w be i(1). Does 9 divide -12*(w/8)/y?
True
Suppose 5*y + 18 = 68. Suppose 2*d - 42 = -y. Suppose 2*k = -3*x + 47, 2*x + 3 = -5*k + d. Does 5 divide x?
False
Is ((-6)/5)/2 + 96449/215 a multiple of 14?
True
Suppose -5*w = 5*q - 920, 0 = w - 2*q + 4*q - 188. Suppose -5*z + 3*a = 168, 5*z = 5*a - w + 20. Is ((-24)/z)/(1/72) a multiple of 29?
False
Let q = 1499 + -2371. Does 33 divide q/(-6) + 2/3?
False
Let g(h) = -h**2 - h + 3. Let o be g(-2). Does 8 divide 6/(o - (-1)/(-4))?
True
Let f(g) = -4*g + 59. Does 5 divide f(6)?
True
Does 13 divide 85 + 1 + (4 - -11 - 11)?
False
Suppose -4*z - 4*g = g - 26, -4*z + 24 = 4*g. Suppose -z*d + d = 2*h - 88, -3*d - 62 = -h. Is 25 a factor of h?
True
Let d(f) = -33*f - 7. Suppose 0 = -4*t + 8*t, -2*h + 4*t - 12 = 0. Let l be d(h). Suppose 3*u + l + 46 = 5*q, 0 = q + 2*u - 50. Does 36 divide q?
False
Suppose 7*x - 5*x = 30. Suppose -10*z - 455 = -x*z. Is 26 a factor of z?
False
Let i(f) = -3*f**3 + f**2 + 2*f + 1. Let a(v) = -1 + 4*v**2 - 3 + 0 - 2*v - v**3. Let c be a(3). Is i(c) even?
False
Let s = -23 + 26. Suppose -s*c = -2*f + 18, -4*c - 27 = -2*f - 5. Does 3 divide f?
True
Suppose -39*h = -52*h + 585. Is h a multiple of 2?
False
Let g be -2 - (-6)/(2 + -1). Suppose g*f = -3*b - 63, -b + 0*b - 1 = 0. Let v = 25 + f. Does 8 divide v?
False
Suppose -812 = -2*f + f. Suppose -2*a - 3*a + f = 4*g, 2*g = -4. Is a a multiple of 38?
False
Let l(j) = -j**3 + 117 + 0*j**3 + 7*j - 123 + 6*j**2. Let z be 1*3/(6/10). Is l(z) a multiple of 18?
True
Suppose 5*t + 3 = -j, 2*j - 6*j + 2*t = -76. Let x(o) = 3 - j - 17 + 9 + 2*o. Does 10 divide x(16)?
True
Suppose -8*o + 7*o + 1487 = 3*c, o = -2*c + 992. Is 61 a factor of c?
False
Suppose 8*f - 154 = 10*f - 4*l, 4*l + 320 = -4*f. Let k = 99 + f. Does 3 divide k?
False
Is 39 a factor of (1 + 51)*138/8?
True
Let p = 154 - 43. Is 16 a factor of p?
False
Let x(v) = -v**2 - v + 11. Let j be x(-3). Let s be (1*-2)/(1/(-17)). Let b = s - j. Does 22 divide b?
False
Let i = -1 + 6. Let o be ((-4)/i)/((-6)/15). Suppose 4*t = 5*x + 16 + 10, -o*t - 2*x = -4. Is t even?
True
Let x = -5 + 10. Suppose 0*v + 30 = -x*v. Is (-1)/(-2) + (-237)/v a multiple of 8?
True
Let g(h) = 3*h - 9. Let k be g(5). Suppose 6 = -4*d + k*d. Is (-1)/((3/(-23))/d) a multiple of 10?
False
Let w(j) be the second derivative of -19*j**3/6 - 13*j**2/2 + 5*j. Let r be w(-6). Let q = r - 47. Is q a multiple of 18?
True
Suppose 0 = -5*j - 6 + 46. Is 12 a factor of (12/j)/(3/278)?
False
Is (-9)/(-4) - 3 - 1989/(-12) a multiple of 13?
False
Let c(w) = 10*w**2 - 37*w + 95. Is 52 a factor of c(9)?
True
Let q = 555 - -897. Does 44 divide q?
True
Let v(u) = 14*u**2 + 16*u + 10. Is v(-10) a multiple of 36?
False
Let y = 13 - -102. Does 23 divide y?
True
Let a(i) = 7*i**2 + 9*i + 24. Let w(b) = 3*b**2 + 5*b + 12. Let x(p) = -2*a(p) + 5*w(p). Let v be x(-5). Suppose 94 + 34 = v*u. Is 17 a factor of u?
False
Let r(k) = -8*k**2 + 8 - 3*k + 2*k**2 + 6*k + 0*k + k**3. Is r(8) a multiple of 26?
False
Let z(w) = -44*w**3 + 2*w**2 + 5*w + 4. 