Let y = -3632 + 6742. Does 10 divide y?
True
Let j(p) = p**3 + 5*p**2 + 3*p. Let z be j(-8). Let a = -39 - z. Suppose -271 - a = -7*w. Is w a multiple of 32?
True
Suppose l - 4*x - 277 = 0, -11*l + 16*l - 1500 = -3*x. Does 82 divide l?
False
Suppose 2*y - 3*h - 12 = 0, 4*y - h - 4*h - 24 = 0. Let c(a) = 2*a**3 + 6*a**2 + 4*a - 23. Is c(y) a multiple of 11?
True
Let z be 3/(((-10)/1)/10). Suppose 5*p - 153 = -833. Does 4 divide p/z + (-2)/6?
False
Suppose 3*i - 40 = i. Let q = -117 - -120. Suppose 4*b = 7*b + y - 23, -i = -q*b - 4*y. Does 8 divide b?
True
Suppose 6*p + 447 = -4773. Let i = -143 - p. Is i a multiple of 57?
False
Suppose -5*d - 3*k + 49 = -41, 0 = 5*d - 4*k - 55. Suppose 15*w = 20*w + d. Is 16 a factor of (-11)/(w + 20/7)?
False
Let i(x) = 20*x**3 + 2*x**2 + 2*x - 2. Suppose -3*s = n + 9 + 7, -5*s - 20 = -5*n. Let b(o) = -o**3 - 1. Let w(f) = n*i(f) + 2*b(f). Is w(-1) a multiple of 11?
True
Suppose 3211 = 5*r + i - 26404, -29605 = -5*r + i. Suppose r = -3*z + 12*z. Is 14 a factor of z?
True
Let k = -26872 - -26933. Is 20 a factor of k?
False
Is 3 a factor of ((-18)/5)/(2/122*(-11)/55)?
True
Suppose -3*f - m = -5, -5*f - 4*m + 0*m = -20. Suppose f = 6*x - 3515 - 2479. Is 13 a factor of (-4)/(-22) + (-3)/(-33)*x?
True
Let l = -9 + 10. Suppose -l - 1 = -c, 5*c = -3*x + 10. Suppose 3*f - 90 = 5*q, x*q - 4*q = -5*f + 150. Is f a multiple of 5?
True
Suppose -11 = v - 15. Suppose 4*z - v*f + 613 = 7*z, 2*z - 412 = -2*f. Let s = z + -49. Is s a multiple of 43?
False
Suppose 7*b + 40 + 58 = 0. Let i be (-7762)/b - (-52)/91. Let w = -317 + i. Does 37 divide w?
False
Suppose -13 = 5*p - 3, 4*c + p - 3218 = 0. Suppose -c = -l - 4*l. Does 7 divide l?
True
Is 35 a factor of (7392 - (14 + -1*35/5))/1?
True
Let h(t) = 5*t - 7. Let g be h(4). Suppose 5*r + 3*j - 1219 = 0, -2*r + g*j = 10*j - 475. Is r a multiple of 22?
True
Suppose 2*f = -4*r + 2*r + 4386, -4*r + 5*f + 8799 = 0. Suppose 8*o = 2*o + r. Does 14 divide o?
False
Suppose -432 = -12*d - 144. Let g be ((-2)/6)/((-2)/d). Suppose -2*j = 2*v - g*v + 48, 4*v - 2*j = 100. Is 11 a factor of v?
False
Suppose 91082*y - 659920 = 91042*y. Is y a multiple of 113?
True
Let y(z) = z**2 + z + 1. Let t(r) = 4*r**2 + 3*r + 94. Let h(g) = t(g) - 5*y(g). Let x = -5 - -5. Does 6 divide h(x)?
False
Suppose 5*n + 3*h = -h + 45, 20 = 4*h. Suppose 5*y - 3*y = -r + 388, -3*r = n*y - 1161. Does 10 divide r?
False
Let r = 53 - 19. Let q = r + -40. Let c(x) = x**3 + 8*x**2 + 12*x + 12. Is c(q) a multiple of 4?
True
Suppose 195*s + 4936 = 203*s. Is 40 a factor of s?
False
Suppose 5*r + 3*a - 1429 = 1222, -4*a = 3*r - 1595. Let p = 293 + r. Is 10 a factor of p?
False
Let l = 134 + -28. Let g = 125 + l. Is 4/42 + 34166/g a multiple of 38?
False
Suppose -328*w + 341*w - 1014 = 0. Suppose w = -2*s + 1366. Is 92 a factor of s?
True
Suppose 33313 = c + 5*k - 5408, 2*c + 2*k - 77466 = 0. Is c a multiple of 48?
True
Let q be (15/2)/(4/96). Let d be 3882/15 - 1/10*-2. Suppose -2*k + 2*t + 2*t = -q, 5*t = -3*k + d. Does 15 divide k?
False
Suppose -z = -3*s - 262, 0*s - 2*z + 352 = -4*s. Let a = s - -554. Is 39 a factor of a?
True
Let g(v) = -v**3 - 7*v**2 + 15*v + 58. Let h be g(-8). Suppose h*c - o = -3*o + 486, 0 = -2*o - 10. Is 20 a factor of c?
False
Suppose 125*z - 57*z = 98260. Is z a multiple of 81?
False
Let p be (135/(-9))/((-12)/20). Let l(q) = -q - 6. Let t be l(-6). Suppose t = f - 8 - p. Is f a multiple of 3?
True
Let x = 514 - 150. Suppose -3*f - 12 = -18. Suppose f*u - 4*u = 4*i - x, i + 4*u = 98. Is i a multiple of 9?
True
Let x = -344 + 347. Suppose n - 5*g = -x*n + 1194, 3*n + 4*g - 880 = 0. Is 4 a factor of n?
True
Let s = 13345 - 6638. Does 4 divide s?
False
Let a be (6/18)/((-9741)/4869 + 2). Let t = a + 613. Is 12 a factor of t?
True
Let u(j) = j**2 - 9*j + 39. Let h be u(4). Let l(b) = 17*b + 10. Does 19 divide l(h)?
False
Suppose 10*t - 118 = 12*t. Let c = -56 - t. Suppose 3*h - 357 = 4*s, -c*h - 4*s = -272 - 61. Does 23 divide h?
True
Let p be 4/(-22) + 1107/99. Suppose p*i - 8*i = 4*n + 41, 2*i - 24 = 2*n. Suppose -i*t = 4*b - 2*t - 223, -2*t - 2 = 0. Does 19 divide b?
True
Suppose -3*w + 4*m + 2 = 0, w + 1 = m + 2*m. Suppose -w*f = 3*v - 3 - 1, -7 = -4*v - f. Suppose 3*k + 43 = 2*o, 4*o - 4*k = v*o + 44. Is 5 a factor of o?
True
Let l = -581 - -584. Let b(f) = -9*f + 171. Does 8 divide b(l)?
True
Suppose 4*x - 4*k = -10836, -10831 = 4*x - 3*k - 0*k. Is 30 a factor of (3/6)/((-8)/x)?
False
Let l = 379 - 378. Let f(s) = -s**3 + 6*s**2 + s - 3. Let j be f(6). Is 10 - 3 - (j - (l + 0)) a multiple of 2?
False
Let r = -5561 + 10625. Is r a multiple of 6?
True
Suppose 2*g = 5*l - 0*g - 7, 9 = -l + 3*g. Suppose 4*i = -z - i + 10, -i = -l*z - 2. Suppose -130 = -z*w - 5*w. Is 26 a factor of w?
True
Let n = -342 + 275. Let i = n + 437. Does 10 divide i?
True
Let h(g) = -3*g + 29. Let u be h(9). Suppose 5*k = 4*r - 2862, -u*k + 1440 = -r + 3*r. Is 12 a factor of r?
False
Suppose 0 = -5*r - 2*g + 9079, -4*g - 7280 = -8*r + 4*r. Is r a multiple of 36?
False
Let f(c) = -1480*c + 1213. Does 5 divide f(-5)?
False
Let l(u) be the third derivative of 29*u**4/24 + 23*u**3/2 - 108*u**2. Does 20 divide l(11)?
False
Let i(k) = 11*k**2 + 2. Let x = -25 + 26. Let c be i(x). Suppose c = q - 46. Is 15 a factor of q?
False
Let c(o) = 139*o + 4568. Is c(25) a multiple of 70?
False
Let u(o) = -o**3 + 2*o**2 + 2*o + 5. Let y be u(3). Let g = y - -23. Suppose 30*p = g*p + 115. Is p a multiple of 3?
False
Let l(f) be the first derivative of -f**4/2 - 13*f**3/3 + 3*f**2/2 + 29*f - 118. Is 11 a factor of l(-9)?
True
Let g(a) = -1597*a - 585. Does 15 divide g(-1)?
False
Let n(a) = -a**2 - 19*a + 12. Let f = -14 + 0. Let w be n(f). Let k = w - 36. Does 3 divide k?
False
Suppose 4*d - 11957 = 4*l - 67049, 4*l = -d + 55082. Is l a multiple of 4?
False
Suppose 9*n = 176*n - 33*n - 669598. Does 19 divide n?
True
Suppose 3*f + 2*q = 17339, -2*q + 5186 = f - 595. Does 53 divide f?
False
Suppose 3*x + 1154303 - 12668 = 26*v, x + 175641 = 4*v. Is 12 a factor of v?
True
Let b(h) = -7*h - 6. Let l be b(-9). Suppose -6*g - l = -15. Let o = 0 - g. Is o even?
False
Suppose 13*j = 17*j - 12. Let y(v) = 2*v - 6. Let l be y(j). Let f = l + 29. Is 8 a factor of f?
False
Suppose -2*r = 5*w + 150 + 19, 0 = 4*w - 5*r + 122. Is w*(2 + (-26)/15)*-35 a multiple of 11?
True
Let u = 78158 - 43718. Is 84 a factor of u?
True
Let a(z) = -z**2 - 1. Let h(g) = -3*g**2 - g - 5. Let y(r) = -4*a(r) + h(r). Let w = 129 + -123. Does 12 divide y(w)?
False
Let x(r) = -7*r + 2*r + 4 + 12*r. Let o be x(9). Let w = 118 - o. Is 17 a factor of w?
True
Suppose 45*d + 3*i = 47*d - 5911, 5*d + 3*i = 14725. Is d a multiple of 11?
True
Suppose 102*n - 125966 - 161164 = 0. Is 240 a factor of n?
False
Suppose 3*a = -2*s + 28474, 28498 = 3*a - s - 3*s. Is a a multiple of 101?
True
Suppose -5*a = -4*a + 5. Let i(x) = -39*x - 45. Let r(v) = -v + 2. Let h(d) = i(d) - 2*r(d). Is h(a) a multiple of 34?
True
Let m(l) = -207*l + 29. Let x be m(3). Let u = x + 977. Is 52 a factor of u?
False
Let q(t) = -t**3 - 10*t**2 - 29*t - 17. Let p be q(-5). Suppose -3*o + p*i = -1002, 2*i - 7 = 1. Does 26 divide o?
True
Let o = -76 + 83. Suppose -o*y - 636 = -19*y. Is y a multiple of 9?
False
Suppose 51*z = 34*z + 45934. Let f = z + -1620. Is 55 a factor of f?
False
Suppose -b = -5*i - 19, 0 = -5*b - i - 0*i + 17. Suppose -380 = -3*s + b*u, -2*s - 4*u = 3*s - 644. Does 7 divide s?
False
Let d(i) = -31*i**3 - 4*i**2 + 17*i + 78. Is 9 a factor of d(-3)?
True
Let x(l) = 5*l - 113. Let d be x(23). Suppose 3*p - 152 = -b, -d*b - b + 3*p = -468. Is 11 a factor of b?
False
Let b be 4 + (-8)/5 + 40/(-100). Is (-50436)/(-828) + b/23 a multiple of 6?
False
Is 34 a factor of ((-3 - (-8 + 4)) + 19*-380)/(-1)?
False
Suppose 5*y - 346 = 5*n + 429, 4*n - 175 = -y. Suppose 5*d = y + 481. Is 11 a factor of ((-10)/20)/((-1)/8) + d?
True
Let p = -786 + 277. Let z = -411 - p. Does 7 divide z?
True
Let u(y) = -y**3 + 3*y**2 + 3*y - 5. Let b be u(3). Suppose b*p = 0, d + 73 = -0*p - 2*p. Let q = 103 + d. Is q a multiple of 15?
True
Suppose 0 = 5*x - 4*x - 17. Let a = 1 - x. Let v(i) = -i**2 - 16*i + 10. Is v(a) even?
True
Suppose 10 = -4*k - x, -6*k + 2*x - 4 = -2*k. Let u = k + -26. Is ((-154)/u)/(1/6 - 0) a multiple