1 divide (-31)/((-403)/65) + (-2)/(-2) + 11349?
False
Let v(d) = 3*d**2 + 73*d - 389. Does 204 divide v(-67)?
False
Suppose -h - 24 = -2*d, 4*d + 52 = -5*h + 2*h. Is (((-8792)/h)/(-7))/((-8)/20) a multiple of 22?
False
Suppose 36063 = 4*b + 3*d, 2*b - d = 913 + 17106. Does 18 divide b?
False
Let j(i) = i**2 - 40*i - 221. Let t be j(-5). Suppose 4*s - 948 = -228. Suppose -s = -4*a + t*m, -4*a - 3*m = -0*m - 145. Is 4 a factor of a?
True
Let x be (-6)/(18/(-33)) + -3 + -5. Suppose 2*z + 3*o + 830 = x*z, -z = o - 842. Does 22 divide z?
False
Let c be 39/234 - 187/6. Let n(a) = a**2 - 4*a - 224. Is n(c) a multiple of 7?
True
Suppose -o + 2*f = -884, 12*o - 5*f - 4031 - 6672 = 0. Is o even?
True
Suppose 7*f = -62 + 286. Suppose 2*u = -5*w + f, -3*u + 4*w - 2*w + 48 = 0. Is u a multiple of 4?
True
Let v(i) = i**2 + 13*i + 5. Let a be v(-13). Suppose -w = -5*t + 2963, a*t + 0*t + 4*w = 2973. Is 51 a factor of t?
False
Let a(g) = -14*g + 42. Let f be 2/(-6) - 2*2/(-12). Does 11 divide a(f)?
False
Let p(y) = y + 394. Let b be ((-3)/((-3)/19))/(2/4). Is 14 a factor of p(b)?
False
Let b(w) = -2*w - 20. Let m be b(-11). Let x(p) = 17*p - 8. Let l(u) = 222*u - 105. Let q(i) = m*l(i) - 27*x(i). Is q(-10) a multiple of 26?
True
Let a = 2449 - 3607. Let q = a + 816. Let f = -156 - q. Is 23 a factor of f?
False
Is (-24 + -27 + -590)/(3/(-132)) a multiple of 13?
False
Suppose x - 14 + 16 = 0. Let j be x/(-4) - ((-15)/6 + -3). Suppose 0 = 5*g + 5*f - 710, 2*f = -3*g + j*f + 391. Is g a multiple of 14?
False
Let q(o) = o**2 - 10*o + 10. Let p be q(8). Is (3/p)/((-10)/120) even?
True
Is 72 a factor of ((-191278)/(-236))/(1/2)?
False
Does 30 divide 2/(-3) + 258124/141?
True
Let y(n) = -3*n + 40. Let s be y(16). Let v be (s/10)/((-10)/(-100)). Let p = v + 75. Does 42 divide p?
False
Suppose 0 = 3*z, y - 2101 + 453 = -z. Let w = -548 + y. Does 22 divide w?
True
Let b = 2935 - 2435. Is b a multiple of 22?
False
Let b = 6652 - 6281. Is 2 a factor of b?
False
Let o = -373 - 5. Let x = o - -897. Does 23 divide x?
False
Let s(c) = c**3 + 9*c**2 + 2*c + 20. Suppose 4*v + 41 = -0*v - i, 3*v - i = -22. Let w be s(v). Let r(u) = 35*u**2 - 7*u + 6. Is 7 a factor of r(w)?
False
Suppose -5*a + 3*h = -104037, h + 83234 = 4*a + 3*h. Suppose 7*j - 24*j + a = 0. Is 102 a factor of j?
True
Let f = -2859 + 2850. Let h(p) = p**2 - p + 23. Let v(x) = -2*x**2 + 2*x - 24. Let d(j) = -3*h(j) - 2*v(j). Is 15 a factor of d(f)?
False
Let m be (((-3)/2)/1)/(3/30). Let v be (-1587)/(-6) - (-2 - m/6). Suppose -2*d + v = 4*k, -4*d + 5*k + 121 + 368 = 0. Is d a multiple of 19?
False
Let a = 499 + 468. Is a a multiple of 72?
False
Let o be ((-4)/6)/(12/(-18)). Let u(y) = -28*y**2 + 2*y - 7. Let j(i) = 27*i**2 - 2*i + 5. Let n(f) = 6*j(f) + 4*u(f). Does 11 divide n(o)?
False
Let x = -1 + 2. Let y = 3423 + -3439. Is 8 a factor of x/((1 + -2)/y)?
True
Suppose -3478*u + 3460*u = -8154. Is 14 a factor of u?
False
Let p = 78 - 75. Suppose 10*j = -p*j - 1560. Let r = j - -397. Does 24 divide r?
False
Suppose -o + 7*o = 96. Suppose -o*z + 5089 = 1457. Is 14 a factor of z?
False
Let a be (0/(6/2) + 2)*116. Suppose -5*p = -163 - a. Does 45 divide p?
False
Suppose 0 = -2*o + 2*y + 10 + 4, 0 = 2*o + 3*y - 14. Let f be (o - 3) + -3 + -1. Suppose -h - 2 + 112 = f. Is h a multiple of 11?
True
Suppose -2*z + 2920 = -5*j, -340 - 2580 = 5*j - 3*z. Let r = -89 - j. Suppose 0*g + r = 5*g. Does 10 divide g?
False
Let z(u) = u**3 + 10*u**2 - 2*u - 5. Let n be z(-9). Let s = n - 216. Let v = s + 267. Is 29 a factor of v?
True
Suppose -20*u + 5*u - 30 = 0. Is ((-540)/9)/(1*(1 + u)) a multiple of 11?
False
Let d be 58/7 - 18/63. Suppose -d*z = -x - 10*z + 91, -2*x + 2*z + 200 = 0. Is 44 a factor of x?
False
Suppose 0 = -8*q + 10*q - 6. Is (924/35)/((-1)/(-15)*q) a multiple of 3?
True
Is 145 a factor of (-783)/(((-55)/(-110))/(5/(-2)))?
True
Let y(s) = -3 + 5 - 4 - 6*s + s**2. Let k(f) = 2*f**3 + 30*f**2 - 2*f - 21. Let q be k(-15). Is y(q) a multiple of 5?
True
Let h(l) = -2*l**3 - 5*l**2 - 8*l - 15. Let k be h(-2). Let a(c) = 81*c**2 + 43*c + 120. Is 60 a factor of a(k)?
True
Let u = 119826 - 61103. Is u a multiple of 41?
False
Let s(h) = -h**2 - h + 132. Suppose 0 = -0*z - 8*z - 0*z. Let b be s(z). Suppose 3*d - 564 = -b. Does 12 divide d?
True
Let a be (-1 + 26/20)/((-5)/(-50)). Let q(p) = 3*p + 1 + 3*p + 4. Is 4 a factor of q(a)?
False
Let z(c) = 2*c - 2. Let y(p) = -32*p + 22. Let q(b) = -2*y(b) + 2*z(b). Is 28 a factor of q(8)?
False
Let w(z) = z**2 - z - 11. Let x be w(0). Let r(a) = a**3 + 22*a**2 - 47*a + 29. Let n be r(-24). Let k = n - x. Is k a multiple of 16?
True
Suppose 4337*k = 4357*k - 83820. Does 11 divide k?
True
Does 7 divide (-3540222)/(-441) - (-5)/(-7) - 5?
True
Suppose 2*w - 265 = w. Suppose 0 = k + 13 - w. Is 12 a factor of k?
True
Let c(a) = 6*a - 15. Suppose v - 198 = -2*v. Let j = v + -60. Does 21 divide c(j)?
True
Suppose -5*j + 606 = -u - u, 0 = 5*u - 3*j + 1553. Let k = -193 - u. Suppose 10*w - 12*w + k = 0. Is 15 a factor of w?
True
Let z(r) = -r**3 + 39*r**2 - 107*r - 12. Does 12 divide z(8)?
True
Let z(h) = 2*h**2 - 3*h + 5. Suppose 0 = -5*u - 1 - 4. Let x(n) = 6*n**3 - n**2 - 2*n - 2. Let g be x(u). Is 27 a factor of z(g)?
False
Is 14 a factor of (5 + (-280)/(-25))/((-6)/(-140))?
True
Is 47 a factor of 11677 + 1 + (-9)/72*56?
False
Suppose 14*r = -5*r - 13167. Let h = 987 + r. Is 14 a factor of h?
True
Let k(a) = 115*a**2 + 47*a - 261. Is k(5) a multiple of 37?
True
Suppose -2*t - 22 = -2*o, 0 = 60*o - 58*o + t - 25. Let y = 18 - 11. Suppose y*z + 160 = o*z. Does 8 divide z?
True
Let b = -9946 + 14098. Is b a multiple of 7?
False
Let z(d) = d**3 - 17*d**2 - 19*d + 37. Let h be z(16). Let t = 983 + h. Is t a multiple of 56?
False
Let r be (4 + -6)*491/(-2). Suppose 0 = 2*a + f - r, 2*a = 4*f + 87 + 399. Suppose -a = -5*y - 5*j, 0 = -3*y - y - 2*j + 188. Is y a multiple of 9?
True
Suppose q = -3*p - 466 + 1883, -q + 1422 = 2*p. Does 96 divide q?
False
Let k(q) = 16 - 10*q - 2 - 1. Let w be k(-8). Suppose -n + w = -94. Does 23 divide n?
False
Let o be 1/6 - 34/(-12). Suppose 2*k = -o*k + 3*k. Suppose k*g - 236 = -2*g. Is 14 a factor of g?
False
Let j(a) = a**3 - 2*a**2 + 2*a + 5. Let f(t) = -5*t**3 + 9*t**2 - 8*t - 21. Let z = -60 + 51. Let v(s) = z*j(s) - 2*f(s). Does 7 divide v(5)?
True
Let n(o) = -34*o**3 + o**2 + 14*o - 44. Is n(-6) a multiple of 20?
False
Suppose 6*a - 10*a + 12 = 0. Suppose 0 = c + a*c - 104. Suppose 2*r - 108 - c = -n, -5*n - r + 634 = 0. Does 33 divide n?
False
Let d = -9563 - -11621. Is d a multiple of 42?
True
Let u = 30453 - 18103. Is u a multiple of 65?
True
Suppose -4*i + i = 0, -5*o - 2*i + 25 = 0. Suppose 4*m - 1456 = -4*d, -16*d + 20*d - 1456 = -o*m. Does 52 divide d?
True
Suppose -2*u + 7520 = 4*t, -15*t + 144 = -33*t. Does 161 divide u?
False
Let h(z) = 58*z**2 - 85*z + 882. Does 24 divide h(10)?
True
Let u(a) be the second derivative of a**3/3 + 18*a**2 - 36*a. Let w be u(-13). Suppose -w*v + 490 = -0*v. Does 2 divide v?
False
Let x(z) = z**2 + 26*z - 18. Let o be x(20). Let m = 1274 - o. Is 31 a factor of m?
True
Suppose 5*t + 475 - 1250 = 0. Let g = 99 - t. Does 5 divide 8/g + (-246)/(-7)?
True
Let v(b) = 5*b + 204. Suppose 0 = 33*z + 18 + 180. Does 18 divide v(z)?
False
Let y = -121 - -129. Let o(r) = -38*r + 12. Let l be o(y). Is 11 a factor of (-9 - l) + (6 - 3 - 1)?
False
Suppose -23*w + 18*w = -760. Suppose 4*s - 452 = -w. Suppose -4*g + 5*j = -s, 5*j = -4*g + j + 120. Does 4 divide g?
False
Let b be (-4)/(-14) - 184/56 - -46. Is 4 a factor of 3 + (-30)/5 + b?
True
Let b = 6 - 6. Suppose -4*r - 108 + 120 = b. Suppose 3*o = -f + 281, r*o + f + 2*f = 291. Does 8 divide o?
False
Let a(n) = -81*n**2 - 99*n**2 + 4 + 130*n**2 + 12*n + 2*n**3 + 0 + 0*n. Suppose 0 = -5*x + 104 + 21. Does 15 divide a(x)?
False
Suppose -50*v - 40 = -58*v. Suppose -5*k + 2225 = v*i, 0 = -17*i + 12*i - 2*k + 2225. Is i a multiple of 65?
False
Suppose 5*h - 10 = -0*h, c = 4*h + 48. Let z(d) = -d**3 - 4*d**2 + 3*d + 18. Let g be z(-8). Suppose v = -2*k + c, -4*k = -5*v + k + g. Is v a multiple of 13?
True
Let j(n) = -115*n + 16. Let d be (-2)/(-13) + (240/(-39))/1. Let m be j(d). Suppose -17*c - 247 = -m. Is c a multiple of 2?
False
Let c be (5/(-3))/((-2)/6) + -10. Let a(p)