e of 9?
True
Let s(r) = -30*r**3 + r**2 - 1. Let g be s(-1). Let a = g - -22. Let p = -20 + a. Is p a multiple of 10?
False
Let r(h) = -h**3 - 8*h**2 + 8*h - 2. Let w be r(-9). Suppose 0 = -w*q + 9*q - 10. Is 19 a factor of (29 - -6) + q + -2?
True
Suppose -23*c + 40*c - 10846 = 0. Does 22 divide c?
True
Suppose 3*h - 6 = -0*h, -z - 5*h - 2879 = 0. Is 2/(-4) + z/(-18) a multiple of 35?
False
Suppose 2*s - 30 = 7*s. Let n be (-3 + -1)*(-3)/(-6 - -9). Is (-27 - 1)*(s + n) a multiple of 14?
True
Let d = 19 + -18. Let k = -20 + 35. Suppose h - d = k. Is h a multiple of 4?
True
Let u(q) = 77*q + 8. Let v(y) = -y**2 - y. Let r be v(-3). Let g(d) = -26*d - 3. Let s(l) = r*u(l) - 17*g(l). Is 12 a factor of s(-1)?
False
Is (-6)/2 - (-435 - 3) a multiple of 4?
False
Let b(x) = 19*x - 9. Let c(w) = 8*w**2 - w - 1. Let o be c(1). Is b(o) a multiple of 35?
True
Suppose -11*a = -14*a + 372. Does 8 divide a?
False
Suppose 210*c - 214*c + 1496 = 0. Does 10 divide c?
False
Suppose 0 = -2*r - 4*b + 311 - 91, 0 = 5*r + 5*b - 530. Does 51 divide r?
True
Suppose 3*w + 204 = h, 2*h - 4*w - 403 = 9. Suppose -4*k = 3*p - h, -k + 0*k + 69 = p. Suppose d - p = -d. Does 11 divide d?
True
Let p(b) = -2*b**2 - 3*b + 15. Let d be p(11). Let w = -98 - d. Is 24 a factor of w?
False
Is (-10 - 370)*(-4)/16 a multiple of 14?
False
Suppose 18*g + 24 = 16*g. Let q = g - -60. Is 8 a factor of q?
True
Let n(x) = 7*x - 1. Let m be n(2). Let g(s) = -s + 5. Let l be g(9). Let j = l + m. Does 4 divide j?
False
Let i(w) = -131*w**2 + 142*w**2 - 2*w - w + 4. Is i(-3) a multiple of 28?
True
Suppose z - 4*c = 23, -5*z + 228 - 25 = 2*c. Suppose -4*u - o + z = -29, -28 = -2*u + o. Does 2 divide u?
True
Let w be -4 + (2 - 142)/1. Let l be (w/(-4))/((-2)/7). Does 15 divide (7 - 0)*(-540)/l?
True
Let y(b) be the first derivative of b**3/3 - 2*b**2 + 4*b + 32. Let u be (0 - -2) + 4/1. Is 5 a factor of y(u)?
False
Let s be (2 - 0)/4*0. Suppose s*l + l = 3. Let m(o) = 3*o**3 - 3*o**2 - 3*o - 1. Is 11 a factor of m(l)?
True
Let u be 240/12 + 0 + -1. Let k(s) = s**2 - 17*s - 22. Is k(u) even?
True
Let i(v) = -v**2 + 17*v + 38. Let n be i(21). Is n*(-2 + 3/2) a multiple of 2?
False
Let r = -23 - -96. Is r a multiple of 8?
False
Suppose 0 = -l + 2*f - 3, f + 8 = 4*l + 3*f. Let b = 86 - l. Does 17 divide b?
True
Let q(s) = 10*s - 27. Let i be 17 + ((-100)/28 - 9/21). Is q(i) a multiple of 5?
False
Suppose 2*c = p + 10, 2*c = 2*p + 10 + 2. Let t be (-174)/p + (-4)/(-4). Suppose t = 5*w - w. Is w a multiple of 7?
False
Suppose 3*o = x - 6, 0 = 3*x - o - 0 - 2. Suppose -3*h + 48 = -x*h. Suppose -5*z + h = -z. Does 4 divide z?
True
Let o(v) = -2*v - 8 - v + 2*v**2 - v**2 + 4. Is o(-3) a multiple of 10?
False
Suppose 20*x - 2920 = 15*x. Does 55 divide x?
False
Let v be (-1)/((-55)/10) - (-502)/22. Suppose -14*h - 333 = -v*h. Does 37 divide h?
True
Let y = 10743 + -6701. Is y a multiple of 15?
False
Let p(w) = -w**3 - 12*w**2 - 11*w + 4. Let n be p(-11). Suppose -n*d - a = -84, -a = 3*a - 16. Does 6 divide d?
False
Let x(h) = -2161*h**3 - 7*h**2 - 7*h - 1. Is 19 a factor of x(-1)?
False
Suppose -3*j + 45 = 3*o, -j - 4*j - o = -59. Suppose j + 1 = m. Is 4 a factor of m?
True
Let d = -143 + 146. Suppose -f = 3*c - d*f - 106, -4*f = 20. Is c a multiple of 4?
True
Let v(d) = d**2 + 3*d + 5. Let j be v(-7). Let n be -3 + 11/(j/210). Let q = n + -22. Does 15 divide q?
True
Let f be 1/(-2)*(10 + -14). Suppose -52 = f*s + 192. Let y = -44 - s. Does 14 divide y?
False
Suppose m = -1, m = 3*d + 4*m - 21. Suppose 10*b - 30 = d*b. Is 5 a factor of b?
True
Let a(c) = 19*c**3 - 2*c - 5. Is a(2) a multiple of 3?
False
Suppose 0*t + 4*t = 236. Let p be (-255)/(-9) + (-2)/6. Let d = t - p. Does 8 divide d?
False
Suppose -2*r + 2*p - 4 = 6, 0 = -5*r - p + 5. Suppose 3*j - 288 = -r*j. Suppose -3*m = -m - j. Does 12 divide m?
True
Let j(u) = -u - 5. Let h be j(-6). Suppose f = -4 - h. Is 22 a factor of ((-44)/f)/((-2)/(-15))?
True
Let j = -27 + 51. Let f = 55 - j. Does 10 divide f?
False
Let d = 279 + 165. Does 20 divide d?
False
Let r be (-242)/10 + 1/5. Let o = 32 + r. Does 2 divide o?
True
Suppose o = -5*j - 0*o + 12, -2*o = -j - 2. Suppose -43*z + 38*z = -15. Suppose z - 61 = -j*i. Is i a multiple of 5?
False
Suppose -7*h = -17 - 4. Suppose -126 = -3*j + 3*m, -5*m - 42 - 84 = -h*j. Is j a multiple of 3?
True
Suppose f - c - 779 = 0, 3*f + 5*c + 0*c = 2321. Does 25 divide f?
False
Let u(l) = 162*l**2 - 2*l + 6. Is u(-2) a multiple of 14?
True
Let q be 15/(-2 - 12/(-8)). Let c be (-1 - -28)*q/(-18). Let s = c + -15. Is 10 a factor of s?
True
Suppose -6 = -2*b + 5*z - 2, -4*b = z - 8. Suppose 6 + b = 4*w. Is (34 - (-1 + 1)) + w a multiple of 18?
True
Let z be 36 + -3 + -2 + 2. Let p = 127 - z. Does 27 divide p?
False
Let q = 0 - 7. Does 18 divide (q - -2)*18/(-5)?
True
Suppose 0 = 4*o, -3*o = -4*n - 2*o + 64. Let a(l) = 4 - n*l**2 + 15*l**2 - 2*l - 3*l. Does 2 divide a(-5)?
True
Does 70 divide (-52 - -2)*((-15)/5 + -4)?
True
Suppose d + 2*d = 5*y + 26, 2 = 2*y + 5*d. Let h be 2/y + 189/(-18). Let n(i) = -3*i + 12. Is n(h) a multiple of 7?
False
Suppose 5*j - u - 7 = 0, -4*j + u + 0 + 5 = 0. Suppose -j*y + 4 = -y, 4*c + 5*y - 20 = 0. Suppose -5*v - 3*p + 50 = c, -2*p - 40 = -4*v - 4*p. Does 10 divide v?
True
Let q(d) = d**3 - 5*d**2 - 7*d + 4. Let h be q(6). Let k be (-3)/(-6)*4/h. Is 29 a factor of (k - 1)*(-174)/4?
True
Let h(c) be the second derivative of 37*c**4/12 + c**3/2 + c**2 + c. Let m be h(-1). Suppose -5*d + 4*s = -102 - m, -s - 2 = 0. Is 13 a factor of d?
True
Suppose -3*f + 1 = -5*l + 7, 3*l + 2 = -f. Suppose l = -6*c + 3*c + 156. Is c a multiple of 14?
False
Let c = 4 + 0. Suppose -5*q + y = -2*q - 14, -c*q + 7 = y. Suppose q*s + s = 20. Does 4 divide s?
False
Let x(q) be the first derivative of -2*q**2 + 1/3*q**3 + 3 + q. Is 10 a factor of x(-4)?
False
Suppose v = -3*y + 995, -y - 2*v = -7*v - 337. Does 32 divide y?
False
Let n = -142 + 509. Suppose -11*q + n + 843 = 0. Is 11 a factor of q?
True
Suppose 0 = -3*m - 0*m + 204. Is m a multiple of 7?
False
Let z(s) = 12*s + 133. Does 7 divide z(40)?
False
Let s(i) = 2*i**2 + 28*i + 47. Let g be s(-12). Let q = 4 + -2. Is (g/q)/((-12)/144) a multiple of 3?
True
Suppose 0 = -s - 4*k - 126, -2*k - 2*k + 606 = -5*s. Let j be 7/(-14) - s/4. Does 8 divide 865/j - 2/(-12)?
False
Let r(w) = 98*w**3 + 6*w**2 - 17*w - 3. Is r(3) a multiple of 63?
True
Let c = -14 - -14. Let u = 10 - c. Does 5 divide u?
True
Let p be -5 - (-4)/1 - -360. Suppose 6*a - p = 1. Is 15 a factor of a?
True
Suppose 0 = 2*g - 7*g + 40. Suppose -50*t + 96 = -54*t. Let z = g - t. Does 10 divide z?
False
Let w be 6*((-18)/(-4))/(-1). Let z = w + 28. Is z/(1 + 60/(-65)) a multiple of 7?
False
Suppose 0 = 5*t - 1866 + 316. Suppose 0 = -73*j + 78*j - t. Does 31 divide j?
True
Suppose 2*t = -4*m - 528, 0*m = -2*t + m - 518. Let p = 436 + t. Is 16 a factor of p?
True
Let b(c) be the second derivative of -19*c**5/4 + c**4/12 + c**3/2 + c**2 - 12*c. Is 12 a factor of b(-1)?
False
Let k be -2 - (0 + -5) - (8 - 4). Is 37 - k/(4/20) a multiple of 3?
True
Let h(a) = 2*a**2. Let f(r) = 7*r**2 - 160. Let v(x) = -f(x) + 4*h(x). Is v(0) a multiple of 10?
True
Let b(o) = o + 3. Let p be b(-7). Let c = -37 - p. Is 0 + -1 - (-1 + c) a multiple of 11?
True
Let a(y) = y**2 - 6*y + 8. Let q be a(6). Suppose -4*t - g = -134, -g - 3*g + q = 0. Is t a multiple of 8?
False
Let o be -4 + (1 - -1 - 0). Is 14 a factor of 3 + 2*o + 3 - -118?
False
Let a(y) = y**2 + 5*y + 26. Let q be (-1 - 21)/(5 + -3). Is a(q) a multiple of 23?
True
Let z(f) = -f**2 + 10*f - 2. Let y be z(9). Suppose 0 = y*v + 24 - 73. Is v a multiple of 7?
True
Suppose 3*q - 2*v = 402 + 3, -v = -5*q + 675. Is q a multiple of 5?
True
Let q be 802/(-14) + (-12)/(-42). Let b be q/(-12) + 5/20. Suppose 2*p - b + 15 = 0, -2*p = -v + 50. Does 10 divide v?
True
Let f = -35 + 43. Suppose -f*y + 5*z = -4*y - 242, -5*y + 3*z = -309. Is y a multiple of 21?
True
Let h be 368/40 - 1/5. Let q be (-30)/(-4)*6/h. Suppose q*u - 25 = 20. Is u a multiple of 9?
True
Suppose 5*m = m - 5*t + 85, -3*m + 65 = 4*t. Let x = 17 - -1. Is 15 a factor of x/(-5)*m/(-2)?
False
Suppose 0 = 10*q - 7*q - 12. Suppose -2*m = q*m - 144. Is 12 a factor of m?
True
Let q be (-10)/20*(2 - 10). Does 23