 of 14?
True
Suppose -2*q - 10 + 0 = 0, -d = -5*q + 3. Let i be 3 - 2 - (1 + 0). Let m = i - d. Is m a multiple of 4?
True
Does 30 divide (-21)/35*-20 + 5628?
True
Let h(q) = 5*q**2 - 6*q - 8. Let v(r) = 5*r**2 - 5*r - 7. Let p(i) = -5*h(i) + 6*v(i). Let a be p(2). Suppose -a = -2*k + 318. Does 42 divide k?
True
Suppose -3*v - 3*d = -8*v - 56, 0 = 3*v - 2*d + 34. Let i be 1 + v*3 - -4. Let c = i - -53. Does 6 divide c?
False
Let a = 166 + -116. Suppose a*u = 54*u - 792. Is 10 a factor of u?
False
Let l = -15890 + 16079. Is 3 a factor of l?
True
Let l be 206190/(-7) + ((-18)/7)/9. Is l/(-48) - 12/(-9) a multiple of 15?
True
Let s = 459 + -753. Let z = -149 - s. Is z a multiple of 29?
True
Suppose 0 = -t - d + 36216, -72456 = -241*t + 239*t - 5*d. Is t a multiple of 62?
True
Let l = -90 + 92. Suppose -2*s + l*n - 1408 = -5*s, -s + 469 = n. Let x = s - 326. Is 18 a factor of x?
True
Let z(n) = 21*n**2 + n + 2. Let c be z(-6). Let s be (29/9 - 3) + c/18. Suppose -s = -2*m + 6. Is 11 a factor of m?
False
Suppose 14*t - 22*t = 139*t - 1982148. Is 124 a factor of t?
False
Let p be 1035/(-21) + 8/28. Let w = -19 - p. Is 14 a factor of 838/15 - (-4)/w?
True
Suppose 2*x + 438 = g, g + x + 2181 = 6*g. Does 13 divide g?
False
Let x = -33 + 46. Suppose 3 = -5*g + x. Suppose -5*t = 5*p - 395, g*p + p = -15. Is t a multiple of 28?
True
Let d = -112 - -112. Suppose 5*t = -4*o + 20, d = 3*o - t + 11 - 7. Suppose o = -3*a + 5*s + 136, -225 - 7 = -5*a + 3*s. Does 4 divide a?
False
Let q = 7345 + -2310. Is q a multiple of 40?
False
Let i(s) = 24*s - 43*s + 2*s**2 - 5*s**2 - 2. Let q be i(-6). Suppose -5*r + 552 = -q*t, 0*r = -3*r + 4*t + 336. Is r a multiple of 35?
False
Suppose 16*z = 165722 + 202358. Does 215 divide z?
True
Let k(z) = -6*z**2 - 23*z - 127. Let n be k(-24). Does 10 divide (7 + n/(-14))/(2/4)?
False
Suppose 26*g - 16809 - 16341 = -8788. Is 4 a factor of g?
False
Is 193 a factor of 0/(1 - -6) - 154*193/(-2)?
True
Let y(u) = 2*u**3 - 15*u**2 + 11*u - 24. Let t be y(7). Suppose -15*w - t*w = -24605. Is 20 a factor of w?
False
Let v(y) = 7*y - 23*y**2 - 21 - 10*y**3 + 26*y**2 + 28. Does 29 divide v(-4)?
True
Suppose -31*s = -38*s + 1806. Let l = 615 - s. Is 17 a factor of l?
True
Let q = 1259 + -875. Does 24 divide q?
True
Let p(f) = -f + 36. Let c be p(18). Is 6 a factor of (30/9*2)/(2/c)?
True
Let l = 95 - 95. Let o be 126/(-56)*(-4 - l). Let u = 5 + o. Is 2 a factor of u?
True
Let i(x) = -27*x**3 - 11*x**2 + 16*x + 217. Does 77 divide i(-8)?
False
Let m(u) = u**2 - 11*u - 22. Let p be m(-7). Suppose 0 = 2*v - 4*v - 5*w + 108, -2*v + p = 4*w. Is 4/(-22) + 1108/v a multiple of 2?
False
Let p = 25984 - 10123. Is 12 a factor of p?
False
Let h(z) be the third derivative of z**5/10 + 5*z**4/24 + 41*z**3/6 + 2*z**2 - 18*z. Does 31 divide h(8)?
True
Suppose 2*y + 35 = -5*x + 3*y, -2*y = 3*x + 8. Let p(n) = 34*n**2 + 13*n - n + 8 - 2 - 36*n**2 + 2*n**3 + 17*n**2. Is p(x) a multiple of 4?
False
Suppose -3*l + 8*l - m - 20 = 0, -l + 2*m = -4. Suppose 0 = 2*i + l*z + 113 - 991, 2*i - 4*z = 862. Does 20 divide (i/5)/(-1 - -2)?
False
Suppose 15960 = a - s + 5814, -4*s + 30431 = 3*a. Is a a multiple of 17?
False
Let g be ((-12)/10)/(((-16)/20)/(-2)). Let q(s) = -4*s**3 + s**2 - s + 1. Let z be q(g). Let l = z - 85. Is l a multiple of 9?
True
Let v be (-261)/(-27) + 2/6 + -3. Does 29 divide (2 + 1)/(((-126)/(-240))/v)?
False
Suppose 3*f + 35 = 5*a - 25, -48 = -4*a - 3*f. Is (72/a)/((-6)/(-20)) a multiple of 4?
True
Suppose -5*y - 11 = -0*n + 4*n, 17 = 5*n - 4*y. Suppose -2 = -f, -v + 5*f + n = -1. Is v a multiple of 2?
True
Let f(a) = 1095*a + 8131. Does 46 divide f(9)?
True
Suppose -5*r = -4*h - 1404, -9 + 5 = -h. Suppose 0 = -4*f - 16 + r. Is 2 a factor of f?
False
Let d = -16 - -13. Let p(a) = -2*a**3 - 9*a**2 - 9*a - 6. Let o be p(d). Is (441/12)/(o/(-16)) a multiple of 18?
False
Is (-214)/2247 + (-2116804)/(-42) a multiple of 96?
True
Let r be 8 + 135/(-20) + 105/(-4). Is 15 a factor of r + 21 + 816 + -1?
False
Suppose -194*m = -264*m + 24920. Is m a multiple of 7?
False
Is 24/(-15) + (-111496)/(-35) a multiple of 8?
True
Let u(f) = 2*f**3 - 3*f**2 + 3*f. Let q be u(1). Suppose 0 = 5*i - 2*w - 2472, q*w + 0*w = -2. Does 26 divide i?
True
Let q be ((-9)/18)/(2/(-12)) - 7. Let z be 0 - (-6)/(3 - 0). Does 7 divide 42/((z + -10)/q)?
True
Let k = 3979 - -29153. Is 11 a factor of k?
True
Let b(p) = -p - 1. Let f(r) = -8*r + 66. Let l(w) = 12*b(w) - f(w). Does 11 divide l(-25)?
True
Suppose -455321 - 113533 = -99*t. Is t a multiple of 26?
True
Let f be 3*(3 + 20/(-15)). Suppose 0*w - 272 = -f*k + w, 0 = -4*k - 2*w + 212. Is k a multiple of 9?
True
Let t(u) = -2*u**3 - 5*u**2 - 12*u - 20. Let q be t(-5). Does 86 divide (-1*860/15)/((-10)/q)?
True
Let p(t) = 2*t + 8. Let z(n) = -n. Let u(h) = -3*p(h) - 3*z(h). Let r(m) = -m**2 + 17*m + 5. Let o be r(18). Is u(o) a multiple of 8?
False
Suppose -11 = 3*n + r - 16, 4*n + 4*r + 4 = 0. Does 28 divide (-20)/(-30) - 133/(-3) - n?
False
Suppose -p + 4*q = p - 208, 2*q - 112 = -p. Suppose d = 3*j - 289, 0 = -0*j - j - 2*d + p. Let o = -38 + j. Is 30 a factor of o?
True
Let u be 0/(-4) - (-1)/((-4)/8). Let i = 2 - u. Suppose 6*t - 52 = i*t. Is t a multiple of 5?
False
Suppose 7540 - 3506 = b. Is 3 a factor of b?
False
Let c(s) be the second derivative of s**4/4 + s**3/6 - 5*s**2 - 5*s + 1. Is c(9) a multiple of 15?
False
Let a(h) = 122*h**2 - 27*h + 84. Does 101 divide a(8)?
True
Let g(x) = x**3 + 2*x**2 - 7. Let r be g(0). Let t(j) = -17*j**2 + 5*j - 6. Let c(s) = 19*s**2 - 5*s + 6. Let d(z) = r*t(z) - 6*c(z). Is 18 a factor of d(3)?
True
Let m(c) = 56*c**2 - 1723 - 2*c + c**3 - 54*c**2 + c. Let d be m(0). Is 19 a factor of d/(-7) - (-6)/336*-8?
False
Suppose -5*o - 2*y = -599, y - 77 = -o + 44. Suppose -3*h = p + 3*p + 32, -2*p - 5*h - 2 = 0. Let d = o + p. Does 18 divide d?
True
Suppose -354*c - 35874 = -372*c. Is 45 a factor of c?
False
Let v(m) = 15*m**2 + 6*m + 144. Let c be v(-10). Suppose -36*u + 39*u = c. Is u a multiple of 4?
True
Let b = 2379 + -1649. Suppose -6*c = -b + 322. Is 44 a factor of c?
False
Let z(x) = x**3 - 21*x**2 - 2*x + 49. Let u be z(21). Suppose 4*j = 2*h - u*h + 11, -3*h + 3*j = -12. Is 8 a factor of h + 70/(-2)*4/(-10)?
False
Suppose -11*k = -3*k + 56. Let q be -33 + (5 - (-3 - k)). Let t = q - -43. Is t even?
False
Suppose 82*k - 805 = 77*k. Is 13 a factor of (k/35 + -4)/((-1)/(-325))?
True
Suppose w + 7 = 28. Suppose -3*p - 2*o = -26 - 9, -3*o = p - w. Suppose -664 = -p*x + 1289. Is x a multiple of 47?
False
Suppose 5667 = 4*m + 1483. Is 163 a factor of m?
False
Let b = 542 - 540. Is 85 + 4 + (-8)/b a multiple of 5?
True
Suppose 2*u = 3*u - 1, o = 3*u - 594. Let c = o - -838. Suppose -647 + c = -4*i. Is 22 a factor of i?
False
Let s(r) = -82*r**2 - 22*r + 19. Let f be s(-9). Is 21 a factor of (f/75)/(1/(-3))?
False
Let k = -311 - -447. Suppose i + 52 = k. Does 5 divide i?
False
Suppose -41*b + 10*b + 26583 + 4603 = 0. Is b a multiple of 4?
False
Let c = -17 + 6. Let v = 19 + c. Is 1278/v - (-2)/8 a multiple of 40?
True
Is -49 - -38 - (-274420)/5 a multiple of 21?
True
Let y(x) be the second derivative of -59*x**3/6 + 37*x**2/2 + 206*x. Is y(-5) a multiple of 4?
True
Let r(t) = -t - 18. Let f be r(-18). Suppose -c - 584 = -4*m + c, -c + 4 = f. Let g = m - 85. Is 9 a factor of g?
True
Let h = 51 + -35. Let z(a) = 12*a**2 + 19 + 2*a + 14*a - a**3 + 3*a**2. Is 19 a factor of z(h)?
True
Let q(g) = 4*g. Let l be q(3). Suppose 0*z + l = 4*z. Suppose -h - 2*c = 3*h - 32, -36 = -4*h - z*c. Is 3 a factor of h?
True
Suppose -5*c - 2*u + 184 = 0, 3*u + 30 = -c + 2*c. Let j = 32 - c. Let x = 8 - j. Is 4 a factor of x?
True
Suppose 0 = 3*r - 2*c - 9, 10 = 5*r + 3*c - 5. Suppose -o - 2*w + 73 = 0, 2*w + 227 = r*o - 0*w. Let v = o + -15. Does 10 divide v?
True
Let a be ((-28)/11)/((-10)/55). Let k(u) = 62*u - 21. Does 86 divide k(a)?
False
Let v(i) = 3*i**3 - 4*i**2 + 3*i + 4. Let a be v(2). Suppose 0 = 7*t - 59 - a. Suppose -t*u + 447 = -708. Does 35 divide u?
True
Let k be 2/(11/(-4) + (-12)/(-4)). Suppose -k*h + 11*h - 6 = 0. Let i(y) = 11*y**3 - 3*y + 5. Is i(h) a multiple of 29?
True
Suppose -43*a - 3259 + 1328584 = -2*a. Is a a multiple of 20?
False
Is (3 - 21345)/(-6) + ((-12)/4 - 1) a multiple of 