 7 a factor of q(c)?
False
Let l(g) = 72*g**2 + 3*g + 1. Let f(b) = -b**2 + 3*b - 1. Let j be f(3). Is l(j) a multiple of 17?
False
Suppose 2*d + 3*j - 493 = 0, -9*d = -5*d + 2*j - 998. Does 10 divide d?
False
Suppose a + 36 = -0*a - 5*w, 2*w + 69 = -3*a. Let b = a - -21. Suppose b*i - 90 = -3*i. Is 15 a factor of i?
True
Suppose -a = -3*a - 2*b + 150, a = -4*b + 60. Suppose 4*v + 4*v = a. Does 2 divide v?
True
Let s(j) = 2*j**2 + 9*j - 1. Let w be 14*((1 - -3) + -2). Let m = w - 36. Is 11 a factor of s(m)?
True
Let b(t) = -9*t - 24. Let q be b(-5). Suppose 3 + 2 = -5*v. Does 12 divide (-3 + q)/(v/(-2))?
True
Let a(m) = -199*m - 70. Is a(-10) a multiple of 12?
True
Let y = -48 + 318. Is 21 a factor of y?
False
Let j(q) = q - 5. Let s be j(5). Suppose s = -10*x + 11*x - 260. Is 52 a factor of x?
True
Let q(b) = -b**3 - 8*b**2 + b + 5. Let c(w) = 3*w - 2. Let v be c(-2). Let o be q(v). Is (-8)/o*18/4 a multiple of 5?
False
Let x be (-4196)/(-10) + (-42)/(-105). Suppose x = -p + 4*p. Is 35 a factor of p?
True
Let q = -47 + 80. Let b be q/9 - 4/(-12). Suppose -b*u + 27 = -57. Is 11 a factor of u?
False
Suppose -2*j = -4 - 4. Suppose -f = -2*b + 35, j*b = -5*f + 2 + 61. Is -2 + 4 + b + -1 a multiple of 9?
True
Does 27 divide (-174795)/(-80) - 2/(-32)?
False
Let m(o) = o**3 - 27*o**2 - 73*o - 86. Is m(30) a multiple of 11?
False
Let h = 246 + -466. Let j = h - -378. Is 34 a factor of j?
False
Let a(r) = 4*r**2 + 12*r + 20. Is 20 a factor of a(-15)?
True
Suppose 4*j = -m - 173, 2 = 4*m + 22. Let q = -65 - j. Let u = 28 + q. Is u a multiple of 2?
False
Suppose 2*m = -k - 88, 3*m + 138 = -k - 2*k. Is (-12)/m + 444/14 a multiple of 3?
False
Suppose 3*k - 135 = 135. Is k a multiple of 6?
True
Suppose 8293 = 35*i - 17922. Is 6 a factor of i?
False
Let l = 66 - 64. Suppose 3*c - 370 = -0*j + j, 236 = 2*c + l*j. Is 17 a factor of c?
False
Suppose w + 11 = 108. Suppose 4*o = -3*c + c + 2, -5*o + 4*c - 30 = 0. Does 27 divide (12 + -14)*w/o?
False
Suppose -9*a + 238 = -482. Is 8 a factor of a?
True
Let c = -46 + 72. Let a = 52 + c. Is 13 a factor of a?
True
Suppose -4*z - 89 = 2*j - 3*z, j + z = -45. Let o = j - -60. Does 8 divide o?
True
Suppose c = -2*p + 444, c - p - 460 = p. Is 4 a factor of c?
True
Let p be 6/(3 + 12/(-8)). Suppose p*k = 3*m - 606, m + k + 202 = 2*m. Suppose -2*r = a - m, 489 - 77 = 4*r - 2*a. Is r a multiple of 34?
True
Let l(s) = -145*s + 137. Is l(0) a multiple of 6?
False
Let d be (-16)/10 + (-2)/5. Let i be (-4)/d - (-15 + 14). Suppose -i*l = -l - 14. Does 7 divide l?
True
Let q = -1201 - -1821. Is q/60 - (-2)/3 a multiple of 4?
False
Let r = 8 - 3. Let c(k) = 2*k**2 - 9*k - 1. Let n be c(r). Suppose -5*m + 45 = -5*b, b = -n*m - 2*b + 1. Does 4 divide m?
True
Let i(q) = 26*q**3 - 3*q + 2. Let h be i(2). Suppose 11*f - h = 7*f. Is f a multiple of 17?
True
Let p = 10 - 7. Suppose p*v - 18 = 2*v. Is 3 a factor of v?
True
Let i(t) = t**3 - 9*t**2 - 12*t - 4. Let p be i(9). Let a be (-8)/14*p/32. Suppose a*o + 2*o = 288. Does 12 divide o?
True
Let x be (-40)/(-15) + 2/6. Let g be (-2)/(-1) + (1 - 1). Suppose -x*o + 12 = -g*p, -4*o + 0*o + 4*p = -12. Is o a multiple of 4?
False
Let q be 552/(-15)*(-8 + 3). Suppose 2*j - 36 = j + 4*x, q = 4*j + 4*x. Is 30 a factor of j?
False
Let n be 2/9 - (-8)/(-36). Suppose n = z - 5*z - 4*i - 8, 5*z + 3*i = -2. Suppose 0*j + z*j - 202 = 0. Does 30 divide j?
False
Let v = -1088 - -3010. Is v/18 - 3 - (-6)/27 a multiple of 10?
False
Suppose 0 = v + 5*x - 134, 3*x - 4*x = 5*v - 646. Does 19 divide 6/(-9*2/(-12)) + v?
True
Let r(u) = -u - 7*u + 23 - 4*u + 2*u. Is 35 a factor of r(-11)?
False
Let u(p) = -p**3 + p**2 - p + 11. Let n be u(0). Suppose -4*h - n - 27 = -o, 4*o + 2*h = 224. Suppose 2*b + b = o. Does 6 divide b?
True
Suppose -j = 4*j - 20. Does 15 divide (22275/(-20))/(-11) + (-1)/j?
False
Let b be (0 - (-3)/4)/((-6)/(-24)). Let k(z) = z**3 - 3*z**2 - 3*z - 4. Let d be k(4). Suppose d = l - 5*r - 38, -b*l + 2*r + 55 = -98. Does 14 divide l?
False
Suppose 4*a = 2*m + 238, 2*m + 0*m + 6 = 0. Suppose -3*h - h = 5*d + a, 3*h = -2*d - 40. Is 14 a factor of 5816/52 + h/(-78)?
True
Suppose -m - 6804 = -9*f, 12*f + 4*m = 15*f - 2268. Does 9 divide f?
True
Let b(q) = q**3 + 22*q**2 - 23*q + 37. Is b(-23) even?
False
Let s = 11 - 8. Suppose -6 = s*u, k - u + 28 = -113. Let q = 200 + k. Does 17 divide q?
False
Let v(b) = b**3 + 13*b**2 + 2*b - 7. Is v(-10) a multiple of 13?
True
Suppose 5*v + 3*g - 5*g - 48 = 0, -20 = -2*v + g. Let t = v - 4. Is t/(-3 + 11)*136 a multiple of 17?
True
Suppose 0*y = 9*y - 2772. Is y a multiple of 14?
True
Let i(c) = 7*c**2 + 30*c - 88. Is 8 a factor of i(12)?
True
Let a(l) = -5*l**3 + 7*l**2 - 4*l - 2. Let z be a(5). Let g = -314 - z. Is 10 a factor of g?
False
Suppose 0 = -14*l + 11*l. Suppose l = 7*b - 570 - 109. Is 14 a factor of b?
False
Suppose 3*g + 5*n = 268, -g - 4*n + 74 = -27. Suppose -j + g = 2*j. Let k = j + -11. Is k a multiple of 6?
False
Is 991/3 + 15/(-45) a multiple of 15?
True
Let t = -290 - -308. Is 18 a factor of t?
True
Suppose -16 = -14*p + 12*p. Let v be -11 + p - (-1 - -8). Let u(z) = z**3 + 9*z**2 - 13*z + 2. Does 8 divide u(v)?
True
Let r = 117 + -61. Suppose -22*o + 1272 = -16*o. Suppose o = 3*j + r. Is j a multiple of 18?
False
Suppose 3*p - 361 = 5*u, u - 44 + 121 = 3*p. Let f = u + 171. Suppose s + 3*s = f. Is s a multiple of 25?
True
Suppose 3*v - 3 = -5*f + 40, 15 = 3*f. Let o be (-10 + 2)*v/(-12). Suppose k + 3*k + o*t = 48, -5*k = -3*t - 68. Is k a multiple of 13?
True
Suppose -92*v + 98*v - 4596 = 0. Is v a multiple of 13?
False
Suppose -n + 60 = 3*n. Suppose n*h - 19*h + 32 = 0. Is h even?
True
Let z(c) = -3*c - 14. Let k be z(-3). Is (5 + -52)*5/k a multiple of 4?
False
Let n(m) = -2*m**3 - 2*m + 1. Let w be n(1). Let r(q) = 3*q + 7. Let s be r(w). Is 9 a factor of 28 + (-5)/(-10)*s?
True
Suppose -4086 = -7*r + 3*g, 5*r - 15*g + 10*g - 2910 = 0. Is 4 a factor of r?
False
Suppose -f = 4*l - 101, -4*f - 4*l + 186 = -2*f. Suppose 110 = -5*k - f. Let v = k + 56. Is 9 a factor of v?
False
Let r = -8 - -14. Let l = -1 + r. Suppose 5*j = -m + 63, 0*j + 21 = 3*j - l*m. Does 6 divide j?
True
Let d = 1085 - 667. Does 22 divide d?
True
Let z(g) = g**2 + 14*g - 12. Let c be z(-14). Let o = -10 - c. Suppose o*w - 103 = -1. Does 16 divide w?
False
Let u be (1 + 18/(-10))*-20. Let k = -28 + u. Let a = k + 24. Is a a multiple of 2?
True
Let o(a) = 3*a**2 + 6*a - 1. Let j be (2/(-4))/(7/(-182)). Let v = 8 - j. Is 11 a factor of o(v)?
True
Let o be ((-13)/13)/(2/(-14)). Suppose -c + o = -4. Does 2 divide c?
False
Suppose -7*f = -5*f - 6. Let v be -3*f/(18/(-10)). Let s(w) = w**2 - 2*w + 11. Is s(v) a multiple of 13?
True
Suppose 53*o + 1552 = 69*o. Is o a multiple of 6?
False
Let m be (-15)/2 + 19/38. Let d be (-20)/m + 10/70. Suppose -g + d*g = 28. Is g a multiple of 14?
True
Let n be (0 - 4/2) + 137. Suppose -n = -5*f - l, l = -0*f + 3*f - 73. Does 13 divide f?
True
Let b(f) = -f**3 + 8*f**2 - 9*f - 7. Is b(6) a multiple of 4?
False
Let m(w) = w**3 - w**2 - w - 18. Let n be m(0). Let j be n/(-14) - 2/7. Suppose 3*b = -x - 0 + 10, 0 = -x + j. Does 3 divide b?
True
Suppose -2*c - 2*i + 2516 = 0, 0 = c - 6*c + 2*i + 6297. Is 17 a factor of c?
False
Is 5 a factor of (-122)/(-3)*(-16)/((-320)/270)?
False
Let u be (9/27)/(1/9). Is 10 a factor of 2 - -3*(3 + u)?
True
Let c = 1084 - 645. Does 2 divide c?
False
Let x(c) = -31*c**2 - 4*c + 2. Let j be x(1). Let p = 80 + j. Does 18 divide p?
False
Let j be (-3)/((-42)/(-4)) - 450/(-105). Suppose -2*g - 4*u = -6*g + 64, 2*g + 5*u - j = 0. Is 4 a factor of g?
True
Suppose 0 = -10*w + 11*w - 7. Is 11 a factor of (0 - -35) + (-7)/w?
False
Let c(y) = 12. Let p(o) = -o + 1. Let h(x) = -c(x) + 2*p(x). Let m be h(-9). Let k(i) = i**2 - 7*i + 8. Is k(m) a multiple of 8?
True
Suppose 4995 = -49*m + 52*m + 3*f, 0 = -3*m - 5*f + 4997. Is 33 a factor of m?
False
Let d(z) = z**2 - 8*z - 49. Is d(-9) a multiple of 22?
False
Let m = 86 + -31. Is 5 a factor of m?
True
Let w = 189 - 84. Suppose -6*m = -3*m + 3*c - w, 178 = 5*m + 2*c. Is m a multiple of 14?
False
Let o = 3807 + -2685. Is o a multiple of 22?
True
Let x = 96 - 63. Let u be 18 - 4 - 3 - 6. Let m = x - u. Does 9 divide m?
False
Suppose 0 = -5*i + o + 7400, 4*i - 5*o = 