 of 18?
True
Suppose 3*h + 13*p = 8*p + 7477, -4*p + 2490 = h. Is h a multiple of 86?
True
Is 14 a factor of 2/6 + 4793884/492?
True
Suppose 6346 = 4*m + 2*u, -8*m + 1592 = -7*m - 5*u. Is 15 a factor of m?
False
Let b = -445 - -409. Is 2*3/(-24) + (-15129)/b a multiple of 28?
True
Let i(r) = -222*r + 1165. Does 65 divide i(-5)?
True
Let b = -53 + 191. Does 3 divide 3/(-4 + 561/b)?
False
Let x = -486 - -1310. Is x a multiple of 11?
False
Let o(c) = 18*c - 25. Let r be o(-19). Let u = -60 - r. Does 42 divide u?
False
Suppose 361*s = 331*s + 496470. Is 19 a factor of s?
True
Suppose -k - 9*k = 22*k. Suppose 0 = -3*x + 2 + 1. Is 23 a factor of 1 + (k - (x - 92))?
True
Suppose 359*g - 640031 - 144025 = 0. Is g a multiple of 12?
True
Suppose -5*p = 187 + 38. Let v = p + 50. Let g(w) = -w**3 + 7*w**2 - w + 6. Is g(v) a multiple of 17?
True
Let w be 8/10 + (-1088)/160. Let d(n) = n**3 + 15*n**2 - 2*n - 42. Is 12 a factor of d(w)?
False
Let q = -247 - -6717. Does 124 divide q?
False
Is (-63792)/42*13/78*-21 a multiple of 12?
True
Let j be ((-2)/(-4)*-6)/(3/(-2)). Suppose -2220 = -4*b - j*b. Is 10 a factor of b?
True
Is 25 a factor of 19/(-38)*-24 - (-10439 + 0)?
False
Suppose -j + 3621 = -4*w, 3*j + 5*w - 17444 + 6615 = 0. Does 20 divide j?
False
Suppose 3996 - 551 = 5*f. Suppose 6*a - f = -155. Is 36 a factor of a?
False
Let o = -6663 + 11297. Is 66 a factor of o?
False
Is 8 a factor of (-1306)/(-6)*(-135 + 138)?
False
Suppose 12*r - 5403 = 11973. Is 13 a factor of r?
False
Suppose -344 = 379*h - 387*h. Suppose 0 = 46*v - h*v - 288. Is v a multiple of 7?
False
Let w be ((-12)/8)/(((-2)/(-1))/(-104)). Suppose -w = -3*g + 3*n, 4*g - 73 = 3*n + 36. Is 31 a factor of g?
True
Let d = -51 - -49. Is 27 a factor of -2 + -2 + (d - -187)?
False
Suppose 325*y - 271*y = 320922. Is y a multiple of 21?
True
Suppose -2*l + 29197 - 3631 = -6536. Is 121 a factor of l?
False
Let u(q) = q**2 - 15*q + 35. Let h be u(13). Let f be h/2 - (-3)/(-6). Suppose -f*w + 603 = w - 3*t, 512 = 4*w + 5*t. Does 7 divide w?
False
Let z be (-2 + -1)/((-16)/336). Let j be (-2)/(-7) + 1683/z. Suppose j*p - 25*p = 296. Is 13 a factor of p?
False
Suppose 120*h - 5*t + 14984 = 122*h, 4*h - 29968 = 3*t. Does 9 divide h?
False
Suppose 4*w + 112070 = 5*j, -44828 = -3*j + j - w. Does 76 divide j?
False
Let t be ((-104)/26)/(1*(-1 + 2)). Is t/10 + (0 - 3935/(-25)) a multiple of 14?
False
Let t(z) = 410*z - 7477. Is 59 a factor of t(84)?
True
Suppose 3476 = 7*l - 18*l. Let p = 912 + l. Is p a multiple of 15?
False
Let d(u) = u**3 - 33*u**2 + 34*u - 60. Let j(y) = -y**3 - 5*y**2 + 2*y + 8. Let c be j(-6). Is d(c) a multiple of 2?
True
Suppose -6*w + 347 = -1537. Let s = w - 261. Does 4 divide s?
False
Let g(l) = l**2 + 2*l + 40. Let u be g(0). Let z = u + -12. Suppose -44*o = -45*o + z. Does 4 divide o?
True
Let o be (2 + (5 - 12))*(-664)/(-10). Let c = o + 770. Does 43 divide c?
False
Let j(r) = -r + 1. Let t(x) = 49. Let z(b) = -3*j(b) + t(b). Let u be z(-14). Let p(n) = 10*n**2 + 9*n - 10. Is 17 a factor of p(u)?
False
Is 64 a factor of (192/(-20))/((-7)/((-132720)/(-18)))?
True
Let m(f) = f**3 + 17*f**2 - 6*f - 24. Suppose c + 2*y = -7, -4*c + y - 55 = 18. Let s be m(c). Let v = s + -35. Is 43 a factor of v?
True
Let o(g) = 11*g**3 - 9*g**2 + 20*g - 7. Is 12 a factor of o(7)?
False
Let n(b) = -212*b - 1024. Is n(-61) a multiple of 86?
False
Let v(t) = -t**3 + 33*t**2 + 71*t + 49. Is 98 a factor of v(17)?
True
Let w = 111 - -60. Let h = -90 + w. Let i = 198 - h. Does 39 divide i?
True
Is 137 a factor of (123/11 - (-28)/(-154))/((-101)/(-318251))?
True
Let k be ((-8)/3)/(56/(-21) + 2). Suppose -110 = -k*l + 130. Is l a multiple of 15?
True
Suppose 3*f + 5*c = -f + 130, 5*f - 181 = 3*c. Let a be 1/3 - f/(-21). Does 8 divide (0 - 102)*(a + 30/(-12))?
False
Let k(b) = -2*b**2 - 12*b + 17. Let m be k(-7). Suppose -4*u + 312 = -f - m*f, -f = 0. Let a = u - 39. Is a a multiple of 5?
False
Let z be (-245)/(-6 - 1) + -6. Suppose -4*u + 5 = o - z, 3*o = -3*u + 102. Is o a multiple of 17?
True
Suppose 0 = -3*z + 3*j + 3862 + 1148, 4*j = -3*z + 5052. Is z a multiple of 17?
False
Let l(x) = -25*x**3 + 2*x**2 - x - 4. Let w be l(3). Let f be (13/(-52))/(2/w). Let u = 19 + f. Does 10 divide u?
False
Suppose -26*n + 31*n - 3936 = -36*n. Is n a multiple of 96?
True
Let a(q) be the second derivative of q**5/10 + 31*q**3/6 - 13*q**2/2 + 2*q - 3. Does 14 divide a(6)?
False
Let x(u) = 2*u**2 + 5*u - 464. Does 3 divide x(68)?
False
Suppose 442286 = 13*y + 171522. Is y a multiple of 254?
True
Suppose 9*s + 14*s = 253. Is 98 a factor of s/77 + (30180/14)/2?
True
Let i = -2912 - -31642. Is 13 a factor of i?
True
Let f(d) = -170*d - 140. Suppose 28*c + 231 = -5*c. Is 15 a factor of f(c)?
True
Let k be 3/(-4) - (-130)/(-40). Let q be 9 + 0/(2/(-2)). Let t = q + k. Is t a multiple of 3?
False
Let w(n) = -154*n**3 + n**2 - n - 1. Let l(x) = -155*x**3 + x**2 - x - 2. Let g(a) = 4*a - 6. Let p be g(2). Let f(t) = p*l(t) - 3*w(t). Does 34 divide f(1)?
False
Let g be 0/(-1) - (-44)/11. Suppose 0 = 35*t - 33*t - g. Suppose -494 = -3*u - a, t*u = -8*a + 3*a + 325. Is u a multiple of 42?
False
Let p be 31/4 - (-48)/(-64). Suppose g + 10*k - 90 = p*k, -3*k = -5*g + 432. Is g a multiple of 31?
False
Let v(n) = -32 + 167*n - 4 - 44. Is 9 a factor of v(3)?
False
Let w be (-6)/(-1)*(-17)/((-17)/250). Suppose z - 1221 = -3*z + j, -5*z - 4*j = -w. Is 19 a factor of z?
True
Suppose 6*z - 2*z = 20. Suppose 5*h - 115 = z*u, 37 = -h + 3*h + u. Suppose 35 = 2*c + 5*b, 3*b - h = -c + b. Is c a multiple of 6?
True
Let z = 2991 + -2578. Is z even?
False
Let h(x) = -3656*x - 2073. Is 17 a factor of h(-16)?
True
Let p(w) = w. Let s(z) = z**2 + 21*z - 8. Let g(b) = -3*p(b) + s(b). Let r(k) = k - 1. Let y(u) = g(u) - 6*r(u). Is 43 a factor of y(-15)?
True
Suppose -x = -4*m - 16775, -25*m - 30 = -19*m. Does 3 divide x?
True
Suppose 5*x - 13*o = 74692, -27983 = -5*x + o + 46661. Is 48 a factor of x?
True
Suppose 17*r - 22*r = -815. Let p be -2 + 5 + -5 - r. Does 15 divide (-9 + p/(-10))/(1/2)?
True
Suppose -2*p + 2*t + 7052 = 0, -3*t + 9909 = 4*p - 4153. Does 55 divide p?
True
Does 52 divide (-3)/(-60)*8 + 118554/15?
True
Let g(z) = -91*z + 6 + 30 + 39*z. Is g(-7) a multiple of 25?
True
Let b(n) = 87*n + 4771. Does 6 divide b(-41)?
False
Let g(z) = -z**2 + 69*z + 60. Does 15 divide g(39)?
True
Suppose 0 = -t - 141 + 153. Suppose -549 = -t*x + 1071. Does 15 divide x?
True
Suppose 3*n + 2*a - 620 = 0, -5*a + 395 = -20*n + 22*n. Let j = n - 49. Is j a multiple of 23?
True
Let g = -32 + 42. Suppose 15*n = g*n + 15. Does 15 divide -6*(-8 + 2 + n)?
False
Let u(g) = 57*g**2 + 469*g + 57. Is u(-12) a multiple of 7?
False
Let t = -398 - -408. Suppose 2*k + 8*z - 5*z = 473, 2*z = t. Does 30 divide k?
False
Let o = 941 + 304. Suppose -o - 7863 = -12*q. Does 23 divide q?
True
Let q(i) = -i + 2. Let s be q(2). Suppose -p + 0 + 2 = s. Suppose -p*b + 5*b = 189. Is b a multiple of 32?
False
Let c = 35 + -25. Let q be 4 - (c/(-20) - 18/(-4)). Let p(v) = -v**3 + v**2 + 2*v + 234. Does 13 divide p(q)?
True
Let y = 2470 - 1990. Is y a multiple of 18?
False
Let t be 1/(-3) + -8 + (-344)/(-24). Is t/8 - (-285)/4 a multiple of 4?
True
Let c = 5999 - 3559. Let o = -1415 + c. Is o a multiple of 41?
True
Let b = 10 - -10. Suppose -w + 5*w = b. Suppose 186 = w*j - d, 6 - 60 = -j - 4*d. Does 38 divide j?
True
Let u = 12290 + 190. Is 120 a factor of u?
True
Let y be (-3*123)/(4 - (-5)/(-2)). Let k = 414 + y. Does 14 divide k?
True
Let k(s) = 2*s**3 + 47*s**2 - 2*s - 54. Let a be k(-24). Let l = -381 - a. Does 18 divide l?
False
Suppose -10*y = -55 - 55. Let m(p) be the first derivative of 5*p**2 + 9*p + 2. Does 13 divide m(y)?
False
Let x(g) be the first derivative of -4*g + 18 + 1/2*g**2. Does 5 divide x(24)?
True
Suppose 288*m - 211*m - 47970 - 411412 = 0. Does 8 divide m?
False
Let k = 1882 - 538. Suppose -4*s + 5*q = -k - 1108, -q - 1828 = -3*s. Does 8 divide s?
True
Let h(b) = -b**3 + 9*b**2 - 6*b + 17. Let d(g) = g**2 - 13*g + 44. Let r be d(9). Is 33 a factor of h(r)?
True
Let g(x) = 25*x**2 + 197*x - 4840. Does 8 divide g(32)?
True
Let j(i) be the first derivative of -189*i**4/4 - 2*i**3/3 - 3*i**2 - 4*i - 51. Is j(-1) a multiple of 21?
True
Let a = -123 - -137. Is (