vide h?
True
Let n = -7 - -9. Suppose 2*t = -2*g + 6, 3*t - 12 = -n*g - 2*g. Suppose -g*j + 22 = -74. Does 8 divide j?
True
Let r = -364 - -1787. Is r a multiple of 150?
False
Let b(j) = -21*j - 32. Is b(-14) a multiple of 5?
False
Suppose 77 + 91 = -7*x. Let p = -1 - x. Suppose -5*l + 27 = -p. Is l a multiple of 2?
True
Does 64 divide ((-8)/12)/(1/15)*-32?
True
Suppose -63 = 10*c - 13*c. Is 3 a factor of c?
True
Let v = 21 + -17. Suppose -41 = -q - k, -v*q - k + 100 = -79. Suppose -4*m - q = -6*m. Does 11 divide m?
False
Let p be 175/8 + 9/72. Let a = p - 26. Is (-18 + 4/a)/(-1) a multiple of 8?
False
Let u = 16906 + -11706. Is u a multiple of 20?
True
Suppose -8 = -2*h, 0 = 3*u + h + 3 + 2. Let m = u + 7. Is m a multiple of 2?
True
Is 28 a factor of (-8)/1 + (-17 - -837)?
True
Let h = -510 - -2334. Does 48 divide h?
True
Is (-23 + 18)*(2748/(-15) - -2) a multiple of 17?
False
Suppose 5 + 133 = 3*j. Let w = j + -8. Let g = 54 - w. Is g a multiple of 4?
True
Suppose 3*u = -3*j + 5*u + 9, -5*j = -5*u - 15. Suppose 0 = -4*k - 5*c + 90, -j*c + c = 3*k - 64. Does 3 divide k?
False
Let g(v) = 3*v**2 + 23*v - 2. Is 10 a factor of g(5)?
False
Let s(i) = -29*i - 206. Is s(-26) a multiple of 47?
False
Let p(f) be the first derivative of -f**5/20 - 2*f**4/3 + 3*f**3/2 + f**2 + 2*f - 5. Let h(b) be the first derivative of p(b). Is h(-9) a multiple of 2?
True
Suppose 2*j = 3*x + 4*j - 1795, -5*x + 2950 = -5*j. Is 17 a factor of x?
True
Let j = 21 + -13. Is 22 a factor of 526/j - 5/(-20)?
True
Let p(l) = 2*l - 8. Let a be p(8). Suppose 4*n - a*n = -552. Is 14 a factor of (4/12)/(2/n)?
False
Let m be -1 + -2 + 1 + 6. Let f be m/(-18) + (-1059)/(-27). Suppose 3*z = 6*z - f. Does 4 divide z?
False
Let q(g) = 56*g - 7. Does 9 divide q(6)?
False
Let d(s) = -s**2 + 20*s - 49. Does 4 divide d(12)?
False
Let a(m) be the third derivative of 0*m - 5*m**2 + 0 - m**3 - 5/8*m**4. Is 13 a factor of a(-3)?
True
Let v = 57 + -39. Suppose -i + 3 = v. Is (140/25)/((-6)/i) a multiple of 3?
False
Let h(x) = 2*x**3 - 8*x**2 + 23*x - 38. Does 26 divide h(5)?
False
Let f(c) = 30*c**3 - 2*c**2 + 5*c - 2. Does 31 divide f(1)?
True
Suppose 462 = 7*g - 10*g. Let d = 226 + g. Does 11 divide d?
False
Is (14/8)/((-18)/(-2448)) a multiple of 7?
True
Let y = -54 + 126. Let p = y + -18. Is 9 a factor of (-3 - 1)*p/(-8)?
True
Let c = 132 + -57. Is 60 a factor of 40/(-25)*c/(-2)?
True
Suppose 0 = 21*o - 26*o - 4*t + 1033, o + 2*t = 209. Does 10 divide o?
False
Suppose 4*k + 52 = 5*u, k + k + 30 = 3*u. Suppose 3*f + u = 20. Suppose -43 = -f*s + 5*p + 147, -2*s = -4*p - 92. Is 10 a factor of s?
True
Does 5 divide (-1992)/(-42) - (-6)/(-14)?
False
Let p = -1090 + 1927. Is p a multiple of 93?
True
Let f = -212 - -352. Does 52 divide f?
False
Let s(v) = -v**3 + 12*v**2 - 12*v + 5. Let f be s(5). Suppose b - f = 106. Does 48 divide b?
False
Suppose -20*r + 112 = -18*r. Suppose 0 = -h + r - 47. Is h a multiple of 9?
True
Let v be (20/4 + -2)/(-1). Let m = v + 15. Let n = -3 + m. Is 8 a factor of n?
False
Let n(t) = 3*t**2 + 14*t + 96. Does 74 divide n(-16)?
False
Let f = 6 + -14. Let v be f/(-36) - 86/(-18). Suppose -2*c - 4*p = 4 - 44, c + v*p - 23 = 0. Is 6 a factor of c?
True
Let l be (-6)/(-2) - 24*2. Let g = l + 21. Let p = 52 + g. Is 18 a factor of p?
False
Let p = -3938 + 6017. Does 99 divide p?
True
Suppose -2*m - 4*h = 11 - 5, 5*h = m + 3. Let n be 4 - (3 - (m - -6)). Does 6 divide 1*(n + -22)*-1?
True
Let t = -2 - -4. Let s(d) = -d**3 + d**2 + 2. Let p be s(t). Does 9 divide p - -1*(-39)/(-1)?
False
Let f = 328 + -311. Is f a multiple of 17?
True
Let j be (-1 + 157)*(-1)/(-2). Suppose 0*g + j = g. Is g a multiple of 26?
True
Let y(c) = c**2 + 10. Suppose -2*u - 5*l = 0, -4*l + 14 + 2 = 0. Is 22 a factor of y(u)?
True
Let p(m) = 3*m - 13. Let x be p(6). Suppose -4*d = -2*k - 288, -k + x*k = 5*d - 357. Is 17 a factor of d?
False
Suppose -5*a = a + 12. Let s(c) = c - 3*c - 4*c. Is s(a) a multiple of 12?
True
Suppose -3*i + 6 = -0*i. Suppose 0*q + 3*q + 4 = 4*l, 0 = -i*q - 2*l + 16. Let s = q - -3. Is s even?
False
Suppose -3*f = -2*f - 11. Suppose -9*i + f*i = 618. Suppose -4*g + 208 + 42 = -3*c, -5*g + i = -2*c. Is g a multiple of 17?
False
Suppose -h + 3 = -6*h + 3*s, 3*h + 5 = s. Let d be h/(0 + 2/2). Let p(c) = -c**3 - c**2 + 5*c + 3. Is 5 a factor of p(d)?
False
Suppose 12*l - 29910 = -5178. Does 23 divide l?
False
Let h be 15/((2/50)/((-8)/(-20))). Let y = h - 12. Is 24 a factor of y?
False
Let x = -69 - -77. Suppose -10*i + 446 = -x*i - 4*n, 5*i + n - 1115 = 0. Is 38 a factor of i?
False
Suppose -s = -o + 57, -2*s - 3*o = -s + 49. Let v = s + 123. Is v a multiple of 16?
False
Suppose 2*o + 2*o = 0. Let r be o + 9/((-36)/(-560)). Suppose 0 = 4*q - 8*q + r. Is 7 a factor of q?
True
Let r be (-2)/(-5) + (-124)/10. Let b = -27 - r. Let m = b - -22. Is m a multiple of 3?
False
Suppose -51 = -3*y - 3*t, -2*y - t + 77 = 2*y. Suppose k = 4*x + x + 7, -5*k + 5 = 5*x. Suppose k*z - y = 8. Is 7 a factor of z?
True
Suppose 0 = 5*v - 17 - 18. Suppose v = x - 4*l, -5*l + 0*l = 0. Does 2 divide x?
False
Let p(r) = 10*r**2 - 4*r + 3. Let n(h) = -10*h**2 + 5*h - 4. Let v(j) = 3*n(j) + 4*p(j). Let f be v(-4). Suppose 7*i = 11*i - f. Does 22 divide i?
False
Let r be (-3)/(-4) + (-452)/(-16). Suppose 0*g = -2*g. Let z = r + g. Does 14 divide z?
False
Suppose 0 = -3*c - m - 3*m + 10, -5*c + 3*m = -7. Let u = 42 + -42. Suppose -4*s + 22 = -c*y, -3*s + s + 5*y + 31 = u. Is s a multiple of 3?
True
Suppose 0 = -c + 3*i + 135, 3*i + 2 - 8 = 0. Is c a multiple of 14?
False
Let p = 0 - -6. Let x(n) = n**3 + 13*n**2 + 19*n - 5. Let u be x(-11). Suppose -2*r = -p*r + u. Is 2 a factor of r?
False
Suppose 4850 = 5*n - 4*w, -n = 2*w - 411 - 545. Is n a multiple of 34?
False
Suppose 33205 = 16*r + 10405. Does 25 divide r?
True
Let b = 85 - 43. Is b + 2*(-3)/2 a multiple of 16?
False
Suppose -1008 = 9*o - 37*o. Is o a multiple of 4?
True
Let m(j) = -j**3 - 5*j**2 + 5*j + 8. Let d be (7 - 4) + -1 + 1. Suppose -2*k - 22 = 5*p, -d*k + 9 = -3. Is 14 a factor of m(p)?
True
Let p(i) = i + 19. Let h be p(6). Let t = h - -15. Is 7 a factor of t?
False
Let h(p) = -20*p**3 + p**2 + p. Let x be h(-1). Let a = 49 - x. Is a a multiple of 12?
False
Suppose 0*r = r. Suppose r = 2*l - 23 - 17. Let n = 27 - l. Is n a multiple of 2?
False
Suppose 2*i - 3 = -3. Suppose 4*g - j - 64 = 0, -2*g + i*j = -3*j - 42. Does 14 divide g?
False
Let o be (2*1)/(4/10). Suppose 66 = -2*g + 4*g. Suppose 4*f = o*f - g. Is f a multiple of 11?
True
Let g(y) = -y**3 + 8*y**2 + 10*y - 9. Let h(p) = 9*p**2 + p + 1. Let n be h(-1). Let b be g(n). Suppose b*t - t = -24. Is 12 a factor of t?
True
Let t(l) = -3*l**2 - l**3 + 9*l + 265 - 252 + 11*l**2. Let a be -2*(27/(-6))/1. Does 4 divide t(a)?
False
Let v(w) = -2*w - 7. Let x(k) = 2*k - 1. Let n be x(3). Let c(s) = 4*s + 15. Let g(t) = n*v(t) + 3*c(t). Does 5 divide g(10)?
True
Suppose m - 260 = -5*g, -8*m - g = -13*m + 1378. Does 12 divide m?
False
Let v(r) = r**2 - 10. Let l be v(0). Let t(x) = -x**3 - 3*x**3 + 3*x**3 - 10*x**2 - 3 + 0*x - x. Does 5 divide t(l)?
False
Let d be 31251/(-187) + 8/68. Let x be 3/12 - (-858)/(-8). Let v = x - d. Is v a multiple of 20?
True
Let h(l) = -l**3 - 9*l**2 - 8*l + 2. Let x be h(-8). Suppose -x + 32 = 5*g. Suppose -3*s - 26 = -j - g*s, -2*j - 2*s = -48. Does 6 divide j?
False
Suppose 4*f = -3*y + 1318, -29 = f + 2*y - 356. Let g = -233 + f. Is 16 a factor of g?
False
Let d = 23 + 5. Suppose c - 5*c = d. Let j(k) = k**2 - 2*k - 12. Does 26 divide j(c)?
False
Suppose -2*s = -5*c - 1291, -4*c = 3*s - 530 - 1372. Is s a multiple of 11?
True
Let d = -16 + 19. Suppose -2*g + 4*g + 4*q = 6, q = 2*g - 26. Suppose d*h = g + 61. Is h a multiple of 12?
True
Suppose -3*k - l + 425 = 0, 3*k + 2*l - 6*l = 400. Is 35 a factor of k?
True
Suppose -437 + 25 = -4*l. Let z = l + -70. Is 11 a factor of z?
True
Let z(u) = -u**2 + 4*u + 12. Let l be z(5). Suppose -l*a + 96 = a. Does 11 divide a?
False
Suppose 4*s + 3*b = 1091, 4*s = -4*b + 1749 - 661. Is 9 a factor of s?
False
Let u be (12/(-4) - 0) + -53. Let b = 24 - u. Does 15 divide b?
False
Suppose 51*o - 39*o = 168. Does 14 divide o?
True
Let z(x) be the first derivative of 57*x**3 + x**2 + 2*x - 1. Does 19 divide z(-1)?
True
Let z 