alse
Let j(s) = 242*s - 25. Suppose 8*g = -6*g + 70. Is j(g) a multiple of 79?
True
Let z = 13 - 8. Suppose 65 - 14 = z*n + 3*l, 3*n + 4*l = 24. Let k(p) = -p**2 + 15*p + 3. Is k(n) a multiple of 13?
True
Suppose -3*v - 5*h + 5069 = 0, -2*h - 4 = -0*h. Is 29 a factor of v?
False
Suppose 2*z = 3*n - 62, -z - 95 = -5*n + 4*z. Let l(b) = -n + 29 + 37 + b + 9. Is l(-23) a multiple of 14?
True
Suppose -17*r + 22*r = i + 3420, 4*r + 2*i - 2736 = 0. Suppose 4*k = -4*x + r, 3*x + x + 3*k - 686 = 0. Is 4 a factor of x?
False
Let o(r) be the first derivative of -r**4/4 + r**3/3 + r**2/2 + r + 24. Let w(i) = -6*i**3 - 8*i**2 + 26*i + 31. Let v(z) = 5*o(z) - w(z). Does 8 divide v(-14)?
True
Suppose 3*m + 49 = 82. Let j = -13 + m. Is 27 a factor of 267 - (2/j)/(1/(-1))?
False
Suppose -i + 2*c + 4*c = -2402, 5*c - 2358 = -i. Is i a multiple of 39?
False
Let a(z) = z - 1. Let h be a(7). Suppose 1728 = 10*y - h*y. Is 27 a factor of 3/(-4*(-4)/y)?
True
Suppose -153*y + 151*y + 13321 = 5*u, 5*u = -5*y + 33265. Is 117 a factor of y?
False
Let g(s) = s + 17. Let b(t) = -8*t - 154. Let o(c) = -6*b(c) - 52*g(c). Does 3 divide o(5)?
False
Let g = 8271 - 1512. Is 193 a factor of g?
False
Let k(n) = -n. Let m(w) = w + 1. Let q(t) = 6*k(t) + 5*m(t). Let j be q(3). Suppose 4*f + 5*u = j*f + 64, 4*f + u - 128 = 0. Is f a multiple of 19?
False
Let d(z) be the first derivative of z**3 - 5*z**2 + 7*z - 25. Let v be d(4). Suppose v = 5*t, 0 = 4*g + 2*t - 4*t - 330. Does 28 divide g?
True
Let a = -30857 - -56883. Does 22 divide a?
True
Let d = 60 - 55. Suppose -5*b + 1058 = -4*v - 761, -2*b + 729 = -3*v. Suppose d*t = 2*t - 4*i + 348, 0 = 3*t - i - b. Does 24 divide t?
True
Suppose -13*f + 16126 = 9*f - 0*f. Does 37 divide f?
False
Let c(w) = w**2 - 5*w - 36. Suppose -u + 2 = 5*a + 10, 5*a = 5. Does 6 divide c(u)?
True
Let t be 5346/(-121) + 8/44. Let x = t + 128. Does 58 divide x?
False
Suppose 8*s - 21 - 19 = 0. Suppose -s*w + 379 = -221. Is 6 a factor of w?
True
Let m = 101 + -20. Let c = 84 - m. Suppose -5*d + c*v + 165 = -2*v, 0 = 2*d + 4*v - 78. Does 16 divide d?
False
Suppose 94*b = 267*b + 111*b - 2147040. Is 6 a factor of b?
True
Let j = -12032 + 17252. Is 45 a factor of j?
True
Suppose -2 = -y - 4*n + 8, 0 = -5*y + 5*n. Let w(r) = 6*r**2 + 2 - 6 - y*r**2. Is w(8) a multiple of 18?
True
Suppose 0*y = 2*y - 3*u - 232, 3*y + 3*u = 363. Let o = y + -116. Suppose -3*d + 36 = -3*q + 6, -o*q = 2*d - 15. Is 5 a factor of d?
False
Suppose m + 4*n - 24 = -3*m, 3*m - 4*n + 10 = 0. Suppose 17*i = 19*i - k - 122, -2*i = m*k - 134. Is i a multiple of 63?
True
Let v(s) = s**3 + s**2 - s - 1. Let i(n) = n**3 + 15*n**2 - 10*n - 46. Let x(t) = -i(t) + 2*v(t). Is 16 a factor of x(14)?
True
Suppose 0*u + u - 7 = 0. Suppose -u*m = -3*m + 120. Is 4 a factor of 3/((-8)/m*(-63)/(-224))?
True
Let m = 196 - 192. Suppose 4*a - 1294 = -0*a - 5*b, -m*b = 4*a - 1292. Does 34 divide a?
False
Suppose -25860 = -91*w + 31*w. Does 42 divide w?
False
Let b be 264/165 - 2/(-5). Suppose 504 = b*n + m, -m - m = 0. Is 12 a factor of n?
True
Is ((-861)/15 - -3)/((-29414)/2100 + 14) a multiple of 8?
True
Let t(c) = c**3 + 55. Let o(r) = 5 - 3*r + 0 - 9 + 1. Let x be o(-1). Is t(x) a multiple of 13?
False
Suppose -p = -f - 2*f + 4, -5*p + 3*f = -4. Let m(x) be the second derivative of 5*x**3/3 + 4*x**2 - 8*x. Is m(p) a multiple of 14?
True
Suppose -5*w - 4*b = -83771 + 27832, 3*w = -4*b + 33573. Is 10 a factor of w?
False
Let x(p) = -2*p**3 - 14*p**2 - 18*p + 8. Let r be x(-8). Suppose -9*d - r = -10*d. Does 20 divide d?
True
Let g be 1 - (-2 - 4) - 3. Suppose g*o - 5*s - 165 = 0, -3*o - s + 22 = -78. Is o a multiple of 29?
False
Let x = 13 - -13. Let d be (-88)/44 + 11*3. Let v = d - x. Is v a multiple of 3?
False
Let v be ((-9)/12)/((2 + -1)/(-24)). Suppose v = i - 33. Let u = i - -56. Is 12 a factor of u?
False
Let h(w) = -15*w - 270. Let a(x) = -x - 24. Let s(g) = 10*a(g) - h(g). Let m(k) = 5*k - 2. Let z be m(2). Is 35 a factor of s(z)?
True
Suppose -3*d = -0*d. Suppose 2*y + 13 - 1 = d. Does 8 divide 156/(-65)*40/y?
True
Let c(q) = -q**3 + q**2 + q + 4. Let y be c(0). Suppose 0 = i + p - 36, 5*p = 3*i - 124 + 48. Let x = i - y. Does 8 divide x?
False
Suppose -188*z = -992345 - 252967. Is 4 a factor of z?
True
Let a(b) = 104*b**2 + 23*b + 43. Let j be a(-2). Suppose -405*y + j*y - 1208 = 0. Does 13 divide y?
False
Let f = -326 - -308. Does 8 divide 8/f + 9096/54?
True
Suppose t - z = 203 - 52, 5*z - 649 = -4*t. Suppose 0 = 20*d - 18*d - t. Suppose -o - 8 = -4*i + d, -3*i = 4*o - 55. Is i even?
False
Suppose -2*d + 1514 = 4*r, 0*d + r = -2*d + 1508. Suppose -6*j - 274 = 2594. Let n = d + j. Does 55 divide n?
True
Let q(c) = -55*c - 95. Let s be q(-4). Is 21 a factor of (-18)/15 - (-63150)/s?
True
Let r(w) = -338*w**3 - 11*w**2 - 17*w - 3. Is r(-2) a multiple of 23?
True
Suppose 3*h - 12 = -3*b + 6, -4*b = -5*h - 6. Suppose -3*j = z - 9, -3*z - j + h*j = -7. Suppose -z*n + 5*d = -970, -2*n - 2*d + 935 = n. Does 21 divide n?
True
Let y(w) = -3493*w - 144. Is 15 a factor of y(-3)?
True
Suppose -5*x = -6*x + 5. Let h be 0/x*1/(-1). Suppose 0 = -h*j - 4*j + 20, 5*j + 15 = 2*z. Is 4 a factor of z?
True
Suppose -28*q - 462 = -2198. Suppose q*v - 68*v = -1476. Is v a multiple of 4?
False
Let q(t) = -t**3 + 18*t**2 + 73*t - 759. Is q(11) a multiple of 31?
False
Let x(s) = s**3 - 2*s**2 - 3*s + 6. Let j(h) = h**2 - 14*h + 27. Let g be j(12). Suppose 2*m - g*w + 9 = 5*m, -4*w - 6 = m. Is x(m) a multiple of 22?
True
Let b(t) = 1974*t - 6495. Is b(16) a multiple of 128?
False
Let x be (-2 - -1)/(17/(-357)). Suppose -n + 25*q = x*q - 1726, 5*q = -4*n + 6841. Is 10 a factor of n?
False
Let p = -47 + 142. Let r = p + -99. Let u(b) = 12*b**2 + b - 12. Is 44 a factor of u(r)?
True
Let i = 10244 + 5101. Is i a multiple of 15?
True
Suppose -88 = -3*c - 4*j, -3*j = -5*c - 0*c + 108. Let r = c - 17. Suppose -r*q + 4 + 73 = 0. Is 11 a factor of q?
True
Is 3*1 - (-282 - 2544)*(-2)/(-6) a multiple of 7?
True
Suppose 3*m - 56856 = -z, -5*z - 56892 = 19*m - 22*m. Is m a multiple of 54?
True
Suppose x - 156 = 20. Suppose 4*t = 2*t + x. Let i = 109 - t. Does 6 divide i?
False
Suppose 918*u = 961*u - 62350. Is 10 a factor of u?
True
Is 13/(286/781)*28 a multiple of 18?
False
Suppose 2*i - 9 = -7, -4*i = -p - 11. Does 10 divide p*(-35 - 6)/1?
False
Let r be 1/(-3 - (-57)/18). Let z be ((-9)/r)/((-18)/48). Suppose -d + z = -8. Is 12 a factor of d?
True
Let c = -30652 - -49372. Does 32 divide c?
True
Let z(n) = 15*n**2 - 24*n - 19. Is 11 a factor of z(-5)?
False
Let o(k) = -4*k**3 - 14*k**2 + 62*k - 524. Does 27 divide o(-27)?
False
Let a = -2579 - -3520. Does 16 divide a?
False
Suppose 15889 - 4597 = 13*u - 6908. Does 28 divide u?
True
Suppose -14*t + 17*t + 4242 = 0. Let v = -950 - t. Does 58 divide v?
True
Suppose 14137 = 4*i - 5*p, -9*p = 2*i - 11*p - 7066. Is i a multiple of 36?
True
Let m(c) = c**2 - c - 12. Let p be m(4). Suppose 220 = 5*q + 2*t - p*t, -5 = t. Is q a multiple of 5?
False
Let f be (-7)/(-1*(-3)/(-3)). Suppose 201*u - 197*u - 512 = 0. Suppose -f*c + 5*c = 3*w - u, -c = 4*w - 169. Is 7 a factor of w?
True
Suppose 5*k + 15 = a - 2, -k - 13 = -5*a. Is (-3 + 3 - a) + (438 - 4) a multiple of 36?
True
Let f(z) = -122*z**3 + 2*z**2 + z - 1. Let h be f(-1). Let q = h + -86. Suppose -4*t = q - 108. Is 6 a factor of t?
True
Suppose 2*u - 1506 = -14*k + 9*k, -2*u = -2*k + 594. Let o = 238 - -191. Let f = o - k. Is f a multiple of 17?
False
Let o be (-5 - -7) + (-5 + 13200)/(-5). Let t = -1819 - o. Is t a multiple of 20?
False
Is (169285/3)/(150/20) - (-4)/18 a multiple of 6?
True
Suppose -20*y + 24 = -23*y. Is 13 a factor of 8536/24 + y/12?
False
Let o be (4 + 1)*9/9. Is 46 a factor of (-15)/(-6)*348/o?
False
Suppose -5*n = 15, -3*u = 2*u - 2*n - 6. Suppose u = 3*o - 2*f - 1183 - 856, 2716 = 4*o - 4*f. Is o a multiple of 25?
False
Suppose -v + 14602 + 2884 = 3*j, 3*j = -5*v + 17506. Does 74 divide j?
False
Suppose -o = 4*u - 7946, -6810 = -3*o + 3*u + 17013. Is o a multiple of 11?
True
Let o be 2 - ((-1)/((-9)/3))/(10/(-210)). Let p be (22/6)/((-2)/(-18)). Let n = p + o. Does 12 divide n?
False
Let z(g) = 44*g**2 + 1. Let y be z(2). Suppose -5*b - 47 = -y. Suppose -2*d - b = -216. Is 19 a factor of d?
True
Let y(g) = -29