alse
Let y = -13 + 27. Let z(j) = -y*j - 15*j - 11*j. Does 20 divide z(-1)?
True
Does 24 divide (13 - 14)*((-272 - 0) + 1)?
False
Let y = -2541 + 3741. Is y a multiple of 6?
True
Let g = 107 - 122. Let n = 63 + g. Is n a multiple of 6?
True
Let r = 31 + -36. Is 33 a factor of (r/1)/((-8)/88)?
False
Let o(h) = 5*h - 19. Let b(q) = q + 5. Let j be b(7). Let r be 4/6 + 100/j. Is 13 a factor of o(r)?
True
Let q(y) be the first derivative of y**5/120 - y**4/12 + 2*y**3/3 + 4. Let o(i) be the third derivative of q(i). Is o(5) a multiple of 2?
False
Let p(g) = 139*g + 151. Is p(5) a multiple of 25?
False
Let k = 28 + -27. Let d(y) = 18*y. Let r be d(k). Let u = r + -14. Does 4 divide u?
True
Suppose -3*u + 178 = 3*o - 32, 2*u = -3*o + 214. Is 10 a factor of o?
False
Let d = 177 + 19. Suppose -3*j - d = -5*j. Suppose 4*l - j + 2 = 0. Does 4 divide l?
True
Suppose 0 = 2*o - 5*q + 21, 1 = -2*q + 3. Let u(h) = h**3 + 8*h**2 - 4*h - 10. Does 11 divide u(o)?
True
Let p = -329 - -719. Does 13 divide p?
True
Let q be (-4)/4 - (-75 - -4). Let h = q - 25. Is h a multiple of 9?
True
Suppose c = 3*c + 2*a - 488, -5*c + 1228 = a. Is c a multiple of 48?
False
Suppose 5*p - 38 = 157. Suppose 5*d - 361 = p. Is d a multiple of 10?
True
Let h = -12 - -11. Let o(x) = 2*x**3 - 3*x**2 + 3*x + 4. Let j(n) = -n**3 + n + 1. Let a(i) = h*o(i) - 3*j(i). Is a(-3) even?
False
Let x = 56 + 277. Is 29 a factor of x?
False
Let j be (-5 + -1)*(-42)/(-9). Let x be (-2)/(-3) - 1760/(-6). Is 5 a factor of 1/(-2) - x/j?
True
Suppose -3*f = -3 - 9. Suppose 5*z + 89 + 140 = 3*k, f*k = -z - 55. Let u = -31 - z. Is 10 a factor of u?
False
Suppose -15*a + 20*a = -95. Suppose -5*g - 90 = -0*g - 5*b, 0 = 4*g + 4*b + 32. Let i = g - a. Does 6 divide i?
True
Let a(v) = 2*v**2 - 11*v + 5. Suppose -23 = -6*h + 25. Suppose 0*k - 23 = -3*g - k, 0 = -4*k + h. Is a(g) a multiple of 26?
True
Suppose 0 = 4*k - 91 - 89. Let g = 129 - k. Is 21 a factor of g?
True
Let v(y) = -y + y**2 + 25*y**3 + y**3 - 4*y**3. Does 42 divide v(2)?
False
Let t = 32 + -28. Suppose 2*y = -r + 33, t*y - 21 = 2*y + 3*r. Is y a multiple of 3?
True
Let m(b) = -85*b + 25. Suppose 0 = 6*o + 3*o + 27. Is m(o) a multiple of 12?
False
Suppose 3*y - 5*f - 1025 = 0, -3*y + 708 + 307 = 5*f. Is 20 a factor of y?
True
Let t be (-4)/(-6)*10*(-36)/6. Does 4 divide 2/(1/(t/158) - -4)?
True
Let b(d) = -d**2 - 4*d + 1. Let w be b(-3). Let x(a) = -a**3 + 5*a**2 - 4*a + 2. Let o be x(w). Suppose 100 = 2*y + o*y. Is y a multiple of 11?
False
Let i(d) = -4*d + 11. Let a(t) be the first derivative of 7*t**2/2 - 22*t + 4. Let p(q) = 6*a(q) + 11*i(q). Is 3 a factor of p(-8)?
False
Suppose 0 = -5*h - k + 196 + 1064, 0 = h - 3*k - 252. Is 9 a factor of h?
True
Suppose -5*p + 3*z + 47 = 0, p + 0*p - 3*z - 7 = 0. Let t be 74/p + 2/(-5). Suppose t = n - 11. Is n a multiple of 5?
False
Is 40/90 + (-129598)/(-126) a multiple of 80?
False
Let j be (-4)/(8/30)*(-6)/(-15). Does 31 divide 860/14 - j*6/63?
True
Let b(o) = o**2 + 4*o - 5. Let n be b(-4). Let v(d) = -d**3 + 6*d**2 - 12. Let w be v(6). Let c = n - w. Is 7 a factor of c?
True
Suppose 0 = 7*d - 0*d - 35. Let p(s) be the first derivative of -s**3/3 + 4*s**2 - 5*s + 1. Is 10 a factor of p(d)?
True
Does 15 divide 7 + -9 + -3 - (0 + -2450)?
True
Suppose -4*k = k - 2*w - 344, 5*k = w + 347. Does 19 divide k?
False
Let n = 64 - 43. Is 9 a factor of -1 + 83 - (-23 + n)?
False
Suppose 0 = -3*o + 4*s, 2*s = -0*s. Suppose 0 = -2*p + 4*t + 344, p + 4*t + 182 = 2*p. Suppose j + j + p = 5*k, o = 4*k - j - 132. Is k a multiple of 11?
False
Let b(p) = -3 - p + 4 + 3 - 2. Is 4 a factor of b(-14)?
True
Let s = -8 + 12. Suppose -2*r - 20 = -3*r + h, -3*r + 56 = -s*h. Let w = r - 22. Does 2 divide w?
True
Let k = -5 + 12. Let u = 73 - k. Is 22 a factor of u?
True
Let p be (1 - (-66)/(-4))/((-6)/(-24)). Let o = -21 - p. Is 18 a factor of o?
False
Let i(f) = -f - 4. Let g be (-37)/4 + (-2)/(-8). Let v be i(g). Let o(u) = -u**3 + 5*u**2 + 3*u - 1. Does 14 divide o(v)?
True
Suppose w - 3*v = -7, 0*v = 4*v + 4. Let z(n) = -10*n + 16. Is 18 a factor of z(w)?
False
Let f(b) = 22*b**2 - 14*b + 20. Does 20 divide f(5)?
True
Let y(x) be the third derivative of -x**6/10 - x**4/24 + 15*x**2. Let i(v) = v**3 - 5*v**2 + 4*v - 1. Let g be i(4). Is 5 a factor of y(g)?
False
Let d = -173 + 1031. Is 12 a factor of d?
False
Suppose -5*u = -9*u + 16. Suppose 5*c + u*a = -0*a + 501, 5*c - 3*a = 473. Does 31 divide c?
False
Suppose -s - s - 185 = -o, -746 = -4*o + 5*s. Suppose -10*t + 3*t + o = 0. Does 7 divide t?
False
Suppose 0*i = 7*i - 280. Suppose -312 = 36*h - i*h. Is 4 a factor of h?
False
Suppose -3*z + 4*d - 13 = 0, -d = -4 - 0. Suppose z = -3*t + 142. Is 16 a factor of t?
False
Suppose -c + 2*t = 3, -3*c + t = -c + 3. Does 12 divide (c + (1 - -4))/(-2) - -86?
True
Does 21 divide 10*40 + -2*(-9)/(-18)?
True
Suppose -7*w - 2*n + 90 = -3*w, -n - 3 = 0. Suppose -27 = 2*v - 5*v. Let t = w + v. Is t a multiple of 9?
False
Let p = 1496 + -1264. Is p even?
True
Let h(u) = 1030*u**2 + u + 1. Let t(w) = w**2 + 4*w + 3. Let l be t(-2). Let j be h(l). Is (j/(-40))/(2/(-8)) a multiple of 27?
False
Let q(c) = 4*c + 1. Let v be q(1). Suppose -322 = -v*h - 87. Does 13 divide h?
False
Suppose -5*k = -3*b + 6, -b - 3*k = 3 - 5. Let o be b/7 - (-1560)/28. Let t = -34 + o. Is 8 a factor of t?
False
Suppose -5*h - 5 = -25, -10 = 3*v - 4*h. Suppose -v*c = -6, -3*g + 167 = -g + 5*c. Suppose 0 = -0*f - 2*f + g. Is 13 a factor of f?
False
Let j(k) = k**3 - 5*k**2 - 4*k + 6. Let o(c) = 8*c - 4. Let u be o(2). Suppose -3*t + 17 + 3 = -r, -3*t = 3*r - u. Does 18 divide j(t)?
True
Suppose 0*i + 25 = 5*i. Let k be (4 - i)/(1/3). Does 23 divide -4 + 2 - -64 - k?
False
Let h = 214 - 26. Is 7 a factor of h?
False
Let d = -62 - -22. Let k be (d/12 - -4)*87. Let a = k - -7. Does 24 divide a?
False
Let x be 6/(-2) - (-10)/(-10). Let h be 4/16 + (-59)/x. Suppose -8*i + 87 = h. Is 9 a factor of i?
True
Suppose -100 = 5*z + a, 4*z - a - 2*a + 80 = 0. Let y(s) = -2*s - 27. Is y(z) a multiple of 2?
False
Does 13 divide 2600/(-50)*4*-1?
True
Suppose 2*a - 4*n = -14, 2*n - 22 = -0*a + 4*a. Let k = a - -2. Does 15 divide (-1 - k)*(-49)/(-2)?
False
Let l(v) = -v**3 + 7*v**2 - 4*v - 1. Let t = 23 + -10. Suppose 0 = -2*p - 2*y + 10, y = -3*p - 4*y + t. Is 6 a factor of l(p)?
False
Suppose 3*x - 1056 = -5*c, -14*c + 11*c = 4*x - 638. Does 21 divide c?
True
Let v be 3*(-1)/7 - 75/21. Does 7 divide ((-29392)/24)/(-11) - v/(-3)?
False
Let x = 40 - 30. Let q(m) = 2*m + 12. Is 6 a factor of q(x)?
False
Let i(m) = -2*m. Let v be i(0). Suppose j + 2*j = v. Let r(y) = -y**2 + y + 51. Does 20 divide r(j)?
False
Suppose 2*x = 2*i - 16, -x + 4 = i + 2. Let m = -1 - i. Is 4 a factor of 24*((-3 - m) + -2)?
True
Is 17 a factor of (-2)/(-14) + ((-989568)/28)/(-9)?
True
Suppose 0*s = 2*u + 5*s + 10, 0 = 3*u + 3*s - 3. Suppose 3*n - u*i = 4*n - 3, i = 0. Suppose -3*a + 2*r + 14 = -2, -n*a = -4*r - 14. Does 2 divide a?
True
Let d(i) be the third derivative of -i**6/120 - i**5/4 - i**4/8 - 4*i**3/3 + 17*i**2. Is 2 a factor of d(-15)?
False
Let r(a) = -a + 8. Suppose -q - 12 = 2*q. Is 6 a factor of r(q)?
True
Let j(k) = 7*k**2 + 3*k + 1. Let s be (8/(-10))/(6/105*7). Is 6 a factor of j(s)?
False
Suppose -4*a = 3 - 31. Let j(i) = -102*i + 1. Let c be j(-1). Let h = a + c. Is 26 a factor of h?
False
Let o = 51 - -47. Is 14 a factor of o?
True
Is 9 a factor of (-650)/15*2376/(-110)?
True
Suppose -4*p + 5*h + 122 = -51, -4*p + 2*h + 170 = 0. Suppose -12*c + p = -9*c. Is c a multiple of 3?
False
Let f(m) = 2*m**2 - 1. Suppose 2*w + 10 = -2*r, 0 = -2*w - 0*r + 3*r - 15. Let c be 18/(-4)*4/w. Is 6 a factor of f(c)?
False
Let i(s) = 3*s**2 - 8*s - 4. Let z be i(6). Let r(g) = 5*g**3 + g**2 - 2*g + 1. Let b be r(1). Suppose -3*o + b*o = z. Is o a multiple of 9?
False
Let q(n) = 77*n**3 - 13*n**2 + n + 2. Does 5 divide q(2)?
False
Is 3*-2 - (40/10 - 1555) a multiple of 26?
False
Is 978 - (18 + -7 - 9) a multiple of 16?
True
Is 518/3 + 7 + 299/(-39) a multiple of 86?
True
Let g = 35 + -30. Suppose 5*p - 2*d - 115 = 0, 6*p + g*d - 92 = 2*p. Let y = 68 - p. Is 9 a factor of y?
True
Let t be 2736/108 + (-1)/(-6)*4. Let k = 3 + -2. Let i = t - k. Is i a multiple of 4?
False
Let l(j) = -j - 5. Let x be l(-3