a factor of c?
False
Suppose 0 = -2*i, -16*i = l - 12*i - 39. Is l a multiple of 8?
False
Is (-3)/9*0 - (-447 + 4) a multiple of 14?
False
Let c(n) = n - 11. Let w be c(5). Is (w/(-12))/((-2)/(-32)) a multiple of 8?
True
Suppose -5*k + 6234 = -5*s - 7851, -4*k + 2*s = -11276. Is k a multiple of 7?
True
Let f(a) = 17*a**2 + 18*a + 53. Is f(-5) a multiple of 7?
False
Let n(q) = 6*q**2 - 11*q - 15. Does 41 divide n(-11)?
False
Let u = 5632 + -3895. Does 51 divide u?
False
Let v(l) = -l**2 + 15*l - 20. Let f be v(10). Suppose 3*q = -123 + f. Let n = q + 53. Does 15 divide n?
False
Suppose 0 = -22*y + 11525 + 13533. Is 67 a factor of y?
True
Let w(c) = 18*c - 32*c - 8 + 7*c + 1. Let y be w(3). Let i = 44 + y. Is i a multiple of 3?
False
Is 7 a factor of 3*-2 + -3 + (324 - 7)?
True
Suppose -y = 3*y - 3*g - 32, -y = g - 1. Suppose -2*o + 2*r + 10 = 0, -o + y*r = -1 - 4. Suppose -2*n - 68 = -5*n - 2*j, o*j = 20. Does 11 divide n?
False
Let w(o) = 4*o**2 + 15 - 22 - 15*o - 7*o - 5*o**2. Is 8 a factor of w(-17)?
False
Let z = -1160 + 1664. Does 6 divide z?
True
Suppose x = -4*x - 3*q - 80, 2*q = 5*x + 55. Let a = x - -28. Is a a multiple of 5?
True
Suppose 109 = -d + 187. Is 13 a factor of d?
True
Suppose -13*s + 8 = -11*s. Suppose 0*c + 11 = 5*c - w, 0 = s*c + w - 16. Is c a multiple of 3?
True
Let x(h) = 224*h**2 - 2*h - 2. Is 16 a factor of x(-1)?
True
Suppose 3 = -m, 61*k + 2*m = 58*k + 1374. Is k a multiple of 46?
True
Suppose h + 5*p + 15 = 0, -h = 2*h - 4*p + 26. Let g(n) = n**2 + 11. Let c be g(h). Suppose -c = -4*m + 233. Does 28 divide m?
False
Suppose -2*l = 4*u - u - 880, 5*l = 4*u + 2200. Suppose -2*a = -4*a + l. Is a a multiple of 20?
True
Let f be (-104)/3 + 2/(-6). Let a(l) = 12*l - 6. Let q be a(2). Let j = q - f. Is j a multiple of 13?
False
Let d(f) = -f**2 + 8*f + 11. Let v be d(9). Suppose 0 = -v*g + 5*g - 6. Suppose -5*k + 5*b + 127 + 48 = 0, -3*k + 85 = g*b. Is 10 a factor of k?
False
Suppose -4*k + 940 = 5*u + 129, 3*u + 5*k = 497. Is 52 a factor of u?
False
Let n(i) = 6*i**2 - 11*i - 1. Let q(l) = l**2 + 6*l + 3. Let a be q(-6). Is 4 a factor of n(a)?
True
Let h = -26 - -26. Suppose 2*l + 8 = y - l, 2*l = -2. Suppose h = -4*s - 2*n + 134, -y*s + 2*n = -3*n - 190. Is s a multiple of 16?
False
Suppose 3*c + 149 = 5*c - 5*x, 0 = -2*x + 2. Let d = -181 + c. Let z = 152 + d. Does 16 divide z?
True
Let t = -18 - -23. Suppose 0 = t*d - 25 - 250. Is d a multiple of 16?
False
Let m be (0 - 157)*-1 - -3. Does 3 divide m/10 + 0/(-3 - -2)?
False
Let h = -27 - -32. Suppose -h*r + 32 = -158. Does 38 divide r?
True
Let f = -17 - -23. Suppose -f*r + 8*r = -262. Does 30 divide (-4)/((-2)/2) - r?
False
Let h = 300 + -245. Is 26 a factor of h?
False
Suppose t = -3*i + 174, 378 = 2*t + 36*i - 40*i. Does 3 divide t?
True
Let r(s) = s**3 + 15*s**2 + 9*s + 12. Let y(m) = -m**2 - 5*m + 22. Let g be y(-9). Is 17 a factor of r(g)?
False
Suppose 5*j - 6077 = 4*p, 0 = -9*j + 7*j - 3*p + 2440. Is j a multiple of 18?
False
Suppose -13 = -4*r - 21. Is 21 a factor of r/7 + (-3975)/(-21)?
True
Let z(b) = b**3 + 9*b**2 + 11 + b**3 - 7*b - 3*b**3 + 0*b**3. Let m(r) = -r**3 + 5*r**2 - r - 4. Let u be m(4). Is 19 a factor of z(u)?
True
Suppose 0 = -5*j - 98 + 433. Suppose -5*a + 174 = -s, -5*s - 135 = -a - 3*a. Let y = j - a. Is y a multiple of 11?
False
Suppose 2*f + q + 9 = 0, 5*q = 5*f + q + 3. Is 23 a factor of (123/f)/((-1)/2)?
False
Let m(i) = 139*i**2 + 67*i - 192. Is m(3) a multiple of 10?
True
Let x = 414 - 102. Is x a multiple of 26?
True
Suppose 0 = -4*h - g + 18186, -3*h + 6945 = 4*g - 6688. Is 40 a factor of h?
False
Suppose -2*i - 12 = -5*i. Let t be 1*(1 - 2)*0. Suppose -i*f + t*f + 16 = 0. Does 2 divide f?
True
Let m(d) = d**2 + 14*d + 13. Let j be m(-13). Suppose j = 5*r - 242 - 293. Is 25 a factor of r?
False
Suppose 3*k = -2*k + 75. Let x be (-12)/30 - (-14)/10. Does 5 divide k/6*x*2?
True
Let w(v) = -v**2 + v. Let j be w(-1). Let m be 342 + (-2)/j*-2. Suppose -5*y + m = -5*t, 2*y = 3*y - 3*t - 60. Is 34 a factor of y?
False
Let o(q) = 2*q**2 + q + 1. Let k be o(-1). Suppose -12*i = -23*i + 1155. Suppose g - 4*g = -c - 308, -g - k*c = -i. Is g a multiple of 11?
False
Let c(a) = 24*a**2 - 2*a + 12. Let z(f) = -3*f - 27. Let b be z(-10). Is 22 a factor of c(b)?
False
Suppose -8*k + 5 = -67. Suppose 0 = -5*f + k*f - 588. Does 7 divide f?
True
Let q(u) = -u + 10. Let g = -7 + 14. Let i be q(g). Does 12 divide i/(-1) + 117/3?
True
Suppose -4*o + 152 = -0*o. Let t = -20 + 46. Let g = o - t. Is g a multiple of 6?
True
Let w(y) = 37*y + 5. Let a(m) = -m**3 - 13*m**2 + 15*m + 18. Let s be a(-14). Let k be w(s). Suppose k + 223 = 4*n - j, 5*j - 495 = -5*n. Is n a multiple of 19?
True
Let s = 20 - 11. Let i(v) = v**3 - 9*v**2 - v + 9. Let a be i(s). Is (22 + a)/2*3 a multiple of 11?
True
Suppose -36*v + 12558 = -13*v. Does 26 divide v?
True
Let l(c) = -c + 7. Let r be l(-5). Let p be 33/r - (-2)/8. Suppose -146 = -2*o + 4*k, -k - 201 = -p*o - 4*k. Does 22 divide o?
False
Suppose 3*m - 5 = 1. Suppose -37 = -5*t - 2*c, 10 = m*t - 3*c + 5*c. Is 9 a factor of t?
True
Suppose 3*r - 6*r = -3*y - 15, -5*y - r = 37. Let n be 9/(-63) + (-1065)/y. Suppose -5*g + n = -198. Does 29 divide g?
False
Let v(z) = -z**2 + 5*z - 4. Let d be v(4). Suppose 312 = 3*b + 5*o - 44, d = 4*b - 3*o - 523. Let t = -69 + b. Is t a multiple of 23?
False
Suppose -4 - 28 = -8*l. Suppose -91 - 41 = -l*p. Is p a multiple of 4?
False
Let q be 22/6*3 + -4. Suppose -q*h + 163 = 37. Is 18 a factor of h?
True
Let a(d) = 3*d - 6. Let q(p) = -4*p + 5. Let w(j) = -3*a(j) - 2*q(j). Let z be w(6). Is 7 a factor of (1 - (0 + z))*-21?
True
Let j = 7 - 2. Let y(x) = x**2 - 6*x + 7. Let u be y(j). Suppose -b + 8 = v, u*b + 5*v - 1 = -0. Is b a multiple of 5?
False
Suppose 6*v = 3*v - 162. Let w = 87 - v. Is 8 a factor of w?
False
Let x(j) = j**2 + 6*j - 10. Let a be x(-10). Suppose -3*t - a + 0 = 0. Let d(y) = y**3 + 12*y**2 + 16*y + 14. Does 9 divide d(t)?
True
Is 47 a factor of (166/(-4))/(-24 - 13420/(-560))?
False
Let v be (-3)/(-5) - 6*(-4)/60. Is (-1 + -1 + v)*(-94 + -1) a multiple of 14?
False
Suppose -32*i + 9*i + 6371 = 0. Is 6 a factor of i?
False
Let s = 181 - -3. Let o = s + -96. Is 27 a factor of o?
False
Let r = -165 + 40. Let o = -17 - r. Is 27 a factor of o?
True
Let c(o) = -o - 2. Let n be c(-4). Let g = n - 5. Does 11 divide (-17)/(g/30*2)?
False
Suppose -58*x + 53*x = -545. Suppose -6*g + 3*g + x = 2*c, -4*c + 183 = 5*g. Is 5 a factor of g?
True
Suppose q + 2*s = 18, 4*s = -3*q + 2*s + 50. Let k = 13 + 3. Let x = q + k. Does 11 divide x?
False
Let a be (16/10)/(2/5). Is 4 a factor of (-10)/(-45) + a/(144/388)?
False
Let f be (4/2)/((-4)/(-8)). Suppose -5*d = -3*j + 41, -j - f*d + 25 = -0*d. Suppose -b + j = -27. Is 22 a factor of b?
True
Suppose 48 + 16 = -4*s. Let u = s + 76. Does 30 divide u?
True
Suppose -2*m = 2*t - 4554, -4*t = -4*m + 1227 + 7913. Is m a multiple of 51?
False
Suppose 3*l + 2*l - l = 0. Let h(i) = i**2 + 2*i + 24. Does 3 divide h(l)?
True
Suppose g + 22 = 5*b + 8, 2*b = 5*g + 24. Suppose b*r + 67 - 171 = 0. Does 13 divide r?
True
Let i = 15 - 19. Let k be (1*i)/(1/4). Let l = k - -37. Is 5 a factor of l?
False
Let p(b) be the first derivative of 2*b + 0*b**2 + 1/4*b**4 + 5/3*b**3 + 4. Is 10 a factor of p(-3)?
True
Let r = 59 - -502. Is r a multiple of 33?
True
Let g(o) be the third derivative of -o**6/120 + 2*o**5/15 + o**4/24 + o**3 - 13*o**2. Is g(7) a multiple of 19?
False
Let k(i) = 5 + 2 + i + 6*i**2 - 2 - 4. Is 3 a factor of k(-1)?
True
Suppose 0 = -k - 4*r + 16 + 2, 2*r = 4*k. Suppose k*o - 5*o = 5*y - 116, 4*y - 80 = -2*o. Suppose -d + o = 11. Is d a multiple of 21?
True
Suppose 50 = 8*o - 3*o. Let f = -12 + o. Does 14 divide (-3 - f)/((-3)/42)?
True
Suppose q = -2*q + 15. Is q*6 + -2 - -3 a multiple of 4?
False
Let p = 45 - 15. Does 3 divide (-18)/p - (-83)/5?
False
Suppose 2*i - 23 = -5*s, -4*s = -2*i + 3*i - 16. Suppose -4*g - y = -199, -g + 52 = 5*y - i*y. Does 7 divide g?
True
Let j be (-50)/10*(-3)/5*-2. Is 12 a factor of ((-4)/(-9)*j + -2)*-18?
True
Let b = -77 + 84. Suppose 89*l - 90*l + b = 0. Does 7 divide l?
True
Let d = 480 - 267. Suppose -2*q + 133 = 3*a, -2*a - d = -3*q - 46. Let s = q - 27. Is 16 a factor of s?
True
Let i = -1473 - -1964.