j - 11, -2*p - p = -4*j - 17. Suppose p*n + 173 = 3*c + 2*n, -2*c + 114 = -n. Is c a multiple of 9?
False
Let q = -634 + 1084. Let p be (-2)/10 - (-338)/65. Suppose -k + q = p*k. Is 15 a factor of k?
True
Let c(m) be the first derivative of 33*m**2/2 + 20*m + 10. Let z be c(5). Suppose -5*y + 2*b + z = 0, 3*b + 90 = 3*y + 6*b. Is 5 a factor of y?
True
Suppose 9*f - 45 = 6*f. Suppose -f - 5 = -m. Let v = 20 + m. Is 10 a factor of v?
True
Let u(q) = -102*q + 305. Does 32 divide u(-22)?
False
Let h(b) = b**3 - 29*b**2 + 9*b + 126. Let r be h(28). Let c = 56 - r. Is 61 a factor of c?
False
Let k = -121 - -121. Is 26 a factor of (-59 + -3 + k)/(-2)?
False
Let h = 241 + -239. Suppose 2*q - 136 = h*d, 2*q + 3*d - 8*d = 151. Is q a multiple of 21?
True
Let c(x) = 9*x + 9. Let u be c(14). Suppose u + 27 = 6*l. Suppose -l*v + 26*v = -9. Is v even?
False
Let u = 60 + -6. Suppose -3*h + 6 - u = 0. Is 4 - (4 + (h - 1)) a multiple of 12?
False
Suppose -3*i - 5*k = -895, -2*k + 1080 = 1076. Does 5 divide i?
True
Suppose -p = -2*m + 2482, -7*m + 6*m + 7456 = -3*p. Let b = -1437 - p. Does 17 divide b?
False
Let k(r) = 4500*r**2 + 130*r - 130. Is 38 a factor of k(1)?
False
Is 197 a factor of 681/((-9)/2*((-26020)/(-3720) - 7))?
False
Let t be ((-2)/5)/((-63)/240345). Is 53 a factor of t - (-3 + 4 + -7)?
False
Let v be (-3 + 6 + -3)*4/12. Suppose v = -7*r - 5*r + 816. Does 34 divide r?
True
Let c(n) = 84*n**3 - 2*n**2 + 3*n - 1. Let o be (((-60)/(-16))/(-5))/((-3)/8). Does 23 divide c(o)?
False
Let a(r) = -7*r. Let d be a(-2). Suppose -4*k - 2*f = -300, 122 = 3*k - 5*f - 116. Let c = d + k. Is c a multiple of 18?
True
Let v(t) be the second derivative of t**4/3 - t**3 - 11*t**2 - 20*t. Is 27 a factor of v(-7)?
True
Suppose -16*k = k - 57800. Suppose -p = 3*p - k. Is p a multiple of 34?
True
Suppose -2*n + 5*f + 250 = 3*n, f = 5. Let t be n/20 + (-2)/(-8). Suppose 0 = -5*z + 3*z + t*g + 127, 5*g = 5*z - 325. Is 17 a factor of z?
True
Let w = 126 + -125. Is w/(-3) - -31*48/9 a multiple of 11?
True
Suppose -2*p - 2*i + 14 = 6, -5*p - 4*i = -17. Let s be -104*((-28)/(-16) - p). Let l = -39 - s. Is l a multiple of 13?
True
Let n be ((-36)/(-54))/(2/15). Suppose n*v = -196 + 526. Let q = -41 + v. Is q a multiple of 7?
False
Let g be (-153)/((-6)/4 - 0). Let z be -4 + (-1)/1 + (130 - 121). Suppose -z*k = -k - g. Does 10 divide k?
False
Let j(p) = 14*p - 15. Let h(q) = q - 1. Let l(f) = h(f) + j(f). Let a be l(-5). Does 8 divide (a + 5)*(-3)/6?
False
Let x = 10853 + -5529. Is 15 a factor of x?
False
Let o be (-8)/6 - 3241/(-21). Is 29052/o - 8/(-68) a multiple of 38?
True
Suppose -3*l = 5*i - 32, -2*l + 0 = 4*i - 24. Suppose -7*q = -4*q - 243. Suppose g + q = 2*a - i*g, a - 48 = -5*g. Does 14 divide a?
False
Let x(o) = -3*o**3 - 50*o**2 - 33*o - 17. Let b be x(-16). Does 11 divide -1 - (b - (1 - -142))?
True
Let u = -141 - -154. Suppose 3*y + 5*w = u - 1, -30 = -4*y - 2*w. Is y a multiple of 3?
True
Suppose 4*v + 136 = 3*v. Suppose -6*p - 2*p = -40. Is (2 - p)/(3/v) a multiple of 34?
True
Suppose 0 = -15*a + 11*a + 10*n + 74522, 0 = -a - n + 18613. Is 30 a factor of a?
False
Let c be 0*((-4)/16*-2 + 0). Suppose c = -5*q - 5*s + 2195, -5*s + 2245 = 5*q - 10*s. Does 37 divide q?
True
Let b = 109 - 153. Let i = -39 - b. Suppose 3*o = 5*l + 169, -260 = -i*o - l + 5*l. Is 36 a factor of o?
False
Does 22 divide (-352)/6*(-163 - -142)?
True
Suppose u - 18 + 128 = 0. Let n be u/(-1) + (-10 - -7). Suppose -8*w + n = -261. Does 17 divide w?
False
Let y = -682 - -1372. Suppose d + y = 3375. Suppose -15*a - 45 + d = 0. Does 11 divide a?
True
Let b = -236 - -42236. Is b a multiple of 75?
True
Let l(a) = 12*a + 61. Let k be l(6). Suppose -4*g = 5*w - k, -159 = -5*g - 3*w + 4*w. Does 32 divide g?
True
Suppose -2*q + 790 + 366 = 0. Suppose q = -4*b + 5*t + 3002, -3*t = 3*b - 1845. Is b a multiple of 21?
False
Let n(r) be the third derivative of -3*r**4/4 - r**3/6 + r**2. Let w = 557 - 558. Is 5 a factor of n(w)?
False
Let z(d) = 3*d**2 + 4*d - 10. Let c be z(7). Suppose 8*l + c = 11*l. Let f = l - 27. Does 7 divide f?
True
Let d = 48 - 79. Let u = 33 + d. Suppose -113 - 127 = -u*y. Is y a multiple of 15?
True
Suppose 3*k + 8 = 5*l, 5*l - 2 = -4*k + 34. Suppose 0*q - k*q = -1088. Is 34 a factor of q?
True
Let p(h) = h**3 + 14*h**2 - 2*h + 26. Let x be p(-8). Let u = -127 + x. Is u a multiple of 26?
False
Suppose 0 = 5*p - 3*m - 0 + 3, -2*p - 3*m + 3 = 0. Suppose p*n = n + 2*c - 130, -397 = -3*n + c. Does 33 divide n?
True
Let c(u) = -u**2 + 2*u + 15. Let o be c(9). Is (-295)/(o/(-6) + -9) a multiple of 39?
False
Let v = 70 - -17. Let h = -210 - -169. Let y = h + v. Does 4 divide y?
False
Suppose -6*u + 5*u - 4*d + 12928 = 0, -4*u + 51730 = -2*d. Is 106 a factor of u?
True
Let c = -46240 + 64878. Is c a multiple of 12?
False
Let n(w) = -10*w + 1686. Is n(-81) a multiple of 64?
True
Let m(x) be the second derivative of -2*x**3/3 - 2*x**2 - 4*x. Let i be m(-1). Suppose 0 = -b - i*b - 4*z + 27, -4*b = -z - 176. Is 12 a factor of b?
False
Let o = 2425 + 44. Is 41 a factor of o?
False
Let j(l) = l**3 + 3*l**2 - 6*l + 3. Suppose 0*n - 5*n = v + 27, v = -4*n - 22. Let g be j(n). Let o = 57 + g. Is o a multiple of 8?
True
Let x = 116 - -172. Let a = x - 231. Does 19 divide a?
True
Let y(v) = -5*v - 55. Let r be y(-12). Let t be 3 + (6 - 3) - 3. Suppose -r*a - t = l, 47 + 14 = 3*l + a. Does 12 divide l?
False
Let w(n) = 3*n - 9. Let d be w(3). Suppose -18*z + 3*z - 2625 = d. Let u = z + 301. Is 9 a factor of u?
True
Is 118 a factor of (43188/15)/((-1230)/(-75) + -16)?
True
Suppose q - 239732 = -4*o, 0 = -o + 5*q + 33895 + 26017. Does 88 divide o?
False
Let m(l) = -161*l**3 - 3*l**2 - 5*l. Does 8 divide m(-3)?
False
Let q(n) = 452*n**2 + 85*n - 260. Does 17 divide q(3)?
True
Suppose -2*d + 62 = -i, -i = -5*d - 0*i + 155. Let f be ((-9)/(-6))/((-6)/152). Let s = d - f. Is 5 a factor of s?
False
Let v(r) = 2772*r - 3399. Is v(7) a multiple of 97?
True
Let w be 13894/20 - 150/(-500). Suppose -9*j + w = 173. Does 29 divide j?
True
Let z(q) be the first derivative of 17*q**3 - 6*q**2 - 4*q + 22. Is 11 a factor of z(2)?
True
Suppose -67*i + 65*i + 104 = 4*d, -2*d + 276 = 5*i. Does 3 divide i?
False
Suppose -3*d - 2*n + 10497 = 0, -d + 2*d - 3*n - 3521 = 0. Does 41 divide d?
False
Let a(t) = -t**2 - 10*t + 19. Let b be -1*(-3 - -2) + -12. Let z be a(b). Suppose z*f = 2*f + 48. Is f even?
True
Let p(w) = 60*w**2 + 6*w. Let a(d) = -119*d**2 - 13*d - 2. Let r(b) = 2*a(b) + 5*p(b). Is 31 a factor of r(1)?
True
Let o(f) = -f**3 + 73*f**2 - 224*f - 150. Is o(42) a multiple of 218?
True
Let w(p) = -p**3 + p**2 - 3*p + 29. Let j be w(0). Let t(a) = -2*a**2 + 7*a + 3. Let i be t(4). Does 7 divide 0 + -4 + j + i?
False
Suppose w - 53 = -5*x + 68, -4*w = x - 484. Let d be (-1 - 5)/(6/28). Let m = w + d. Is m a multiple of 31?
True
Let s = 24 + -22. Suppose -s*l - 71 = -77. Suppose l*t - 5*d - 232 = 0, -2*t + 0*d + 162 = 4*d. Does 16 divide t?
False
Let i = 188 + -184. Suppose i*q = 509 + 767. Is q a multiple of 29?
True
Is (-4)/(-6)*1 - (-20 - 320656/48) a multiple of 87?
False
Let o = 257 + -257. Suppose o = -11*m + 4*m + 224. Is 4 a factor of m?
True
Is 23 a factor of ((-8)/5)/((-3)/125)*579798/648?
False
Let z(p) = 4*p**3 + 2*p**2 - 4*p - 7. Let g be z(4). Suppose 4*b = a - g, 3*a = 2*a - 4*b + 265. Does 53 divide a?
True
Does 48 divide 3*(27670/30 + -1)?
False
Let x(r) = -r**3 - 6*r**2 - 14*r + 6. Let w be x(-8). Let d = 266 - w. Does 4 divide d?
True
Suppose 84*m - 3042259 = -109*m. Is 50 a factor of m?
False
Let l(u) = 4*u**2 - 13*u + 104. Let w(z) = 21*z**2 - 60*z + 519. Let x(p) = 11*l(p) - 2*w(p). Is 2 a factor of x(7)?
False
Suppose -4*y + 13*y = 18. Suppose -j - 6*a = -y*a - 30, 0 = -j + a + 20. Let z = j - 1. Does 9 divide z?
False
Let c be (-255)/(-170) + (5/(-2))/(-1). Suppose -c*n - s - 359 = 0, -2*s - 248 = 2*n - 70. Is 42 a factor of 4/(-30) - 15132/n?
True
Let g = 423 - 398. Is (55/g)/11 + 2878/10 a multiple of 8?
True
Let i(v) be the second derivative of -v**4/12 - 5*v**3/3 + 9*v**2/2 + 12*v. Let d be i(-12). Is 7 a factor of d/(-10)*2 + 17?
False
Let h be 8/(4 + 0)*10/4. Suppose -2*f - 2*f + 4*d + 332 = 0, h*d = 15. Does 8 divide f?
False
Let f = 648 + 3084. Is f a multiple of 6?
True
Suppo