
Suppose -3*j + 114 = -2*j. Is 15 a factor of j?
False
Let u = -30 - -113. Is 28 a factor of 3 + (u - -1) + -1 + -2?
True
Suppose 52*h = 53*h. Suppose t + 2*u - 6 = h, -2*t - 4*u = 3*t - 42. Is 2 a factor of t?
True
Let p(z) = 2*z + 49. Let l be p(-11). Suppose -l*f + 116 = -23*f. Does 29 divide f?
True
Let b(p) be the second derivative of 46*p**3/3 + 4*p**2 + 38*p. Is 20 a factor of b(1)?
True
Suppose -x - 3 = 5*y - 2, -x - 1 = -4*y. Suppose -5*q = -y*f - 2*f + 108, -3*q = 0. Does 18 divide f?
True
Suppose -1 + 7 = 2*w. Let z = -5 - -8. Suppose -p + w*g + 6 = -17, -z*p = 3*g - 81. Is 26 a factor of p?
True
Suppose 4*u + 25 - 641 = 4*a, 3*a + 770 = 5*u. Does 14 divide u?
True
Suppose 6*k - 340 - 188 = 0. Does 2 divide k?
True
Let f(k) = 8*k**2 + 18*k - 11. Let y(g) = 4*g**2 + 9*g - 5. Let h(q) = -2*f(q) + 5*y(q). Is h(-4) a multiple of 5?
True
Let q(r) be the second derivative of 43*r**4/12 - r**3/6 - 3*r. Let l be q(1). Is 22 a factor of (0 + 1)*l - -2?
True
Let r(s) = -s - 14. Let j be r(-11). Let y(h) = -2*h + 12. Let g be y(4). Let n = g - j. Is n a multiple of 7?
True
Suppose -5 = -6*a + a. Suppose -a = 3*x - 16. Suppose -29 = -x*i + 61. Does 18 divide i?
True
Let o(r) = -r + 15. Let h be (-48)/5 + (-27)/(-45). Is o(h) a multiple of 24?
True
Let h(r) = 12*r**3 - 6*r**2 - r - 3. Let d(a) = 11*a**3 - 5*a**2 - 3. Let q(s) = 5*d(s) - 4*h(s). Is q(1) a multiple of 4?
False
Let c(a) = a**2 + 17. Is c(5) a multiple of 14?
True
Let y(p) = 3*p + 3. Let o be y(0). Suppose o*r = 35 + 37. Does 6 divide r?
True
Let s be (-90)/(-108) - 1/(-6). Is 6 a factor of 7 + 9 - (-3 + s)?
True
Let p(h) = -h**2 + 3*h + 5. Let f be p(4). Is 2 + ((-3)/f - -7) a multiple of 6?
True
Does 2 divide ((-14)/35)/(3*6/(-1890))?
True
Does 70 divide (-2)/8 + 112025/100?
True
Let c(y) = 1. Let r(d) = d**2 + 17*d - 39. Let i(f) = -6*c(f) - r(f). Does 15 divide i(-14)?
True
Suppose 0 = -8*y + 190 + 282. Let q = y - 39. Is q a multiple of 8?
False
Let w = 18 + -18. Does 25 divide (w - 250/6)/(6/(-18))?
True
Let r = -67 - -66. Is 19 a factor of (8/(-10) - r) + (-9285)/(-75)?
False
Suppose 2*n = y - 6, 2*y - 7*y - n + 30 = 0. Suppose 2*w = -w + y. Suppose -h - 3*h - 68 = -w*u, -3*u = -4*h - 104. Is u a multiple of 18?
True
Suppose -o + 0 = -5. Suppose -o*n + 338 = 4*a - 419, -4*n = -4*a - 620. Does 34 divide n?
False
Let c(a) = a**3 + 2*a - 1. Let i be c(1). Is 15 a factor of i + (58 - (-2 - -2))?
True
Let n = 219 - -612. Is 6 a factor of n?
False
Suppose 450 = 15*i + 3*i. Does 17 divide i?
False
Let r be 2/9 + (-490)/18. Suppose -24*m + 23 + 49 = 0. Let q = m - r. Is q a multiple of 10?
True
Let m = 666 + -261. Is 9 a factor of m?
True
Suppose 2*q - 6 = -4*h, 3*h - 7*q = -3*q - 1. Suppose -4*i - 5*r + h = -1, -5*i + 13 = r. Suppose -3*f + 6 = 0, -134 = -i*v + 3*f - 32. Does 12 divide v?
True
Suppose 2*s + 2 - 1 = 3*g, 4*s - g = 23. Let t(m) = 6*m**2 - 2*m - 24. Is t(s) a multiple of 16?
True
Let z(y) = -96*y - 410. Does 50 divide z(-10)?
True
Is 24 a factor of 17620/75 - 2/(-30)?
False
Suppose -2*b = -3*i - 1, 5*b = 2*b + 3*i + 6. Let r(d) = -d + 12. Let w(p) = 2*p - 25. Let m(v) = b*r(v) + 2*w(v). Does 18 divide m(-10)?
False
Suppose 12*w - 7*w = 1475. Is w a multiple of 59?
True
Suppose -5*q = -332 - 348. Does 4 divide q?
True
Suppose 2*g + 133 = 2*s - 63, 3*g = s - 286. Let h = g - -194. Is 13 a factor of h?
False
Let h(c) be the first derivative of -3*c**2 - 12. Is h(-7) a multiple of 21?
True
Let d be 120/18 - (-2)/(-3). Suppose -d*c + 428 = -2*c. Let a = -59 + c. Is a a multiple of 24?
True
Let a(w) = 100*w + 3. Let b be a(-2). Suppose 0*z - 1918 = 14*z. Let y = z - b. Is 15 a factor of y?
True
Let q be (-11 - -3)/2*(-9)/12. Suppose -213 = -q*m - 2*i, 77 + 81 = 2*m - 4*i. Is 7 a factor of m?
False
Is 4 a factor of (126/(-5))/((-72)/240)?
True
Let g(q) = -q + 794. Is 64 a factor of g(0)?
False
Suppose 3*j = 10*j - 21. Suppose 25 = j*a - 8*a. Is 13 a factor of (-39)/((3 - -2)/a)?
True
Let b = 24 + -22. Suppose -o + 19 = 4*i + b, 2*i + 4*o = 12. Suppose i*w + 160 = 8*w. Is 10 a factor of w?
True
Let a(j) = -7*j + 18. Let w(m) = -m**2 + 13*m - 18. Let u be w(12). Is 12 a factor of a(u)?
True
Suppose 7*c - 12*c = -3*p + 7675, -p + 2*c + 2558 = 0. Is 32 a factor of p?
True
Suppose -5*t - 1490 = -5*y, 4 = 3*t - 2. Does 20 divide y?
True
Let i(s) = 11*s**2 - 64*s - 6. Is i(8) a multiple of 9?
False
Suppose -33 = -3*n - b, -3*n - n + 44 = -2*b. Suppose -n*c + 10*c = -20. Is c a multiple of 10?
True
Suppose -862 = -4*i - 3*l, -2*l - 850 = -4*i + l. Is 8 a factor of i?
False
Let b(w) = -w**3 - 5*w**2 + 2*w + 9. Is b(-7) a multiple of 4?
False
Let q be (-8)/(-3) + -2 + 1150/30. Is 27 a factor of (-26)/q + 272/3?
False
Let z = 467 + -329. Does 46 divide z?
True
Suppose 148 = 8*b - 76. Let x(s) = b - 10*s + 11*s - 2. Does 11 divide x(18)?
True
Let l(u) be the third derivative of u**6/180 - u**5/15 + 7*u**4/24 + 2*u**3/3 - u**2. Let y(p) be the first derivative of l(p). Is 10 a factor of y(5)?
False
Suppose -2*z + 8 = 4*g, 5*g + 2 + 1 = 4*z. Suppose 0 = z*y - 51 - 15. Is 33 a factor of y?
True
Let v(a) = -a**2 + 1. Suppose 2*w + 3*w + 2*p = 8, 4*w = -p + 7. Let t be v(w). Is 11 a factor of 3 + 1 - (t - 55)?
False
Suppose -2*h - 18 - 22 = 0. Let d be (45/h)/((-3)/184). Suppose -8*o + d = -2*o. Does 23 divide o?
True
Let x(v) = -v**2 - v - 1. Let t(n) = 6*n**2 + 2*n + 8. Suppose 2*a + 2 = -5*i + 7, -5*i = a. Let m(y) = i*t(y) - 8*x(y). Is m(-4) a multiple of 2?
True
Suppose -33*h - 705 = -38*h. Does 36 divide h?
False
Suppose 52*s + 128632 = 108*s. Is s a multiple of 30?
False
Let w(n) = -5*n. Let t be w(-1). Suppose -f = t*f - 996. Is 43 a factor of f?
False
Suppose -2*d - 6 + 2 = 4*c, d + 5*c + 8 = 0. Let g(m) = 19*m - 2. Let t be g(d). Suppose a + 5*s + 10 = 50, 0 = 2*a - s - t. Is 10 a factor of a?
True
Does 3 divide 0 + 12/(-3)*-93 + -7?
False
Let j(a) = -a**3 - 2 - 10*a - 1 - a**2 + 0*a**2 + 12*a. Is 2 a factor of j(-3)?
False
Suppose 2*i + 4*p - 2218 = 0, 0 = -142*i + 143*i - 2*p - 1125. Is i a multiple of 4?
False
Suppose 0 = -3*p - 2*c - 1 - 1, 2*p - 4*c + 28 = 0. Let d(h) = 14*h**2 - 3*h. Let u be d(p). Suppose -s + 2*z + 34 + 18 = 0, 2*z = -5*s + u. Does 15 divide s?
False
Let j(y) = -4*y**2 + 4*y - y**2 + 6*y**2. Is 5 a factor of j(-5)?
True
Suppose 3*g - s = 2, 5*s = -4*g + 5*g + 18. Is (-21)/(-56)*-4 - (-65)/g a multiple of 31?
True
Let l(w) = w**2 - 4*w - 5. Let a be l(5). Is 25 a factor of (-1)/(a - (-4)/(-444))?
False
Let u = -50 - -38. Is 14 a factor of -3*(-29*(-32)/u - 2)?
True
Let u be (3/2 - 2)*2. Let q(z) = 8*z**2 + 1. Does 3 divide q(u)?
True
Let c(k) = -k**2 - 21*k + 64. Does 4 divide c(-20)?
True
Is 1835 - ((1 - -6) + 9 + -9) a multiple of 71?
False
Let q be -3 + (-3 - 18/(-3)). Suppose q*s + 2 = s. Suppose 2*i = 5*m - 347, -5*m + s*i = i - 346. Is 23 a factor of m?
True
Suppose -4*a = -44 - 8. Let f = 29 - a. Does 4 divide f?
True
Suppose 0 = 2*j + 10, -2*u - j + 11 = -0*u. Suppose 0 = -6*d + u*d - 6. Suppose -8*b = -d*b - 35. Is 3 a factor of b?
False
Suppose -l = l + 26. Does 9 divide (-39)/l*(-11)/(-3)?
False
Let j = -21 - -11. Let g be (0 - 44/j)*10. Suppose -4*n + 2*o - g + 392 = 0, -2*n + 170 = -3*o. Does 31 divide n?
False
Let t(q) be the second derivative of 2*q**3/3 - 2*q**2 + 20*q. Is t(3) a multiple of 8?
True
Let a(v) = -46*v - 9. Let o(j) = 137*j + 28. Let x(g) = -8*a(g) - 3*o(g). Is x(-3) a multiple of 39?
True
Let y(x) = 138*x**2 - 13*x - 48. Is y(-3) a multiple of 23?
False
Let f = -1126 - -1419. Is 3 a factor of f?
False
Let m(c) = 150*c**2 - 15*c - 6. Let d be m(-4). Is 7 a factor of d/30 - 3/(-15)?
False
Let g = -457 + 534. Is g a multiple of 77?
True
Is 13 a factor of (-13)/117 + (-7610)/(-45)?
True
Let s = 358 - 111. Is 15 a factor of s?
False
Let m be (93/(-4))/((-27)/(-72)). Let b = -4 - m. Is b a multiple of 16?
False
Let j(t) = t**2 - 6. Suppose -5*k - 4*l = 38, 8 + 0 = -2*k + 2*l. Is j(k) a multiple of 5?
True
Let s(c) be the third derivative of -5*c**4/24 - 61*c**3/6 + 8*c**2. Does 7 divide s(-15)?
True
Let f(o) = o**3 - 4*o**2 - 3*o - 8. Let j be f(5). Suppose j*l + 151 = y, -2*y = -3*y + 4*l + 157. Is y a multiple of 21?
False
Let n(o) = -3*o - 13. Let q be n(-5). Suppose 2*v = 4*g + 31 + 53, -96 = -q*v + g. Is 7 a factor of v?
Fal