+ 11. Is (h - -11)*(-1 - u) a multiple of 3?
False
Let u = -444 - -1188. Is u a multiple of 8?
True
Suppose 3*z + 2 = -5*c - 0, -32 = -2*z + 5*c. Does 4 divide 136/6 + (-4)/z?
False
Let k(g) = g + 14 - 1 + g + 24. Does 4 divide k(0)?
False
Suppose -3*t = -7*t - 8. Is 38 a factor of (190 - -3) + t + -1?
True
Suppose -2*b = -2*x + 10, 5*x = 3*b + 11 + 18. Suppose -x*a + 1350 + 22 = 0. Suppose 12 - a = -2*m. Is 16 a factor of m?
False
Suppose 6 = -2*g - 862. Let t = g - -610. Is t a multiple of 16?
True
Let a be 164/(-16) - (-2)/8. Let b = a - 19. Let t = b - -80. Is t a multiple of 9?
False
Suppose 0 = -5*a + 38 + 2. Suppose 13 = 5*p + 5*h + 53, -4*h + a = 0. Is 9 a factor of (27/(-5))/(2/p)?
True
Let v(u) = 11*u**3 - 44*u**2 - 4*u - 32. Let f(b) = -4*b**3 + 15*b**2 + b + 11. Let d(q) = -8*f(q) - 3*v(q). Does 8 divide d(12)?
True
Let r(g) = -11*g - 3*g + 4*g - 11. Let i be r(-5). Suppose 2*w - 63 - i = 0. Is 12 a factor of w?
False
Let f(n) = 4*n + 22. Let u be f(7). Suppose 0 = 5*t + 4*o - u - 3, -3*o + 56 = 5*t. Is 13 a factor of t?
True
Let j(l) = -8*l - 9. Let k be j(10). Let s = k - -150. Does 35 divide s?
False
Let j = 1559 + -1300. Does 7 divide j?
True
Let s(u) = 26*u**3 - 4*u**2 + u - 6. Let t be s(3). Suppose -5*l + t = -3*y, -y + 395 = 3*l - 0*y. Is l a multiple of 33?
True
Let w = 183 - 125. Suppose -3*s + w = l + 3*l, l + 5 = 0. Does 25 divide s?
False
Let d(i) be the third derivative of -i**6/360 + 3*i**5/40 + i**4/4 - i**3/6 - 3*i**2. Let f(l) be the first derivative of d(l). Is f(9) a multiple of 2?
True
Suppose -2*y - 5*w + 4*w = -364, 16 = -4*w. Does 28 divide y?
False
Suppose 5*n + 6*w = w + 1000, 2*n - 4*w - 400 = 0. Does 25 divide n?
True
Let x(v) = 2*v**3 - 24*v**2 + 16*v + 4. Let m(b) = -2*b**3 + 23*b**2 - 17*b - 3. Let a(g) = -4*m(g) - 5*x(g). Is a(13) a multiple of 58?
True
Let b(d) = -d**3 - 6*d**2 + 4*d - 5. Let g be b(-6). Let w = -15 - g. Let f = 56 - w. Is 21 a factor of f?
True
Let w be -1 + ((-3)/3)/(-1). Suppose -2*z + p + 5 = 0, -z = -w*z - 5*p + 20. Suppose z*c = -4*q, -2*c = -q + 2*c + 21. Does 5 divide q?
True
Let t = 1793 - 1199. Does 18 divide t?
True
Let u be 4218/24 - 3/(-12). Suppose u = 13*y - 11*y. Does 11 divide y?
True
Let c be (-16)/(-2) - (-16 - -12). Suppose -6*i = -c - 0. Suppose 0 = -3*v + i*v + 27. Is 9 a factor of v?
True
Suppose -3*u = 2*h, 4*h + 8 = -4*u + 4. Let g(a) = -2*a**3 + a**2 + 6*a + 9. Does 27 divide g(h)?
True
Let q = -345 + 534. Is q a multiple of 9?
True
Let p be (4 - 1) + 0/20. Suppose 183 = 5*t - 2*g, 3*t + 6*g - p*g - 114 = 0. Is t a multiple of 8?
False
Suppose 0*m - m = -6. Suppose -8 = -3*b - 0*b - 4*s, 2*b = -2*s + m. Is 4 a factor of b?
True
Let s(l) = -l**3 - 8*l**2 - 6*l + 7. Let z be s(-7). Is 22 - (z - (6 - 3)) a multiple of 19?
False
Let u(t) = -t + t**2 + 71*t**3 - 7*t**2 + 2 + 13*t**2 - 8*t**2. Is u(1) a multiple of 15?
False
Let n be 3/(-2) - (-145)/10. Suppose -4*o + 2*s = -22, 0*s + n = 2*o - 3*s. Suppose o*i - 76 = -21. Is i a multiple of 5?
False
Suppose 3*g = 4*j + 39, g - 3*j - 45 = -3*g. Suppose g*z = 50 + 526. Is 16 a factor of z?
True
Suppose -c - 72 = 253. Let h = -230 - c. Is 19 a factor of h?
True
Let l(d) = -d**3 + 3*d + 5*d + 4*d**2 - 4*d - 4. Let u be l(4). Suppose 0 = -2*y - u + 2, -v + y + 12 = 0. Is v even?
False
Suppose 5*j - 5*w = 2629 + 4876, 5*w = -3*j + 4495. Is 50 a factor of j?
True
Let j be 2*(-1)/16 + 17/8. Suppose j*r = 2*v + 29 + 91, r - 66 = -v. Does 40 divide r?
False
Suppose 2*k + 4*a + 9 = 31, 5*a = 15. Suppose -k*n + 15 = -70. Does 17 divide n?
True
Suppose 4*m - 24 = 7*m. Let z(p) = -p**2 - 9*p - 8. Let f be z(m). Suppose q + 5*c - 68 = f, 5*q - 190 = c + 46. Is 16 a factor of q?
True
Let p = -2 - -5. Let q(g) = g**2 - g - 4. Let d be q(p). Suppose w - d*w = -54. Is w a multiple of 16?
False
Suppose 44*n - 45*n = 5. Suppose 99 = 2*d + d. Let t = d - n. Does 33 divide t?
False
Let h = 80 + 305. Is 55 a factor of h?
True
Is 49 a factor of ((-281)/(-6))/(10/60)?
False
Let z(a) = -75*a**2 + 4*a + 2*a + 21*a**3 - 7 + 76*a**2. Is 28 a factor of z(2)?
False
Suppose -5*s + 42 = 3*f - 7, 5*s - 9 = 2*f. Suppose -4 = 2*g - f. Does 19 divide (76/g)/((-4)/(-10))?
True
Let c(o) = -o**3 + 6*o**2 - o + 7. Let b = 1 - -4. Let j be c(b). Suppose a = 4*a - j. Does 7 divide a?
False
Suppose 2*r - 5*s = -0*r + 757, -2*s = r - 356. Suppose 7*j = 901 + r. Is 31 a factor of j?
False
Let g be (-14 - -16) + (4 - (1 + 0)). Suppose -174 = -g*h + 146. Is 16 a factor of h?
True
Is 19 a factor of ((-5)/(-15))/(7/19551)?
True
Let n be (84/126)/(1*(-2)/1389). Let t = 673 + n. Does 18 divide t?
False
Let v = 45 - -159. Suppose 0*g - v = -6*g. Is 17 a factor of g?
True
Suppose 3*j = 3*c + 108, 2*c - 37 = 4*c + 5*j. Let h be -12 - -12 - (2 - 86). Let g = c + h. Is g a multiple of 14?
False
Suppose 291 = 3*t + 111. Let n be ((-5)/4)/((-7)/28). Suppose c = 4, -n*c + 0*c = 2*l - t. Does 20 divide l?
True
Suppose 0 = -f + 3*f. Is 12 a factor of 0 + f - (-46 - 2)?
True
Let k(s) = -28*s - 14. Let p(x) = 11*x + 3. Let t(r) = 34*r + 8. Let m(c) = 7*p(c) - 2*t(c). Let a(w) = 2*k(w) + 7*m(w). Is a(6) a multiple of 13?
False
Suppose -12 = -m + 2*m - 3*j, 4*m + 4*j = -80. Is 25 a factor of ((-1143)/m)/((-1)/(-2))?
False
Suppose -p - 3*c - 32 = 0, 2*p + 5*c + 4 = -59. Let f = p - -85. Is 12 a factor of f?
False
Let h = -227 + 971. Suppose -h = -5*w - w. Is w a multiple of 31?
True
Let s be 7*5/((-105)/(-6)). Suppose 5*q - 3*f = 269, 0 = -q - 2*q - s*f + 150. Suppose 3*a + 13 = q. Is 11 a factor of a?
False
Let d = -870 - -2085. Is d a multiple of 45?
True
Suppose 2*r + 6 = r - 5*x, -3*r = -3*x + 18. Let p = r - -9. Suppose -p*m = -s - 0*m + 17, 0 = s - 2*m - 13. Is 5 a factor of s?
True
Let p(y) = 30*y + 44. Is p(38) a multiple of 18?
False
Let g be 122 - 2/2*2. Suppose 7*u - 4*u - g = 0. Is 8 a factor of u?
True
Does 26 divide 12/26 + 476976/156?
False
Let d be 0/(-2) + -1 + 1. Let p(c) = -c + 2. Let r be p(d). Suppose 34 = 3*v - 5*m, 0 = r*v - m - 4 - 14. Is v a multiple of 3?
False
Let g(j) = 5*j**3 - j**2 - j + 1. Let m be 2/16 - 7/(-8). Let x be g(m). Suppose 6*a - x*a - 66 = 0. Is 7 a factor of a?
False
Let n(b) = 27*b - 17*b - 9 + 3 - 14. Is 15 a factor of n(8)?
True
Let p(n) = -11*n**2 + 24*n - 3. Suppose g - 4*g = 5*v + 42, 0 = 3*v - 4*g + 31. Let j(y) = 5*y**2 - 12*y + 2. Let u(o) = v*j(o) - 4*p(o). Does 8 divide u(8)?
False
Let j be (3 + 113)/4 - -3. Suppose -6*g + 104 = j. Is g a multiple of 2?
True
Suppose n + 29 = -a, 2*a + 16 = 6*a. Let s = n + 115. Is s a multiple of 41?
True
Is 392 - ((10 - 4) + 1) a multiple of 12?
False
Let z be 0/(0/(-5) - -1). Suppose z = 5*u - 2*h + 59, 2*h = -2*u + 5*u + 33. Let g = u + 48. Is 35 a factor of g?
True
Let o(a) = -a - 19. Let j be o(-16). Let b be 3 + j - 1 - 1. Is 0 + b - (7 + -17) a multiple of 6?
False
Suppose -5*x - 14 = 21. Let n(k) = -k**2 + 2*k - 5. Let l(h) = 2*h**2 - 5*h + 9. Let d(j) = -2*l(j) - 5*n(j). Does 14 divide d(x)?
True
Let y(q) be the third derivative of q**6/120 - 11*q**5/60 - 5*q**4/12 - 5*q**3/6 + q**2. Is 19 a factor of y(12)?
True
Let d(x) = x**2 - 8*x - 4. Let n be d(9). Suppose -c + n*c = 5*p + 33, 0 = -3*p + 9. Is 6 a factor of c?
True
Let s(d) = -d**2 + 7*d + 3. Let m be s(8). Let y be -1 + m*(-24)/20. Suppose 110 = 4*t - 3*b, -y*b + 42 = -2*t + 4*t. Is 13 a factor of t?
True
Suppose 0 = 3*y - 114 - 141. Is y a multiple of 21?
False
Let s(k) = -7*k - 1. Let f be s(-1). Suppose -155 = r - f*r. Does 27 divide r?
False
Suppose -60 = -3*g - 0*g. Suppose 81 = 5*s + 4*b, -g = 4*s - 5*s + 3*b. Suppose 5*c - 23 = s. Is c even?
True
Let o(w) = -4*w**2 + w + 4. Let i be o(2). Let n = i + 14. Suppose 29 = n*d - 55. Is d a multiple of 14?
False
Let c = 200 + -187. Is c a multiple of 2?
False
Let m = 2137 - 1266. Does 13 divide m?
True
Let m(r) = 2*r**2 + 19*r - 1. Let o be m(-13). Let d(g) = 7*g**2 - 3*g - 3. Let w be d(3). Let i = o - w. Is i a multiple of 16?
False
Is (304/(-14) + -4)/((-14)/147) a multiple of 48?
False
Let b(f) = -f**2 - 15*f - 3. Let n be b(-15). Suppose 5*z - 8 = -3*i + 3, -2*z = -3*i + 25. Let l = i - n. Does 10 divide l?
True
Let a(i) = 18*i**2 + 77*i + 628. Is a(-8) a multiple of 12?
True
Suppose 0 = p + 45 + 697. Is p/(-12) - 7/(-42) a multiple of 31?
True
Suppose -6*s + 12 = 