308. Is h a multiple of 34?
False
Is 20375630/2640 - (-3)/(-72) a multiple of 100?
False
Let y be (-860 + 1)*12/(-12). Suppose -y - 1185 = -7*p. Does 39 divide p?
False
Suppose -70 = 2*d + 2*b, -2*d + 5*b - 4*b = 85. Let t = d - -37. Does 4 divide ((-11)/t)/(7/21)?
False
Let l be (8 + 368)*((-42)/4)/7. Let m = 140 - l. Does 64 divide m?
True
Suppose 2*i = -3*u + 14, 0 = 3*i - 11 - 1. Suppose s - 3 = 5*d - 5, -u*d + 8 = -4*s. Suppose -5*j + d*j = -760. Is j a multiple of 14?
False
Suppose -f + 0 = 1, 3*w = f + 1. Suppose w = -7*z - 13*z + 560. Is 2 a factor of z?
True
Does 72 divide (112/(-20))/7 + 229041/45?
False
Is 57 a factor of (95 + -100 - -435*1) + 9?
False
Let p(z) = 229*z**3 - 2*z**2 + 4*z - 2. Let v be p(1). Let l = -56 + 59. Suppose -m + v = l*c, c - 4*c + 3*m + 213 = 0. Is c a multiple of 22?
False
Let k be (24/(-18))/(1/9). Let f(b) = -b - 4. Let c be f(k). Suppose c*y - 110 = 3*y. Is y a multiple of 13?
False
Suppose 0 = -5*i - d + 29, -i - 2*i + 2*d = -7. Suppose -2*u = u - m - 48, -i*u + 80 = -m. Is u a multiple of 14?
False
Suppose 3410 + 5630 = 2*p. Is p a multiple of 8?
True
Let q(x) = 191*x**3 + x - 2. Let s be (4 - 3) + 0 - 11. Let n = 11 + s. Is 38 a factor of q(n)?
True
Let v(s) = 7*s**3 + 29*s**2 - 13*s - 6. Is 65 a factor of v(8)?
True
Let o = -3931 + 581. Does 13 divide (o/(-150))/((-1)/(-3))?
False
Let l be 108/12*(-3 + 1)/(-2). Suppose -40*s + 1426 = -l*s. Is s a multiple of 2?
True
Let b(x) = 2 + 32*x + 32*x - 1. Is b(1) a multiple of 12?
False
Let k = 3535 - 970. Suppose -8*h + k + 1683 = 0. Is 32 a factor of h?
False
Is 86 a factor of 220004/36 + -4 + -1 + 34/(-153)?
True
Let l = 85 - 33. Let c = 246 + l. Does 12 divide (-4)/6 + c/6?
False
Is 9 a factor of 624811/632 + (-5)/8?
False
Suppose 4*l = 5*q - 0*q - 8103, -5*q = 5*l - 8085. Let v be -1*1/3 - (-148)/3. Suppose 10*c - q = -v. Is c a multiple of 19?
False
Suppose -7*o - 2282 = -9*o - c, -4*c + 1155 = o. Does 43 divide o?
False
Let o(c) = -2*c**2 - 17*c - 3. Let l be o(-8). Suppose l*n - 8*n + 24 = 0. Let s = 8 + n. Is s a multiple of 13?
False
Let m(l) = l**3 + 33*l**2 - 112*l + 38. Is m(-15) a multiple of 5?
False
Let u = -331 - -3069. Suppose 4774 = 24*l - u. Is l a multiple of 13?
False
Let f = 4147 - 1115. Suppose 6*v - 11*v + 4*h = -f, -4*v + h + 2430 = 0. Is v a multiple of 32?
True
Let n = -209 - -209. Does 32 divide -80*(-1 + 1 + n + -18)?
True
Let c = 341 - -4637. Is c a multiple of 19?
True
Let g(l) = 3*l**2 - l + 4. Let t = -59 + 48. Let k be t + 14 - (-8)/2. Does 36 divide g(k)?
True
Is 13 a factor of (0 + 2)*-1 + 10983/(-210)*-50?
True
Suppose -8*k - 114 = -14*k. Suppose -k*q + 8 = -15*q. Suppose -3*p = -q*p - 100. Is p a multiple of 25?
True
Suppose 19*q - 25*q = 12. Is 16 a factor of 8 + (109 - (7 + q))?
True
Let b(l) = 1073*l + 402. Is 38 a factor of b(6)?
True
Let a = 1090 - 596. Does 19 divide a?
True
Does 129 divide 0 + (514 - -2)*3?
True
Let o be (5 - 4/4) + -104. Let s = 296 + o. Is s a multiple of 14?
True
Let s = 3047 - 1347. Is 10 a factor of s?
True
Let r(m) = m**3 - 2*m**2 - 4. Let l be r(3). Suppose 705 + 205 = l*g. Let z = -87 + g. Is z a multiple of 19?
True
Suppose 0 = 11*m - 22896 - 3636. Suppose -x + 480 = a, -2*x = -7*x - a + m. Is x a multiple of 23?
True
Suppose 0 = -3*c + 406 + 593. Let q = c + -138. Let r = q - 76. Is 17 a factor of r?
True
Suppose 1280240 = -590*b + 694*b. Does 50 divide b?
False
Is 6/4*(-4 - (-120)/36) + 8893 a multiple of 12?
True
Does 96 divide 5*(-2 + (-1584)/(-10)) + -5?
False
Is 98 a factor of (-21)/(-2*(-36)/(-160944))?
True
Let u(i) be the third derivative of 7*i**4/8 + 458*i**3/3 + 38*i**2. Is u(0) a multiple of 15?
False
Let n be (-2)/(-2) - 2/2. Let x(w) be the first derivative of -w**2/2 + 92*w - 2146. Is 6 a factor of x(n)?
False
Let o be (-82)/4 - 16/(-32). Let k = 32 + o. Is 8/k*(-57)/(-1) a multiple of 21?
False
Suppose -5*l + 2*c - 4*c + 1 = 0, -5*c + 13 = 2*l. Let d(h) = h + 38. Let b(i) = i - 1. Let t(z) = l*d(z) - 6*b(z). Is t(-11) a multiple of 3?
True
Let b = -22501 + 31681. Is b a multiple of 12?
True
Is 5 a factor of 28452/24 - 27/(-6)?
True
Let s be 3 + (0 - -3)/(-3). Suppose -s*r + 44 = -196. Suppose 0 = 6*t - 2*t - r. Is t a multiple of 5?
True
Let t(w) = -w**2 - 9*w + 25. Let k be t(-11). Let s(c) = -27 + k*c + 0*c + 2*c. Is s(9) a multiple of 2?
True
Suppose 20*x - 31*x + 9515 = 0. Suppose -2*b + x + 555 = 0. Suppose 2 = 4*t + 22, -3*y - 2*t + b = 0. Is y a multiple of 15?
True
Suppose -31*d + 32*d - 4 = 0. Does 11 divide 491 - (23 - -5)/d?
True
Suppose 3768 - 328 = 4*h. Suppose -4*d + 0 = 5*y - h, 4*d - y = 836. Let o = d - 114. Is o a multiple of 12?
True
Let r(i) = 2*i**2 + 15*i + 10. Let n be r(-7). Let y = 0 + n. Suppose -4*h + y = -25. Does 6 divide h?
False
Let n(j) = 14*j**2 - 2*j + 4. Let l be n(3). Suppose 0 = 7*x + 24*x + 2015. Let o = x + l. Is o a multiple of 14?
False
Let o = -72 + 74. Suppose -o*h - 5*f + 211 = -h, 5*f + 5 = 0. Suppose -2*y - h = -11*y. Is 16 a factor of y?
False
Let q(m) = -m**3 - 6*m**2 - 6*m + 4. Let y be q(-5). Suppose -2527 = -6*x - 607. Suppose -y*d = -5*d - x. Is d a multiple of 20?
True
Suppose 1721 = 14*g - 8121. Let h = g - 395. Does 28 divide h?
True
Let v(m) = -m**3 - 10*m**2 + m + 7. Let l be 0/(-5) - (2 - (-2 - 6)). Let j be v(l). Does 2 divide (6/(-7))/j - 1672/(-77)?
True
Let a be (-1 + 41/4)/((-4)/48). Let g = a - -123. Does 6 divide g?
True
Let h = -24613 + 42395. Is 17 a factor of h?
True
Let b(x) = 1972*x - 4735. Is b(10) a multiple of 135?
True
Suppose -4*h - 17 = 3*d - 40, -h = -2*d + 8. Is 33 a factor of h/(-3) - 6688/(-24)?
False
Let s be 13310/45 + (-6)/(-27). Let a = s + -75. Is a a multiple of 7?
False
Suppose 0 = -5*f + 131 - 26. Let x = -20 + f. Is 24 a factor of x/5 - (-4193)/35?
True
Let p be (1/(-3)*5)/((-4)/12). Suppose -p*i - 2*i = -6*i. Suppose -2*m - 3*m + 1140 = i. Is m a multiple of 38?
True
Let x = -8254 + 14590. Does 16 divide x?
True
Let v(u) = 61*u**2. Let a be v(3). Suppose 0*d + 7*d - 2*w + 1524 = 3*d, -3*w = 0. Let l = a + d. Is 14 a factor of l?
True
Suppose -72 = -3*h - 60. Suppose -h*p = -86 - 26. Is 28 a factor of p?
True
Let l(o) = o**3 + 16*o**2 - 3*o - 20. Let y be l(-16). Let g(n) = n**2 - 27*n - 3. Let a be g(y). Let w = a + 19. Is 3 a factor of w?
False
Is 70/175 + 9176/10 + 0 a multiple of 2?
True
Suppose -3*b - r + 341 = 0, 0 = -4*b + r - 35 + 478. Is b a multiple of 11?
False
Suppose -14*m + 75777 = -68520 - 26741. Is m a multiple of 19?
True
Suppose 14*s = 2335 - 25. Suppose j - 6*j - 475 = 0. Let a = j + s. Does 14 divide a?
True
Let u(n) = 8*n**2 - 24*n + 96. Does 195 divide u(-18)?
True
Let x be (5 - 4) + (9 - (-1)/(-1)). Suppose x*z - 101 + 38 = 0. Suppose 5*i = -z + 482. Does 8 divide i?
False
Is 450 - -29 - 10/2 a multiple of 9?
False
Suppose 1302 + 1812 = 6*m. Suppose m = 8*n - 273. Does 11 divide n?
True
Let r = 36 - 33. Suppose -443 + 134 = -r*z. Suppose -h + 27 = -z. Is h a multiple of 48?
False
Suppose 43292*i + 704781 = 43325*i. Does 9 divide i?
True
Let x(i) = 3*i**2 - 2*i + 52. Let q(y) = -2*y**2 + y + 1. Let c(f) = -5*q(f) - x(f). Is c(-7) a multiple of 12?
False
Let r = -16941 + 36603. Is 174 a factor of r?
True
Let i be ((-3)/(-3))/((-4)/12). Let u(o) be the third derivative of o**6/120 + o**5/10 - o**4/8 + o**3/2 - 22*o**2. Is u(i) a multiple of 18?
False
Suppose 4182 + 4196 = 118*a. Is a even?
False
Does 88 divide ((-83)/(-3))/(841/648411)?
False
Let i = 66 - 57. Suppose -i*y + 7*y = -10. Suppose 0 = 3*a - 12, -y*k + k - a = -468. Does 29 divide k?
True
Suppose -5*m = -38 + 28. Suppose 30*t - 29*t - m*z = 118, t - 118 = 5*z. Is 3 a factor of t?
False
Suppose 0 = -36*w + 577280 - 68564. Does 69 divide w?
False
Let x(k) = -251*k + 102. Let r be x(-6). Suppose 5*t = z - 779, -2*z + 3*t = 57 - r. Is z a multiple of 86?
True
Let m = -3679 - -3639. Suppose -30 = 4*v - 270. Is ((-846)/4)/3*m/v a multiple of 21?
False
Does 92 divide (-41046252)/(-696) + (-6)/4 + -1?
True
Suppose 2*o - 10109 = 5*v, o = -21*v + 25*v + 5065. Is o a multiple of 63?
False
Let q(h) = -411*h - 1128. Does 62 divide q(-48)?
True
Let d be 1/((-124)/42 + 3). Suppose 3*a = -s - 24, -s + 3*a - d = 3*s. Is 13 a factor of s/((-36)/(-8)) + 132?
True
Let j(g) = g**3 + 6*g**2 - 7*g - 8. Let f be j(-6). Le