 be t(-3). Is 1/3 - 374*6/i a multiple of 25?
True
Let m(v) = 3*v**2 + 13*v - 1. Let s = -49 + 51. Suppose 0 = -6*x + s*x + 24. Does 37 divide m(x)?
True
Suppose -12*l + 34*l = 2640. Does 16 divide (l/(-18))/(((-14)/(-72))/(-7))?
True
Let r be 2/(-10) + -1202*(-33)/30. Suppose -5*a - 22 = -x + 298, -r = -4*x - a. Is 10 a factor of x?
True
Let t(v) = 655*v**2 - 13*v - 2. Is t(2) a multiple of 27?
True
Let j be 4 + 0/(-3) - 3. Does 17 divide (14/3)/(j + (-1194)/1206)?
False
Let p(z) = 2*z - 7. Let g(r) = -r - 1. Let v(t) = -g(t) - p(t). Let y be v(-2). Suppose 3*s - 188 - y = 0. Is s a multiple of 6?
True
Let o(q) = -2*q**2 - 10*q. Let t be o(-6). Let u(v) = -12*v - 73. Is u(t) a multiple of 71?
True
Is 93 a factor of (-1 - -6)*(99 - 230)*372/(-10)?
True
Suppose -8*b + 799 = 5*h, 560 = 4*b - 4*h + 180. Does 3 divide b?
False
Let t(j) = 8*j**2 - 80*j + 85. Is t(-49) a multiple of 14?
False
Let q(p) = -27*p**2 - p + 3. Let m be q(-2). Let o = 70 + m. Let t = o + 46. Is t a multiple of 5?
False
Let q(x) = 119*x + 34. Suppose -247 = -11*h - 104. Does 51 divide q(h)?
True
Let n(l) = -1419*l - 793. Does 36 divide n(-6)?
False
Suppose 2*n - 2*i = -10, -28*i + 33*i - 22 = 4*n. Does 3 divide 9/n - (-162 + 15)?
True
Let j = -135 - -139. Is 5 a factor of (-3)/(-12) + j*(-249)/(-48)?
False
Let o(q) be the first derivative of -607*q**4/2 + q + 214. Does 9 divide o(-1)?
True
Suppose -6*h - 4*h = -23590. Suppose 4*n - d - 3536 = n, -2*n - d + h = 0. Does 16 divide n?
False
Let f = 27 + 1. Let g(i) = -i**2 + 35*i + 37. Does 35 divide g(f)?
False
Let p(t) be the second derivative of -59*t**3/3 - 20*t**2 - 73*t. Is p(-4) a multiple of 36?
True
Let m(i) = i + 470. Does 7 divide m(-22)?
True
Let x(l) = -7*l - 40. Let g be x(-7). Suppose 2 = s, -g*w + 8*w + s = -1378. Is w a multiple of 72?
False
Let h = -1646 - -2727. Suppose 1394 = 3*c - h. Does 25 divide c?
True
Let g(t) = -13*t**2 - 32*t - 31. Let l be g(-1). Does 30 divide (-6)/l*(-2140)/(-10)?
False
Let x = 85 - 53. Let g = x + 448. Suppose 0*h - 8*h = -g. Is 15 a factor of h?
True
Suppose 12 = 4*v, i + 2*v + 213 = 6870. Is i a multiple of 18?
False
Suppose -2*q = m - 5*m + 38, 0 = -4*m + 3*q + 35. Suppose -8*x = -m*x + 84. Is 14 a factor of x?
True
Let f = 1 + 5. Let m(o) = -4*o**2 - 46*o + 45. Let z(q) = 15*q**2 + 162*q - 160. Let r(k) = 18*m(k) + 5*z(k). Is 2 a factor of r(f)?
True
Let c(t) = 20*t**2 + t - 1. Let a be c(1). Suppose 20*h = 25*h + a. Let j(u) = u**3 + 6*u**2 + 5*u + 12. Does 6 divide j(h)?
True
Let r be 10 - 1 - (2 - -2). Let v be 278*(r/(-2))/5. Let j = 207 + v. Is 8 a factor of j?
False
Let h = 107 + -103. Suppose -h*f = -921 + 237. Is f a multiple of 19?
True
Is 9464 + ((-121)/11 - -15) a multiple of 36?
True
Suppose 2698*s = 2705*s - 140112. Is 16 a factor of s?
True
Let y(f) = -12*f**2 + 20*f + 2. Let j(x) = 7*x**2 - 11*x - 1. Let w(m) = 11*j(m) + 6*y(m). Let o = -18 - -25. Does 20 divide w(o)?
False
Suppose -10*y + 48 = -14*y. Is 2 a factor of (8 - (-78)/y) + 26/4?
True
Let m = 732 - 1256. Let v = m + 924. Is v a multiple of 16?
True
Let x = 924 - 468. Let k = x + -314. Is 8 a factor of k?
False
Suppose 0 = v + 5*j - 4, 2*v + 3*j = -3 + 11. Suppose -2*l = 3*l - 5*z - 100, v*l + z = 60. Let d(q) = q**3 - 16*q**2 + q - 10. Is d(l) a multiple of 6?
True
Let f(j) = -237*j + 3526. Is 101 a factor of f(0)?
False
Let q(w) = w**3 + 14*w**2 + 38*w + 11. Let x be q(-5). Suppose -5*m = -m - 8. Let f = x + m. Is f a multiple of 8?
True
Suppose 0 = 3*y - n - 40874, 37*y - 39*y - 5*n = -27272. Is 66 a factor of y?
False
Let u(q) = 419*q - 4708. Is 34 a factor of u(16)?
False
Let j(h) be the third derivative of h**6/120 + 2*h**5/15 - 3*h**4/4 + 7*h**3/3 - 31*h**2. Let z be j(-10). Is 27 a factor of ((-46)/z + -1)*54/2?
False
Let q(o) = 16*o - 14. Let w(r) = 31*r - 25. Let u(d) = -7*q(d) + 4*w(d). Let v(p) = -p**2 + 7. Let l be v(0). Does 25 divide u(l)?
False
Let q = 66866 - 109496. Is 57 a factor of (12/(-15))/((-7)/(q/(-12)))?
False
Suppose 44 - 242 = -22*w. Let x(a) = a**2 - 9*a + 7. Is x(w) a multiple of 4?
False
Suppose -1280*t + 138391 = -1237*t - 129585. Is 35 a factor of t?
False
Suppose -4*b - 4950 = -13066. Is 21 a factor of b?
False
Suppose -1587*g + 1268 = -1586*g - 18374. Is g a multiple of 23?
True
Let m be 90/135*(-3)/(-2)*7. Let f(z) = 14*z + 1. Let t be f(2). Suppose m = n - 5*r - t, -2*n = 4*r - 100. Is 9 a factor of n?
False
Let c(h) = 0*h + 5*h + 1 + 6*h. Let n = -4798 - -4803. Does 8 divide c(n)?
True
Let k(w) = -7*w**2 + 4*w. Let s be k(4). Let a = 98 + s. Suppose -3*u - 344 = -a*l - 2*l, 3*u = 5*l - 427. Is l a multiple of 17?
False
Suppose 0 = 2*c - 5*l - 9283, 19308 - 5388 = 3*c - 3*l. Is c a multiple of 212?
False
Let v = 15 + -13. Suppose 0 = v*k - k - 75. Is 56 a factor of k?
False
Let r = -429 + 724. Suppose -8*f = -177 - r. Is 14 a factor of f?
False
Let h(p) = p**3 - 14*p**2 + 19*p - 13. Let k = 22 + -41. Let z = k + 32. Is 13 a factor of h(z)?
True
Is 60 a factor of ((-270)/8)/(121543/24320 + -5)?
True
Suppose -4*f = -9*f - 5*i, 4*i = 3*f - 14. Suppose 0 = -o - f*o + 12. Does 17 divide (-3 - (o - 4)) + 72?
False
Let c(t) = -2*t**2 + 89*t - 18. Let a be c(31). Is 9 a factor of 182/a + (-19112)/(-18)?
True
Let k be 3*((-4)/12 - 3). Let y be 6/(5/(k/(-3))). Suppose -4*w + 252 = 5*d, -6 - 54 = -d + y*w. Is d a multiple of 16?
False
Let j(q) = q**2 - 8*q + 3. Let n be j(8). Suppose 8*m = 7*m - 3, 0 = -5*h - n*m + 1876. Is 29 a factor of h?
True
Let a(u) = -2*u**2 - 54*u + 105. Is 13 a factor of a(-18)?
True
Let z(c) = 12*c**2 - 130*c + 21. Let v be z(15). Suppose -9*l = -1356 + v. Is 4 a factor of l?
False
Let p be ((-10)/2)/(11/(-11)). Suppose 10 + 10 = p*q. Is (0 + 6)*(0 + 18/q) a multiple of 9?
True
Suppose 0 = 3*t + 3*c - 70629, 15*c - 3 = -18. Is 18 a factor of t?
True
Suppose 7*w - 344 = 342. Let x = w + -103. Is 16 a factor of (-15)/x - 5 - -75?
False
Let m = -472 - -397. Is 21 a factor of (-350 + m)*2/(-5)?
False
Let q(y) = 38*y + 134. Is 8 a factor of q(3)?
True
Let d(g) = -4*g**3 - 10*g**2 - g - 11. Let x be d(-5). Suppose x*v - 249*v = -2430. Does 27 divide v?
True
Is (3910722/3228)/(1 - 5/6) a multiple of 3?
True
Suppose x + 11*x = -468. Let o = 38 + x. Is 14 a factor of 182/o*1/(-1)?
True
Let j(o) = -o**3 - 7*o**2 + 21*o + 64. Is j(-12) even?
True
Let m(c) = -c**2 + 2*c + 23. Let b = -16 + 7. Let r be m(b). Let u = -23 - r. Does 16 divide u?
False
Let w be 1478 - (-2 - -1) - (-33)/11. Suppose 5*f - 1178 - w = 0. Does 76 divide f?
True
Let p be 3/(-8 + 5)*-3. Let v be -1 - 5*-72 - -1. Suppose 2*r = p*r + 3*j - 100, 4*r - v = -2*j. Does 15 divide r?
False
Let n be (4 - 566)*(-16)/32. Let f(r) = 2*r. Let z be f(2). Suppose -z*c + 291 = -n. Is 40 a factor of c?
False
Let c = -29104 - -49832. Is 18 a factor of c?
False
Let w be 21/(-28)*(-7)/(7/20). Suppose -4561 - 164 = -w*p. Does 9 divide p?
True
Suppose 5*y + 403 = 14*n - 13*n, -2*y = 4*n - 1634. Let r = -351 + n. Is r a multiple of 2?
False
Let t(p) be the first derivative of 27*p**2/2 - 9*p - 1. Let x(d) = 4*d + 13. Let g be x(-3). Is t(g) a multiple of 2?
True
Let a(w) = w**2 - 8. Let d be a(4). Suppose 4*b + 84 = d*b. Suppose 15*v + b = 16*v. Does 7 divide v?
True
Suppose -6*w + 9*w + 32148 = 0. Let z be w/(-26) + 4/(-26). Suppose 0*l - 2*c + z = 4*l, 4*c - 8 = 0. Does 14 divide l?
False
Let k(t) be the first derivative of -t**5/10 - 5*t**4/12 - 2*t**3 + t**2 - 30*t + 1. Let g(a) be the first derivative of k(a). Does 17 divide g(-5)?
True
Let p = 76 - 69. Suppose 3*s + p + 0 = 2*m, 14 = -5*s + m. Let q(b) = -b**3 - b**2 - b - 5. Is 11 a factor of q(s)?
False
Let r = -117 - -200. Let i(s) = -s**3 + 10*s**2 + 11*s + 3. Let j be i(11). Let u = j + r. Is u a multiple of 15?
False
Let i = -454 - -112. Let p = i + 828. Does 27 divide p?
True
Suppose 2*q = -4*y + 12530, -18005 = -5*y + 6*q - 2385. Is y a multiple of 10?
True
Suppose -2*h = 2*a + 41 + 9, -109 = 4*a + h. Let b(s) = -21*s**3 + 3*s**2 + 6*s - 4. Let w be b(5). Does 44 divide 8/a - w/14?
False
Let v(q) = -3*q**3 + q + 1. Let c be v(-1). Suppose -9*w = -c*w - 324. Is 9 a factor of w?
True
Suppose 5*b + 45 + 10 = 5*v, 2*b + v + 28 = 0. Is 85 a factor of 7 + b - (-1964 - -3)?
True
Let k = -240 - -315. Let c = -15 + -10. Let y = c + k. Does 5 divide y?
T