(-10) a multiple of 7?
False
Let x be ((-18)/5)/(1/5). Suppose 68 = -v - v. Let t = x - v. Is 8 a factor of t?
True
Let i = 14 - 15. Let r = 23 - i. Is r a multiple of 6?
True
Let o be (5 - 3)*5/2. Suppose -o*d + 48 = -2*d. Suppose -2 = -x + d. Is x a multiple of 8?
False
Let n(r) = r**3 - 10*r**2 + 3*r + 4. Let c = 6 - 0. Let x be (4/c)/(3/45). Does 18 divide n(x)?
False
Suppose 0*k + 3*d + 24 = -3*k, 0 = -k + d - 14. Let a = k - 16. Let n = -15 - a. Is n a multiple of 6?
True
Let d(t) = 18*t**2 - t. Suppose -5*q - 4 = 1. Does 7 divide d(q)?
False
Let z(q) be the second derivative of -1/6*q**3 + 0 + 15/2*q**2 - 2*q. Does 3 divide z(8)?
False
Let a(i) = -i**3 - 6*i**2 - 7*i - 7. Let f be a(-5). Let h be ((-14)/6)/(14/(-84)). Suppose -f*t = -t - h. Is 2 a factor of t?
False
Suppose -85 = -4*r + 2*l - l, 3*r + l - 69 = 0. Is r even?
True
Is 6 a factor of ((-4)/(-3))/((-2)/(-45))?
True
Let s(m) = 5*m**2 + 2*m - 3. Does 9 divide s(-4)?
False
Let x(f) = -f**3 + 4*f**2 + 2*f - 6. Let b be x(4). Let k(m) = 2*m**2 - 4*m + 3. Let g be k(b). Is 0 + -1 + g - -2 even?
True
Suppose -2*w + 2*v - 13 = w, 2*w + 12 = 2*v. Let h(o) = 4*o + 1. Let r be h(w). Let k = 13 - r. Is k a multiple of 8?
True
Let w be (9/(-6))/((-3)/16). Let s(g) = -3*g + w + 4*g + 2*g. Does 13 divide s(6)?
True
Let k(g) = -5*g + 12. Does 14 divide k(-6)?
True
Let p(m) = m**2 - m - 5. Suppose 2*z - 16 = -2*r, 2*r - z = -1 + 5. Does 3 divide p(r)?
False
Let b(c) = -c - 5. Let u be b(0). Let o = -8 - u. Let w(l) = -2*l + 3. Is w(o) a multiple of 6?
False
Suppose 0 = 5*l + 2*u - 17, l - 4*u - 13 = -2*u. Is l/(-10) - (-33)/2 a multiple of 8?
True
Suppose -2*i = -r, -2*i + i - 3*r = 0. Suppose i*m + 5*m - 70 = 0. Suppose -36 + m = -2*c. Is 6 a factor of c?
False
Suppose -g = 12 + 36. Suppose -3*n - 3*h - 34 = 56, n + 54 = 5*h. Let b = n - g. Is 10 a factor of b?
False
Let m(z) = -z**2 + 13*z + 46. Is m(13) a multiple of 23?
True
Let d be -5*6/(-3)*1. Let z = -8 + d. Suppose -z*g - g = -48. Is 8 a factor of g?
True
Suppose -5*l + 174 = w, -8*w = 2*l - 4*w - 84. Is 5 a factor of l?
False
Let z = 67 + 47. Does 19 divide z?
True
Let c(s) = 5*s + 9. Does 18 divide c(9)?
True
Let c = -28 + 32. Let t(b) = -6*b - 4*b**2 + 4*b**2 + 5*b**2. Is 28 a factor of t(c)?
True
Suppose 4*j - 13 = 3*j. Suppose -v + j = -21. Does 17 divide v?
True
Let a(l) = l**3 + 5*l**2 + 3*l - 2. Let g be a(-4). Suppose -q = -5*t - 30, 4 = g*t + 14. Suppose 135 = -2*u + q*u. Is 15 a factor of u?
True
Let p = -90 - -195. Suppose -2*u = -5*m + p, -2*u + 11 = m - 22. Suppose -5*h + m = l, -2*h + l = -0*l - 5. Is h even?
True
Let j be (2 - -1)*4/6. Let g be -4*(-1 + j)*-1. Does 21 divide g/(-14) - (-298)/14?
True
Let k be 2/(-6) - 116/(-6). Suppose -k = -5*z - 4. Suppose 6 = -z*u + 5*u. Is u a multiple of 2?
False
Let h = -5 + 3. Let x(s) = -2*s**3 - s**2 + 3*s + 2. Is x(h) a multiple of 4?
True
Suppose -5 = -2*s + 3. Suppose -20 = -s*h, 3*f + 3*h - 50 = -2*f. Is 4 a factor of f?
False
Let g be (-1)/1 + (2 - 4). Let j be ((-2)/(-2))/(g/27). Let r = j - -22. Does 13 divide r?
True
Let u = -9 - -48. Is u a multiple of 9?
False
Suppose 0*o - 2*o + 36 = 0. Let k = 9 + o. Is k a multiple of 9?
True
Suppose 3*l + 3 = -3*k, k + 4*l + 3 = l. Suppose k = 2*x + 2*x - d - 19, -10 = -x - 5*d. Suppose m - 18 = -4*z, -5*m + x*z = 2*z - 136. Is 18 a factor of m?
False
Suppose 13 = -2*d + 3. Let s = d - -18. Is s a multiple of 6?
False
Suppose 3*r + 2*l - 21 = 0, 9*r = 4*r - 3*l + 34. Suppose -17 = r*j - 122. Is 21 a factor of j?
True
Suppose -2*d + 104 = 24. Is 10 a factor of d?
True
Let y(k) = -1. Let r(p) = 3*p**2 + 15. Let x(l) = r(l) + 15*y(l). Let m be x(-2). Suppose m = s + s. Is 6 a factor of s?
True
Suppose 2*v - 5 = 35. Suppose -k + 5*k = 20. Suppose -k*w = 4*x - 6*x + 6, -2*w = 2*x - v. Is 3 a factor of x?
False
Suppose 18*l - 36 = 22*l. Let u(d) = -d**3 + 6*d**2 - 7*d - 2. Let z be u(5). Is 18/2*z/l a multiple of 5?
False
Suppose -50 - 34 = -3*j. Is 7 a factor of j?
True
Does 23 divide -6 + 2 - 74*-1?
False
Let q = 22 + -15. Is 198/q + 6/(-21) a multiple of 14?
True
Suppose 4*b + 2*p = -14, b - 3*p - 1 = -8. Let y(u) = 3*u**2 - 3*u - 3. Let x be y(b). Suppose 0 = 5*m - 38 - x. Is m a multiple of 12?
False
Let p(q) = -11*q + 12. Does 10 divide p(-9)?
False
Suppose 0 = 3*w - 54 + 9. Suppose 2*v + l - 20 = 0, 5*v + 0*l - 50 = 3*l. Let t = w + v. Does 9 divide t?
False
Is 11 a factor of (-579)/(-30)*2 - (-12)/30?
False
Suppose 2*q - 2*b = 20 + 22, 5*q + 5*b - 105 = 0. Is 7 a factor of q?
True
Suppose 0 = 2*n - 7*n + 315. Let c = n + -37. Is c a multiple of 13?
True
Let n(j) = -j + 14. Is 12 a factor of n(-14)?
False
Let s(j) = -3*j**2 - 7*j + j**3 - 3 + 0 + 2. Let w be s(5). Suppose 0 = -5*n + 5*z - z + 98, -n = 2*z - w. Is n a multiple of 18?
True
Let x be 19/4 - 1/(-4). Suppose 0 - 3 = -b, 3*b + 91 = x*f. Does 10 divide f?
True
Let v be (-51)/(-2)*(-4)/(-6). Suppose -9 = -4*i - d, 0 = -2*i - 2*d - 2*d + 8. Suppose i*c = 23 + v. Is c a multiple of 10?
True
Let z(r) = -r**3 - 4*r**2 + 4*r - 1. Let q be z(-5). Suppose -3*v + 30 = 2*v. Is 8 a factor of ((-28)/v)/(q/(-18))?
False
Let b = 99 - -141. Does 16 divide b?
True
Let x = 4 - 1. Is 2 a factor of x?
False
Suppose 0 = b + 5*f - 0*f - 21, -3*b = 3*f - 111. Is 14 a factor of b?
False
Suppose 5*i - 105 = -v, -v = -0*i + 3*i - 105. Suppose 4*d = -d + v. Is d a multiple of 21?
True
Let q(i) = -4*i - 12. Suppose 0 = 4*c + 20, -2*h + c = -0*c + 17. Does 12 divide q(h)?
False
Suppose -4*b + l + 305 = b, -4*b - l + 235 = 0. Does 20 divide b?
True
Let y be -1 - (1 + 2 - 7). Suppose 4*l + b = -3*b + 184, -y*l + 110 = -4*b. Is l a multiple of 14?
True
Let q(r) = -r**2 + r. Let h be q(0). Suppose 3*g - 8*g + 25 = h. Suppose -9*m + g*m = -16. Is m a multiple of 4?
True
Suppose -11*x + 14*x - 540 = 0. Is x a multiple of 12?
True
Suppose -2*g - 22 = -5*s, 2*g + 4*s = 6*g + 20. Is g - -4 - (-42)/2 a multiple of 12?
True
Suppose g - 4*g = -507. Does 13 divide g?
True
Let i be ((-8)/(-5))/((-2)/(-5)). Let j be (-1)/(-4) - 9/i. Is j/(17/19 - 1) a multiple of 11?
False
Suppose -2*z = -2*n + 6*n - 312, 5*n - 389 = -3*z. Is 13 a factor of n?
False
Let g = -112 - -230. Suppose -4*j + m = -m - g, j - 25 = -4*m. Does 7 divide j?
False
Let r be (-56)/(-10) - 6/(-15). Suppose -2*i - q + r = -5, 2*i - 6 = 4*q. Is i a multiple of 2?
False
Suppose 5*y - 545 = -5*p, 0*p - 108 = -y - 2*p. Suppose 5*a - 110 = 4*t, -5*a + 2*t + y = t. Does 6 divide a?
False
Let r(a) be the third derivative of -13*a**4/24 + 3*a**2. Let l be r(2). Let u = -7 - l. Is u a multiple of 15?
False
Let b = 58 - 36. Let k(l) = l. Let u be k(4). Suppose u*a = 3*a + b. Is 13 a factor of a?
False
Let c = -17 + -35. Let k = -18 - c. Is k a multiple of 17?
True
Is 2/3 - (-572)/6 a multiple of 24?
True
Let f(m) = -m - 7. Let o be f(-9). Suppose -3*q + 70 = o*q. Is q a multiple of 7?
True
Suppose z - 5 = -4*z. Let j be 38/4 + z/(-2). Suppose 5*a + 2*p = -0*p + j, 0 = 2*p + 6. Does 2 divide a?
False
Suppose -3*b = p - 79, -6*p + 4*p - b = -173. Does 22 divide p?
True
Suppose 4*l = -5*u + 52, -4*l + 3*u + 13 + 7 = 0. Let h(s) = -s**3 + 8*s**2 + 4*s - 12. Does 20 divide h(l)?
True
Suppose 18 = 3*v - 42. Suppose 3*k - v = -2*k. Is 6*-5*k/(-10) a multiple of 9?
False
Let j = 50 - 25. Does 4 divide j?
False
Suppose 0 = -s - 2, 62 = -2*c + 3*c - 3*s. Is 28 a factor of c?
True
Let b(f) = 15*f - f - 2*f**2 + 5 + f**2. Is 8 a factor of b(12)?
False
Suppose 0*r - 9 = -3*r + 4*h, 0 = 5*r - 2*h - 15. Suppose 0*b + r = b. Suppose 0 = -b*t + 2*t + 6. Is t a multiple of 5?
False
Suppose -4 = 3*n - 424. Is 28 a factor of n?
True
Suppose 0 = 2*k - y, 2*y - 6 = -2*k - 18. Let h be (5/k)/((-5)/10). Suppose 5*u + h*d + 11 = 66, -2*u = -2*d - 6. Does 3 divide u?
False
Let v = 53 - 17. Does 9 divide v?
True
Suppose 502 = 2*b + 3*b + 4*o, -5*b = -4*o - 478. Is 22 a factor of b?
False
Let y be -2 - (2 + 4*-1). Suppose -3*k = 2*i + 35, -3*k + 5*k + 5*i + 16 = y. Let c = -1 - k. Is c a multiple of 6?
True
Is (-1962)/(-42) + 6/21 a multiple of 13?
False
Let n(g) = g + 5. Let a be n(-3). Suppose 5*m + 2*l + 70 = 0, 2*l = -5*m + a*m - 42. Let c = m + 46. Is c a multiple of 15?
False
Suppose 2*q - 4*q - 20 = 0. Let l = 9 + q. Is 9 a factor of 3 + l/((-1)/24)?
True
Suppose 3*g + 3