 14 = j - 8*j. Is 6 a factor of m(j)?
False
Let v(h) = h**3 - 6*h**2 + 7*h - 10. Let i be v(5). Suppose 32*y - 28231 + 8359 = i. Is y a multiple of 9?
True
Let n(r) = -r**3 - r**2 + r - 2. Let b be n(-2). Suppose -1096 + 4881 = 5*p - 5*l, b = 2*p + 4*l - 1514. Is 32 a factor of p?
False
Suppose -26*h - 396 = -1410. Let i = 198 - h. Is 10 a factor of i?
False
Suppose -c + 5*k = -40605, 5*c + 94*k - 88*k - 203118 = 0. Does 16 divide c?
False
Let l be 666/(-259) - 4/(-7) - -14. Suppose -l*i = -7034 - 1030. Is 38 a factor of i?
False
Let p(q) = 14*q**2 - 5*q + 6. Is 2 a factor of p(2)?
True
Let c = -13293 + 18689. Is 19 a factor of c?
True
Let f(w) = -w**2 + 31*w + 95. Let z be f(27). Let t = 287 - z. Is t a multiple of 21?
True
Suppose -5*o + 27644 = 4*z - 27784, o + 3*z = 11079. Is 6 a factor of o?
True
Suppose c - 7161 = 27*o - 32*o, -3*c = 3*o - 21519. Is c a multiple of 52?
True
Does 5 divide (-4 + (-48)/(-18))/(48/(-15012))?
False
Suppose 132*w = 154*w - 202752. Does 48 divide w?
True
Let b(g) = g**3 + 35*g**2 - 3*g + 32. Let n be b(-26). Suppose -11*a - 265 + n = 0. Is 65 a factor of a?
False
Let j = -298 + 301. Suppose j*d - 309 = 3*h + 81, 0 = 3*h. Is d a multiple of 45?
False
Suppose 188 - 32 = m + 3*s, 0 = -2*m - 3*s + 321. Does 5 divide m?
True
Let z be (-7693)/(-8) + (-3)/(-16)*2. Suppose -z = -2*h - 11*h. Is h a multiple of 23?
False
Suppose -38026 = -5*c + 2*c - 5*t, 2*c = -5*t + 25359. Is 53 a factor of c?
True
Let u(d) = -16*d**2 + 2*d + 6. Let c(l) = -3*l**2 + 5*l + 5. Let n(f) = -f**2 + f + 1. Let r(z) = c(z) - 4*n(z). Let j(k) = -r(k) - u(k). Does 7 divide j(-2)?
False
Suppose 10*x - 10 = -0*x. Is 15 a factor of (28 + -13 - 12) + x*297?
True
Let y be -9 - -7 - -3 - -3. Suppose 2*z = y*b + 1257 - 3465, -2*b = -5*z - 1096. Is 35 a factor of b?
False
Suppose -36*d - m = -32*d - 25603, -5*d + 3*m + 31974 = 0. Does 8 divide d?
False
Let j = 101 - -212. Suppose 2*k + x = j, -4*x - 265 = -3*k + 221. Suppose 0 = -c + 3*i + k, -5*i = -3*c + 161 + 317. Does 36 divide c?
False
Let a(u) = -4*u + 27*u - 27*u + 82. Does 14 divide a(-11)?
True
Let t(z) = z**3 - 21*z**2 + 23*z - 37. Let f be t(20). Suppose 36*x - 5720 = f*x. Is x a multiple of 22?
True
Suppose -4*w - 7 = -27. Suppose 7*z + w = 2*z. Is 17 a factor of (-35 + 4)*z - -3?
True
Suppose -2*a = w, -3*w + 5*a = -w - 18. Let d(g) = -g**3 + 6*g**2 - g - 10. Let u be d(w). Suppose -u*f + 13*f + 450 = 0. Is f a multiple of 13?
False
Suppose 5*t = -4*j + 9598, -4*t + 7666 = 361*j - 364*j. Is t a multiple of 116?
False
Let c(j) be the third derivative of -j**5/60 - 13*j**4/12 - 97*j**3/6 - 46*j**2. Is 9 a factor of c(-19)?
True
Let n(g) = g**3 - 8*g**2 - 12*g - 10. Suppose 0 = 2*u + 2*y, 4*y = -u - y - 8. Suppose 4*t = -u*t + 60. Is n(t) a multiple of 35?
True
Suppose 3*m = 4 + 8, -4*k + 108 = m. Does 13 divide k?
True
Let b(s) = s**2 - 5*s + 7. Let x be b(4). Suppose 3*z = a - 115, 5*a - x*z - 377 = 150. Suppose 2*t - a = -5*c + 3*t, 0 = -5*c - 4*t + 113. Is 4 a factor of c?
False
Suppose 134*n - 28*n = -62*n + 350112. Does 4 divide n?
True
Let t(q) = 3*q + 6. Let w be t(-5). Let u(f) be the third derivative of -f**5/60 - 7*f**4/12 - 3*f**3/2 + 3*f**2 + 8. Is 5 a factor of u(w)?
False
Let h(x) = 437*x**2 + 37*x + 171. Is h(-9) a multiple of 87?
True
Let v be ((-2)/(-12) + 8/(-12))*0. Suppose v = 24*m - 5*m - 494. Does 12 divide m?
False
Let o = 401 + 579. Suppose 10*p - 12*p = -o. Is p a multiple of 14?
True
Suppose 5*n = -i + 190, 5*n + 2*i - 100 = 95. Suppose 41*b - 1088 = n*b. Is b a multiple of 37?
False
Let l(t) be the second derivative of 7*t**4/12 - t**3/3 - 4*t**2 - t. Let m be l(-6). Suppose -m = -2*g + 5*o, 4*o + 121 + 7 = g. Is 16 a factor of g?
True
Let t(f) = 2796*f - 1062. Does 12 divide t(4)?
False
Is (-5 - -23148) + ((-33)/11 - -9) a multiple of 33?
False
Let p(k) = -187*k**2 + 15*k + 3. Let h(z) = 280*z**2 - 23*z - 6. Let x(y) = -5*h(y) - 8*p(y). Is 10 a factor of x(2)?
True
Let z(o) = 2*o - 11 + 32 - o. Suppose 5*x + 136 = -12*x. Is z(x) a multiple of 10?
False
Let c(i) = -4*i**3 - 2*i**2 + i - 3. Let f be c(-3). Let n be 10/(3/(-7) - 76/(-112)). Let t = f - n. Does 4 divide t?
True
Let h be ((-1)/7)/(28/(-196)). Let l(t) = 7*t**3 + 2*t**2 - 2*t + 1. Is l(h) a multiple of 6?
False
Let i(f) = -f**3 - 11*f**2 - 14*f - 44. Let w be i(-13). Let z = w + -383. Does 4 divide z?
False
Let a(h) = h**3 + 9*h**2 - 10*h - 14. Let u be a(-9). Let l = u + -74. Suppose r - z - 98 = 0, -l*r + z = 2*r - 383. Does 19 divide r?
True
Suppose 4*n + d - 174 = 0, 0 = 5*n - 3*n + 3*d - 82. Let p = n + 66. Is 10 a factor of p?
True
Does 40 divide (7 - 6 - 0)*(5 + 1 + 548)?
False
Let r be 1587/15 - 18/(-90). Is 40 a factor of (-4)/(5/r*64/(-240))?
False
Let x(k) = 21*k - 102. Let p(t) = -9*t + 51. Let d(s) = 9*p(s) + 4*x(s). Is 7 a factor of d(-10)?
True
Let b(w) = 148*w - 310 - 50*w - 48*w. Is b(17) a multiple of 54?
True
Suppose -2*o + 3*q + 7 = -2, 0 = -q + 5. Let t(x) = -18*x + 5 + 29*x - o*x. Does 3 divide t(-24)?
False
Let p(d) = 37*d**2 - 3*d - 48. Let t be p(-9). Suppose 20*j - 28*j + t = 0. Is 32 a factor of j?
False
Suppose -34792 = -3*k - 21*d + 16*d, 2*d = -k + 11598. Is k a multiple of 20?
False
Let x(b) be the second derivative of b**7/2520 - b**6/360 + 19*b**5/30 + 5*b**4/4 + 8*b. Let s(d) be the third derivative of x(d). Is 10 a factor of s(0)?
False
Let h(d) = -307*d + 20. Suppose 3*n - j + 14 = 0, 15*j = 5*n + 17*j + 5. Does 11 divide h(n)?
False
Let i(m) = -m**3 + 3*m**2 + 3*m + 3. Let r be i(4). Let b be 4/12 - r/(-3). Is 40 a factor of (3 - 8) + 6 - (-187 + b)?
False
Suppose 0 = -3*p + 343 - 10. Let z be ((-63)/(-41 - -20))/(3/(-22)). Let s = z + p. Is 13 a factor of s?
False
Let x(k) = 16*k**2 - 2*k**3 - 17 - 2*k - 13*k**3 + 14*k**3. Does 16 divide x(7)?
False
Let y be (1656/88 - 9) + (-2)/(-11). Suppose 0 = 3*s, 3*q = -y*s + 5*s + 372. Is q a multiple of 4?
True
Let q = 94 + -94. Suppose -5*r + 166 + 224 = q. Is r a multiple of 27?
False
Let b be ((-20)/(-12) + 1)*12/16. Suppose 0*f - b*f + i = -1607, 0 = -f - 3*i + 786. Is f a multiple of 14?
False
Suppose w = 3*d + 15520, 8*w + 4*d + 10815 - 134975 = 0. Does 160 divide w?
True
Let m(b) = 369*b - 463. Is m(17) a multiple of 3?
False
Suppose 4*n + 5*p = 83, -254*n + p = -258*n + 87. Suppose -2*m + 12 = 2*m. Suppose 3*v = u - n, -2*v = 3*u - m*v - 34. Does 2 divide u?
True
Suppose 11*g - 29968 = 6*g + 2*w, 11985 = 2*g - 3*w. Is 37 a factor of g?
True
Suppose 11*a = 46*a - 23940. Let h = 321 + a. Is 82 a factor of h?
False
Let y = -57 - -92. Does 17 divide ((-213)/(-9))/(y/30 + -1)?
False
Let m = 127 - 51. Suppose -37 = 8*r + 27. Let i = m + r. Does 17 divide i?
True
Let r = -5879 + 9179. Is r a multiple of 150?
True
Let c be (-3442)/(-18) + -3*(-8)/(-108). Suppose 0 = 5*t - c - 459. Is t a multiple of 13?
True
Is (16517878/133)/29 + 6/14 a multiple of 11?
False
Let c(r) = 19*r**3 + 2*r**2 - 12*r - 24. Does 34 divide c(6)?
True
Let x(y) = y**3 - 5*y**2 - 9*y + 21. Let f be x(6). Suppose -2*a + 1581 = -5*k, 2*k - f*k = -4*a + 309. Let n = k + 487. Is 10 a factor of n?
True
Let j = 748 + -1439. Let m = j + 1042. Is m a multiple of 13?
True
Suppose -3*a + y + y = -730, 5*a + 4*y = 1180. Suppose -a = -30*j + 26*j. Suppose 3*f - 183 + j = 0. Is 19 a factor of f?
False
Let j(d) = -10*d**2 - 17*d + 20. Let p be j(4). Let g = p + 411. Is 17 a factor of g?
False
Let g be 84/18*(-1 - -16) + 1. Suppose -u - 5*i + 87 = 0, 2*u - 91 - g = -4*i. Let v = u - 60. Is v a multiple of 12?
False
Let v(u) = 20 + 14 + 14 - 46 - 104*u. Is 35 a factor of v(-2)?
True
Let b = 294 - -239. Let r = b + -459. Does 7 divide r?
False
Let l = 119 - 173. Let h be ((-75)/6)/(3/l). Suppose t + 2*t - h = 0. Is 25 a factor of t?
True
Suppose -95*g - 2760 = -118*g. Does 40 divide g?
True
Let r = 3481 - -1524. Is r a multiple of 138?
False
Let j = 19179 - -5365. Is 118 a factor of j?
True
Let p be (-4 + -1760)*5/2. Let m be 2/11 - p/66. Is (-4 - m)*(-4 - -2 - -1) a multiple of 17?
False
Let b = -13789 + 18748. Is b a multiple of 29?
True
Let j(c) be the first derivative of -c**4/4 - 20*c**3/3 + 8*c**2 - 13*c - 11. Let i be j(-22). Let x = i - 382. Is x a multiple of 13?
True
Let l(k) = 22*k**2 + 42*k + 1092. Is 58 a factor of l(-19)?
True
Let h = 6778 - 2181. Is 