
True
Suppose -10 = -8*o + 3*o. Let q(h) = -2 - o - 4 + 6 + 15*h**2. Does 5 divide q(2)?
False
Suppose 975*x - 49025 = 922*x. Suppose 10 = 4*m + m. Suppose -4*l = -3*q - x, m*l = 4*q + 103 + 357. Is 29 a factor of l?
True
Let s(i) = i - 6. Let a be s(12). Let z = -248 - -398. Suppose a + z = 3*r. Does 26 divide r?
True
Let s(i) = 64*i - 868. Let j be s(16). Let f = 8 - -99. Let h = j - f. Is 20 a factor of h?
False
Let v(l) = 2*l**2 + 104*l - 427. Is 269 a factor of v(44)?
False
Suppose -2*c = -8, -2*g - 4*c + 4 = -12. Suppose -3*z - 5*m + 131 = g, 0 = -2*z - 3*m + 52 + 36. Is z a multiple of 30?
False
Suppose -84 = -g - 3*n, -2*g = 3*n - 0*n - 183. Let c = g - 93. Let i(s) = 2*s**3 - 10*s**2 + 12*s - 12. Is 13 a factor of i(c)?
False
Let b(p) = p**3 - 2*p**2 - 10*p - 7. Let g = 183 - 177. Is 13 a factor of b(g)?
False
Let q(z) = -515*z + 2352. Does 51 divide q(-9)?
True
Let w be 16/(-3)*(-3)/4. Suppose -388 = -w*h - 2*b, 0 = -h + 2*b + 86 + 11. Let p = h + 87. Does 14 divide p?
False
Suppose 5*h = 3*p - 64, -2*h + 5*p = 2*p + 31. Suppose 3*t - 56 = 100. Let g = t - h. Is 7 a factor of g?
True
Is 23 a factor of ((-9 - 2) + -17961)*(-30)/12?
False
Let z(k) = 5*k - 64. Let y be z(11). Is 2 + (1 + 0)/(y/(-1602)) a multiple of 3?
True
Let z = -25235 + 46869. Does 206 divide z?
False
Is 75 a factor of 2 + (-23171)/(-3) + 70/(-105)?
True
Let q(u) = 2*u**3 + 7*u**2 - 24*u + 11. Let s be q(2). Let n(w) = w**2 - 5*w + 17 + 4*w + 7. Is 43 a factor of n(s)?
False
Let g be (-3 - 2)/(3 + 41/(-14)). Does 16 divide (-36967)/g - (-2)/(-20)?
True
Suppose -368379 = 300*o - 1483179. Does 18 divide o?
False
Let w(p) = -1005*p - 13916. Is w(-88) a multiple of 247?
False
Let i = -8791 - -12553. Does 38 divide i?
True
Suppose 5*k - 4*h = 35060, 14*h - 14031 = -2*k + 17*h. Does 6 divide k?
True
Let d = -69 - -73. Suppose -4*q - d = 5*b, b + 6 = 2. Suppose 0 = -y + 4*v + 26, -q*v + v + 108 = 3*y. Is y a multiple of 9?
False
Let x = 2749 + -1444. Suppose -1760 = 1300*l - x*l. Does 16 divide l?
True
Suppose -735 = i + 3*j, 74*i + 1520 = 72*i + 4*j. Let v = i + 800. Is v a multiple of 50?
True
Is 123 a factor of 5986/73*(-7 + 2)*-18?
True
Let h = 4502 + -1290. Does 44 divide h?
True
Let u(r) = -2*r**3 - 7*r**2 + 2*r + 28. Let c be u(-6). Let d = c + -102. Is 11 a factor of d?
False
Suppose -3*l = -5994 - 18237. Is 25 a factor of l?
False
Let x(q) be the second derivative of -25*q**3/3 + 11*q**2/2 + q - 15. Is 56 a factor of x(-7)?
False
Does 23 divide 12/(-4) - (-10521 - (-5 + 4)*4)?
False
Let k(s) be the first derivative of s**3/3 - 5*s**2/2 + 14*s + 14. Let n be k(-9). Is 41 a factor of ((n/8)/1 + -1)*6?
False
Suppose 0 = 16*t - 51 + 3. Suppose 4*r = -4*i + 96, r + 75 = t*i + 5*r. Does 2 divide i?
False
Suppose d + 5*p = 23, 0*d + 5*p - 11 = 3*d. Suppose 0 = -2*n - 5*z + 673, 1206 - 183 = d*n + 3*z. Is n a multiple of 12?
False
Let p(q) = -25*q + 52. Let v be p(2). Let a(g) = -6*g**3 + g**2 - 4*g + 1. Let n(c) = c**2 + 1. Let i(y) = -a(y) + n(y). Is 26 a factor of i(v)?
False
Suppose 0*s - 375489 = -19*s - 8*s. Does 23 divide s?
False
Let m be 9/(6/90*3). Does 7 divide m/225 + (-1149)/(-5)?
False
Let f(w) = 387*w**2 + 237*w + 1482. Is f(-6) a multiple of 11?
True
Suppose 0 = -3*o + t + 972, 0*o + o = t + 322. Suppose -2*l + o = -217. Let f = l - 179. Does 23 divide f?
True
Let z be 2481*7/63 + (-1)/(-3). Suppose -251 = -2*d + 3*x, -4*d + 256 = 4*x - z. Does 65 divide d?
True
Let z be (-15339)/(-27) + (-5)/45. Let r = z + 402. Suppose 724 = 3*j + 4*d, -8*j + r = -4*j + 3*d. Is j a multiple of 36?
False
Suppose 4*y + 0*r - 23 = 3*r, 2*y - 25 = -3*r. Suppose -y*n - n = -36. Suppose f - 33 = -c, 4*c + 167 = n*f + c. Does 8 divide f?
False
Let s = 21091 + -12380. Does 47 divide s?
False
Let n(l) be the second derivative of -1/2*l**2 - 18*l + 0 + 1/2*l**3. Does 2 divide n(7)?
True
Let c = -86 + 91. Suppose -9 = -c*h + 16. Is -1 - 44/(-7 + h) a multiple of 6?
False
Suppose -13*f + 3*f = 4020. Is 9 a factor of ((-32)/24)/(8/f)?
False
Let g(i) = 2*i. Let p be g(3). Let d(s) be the third derivative of s**5/60 - s**4/12 + 2*s**3 + 311*s**2. Is 6 a factor of d(p)?
True
Let o = -26941 - -39725. Is 94 a factor of o?
True
Suppose -4*l + 76 = 4*b, 5*b - 11 = l - 0*l. Let u be (-32 + l)*(1 - 0). Is 98 + ((-12)/u)/((-2)/6) a multiple of 16?
True
Suppose 4*j - b = -585, -5*b - 256 - 347 = 4*j. Let y = 1332 + j. Is 15 a factor of y?
True
Let r(g) be the second derivative of g**5/20 + 23*g**4/12 + 5*g**3 - 7*g**2 - 16*g. Does 14 divide r(-21)?
True
Suppose 0 = i - 8 - 5. Suppose 27 - 1 = i*f. Suppose f*m = -4*h + 100, h = m + m - 120. Is 18 a factor of m?
False
Let t = 14576 + -11156. Is 18 a factor of t?
True
Let p(b) = -6*b - 66. Let a be p(0). Let m = -33 - a. Let t = 97 - m. Is 16 a factor of t?
True
Suppose -3125 - 10675 = -15*o. Is 5 a factor of o?
True
Let l be (6/42*7)/((-2)/(-6)). Suppose c = q + 12301, -c + l*q + 12286 = -q. Does 22 divide (-2)/(-10) - c/(-70)?
True
Let i(b) = -b**3 + 20*b**2 - 12*b - 25. Let t(v) = -19*v + 41*v - v**3 + v**2 + 19 - 23*v. Let f be t(0). Does 18 divide i(f)?
True
Let z(l) = -2*l**3 - 15*l**2 - 5*l - 12. Let u be z(-8). Suppose -60 = -n + u. Is 19 a factor of n?
True
Let y(q) = -6*q - 149. Let c(p) = -28*p - 748. Let u(z) = 2*c(z) - 11*y(z). Is u(-10) a multiple of 15?
False
Let r(o) = -10*o**2 + 11*o**2 + 7*o**3 + 5*o**3 - o - 5*o**3. Let w = -23 - -26. Is r(w) a multiple of 15?
True
Let u = 2537 - 4031. Let y = -1050 - u. Is 29 a factor of y?
False
Let k = 17288 + -2532. Is k a multiple of 17?
True
Suppose d - 10 = 2. Let i(o) = o**2 - 12*o + 4. Let r be i(d). Suppose r*z + p = 689, 5*p = -z + 4*z - 534. Is z a multiple of 38?
False
Let t(x) = -x**2 - 13*x + 16. Let j be t(-14). Let a(f) = j*f**3 - 9*f**2 - 4*f**3 + 6*f**2 + 3*f**3 - 5*f. Is a(6) a multiple of 22?
False
Suppose 3*v - 5*o = 148, 4*v - 42 = -5*o + 97. Let u = -16 + v. Suppose 2*w - t = -6*t + 45, 3*w = t + u. Is w a multiple of 6?
False
Let m(c) = 4*c**2 - 7*c + 12. Let u be 14/28 - 29/(-2). Let a be m(u). Suppose -273 = -5*h + a. Is h a multiple of 18?
True
Let o = 18368 + -9960. Is o a multiple of 18?
False
Let g = 174 + -168. Does 52 divide g + 1790/(-6 - -11)?
True
Let i be (15 - 6) + -1 - 18. Is 18/i*6650/(-42) a multiple of 17?
False
Let q = -316 + 306. Let w(c) = c**2 - 14*c. Is w(q) a multiple of 15?
True
Let b(h) = 138*h**2 - 114*h - 18. Is b(6) a multiple of 54?
True
Let t be 255/75 + (-2)/5. Suppose q + 2*p - 35 = 0, -p = t*q - 0*p - 80. Suppose -27 = 22*c - q*c. Is 9 a factor of c?
True
Suppose 4*t - 5*o - 29 - 77 = 0, t - 2*o - 28 = 0. Suppose -8481 = -t*d - 129. Is 29 a factor of d?
True
Let j = -9 + 9. Suppose -25*c = -7*c - 54. Suppose 3*v - 377 = -4*k, 2*v + j*v - 252 = -c*k. Is v a multiple of 26?
False
Suppose 3*q - 3*z = -q + 45, 0 = q + 3*z - 15. Suppose 0 = k + 2 - q. Suppose -k*a + 119 = -3*a. Is 17 a factor of a?
True
Suppose -4*i - 2 + 18 = 0. Let b = 22 - -291. Suppose i*o - 74 = 4*q - 5*q, o - b = -5*q. Is q a multiple of 31?
True
Suppose -18*g + 23*g - 107120 = -5*o, -2*o = 8. Does 16 divide g?
False
Is ((-147)/(-21) + 9874/10 + -4)*15 a multiple of 19?
False
Suppose -8*v - 3 = -11. Let d be (3 - (5 + -3))*151/v. Let b = -36 + d. Is 23 a factor of b?
True
Suppose 157*p + 142*p + 108974 = 588271. Does 7 divide p?
True
Let y(c) = -2*c + 14. Let p(o) = -8*o - 28. Let s be p(-5). Let f be y(s). Is 2 + f - -4 - -88 a multiple of 12?
True
Suppose 3*w = -3*j - 565 + 3748, -j = 4*w - 4232. Is 2 a factor of w?
False
Suppose 4*z - 3*x = 119, 0 = z + z - 4*x - 72. Suppose 2*y - 36 = 2*m + z, 2*m - 37 = -y. Is y a multiple of 6?
False
Suppose -7*b + 11*b - f - 13181 = 0, 0 = -3*b - 2*f + 9883. Is b a multiple of 26?
False
Let f(n) = -n**3 - 45*n**2 - 43*n + 62. Let g be f(-44). Is 4 a factor of 12/9 + 678/g?
False
Let r(w) be the third derivative of 5*w**4/24 + 11*w**3/3 - 34*w**2. Let n be r(-6). Is n/(-2*5/20) a multiple of 16?
True
Suppose -5*w + 2*h + 95775 = 23818, -3*h - 71963 = -5*w. Does 8 divide w?
False
Suppose 33*f - 20930 = -59*f + 78*f. Is f a multiple of 96?
False
Let l(q) = q**3 + 23*q**2 + 68*q + 131. Does 4 divide l(-7)?
False
Suppose 315 = 12*w - 3*w. Let j = w - 32. Is 9 a factor of j*18 - (-11)/((-11)/4)?
False
Let w(v) = 12*v**3 - 9*v**2 + 