ond derivative of 121*l**4/6 - 4*l**3/3 + 3*l**2 + 18*l. Does 12 divide t(1)?
True
Let n = 5486 - 1794. Is n a multiple of 13?
True
Suppose -457*x = 463*x - 918*x - 11996. Does 5 divide x?
False
Let q be ((-56)/70)/((-4)/(-30)). Let a be (-1156)/q - 6/9. Suppose 3*h + 708 = 7*h - 4*n, h - a = -2*n. Does 37 divide h?
False
Let h be 2/2 - 3*(-11 - 2). Suppose -7*c - 3*c + h = 0. Suppose -40 = -c*i - 2*u, -2*u = i + 3*u - 10. Does 10 divide i?
True
Suppose -147*h - 7171584 = -272*h - 197*h. Does 96 divide h?
True
Let t be (1 + 0)*(-10)/(-5). Let l be (42/10*-1)/(t/(-10)). Let m = -9 + l. Is 3 a factor of m?
True
Let c(l) = 2*l**2 - 8*l + 13. Suppose 2 = -o - 2, -4*y + 68 = -o. Let w = 20 - y. Does 2 divide c(w)?
False
Let t(x) be the first derivative of 7*x**3/3 + 11*x**2/2 - 18*x - 2. Let f be 44/77 + 138/(-21). Does 24 divide t(f)?
True
Let o be 6/(1 - (1 - 6)). Is 4 a factor of (-592)/(-4) + (-7 + 11)*o?
True
Is (-9)/(-24)*32024 - (-2 + (-16)/(-2)) a multiple of 12?
False
Does 47 divide (-18048)/846*(6345/6)/(-3)?
True
Let w(u) = 172*u**2 + u - 1. Let l(v) be the second derivative of v**4/6 - 19*v**3/6 - 9*v**2/2 + 20*v. Let g be l(10). Does 43 divide w(g)?
True
Suppose 5*l = -101*y + 96*y + 15555, 2*l - y = 6204. Is 45 a factor of l?
True
Suppose 0*i - 671 = 2*z - 3*i, 2*i = -3*z - 987. Let b = -166 - z. Is (4/(-6))/(1/b*-2) a multiple of 9?
False
Suppose 104*w = 109*w - 20. Is 81 a factor of w + 720 + 4 + -1?
False
Let m = -11575 - -13980. Does 56 divide m?
False
Let c(m) = -m**2 - 5*m - 10. Let h be c(-3). Is ((-734)/h)/((-19)/(-38)) a multiple of 11?
False
Let o be (-147)/(-1) - (4 + 3 - 6). Let c = 175 - o. Is c a multiple of 2?
False
Suppose 0 = 3*a + 4*f - 4 - 3, 5*a + 4*f = 25. Suppose 196 + 29 = a*n. Let u = 36 - n. Does 6 divide u?
False
Suppose 9*h + 259 = 19*h - 1221. Is h a multiple of 53?
False
Suppose -6*s - 10 = -11*s. Let x be -13 - (20/s)/(-2). Is 22 a factor of (-13)/(-52) + (-294)/x?
False
Suppose 0 = 4*r + z - 2*z + 47, 3*z + 15 = -r. Let y be 147/12 + (-2)/8. Is 2 a factor of (-3)/y - 171/r?
True
Does 4 divide (-2424)/707*6188/(-6)?
True
Suppose 14 = 4*f + 2, g + 15 = 5*f. Suppose 2*x + 2*x - 2528 = g. Does 8 divide x?
True
Suppose -2*k - 2*g = -96, 3*g - 20 = -2*g. Let c = -40 + k. Suppose -c*a + 5*w + 398 = 0, -3*a = -2*w - 2*w - 298. Is 34 a factor of a?
True
Let q be 1*(8 + -4 - 3)*2. Suppose 4*j - 552 = q*m, -m - 3*m = 0. Suppose -454 = -4*k + j. Is 15 a factor of k?
False
Let h(d) = d**3 + 8*d**2 + 5*d + 6. Let j be h(-6). Let v = j + 120. Is 7 a factor of v?
True
Let m = -5691 + 7386. Is m a multiple of 78?
False
Let x = 118 + -50. Suppose x = 3*m + 26. Is 18 a factor of 9*(192/84 + (-4)/m)?
True
Suppose 5*b + 3*r - 90693 = 0, 0 = -b - 4*r + 9374 + 8751. Is b a multiple of 31?
False
Let b be (-4)/6*((-4)/(-2) + -8). Suppose 2*c - b*h = -0*c - 140, 120 = -2*c - h. Let l = c - -139. Does 11 divide l?
True
Is 17 a factor of 17 + (54567 + -23 - 8)?
True
Suppose 12*b - 19*b + 1211 = 0. Is (b - 54) + (0/1 - -1) a multiple of 15?
True
Suppose 0 = 1322*z - 1321*z + 153. Suppose 2*m - 307 - 237 = 0. Let r = m + z. Does 13 divide r?
False
Suppose 0 = 4*z + z + 5*b - 5, 3 = 3*z + 2*b. Let s be (0 - z - -19)*728/42. Suppose 4*i - s = -4*w, -2*w + 5*i = -5*w + 232. Is w a multiple of 15?
False
Let n(w) = -56*w - 11 - 34 - 4 - 18. Is n(-9) a multiple of 19?
True
Suppose -51 + 18 = -v. Let c = v + 11. Suppose -2*h = h - 2*k - c, -h + 28 = 2*k. Does 9 divide h?
True
Let p(v) = v**2 - 40*v - 100. Suppose 92 = 5*c - 3*c + 3*m, 3*c - 137 = -4*m. Is 7 a factor of p(c)?
False
Let z = 35 + -30. Suppose -z*c = -9*c - 792. Does 20 divide (-6)/(-2) + (-5 - (6 + c))?
False
Let o(l) = l**3 - 16*l**2 + 20*l + 6. Let j be (-10)/(-55) + (-652)/(-44). Let p be o(j). Suppose -p = -8*h + 7*h. Does 9 divide h?
True
Suppose j - 4 = -5*c, -3*c + 0*c = -4*j + 16. Suppose 5*g + x - 390 = 0, 0*g - 4*g + 4*x + 288 = c. Does 26 divide g?
False
Let z = -264 + 144. Let d = z - -1463. Is 18 a factor of d?
False
Let i(p) = 22*p + 136. Let z be i(-6). Suppose 2*v = z*t + 101 + 1033, 4*v = -t + 2250. Is 90 a factor of v?
False
Let o(y) = y**2 + 4*y. Let c be o(-3). Let a be (150/9)/(c/(-27)). Let j = a + -99. Is 9 a factor of j?
False
Let v(s) = s**2 + 44*s + 100. Let z be v(-34). Is (z/(-14))/(-4)*-308 a multiple of 20?
True
Let g = -4 - 3. Let s be (-663)/(-68) + -9 + (-182)/8. Let v = g - s. Is v a multiple of 6?
False
Let f(d) be the second derivative of d**4/12 + 7*d**3/3 - 17*d**2/2 + 13*d. Let r be f(-17). Let x = -25 + r. Is x a multiple of 3?
True
Let q = -102 - -104. Suppose q*x - 1 = 3. Suppose -6*v + v = 4*i - 148, 76 = x*i + 2*v. Is i a multiple of 23?
False
Let d(c) = c**2 - 89*c + 769. Does 14 divide d(0)?
False
Let j(t) = 18*t + 32. Suppose -6 = -3*z - 0. Is j(z) a multiple of 11?
False
Let h = 593 - 181. Let c = h - -46. Is c a multiple of 37?
False
Suppose 50*x - 3*x - 1245412 = 9*x. Does 12 divide x?
False
Suppose -5*p + 21762 = -3*y - 5022, -3*p + 3*y = -16074. Is 105 a factor of p?
True
Let q = -53 - -41. Is 10 a factor of (-1323)/q + 25/(-20)?
False
Suppose 655451 = 361*m - 3298943. Does 3 divide m?
False
Suppose -3*p + 96 = -5*z, -14*z + 10*z - 66 = -2*p. Suppose -p*d = 4*d - 12152. Is 18 a factor of d?
False
Suppose 2*s = -3*x + 40588 - 11646, 0 = 3*s - 4*x - 43379. Is s a multiple of 240?
False
Let b = 1450 + 32183. Is b a multiple of 37?
True
Suppose -4*p = 4*p - 1344. Let j = -46 + p. Suppose 8 = -6*n + j. Is n even?
False
Is 36 a factor of 2 + 63/(-14) - (-4 + (-29211)/14)?
True
Let n = -127 - -124. Is -4 + 6 - (-112 - (-5 - n)) a multiple of 3?
False
Let m = -1806 - -17757. Does 93 divide m?
False
Suppose 113 = 2*d - 13. Let l = d + -55. Suppose l*v - 45 = 5*v. Does 7 divide v?
False
Let s(o) = o**3 + 13*o**2 - 14*o + 2. Let x be s(-14). Suppose 15 = -x*t - 3*t. Is 12 a factor of -1*12/((t + 2)/1)?
True
Let k = 13536 + -9522. Is k a multiple of 6?
True
Is 83 a factor of (34 + 1414)*2/16?
False
Let o be (-528)/84 - (-2)/7. Let i(c) = -40*c - 108. Is 74 a factor of i(o)?
False
Suppose 4*q + 3*s - 73404 = 0, 91756 = 5*q + 67*s - 63*s. Is q a multiple of 33?
True
Suppose -p = 278 + 297. Let x be 8/10*p/(-10)*2. Suppose -28 = -8*f + x. Does 15 divide f?
True
Suppose 0 = -31*y + 105*y - 21238. Does 41 divide y?
True
Is 13 a factor of (4918/(-6))/((-381)/(-508) + (-121)/156)?
True
Let p = 29 + -26. Suppose -p*y + 34 = 2*u - 2*y, 4*y - 10 = -u. Suppose 0 = u*k - 13*k - 245. Is 21 a factor of k?
False
Let q(l) be the first derivative of l**4/4 + 3*l**3 - 2*l**2 + l - 12. Suppose -h + 16 = -3*h. Is q(h) a multiple of 28?
False
Is -227 + 2827 + 2 + (-10 - 0) a multiple of 56?
False
Let g(b) = -b**2 - 14*b + 74. Let o be g(4). Suppose 0 = -o*f + 3 + 3, -65 = -2*i - 5*f. Is i a multiple of 5?
True
Suppose 4*w - 732 = 4*a, -27*a + 557 = 3*w - 31*a. Does 25 divide w?
True
Suppose 4*p = -4*a + 16620, 233*a - 5*p = 229*a + 16665. Does 5 divide a?
True
Let f(j) = 12*j**2 - j - 4. Let d be f(-7). Let c = 808 - 475. Let x = d - c. Is x a multiple of 40?
False
Suppose 7*a - 4*y = 4*a + 15, 3*y = -a + 5. Suppose 4*x + 196 = 4*v + a*x, -3*v + 5*x + 124 = 0. Is 15 a factor of v?
False
Suppose -2590*t + 2598*t - 271224 = 0. Does 175 divide t?
False
Suppose -43*a + 819 = -36*a. Suppose 3*t - a = -5*q, 2*t + 135 = 5*t - q. Is 5 a factor of t?
False
Let d = 10 + -66. Suppose -2*h + 2*t + 3 = 1, 4*h - 2*t = 0. Does 5 divide h + 42 + d/(-14)?
True
Suppose -p - 3*u = -4*p + 7686, 4*u + 2553 = p. Does 11 divide p?
False
Let l = -3724 - -14224. Suppose -b - 20*b = -l. Is b a multiple of 25?
True
Suppose 2*d = -5*l + 865, -2*d + 757 = l - 128. Let x = 861 - d. Is 26 a factor of x?
True
Suppose 4*p - 42478 = -i, -7*i - 53135 = -5*p - 2*i. Is p a multiple of 19?
True
Let s = -80 + 43. Let h = s + 76. Suppose -123 = -6*d - h. Does 5 divide d?
False
Suppose x - 6 = -3. Let d(u) = -8*u**3 + 11*u**2 - u + 23. Let i(f) = -23*f**3 + 32*f**2 - 4*f + 66. Let l(o) = 17*d(o) - 6*i(o). Is l(x) a multiple of 25?
True
Let x(a) = -2*a**3 - 3*a**2 + 7*a + 13. Let b be x(-3). Suppose 6365 = b*p + 532. Is p a multiple of 6?
False
Let p = -41 + 31. Is 5 a factor of (-4)/p + (1752/30)/4?
True
Let w be 105466/20 + 2*(-9)/60. Suppose 1496 + w = 7*i. Does 105 divide i?
False
Let q(z) 