Let w(y) = -2*y**2 + 7*y + 2. Let o(i) = -3*i**2 + 8*i + 2. Let u(t) = 5*o(t) - 6*w(t). Let a be u(3). Let h = 53 + a. Does 9 divide h?
True
Suppose 10*j - 3373 = -223. Suppose 2*a = 791 - j. Does 14 divide a?
True
Let q = -285 + 365. Is q a multiple of 5?
True
Is 10/40*3972 - -3 a multiple of 83?
True
Is -1063*(-1 + 30/42)*7 a multiple of 25?
False
Suppose 4*b = 11 - 3. Let c be 5/(3/42*b). Suppose d - c = -0*d. Is d a multiple of 35?
True
Suppose -y - 2*f - 9 = 0, 4*y = 3*y + 2*f + 7. Is 17 a factor of (-1)/(y/429*3)?
False
Suppose 1131 + 753 = 6*s. Suppose -4*t = -s - 86. Is t a multiple of 27?
False
Suppose -2*x = 5*k - 84, -3*k + 3*x + 24 + 39 = 0. Let w = 21 - k. Suppose -64 = -w*j + v + 61, -5*v = -20. Does 13 divide j?
False
Let m(f) be the first derivative of -3/2*f**2 - 7 - f. Is 9 a factor of m(-12)?
False
Suppose 11*w + 0*w = 396. Let r = w - 8. Is r a multiple of 14?
True
Does 8 divide (-58*1)/((-13)/104)?
True
Suppose -3*s = 5*v - 1225, 0 = 4*v + 5*s - 4*s - 987. Is v a multiple of 8?
True
Suppose 2*g - 4 = 2*i - 60, 2*i + 3*g = 36. Is i even?
True
Let z(h) = 117*h + 1221. Is 67 a factor of z(-7)?
True
Suppose 15*z = 16*z - 9. Let j = -12 - 9. Let g = z - j. Does 15 divide g?
True
Suppose 5*p = -25 + 60. Suppose c = p*c - 180. Does 5 divide c?
True
Let v(o) = 2*o**3 - 45*o**2 - 27*o - 57. Is v(24) a multiple of 33?
True
Let k = -305 + 602. Is 13 a factor of k?
False
Let a be (-748)/(-6) + 8/24. Let j = -64 + a. Suppose -5*n + 89 + j = 0. Does 9 divide n?
False
Let q(n) = 409*n - 681. Does 9 divide q(6)?
True
Suppose 3*g = -2*t + 199, 0 = -2*t - g + 160 + 33. Is t a multiple of 19?
True
Let b = 74 + -43. Suppose 5*t + 32 = n, -2*n - 2*t = -b - 33. Let l = n + -19. Does 13 divide l?
True
Let r = -10 + 13. Suppose -r*v - 235 = -5*f - 53, -3*f - v + 98 = 0. Is f a multiple of 9?
False
Let m = 26 - 16. Is 32 a factor of m/3*(5 - -28)?
False
Let n(c) be the second derivative of c**4/12 + 3*c**3/2 + 11*c**2/2 + c. Suppose -5*o = -10*o - 40. Is n(o) a multiple of 2?
False
Let x(p) = 7*p + 367. Is x(44) a multiple of 23?
False
Suppose 63*b - 8520 = 57*b. Does 10 divide b?
True
Let c(u) = 16*u**2 + 3*u - 3. Let k be c(3). Suppose -k + 54 = -4*n. Does 6 divide n?
True
Let n(t) = 27*t**3 - 3*t**2 - 3*t - 2. Let i be n(-1). Let r = -9 - i. Is r a multiple of 20?
True
Let q(p) = -61*p**2 - p - 2. Let l be q(2). Let m = -81 + -66. Let a = m - l. Is 22 a factor of a?
False
Suppose c = -3*p + 1691, 177*p - 175*p + 2*c - 1126 = 0. Does 27 divide p?
False
Suppose 169*n = 168*n + 208. Is n a multiple of 17?
False
Let g = 154 + -48. Does 6 divide g?
False
Let p = -308 - -3363. Is 133 a factor of p?
False
Let d be (8 - 10)/(-1 - (-162)/164). Suppose -12*q + d + 100 = 0. Is q a multiple of 14?
False
Suppose n = 3*n - 2*d - 104, 0 = -4*n + d + 202. Is 19 a factor of 572/10 - 10/n?
True
Suppose r = 3*o + 334, r - 350 = -5*o - 0*o. Is r a multiple of 17?
True
Suppose 0 = -c - 2 + 4. Suppose 2*g - 34 - c = 0. Let j = -13 + g. Is j even?
False
Let w be 255/6*4/(-5). Let s(d) = d**2 - 48*d + 112. Let f be s(47). Let t = f + w. Is t a multiple of 18?
False
Let c(a) = a**3 + 25*a**2 + 18*a + 1. Is c(-23) a multiple of 53?
False
Let j be -5 + 1 + 1 + 669. Suppose 3*y - 3*d + j = d, -2*y - 445 = -3*d. Does 6 divide 2/(-9) - y/9?
True
Let s = 1 + -7. Let d = -14 + s. Let y = d - -34. Does 10 divide y?
False
Let k be (-2 - 4)*2/(-6) - -4. Is 4/k*(0 + 135) a multiple of 30?
True
Suppose -2 = t + r, 10*t - 5*t + 4 = r. Is 372/6 + -4 + t a multiple of 19?
True
Suppose -2*p + 75 = -5*x, 5*x = 5*p + 2*x - 197. Is p a multiple of 8?
True
Let j(r) = -r**3 - 7*r**2 + 2*r + 2. Let g(l) = -l**3 - l**2 + l + 1. Let y(p) = 2*g(p) - j(p). Let a be y(5). Suppose -3*i = -a*i - 30. Is 5 a factor of i?
True
Suppose 4*y = -2*f + 1684, -3*f = 4*y - 1369 - 311. Is y a multiple of 9?
True
Suppose 24 = 6*k - 90. Suppose -3*l - 4 + k = s, -4*s + l + 8 = 0. Suppose -4*m + s*m = -28. Does 28 divide m?
True
Let o = -3583 + 6571. Does 36 divide o?
True
Let r be 2 - ((-2 - -3 - 3) + 0). Suppose r*u + 28 = 612. Is u a multiple of 10?
False
Let s = 20 - 13. Suppose -5*j + 69 = 3*c, 3*c - 5*j - s = 92. Let o = c + -2. Is 8 a factor of o?
False
Suppose 0 = -34*h + 38*h - 736. Is h a multiple of 6?
False
Suppose -9*b + 5*b + 8 = 0. Suppose 2*u + b*g - 13 = u, -4*u = g - 24. Suppose -u*o - 40 = -6*o. Is o a multiple of 11?
False
Suppose 40455 = -43*b + 74*b. Does 22 divide b?
False
Is 1/((-7)/(-3275)) + 31/217 a multiple of 9?
True
Let t = -112 - -425. Does 4 divide t?
False
Let a = -733 + 1055. Is 23 a factor of a?
True
Let q be (-56 + 2)*5/20*-6. Suppose -25 = -k + 3*r, 0 = 4*k - 5*r - 33 - q. Does 12 divide k?
False
Let k(o) be the third derivative of -o**5/60 - o**4/24 + 2*o**3 - o**2. Let h be k(0). Is 11 a factor of 4 + h + 5 + -2?
False
Let o(c) = -c**3 + 6*c**2 + 2*c + 12. Let m be o(5). Let d(k) = k + 1. Let x be d(1). Suppose x*a = 3*a - m. Is 11 a factor of a?
False
Let u(l) = -l + 8. Suppose -3*d = -0*d + 9, -3*z + 18 = -2*d. Let i be u(z). Suppose 0 = 6*m - i*m - 30. Does 15 divide m?
True
Let b = 159 - 130. Does 29 divide b?
True
Suppose s - 2*p = 23, s = -2*p - 3*p + 9. Let u = s - -99. Is 21 a factor of u?
False
Let j be (-9)/12 - (-130)/(-8). Let f = j - -22. Suppose 3 = -m + 4*q, f*m + 3*q - 23 = 54. Does 10 divide m?
False
Let x = 777 + -525. Does 6 divide x?
True
Let x(w) = -w**3 - 5*w**2 - 6*w + 8. Let m be x(-4). Is 4 a factor of m/(-88) - (-1029)/33?
False
Suppose -11*m - 46860 = -22*m. Is 33 a factor of m?
False
Let w(q) = 4*q - 5. Let x be w(2). Suppose 0 = -x*l + 58 + 122. Does 19 divide l?
False
Let n = 14 - -182. Is 49 a factor of n?
True
Let v = 827 - 453. Is 17 a factor of v?
True
Let i = 12 - -2. Let d(h) = h + 23. Let g be d(5). Let t = g + i. Does 21 divide t?
True
Let h(o) = 264*o**3 + 6*o - 7. Does 16 divide h(1)?
False
Let v be (-3237)/(-21) + 1/(-7). Suppose 3*j - v = 2*j. Suppose 2*z = 4*o + 104, 5*z + 5*o - 46 = j. Does 5 divide z?
False
Suppose 4*u + 5*h + 108 = 0, -3*h - 2*h = -3*u - 46. Let z = u - -175. Does 33 divide z?
False
Let a(q) = -q**3 - 6*q**2 + q + 8. Let k be a(-6). Let l be 1/(4*k/24). Suppose -l*r + 84 = -r. Is 15 a factor of r?
False
Suppose 0 = -19*d + 23*d - 868. Let k = d - 128. Does 27 divide k?
False
Let v = 9 + -4. Suppose -u + 18 = 4*z - 226, 0 = v*z + u - 304. Is z a multiple of 20?
True
Is 4 a factor of 34 + (-42)/7 + 12?
True
Suppose 74*m = 67*m + 5705. Does 77 divide m?
False
Let t(c) = -490*c + 25. Is 29 a factor of t(-1)?
False
Suppose 0 = 5*s - 25, -5*j + 77 + 118 = -s. Is 17 a factor of 12*2/12*j?
False
Let w = 256 + -534. Let z = -81 - w. Does 13 divide z?
False
Let f(y) = y**3 + 2*y**2 - 2*y + 3. Let o be f(-3). Suppose 4*d - 2 = g + 238, -2*g = o. Does 10 divide d?
True
Let s = 2264 + -1482. Does 34 divide s?
True
Suppose 31*x + 384 = 33*x. Does 16 divide x?
True
Let a be -4 + (2 - 12/(-4)). Suppose -3*g - a = -25. Does 36 divide g + (-16)/4 + 140?
True
Suppose 715 = 10*b - 875. Is 36 a factor of b?
False
Let g(p) = -p**3 - 26*p**2 - 59*p - 33. Does 15 divide g(-25)?
False
Let t(b) = -b**3 + 4*b**2 + 3*b - 1. Let x(h) = 3*h - 1. Let s be x(5). Let o = 18 - s. Does 11 divide t(o)?
True
Let o(l) = -2*l**2 + 3*l + 3. Let t be o(4). Let g = t - -22. Suppose -a - g*k + 21 = 0, 3 = -0*k + 3*k. Is a a multiple of 2?
True
Let p be ((-212)/(-8) + -4)*12/(-15). Is 24 a factor of 383/4 + p/24?
False
Let o(y) = 2*y**2 - 2*y + 60. Is o(-10) a multiple of 35?
True
Let y(a) = -3*a**2 - 6*a + 380. Is y(0) a multiple of 10?
True
Let b be (-315)/385 + (4/(-22))/1. Does 27 divide 3 + (b/1 - -3)*34?
False
Does 128 divide (-3832)/(-10) + 17*80/1700?
True
Suppose -q = 5*s - 135, -2*s + 3*q = 3*s - 155. Let k = 135 - s. Is k a multiple of 33?
False
Let r = -1 - -10. Let k = 25 + r. Does 16 divide k?
False
Suppose -61 = -5*q + 4*x, -3*x - 7 = 5. Suppose 0 = 4*k - 7*p + 2*p - 191, 0 = 3*p + q. Does 22 divide k?
True
Let v(o) = 30*o**2 - 40. Does 3 divide v(-4)?
False
Suppose -j + 3*l + 44 + 133 = 0, 4*j - 708 = -l. Is j a multiple of 21?
False
Suppose 2*j - 2*b + 21 = 3*b, 0 = 2*j + 5*b - 29. Suppose 0 = -3*x - 3, -j*s = -4*x - 86 - 94. Is 22 a factor of s?
True
Let k(v) = 11*v - 12. Let c(i) = 21*i**2 - 3*i - 1. Let q be c(1). Is k(q) a multi