 z?
True
Is 24/(-5)*4495160/(-1308) a multiple of 16?
True
Let q(p) = 2*p**3 - 57*p**2 + 57*p - 11. Let j be q(29). Let f = j - 1295. Does 66 divide f?
True
Let w be 6/8 + (-2 - (-303)/(-4)). Let n be 22/w - (-32)/14. Suppose -348 = -4*i + 2*q - 7*q, n*i + 2*q = 174. Is i a multiple of 9?
False
Let p = 812 - 132. Suppose -5*s = -2*t - s + p, -5*t - 3*s = -1765. Does 10 divide t?
True
Suppose 0*x = -6*x + 12. Suppose x*g - 2 + 2 = 0. Let z = g - -9. Is 2 a factor of z?
False
Let l = -5 - -13. Let i = 959 - 713. Suppose -l*b - i = -11*b. Does 34 divide b?
False
Let f = -18739 - -44726. Is 148 a factor of f?
False
Let a = -8614 - -47017. Is a a multiple of 51?
True
Is 56 a factor of (-22)/4*(19 + (-7590)/22)?
False
Does 22 divide (-305)/(-55) + -5 - 788025/(-209)?
False
Suppose -5*r - 8 - 7 = 0, -a - r - 1 = 0. Is 13 a factor of ((-3)/a + (-203)/(-14))*21?
True
Suppose 0*g = 3*g + 4*l - 8, g + 2*l - 4 = 0. Suppose g = n - 47 - 71. Let p = -41 + n. Does 50 divide p?
False
Suppose 0 = -2*h + 3*w + 602, 41*w - 43*w - 301 = -h. Let b(p) = -p - 1. Let o be b(-3). Suppose h = 4*r - 2*r + j, -o*j = 5*r - 752. Is 25 a factor of r?
True
Is 25*83*((-24570)/(-225))/26 a multiple of 105?
True
Let s(q) = q**3 + 3*q**2 + 2*q - 2. Let x be s(-3). Let j be 6/(-24) + (-738)/x. Let m = -58 + j. Is m a multiple of 21?
False
Suppose 9*y = 14*y - 15. Suppose 0 = 4*m, 0 = -i + 2*m + y + 2. Suppose -i*v - 3*o + 122 = 0, 2*v - o - 20 = 31. Does 2 divide v?
False
Let a(m) = -m**3 - 68*m**2 + 106*m - 191. Is a(-70) a multiple of 14?
False
Let w be (-2 + (-7068)/15)/(14/(-70)). Suppose 0 = 3*q + 2*v - w, q + 0*q = 5*v + 817. Is 24 a factor of q?
True
Let w be 175 - (24/(-15) + 2/(-5)). Is 26 a factor of 18 - 12 - (1 - w)?
True
Let r(i) = i**3 + 12*i**2 - 13*i + 6. Let c be r(-13). Let n be ((-46)/c - -5)*(-42)/8. Let k(z) = z**2 - 9*z + 17. Does 23 divide k(n)?
False
Let i = -191 - -88. Let v = i + 335. Does 26 divide v?
False
Let i = -172705 + 103105. Is 4/(-22) - i/319 a multiple of 23?
False
Suppose -195198 - 528381 + 104113 = -226*h. Is h a multiple of 13?
False
Let r = 298 - 292. Suppose 10880 = -r*w + 40*w. Is 32 a factor of w?
True
Suppose -11989 + 129633 = 32*l - 377204. Does 185 divide l?
False
Let w(k) = 618*k + 740. Does 14 divide w(5)?
False
Let q be ((4 - 0)/(-20))/((-1)/35). Suppose -15 = 5*w, 0 = 3*p + 5*w - q*w - 126. Is p a multiple of 2?
True
Let j(l) = -l + 0*l + 3481 - 3401. Is 4 a factor of j(-11)?
False
Let h = -371 + 373. Suppose -w + 130 = -h*z - 377, -5*z - 1013 = -2*w. Is w a multiple of 24?
False
Let q be 82/1 - (-1 - -3) - -4. Suppose q = 2*z - b, -5*b = -4*z - 2*b + 170. Suppose -z*j = -42*j + 36. Does 4 divide j?
True
Is (-224)/98 + 558696/42 a multiple of 28?
True
Let s be (4 + -4)/2 - -100. Suppose 58*b = 53*b + s. Suppose 4*i = -b, 0 = -2*h + 2*i + 71 - 1. Is 7 a factor of h?
False
Suppose 0 = 4*p + 4, 5*p - 26 = 3*o + p. Let s(y) = -2*y - 163. Let c(w) = -10. Let z(d) = -34*c(d) + 2*s(d). Is z(o) a multiple of 21?
False
Let g = -179 - -149. Is (-2)/10 - (2796/g - -7) even?
True
Let k = 12190 - 8140. Is 9 a factor of k?
True
Suppose -2*k - 4*l + 24 = 0, 3*l + 93 = 4*k + 23. Suppose -21*p + 20 = -k*p. Suppose z + 3*d = p*d + 91, 366 = 4*z - 5*d. Is 10 a factor of z?
False
Let x(v) = -v**2 - 5*v + 19. Let d be x(-7). Suppose -138 = d*w - 1433. Suppose 0 = 4*q - 11*q + w. Is 8 a factor of q?
False
Let z(d) = 1. Let c(w) = -w**2 + 13*w - 2. Suppose 2*q + 5*u = 2*u - 7, 0 = 4*q + u - 1. Let n(y) = q*c(y) - z(y). Does 8 divide n(9)?
False
Suppose 4*a - 5 = 11. Suppose -y = -3*s - 3, a*s - 3 = -4*y + 3*y. Suppose -4*z + y*o - 3 = 0, 4*z = 2*o + 3*o - 13. Does 2 divide z?
False
Suppose t + 3*t - 228 = 2*l, -5*t + 5*l + 290 = 0. Let g(b) = -b**3 + b**2 + 18*b + 2. Let q be g(-4). Suppose q*d - 174 = t. Is 9 a factor of d?
False
Let n(j) = 278*j**2 - 8*j + 6. Suppose 6 = -6*u + 7*u + d, -5*u = -d. Is 49 a factor of n(u)?
False
Let x(d) = d - 1. Let o(b) = 56*b + 15. Let w(l) = o(l) - 6*x(l). Let h be w(6). Suppose 0*v - q = 4*v - h, -4*q + 231 = 3*v. Is 26 a factor of v?
False
Suppose 4*z - 3 = 3*z, o = -z + 3. Suppose -5*m + o*m - 15 = 0. Is 32 - 2 - m/3*1 a multiple of 5?
False
Suppose 0 = -3*l + 6*l + 9. Is 25 a factor of (-8)/28 + (-12365)/(-35) + l?
True
Suppose -39*w - 103674 - 230270 = -208*w. Does 4 divide w?
True
Suppose 39*k - 32*k - 35 = 0. Suppose 0 = -11*d + k*d + 90. Does 21 divide (1 + -4)/((d/920)/(-1))?
False
Let v(a) = a**3 - 2*a**2 - 12*a + 10. Let i be v(-6). Let u = -170 - i. Is u a multiple of 2?
True
Let d = -5379 - -8551. Does 6 divide d?
False
Suppose 0 = 60*d + 226*d - 1511510. Does 15 divide d?
False
Let g(s) = 201*s + 2092. Is 5 a factor of g(-2)?
True
Let d(c) = -c**3 - 27*c**2 - 33*c + 64. Let r = -186 - -160. Does 19 divide d(r)?
False
Let u be -3*-3*35/63. Let y = u - -51. Is y a multiple of 37?
False
Let q(n) = -n**2 + 2*n + 22. Let i be q(7). Let z(t) = -t**3 - 14*t**2 - 15*t + 4. Is 15 a factor of z(i)?
True
Suppose 4*q + 3*w - 175 = -3739, 4*q + 3564 = 2*w. Let i = -771 - q. Is 12 a factor of i?
True
Let w(h) = -h**2 + 15*h - 58. Let f be w(7). Let t(u) = -126*u - 52. Is t(f) a multiple of 10?
True
Suppose -y = -147 + 312. Let v = y - -450. Is v a multiple of 6?
False
Suppose 32*w - 24*w = 28*w - 12320. Is 44 a factor of w?
True
Suppose 23839 = 5*o - g + 2308, 2*g = 3*o - 12913. Does 72 divide o?
False
Is 2838564/81 + (-20)/1 a multiple of 88?
True
Let p(r) = 35*r**3 - 8*r**2 - 10*r + 99. Is p(5) a multiple of 48?
True
Suppose 5*s + 5*g = 181458 + 5022, 0 = -6*s - 5*g + 223780. Does 172 divide s?
False
Let d(w) = 3*w**2 - 6*w + 4. Let o be d(-3). Let i = o + -42. Is ((-1)/(-6))/(i/28)*57 a multiple of 38?
True
Let w(b) = -b**2 + 12*b + 16. Let t be w(12). Let m(f) = -f**2 + 15*f + 18. Let z be m(t). Suppose 0*r + 76 = l - z*r, -4*l = -r - 283. Is 14 a factor of l?
True
Let w(o) = -o - 10. Let s be w(-10). Suppose -29*i + 34*i = s. Suppose -15*a + 874 - 244 = i. Is 6 a factor of a?
True
Let y(s) = 306*s + 809. Is y(12) a multiple of 6?
False
Let a(i) = 369*i - 13186. Does 17 divide a(144)?
True
Suppose -17*h + 28707 = -103765 + 13251. Is 24 a factor of h?
False
Let r(x) = -x - 3. Let l be r(0). Let h be ((-2)/(-4) + -2)/(l/(-6)). Is (-2 - -51) + (-2 - h)*0 a multiple of 7?
True
Suppose 15*i - 10728 = 9402. Is i a multiple of 22?
True
Let w be (-1)/(-3)*(40 + 2). Let p(k) = k - 9. Let j be p(16). Suppose w*c - 2359 + j = 0. Is c a multiple of 12?
True
Suppose -5*p - 8*h = -5*h - 25, 2*h = 10. Suppose d = 4*n - 63 - 45, 0 = -p*n - 2*d + 64. Is 2 a factor of n?
True
Let s(f) = -6*f + 10*f - 157 - 11*f - 29*f - 7*f. Is s(-7) a multiple of 12?
True
Suppose 26*g - 180721 = -4*z + 29*g, -g = -3*z + 135532. Is z a multiple of 325?
True
Let k(b) = -8*b**3 - 2*b - 4. Let o be k(-2). Suppose -3*u - u + o = 0. Suppose 0 = u*f - 10*f - 138. Is f a multiple of 10?
False
Let r be 20*1/(-8)*-2. Let h(g) = -10 - r + 18*g - 12*g + g**2. Does 16 divide h(8)?
False
Let p be ((-5)/(-10))/(8/48). Suppose p*m = -2*n + 1259, 5*m - 2099 = 16*n - 19*n. Is 66 a factor of m?
False
Suppose 62406 = 3*m + 5*i, -4*m + 110*i + 83144 = 106*i. Is m a multiple of 46?
True
Let n be ((-17086)/(-2))/(6*(-6)/(-36)). Suppose 17*x = 2473 + n. Does 27 divide x?
True
Let c = 6264 - -3037. Is c a multiple of 71?
True
Suppose -10 + 22 = 4*c. Suppose 0 = 3*b + c - 27. Let j(d) = 2*d**2 + 11*d - 26. Does 19 divide j(b)?
True
Suppose -2*i = p + 522, i = -4*p + 9*p + 2632. Let a = 736 + p. Does 15 divide a?
True
Let m be (-4 - 12/(-3))/2. Let b be 9*(-2 + m) - (7 + -4). Let i = 45 - b. Does 6 divide i?
True
Let h(n) = 489*n**2 + 2237*n - 16. Does 120 divide h(11)?
True
Suppose -10 = -144*s + 142*s. Suppose 3*l + 581 = 2*d, l + 748 - 2243 = -s*d. Is 10 a factor of d?
False
Suppose -56*o - 6*o + 141213 = -446175. Does 8 divide o?
False
Let r be (1 + 1)*13290/60. Suppose 1797 = 2*f + r. Is 23 a factor of f?
False
Suppose -221*x + 695765 = -439*x + 253*x. Is 20 a factor of x?
False
Let k = -3919 - -7186. Suppose -153*p + 142*p = -k. Is p a multiple of 27?
True
Let a(l) = l**3 + 32*l**2 + 57*l - 85. Let w be a(-30). Suppose -4*b + 5*z = -709, -w*b + 3*z = -2*b - 528. Does 9 divide b?
True
Suppose 0*b = 2*b + k - 5, b - 4 = k. Let f(g) = 14*g**2 + 3*g - 6. Let a be 