 u?
True
Let t(x) = -x**2 + 11*x + 14. Suppose -2*n + 3*n - 8 = 2*z, 0 = -z - 1. Let u be t(n). Suppose -131 = -3*g - h, -u = -g + 2*h + 9. Is g a multiple of 9?
True
Let s be ((-20)/24)/5 - 791/6. Does 3 divide -13*(s/10 - (-5)/25)?
False
Let p be ((-88)/33)/(2/(-3)). Suppose 138 = p*m + y, 1 = -y + 3. Is m a multiple of 3?
False
Suppose 65*w - 177561 = -34239 + 546588. Is w a multiple of 29?
True
Suppose 3*u + 254 = -10. Let d be (-2)/2 + u/(-1). Does 10 divide 2168/36 - (d/27 + -3)?
True
Let m = 34 + -30. Suppose -4*t + 1 = 9, 2*b - 88 = -m*t. Is 12 a factor of (-63)/(-2)*b/18?
True
Let b(g) = -5*g + 25. Let d(h) = -21*h + 100. Let q(f) = 9*b(f) - 2*d(f). Let m be q(-12). Is 0 + m - (-6 + 4) a multiple of 21?
True
Suppose -5*j + 6*j + 11*j - 98412 = 0. Is 139 a factor of j?
True
Suppose -8*r = -20*r. Suppose r = -381*q + 375*q + 1650. Is q a multiple of 11?
True
Let p = -3702 - -8674. Does 3 divide p?
False
Let c be 1 - (-1673 + -1 - 5). Suppose 15*h - 21*h = -c. Is 14 a factor of h?
True
Suppose -g + 1 = -0*g, -19 = -l - 5*g. Suppose l*j - 1101 + 289 = 0. Does 13 divide j?
False
Let t be (-911)/(-5) - (-24)/30. Let v = -120 + t. Is v even?
False
Let v be -6 + -46 - 1*0/1. Let m = 109 + v. Does 5 divide m?
False
Let w = -25 - -34. Let y be w*7 - (4 - 3 - 2). Let o = y - 46. Is 15 a factor of o?
False
Let d(p) = -p**2 - 29*p - 50. Let w(m) = -10*m - 3. Let z be w(1). Is 25 a factor of d(z)?
False
Let a(m) = m + 1. Let k(y) = -y - 4. Let f(r) = 2*a(r) + k(r). Let i = 11 + 1. Does 3 divide f(i)?
False
Suppose -5*m + 2*v + 432 + 95 = 0, 5*v + 301 = 3*m. Let i = m + 37. Is i a multiple of 24?
True
Let u(q) be the second derivative of 43*q**3/6 - 65*q**2/2 + 82*q - 1. Is 11 a factor of u(12)?
True
Suppose 165 = 8*r - 19*r. Does 17 divide (r/((-270)/228))/(2/51)?
True
Suppose -82945 = -26*h + 101162 + 133327. Does 44 divide h?
False
Suppose 260*v - 269*v + 35000 = -12169. Does 78 divide v?
False
Let q = 8 + -4. Suppose 0 = -4*k - 4*b - 8, 2*k - 2*b + q = -4. Is 12 a factor of -120*(k - (-65)/25)?
True
Let h be 2 + 9 + (-4 + 0 - -1). Let t(b) = 2*b + 2*b - b + 0*b - h. Does 8 divide t(8)?
True
Suppose 7879995 = 277*d - 154*d. Is d a multiple of 25?
False
Let k(w) = 2*w**3 + 4*w**2 - 2*w + 6991. Is k(0) a multiple of 21?
False
Suppose -4*s + 5*g = 80, -2*s = -6*s - 2*g - 80. Suppose f - 3*p - 56 = 0, -2*p - 68 = -2*f - 7*p. Let m = f + s. Does 12 divide m?
True
Let g(b) = 9*b**2 + 8*b + 7. Let c be g(-7). Let s = -593 + c. Let q = s + 284. Is q a multiple of 23?
False
Let s(w) = 58*w**2 + 44*w - 305. Is 29 a factor of s(6)?
False
Suppose -4*v - 1 = -21. Suppose -9*h + v*h - 8 = 0. Is 3/6*h - -101 a multiple of 25?
True
Suppose -303*g = 144*g - 10*g - 6877506. Is g a multiple of 86?
True
Suppose 0 = -2*x + 4*r + 10702, 178*x - 175*x + r = 16067. Does 90 divide x?
False
Let w(n) = -1141*n**3 - 3*n**2 - 3*n - 2. Suppose 6*m = 3*p + 3*m - 12, 3*p = -2*m - 13. Is 47 a factor of w(p)?
False
Let s(z) = 7*z - z**3 - 3*z**3 + 7*z**2 + 5 + 5*z**3. Let w(a) = a**2 + 37*a + 97. Let q be w(-34). Is s(q) a multiple of 8?
False
Suppose -31*w + 106*w + 90*w - 200970 = 0. Is w a multiple of 21?
True
Let z(w) = -2736*w - 6333. Does 99 divide z(-12)?
False
Let d(g) = 4*g**2 - 6*g + 42. Let a be d(-14). Suppose -m - 9*m = -a. Let b = 271 - m. Is 18 a factor of b?
True
Let y(i) be the second derivative of i**5/10 - 7*i**4/24 - 4*i**3/3 + i**2/2 - 17*i. Let x(q) be the first derivative of y(q). Is 28 a factor of x(-4)?
False
Suppose -2*t - 301 = 5*x, 8*t + 5*x = 12*t + 527. Is 37 a factor of (36/8)/((-3)/t)?
False
Let j(v) = v**3 - 12*v**2 + 8. Let s be j(12). Let l(m) = m**3 - 7*m**2 - 8*m + 12. Let u be l(s). Suppose 16*c = u*c + 1264. Does 49 divide c?
False
Suppose 2*i + 52 = -5*m + 12, 4*m = -3*i - 39. Let z be 10368/8*(-4)/m. Suppose 10*t = 14*t - z. Is t a multiple of 36?
True
Let m(y) = 4*y**2 + 2*y. Let r be m(-2). Let v be 4/r + (-455)/(-3). Let a = v - -79. Is 21 a factor of a?
True
Suppose -4 - 2 = -3*w. Let j be (0/14)/(2/w). Suppose 5*r - 5*h - 55 = j, 6*r - 5*h - 48 = 2*r. Is 3 a factor of r?
False
Suppose 51 - 21 = 5*u. Let w = 23 - u. Is w a multiple of 17?
True
Let c = 6152 + -3172. Does 20 divide c?
True
Is 76 a factor of (-57)/((-33)/110 - 51/(-220))?
True
Let f(i) = 7*i**2 - 76*i + 1271. Does 22 divide f(19)?
True
Let j = -14539 + 44305. Is 66 a factor of j?
True
Let c(f) = -f**2 + 8*f - 10. Let y = 5 + 1. Let w be c(y). Suppose 0 = w*s + 8 - 138. Is 13 a factor of s?
True
Let f(k) be the first derivative of k**4/4 - k**3/3 - 15*k**2/2 - 11*k + 70. Is f(7) a multiple of 11?
False
Let k = -36 + 78. Let n = 42 - k. Suppose n = -2*j - 7*j + 54. Is 3 a factor of j?
True
Let u(g) = 2*g + 4. Let k be u(0). Suppose -5*l = 16 - 26. Suppose 3*x - 674 = -k*o, 676 = l*o + 2*o + 4*x. Is o a multiple of 39?
False
Suppose 112*s = -110*s - 1137375 + 7990071. Is 15 a factor of s?
False
Let d(c) be the third derivative of -c**6/120 - c**5/60 + 44*c**3/3 - 3*c**2. Suppose -n = -0*n. Is 8 a factor of d(n)?
True
Let l = -23 + 28. Suppose 0 = d + l - 8. Let n(m) = m**3 + 3*m**2 + 2*m - 6. Is 27 a factor of n(d)?
True
Let a = -6561 + 14805. Is 36 a factor of a?
True
Let g(o) = 702*o**3 - o**2 - o. Does 66 divide g(2)?
True
Let d = 16 + -9. Suppose -261*c + 80 = -241*c. Suppose -c = 5*b - d*b. Is 2 a factor of b?
True
Suppose 5*b + 1770 - 21660 = -4*n, -3*b + 11937 = 3*n. Is b a multiple of 65?
False
Let b be (-60)/((2 + 4)*2/(-104)). Suppose -2*d - b = 3*o, -2*d - 520 = 5*o - 0*o. Let m = d - -395. Is m a multiple of 15?
True
Let s(a) = 2*a + 23. Let c be s(-12). Is c/4 - 7/((-56)/1770) a multiple of 16?
False
Suppose -19*a - 4206 = -4*s - 16*a, -1080 = -s - 4*a. Is 24 a factor of s?
True
Let m(j) = 18*j**2 - 2*j + 31. Let r be m(-4). Let o = -276 + r. Is o a multiple of 18?
False
Let x(c) = -237*c - 161. Does 6 divide x(-6)?
False
Suppose 2*t = o + 9437, 817*t - 814*t - 14160 = -3*o. Is t a multiple of 35?
False
Suppose 27 = 4*u + 5*h, 4*u = 3*u - 2*h + 9. Suppose 0 = -11*m - u*m + 1680. Does 12 divide m?
True
Let v(a) = -160*a + 9. Let n be v(1). Let u = -37 - n. Is 22 a factor of u?
False
Let h = 34 - 34. Suppose h*y + r + 186 = 4*y, -3*y = -r - 140. Is y a multiple of 5?
False
Let r be 1 - -1 - (42 - 43). Suppose r*i + 2*i = -3*y + 288, -3*i = 3*y - 288. Does 6 divide y?
True
Let n = -4603 + 6703. Does 6 divide n?
True
Suppose 11*b = 4*b. Suppose 3*h - 5*x - 58 = b, -3*h - 14 = -x - 52. Let a = h - -27. Is 7 a factor of a?
False
Let b(k) = -k**3 - 6*k**2 - 8*k + 9. Let c(w) = 2*w**2 + 2*w + 18. Let s be c(0). Let a be (s/4)/(27/(-36)). Is b(a) a multiple of 19?
True
Suppose 0 = -21*k + 1299800 - 155657. Is 39 a factor of k?
True
Let o be (-6)/(-39) - 7482/(-39). Suppose 5484 = 7*x + o. Is x a multiple of 9?
True
Let n = -429 - -615. Let c = n + 188. Is 23 a factor of c?
False
Suppose z + z = 3*s - 5043, -5*s - 4*z = -8405. Is 12 a factor of s?
False
Let r = 392 - -56. Let x = r - 174. Is x a multiple of 10?
False
Let s(f) = -2*f**2 - 15*f + 18. Let c(v) = -v**3 - 23*v**2 - 23*v - 27. Let l be c(-22). Let t(w) = 4*w + 12. Let n be t(l). Is 5 a factor of s(n)?
True
Suppose -5008 = -5*l - b, -b - 2499 - 2513 = -5*l. Is 19 a factor of l - ((-90)/27)/(5/(-6))?
False
Let i be (-6)/4*14/(-7). Suppose -i = 6*o + 21. Let f(a) = a**3 + 7*a**2 - 6*a - 2. Is f(o) a multiple of 25?
False
Suppose -8*o + 1896 = 5*o + 1870. Let g(y) = 4*y - 1. Let z be g(1). Suppose -5*m = z*x - 582, o*m = 3*m. Does 9 divide x?
False
Suppose 0 = -8*z + 58 - 18. Does 11 divide (0 + z - (8 + -35)) + 1?
True
Suppose -3*c - 4 = -2*b, -7 = -5*b + 18. Suppose -3 = -4*r + 1, -c*r = -3*q + 13. Suppose q*a - 69 = 126. Is 10 a factor of a?
False
Let h = -394 + 993. Is h a multiple of 68?
False
Suppose 0 = 3*k + 5*l - 482 - 1624, -3544 = -5*k + 3*l. Suppose -k - 1213 = -10*z. Is z a multiple of 12?
True
Suppose 0 = -4*p, 3*q + 3*p - 705 = 2*p. Suppose -1150 = -5*o + 5*z, -4*z = -16*o + 17*o - q. Is 21 a factor of o?
True
Let u(d) = d**3 - 14*d**2 + 9*d - 1. Suppose 10 = 5*a - 2*t + 1, -3*t + 3 = -2*a. Suppose n - 17 = -a. Is 14 a factor of u(n)?
False
Let p(q) be the first derivative of -q**4/2 - 13*q**3/3 - 4*q**2 + 2*q + 167. Let l(b) = b**2 - 5*b - 2. Let o be l(4). Is 8 a factor of p(o)?
False
Let n(h)