461 + 2025. Does 3 divide n?
True
Suppose 2 = -0*q - 4*q + 2*i, -4*q + 4*i = 4. Suppose -2 = -s + 5*a + 68, a + 2 = q. Does 30 divide s?
True
Is 22 a factor of (-390)/(-2 + ((-5)/(-10))/1)?
False
Let t be ((-6)/5)/((-6)/(-45)). Let i = t - -9. Suppose 0*s + p = 5*s - 120, s + 2*p - 13 = i. Is 23 a factor of s?
True
Does 28 divide ((-14652)/12)/((1 - -1)/(-2))?
False
Let o = 1100 + 460. Is o a multiple of 76?
False
Let r = 36 + -29. Let g be (-1)/(-2) + r/14. Is (-43)/(g/3*-3) a multiple of 6?
False
Let r(m) be the first derivative of -m**2 - 13*m + 2. Is r(-10) a multiple of 2?
False
Suppose 0 = 48*v + 7282 - 26482. Is 5 a factor of v?
True
Let p(a) = -a**3 - 7*a**2 - 30*a - 8. Is 34 a factor of p(-6)?
True
Suppose -548 = -2*p - 3*t, -3*p - 48 + 855 = -3*t. Is p a multiple of 18?
False
Let z(i) = i - 5. Let q(y) = 2*y - 11. Let k(l) = 4*q(l) - 9*z(l). Does 3 divide k(-3)?
False
Let h(n) = n + 357. Is h(-27) a multiple of 66?
True
Suppose 5*u + 7 = -3. Let v(h) = -29*h. Does 29 divide v(u)?
True
Let w = 35 + -58. Let j = 13 + w. Is 11 a factor of (-175)/j*(-6)/(-3)?
False
Suppose -5*r = -2*g + 115, 5*g = g - 3*r + 243. Suppose -4*d = d - g. Does 5 divide 146/10 - d/(-30)?
True
Let p = -2103 + 4203. Is p a multiple of 21?
True
Let q = -525 + 632. Is q a multiple of 3?
False
Let x(f) = 4*f**3 + 1. Let y be x(-1). Let g(l) be the third derivative of -l**4/12 + l**3 - 3*l**2. Is 6 a factor of g(y)?
True
Let j(q) = 12*q**2 + 26*q + 89. Is 40 a factor of j(-11)?
False
Let a = -779 + 1414. Is a a multiple of 37?
False
Let x(w) = -w**2 - 31*w - 28. Is x(-20) a multiple of 16?
True
Let l = 105 + 73. Let m be 2/6 + 66/18. Suppose 0 = -m*r + 34 + l. Is r a multiple of 16?
False
Let c = 2790 + -1876. Is 18 a factor of c?
False
Let j = -37 - -42. Suppose 194 = 2*i - j*v - 42, -5*i + 552 = -3*v. Does 9 divide i?
True
Let c(p) = 39*p**2 - 17*p + 13. Let a(x) = 10*x**2 - 4*x + 3. Let u(m) = 9*a(m) - 2*c(m). Does 14 divide u(-3)?
False
Suppose 3*x - 7 = 2*x. Suppose -4*h = 2*r - 278, -18*r - 3*h = -15*r - 402. Does 6 divide r/x - 12/28?
True
Let y(l) = 174*l - 2. Let s be y(2). Suppose -3*t = -x + 241, -t + 157 + s = 2*x. Suppose 4*q - 9*q + x = 0. Does 25 divide q?
True
Let t be -3 - (-7)/(7/6). Suppose 0 = -5*a - 2 + 32. Suppose 0 = 2*c - t*c + a. Is c a multiple of 3?
True
Is 7 a factor of (-11)/(88/(-4584)) - -1?
True
Does 36 divide 69/(-184) - 29817/(-24)?
False
Let f = 2 + 5. Let z be (f - 6) + 1*-1. Is 14 a factor of z + (-14)/(-1)*2?
True
Suppose -14259 + 5005 = -14*k. Is 10 a factor of k?
False
Let w = -9 + 30. Is w a multiple of 21?
True
Suppose -5*h + 24*h - 1653 = 0. Is h a multiple of 18?
False
Let s(p) = 1 - 5*p**2 - 7*p**3 + 4*p**3 + p**3 + 6*p. Let a be s(-5). Suppose -4*c - 2*r = r - a, -67 = -3*c - r. Does 11 divide c?
False
Let v = 351 - -79. Suppose 6*b - b = v. Is 30 a factor of b?
False
Let b = -82 - 230. Is (-2 + b/(-21))/(8/56) a multiple of 36?
False
Let m(j) = 7*j - 11. Suppose -72 = -10*k + 18. Is m(k) a multiple of 35?
False
Suppose -2*k = -110 - 738. Is k a multiple of 45?
False
Let p(l) = 4*l**2 + 4*l + 3. Let f be (-77)/(-22) - (-2)/4. Let y(z) = -5*z**2 - 4*z - 4. Let d(t) = f*p(t) + 3*y(t). Does 3 divide d(-6)?
True
Let g = 2 + 136. Suppose -7*s + g + 156 = 0. Is s a multiple of 3?
True
Suppose 0 = -6*c + 3*c + 189. Does 7 divide c?
True
Suppose 0 = 4*a + 5*a - 3015. Suppose 5*c = -5*n + a, 2*c - 131 = -2*n - n. Is c a multiple of 14?
True
Let h(l) = l**3 + 13*l**2 + 13*l + 10. Let d(t) = -t**3 - t. Let r(y) = -2*d(y) - h(y). Let b be r(14). Suppose -8*q + 10*q = b. Is 13 a factor of q?
False
Let f be 3/(-6)*(2 + -36). Suppose -19*t + f*t + 48 = 0. Does 3 divide t?
True
Let w(g) = 657*g**3 - g**2 - g + 3. Let k be w(1). Suppose 2*n = -2*l + 472, -5*l - k - 10 = -3*n. Is 26 a factor of n?
False
Let o(x) = x. Suppose 4*b + 0 = 16. Let u be o(b). Suppose -5*z - d + 214 = 3*d, -3*z = u*d - 130. Does 21 divide z?
True
Suppose -z = -4*l - 417 - 289, 0 = 3*z + 2*l - 2146. Does 42 divide z?
True
Suppose 5*y = 10*y - 120. Is y a multiple of 4?
True
Let m(w) = -w**3 - 9*w**2 - w + 6. Let b be m(-9). Let h = b - 0. Is 15 a factor of h?
True
Let l(y) = -14*y + 15. Let v(z) = 13*z - 16. Let u(r) = -4*l(r) - 3*v(r). Does 15 divide u(6)?
True
Let b = 0 - -25. Suppose -3*r + 6 = 0, i - 4*r + r + b = 0. Let n = i + 89. Does 14 divide n?
True
Suppose -182 = r + 5*w - 442, -3*r - w + 766 = 0. Is r a multiple of 3?
True
Suppose 5*z + 24 - 59 = 0. Is 3 a factor of 44/z + 14/(-49)*1?
True
Let k be (-2 - 4/(-2))/2. Does 27 divide 3304/21 + (k - (-4)/6)?
False
Let f be 4/(16/(-20))*-15. Suppose -d + 5*i = 10, -4*d = 3*i - 0 - f. Is ((-4)/6)/((-2)/d) a multiple of 2?
False
Suppose 12*v + 29696 = 41*v. Does 86 divide v?
False
Is (-18270)/28*((-22)/6 - -1) a multiple of 30?
True
Suppose m - 5*z - 1 = 0, -5*m + z = -45 - 56. Let q = m + 203. Is 13 a factor of q?
False
Let r(f) = -2*f + 245. Let d(o) = -o**3 + 5*o**2 - 4*o. Let t be d(4). Does 49 divide r(t)?
True
Let g = -24 - -24. Suppose -h + 13 = -g*y + 3*y, -11 = -h - 2*y. Is h a multiple of 7?
True
Let o(m) = 58*m - 26. Let x be o(2). Is x/(-2)*120/(-20) a multiple of 45?
True
Let z(f) = f + 8. Let w be z(-3). Suppose -3*b - 3*x - 2 = 1, -5*b - 3*x + w = 0. Does 4 divide b?
True
Suppose -19*v = -919 - 126. Is v a multiple of 11?
True
Let o = -8 + 14. Suppose -14 - o = -2*p. Is 4 a factor of p?
False
Suppose 5*w - q = 11, -1 = -q + 2*q. Is 19*(-1 - (-14)/w) a multiple of 11?
False
Suppose -2*m - 20 = -4*u, 4*m + 5 + 15 = 3*u. Is (-60)/(4/8 + m) a multiple of 8?
True
Let v be 22/6 - 10/15. Suppose -s + 4*i + 101 = 26, -2*i + 183 = v*s. Does 7 divide s?
True
Let i = -4 + 5. Suppose v + 1 + i = 0. Let m = 16 + v. Is 5 a factor of m?
False
Suppose -2*j + 1416 = j + 5*a, 0 = 5*j + 3*a - 2376. Is j a multiple of 14?
False
Let z(g) = g + g + 14*g**2 + 4 - 3 + 3*g**2. Let w be 6/(-21) + 10/(-14). Does 8 divide z(w)?
True
Does 9 divide (936/180)/(2/155)?
False
Let b(u) = -u**3 + 2*u**2 - 9. Let d be b(-6). Suppose 0 = -4*c - 231 + d. Is 6 a factor of c?
True
Suppose 23*s = 21*s, 2*s + 2420 = 5*j. Does 13 divide j?
False
Let j(g) be the first derivative of 3*g**4/4 + g**3 + g**2/2 - 3*g + 36. Does 9 divide j(3)?
True
Let s(u) = 33*u**2 - 198*u + 8. Let f be s(6). Suppose 0*o - o + 47 = 0. Suppose 4*a - f = 0, -4*a + o + 57 = 4*m. Is m a multiple of 6?
True
Let l(i) = i + 31. Let n(f) = -6*f - 12. Let s be n(-3). Does 4 divide l(s)?
False
Suppose -63*x + 67*x = -12. Let i = -3 + 23. Is -3 + 3 + i + x a multiple of 17?
True
Suppose b - 2*l = 184, -3*b + 588 = -0*b + 3*l. Does 48 divide b?
True
Let r(f) = -6 + f - f**3 + 6. Let y(h) = -2*h**3 + 2*h**2 - 3*h - 1. Let g(q) = -3*r(q) - y(q). Is 11 a factor of g(2)?
True
Is (-12810)/(-49) + (-12)/28 a multiple of 8?
False
Let r(t) = -8*t**2 - 4 + 10 - 7*t - 2 - t**3. Let w be r(-7). Suppose w*i = -3*d + 87, i - 1 = -3*d + 14. Does 9 divide i?
False
Suppose -62*u = -13*u - 16562. Is u a multiple of 16?
False
Let v(o) = o**2 - 29*o + 20. Let m be v(15). Is 26 a factor of 2/20 + (-46151)/m?
False
Let x(m) = -m**3 - 17*m**2 - 29*m + 21. Let o be x(-15). Let r(w) be the first derivative of w**4/4 - 2*w**3 + 12*w - 1. Is 8 a factor of r(o)?
False
Suppose 9*o - 41*o = -3456. Is 2 a factor of o?
True
Let i(d) = -61*d - 1. Suppose -4*w = 3 + 5. Let v be i(w). Suppose 0 = 2*y + 3*r - 59, r = -4*y - 4*r + v. Does 12 divide y?
False
Suppose -2 - 4 = -2*h. Suppose h*s = s - 48. Is 7 a factor of (38/8)/((-6)/s)?
False
Suppose -1382 = -3*w + 7990. Does 11 divide w?
True
Suppose 9*k = 7*k. Suppose 3*h = -k*h + 21. Suppose -n - 462 = -h*n. Is n a multiple of 10?
False
Let f(y) be the second derivative of 4*y**3/3 + 6*y. Is 7 a factor of f(1)?
False
Suppose 39 - 4 = 7*o. Suppose -90 = -3*p + 2*t - 0, -o*t = p - 30. Is p a multiple of 8?
False
Let a = 51 - -159. Does 10 divide a?
True
Let z(q) = -27*q**3 - 1 + 3 - 1 - 2*q**2. Let f be 6/3 + -1 + (-1 - 1). Is 13 a factor of z(f)?
True
Suppose 0 = z + 2*b - 353, -z + 188 = b - 164. Does 26 divide z?
False
Let j = 364 - -121. Is j a multiple of 4?
False
Is 2/((-18)/27*18/(-6564)) a multiple of 39?
False
Let n(f) = 11*f - 85. Is n(13) a multiple of 3?
False
Let a(s) = 44*s - 243. Does 56 divide a(26)?
False
Let d(v) = 28*v**2 - 2*v + 1.