alse
Let f(z) be the second derivative of z**4/6 + z**3/3 + z**2 + 2*z. Suppose -s = -0*s + 3*t + 8, 0 = -4*s - t - 10. Is 5 a factor of f(s)?
False
Let d(w) = w**2 - 14*w + 31. Let v be d(20). Let a = v - 51. Does 20 divide a?
True
Let v(c) = c**3 - 9*c**2 - 7*c - 11. Let t be v(10). Let z = -14 + t. Suppose -4*i - z*g = -1 - 156, -3*i = 3*g - 117. Does 14 divide i?
False
Suppose -4*d - 188 = 4*w, -4*w - 3*d = -4*d + 208. Let i = 99 + w. Is i a multiple of 13?
False
Suppose 2*h + 4*j + 0*j = 3060, -j + 4605 = 3*h. Is 55 a factor of h?
False
Let u be 4/12*-1*-57. Let t = -11 + u. Does 13 divide (56/(-10))/(t/(-20))?
False
Is 9 a factor of ((-2)/(12/(-82)))/(49/1323)?
True
Does 26 divide -2 + (-20)/12*-2*960?
True
Let h(n) = n**2 + 9*n - 12. Let k be h(-12). Let a(g) = g**3 - 2*g**2 + 2. Let y be a(2). Suppose o + 5*f = 25, -y*o - f + k = -62. Is 7 a factor of o?
False
Does 36 divide (21 + (-1 - 2))*(2 + 2)?
True
Let i(v) = 4*v**2 - 12*v - 31. Let y be i(-12). Suppose 0 = -4*h + w - 0*w + y, h = -3*w + 156. Is h a multiple of 19?
True
Suppose 7*g = 2*g - 4*a + 30, -a = -2*g - 1. Suppose -45 = g*j - 237. Is j a multiple of 16?
True
Suppose -306 = -4*r + 3*b, 42 + 27 = r + 3*b. Does 75 divide r?
True
Let x be (45/(-30))/(3/(-4)). Suppose -x*k + 36 = -0*k. Is k a multiple of 4?
False
Suppose 13*r - s = 18*r - 1056, r = -5*s + 216. Is r a multiple of 7?
False
Let a(y) = -31*y - 148. Is 60 a factor of a(-43)?
False
Suppose -61 = -2*z - 0*z - 5*q, z + 7 = 5*q. Let w = 78 - z. Is w a multiple of 12?
True
Let a(t) = t + 2. Let b be a(1). Suppose -4*f - 23 = -p, b*f = 8 - 23. Is 2 a factor of p?
False
Let n(b) = 30*b - 42. Does 36 divide n(5)?
True
Let x(s) = -s - 5. Let z be x(-8). Suppose 4*j - 419 = -z. Is j a multiple of 6?
False
Suppose -3*h - 158 = -2*f, -4*f - 5*h = 23 - 361. Let y = f + -28. Let g = -26 + y. Does 3 divide g?
False
Let d(u) = -u**2 - u + 3. Let w be d(0). Suppose 0 = 6*l - w*l + 2*f + 26, 5*l - 2*f = -22. Is -2*9/4*l a multiple of 9?
True
Let r be 0 + 51 + (-20)/15*3. Suppose r = h + 9. Is 19 a factor of h?
True
Let s = 59 + 23. Does 12 divide s?
False
Suppose -16*o = -7*o - 13626. Is 60 a factor of o?
False
Suppose -4888 = -4*c + 4*n, 2*n - 2452 = -c - c. Is c a multiple of 17?
True
Let t(r) = -146*r - 120. Is 18 a factor of t(-6)?
True
Suppose 5*p = -5 + 25. Suppose 0 = 2*g - 5*g - p*d + 20, 3*d = 15. Let m(u) = -u**3 - u**2 + 6. Is 5 a factor of m(g)?
False
Let g = 10524 + -6858. Is 13 a factor of g?
True
Let t = 775 + -685. Is 21 a factor of t?
False
Let w(i) = -i**3 + 23*i**2 + 24*i + 68. Is 10 a factor of w(23)?
True
Suppose 10*r = 1283 + 2387. Is r a multiple of 52?
False
Let x = 29 - 128. Let t be 1/3 + (-1518)/(-9). Let w = x + t. Is 14 a factor of w?
True
Let o be 46/(-14) - (-22)/77. Let u be (-2)/o - 16/6. Let i = 36 + u. Is 9 a factor of i?
False
Suppose -y - 3*y = -16. Suppose -y*c + 6*c = 42. Is 2 a factor of 0 - 2/((-6)/c)?
False
Let d(a) = a. Let f be d(14). Suppose -f = -j + 3*g - g, -12 = -j + 4*g. Suppose 2*y - 66 = -j. Does 5 divide y?
True
Suppose -4 = -5*b + 16, -2*l - 4*b - 4 = 0. Is 14 a factor of ((-2)/3)/(l/630)?
True
Suppose 0 - 24 = -4*z. Is 9 a factor of (4 + 0)/(z/27)?
True
Let n(j) = -j + 6. Let y be n(5). Suppose 0 = -4*h - y - 3. Let r(i) = -49*i - 1. Is 15 a factor of r(h)?
False
Let y = -14 - -8. Let w = y + 6. Suppose -2*j + 30 = -w*j. Is 15 a factor of j?
True
Let n be -52*(-5)/6*(-12)/(-8). Let m = 191 - n. Does 12 divide m?
False
Let z = -655 + 681. Let g = -3 - -17. Let x = z - g. Does 3 divide x?
True
Suppose 3*b = w + 2*b + 21, 0 = 3*w - b + 59. Suppose -14 = 4*x - 2*x. Let m = x - w. Is m a multiple of 6?
True
Suppose -5*w = 9 - 59. Suppose 0 = q - 2*h - w - 2, 0 = -5*q + 3*h + 74. Is q a multiple of 3?
False
Is (-613 - (14 - 4))*-1 a multiple of 14?
False
Suppose -3068 = 4*y - 30*y. Does 59 divide y?
True
Let t(w) = -w**3 - 26*w**2 - 36*w + 4. Is 5 a factor of t(-26)?
True
Let r(x) = -3*x**3 + 199*x**2 - 64*x - 34. Is 2 a factor of r(66)?
True
Suppose -3*r + 2*r = 0. Let k(j) = j**3 - 5*j**2 + 5*j + 70. Let o(g) = g**2 - g - 1. Let y(s) = k(s) + 5*o(s). Is y(r) a multiple of 13?
True
Suppose 6*q = s + 4*q, -15 = -3*s + q. Is (8/s)/(3/18*2) a multiple of 3?
False
Suppose -1387 = -3*n - 532. Suppose -3*p = 4*w - 6*p - n, -3*w + 250 = 5*p. Is w a multiple of 11?
False
Suppose -5*l - t + 6898 = 0, 4*t + 5516 = 4*l + 6*t. Is l a multiple of 7?
False
Suppose 2*n + 2 = -5*a + 3*a, -3*n = 5*a + 9. Suppose 2 = 2*v + 2*z, z + 3*z - n = -3*v. Is v*(-54)/(2 - 5) a multiple of 12?
True
Suppose -4*v - 140 - 300 = -2*y, -916 = -4*y - 4*v. Let f = 382 - y. Is f a multiple of 17?
False
Let i = 463 - 396. Does 7 divide i?
False
Let d = 627 - -123. Does 21 divide d?
False
Suppose -v + 6*v + 1 = -c, 10 = 2*c - 2*v. Does 9 divide (-98)/c*(-5 + 3)?
False
Let m be 90/24 - (1 - (-5)/(-4)). Suppose -4*a = 2*c - 41 - 39, 4*c - 100 = m*a. Does 30 divide c?
True
Let q be ((-44)/(-33))/(1/(-6)). Let a be q/(-28) + 33/7. Suppose 4*x = -3*u + 57, 4*x = -a*u + 22 + 65. Is 8 a factor of u?
False
Suppose 4*n = 95 + 53. Suppose 14*r - 1583 = 167. Let t = r - n. Is 11 a factor of t?
True
Suppose 0 = -2*z + u + 1499, 0*z + 2246 = 3*z - 4*u. Is 50 a factor of z?
True
Let m be ((9/6)/(-3))/(5/(-1720)). Suppose -700 = -8*d - m. Does 11 divide d?
True
Suppose 4*o + 0*o + 52 = 0. Let b = -8 - o. Suppose -7 = -4*x + 3*x + 5*h, -5*x - b*h + 125 = 0. Is 9 a factor of x?
False
Suppose 19*i = 13*i + 1116. Is i a multiple of 36?
False
Suppose 5*n = -2136 + 8501. Does 19 divide n?
True
Suppose -3*z = 4*b - 7*z - 16, -z + 28 = 3*b. Is 12 a factor of 73 + b + -4 + 4?
False
Let t(o) = o**2 - 2*o - 4. Let m be t(3). Let y be (m/3)/(7/(-567)). Let g = y + -15. Is g a multiple of 6?
True
Let a(i) = 22*i**2 - i + 5. Let g be (6/(-9))/(1/(-3)). Does 30 divide a(g)?
False
Let b(v) = -v**2 - v + 2. Let w be b(0). Suppose w*i = 45 - 1. Let d = i - 2. Does 8 divide d?
False
Let y(g) = 40*g**2 - 2*g - 4. Is y(-4) a multiple of 23?
True
Let s(o) = 35*o**2 - 13*o + 15. Is s(1) a multiple of 6?
False
Let w = 112 - 107. Suppose -w = 5*l + 15, 0 = 3*y + 2*l - 262. Is 18 a factor of y?
True
Suppose 24*w - 174 = 22*w. Is w a multiple of 2?
False
Let m(w) = -w**2 + 15*w - 4. Let f be m(15). Let u be 2 + (f*1)/2. Suppose 2*p = 3*n + 12, 0 = -4*p - 5*n - u + 2. Is p a multiple of 3?
True
Suppose -5*t + 4602 = -2*g, g = -5*t + 4306 + 293. Is t a multiple of 10?
True
Suppose 2*v + 85 - 257 = 0. Let q = 64 + -59. Suppose -114 = -q*a + v. Is 20 a factor of a?
True
Let v = -174 + -138. Let s = v - -486. Does 29 divide s?
True
Let d(q) = -8*q - 13. Let y(p) = -7*p - 13. Let x(g) = -5*d(g) + 6*y(g). Let i be x(-8). Suppose -i*n + 112 = o, -o + 4*o = -3*n + 114. Is n a multiple of 27?
False
Suppose -121 = -5*m - 2*z + 37, -4*m - 3*z + 132 = 0. Let k = 72 - m. Suppose q - k = -q. Does 8 divide q?
False
Let v(f) be the second derivative of -3*f + 1/6*f**3 + 0 + 47/12*f**4 - f**2. Does 13 divide v(1)?
False
Let d(o) = -3*o**2 - 39*o - 19. Let p(h) = h**2 + 13*h + 6. Let y(s) = 4*d(s) + 11*p(s). Let q be y(-7). Suppose -4*f = -2*f - q. Does 6 divide f?
False
Let v(p) = 4*p - 13. Let j be v(6). Let t(r) = 4*r - 4. Let l be t(j). Suppose -7*m + l = -6*m. Is 20 a factor of m?
True
Suppose -82*n + 34981 = -104911. Is n a multiple of 93?
False
Let k = 1200 - 220. Is 14 a factor of k?
True
Suppose -3 = -s - a - 35, 0 = 2*s + 3*a + 67. Is s/(-5) + 12/(-15) even?
False
Suppose 4710 = -1743*y + 1753*y. Is 22 a factor of y?
False
Is -4 + (18 - 10) + 404 a multiple of 4?
True
Let j(m) = -19*m**3 - m**2 - 2*m. Is j(-1) a multiple of 2?
True
Suppose 8*r - 1384 = -2*a + 4*r, -4*a = -r - 2759. Is 16 a factor of -2 - (a/(-6) - -1)?
True
Suppose -2*u - u - 2*m - 10 = 0, 10 = -2*m. Suppose -2*g + 22 = -2*z, u*z - 13 = -g - z. Is 4 a factor of g?
True
Let q be (12/8)/((-3)/(-2)). Suppose c - 3 = -q. Suppose c*l - 72 = -0*l. Is l a multiple of 12?
True
Suppose 39*v - 44321 = -8*v. Is 51 a factor of v?
False
Let q(n) be the second derivative of -n**3/6 - 9*n**2/2 + n. Let c = 63 - 79. Is q(c) a multiple of 7?
True
Let p(y) = -y**3 - 35*y**2 - 15*y - 82. Is p(-35) a multiple of 14?
False
Let s(t) = -t**3 - 19*t**2 - 31*t + 40. Is 76 a factor of s(-20)?
False
Let h = 16 - 13. Suppose 0