 Is o(p) a multiple of 3?
False
Suppose 0 = -5*k, 4*q = -k + 5*k + 9560. Let u be (52/(-65))/((-4)/q). Let p = u + -303. Is 25 a factor of p?
True
Let b(s) = -12*s + 79. Let t be b(7). Let h be (1172 - 2)*(-44)/12. Is t - h/35 - 4/7 a multiple of 39?
True
Suppose 3*r - i - 15221 = 0, -3*r + 4*i - 5435 = -20662. Is 57 a factor of r?
True
Does 56 divide ((-1)/(-6) - (-1587)/(-828))*-672?
True
Is 17 a factor of (-6 + 160/24)*(-21420)/(-8)?
True
Let c(q) = -23*q**2 - 10*q + 31. Let m be c(5). Is 61 a factor of 2 - (-10)/((-60)/m)?
False
Let c(w) = w + 4. Let v be (-68)/28 - (22/14 - 2). Let k be c(v). Does 10 divide (42/(-12) - k)/(2/(-40))?
True
Suppose 5*c - 27 - 6 = -2*u, -4*c - u + 24 = 0. Suppose 3*m - 4*m + c*g = -373, 5*m - g = 1841. Is 30 a factor of m?
False
Is 21492/(-48)*-2*2 a multiple of 12?
False
Let o(l) = 7*l**2 - 30*l + 10. Let w be ((-117)/(-52))/(6*1/16). Is 59 a factor of o(w)?
False
Let x = 3325 - -675. Is 125 a factor of x?
True
Let y be (-15 + -1)*66/(-8). Let f = y - 105. Is 3 a factor of f?
True
Let l(g) = -2*g**2 - 2*g + 2. Suppose 4*b + 4*a = -0*b + 8, -4*b = -5*a + 10. Let m be l(b). Suppose -2*t + 400 = 5*c, 0 = -c - m*t + 69 + 3. Does 14 divide c?
False
Let l(j) = 5*j**2 + 137*j - 146. Is 20 a factor of l(-42)?
True
Let i be 3/2 - (-308)/88. Suppose 0 = 5*q + 3*l - 3318, -i*l + 119 - 777 = -q. Does 17 divide q?
True
Suppose 5*w + 5*s = 72385, -3*w + 57*s - 59*s = -43430. Is w a multiple of 28?
True
Suppose 2*d = f + 182 + 4, 5*f + 20 = 0. Suppose -u - 3*g + 15 = -0*u, 0 = u - 2*g + 10. Suppose u*x + d = x. Is x a multiple of 13?
True
Suppose 3*n + 6*n = 1134. Suppose 3*s - 7*s = 12, -5*l - 3*s = -616. Suppose 3*f - l = -o + n, 0 = -4*o + 4*f + 1068. Is o a multiple of 35?
False
Let i = -1387 + 2332. Suppose -i + 108 = -9*h. Is 31 a factor of h?
True
Let r be -2*3/12*-6 + 21. Suppose 9*w - 15*w + r = 0. Is (-290 - 1)*w/(-12) a multiple of 32?
False
Suppose 4*k - 174 - 602 = 5*p, -2*k - 4*p + 414 = 0. Suppose 3*y = -3*n + 897, -3*y = -3*n + 728 + k. Does 38 divide n?
True
Suppose -2*x + 7714 = -4*q, 0*x + 4*q - 19313 = -5*x. Is x a multiple of 9?
True
Let s = 193 - 188. Suppose 0 = -g + s*g - 1652. Does 10 divide g?
False
Let h(i) = -65 - 5*i**3 + 13*i - 4*i - 2*i + 14*i**2 + 6*i**3 + 12. Let s = -13 + 0. Is 5 a factor of h(s)?
True
Let c = -200 - -311. Let d(n) = -n**2 - 16*n - 22. Let i be d(-19). Let s = i + c. Is s a multiple of 4?
True
Let i = 152 + -132. Is (288/i)/((-14)/(-245)) a multiple of 12?
True
Let z = -4630 + 13323. Is z a multiple of 3?
False
Let h = 31870 - 19594. Is h a multiple of 44?
True
Suppose 3*v = -3*j - 93, 7*v - 2*v + 155 = -3*j. Let r = v - -91. Suppose 0 = -2*u - d + r + 43, 0 = -u + 2*d + 54. Is u a multiple of 8?
False
Suppose -3*x + 108 = -0*x. Suppose 150 = 48*b - 53*b + 3*k, 5*b + 150 = 2*k. Is (1/5 + x/b)*-4 a multiple of 4?
True
Suppose 39*o - 61*o + 11022 = 0. Is 3 a factor of o?
True
Let o(j) = j + 8. Let g be -5 + 2/1 + 8. Suppose 0 = g*a - 65 + 5. Is 4 a factor of o(a)?
True
Suppose -14 + 50 = 9*g. Suppose 2*r - 354 - 133 = -5*z, -3*r + 748 = g*z. Is 4 a factor of r?
True
Let c(z) = 105*z - 128. Suppose 15*l - 213 = -78. Is c(l) a multiple of 8?
False
Is (-26)/(0 + -2 + 147/1120*15) a multiple of 3?
False
Suppose 0 = -5*c + 3487 + 5153. Let o be -2 - (-11 + (-6)/3). Suppose -o*s + c = -2*s. Does 12 divide s?
True
Suppose 4*p - 936 = -y, 3*p - 2 = 1. Suppose -39*s = -36*s - m - 2716, -5*m + y = s. Does 28 divide s?
False
Suppose -6*f = 8*f - 70. Suppose 5*x + 241 = z, f*z - 3*z - 500 = 4*x. Is z a multiple of 17?
False
Suppose 3*l - 16 = 11. Let x be (17/(-51))/(((-1)/l)/1). Suppose 2*t = -o + 5*o + 200, t = x*o + 105. Is 10 a factor of t?
True
Is 313 a factor of -9 + 25768*(88/(-16) + 7)?
False
Let v be (4/(-3))/((-30)/405). Let l be (-15)/v*(-36)/6. Suppose j - 168 = -3*q, -8*q + l*j + 112 = -6*q. Is q a multiple of 7?
True
Let t = 86 + -90. Let m be 1 + 60/t*2/3. Does 25 divide 75*(2 - 0 - 3/m)?
True
Suppose -6*w + 5*w - 102 = -4*a, 5*w = -a - 552. Let n = w + 105. Does 7 divide ((-43)/n)/(1/5)?
False
Let h = 15 + -7. Suppose -5*t - 6 = -h*t, 0 = 2*u + t - 8. Suppose u*f - 9 = 0, 7*v = 4*v + 5*f + 237. Does 6 divide v?
True
Suppose 0 = 4*h - v - 1851, h + 7*v - 465 = 5*v. Is h a multiple of 9?
False
Suppose 56*b - 340038 = -33*b + 128992. Does 170 divide b?
True
Let p(i) be the third derivative of i**6/120 + 13*i**5/60 + 5*i**4/12 + 3*i**3/2 - 132*i**2. Does 2 divide p(-12)?
False
Let f be (-8 + -1)*(4 + 4). Let y be ((-4)/(-12))/(-2 - 146/f). Let j(q) = 7*q - 40. Does 9 divide j(y)?
False
Let a(q) = 18*q**2 - 35 + 20*q - 4 - 51. Is 34 a factor of a(6)?
False
Suppose -12*d = -11*d - 8. Let y(j) = j**3 - 9*j**2 + 11*j - 14. Let o be y(d). Is 170/(-4)*(-12)/o a multiple of 5?
False
Suppose -18544 = -3*k - k + 3*x, k = -x + 4643. Does 30 divide k?
False
Let u = 275 + -275. Let s(t) be the first derivative of -3*t**2/2 + 8*t + 1. Is 8 a factor of s(u)?
True
Suppose -h + 182 = -4*r, -4*r = -4*h + 510 + 194. Suppose 0 = -3*j + 4*l + 247, 8*l = 2*j + 10*l - h. Is j a multiple of 17?
True
Suppose -27*h = -28*h - 2. Does 8 divide 6 + 216 + h + 5?
False
Let x = 9496 + -5350. Is x a multiple of 4?
False
Let q(n) = -n**3 - 9*n**2 - 7*n + 5. Let j be q(-8). Let m(z) = 17*z**2 + 3*z - 1. Let w be m(j). Suppose -w = -3*g - 53. Is g a multiple of 4?
False
Let c = 34220 - -48576. Is 14 a factor of c?
True
Let d = -4844 - -14028. Is 82 a factor of d?
True
Let p(d) be the first derivative of 30*d + 7/2*d**2 + 8. Does 18 divide p(6)?
True
Let p(o) = 3756*o**2 + 11*o - 14. Does 35 divide p(3)?
False
Suppose 4*d - 565 = 1995. Let o = -444 + d. Does 16 divide o?
False
Let v(i) = -i**3 + 3*i**2 + 6*i. Let h be v(6). Let k = h + 91. Suppose -3*t - 1 + k = 0. Is 4 a factor of t?
False
Let l = -82 + 72. Let n be (24/l)/(-2*(-3)/(-40)). Suppose n*g = 13*g + 18. Is 2 a factor of g?
True
Let o(t) = 2*t**2 - 2*t - 7. Let k be o(3). Suppose -2090 = -k*b + 4*p, -685 = 3*b - 4*p - 1947. Does 23 divide b?
True
Let t be 7 - ((-64)/48 - (-10)/3). Does 51 divide 2674/t - 256/320?
False
Let v(o) = -2*o**2 + 4*o - 10. Let y be v(5). Let c be (108/(-16))/(3/y). Suppose -c = -n - 30. Does 15 divide n?
True
Let x = 40 + -69. Let i = x - -46. Let w(o) = 3*o + 15. Does 11 divide w(i)?
True
Let w be (-1)/((-3)/(-15)*-1). Suppose -3*y + 2*y + 27 = 2*o, -w*o = 3*y - 68. Is ((-31)/(-2))/(o/52) a multiple of 6?
False
Let d = 46012 - 22542. Is 210 a factor of d?
False
Suppose 13*p = 3*p + 5500. Let z = -345 + p. Does 11 divide 8/5*z/2?
False
Let a(t) = t**3 - 26*t**2 - 49*t - 42. Let d be 1*35 + -2 - (18 - 13). Is 22 a factor of a(d)?
True
Let c = 206 - 203. Suppose c*y + 3*f - 72 = 0, 9*y - 14*y = f - 132. Is y a multiple of 2?
False
Suppose 17 - 13 = -4*n. Let g be n + ((-58)/4)/((-3)/(-6)). Is 14 a factor of (-26)/30 - -1 - 2336/g?
False
Let f = -20 + 22. Suppose -59 = -f*w - 51. Suppose 2*a - 3*j - 27 = -8, -w*a + 14 = 2*j. Does 2 divide a?
False
Let f be 0*6/(-18) + 2*1. Let x be f + 0 - 3 - -23. Let a(b) = -b**2 + 21*b + 40. Is a(x) a multiple of 6?
True
Let b = -3104 + 4105. Does 91 divide b?
True
Suppose -32*x + 495586 = 59*x. Is x a multiple of 14?
True
Let j(k) = 86*k + 2052. Does 36 divide j(0)?
True
Let u(g) = 529*g - 1847. Does 45 divide u(8)?
True
Suppose -10*i + 78 = -22. Is 15 a factor of i/(-5) - 1*-373?
False
Does 13 divide ((-319305)/(-45))/((-84)/(-36))?
False
Let y be 0 + -3 + 8 + -880. Let c = -485 - y. Is 39 a factor of c?
True
Let i(q) = -2*q**3 - 4*q**2 - 2*q + 2. Let h be i(-4). Let v = -1874 + 1822. Let l = h + v. Is l a multiple of 4?
False
Let h = -8538 - -9308. Is h a multiple of 7?
True
Let q be ((-3)/2)/((-12)/224). Let r be 54*(-2)/(-14) - (-8)/q. Does 22 divide (31 + (-5 - -4))*r/5?
False
Let s = -1617 + 16434. Is s a multiple of 44?
False
Suppose -84*k + 81*k = -5*d + 70401, 3*k + 21 = 0. Is 92 a factor of d?
True
Let j(q) = 767*q**3 - 1529*q**3 - 52*q + 761*q**3 - 26*q**2 + 2. Does 7 divide j(-24)?
True
Let q(k) = -k + 1. Let v(l) = l**2 - 28*l + 10. Let m(i) = 4*q(i) - v(i). Is 61 a factor of m(8)?
True
Is 35 a factor of -8 + (-18)/10 + 136850/125?
True
Let o be 0/((-5)/(-5) + -4). Suppose o = 14*p - 495 - 821. Is p a multiple of 20?
False
Suppose u + 461 = 462. Does 26 divide u/2 + 2492