e of 14?
True
Suppose r + 5*p = 425, 375 = r - 5*p - 60. Suppose 5*h - r = -3*z, -5*z - 4*h + 30 = -704. Is (48/30)/(4/z) a multiple of 15?
True
Suppose -3*t - 72 = 3*i, -3*t + 2*t = -5*i - 144. Let j be (i/8)/7*0. Suppose -5*g - 110 = -8*g - 2*k, 2*g - 5*k - 86 = j. Is 19 a factor of g?
True
Suppose -4*t + 1885 = 9*t. Suppose 2*a - 5 = 3*a, i = 2*a + t. Does 15 divide i?
True
Let o = -23 - -30. Is 21 a factor of (441/(-2))/o*-4?
True
Suppose 59*h - 9*h - 25100 = 0. Is 50 a factor of h?
False
Let m = 28 + -25. Let x = m + 60. Is x a multiple of 21?
True
Let k be (-24)/(-60) + (-38)/(-5). Suppose -3*s = 3*t - 29 + k, 0 = -5*s - t + 47. Is 7 a factor of s?
False
Suppose 260 = -b + 5*b. Suppose 5*z = 200 - b. Is z a multiple of 7?
False
Let x = -32 - -36. Is (-684)/(-15) - ((-92)/(-20) - x) a multiple of 15?
True
Suppose -1442 = -10*a + 558. Is a a multiple of 25?
True
Let k = 11 + 1. Is 10 a factor of (10 + k)*(-5)/(-2)?
False
Suppose -8*x + 6*x + 4*g = -7976, -3 = -3*g. Does 95 divide x?
True
Let b(f) = 250*f**3 - 3*f**2 + 2*f + 1. Does 46 divide b(1)?
False
Let b(m) = 9*m**3 + 4*m**2 + 12*m + 2. Does 93 divide b(5)?
False
Is -1804*((-72)/(-16))/(-9) a multiple of 10?
False
Let s(k) = 2*k**3 - k**2 - 4. Let y be s(2). Suppose -y*z + 3*z + 195 = 0. Does 10 divide z?
False
Suppose -5*o = 3*x - 95, 0*o + 2*o - 3*x - 17 = 0. Let d(s) = 5*s - 60. Let f be d(8). Let y = o - f. Does 12 divide y?
True
Suppose 64*q = 4*q + 185280. Is 77 a factor of q?
False
Let k = -60 + 96. Let z = 16 + -11. Suppose 3*b - z*y = k, -4*b - 2*y = -59 + 11. Is b a multiple of 3?
True
Let u = 123 - 187. Let f = -36 - u. Does 14 divide f?
True
Let o(f) = -f**3 - 20*f**2 - 5*f - 7. Let g be o(-20). Suppose -6*p = -3 - g. Does 3 divide p?
False
Suppose o - 57 = -2*o. Let a = o - -3. Is a a multiple of 11?
True
Suppose -36 = -3*c + c. Let n be c/30 + 3/(-5). Suppose 3*o + 10 - 85 = n. Is o a multiple of 25?
True
Let q = -19 + 10. Let c(a) = 2*a**2 + 11*a - 13. Is 11 a factor of c(q)?
False
Let w be 2 + -1 + -1 - -10. Suppose 30 = 3*v + 3*z, 3*v - 4*v + 3*z = w. Suppose 0*n - 60 = -3*n + 2*f, f + 93 = v*n. Does 18 divide n?
True
Let y(v) = -17 - 46*v + 96*v - 52*v + v**2. Let s = -8 + 3. Is 6 a factor of y(s)?
True
Let r = 52 - 54. Does 3 divide (-18)/(-5)*r/(-4)*5?
True
Suppose 7*k = 1978 + 1109. Does 21 divide k?
True
Suppose 0 = 4*f + 22 - 526. Is f a multiple of 9?
True
Suppose -5*z + 2*c + 1225 = 0, c - 69 = 3*z - 803. Does 33 divide z?
False
Let u be (-6)/(-10) - 0 - 34254/(-110). Let x = -148 + u. Does 35 divide x?
False
Let q(f) = f**2 - 3*f - 5. Let z be q(5). Suppose 0*j = -j + 4*c + 4, -z*j + 3*c = -3. Suppose j = i + 3*i - 132. Is 11 a factor of i?
True
Let z be 1/(-4) + (-305)/100*-5. Let l = 96 + z. Is l a multiple of 17?
False
Suppose -20 = 8*d - 13*d. Let z(j) = 2*j**2 + 5*j - 7. Does 10 divide z(d)?
False
Let i = -400 + 574. Suppose 5*t - 11*t + i = 0. Is 16 a factor of t?
False
Suppose -5*j + 23 = 2*h - 335, j + 4*h = 68. Is 9 a factor of j?
True
Let m be (-197)/13 + (-8)/(-52). Let o = 11 + m. Let p(g) = -g**3 - 4*g**2 - 6*g - 3. Is p(o) a multiple of 19?
False
Is 3 a factor of (36/21)/((-30)/(-6405))?
True
Let q(j) = 4*j - j + 2*j + 2*j**2 - 13 + j. Let n be q(-9). Is (-1)/2 + n/10 a multiple of 3?
True
Suppose 23*l - 61 = 353. Does 3 divide l?
True
Let o(h) = -5 - 5 + 3 - 3*h. Let l be (5/(-4))/(2/8). Is o(l) a multiple of 8?
True
Suppose 5*m - 975 = 5*k, -6*m - 375 = -8*m - k. Does 19 divide m?
True
Suppose g - o = 22, -5*o + 5 = g + 1. Suppose -48 = 2*q - 5*q. Suppose q = 5*p - g. Is p a multiple of 4?
False
Let d(m) = m**3 + 22*m**2 - 3*m - 34. Let q be d(-22). Let g = 109 - q. Is 5 a factor of g?
False
Let o(c) = -2*c**3 - 14*c**2 - c - 5. Let t(g) = 2*g**2 - g**3 - 8*g**2 + 2 - g**2 - 4. Let v(d) = 2*o(d) - 5*t(d). Does 20 divide v(-5)?
True
Suppose 168*z = 164*z + 160. Is z a multiple of 8?
True
Let l(n) = 12*n**3 - 18*n**2 + n - 6. Does 29 divide l(4)?
False
Let s(z) = 6*z**2 - 20*z - 39. Is 5 a factor of s(-6)?
False
Suppose -5*z - 89 = -u - 14, -455 = -5*u + 5*z. Suppose -5 = 2*s + u. Let f = s - -85. Does 35 divide f?
True
Let b = 13 + 101. Does 19 divide b?
True
Let i = -6 - 12. Let a = 38 + i. Suppose -z + 5*h + a = -6, 52 = 2*z - 3*h. Is 12 a factor of z?
False
Suppose 0 = 3*s - 333 - 138. Does 27 divide s?
False
Suppose 7 + 13 = n + 4*u, 5*n - 5 = -u. Suppose 792 = 9*w - n*w. Is w a multiple of 8?
True
Suppose -5*o - 383 = -2*a - 103, 3*o - 4*a = -182. Let v = -33 - o. Is 7 a factor of v?
True
Let c be 2/(-3) - (-766)/6. Suppose 17 - c = -2*y. Does 16 divide y?
False
Let v(h) be the first derivative of -h**2/2 + h - 2. Let z(b) = 14*b - 3. Let r(g) = 4*v(g) + z(g). Is r(8) a multiple of 22?
False
Let o(p) be the second derivative of p**3/6 - p**2 - 4*p. Let k be o(2). Suppose 3*v + 2*f = -0*f + 56, -4*v + 3*f + 52 = k. Is v a multiple of 4?
True
Let g(m) = -2*m**3 - 17*m**2 - 9*m - 14. Let r be g(-8). Is (-2 - r) + 68 + 0 a multiple of 18?
True
Let f(q) = -q**2 - 12*q - 1 + 2 + 13. Let i be -1 + 1*-1*9. Does 12 divide f(i)?
False
Let u be -1 - -7 - (-1)/1. Let i(b) = 3 - 50*b + 3 + 43*b + b**2. Is 3 a factor of i(u)?
True
Is 4 a factor of (-8)/(-32) - 0 - 30/(-8)?
True
Let r be (-39390)/(-135) + (-4)/(-18). Let i = r + -113. Is i a multiple of 15?
False
Let g = 38 - -13. Suppose g = 3*t - 24. Is 5 a factor of t?
True
Is 40 a factor of (0/(-1))/1 + 40?
True
Let z = 2090 - 1237. Is z a multiple of 15?
False
Let i(a) = 25*a**2 - 2*a - 5. Is i(-3) a multiple of 20?
False
Suppose -17*o + 13*o = -1472. Suppose -p - 3*p + o = 0. Is 31 a factor of p?
False
Suppose 7*g - 2*g = 15. Let i be (2 + 45)*(-2 + g). Is 19 a factor of (0 - (3 - i)) + -2?
False
Suppose -4*o - 76029 = -3*h - 10618, -h = o + 16351. Let j be (-2)/(-13) + o/(-182). Suppose -6*g - 18 = -j. Does 3 divide g?
True
Let u be (2/(-7))/(1/(-7)). Let x(t) = -17*t + 9. Let l(f) = -8*f + 4. Let w(m) = u*x(m) - 5*l(m). Is 16 a factor of w(3)?
True
Let u be (12/(-10))/((-22)/605). Suppose -u = -i - 0*i. Does 9 divide i?
False
Suppose 6 = -j + 3*j. Suppose -3*r - 361 = -j*y - 2*y, 3*r = 3*y - 219. Let d = 107 - y. Does 9 divide d?
True
Let p(y) = -y**3 + y + 1. Let l(v) = -2*v**3 + 3*v**2 + 10*v + 7. Let b be -1 + 4 - 3/(-1). Let z(a) = b*p(a) - l(a). Is z(-3) a multiple of 19?
False
Suppose -52 = -2*f - 46. Suppose -3*s + 4*k = -180, -s - s + f*k = -120. Does 15 divide s?
True
Let b be ((-20)/6 + 4)*6. Suppose -3 = -b*g + 1, 0 = -f + g + 71. Is 24 a factor of f?
True
Let j(x) = -x**3 - x**2 + 7. Let b be j(0). Suppose -b*t = -2*t - 255. Is 17 a factor of t?
True
Let p(i) = -10*i + 8. Let d be p(-5). Let t = d + 76. Does 22 divide t?
False
Let v = 147 + -37. Is (-15)/2*(-176)/v a multiple of 7?
False
Let n = 31 - 31. Suppose g - 25 - 19 = n. Does 8 divide g?
False
Let o(g) = g**2 - 14*g + 14. Let d be o(12). Let f(q) = -6*q - 20. Let s be f(d). Let b = -18 + s. Is 8 a factor of b?
False
Suppose 0 = -0*v - 7*v + 294. Let d = v + -13. Let n = d + -27. Is n even?
True
Suppose 0 = 12*a - 6*a - 1782. Let s = 33 + a. Is s a multiple of 16?
False
Suppose -146 = 5*k + 74. Let j = k - -147. Does 25 divide j?
False
Let k(c) = -42*c - 116. Is 27 a factor of k(-32)?
False
Let s(a) = -3*a + 10. Let j be s(-13). Let u = j - 40. Is u a multiple of 5?
False
Let z = 19 + -12. Let m(h) = h**2 - h + 10. Let p be m(z). Suppose 2*w - p = 4*o, -2*o - 29 = -2*w + 17. Is 10 a factor of w?
True
Let b = 1399 - 959. Is b a multiple of 22?
True
Let v(k) = 2*k**2 + 4*k + 2. Let x be v(-3). Suppose -x*s + 96 = -6*s. Is 12 a factor of s?
True
Let y = -1006 + 1608. Is y a multiple of 70?
False
Let h(w) = -w + 28. Suppose -4*v + 37 + 16 = -3*c, 2*c = -v + 27. Is h(v) a multiple of 11?
True
Suppose -2*g = -8*g + 9324. Is 111 a factor of g?
True
Suppose 4*v + 348 - 336 = 0. Is 4 a factor of 301/5 - v/(-15)?
True
Let h be 4/3 - (-3)/((-18)/(-796)). Let n = h - 79. Is n a multiple of 25?
False
Suppose -2*v + 36 = 2*v. Suppose 0 = v*z - 7*z + 128. Let a = -41 - z. Is a a multiple of 4?
False
Let l(g) = -26*g**3 + g**2 - 3*g - 3. Let i be l(-2). Suppose -117*p + i = -112*p. Is p a multiple of 12?
False
Let m = 9 + -9. Let t be 4/(-2) + -39 + m. Let l = t + 67. Is 9 a factor of l?
False
Let y(d) be the second derivative of d**2 + 1