True
Let m = 2187 - -3476. Is m a multiple of 7?
True
Suppose 0 = -0*h + 4*h - 8. Suppose -3 - 1 = -h*x. Suppose -2*j = -s - 27 - 14, 0 = j - x*s - 22. Is 2 a factor of j?
True
Let p(c) = -871*c - 29. Let d be p(3). Is d/(-11) - 26/143 a multiple of 16?
True
Let m(n) = -3*n**3 + 22*n**2 - 68*n + 4. Let k(p) = p**3 + p**2 + p - 1. Let d(c) = 2*k(c) + m(c). Is d(20) a multiple of 29?
False
Let p = 40 - 42. Let l be -52*(20/(-8) - p). Suppose 108 = l*x - 20*x. Does 3 divide x?
True
Suppose -177634*r - 61272 = -177658*r. Does 79 divide r?
False
Suppose 9*f - 419 = 931. Is 3 a factor of f?
True
Suppose 49 = -a + 42, 29030 = 2*t - 2*a. Is 124 a factor of t?
True
Suppose 1078 = -3*o + r, -4*o + 551 = -5*r + 1981. Let f = 892 + o. Does 8 divide f?
False
Let s be 387/(-3)*3 - 3. Let o = 612 + s. Suppose -4*u - 66 + o = 0. Is u a multiple of 6?
False
Let p(t) = t**3 - 6*t**2 + 6*t - 3. Let u be p(5). Suppose -4*s - u*s - 96 = 0. Is (-1668)/s - (-9)/12 a multiple of 35?
True
Let q(o) = -584*o**2 + o - 3. Let c be q(-1). Let a = c + 1542. Is a a multiple of 18?
True
Suppose -4*y + 80 = 76. Is 5 - y - 8/(-12)*57 a multiple of 21?
True
Let c = 970 - 572. Let n = 457 - c. Is n a multiple of 6?
False
Let l(z) = 15*z**2 - 3*z + 5. Let w = 2 - 7. Let o be l(w). Let h = o + -267. Is h a multiple of 16?
True
Let a(s) be the second derivative of 7*s**4/12 - s**3/6 - 16*s. Let h be a(1). Let n(z) = z**3 - 3*z**2 - 13*z + 5. Does 5 divide n(h)?
True
Suppose 5*z - 1829 - 156 = 0. Suppose -3*u - z = -5*f, 2*f - 5*f - 4*u = -244. Let s = -71 + f. Does 9 divide s?
True
Let a(x) = -556*x - 1564. Is 20 a factor of a(-14)?
True
Suppose 0 = -3036*y + 3064*y - 64876. Is y a multiple of 11?
False
Let j = -43 + 3653. Is 19 a factor of j?
True
Let q(u) = 2*u - 25. Let a be q(-8). Let y = a - -231. Is 38 a factor of y?
True
Let u = 5717 - 5701. Let i(t) = 16*t - 10 - 12 - 9. Is i(u) a multiple of 9?
True
Let p be -466*((-270)/20 - 8). Suppose 70*f - p - 11191 = 0. Is 3 a factor of f?
True
Let m = 4713 - 2249. Is m a multiple of 44?
True
Let r(f) = -20*f**3 + 5*f**2 - 4*f + 3. Let d be r(-3). Suppose -10*p = 2*p - d. Is p a multiple of 5?
True
Suppose 2629284 + 598322 = 314*i. Is 41 a factor of i?
False
Let u(g) = -g**3 - 35*g**2 + 262*g - 14. Does 61 divide u(-52)?
True
Let r(l) = -l**3 + 6*l**2 + 63*l + 440. Is r(-14) a multiple of 22?
False
Let j(h) be the third derivative of -121*h**4/24 - 85*h**3/3 + 198*h**2. Does 20 divide j(-11)?
False
Suppose 0*o + 4*o + 24 = 0. Let d(g) be the second derivative of g**4/12 + 3*g**3/2 + 13*g**2 + 40*g + 3. Is 6 a factor of d(o)?
False
Suppose -79457 = 52*p - 349337. Is 6 a factor of p?
True
Let q(f) = 24065*f**3 - 9*f**2 - 1. Is 85 a factor of q(1)?
True
Let k be (-4)/(-16) + (-4 - (-999)/4). Let p = 375 + k. Does 9 divide p?
True
Let y = 23 + -257. Let l = 292 + y. Is 4 a factor of l?
False
Let a = -93 - -92. Let q(c) = -c**2 + 2*c + 3. Let d be q(a). Suppose 5*b - 242 = 2*t, 3*b - 2*t + 4*t - 158 = d. Does 5 divide b?
True
Let y be 3/(-1) + (-5 - 0)*-42. Suppose y + 985 = 4*c. Does 19 divide c?
False
Let k(u) = -3*u**3 + 6*u**2 + 5*u - 2. Is k(-5) a multiple of 4?
False
Does 111 divide (-9 + 483/35)/((-8)/(-9620))?
True
Suppose 4*t = k + 1858, -5*k = 3*t - 0*t - 1405. Let j = t - 381. Is j a multiple of 6?
True
Let n be 765/6 + 2/4. Let t be n/(-6)*(-7 - (-4 - -3)). Suppose 324 - t = 4*y. Is y a multiple of 11?
False
Let j = -32 - -12. Is 14 a factor of (-55)/j + -3 - (-505)/4?
True
Let z be 4 - (1 + 3/3). Suppose 2*c + 2 - 30 = -z*g, -5*g = -5*c - 110. Does 36 divide (-32)/(-12)*g*(-12)/(-16)?
True
Let j(v) = 4*v**2 - 312*v - 713. Does 20 divide j(87)?
False
Let j = 471 + -61. Suppose -469 = -n + j. Is 18 a factor of n?
False
Let f = -43 - -414. Suppose -17*u + 15*u = 2*j + 484, 0 = -5*u + 5. Let o = f + j. Is o a multiple of 32?
True
Let v(t) be the third derivative of -t**4/8 + 11*t**3/3 - 29*t**2. Let q be v(7). Is 57 a factor of 152/(-6)*(75/(-6) - q)?
True
Let x(i) = -62*i + 99. Is 12 a factor of x(-35)?
False
Suppose 435*c - 415*c = 10440. Does 18 divide c?
True
Let f = 6212 + -5226. Is f a multiple of 29?
True
Let k(u) = 442*u + 11. Is k(6) a multiple of 11?
False
Suppose 0 = 3*j + 4*s, 7*s - 5*s = -j. Suppose r - 3*x - 124 = j, 3*x + 222 = -4*r + 778. Is r a multiple of 8?
True
Let g = -6319 + 8915. Does 44 divide g?
True
Suppose 0 = 3*k - 17*k - 18*k + 484000. Is k a multiple of 5?
True
Suppose -o - 60 = 2*o. Let b = o + 22. Suppose 18 = 3*v + b*u - 14, -3*v - 5*u = -44. Is v a multiple of 3?
False
Suppose -5*r = -4*h - 9975, -7543 - 411 = -4*r - 2*h. Is 88 a factor of r?
False
Let l(c) = c + 119. Let b be l(0). Suppose 236*s - 238*s = -6. Suppose s = -4*z + b. Is 29 a factor of z?
True
Let d be 18/27 + 1/3. Is 11 a factor of (-32 + 2 + d)*(-14 - -10)?
False
Suppose 5*g = 161 - 6. Suppose -15*m = -g - 59. Suppose 0 = -m*f + 1370 - 248. Does 22 divide f?
False
Let k(l) = 2*l**2 + 22*l + 201. Is 10 a factor of k(-11)?
False
Let g(f) = -14*f**3 - 9*f**2 + f + 8. Let m = 34 + -38. Let x be g(m). Suppose -8*z + x = -5*z. Is z a multiple of 18?
True
Let a = -13394 + 23395. Is a a multiple of 73?
True
Is 7 a factor of (-121)/55*(-3220)/4?
True
Let i be (202 + -1)/((-30)/(-90)). Suppose -3*w = -0*w - i. Is 29 a factor of w?
False
Let n be -2 + ((-5)/(5/(-2)) - -9). Let p be (2/n - 22/99)/(-3). Suppose p*i - 56 = -i. Is i a multiple of 14?
True
Let v(n) = -473*n**3 - 17*n**2 + 20*n + 70. Is v(-3) a multiple of 34?
False
Let j = -185 + 265. Suppose 4*q - 2*y - j = 0, q + 0*y = -3*y + 13. Does 6 divide q?
False
Let b be 63*3 + 2 + -1 + 6. Suppose -5*i + 305 = 5*q, 2*q - 112 = -0*q - 4*i. Let j = b - q. Does 31 divide j?
False
Is 3 a factor of (-24)/18*1006/(-4)*3?
False
Suppose -316*d = -5*q - 319*d + 55051, -10999 = -q - 2*d. Is q a multiple of 49?
False
Suppose 5*g + 730 = 7840. Let n = g + -318. Does 47 divide n?
False
Let m = 599 - 596. Suppose -21*x + 18*x - 1000 = -z, 5*x = -m*z + 3056. Is z a multiple of 23?
True
Suppose -54*r + 29680 = -201855 - 125243. Is 29 a factor of r?
False
Let h(j) = j - 6. Let y be h(12). Suppose 4*c = 2*c + y. Suppose -a = -0*x + c*x - 63, 0 = 4*x + 3*a - 79. Is x a multiple of 11?
True
Let i = 173 + -448. Let n = i - -515. Suppose 2*m = -2*m - 2*c + 228, -4*m + c = -n. Is m a multiple of 6?
False
Suppose -125 - 1518 = -j - 4*v, -2*j + 2*v = -3216. Does 17 divide j?
True
Suppose 18*c - 169 - 15599 = 0. Suppose -9*n + c = 291. Is n a multiple of 2?
False
Let a(d) = -33*d + 62 - 130 + 97. Is 40 a factor of a(-6)?
False
Let v be (-4)/1 + 1 + -1. Let r(h) = -13*h**3 + 12*h**2 + 3*h - 12. Is 50 a factor of r(v)?
True
Let u be 24/(-36) + (-4)/3. Let o be (-5)/(-20) + (u - 1159/(-4)). Let g = o + -198. Is g a multiple of 15?
True
Suppose -117 + 41 = -2*z. Suppose 2*k = 5*k - 201. Let u = k - z. Is 7 a factor of u?
False
Let l = 266 + -265. Let b(u) = 496*u - 46. Is b(l) a multiple of 30?
True
Suppose -2*m = 12*m - 6538. Let x = m - 181. Does 13 divide x?
True
Suppose -215*n = -211*n - 164288. Is 17 a factor of n?
True
Let h = 239 - 261. Is h/(-253) + (-10572)/(-92) a multiple of 30?
False
Suppose -69870 = -5*q + 3*c, 0 = -q - 2*c + 3928 + 10046. Is q a multiple of 17?
True
Suppose 3*j = -0*j - 5*j. Suppose j = -15*r + 10*r + 15. Suppose -r*n + 2*n = -5*p + 518, -304 = -3*p + 4*n. Does 13 divide p?
True
Let b = -138 - -1773. Is b a multiple of 5?
True
Let s be 3/9 + (-602)/(-21). Suppose -u + 18 = -4*d, -5*d = s*u - 33*u + 83. Is u a multiple of 3?
False
Let a(g) = -7*g**3 + 4*g**2 + 2*g - 14. Let l be a(-5). Suppose 0*u = -3*z - 3*u + l, -4*z - 3*u = -1266. Is z a multiple of 5?
True
Let o be 6/(-33) + (-10)/(-55). Suppose 0*p - 8*p + 24 = o. Is (p - 7) + (-144)/(-4) a multiple of 32?
True
Let x be 4130/531 - 2/(-9). Does 6 divide x/(-1) + 7 + 807?
False
Let b(i) = -293*i + 765. Is b(-36) a multiple of 53?
False
Suppose -311*x + 10 = -316*x, -s - 3*x + 9734 = 0. Does 6 divide s?
False
Is 6004 + -6*-8*6/(-288) a multiple of 69?
True
Let d(n) = 5*n**2 + 22*n - 33. Let r be d(-6). Let o(a) be the second derivative of -a**4/12 + 10*a**3/3 + 37*a**2/2 - 2*a. Is o(r) a multiple of 5?
False
Suppose 265*c - 9 = 268*c. Let i(s) = 16*s**2 + 4*s - 10. Is 16 a factor of i(c)?
False
Let k be 0*((-35)/10 + 4). Let c be 