Let f(m) = m**3 + m**2 + 60. Let h(y) = y**2 + 2*y + 1. Let z be h(-1). Let o be f(z). Let a = o + -30. Is 10 a factor of a?
True
Let o(l) = -4*l + 11. Let a(q) = 3*q - 12. Let d(t) = -7*a(t) - 6*o(t). Let n be d(-6). Suppose -8*i + 4*i + 104 = n. Does 13 divide i?
True
Let j be 168/2*17/34. Suppose -49*i + j*i = -3682. Is i a multiple of 60?
False
Suppose 5*x - 8 = 2. Suppose -x*y - y = -5*c + 16, c = -y. Suppose -5*f + 2*v = -c*v - 229, 4*f - 184 = 3*v. Does 49 divide f?
True
Suppose 2*i - 27 = -w + 16, -4*w - i + 207 = 0. Let y = w + -48. Suppose 5*n - 3*r = 453, y*r - 206 = -2*n - 31. Is 15 a factor of n?
True
Let g be 708/(-2) - (-40)/10. Does 13 divide g/(-4)*276/161?
False
Suppose 0 = 2*y + 4*a + 3711 - 12987, 3*a - 23232 = -5*y. Does 75 divide y?
True
Let z = -193 + 187. Let j(d) = -2*d**3 - 3*d**2 + 11*d + 10. Is j(z) a multiple of 32?
False
Let b(k) = -11*k**3 + 2*k**2 + 3*k. Let a = -271 + 269. Is b(a) a multiple of 35?
False
Let d(a) = 381*a + 899. Is 24 a factor of d(-2)?
False
Suppose -5*i = 12*i - 34. Suppose -i*h - 378 = -16*h. Is 24 a factor of h?
False
Suppose 156*w - 2579530 + 847930 = -69*w. Does 74 divide w?
True
Let l = 30 - 65. Let f be ((-64)/(-40))/(2/l). Let c = 112 + f. Is c a multiple of 14?
True
Let y = 38 + -25. Suppose 4*v - 3*i = 39, -7 + y = v - 2*i. Is v a multiple of 6?
True
Suppose -2*f + 22 = -w, 2*f + 1 = -w - 25. Let z = w + 24. Does 41 divide 2242/10 + ((-2)/10 - z)?
False
Let l = -245 - -755. Is 4 a factor of l?
False
Suppose -4225*v + 19285 = -4220*v. Does 7 divide v?
True
Suppose -17229 + 579061 = 23*f - 729296. Is 12 a factor of f?
True
Let k = -2666 + 4351. Suppose k = d + 9. Is d a multiple of 21?
False
Let x be 138/42 + (-30)/7 + 4. Suppose 2*o - 5*s - 92 - 46 = 0, 0 = -x*s. Does 5 divide o?
False
Let v(i) = -4*i**2 - 85*i + 46. Is 35 a factor of v(-18)?
True
Let f be (5*2 + -2)/((-2)/(-8)). Suppose 30 = -i + f. Is 14 a factor of (-3)/((-3)/i) + 104?
False
Suppose 3*c + c - z = 83, -c = 2*z - 32. Let s(n) = -39 + 23*n + 16*n - 36*n. Is s(c) a multiple of 7?
False
Let z(a) = -4*a - 31. Let y be z(-9). Suppose -y*q = -4*q - 300. Let s = -78 + q. Does 37 divide s?
True
Suppose -31722 = 8*t - 42*t. Does 5 divide t?
False
Suppose -262*w + 268837 = -177*w - 21948. Does 98 divide w?
False
Let h = -942 + 2633. Is 26 a factor of h?
False
Suppose -21*j - 456100 = -173*j + 394036. Is j a multiple of 14?
False
Suppose -c = 3*c + 248. Let r = c + -73. Let q = r - -165. Is q a multiple of 4?
False
Let x = 1467 - -73. Does 35 divide x?
True
Suppose -14 = -4*c + 5*l - 54, -l = -3*c - 30. Let n(m) = -2*m + 85. Does 6 divide n(c)?
False
Let m(n) = 121*n**2 + 44*n + 92. Is m(8) a multiple of 178?
True
Let y(x) = -119*x + 831. Does 74 divide y(-13)?
False
Let t(s) = -3502*s + 107. Is 23 a factor of t(-3)?
False
Suppose 0 = -6*k + 3*k - 5*z + 10, 6 = 4*k + 3*z. Does 9 divide (1 - (k + -590)) + 45/15?
True
Suppose -477*c + 480*c - 5*d - 19435 = 0, 0 = -4*c + 5*d + 25925. Is 13 a factor of c?
False
Let j = -1038 - -1146. Suppose -227 + 2 = 5*x + 5*i, -69 = x - 5*i. Let c = j + x. Does 16 divide c?
False
Let p = -40 + 43. Let q be ((-4)/12)/(p/(-423)). Suppose -51*n = -q*n - 560. Is n a multiple of 10?
True
Let d = 43 + -51. Let h(f) = -f**2 - 10*f - 12. Let j be h(d). Suppose -145 = -j*l - 17. Is 32 a factor of l?
True
Let m(d) = -2*d + 3*d - 2*d - 1. Let q be m(-1). Suppose -5*t + 215 = -q*t. Is 8 a factor of t?
False
Suppose 0 = 3*x + x - 2*s - 14, -3*s = 9. Suppose 2*b = -x*y - 10, 25 = b + b - 5*y. Is 9 a factor of -3*(-11 - (-2 - b))?
True
Let h(a) = -207*a - 75. Let s be h(3). Is 62 a factor of ((-33)/(-2))/((-3498)/s + -5)?
False
Let v(i) = -8*i - 258. Let b be v(-32). Does 8 divide 8/((-1 + 0)*b/44)?
True
Let v(g) = -16*g**3 - 2*g**2 + 7*g - 32. Is v(-9) a multiple of 21?
False
Suppose 16*k = -154 + 250. Suppose 0 = -k*p + 4836 + 3666. Is p a multiple of 20?
False
Suppose -5*g = 4*h - 6245, g + 110 + 1449 = h. Does 6 divide h?
True
Suppose 16 = 4*x, 5*x - 40 = -h - 0*x. Let d be ((-10)/h)/((-1)/(-2)). Let m(t) = -15*t + 5. Is 10 a factor of m(d)?
True
Suppose 3*s - 2 = 2*t, -t = -5*s + 21 - 13. Does 4 divide 2077/7 + t + 84/(-49)?
False
Suppose 68*b = -q + 71*b + 23397, 3*b + 70161 = 3*q. Is q a multiple of 9?
True
Suppose 27*i - 10805 = 22*i. Let k = i - 1358. Is 55 a factor of k?
False
Let j be 2/1 + -6 + 28. Suppose j*r = 21*r + 42. Is 14 a factor of r?
True
Suppose 3*t + 2*n - 690 = 0, 3*n - 209 = -3*t + 481. Let u = 438 - t. Does 57 divide u?
False
Let s = -41 - -72. Let b = 46 - s. Is 40 a factor of (-24)/(4/(-50)*b/4)?
True
Let x = 56 + -74. Let l = 20 + x. Suppose 5*g - 20 = -l*k + 167, -k + 113 = 3*g. Is g a multiple of 8?
False
Let r be 2*1*(18 - 2). Let p = r + 32. Suppose -2*v + 10 = -0*v + 4*l, -5*v + p = -3*l. Does 4 divide v?
False
Let n = 318 + -314. Suppose -v + n*r = -430, -5*r - 1137 = -2*v - 277. Does 43 divide v?
True
Let p(z) = z + 3. Let a be p(0). Suppose 0 = -i - 4*b + 114 - 24, -4*b + 20 = 0. Suppose v - 588 = -a*y, -4*y + 730 + i = -4*v. Does 14 divide y?
False
Let i = 0 - -2. Suppose 4*b - 775 = 5*y, i*b - y - 196 = 187. Is b a multiple of 19?
True
Suppose 68*i - 33*i - 8 = 33*i. Suppose 3*d = -2*s + 42, 0 = d + 3*d - s - 45. Suppose -5*a - i*f = -374, 5*f + d = 2*f. Does 26 divide a?
True
Suppose 16 = -437*x + 435*x. Let o(u) = -u**3 - 6*u**2 - 24*u - 40. Does 35 divide o(x)?
True
Suppose -14 + 6 = 2*y. Let x(l) = -20*l**2 + 3*l - 8. Let j be x(y). Let c = j + 508. Does 14 divide c?
True
Suppose 23*h - 44*h = -707511. Is 109 a factor of h?
False
Let j(t) = 253*t + 145. Let h be j(-33). Does 6 divide 3/18 + h/(-24)?
True
Let j(v) = 3*v**2 - 2*v + 23. Let p be -8*1/2 - -4 - -4. Suppose -44 + 64 = -p*o. Does 8 divide j(o)?
False
Let z(l) = l + 30. Let f be z(21). Suppose -4*d + 4*i - 164 = 0, -d - 255 = 4*d + 5*i. Let s = f + d. Does 2 divide s?
False
Suppose -7*z = -z + 2256. Let s = z - -628. Suppose -23*c + 25*c = s. Is 18 a factor of c?
True
Is 2010/(-4)*(19 - 18)*-16 a multiple of 12?
True
Let j be ((-27)/18)/(6/64). Let o = j + 13. Is (-2 + (-21)/(-9))*(-1017)/o a multiple of 10?
False
Suppose -4*k - 3051 = -c, 2*c + 2*k + k = 6047. Is 3 a factor of c?
False
Suppose -114 = -5*u + 1546. Suppose -6*s = -34 - u. Is 5 a factor of s?
False
Suppose -5*m = -3*h - 108 - 74, -5*h = 20. Suppose -42*f + 280 = -m*f. Is f a multiple of 7?
True
Suppose -5*z + 3*w + 990 = 0, 2*z + 5*w + 578 = 5*z. Suppose -87 - z = -4*b. Is 36 a factor of b?
True
Suppose -f + 2*f - 473 = -5*o, -5*f + 2260 = 4*o. Is 5/3 - f/(-48) a multiple of 6?
False
Suppose 5636 = 5*p - 4*r, -2*p + 15*r = 14*r - 2255. Is 6 a factor of p?
True
Let g(v) = 277*v**2 + 43*v - 682. Is g(10) a multiple of 8?
True
Suppose 4*f = 25 - 17, -2*f - 19988 = -3*u. Suppose -18*k = -10*k - u. Is k a multiple of 17?
True
Is 265914/44 + 9/6 a multiple of 39?
True
Let w = 109683 + -46405. Is w a multiple of 9?
False
Suppose q - 127 = -o, -5*o = -0*o + 2*q - 626. Let k = 27 - 19. Suppose -2*v = 2*v - m - o, -k = -2*m. Does 16 divide v?
True
Let t(i) = 4*i**3 - 11*i**2 + 8*i - 20. Let w be t(6). Let m = w + -422. Is 6 a factor of m?
False
Let x(f) = 8*f - 234. Let r(u) = 4*u - 118. Let t(k) = -5*r(k) + 2*x(k). Is t(23) a multiple of 5?
True
Let f be 4/(-6)*(-5 + 294/12). Let u = -50 + f. Is 21 a factor of (4 + (-6 - -5))*u/(-3)?
True
Suppose 7*x + 77961 = 40*x - 20*x. Is x a multiple of 28?
False
Let x(c) = -100*c + 30. Let t be x(-6). Suppose k + t = 3*p, -3*k = 23*p - 19*p - 840. Is 10 a factor of p?
True
Let b = 1006 - -93. Does 7 divide b?
True
Let w(s) = -s**3 + 5*s**2 + 15*s - 5. Let a be w(7). Suppose -a*n = -41 + 27. Suppose 2*l - n*l = 0, -5*l - 468 = -4*f. Is 13 a factor of f?
True
Suppose 91 = 3*h + 5*n, -2*n = 5*h - h - 140. Let o = h - 34. Suppose 0 = o*s - 5*y + 2*y - 60, 76 = 3*s + 5*y. Is s a multiple of 11?
True
Suppose 0 = -5*u + 3*r + 441, 3*r = -3*u + 409 - 154. Is u a multiple of 4?
False
Suppose h = -4*u + 19, -3*u = -2*h - 4*u + 66. Suppose h*b - 3075 = 30*b. Is 15 a factor of b?
True
Suppose 4*v - 9*v - 155 = 0. Is 14 a factor of 86*(54/12 + -5)*v?
False
Let b(f) = 3*f**2 - 15*f + 10. Let w be (-483)/28 - (-2)/8. Let d = -10 - w. Is 13 a factor of b(d)?
True
Let y = 32819 + -21535. Does 91 divide y?
True
Let j(c) = -c**