uppose d*n = 17*n - 7098. Is n a multiple of 39?
True
Let b = 529 + -193. Let s be (1 + 0)*3 + -1. Suppose s*y + b = 14*y. Does 6 divide y?
False
Let o be 2*(8/16 + 152/(-2)). Let q = o - -202. Does 12 divide q?
False
Suppose 3 = -4*f + 11. Let d(y) = 24*y**2 - 12*y + 20. Is d(f) a multiple of 23?
True
Does 23 divide (((-230)/(-414))/((-5)/3))/(2/(-138))?
True
Let g(m) = -43*m**2 + 6*m + 4. Let v be g(2). Is 7 a factor of (-9)/(-2)*(v/(-9) + 6)?
True
Let w(j) = -13*j - 1114. Let c be w(0). Let h = -388 - c. Is 12 a factor of h?
False
Suppose -12*b + 47314 = 13114. Is 38 a factor of b?
True
Let g(c) = 228*c**2 - 4*c + 5. Let v = 110 + -108. Does 57 divide g(v)?
False
Let x be 591/1 - -3 - 6. Suppose -24*c = -17*c - x. Is 12 a factor of c?
True
Suppose 8*x - 30 = 2*x. Suppose -x*l + 6*l = 4. Suppose -3*z + 214 = n + 20, 0 = 2*z - l. Is 42 a factor of n?
False
Suppose -128*n - 143*n = -2861760. Is 176 a factor of n?
True
Let u be (-120)/100*(-20)/6. Suppose -c + u*k + 397 = 0, 3*k = -7*c + 3*c + 1550. Does 18 divide c?
False
Let i = 12 - 4. Suppose -36 = -i*r + 44. Is 3 a factor of 2/4 - (-445)/r?
True
Let f be 2/5 - (296/40 + 7). Let q(s) = -11*s - 52. Is q(f) a multiple of 51?
True
Suppose -265 = 2*f - 7*f. Let p be (-679)/(-126)*2 - (-2)/9. Suppose p + f = c. Is 8 a factor of c?
True
Let m(r) be the third derivative of -r**6/120 + r**5/12 + r**4/12 + r**3 - 3*r**2 + 926*r. Let l(w) = -2*w - 7. Let s be l(-6). Does 5 divide m(s)?
False
Suppose -20 = v + 5*t, -v - 2*v + 20 = -5*t. Suppose f + f + 2*y = 0, f - 4*y - 10 = v. Suppose -f*b - b = -42. Does 7 divide b?
True
Let j(a) = -49*a**2 + 13*a - 12. Let u be j(1). Is 5462/8 + 36/u a multiple of 7?
False
Suppose -53 = -10*h - 873. Let z = -582 - -368. Let m = h - z. Is 22 a factor of m?
True
Suppose 16*a + 559 = 3007. Let z = 169 - a. Is 2 a factor of z?
True
Suppose -43*x = 9215 - 133485. Is x a multiple of 30?
False
Suppose -2*u = -2*x - 124, -3*x + 5*x + 4*u = -112. Is (1026/x)/(3/(-5))*6 a multiple of 22?
False
Let x = 9561 - 8111. Is x a multiple of 50?
True
Suppose -6*p + 23909 = 30340 - 97139. Is 20 a factor of p?
False
Let t(o) = -150*o - 20. Let c be t(-4). Suppose 15*l - 11*l - c = 2*p, -3*l + 434 = -p. Is l a multiple of 48?
True
Let z be (2 + 6)/((1 + 9)/5). Suppose 3*y = 4*u + 502, -z*y - 4*u + 963 = 275. Is 41 a factor of y?
False
Is (-160)/128 - 232/(-32) - 1*-7402 a multiple of 3?
False
Let p = 33 - 31. Does 13 divide 10802/44 - (-3)/p?
True
Let z = -29974 + 35689. Does 45 divide z?
True
Let w(n) be the first derivative of 13 - 1/3*n**3 - 9*n - 6*n**2. Is w(-8) a multiple of 3?
False
Suppose -164*q - 70698 + 620426 = 0. Is q a multiple of 4?
True
Let s(g) = 2*g**2 - 12*g + 15. Let w be s(-10). Let n = w + 106. Is n a multiple of 55?
False
Suppose 0 = -p + 5*p. Suppose 4*y - 151 - 381 = p. Does 7 divide y?
True
Suppose 0 = -3*r + 3*k, 0 = -r + 2*k + 7 - 6. Does 15 divide (994 - r/(-1))/(3 - 2)?
False
Let r(q) = 7*q - 121. Let j be r(19). Suppose 6*h + 540 = j*h. Does 16 divide h?
False
Suppose q - 2*q = 2*x - 10, q + 18 = 5*x. Suppose -2*s + q*r + 61 = -13, s = -3*r + 29. Is s a multiple of 35?
True
Let o be 511 - (-21)/(1 - 4). Let i = -196 + o. Does 22 divide i?
True
Let z be 8/48*4*(-942)/(-4). Let j(v) = -44*v + 8. Let d be j(-6). Let k = d - z. Does 45 divide k?
False
Let p = 215 - 213. Suppose s + 155 = 2*u, -6*s = -3*u - p*s + 220. Is u a multiple of 4?
True
Let t(b) = -b**2 + 18*b + 1. Let f be t(18). Is (3549/(-7))/((-2)/6*f) a multiple of 58?
False
Let u(c) = -16*c**3 - 46*c**2 - 40*c - 38. Let f(s) = -5*s**3 - 15*s**2 - 14*s - 13. Let v(d) = 10*f(d) - 3*u(d). Does 9 divide v(-8)?
False
Let i = -22640 - -72776. Is 83 a factor of i?
False
Let y = -69 - 191. Let a = y - -750. Does 70 divide a?
True
Let b(p) = p. Let x(c) = -c + 79. Let k(o) = -b(o) + x(o). Is 17 a factor of k(31)?
True
Suppose 20*d - 10 - 10 = 0. Does 13 divide 217/d - (13 + -17)?
True
Suppose 36 + 2 = 2*y - 4*v, -3*v = 4*y - 43. Suppose 68 = 4*d - 3*j + y, -3*d = 3*j - 15. Does 15 divide ((-215)/d - 1)*-6?
True
Let f(w) = 7*w**2 - w - 30. Suppose 17*t - 7*t = 70. Is f(t) a multiple of 6?
True
Suppose 2327200 = -435*v - 68*v + 9063376. Is v a multiple of 12?
True
Let u = -61 - -74. Suppose 0*c + 3*p + 93 = 3*c, -p - 2 = 0. Let t = c + u. Is 19 a factor of t?
False
Suppose 0 = -4*j + 5*l + 25, 0 = 3*j - 2*j - 2*l - 10. Suppose -3*s + 22 = 7. Suppose -s*q + 3*z = -296, -125 = -j*q - 2*q - z. Is q a multiple of 19?
False
Let y = -2072 + 13922. Is y a multiple of 237?
True
Let u(m) = 4*m**3 - 10*m**2 - 25*m - 4. Does 14 divide u(8)?
True
Suppose 4*r - 4 = -2*x - 14, 0 = -5*x - 2*r + 7. Suppose 4*i - 256 = 2*z - 0*z, 0 = x*z. Let n = i + 80. Does 28 divide n?
False
Let w = 21787 - 3792. Does 58 divide w?
False
Let p(m) = 2*m**2 + 3*m + 4. Let l be p(-2). Let g be 45654/(-36) - (-1)/l. Does 18 divide g/(-14) - (-32)/(-56)?
True
Suppose 0 = -3*x + 755 - 164. Let a = x + -153. Is a a multiple of 2?
True
Does 10 divide (-3900136)/(-826) + (-5)/7?
False
Let x = -212 - -11069. Does 329 divide x?
True
Let h(z) = -2*z - 13 + 2*z - 13 + 2*z. Let r be h(18). Is 4 a factor of (-1 + 5/r)*-12?
False
Let d(n) = n**2 - 6*n - 31. Let z = 200 + -215. Does 19 divide d(z)?
False
Let m = 2092 + -1336. Suppose -15*t = -18*t + m. Does 28 divide t?
True
Does 5 divide (3912/32)/((-12)/12*(-3)/64)?
False
Suppose -4*w = s - 1943 + 119, -4*w - 9*s + 1792 = 0. Does 12 divide w?
False
Let c(h) = 7*h**2 - 11*h + 4. Suppose 15 = -6*n + 141. Let f be (-198)/n + 5 + 6/14. Does 16 divide c(f)?
True
Let j(p) = 3*p**2 - 2*p - 4*p + 0 + 7. Let s be j(6). Let n = s - -30. Is 16 a factor of n?
False
Suppose -7*d - 3*d + 40 = 0. Let p(v) = 5*v**2 - 4*v + 8. Let b be p(d). Suppose 5*l = 3*o - 582 + b, 2*l - 489 = -3*o. Is o a multiple of 23?
False
Suppose -2 = 2*z + 3*g, z - 36*g = -34*g + 6. Suppose 37*y + z*y - 39546 = 0. Does 13 divide y?
True
Let g(r) = 3*r - 2. Let v(c) = c. Let f(y) = g(y) - 2*v(y). Let d be f(7). Suppose d*x + 61 - 421 = 0. Is x a multiple of 19?
False
Let j(t) be the first derivative of -44*t**2 + 24*t - 1716. Let a(n) = n**2 - 3. Let w be a(0). Is j(w) a multiple of 36?
True
Let v = 6127 - 5370. Is v a multiple of 2?
False
Let p = -241 - -345. Let z = -137 - -107. Let n = p + z. Is n a multiple of 41?
False
Let i(g) = g**3 + 4*g**2 + 2*g - 1. Let p be i(-2). Let n(v) = -3*v**2 - v - 12 - 214*v**3 + 213*v**p + 7*v. Is 4 a factor of n(-5)?
True
Let l be 2/(1/(-2) - (-7)/6). Let g(u) = 2*u - 1. Let b be g(l). Suppose -b*n + 444 = -n. Does 37 divide n?
True
Suppose -9*b + 24*b + 15*b = 24270. Is b a multiple of 55?
False
Let l(t) be the first derivative of -t**4/4 + t**2 + 60*t - 519. Suppose 0 = 3*g + 2*g. Is 50 a factor of l(g)?
False
Suppose -10*x - 6*x = 81*x - 262676. Does 2 divide x?
True
Let c(i) = -31*i**2 - 81*i + 95*i + 1 + 34*i**2. Let d be -3 - (-2)/(4/(-10)). Is 22 a factor of c(d)?
False
Let p = -8849 - -14440. Is 12 a factor of p?
False
Suppose -2*z - x = -12, -6*z + 16 = -3*z + x. Let s(k) = 157*k - 79. Is s(z) a multiple of 9?
True
Suppose 2*y - v = 1664, 7*y + 2*v = 8*y - 838. Does 10 divide y?
True
Let t(k) = 18*k - 1 - 22 - 4 - 22*k. Let s be t(-10). Suppose 60 - s = v. Does 6 divide v?
False
Let i(g) = -115*g + 38. Let w be i(-6). Let l = -373 + w. Is l a multiple of 15?
False
Is 2/10 - (-24843933)/2335 a multiple of 152?
True
Let z(d) = -d**3 + 36*d**2 - 164*d + 3. Is 24 a factor of z(27)?
True
Let d(x) = -3*x + 9. Let l be d(5). Let s(j) = -34*j - 1. Does 17 divide s(l)?
False
Let t(b) = -6*b + 9*b - 16*b**3 + 20*b**3 - 5*b - 9*b**2. Let s = 5 - 1. Is t(s) a multiple of 27?
False
Suppose -6*t - 8129 = -17*t. Does 10 divide t?
False
Is -680*11/(242/(-1397)) a multiple of 254?
True
Does 140 divide (-4)/((108/(-20) - -5) + 5958/14910)?
True
Suppose 0 = -h - 3*h + 80. Let i = h + -11. Suppose i*w = 8*w + 36. Does 6 divide w?
True
Let r = 5 - 5. Suppose 0 = -4*o - 2*m - 108, -5*o - 4*m + 2*m - 137 = r. Let y = o + 81. Is 13 a factor of y?
True
Suppose 12 = c - 2*k, -k - 9 = -4. Let x(w) = 504*w - 46. Does 12 divide x(c)?
False
Let p(o) be the second derivative of 142*o**3/3 - 2*o. Does 13 divide p(1)?
False
Let u(t) = t**3 + 2*t**2 - 19*t + 6. Let l(s) = -28*s + 23. Let f be l(1). Does 26 divide u(f)?
True
