a multiple of 9?
True
Suppose 2*h + 0*h = -78. Let o = 3 - h. Is o a multiple of 14?
True
Does 25 divide 26/13*50/4?
True
Suppose r - 4*r + 3*n = -6, n + 6 = 3*r. Is 8 a factor of 3/(r/10 - 51/300)?
False
Suppose -89 = -3*p - 83, -h = 2*p - 198. Is 2 a factor of h?
True
Let g(q) = 4 - 3994*q**2 + 4007*q**2 + 15*q + 0 + q**3. Let k be (-1 + 0)*22/2. Is 20 a factor of g(k)?
False
Suppose -m + k = -3, -m + 5*k - 27 = -3*m. Let s(h) = -8 + m*h**2 - 2*h + 14 - 5. Is 17 a factor of s(2)?
False
Let p = -212 - -252. Is 11 a factor of p?
False
Let l = 11 - 7. Is 16 a factor of (l/10 + 0)*200?
True
Let c(h) = -2*h**3 + 18*h**2 - 12*h - 2. Is c(7) a multiple of 24?
False
Let b = 22 - 16. Suppose 3*z - b*z + 18 = 0. Is z a multiple of 2?
True
Let o(r) be the second derivative of 25*r**3/6 + r**2 + 3*r. Suppose 0 = y - 4*q + 9, -2*y + 6 = -3*y + 3*q. Does 26 divide o(y)?
False
Suppose 42*t = t + 51865. Is t a multiple of 5?
True
Let r be (-2 - -1) + 4 - 3. Let v(k) = k**2 + k + 3. Let d be v(r). Does 3 divide -21*(1 - 4/d)?
False
Is 39036/32 + 2/16 a multiple of 24?
False
Suppose -50400 = 3*i - 24*i. Is i a multiple of 60?
True
Suppose 2*f - 3*s - 31 = f, -5*f = -s - 141. Suppose -f = -11*y + 10*y. Is 4 a factor of (-4)/6 - y/(-6)?
True
Let m = -4 + 36. Let n = m + 54. Is 13 a factor of n?
False
Let p = 7 + 6. Suppose 1010 + 1629 = p*q. Does 23 divide q?
False
Suppose -83*l = -16523 - 59007. Is l a multiple of 40?
False
Suppose 3*c = 4*d - 267, 6 = 2*c - 0*c. Suppose 0 = l + 20 - d. Is l a multiple of 7?
True
Let i = 167 + -113. Let l be (i/12)/(3/10). Let j = l + 5. Is 4 a factor of j?
True
Let q be (-595)/10 - (-3)/6. Let n = -21 - q. Is 19 a factor of n?
True
Suppose v - 31 = -2*d, 4*d - 19 + 142 = 3*v. Is 19 a factor of v?
False
Let k(z) = 5*z**2 + 2*z + 1. Let s be k(-3). Let o = 51 - s. Is 9 a factor of o?
False
Let x(l) = -l**3 + 2*l**2 + 12*l - 6. Let z be x(4). Suppose -p = -6*p + z, 3*i - 91 = -5*p. Is 7 a factor of i?
False
Does 12 divide 1701*(43/172)/((-3)/(-4))?
False
Let v(u) = 143*u - 169. Is 20 a factor of v(3)?
True
Suppose 2*q = -5*a + 133, 5*q + 101 = -5*a + 471. Suppose 5*x - 4*m = q, -2*x - 3*m + 8 + 19 = 0. Suppose -2*c + 43 = x. Is c a multiple of 4?
False
Let s = -3 + 5. Let r(h) = -2 + 0 - 5 + 1 + s*h. Is r(8) a multiple of 5?
True
Let g = 780 - 545. Let a be 34/51 - (-2 - 21/9). Suppose a*f + 4*o = g, -3*f + 21 + 120 = -2*o. Is f a multiple of 8?
False
Let b(s) = 30*s**2 - 11. Is 32 a factor of b(6)?
False
Suppose 11 = -3*b - 19. Is 9 a factor of (-67)/(-2) - (-5)/b?
False
Suppose 4*r - 5*y = -2*y + 27, -2*r = 4*y + 14. Suppose 4*s = r*s + 13. Suppose -3*n - w = -n - s, 23 = 4*n + w. Does 2 divide n?
False
Suppose 2*w - 180 + 884 = 3*h, -2*w - 1172 = -5*h. Suppose 2*p - h = g - 56, 3*g - 186 = -2*p. Suppose 4*z - p = 14. Is 17 a factor of z?
False
Suppose -118 = -2*s - 4*v, s - 2*s - 3*v = -54. Does 7 divide s?
False
Let o(u) = -2*u - 21 + 8*u - 18. Does 6 divide o(18)?
False
Suppose 0 = 5*k - k - 20. Suppose -h + 91 = -k*l, 131 = 3*h + 5*l - 42. Suppose -h = -t - t. Does 6 divide t?
False
Let s(k) = -19*k - 145. Is 24 a factor of s(-28)?
False
Let d = -207 + 569. Does 10 divide d?
False
Let v be ((-6)/4)/((-7)/14). Suppose -v*m + o = 4*o - 147, 4*m - 5*o - 169 = 0. Does 23 divide m?
True
Let f(m) be the third derivative of 13*m**5/60 - m**4/6 + 4*m**2. Is f(3) a multiple of 35?
True
Let j(y) = 2*y - 7. Let u be j(4). Is 6 a factor of -1 + 9 + u + (1 - 3)?
False
Suppose -9*c - 37 = 98. Is 21 a factor of (-7 + 5 + -5)*c?
True
Let x be -1018*((-28)/(-8) - 3)*1. Let z = -279 - x. Is z a multiple of 23?
True
Let x(r) = 13*r**2 + 80*r + 627. Does 37 divide x(-7)?
False
Let p(j) = -j**3 - 5*j**2 - 5*j. Let w be p(-5). Suppose 0 = 2*g + 10, -w = -3*t + 2*t + g. Is 5 a factor of t?
True
Let d(z) = -z**2 - 9*z - 7. Let n be d(-6). Suppose -5*s = -4*s - 17. Let t = s + n. Does 13 divide t?
False
Suppose -3*a = c + 4*c - 24, 0 = -c + 4*a + 14. Let i = 12 + c. Does 5 divide i?
False
Let s(o) = 97*o**2 + 12*o + 14. Is 33 a factor of s(-4)?
True
Let o = -139 - -559. Is 20 a factor of o?
True
Suppose -i = 2*h - 5008, -4*h + 5013 = i - h. Is i a multiple of 102?
True
Suppose 28014 = 22*v - 5030. Is 48 a factor of v?
False
Let g(n) = n**3 - 4*n**2 + 3*n - 4. Does 4 divide g(4)?
True
Does 15 divide (-3)/(2*1/(-318))?
False
Let w be (2/5)/(2/20). Suppose 198 = 13*u - w*u. Is u a multiple of 2?
True
Let k be (2/8)/((-5)/(-140)). Suppose 63 - k = f. Let r = f - 16. Is 20 a factor of r?
True
Suppose 3*o = -2*y - 87, 0 = 5*y - 4*y - o + 31. Is y/84 + (-972)/(-14) a multiple of 23?
True
Let m be -2*(475/(-10) - -2). Suppose -3 = -p + m. Is 12 a factor of p?
False
Let a(x) = 114*x**2 + 12*x + 24. Is 67 a factor of a(-5)?
True
Does 17 divide 2*(-461)/(-10) + 28/(-140)?
False
Let o = 446 + 838. Is 12 a factor of o?
True
Suppose 80 = z - 42. Suppose -173 = 2*p - 3*x - 893, -2*p = 3*x - 708. Suppose -4*t = -5*k + 296, -5*t = -4*k - z + p. Is k a multiple of 20?
True
Let d be (-15)/(-10) - 1/2. Let a = d - -22. Suppose -2*j + a = -27. Does 25 divide j?
True
Suppose 0 = -r + 4*r - 1344. Suppose -6*d + 122 = -r. Does 19 divide d?
True
Let m(h) = 3*h**3 - 12*h**2 + 44*h - 25. Does 35 divide m(6)?
True
Suppose -4 = -2*a - 5*l, -l = -3*a + 4*l + 6. Suppose a*i - 113 = 1. Does 19 divide i?
True
Is 13 a factor of (151 - 1)/((-5)/2 - -4)?
False
Let k(a) = 28*a + 32. Does 24 divide k(2)?
False
Let t = 1980 - 716. Does 79 divide t?
True
Is 17 a factor of (1500/8)/(2/4)?
False
Let j(y) = -y**2. Let t(d) = 2*d**2 - d + 2. Let n(o) = o**2 - 3*o - 3. Let x be n(4). Let w(k) = x*t(k) + 3*j(k). Is 2 a factor of w(0)?
True
Is 29 a factor of (-10 - 143/(-13))*464?
True
Suppose 3*n - 5*o - 27 = 0, -2*n - n + 2*o + 18 = 0. Suppose 2*l + 180 = 5*u, -n*l + 144 = 4*u - 7*l. Is 12 a factor of u?
True
Let z be (-22)/(-6) - 2/(-6). Suppose 3*w - z*s = -6, -3*w + s - 5*s + 18 = 0. Does 5 divide 17/2*w - 0?
False
Let o(x) be the third derivative of -x**5/4 - x**4/12 + x**3/6 - 2*x**2. Let m(j) be the first derivative of o(j). Does 14 divide m(-1)?
True
Let p = 15 - 13. Suppose 5*f + s - 9 = 0, -5*f + 8 = p*s - 0. Suppose -k + 5*d + 30 = 0, -f*d + 7*d = 2*k - 60. Does 5 divide k?
True
Suppose -4*b = 2*f - 44, 4 = -4*f - 4. Let h be ((-10)/(-6))/(4/b). Suppose h*m - 135 = 5*y, 2*m + 3*y = -3*m + 143. Is m a multiple of 17?
False
Does 48 divide (193 + -1)*(-18)/(-9)?
True
Suppose -u - 230 - 154 = 0. Is (u/(-15))/(4/10) a multiple of 16?
True
Let y be 0/(-3) - (-13 + 4). Let v(c) = 3*c**2 - 12*c - 9. Let n be v(y). Is (-22)/(-55) + n/10 a multiple of 9?
False
Let w(v) = -62*v**2 - 352*v. Does 30 divide w(-5)?
True
Suppose 5292 = 866*l - 859*l. Is l a multiple of 36?
True
Let b(o) = o**2 - 38*o + 4. Does 2 divide b(-4)?
True
Let q(g) = g**2 + 4*g + 3. Let v be q(-3). Suppose -s = 3*s + 3*y - 183, v = -2*s - 3*y + 87. Is 11 a factor of s?
False
Let z = -56 + 261. Is 21 a factor of z?
False
Suppose 0 = 2*g - g + 4. Does 5 divide ((-50)/(-15))/(g/(-12))?
True
Suppose -4*c - 307 - 93 = 0. Let o = c - -327. Is o a multiple of 39?
False
Let n = 272 + 415. Is 64 a factor of n?
False
Let l = -105 + 102. Let v(o) = -5*o**3 - 4*o**2 + o + 4. Is v(l) a multiple of 5?
True
Let g(n) = 4*n**2 + 8*n + 181. Is 43 a factor of g(19)?
False
Let u(z) = -z**3 + 9*z**2 + z + 19. Let t be (-4)/(-14) + (423/(-21))/(-3). Is 28 a factor of u(t)?
False
Let z(o) = 3*o - 2*o - 2*o + 1. Let j be z(-1). Does 16 divide (10/30)/(j/330)?
False
Suppose 16*i - 27*i + 1540 = 0. Is i a multiple of 14?
True
Let u = 5 + -1. Suppose 16 = u*m - 0*m. Is m even?
True
Let z = 13 - 8. Suppose 5*i = -5*g + 170, -z*g - 10 - 15 = 0. Does 12 divide i?
False
Let i be (5/(-10))/(2/(-8)). Suppose 12 = -4*s, -i*j - s = -6*j + 35. Suppose -b + 3*g = 4*b - 45, -3*b = 2*g - j. Is b a multiple of 6?
True
Let d be -3 + (-686)/(-9) - (-2)/(-9). Suppose k - 3*t = d, k = 5*k - 4*t - 332. Is 11 a factor of k?
True
Is 16 a factor of (-182 + 2)*12*(-187)/255?
True
Let u(a) = 5*a**2 + 3*a - 26. Let l(v) = -9*v**2 - 7*v + 53. Let s(g) = -4*l(g) - 7*u(g). Is s(-13) a multiple of 6?
True
Suppose -85*h + 204 = -79*h. Is 11 a factor of h?
False
Suppose 9*b = 4701 - 858. Is 42 a factor of b?
False
Let m be -6*(7/42)/((-1)/4). Suppose i - 33 = 5*d + 14, -i =