?
True
Let g = 42 + -33. Suppose -5 = -10*a + g*a. Let j = a + 4. Is 7 a factor of j?
False
Let i(b) = b**2 - 19 - 35*b + b**3 + 31 + 15*b**2. Let l be i(-18). Let h(k) = -k**3 - 7*k**2 - 8*k + 1. Is h(l) a multiple of 3?
False
Let y = -3394 + 4368. Is 41 a factor of y?
False
Does 42 divide 4/(-30) + 34660/75?
True
Let v = 48 + -71. Let b = -19 - v. Is 33 a factor of 2/(b*2/216)?
False
Suppose -654263 = -121*n + 836373 - 88972. Is 32 a factor of n?
True
Let h(s) = s**2 - 4*s - 10. Let k be h(6). Let y be k + -1*(-156)/4. Let p = 131 - y. Is 10 a factor of p?
True
Let v = 17702 - 10234. Is v a multiple of 25?
False
Let w be (-4)/20 + (-86593)/(-65). Let b = w + 285. Is b a multiple of 36?
False
Suppose -2*a + 129 = 4*c - 261, 0 = 4*a - 12. Is 4/6*11088/c a multiple of 4?
False
Let j = -2478 + 9975. Is j a multiple of 21?
True
Let o be 4 + (8 - (1 - -3)). Suppose 4*j = -o, 0 = -5*l + j + j + 644. Is 16 a factor of l?
True
Let g(t) = 52*t - 42. Suppose -12*q = -25*q + 156. Is 29 a factor of g(q)?
False
Let n(m) = m**2 - 8*m + 5. Let a be n(9). Let u be (-4)/(-20) - a/(-15)*3. Is 23 a factor of u/(-12) + (-369)/(-4)?
True
Let o(s) = 34*s + 3284. Is o(-47) even?
True
Let x(w) = -15*w + 12. Suppose 9*i + 10 = 4*i. Is 42 a factor of x(i)?
True
Suppose -3*i = s - 64032, 37*s + 127984 = 39*s - 4*i. Is s a multiple of 12?
True
Suppose -r = 6*r - 35. Suppose r*c = -f + c, -4*f = 3*c - 52. Let s = f - -6. Is 22 a factor of s?
True
Let d(h) = 114*h**2 + 426*h + 76. Is 112 a factor of d(22)?
True
Let j = 39 - 37. Let z(f) = j*f - 7*f - 24 - 6*f. Does 10 divide z(-4)?
True
Let t be (1 + -1 - 1) + (-2 - -3). Let g(z) = z - 2*z + z**2 + t*z**2. Is 6 a factor of g(6)?
True
Suppose -2*w - 1088 = -10*w. Let g = -124 + w. Suppose 7*x + g*x - 5130 = 0. Is x a multiple of 15?
True
Let c(s) = 9615*s + 52. Is 10 a factor of c(3)?
False
Suppose -11*c + 6024 + 12566 = 0. Suppose 11*k - 8257 = -c. Is k a multiple of 6?
False
Let f = 91702 - 65063. Does 16 divide f?
False
Let f(b) = 30*b**2 - 3*b + 23190. Does 21 divide f(0)?
False
Is 8 a factor of 12215/(-10)*(13 - 285/21)?
False
Does 24 divide (12/(6 - 7))/((-3)/993)?
False
Let h be (-7)/(-14) - (-3)/(18/939). Suppose h*b - 152*b - 2100 = 0. Is b a multiple of 30?
True
Suppose -2*k + 2*j + 952 = 2*k, k = -5*j + 249. Let g be (1 + -3 + 4)*15/15. Suppose -1 = -z, 2*h - g*z = -z + k. Is h a multiple of 24?
True
Suppose 3*i - 29 = -4*v, i - 38 = -3*i - 5*v. Is 7/i + 48/3 a multiple of 17?
True
Suppose -6*j + 40 = -2*j. Suppose 2375 + 3046 = -13*w. Does 23 divide (-5)/j - w/6?
True
Let m(d) = 8*d - 5. Suppose 193 = -3*i - 4*u, 3*i = 3*u + 85 - 292. Let k = i - -74. Is 29 a factor of m(k)?
False
Suppose 0 = 4*v + 3*l + 39, -v = 3*v - 2*l + 54. Does 7 divide (v/(-10))/((-13)/(-2405))?
False
Let x(q) = 60*q**2 + 218*q + 1526. Is x(-7) a multiple of 21?
True
Suppose 9*m = -12*m + 21126. Suppose -5*b = -5*q - 2535, 2*b + 0*q + 2*q - m = 0. Is b a multiple of 9?
False
Let g(l) = l**2 + 9*l - 68. Suppose 31*v - 222 + 1059 = 0. Does 14 divide g(v)?
False
Suppose -8*u + 2*u = 168. Does 38 divide (-2930)/(-8) - (161/u - -5)?
False
Suppose 3*x + 170071 = 11*m, 4*m - 30918 - 30926 = 4*x. Does 37 divide m?
False
Let l(d) = -2*d**2 + 7*d + 6. Let o be l(4). Suppose -11*q - 887 = -12*q + 2*g, o*g = 4. Does 33 divide q?
True
Suppose 356 = -4*q + 324. Is 14 a factor of 17/(102/552) + q?
True
Let t be -1*1 + (-13 - -9) + 5. Suppose 2*g = 3*f + 641 + 67, t = 3*g + f - 1084. Is 40 a factor of g?
True
Let r(h) = 776*h + 112. Let z(c) = 388*c + 54. Let g(v) = 3*r(v) - 7*z(v). Is 6 a factor of g(-1)?
False
Let b(y) = 6*y - 90. Suppose 5*u - u - 80 = 0. Is 10 a factor of b(u)?
True
Let m(v) = 15389*v**2 - 33*v + 34. Is m(1) a multiple of 18?
True
Let w = -936 + 2368. Let k = w - 728. Is 64 a factor of k?
True
Suppose 5*b = h + 38, 9*h - 34 = -3*b + 4*h. Is 22 a factor of 1655 + -2 + 4/b*-6?
True
Is 14 a factor of (-11 - (-3550)/(-20))*(-2)/1?
False
Let z(y) = 3*y**3 + 2*y - 1. Let n be z(1). Suppose -24 + 56 = n*o. Suppose 2*a + o = -4*r + 36, -3*r + 9 = 0. Is 8 a factor of a?
True
Let a(f) = f**2 + 22*f - 5. Let c be a(-22). Let t be 17/(c/(-1 - 4)). Let r = 41 + t. Is r a multiple of 5?
False
Is 1086 + (-6 - (3 + 0 + -11)) a multiple of 15?
False
Let d(o) = -o**3 + 5*o**2 + 7*o + 13. Let a be d(6). Let x(m) = -m**2 + 30*m + 60. Does 18 divide x(a)?
False
Suppose 0 = 44*i - 56*i + 98640. Is 15 a factor of i?
True
Suppose 4*l - 144 = 5*u, -376 = -3*l - 4*u - 268. Does 4 divide l?
True
Let s(u) = 5119*u + 3603. Is s(8) a multiple of 95?
True
Let t(p) = p**2 - 4*p + 44. Let a(u) = u**3 + 5*u**2 - 8*u + 8. Let g be a(-6). Is t(g) a multiple of 13?
True
Let r(z) = 4*z - 87 + 0*z**2 - 10*z**2 + 13*z**2. Is r(-12) a multiple of 27?
True
Let o(f) = -10*f**3 - 56*f**2 - f - 95. Is o(-11) a multiple of 43?
True
Does 150 divide (-472)/295 + 4 + (-54763)/(-5)?
False
Let i(u) = -u**3 - 2*u**2 + u + 1. Let y be i(0). Let j be 1/(-3)*y + 760/30. Suppose 0 = -j*b + 29*b - 464. Is 9 a factor of b?
False
Suppose 7*f = 26*f + 19. Does 18 divide ((-2)/4)/(f/576)?
True
Suppose 91*t - 31410 = 71511. Does 5 divide t?
False
Let n = -88 - -106. Suppose -2309 - 481 = -n*s. Is s a multiple of 22?
False
Let b = -44 + 10. Let a = b - -96. Let w = a + 49. Does 17 divide w?
False
Suppose -2*h - 153 = 5*w - 6*w, -2*h = 6. Let k = -67 + w. Is 10 a factor of k?
True
Let a(v) = 328*v**2 - 42*v + 91. Does 22 divide a(2)?
False
Suppose 66 = -5*x - 2*n - 2*n, -n + 71 = -5*x. Let b = 18 + x. Suppose -3*t - 3*w - 1 = -73, -b*t + 96 = 3*w. Is 8 a factor of t?
True
Let k = -237 - -241. Suppose 3*y - k*f - 374 = -0*f, -5*y + 615 = -5*f. Is 14 a factor of y?
False
Let r be 3/(3/(-76))*(-4)/8. Suppose r*b = 17*b + 1260. Is b a multiple of 6?
True
Let s(y) = -80*y - 20. Is 12 a factor of s(-40)?
True
Let r(x) = -x**3 + 9*x**2 - 15. Let v(u) = u**3 - 9*u**2 + 16*u - 6. Suppose 5 = 2*m - 3*n, -4*m = -5*n - 11 - 2. Let z be v(m). Is 3 a factor of r(z)?
False
Let i(k) = -357*k + 940. Does 13 divide i(-33)?
False
Does 14 divide (85/(-68) - (-8133)/4)*1/2?
False
Let n = 20 - 17. Let j(o) = -4 + 1 - 2 - n*o - 2*o. Is 30 a factor of j(-7)?
True
Let s = 55 - 58. Let j(h) = -5*h**3 - h**2 + 10*h + 6. Let v(z) = -4*z**3 - z**2 + 9*z + 6. Let l(i) = s*v(i) + 2*j(i). Is 4 a factor of l(3)?
True
Let k = -70 + 250. Suppose -4*z + z + k = 0. Is 8 a factor of (262/4 + -1)/(z/80)?
False
Let o = -962 - -1560. Is 23 a factor of o?
True
Let n(j) = 231*j**2 + 2*j + 3. Let p be n(-1). Suppose 0 = -4*f - 1 - 7, 2*o - 2*f = -p. Let r = -30 - o. Is r a multiple of 31?
False
Let p(z) = z**2 - 2. Let u be p(-3). Suppose 0 = -u*j - j + 664. Let c = 137 - j. Is c a multiple of 15?
False
Let i(t) be the first derivative of -13*t**2/2 + 8*t + 41. Let z be i(1). Let u(b) = -2*b + 36. Is 3 a factor of u(z)?
False
Let z be 1/2 - (67683/14)/(-11). Let t = z + -416. Is t a multiple of 8?
True
Is (12034/88 - -14)/(2/16) - -1 a multiple of 29?
False
Let r = -16864 + 28893. Does 149 divide r?
False
Let z(g) = -g**2 + 9*g + 110. Let m be z(16). Let o(w) be the third derivative of w**5/12 - w**3/6 + 2*w**2. Is o(m) a multiple of 4?
False
Suppose 234 + 110 = l. Suppose 416 = 8*i - l. Is 5 a factor of i?
True
Suppose 2*u - 179369 = -5*l, 4*u + 0*u + 32 = 0. Does 292 divide l?
False
Let w be (-6)/(-8)*3*140/(-15). Is 18 a factor of 60632/168 + (-2)/w?
False
Let s(f) be the third derivative of 5*f**4/8 + 9*f**3/2 - 41*f**2. Let c be s(6). Let b = -75 + c. Is 42 a factor of b?
True
Suppose -3*k - 3 = 6. Let h be (-19 + 8)/(3/k). Suppose -128 = -h*c + 10*c. Is 32 a factor of c?
True
Suppose 2*v - 12 = 4*y - 0*y, 0 = 4*y + 8. Suppose 2*p - 121 = -r, 50*p - 47*p + v*r - 179 = 0. Is 28 a factor of p?
False
Let g(d) = -4119*d - 19. Is g(-1) a multiple of 100?
True
Suppose 4*h - 23 = -5*m + 11, 39 = 3*h - 3*m. Let b(g) = 46*g + 121. Let s(q) = 9*q + 24. Let v(t) = h*s(t) - 2*b(t). Is v(5) a multiple of 10?
False
Let t(o) be the third derivative of -1/12*o**4 + 0*o**3 + 0 + 0*o + 19*o**2 + 1/60*o**5. Is 2 a factor of t(3)?
False
Is 16743 - ((-21)/36*4 + (-3)/(-9)) a multiple of 17?
True
Let r(z) = 8*z**3 - 2*z**2 - 4*z - 2. Suppose 3*s = 2 + 13. Let w be r(s). Is 31 a factor of w/10 - ((-6)/10)/3?
True
Suppose -10 = -u - 5*x, 99*x = u + 103