 of p?
True
Suppose -10*j + 8*j = u - 44279, 5*j = u + 110687. Does 12 divide j?
False
Let l(z) be the second derivative of -2*z**3/3 - 5*z**2/2 + 11*z. Let m be l(-2). Suppose -1404 = m*x - 12*x. Does 38 divide x?
False
Suppose -4*k = 9 - 17. Suppose k*m + 14*m = 6752. Does 61 divide m?
False
Let b = 38251 + 13710. Does 42 divide b?
False
Let l(d) = 2*d + 22 + 7*d - 10*d - 9. Let a be l(13). Suppose 2*i = -a*i + 198. Does 9 divide i?
True
Suppose 2*x - 2260 = 7310. Does 11 divide x?
True
Let t(q) = 0*q - 3*q - 28*q**3 + 22*q**3 + q**2. Let f be t(-2). Let a = -35 + f. Does 23 divide a?
True
Is (8 - -278)*(16268/728 - (-4)/26) a multiple of 165?
True
Let u(l) = -2*l + 18. Let o be u(7). Suppose -o*i + 6 = -2*i. Suppose -2*k = -i*k + 4. Is k a multiple of 2?
True
Suppose 134809 = 40*t - 12618 - 90573. Does 14 divide t?
True
Let i(p) = 28*p**2 - 16*p + 66. Let a be i(17). Suppose -12*s = -a - 826. Does 49 divide s?
False
Let j be (2 + -1)/((-6)/(-30)). Let d be -4 + ((-9)/(-2) - j/10). Suppose -w + 305 + 17 = d. Does 16 divide w?
False
Let k = -268 + 141. Let g = k + 248. Let b = 4 + g. Is 15 a factor of b?
False
Suppose -91 + 88 = -w. Suppose -186 = -b - w*k, -b + 33 = k - 157. Is 38 a factor of b?
False
Let p = -469 + -213. Let o = -402 - p. Suppose -13*r + o = -58. Is 26 a factor of r?
True
Suppose -29*v + 1956 = 3*p - 23*v, 1986 = 3*p - 4*v. Is 47 a factor of p?
True
Is (-20)/60*9 - -13208 a multiple of 6?
False
Let c = 262 - 194. Suppose -c - 76 = -2*o. Is 8 a factor of o?
True
Suppose -68 = -0*a + 4*a. Let q = a - -15. Is (-13)/q*6*1/3 a multiple of 4?
False
Let l(s) = -120*s - 4770. Is l(-48) a multiple of 10?
True
Let o(w) = -w**3 + 13*w**2 + w + 27. Let p be 3 + (-76)/(-10) - 21/35. Does 22 divide o(p)?
False
Let z = -14 + 29. Let o = 264 - 184. Suppose z*l - o = 13*l. Does 6 divide l?
False
Suppose 356 = 7*a - 2563. Suppose 133 = 5*d - a. Is d a multiple of 5?
True
Let v = 42 + -57. Let g be -4 + (-18)/v*5. Let t = g - -57. Is t a multiple of 16?
False
Does 24 divide ((-708)/24)/((-15)/1470)?
False
Suppose 4*j = -119 + 975. Let z = j - 30. Let x = 284 - z. Does 10 divide x?
True
Let o be 17/(-51) - (-1)/3. Is 1/(-3) + o + (-223100)/(-582) a multiple of 28?
False
Suppose -3*r + 5*t + 110 = 0, -2*t + 3 + 1 = 0. Let z be (3/24)/(5/r). Is (2*47)/(z - -4 - 3) a multiple of 5?
False
Let k(r) = -r**3 + 3*r**2 + 3. Let b be k(0). Suppose 0 = -4*h - 3*i - 118 + 972, 4*h - 866 = b*i. Is h a multiple of 23?
False
Suppose 838 = 2*n + 2*i - 2010, 2*i = 6. Suppose -8*w - n = -6485. Suppose a + 2*s = 80, 5*a - w + 181 = 3*s. Is a a multiple of 22?
True
Let r(x) = -5*x**2 - 3*x - 3. Let g be r(-3). Let z be ((-22)/33)/((-42)/(-324)*4/(-63)). Let m = z - g. Is m a multiple of 10?
True
Suppose 0 = 5*f - 0*f - 2*l - 4025, -5*f = -4*l - 4025. Suppose -3*j - 1609 = -2*b, b = 2*b - 2*j - f. Does 12 divide b?
False
Suppose -59*o + 21*o + 67488 = 0. Is o a multiple of 40?
False
Does 3 divide 227823/18 + (-10)/180*-3?
True
Suppose -3240 = 69*p - 84*p. Is 8 a factor of p?
True
Let f be (-1 + 3)*(3 + -1). Suppose -7*z + f = -5*z. Suppose x + z*c - 169 = 0, 2*c - 29 - 629 = -4*x. Is 7 a factor of x?
False
Let h be 5/(-4) - ((-10)/8)/1. Suppose h = -29*x + 25*x + 1140. Is 8 a factor of x?
False
Let r be (12/8)/(2/(-1548)). Let j = r + 1647. Is j a multiple of 18?
True
Let o = -113 - -117. Suppose 11*f = o*f + 14. Suppose -f*q = -8*q + 366. Does 3 divide q?
False
Suppose 0 = k + 5*b + 23, 3*b - 9 = -k - 22. Let w be (-3)/(6/(-5))*k. Suppose -o - w = -22. Is 3 a factor of o?
False
Does 42 divide 2644*(-148)/(-80) - (-2)/(-5)?
False
Let m be 7 + 1*(-1)/((-3)/(-3)). Let u(o) = -5 + 164*o - m + 11. Is u(1) a multiple of 15?
False
Suppose -44*v + 26 = -47*v + 5*w, -w = -2*v - 8. Is (1320/(-77))/(v/14) a multiple of 24?
True
Suppose 5*s + 4070 = 4*y, 0 = -3*y + 3*s + 3160 - 106. Is 5 a factor of y?
True
Let c(g) be the second derivative of -g**5/20 + 3*g**4/2 - 5*g**3/3 - 35*g**2/2 + 60*g. Does 64 divide c(14)?
False
Suppose -121*l + 477682 = -561466. Is l a multiple of 113?
True
Let z(r) = 0*r + 0*r + 8*r + 0*r**2 + 21*r**2 + 2. Let t(b) = -21*b**2 - 7*b - 2. Let u(o) = -4*t(o) - 3*z(o). Is 13 a factor of u(-2)?
True
Let o(t) = 2*t**2 + 15*t - 8. Let u be o(-8). Suppose u = -l + 25. Suppose l*v - 495 = 20*v. Does 33 divide v?
True
Suppose -3*a = 7 - 31. Let j = a + -5. Suppose -j*h = -6*h - 4*d + 170, -2*h = 2*d - 112. Is 6 a factor of h?
True
Let c(r) = 282*r + 21700. Is c(0) a multiple of 99?
False
Suppose -w + 2*f - f = 104, 528 = -5*w + f. Let k = -30 - w. Is 38 a factor of k?
True
Suppose -1602 = -3*x - 3*w, -x + 187 = -w - 351. Suppose -14*z - 687 = -5*p - 11*z, -z = 4*p - x. Is 8 a factor of p?
False
Let m(s) = -2*s**2 + 118*s + 82. Let t be m(53). Let d = t - 544. Does 6 divide d?
True
Suppose -506649 + 407243 = -140*s + 2685614. Does 8 divide s?
False
Suppose -1509*v + 1498*v = -419287. Does 8 divide v?
False
Let m(z) be the second derivative of -z**3/6 + 5*z**2/2 - 9*z. Let q be m(7). Is 15 a factor of 6597/63 - q/7?
True
Let u(l) = l + 4. Let b be u(-2). Let p(o) = b*o**2 - o**3 + 8 + 11*o**2 - 3*o**2. Is p(7) a multiple of 15?
False
Let s be (-3 + (-4)/(-2))/((-1)/1). Let b = 3 - s. Suppose b*c + 2*c = -3*h + 55, 3*h - 3 = 0. Is c a multiple of 13?
True
Suppose -493066 - 497550 = -55*d - 175186. Does 8 divide d?
False
Suppose -2*y + 7*y - 20 = 0. Suppose -y*c = -25 - 43. Let s = 49 - c. Does 15 divide s?
False
Let h be 2 + -1 + (0 - 60). Let s(n) = -47*n + 1160. Let f be s(23). Let r = h + f. Does 3 divide r?
False
Let l be (56/(-12))/(-1) + 3/9. Suppose 6*a + 3*m + 1546 = a, 5*a = l*m - 1530. Is 15 a factor of -2 + 4 - a/11?
True
Suppose -272 + 100 = -2*a + 3*l, 2*a + 4*l - 144 = 0. Suppose 4*j + g + a + 8 = 0, 3*j - 5*g + 89 = 0. Let z = j + 36. Is z a multiple of 11?
False
Suppose -12465 = -96*y + 92*y - 5*r, 6225 = 2*y + 5*r. Is 104 a factor of y?
True
Let k = 58 + -75. Let m = k - -17. Is (54/(-4))/((-18)/168 - m) a multiple of 21?
True
Suppose -55*l + 106*l + 11718 = 60*l. Does 21 divide l?
True
Let b(v) = -v**3 - 25*v**2 + v + 29. Let p be b(-25). Suppose k - p*w = -2*k + 13, -w + 37 = 5*k. Suppose 8*x - k*x - 105 = 0. Does 21 divide x?
True
Let s(i) = 2*i**2 + 38*i - 35. Let j be s(-20). Suppose j*b - 952 = b. Is b a multiple of 14?
True
Let y(i) = -i**3 + 10*i**2 - 15*i - 5. Let k be y(8). Suppose k*n + 5 = -4, -3*n = 5*a - 201. Let c = a - -48. Is 10 a factor of c?
True
Let i be (-15 - -9) + 972 + -8. Suppose 530 = 6*s - i. Is s a multiple of 8?
True
Let a = 36146 - 20366. Is a a multiple of 22?
False
Let b(o) be the third derivative of -o**4/2 - o**3/2 - 16*o**2. Let g be b(-2). Let l = g + 7. Does 3 divide l?
False
Suppose j - 61 = -4*d, -j - 4*j + 5*d + 205 = 0. Is 16 a factor of -789*(-10)/j*(7 + -1)?
False
Suppose -p - s + 1600 = 0, -2*p - 6*s + 3210 = -2*s. Does 29 divide p?
True
Is 60 a factor of 385 + (-5 - 9) + -11?
True
Let v be ((-6)/7)/((-11)/77). Is 54/4*208/v a multiple of 36?
True
Let g be (-9342)/42 + 4/((-112)/(-12)). Is g/259 + 10372/14 + 0 a multiple of 12?
False
Let v(d) = 5*d**2 + 66*d - 3. Let i = -714 - -697. Does 10 divide v(i)?
True
Let r be 1*146/(-2) + -1. Let q = 5167 + -5086. Let d = r + q. Is 4 a factor of d?
False
Let s = -143 - -167. Let x(o) = 4*o - 36. Is 30 a factor of x(s)?
True
Suppose 0 = 5*y + 35, 0 = 58*l - 55*l + 5*y - 9208. Is l a multiple of 20?
False
Let g(h) = -h**2 + 37*h - 114. Let z be g(32). Let i = z + 29. Is i a multiple of 25?
True
Suppose -2*t + 26 = -t. Let f = t + 209. Suppose -176 = -4*q - 2*w + 142, 3*q - f = -5*w. Is 20 a factor of q?
True
Let s be 16/(-2)*9/(-12). Suppose -672 = -s*u - 8*u. Is 8 a factor of u?
True
Suppose 67366*y - 107514 = 67348*y. Does 9 divide y?
False
Let z = 23 + -47. Let v = z + 26. Suppose 3*q + v*y = 172, -4*q + y + 209 = -13. Is 13 a factor of q?
False
Let b(k) = 96*k**2 + 8*k - 5. Let s(d) = 143*d**2 + 12*d - 8. Let o(w) = -7*b(w) + 5*s(w). Is o(-5) a multiple of 30?
True
Does 40 divide (5*(-64)/40)/(1/(4240/(-4)))?
True
Suppose 8 = -6*p + 20. Suppose p = z + 4. Does 13 divide (-702)/z - -1 - (-1 - -1)?
False
Suppose -k = -3*w + 12, 7*w - 3*w - 6 = -2*k. Is k*5/15 + 172 a multiple of 4?
False
Let l = 161 + -110. Suppose -13*s = -l*s + 20216. Is 19 a factor o