l**2 - 2*l + 1. Let m be a(-2). Suppose p = c + 4*c + m, 5*p - 684 = 4*c. Does 17 divide p?
True
Suppose 0 = 4*i - 10*i + 396. Suppose 2*p = i + 36. Is p a multiple of 11?
False
Suppose -4*j + 3 = -5. Suppose -12 = j*u - 3*w, -2*w = -0*u - 5*u - 52. Does 4 divide u/(-42) + 164/14?
True
Let c = 12 - 19. Suppose -5*w - 15 = 5*t, 0*t - 27 = 3*w - 3*t. Is (w/c)/(10/210) a multiple of 5?
False
Let u(t) = t**2 + 2*t - 11. Suppose 44 + 16 = -6*w. Is 12 a factor of u(w)?
False
Suppose -10 = -5*h - z, -3*h + 0*h - z = -6. Let x(q) = 36*q - 21. Does 6 divide x(h)?
False
Let g(h) = -5*h**3 + 7*h**2 + 11*h - 27. Let q(v) = 2*v**3 - 4*v**2 - 5*v + 13. Let j(i) = 3*g(i) + 7*q(i). Let l be j(-7). Does 19 divide (-224)/(-10) + l/40?
False
Let m(g) = g + 5. Let p be m(-6). Let f(r) = -4*r + 4*r - 3*r**2 - 1 - 45*r**3 + r**2 + 3*r**2. Is 15 a factor of f(p)?
True
Let s(a) = a**2 - 8*a - 2. Let z be s(7). Suppose -2*i + 504 = 5*t, -276 = -3*t - i + 26. Is 10 a factor of z/(-2)*t/15?
True
Let w(a) = a**3 + 8*a**2 + 6*a - 13. Let t be w(-7). Is 2/t + 4620/36 a multiple of 16?
True
Let d be -6 - ((2 - 0) + 2 + -4). Is (-291)/((-2)/(-8)*d) a multiple of 19?
False
Suppose -3*c = -2*g - 10, 5*g + 12 = 5*c - 8. Suppose c*v - 73 = -f, 0 - 186 = -2*f + 4*v. Does 15 divide f?
False
Suppose 5*j + 4 = -1. Let i be (-1 - -1) + 0/j. Suppose i = 4*l - 16 - 60. Does 4 divide l?
False
Suppose 2*y = -0 + 2. Is 15 a factor of (-20)/(y*8/(-12))?
True
Let x(f) = -2*f**3 - 8*f**2 + 7*f + 3. Suppose 2*v - v + 2*q = 2, 5*v + 4*q + 14 = 0. Does 15 divide x(v)?
True
Let k = 37 + -40. Is 10 a factor of (k + -2 + -3)/((-8)/20)?
True
Suppose 4*z - 630 = z. Is 6 a factor of z?
True
Suppose 88*o - 100*o + 2688 = 0. Does 56 divide o?
True
Let l(k) = -2*k**2 + k + 1. Let p be l(-5). Let t be (-2)/5 + p/15. Does 13 divide ((-2)/t)/((-4)/(-192))?
False
Suppose 4465 = 11*i + 681. Does 12 divide i?
False
Is -2 + 54/(-2 + 4) a multiple of 15?
False
Let t(f) = 49*f + 4. Let v be t(2). Suppose -4*l = -v - 34. Is 11 a factor of l?
False
Let q(i) = -i**3 - 8*i**2 + i + 8. Let h be q(-8). Suppose 0*n - n + 2*m + 114 = 0, h = -2*n + 3*m + 231. Is n a multiple of 15?
True
Suppose -6 = 5*c + 9. Is -5 - -1 - 57/c a multiple of 12?
False
Let x(t) = -t + t + 20 - t + 2*t. Let m be x(-14). Is 88/m*(-9)/(-6) a multiple of 11?
True
Let v(g) be the first derivative of -g**6/360 - 3*g**5/40 + 3*g**4/8 - 2*g**3/3 - 3. Let w(p) be the third derivative of v(p). Is w(-7) a multiple of 23?
True
Let v(c) = c**3 + 16*c**2 + 27*c - 32. Does 145 divide v(13)?
True
Let x be 27/5 + -5 - 6/(-10). Let l(p) = 75*p**3 - p**2 + 2. Is 38 a factor of l(x)?
True
Let m = -14 + 10. Let h(a) = a + 4. Let w be h(m). Suppose w = 4*q - 2*v - 94, 3*v + 116 = -q + 6*q. Is q a multiple of 9?
False
Suppose -18*g = -16*g + 10. Is -3 - (g + (-4 - 54)) a multiple of 9?
False
Suppose 68*l - 3744 = 62*l. Is 16 a factor of l?
True
Let h = -37 + 35. Is 12 a factor of (-8144)/(-72) + h/18?
False
Let h be (0 + -35*1 - -3)*-18. Suppose -3*j + h = 5*j. Does 12 divide j?
True
Let i(w) = 2*w**2 + w + 1. Let t be i(-1). Suppose 0 = -3*h + 12, -t*s + 4*h - 130 = 2*h. Let g = -43 - s. Is g a multiple of 5?
False
Let g = -19 - -19. Suppose -3*s + 31 = 2*q - g*s, -3*s - 11 = -q. Suppose -q = 5*o - 174. Does 32 divide o?
True
Suppose 0 = -5*n + 5*g - 4*g + 6693, 3*n - g = 4015. Is 10 a factor of n?
False
Let a(v) = 3*v**2 - 26*v - 15. Suppose 4*u + 5*w - 50 = -u, u = -3*w + 6. Is a(u) a multiple of 15?
True
Let h(b) be the second derivative of -b**7/840 + b**6/90 - b**5/120 + b**4/8 - 5*b**3/6 + 4*b. Let u(p) be the second derivative of h(p). Does 5 divide u(3)?
False
Let h(d) = 154*d + 52. Does 106 divide h(21)?
True
Let y(z) = z**2 + 18*z - 21. Let i be y(-19). Let t = 33 + i. Is 12 a factor of t?
False
Let w = 26 + -18. Let m = w + 24. Is 16 a factor of m?
True
Let w(j) = 2*j**2 - 27*j - 4. Let r be w(14). Suppose -r*z + 340 = -0*z. Is 17 a factor of z?
True
Let t = -20 - -34. Let f be (t - 9)/((-1)/1). Let x(r) = -5*r - 5. Does 20 divide x(f)?
True
Let d = 157 - 244. Let f = d + 155. Does 34 divide f?
True
Let a = 60 + -30. Suppose 0 = 3*l - 6 - a. Suppose -l = 5*b - 77. Does 8 divide b?
False
Is ((-500)/40)/((-6)/2232) a multiple of 30?
True
Let j(p) = -p**3 + p**2 + p + 2. Let m be j(2). Let d(b) = b**3 - b**2 + b - 2. Let a be d(m). Does 4 divide -2*(-68)/8 + a?
False
Let d(q) = 3*q**2 - 4*q + 1. Let u be d(-6). Let y be u/49 + (-2)/(-7). Suppose 0 = -3*s + 39 + y. Is s a multiple of 6?
False
Let m = 13 + -9. Suppose -m*u + 0 = -44. Is 10 a factor of 295/u + (-4)/(-22)?
False
Suppose -1405*i - 4070 = -1407*i. Is 55 a factor of i?
True
Suppose w + 22 + 80 = 0. Let q = -66 - w. Is 12 a factor of q?
True
Suppose 3*n = 2*a - 7, a + n + 1 = 4*n. Let m = 10 - a. Suppose 11 = 3*l - 5*u, -2*l - m*l = 3*u - 63. Is 6 a factor of l?
True
Let p = -30 - -17. Is (11/4)/(p/(-52)) a multiple of 3?
False
Suppose 5*f + 5*k - 805 = 0, 0 = -2*f - 5*k + 300 + 19. Is 6 a factor of f?
True
Let j be -2 + -4*5/(-4). Suppose -3*u + 44 = 2*f, -u - 2*u + 48 = j*f. Does 4 divide u?
True
Let q = 29 + -26. Suppose -4*v + 75 = -a, 4*v - 7*a + q*a - 84 = 0. Suppose 4*l - 5*m = 75, 0 = -l + 2*l - 2*m - v. Is l a multiple of 10?
True
Let o(l) = 5*l. Let s(k) = 4*k - 1. Let m(c) = -5*o(c) + 6*s(c). Let u be m(-5). Let x(a) = -24*a**3 - 1. Does 7 divide x(u)?
False
Suppose 4*m = -5*d + 396, 4*d + 4*m - 315 = -m. Is 5 a factor of d?
True
Suppose 2*w = 400 - 92. Is 14 a factor of w?
True
Let o = -3 - -23. Suppose -38 - 10 = 4*z. Let b = z + o. Is b a multiple of 2?
True
Suppose -2*f + 90 = 3*f + k, 4*f = -5*k + 72. Let z(q) = -q**2 + 20*q + 2. Let g be z(f). Suppose -g = -0*a - a. Is 25 a factor of a?
False
Suppose 2 = -4*t + 18. Suppose 9*b - 3*m = t*b - 35, -2*m = -b - 14. Let h(d) = d**2 + 3*d + 2. Does 6 divide h(b)?
True
Let j = -12 - -8. Let b(p) = -p**2 + p - 1. Let x(r) = -r**2 + 10*r - 9. Let w(t) = 2*b(t) - x(t). Does 17 divide w(j)?
False
Let j(r) = 27*r**2 - 3*r + 3. Suppose 18*z = 16*z - 12. Let k be 5 + 0 + z + 3. Is 21 a factor of j(k)?
True
Let h = -68 + 114. Let q = h + -33. Is q even?
False
Let t = -7 - -18. Suppose -21 = -12*g + t*g. Suppose g = 4*b - 15. Is 3 a factor of b?
True
Let t = -5 + 9. Suppose 10 = 3*q + d, 0 = -0*d - 4*d + 16. Suppose t*p = -q*m + 58, 3*p + m = 4*m + 30. Is 3 a factor of p?
False
Let y(b) = 7 - 27 - 2*b**3 + b**2 + 18 + 5*b. Is 23 a factor of y(-3)?
True
Let g be 7/(70/8)*-5. Let a be ((-60)/8)/(2/g). Suppose 1 + a = 4*j. Is 3 a factor of j?
False
Suppose 3*w = -w + 5*u + 54, -61 = -5*w + 3*u. Let l be (-656)/(-22) + 2/w. Suppose 0*h - h + l = 2*c, 0 = 4*h - 4*c - 156. Is 36 a factor of h?
True
Let m(q) = 411*q - 4. Let n be m(-4). Let w be (-1)/(-5) + n/(-10). Suppose -3*c + w + 51 = 0. Does 24 divide c?
True
Suppose -q + 15 = -5*v, 4 = -3*v + 4*q - 22. Let t be (-6 + 6)*(-1)/v. Suppose -176 = -4*n - t*n. Does 11 divide n?
True
Let h = 35 + -39. Let i(k) = k**2 + 4*k + 6. Is i(h) a multiple of 3?
True
Let d(v) = 10*v + 1. Let x be d(4). Suppose 0 = -3*b + h + x, h + 0*h = 1. Suppose b*u - 129 = 11*u. Is 11 a factor of u?
False
Let i(n) = 3*n + 6. Let g be i(-5). Let h = -23 + 32. Does 11 divide (132/g)/((-6)/h)?
True
Suppose -31*i - 2990 + 9686 = 0. Is 6 a factor of i?
True
Suppose -5*q = 2*n - 2, 2*n + 5*q - 3*q + 4 = 0. Is 30 a factor of ((-28)/(-6))/(n/(-84))?
False
Let j(f) = f**2 + 8*f - 2. Let x = 32 + -51. Does 22 divide j(x)?
False
Let k = -474 + 985. Does 17 divide k?
False
Suppose -13*x - 432 = -14*x. Does 9 divide x?
True
Suppose 3*i + 56 = -4*l, 2*i + 0*l + 4*l = -44. Let d = i + 16. Suppose -d*p + 5*a - a = -40, 0 = -4*p - 4*a + 56. Does 10 divide p?
False
Suppose 2*l - 2 = 6. Suppose -9 = -5*x + 11. Suppose x*b = 2*b + f + 120, 0 = -l*f. Is 14 a factor of b?
False
Suppose 2*v - 156 = -2*m, -3*v = -5*m + 46 - 240. Is 2 a factor of v?
False
Suppose -7*v + 157 + 95 = 0. Does 6 divide v?
True
Suppose -2*w - 3*w + 3*a - 1708 = 0, -686 = 2*w - 4*a. Let k = 503 + w. Is k a multiple of 24?
False
Let c be 767/7 + (-8)/14. Suppose c + 17 = 3*q. Is q a multiple of 14?
True
Suppose 33*s - 15*s = 1728. Is 4 a factor of s?
True
Suppose 0 = 3*i - 4*r + 10, 2*i + 2*r = i + 10. Let b be i/((-2)/(-5) + 0). Is 21 a factor of ((-116)/b)/((-8)/20)?