rue
Let q(p) = -487*p + 23. Is 10 a factor of q(-1)?
True
Let i = 40 + -96. Let p = -51 - i. Is p a multiple of 3?
False
Does 14 divide 62 + (2 - (11 + -17))?
True
Let m = -842 + 1500. Is 14 a factor of m?
True
Let r(w) = -w**2 - 13*w - 13. Let j be r(-5). Let k = 1 + j. Is k a multiple of 14?
True
Suppose -13*z + 2993 = -101. Is 7 a factor of z?
True
Suppose -3*n - 15 = -8*n. Let l(r) = r**3 + 13*r**2 - 10*r + 59. Let i be l(-14). Suppose 0 = -2*s - i*f + 13, -1 = -5*s + n*f + 21. Is s a multiple of 5?
True
Let q(b) = b**2 - 4. Let x be q(-3). Suppose -3*r + 117 = c + 45, 5*c - 3*r = 288. Suppose x*o = y + 162, -2*o - y + c = y. Is o a multiple of 8?
True
Suppose 0 = -6*v - 85 - 137. Let l = v - -71. Is l a multiple of 22?
False
Suppose -37*z = -33*z - 7224. Is 20 a factor of z?
False
Let t(j) = -6*j - 4*j**2 + 112*j**3 + 2 + 2*j**2 + 2*j + 2*j. Is 10 a factor of t(1)?
True
Let x(k) = -k**2 + 5*k - 10. Let d(v) = -1. Let o(r) = -2*d(r) - x(r). Is o(-12) a multiple of 37?
False
Does 5 divide (-100)/(-450) - (-2246)/18?
True
Let o = -140 - -335. Is 15 a factor of o?
True
Let u = 35 - 19. Is ((-8)/u)/(2/(-216)) a multiple of 6?
True
Let p(c) = -7*c**2 - 3*c - 2. Let g be p(-2). Let o be 1*3/(9/g). Let m = o + 25. Is m a multiple of 8?
False
Let c = 370 - 202. Is 7 a factor of c?
True
Is 36 a factor of 7*72 - (4 - -5 - 9)?
True
Suppose -3*m = 747 - 762. Let t(h) = -h**2 - 4*h + 4. Let n be t(-4). Suppose -2*c = -3*k + 14, -n*k - m*c + 72 = 15. Is k a multiple of 8?
True
Suppose 2*z + 4*n - 59 = 185, -280 = -2*z + 5*n. Is z a multiple of 26?
True
Suppose 2*t + 3*x = -29, 0 = -t + x + x + 3. Let w = t + 7. Suppose -3*f - 5*b = -108, w = -4*f + 2*b - 0*b + 118. Is 31 a factor of f?
True
Let a(y) = y**2 - 3*y - 10. Let z be a(-3). Let m be (22/(-3))/((-4)/6). Suppose 0 = 3*k + l - m, -4*l = 3*k - z*k + 24. Does 2 divide k?
True
Suppose 2*j - 3*m - 15 = 0, -4*m - 6 = j - 41. Suppose j*f = 9*f + 1236. Does 32 divide f?
False
Suppose 7*t = 4*t + 3. Let g be (1 - 2)/(t/4). Is 8 a factor of 19 - (-3)/(3 + g)?
True
Let u(h) = 12*h**2 - 52*h - 39. Does 9 divide u(20)?
False
Let b = 1127 - 671. Suppose 0 = -2*x + y - 3*y - 228, -b = 4*x + 5*y. Is x/(-4) + 3/(-6) a multiple of 9?
False
Does 90 divide 811 + (-17 + 6)/11?
True
Suppose -2*w - f + 566 = f, 2*w + f = 561. Does 2 divide w?
True
Is 5 a factor of -2 - ((-18)/9 - 1240)?
True
Let g(k) = -k**3 + 11*k**2 + 14*k. Suppose 0 = -7*w + 12*w. Suppose r = -w*r + 12. Does 12 divide g(r)?
True
Let m be 207/6 + 3/6. Suppose -191 + m = -4*r. Does 5 divide r?
False
Suppose -2*p = 5*f - 1507, 0*p + 2*p + f - 1511 = 0. Does 60 divide p?
False
Let d be 50/3*(-135)/10. Let g = d - -421. Is 14 a factor of g?
True
Let i be 1/2*(7 + -13). Suppose -2*a + 5*o = -a - 51, a - 4*o = 48. Does 12 divide (a/i)/((-1)/1)?
True
Let p be 6/5*(-40)/(-3). Let i = p - 3. Does 13 divide i?
True
Let t(m) = -4*m**2 - 3*m + 4324. Does 92 divide t(0)?
True
Suppose -2*i - 18 = -4*i. Suppose 4*t - i = -4*y - 1, 7 = 2*y + t. Suppose 0*v - 3*v = 3*f - 30, -2*f = -y*v - 55. Is 4 a factor of f?
False
Let y be -2 - (-1)/((-3)/507). Let x be (y/4)/(3/(-12)). Does 19 divide (7/21)/(3/x)?
True
Let o = 1628 - 1092. Is o a multiple of 67?
True
Suppose -3*n + 7 = -4*n - 3*y, 0 = -3*n + 2*y + 12. Suppose -n*r + 4*r - 118 = 0. Is 14 a factor of r?
False
Is 16 a factor of 77 + -77 - (-213 - (-1 + 2))?
False
Suppose 13*n - 1710 = 3477. Does 21 divide n?
True
Let d(m) = -m**3 - 8*m**2 - 7*m + 4. Let j be d(-7). Let c be 1 + (15/75)/(2/10). Suppose n + 34 = j*u, -c*n - 10 = -u - n. Is 3 a factor of u?
False
Let q(d) = -44*d**3 + d**2 - d - 1. Let z be q(-1). Suppose -3*r = -4*m + 122, -m = 6*r - 4*r - 25. Let b = z - m. Does 15 divide b?
False
Let o(v) = 20*v**2 - 46*v - 6. Is o(9) a multiple of 12?
True
Suppose 2*m + 3*y = 1327, -4*m - 15*y = -17*y - 2630. Is 7 a factor of m?
False
Suppose 3*v = -4*y - 61, 6 = v - y + 17. Let h = v + 19. Is 22 a factor of -1*(h - (-189)/(-3))?
False
Let v(l) = -l**3 - 3*l**2 + 3*l + 1. Let u = -7 - -4. Let a be v(u). Is 778/18 - a/(-36) a multiple of 19?
False
Let b = 19 - 22. Let d(h) = -24*h + 4. Does 19 divide d(b)?
True
Suppose -4*h + 3*j = -1377, 3*j = 63*h - 65*h + 675. Does 4 divide h?
False
Let q = -246 - -347. Suppose -q = -k + 131. Is 29 a factor of k?
True
Let s be 1/(2/2)*6. Let k(i) = -5*i - 3 + s*i + 10. Is k(8) a multiple of 12?
False
Is (-2*11)/(26/6 + -5) a multiple of 13?
False
Suppose 60*a - 10 = 58*a. Suppose -f + 33 = -3*x, 0 = a*f - x - 0*x - 109. Does 5 divide f?
False
Suppose -89271 - 179193 = -68*n. Is 35 a factor of n?
False
Does 44 divide (-4)/18*120*(-138)/5?
False
Let z(a) = -22*a - 49. Let v(u) = -22*u - 49. Let o(n) = -5*v(n) + 6*z(n). Does 7 divide o(-7)?
True
Let v(i) = 3*i**2 + 4*i - 4. Let q(t) = t**3 + 4*t**2 - 7*t - 5. Let m be q(-5). Let a be v(m). Let x = 161 - a. Is 17 a factor of x?
False
Let h(v) = -10*v - 14. Suppose 6*q - 6 = 7*q. Is 23 a factor of h(q)?
True
Suppose -5*n + 7 = 37. Let z(f) = -f**3 - 3*f**2 + 4*f + 2. Is z(n) a multiple of 33?
False
Let b = -2 - -7. Suppose -2*s = -6*s + x + 15, -4*s + b*x = 5. Suppose s*h - 105 = -0*h. Does 21 divide h?
True
Let g = -166 + 253. Suppose -86*d + g*d = 318. Is 18 a factor of d?
False
Suppose 0*l + 4 = 2*l. Suppose -l + 0 = z, -2*x - 3*z = 126. Let u = x - -95. Does 35 divide u?
True
Suppose 444 = 427*r - 423*r. Does 69 divide r?
False
Suppose 0 = 7*o - 3*o - 12. Suppose -3*b = -15 - o. Suppose -r - 100 = -b*r. Is r a multiple of 6?
False
Let r(g) = -16*g**3 - g**2 - 2*g - 1. Let x = 17 + -25. Let a(n) = -n**2 - 8*n - 1. Let c be a(x). Is 5 a factor of r(c)?
False
Let y(o) = -20*o + 701. Is 17 a factor of y(-10)?
True
Let a = -476 + 1280. Is 47 a factor of a?
False
Let q = -18 - -25. Suppose -q = 4*d + 5. Does 20 divide 29/((-28)/(-8) + d)?
False
Let b be 6/9 - 358*(-1)/(-6). Let a = 297 + -206. Let n = a + b. Is 16 a factor of n?
True
Let r(m) = -4*m**3 - 10*m**2 + 3*m - 4. Let g(k) = 3*k**3 + 9*k**2 - 2*k + 4. Let b(t) = -5*g(t) - 4*r(t). Is b(6) a multiple of 3?
False
Let k(c) = 9*c**2 - 2*c + 3. Let x be k(1). Suppose 5*i + 5*z = -x, i - 4*i - 3 = 2*z. Is 12 a factor of (4/(-8))/(i/(-26))?
False
Let w be (-3)/6*11*2. Let z = w + 15. Suppose -z*b - 2*r = -40, 0*b - 5*b + 45 = 5*r. Is b a multiple of 4?
False
Let t = -172 - -229. Is t a multiple of 8?
False
Let h(s) = -s**2 + 11*s. Suppose -2 - 14 = -5*l - 4*i, -5*i + 20 = -2*l. Let a be -3 - (-3 - l) - -9. Does 6 divide h(a)?
True
Suppose -2*d = -138 + 154. Let l(j) = 6*j. Let v be l(-2). Let w = d - v. Is 2 a factor of w?
True
Suppose -m - f = -2*f - 52, 0 = 2*m - f - 101. Is m even?
False
Suppose 0 = v - 5*v - 3*x + 613, -306 = -2*v - 2*x. Is v a multiple of 14?
True
Let d(k) be the third derivative of -13*k**4/24 - 5*k**3/6 - 4*k**2. Is 16 a factor of d(-9)?
True
Suppose 0 = 12*z - 6*z - 18. Suppose -10 = 5*w + 5*k, -4*k = -k - 12. Is 32 + z/(-6)*w a multiple of 20?
False
Suppose 5*s - 143 + 1107 = 4*i, -4*i = -3*s - 580. Let l = s + 277. Is 17 a factor of l?
True
Let z be 7 + (-2)/(3/3). Let i = z - -24. Is i a multiple of 14?
False
Let x(v) = 3*v**2 + 6*v - 2. Let y be (-3 - (-8 - -4))*8. Let o be x(y). Does 10 divide 8/32 + o/8?
True
Let t = 66 + 24. Suppose -t = -10*v + 5*v. Suppose v*i = 20*i - 84. Is 14 a factor of i?
True
Let w = -16 + 15. Let i = w + 5. Suppose -3*y + i*y = 72. Is 21 a factor of y?
False
Let f be -1*(2 + -3) + (-1 - -5). Suppose 0 = f*m + v - 396, -3*m - 40 = -3*v - 274. Does 9 divide m?
False
Suppose 16*v - 5720 = -10*v. Is 20 a factor of v?
True
Suppose 4*a - 1138 = -3*z, 5*a + 11*z = 15*z + 1438. Is 22 a factor of a?
True
Let y = -348 + 377. Does 16 divide y?
False
Suppose 5*b = 2 + 3. Is 16 - ((-50)/(-15) + b/(-3)) a multiple of 9?
False
Suppose 461 - 2472 = -p + 2*w, 2*w = -5*p + 10019. Is p a multiple of 25?
False
Is 65 a factor of 39696/12*24/32?
False
Let k = 177 + -68. Is k a multiple of 8?
False
Let x = 8 + -8. Suppose -2*o + 11 = -2*j - 31, x = 4*j + 3*o + 119. Let p = j - -65. Is p a multiple of 19?
False
Is 3 + ((-3240)/(-14) - (-32)/56) a multiple of 47?
True
Let g = 7532 + -2812. Does 55 divide g?
False
Suppose -104*g + 102*g + 2068 = -4*h, -2*g + 2058 = h. Is g a multiple of 10?
True
Suppose 124*g - 127*g + 21 = 0. Suppose 0 = -4*v - 2