g + 3772 + 16140 = 0. Is (g/(-10))/(-10*11/(-1375)) a multiple of 96?
False
Suppose 11*w - 8663 = 1578. Let i(j) = -j - 1. Let k be i(-5). Suppose -w = -3*u - k*u. Is u a multiple of 19?
True
Let y = 43 + -43. Suppose y = -x - 10*x + 176. Suppose 15 = -7*b + 2*b, 0 = d + 4*b - x. Is 8 a factor of d?
False
Let q(d) = 5*d - 9. Suppose 0 = -5*g - 63 + 83. Is 11 a factor of q(g)?
True
Let p(y) = -y**2 + 6*y - 1. Let z be p(7). Does 20 divide z*685/(-20)*1?
False
Let z be 1 - 3 - (-20)/5. Suppose 3*k = y + 15, 0 = z*y - 2*k - 3*k + 26. Is 2 a factor of (-12)/y*(-4 + 6)?
True
Suppose -2*c = -5*d + 26 - 305, 0 = -2*d - 2*c - 120. Let v be 2/6 - 42845/d. Suppose 6*k + v = 14*k. Is k a multiple of 19?
False
Suppose 37*r = 92*r - 385. Suppose -4335 = -r*k - 870. Does 45 divide k?
True
Let a be (-2 + 5)*194/6. Suppose -1237 = -8*s + 491. Let b = s - a. Is 17 a factor of b?
True
Let f = -69 - 158. Let o = 407 + f. Is o a multiple of 15?
True
Suppose 5*k - 4063 = 1987. Is 11 a factor of k?
True
Let f be (341*-1 + (-20 - -16))*10. Let b = -2064 - f. Suppose 3*p - b = -4*p. Does 33 divide p?
True
Suppose -5*d - 109 = 3*j, -2*j + 2 = 2*d + 44. Let a be 15/(-2)*168/(-140). Let p = a - d. Is 32 a factor of p?
True
Let f(l) = 8*l + 51. Let v(d) = -d**2 - 2. Let c be v(-2). Let o be f(c). Let q(a) = 9*a**3 - 5*a**2 + 3*a - 4. Does 10 divide q(o)?
False
Is (6/5)/(21/10515820*31) a multiple of 8?
True
Let a(b) = -b**3 + 13*b**2 - 6*b - 7. Let c be a(14). Let g = c + 346. Is g a multiple of 14?
False
Suppose -151*p + 153*p = 388. Suppose -3*v - 2*w + 460 = -p, 1071 = 5*v - 3*w. Does 27 divide v?
True
Let r = 14558 + 12469. Is r a multiple of 189?
True
Let g be 20090/7 - (0 + 2*-1). Suppose -4*u = 5*s - 3*s - 2306, -s = -5*u + g. Suppose -4*k - 47 = -u. Is k a multiple of 12?
True
Let y = -514 - -613. Suppose y*k - 6340 = 89*k. Is 11 a factor of k?
False
Let i = 29218 - 19210. Is 24 a factor of i?
True
Let c = 394 - 314. Is c*115/(-23)*3/(-10) a multiple of 12?
True
Is 11 a factor of (954/36)/(-53) - (-20286)/4?
True
Suppose -56 - 7 = -3*i. Let f = i + -12. Is 6 a factor of ((-120)/f)/(4/(-18))?
True
Let w be 3*3 - (-43 + 289). Does 21 divide (316/w)/((-4)/1011)?
False
Let j = 2445 - 2257. Is 11 a factor of j?
False
Let z(b) = 16*b**2 - 3*b - 11. Let y be z(6). Suppose -5*w + 77 = -5*d + y, 0 = 4*w + 8. Is 7 a factor of d?
False
Suppose -44*j + 45*j - 6 = 0. Let k be (-1268)/(-2) - (j + -3). Let u = k - 427. Does 12 divide u?
True
Let k(b) = 7*b**3 + 24*b**2 - 441*b + 56. Does 15 divide k(15)?
False
Suppose -19*v + 6*v = -10257. Let b = 597 + v. Is 14 a factor of b?
True
Let k = -37299 - -52246. Is 30 a factor of k?
False
Let y(i) = 5*i**2 - 41*i - 22. Let v = -157 - -171. Is y(v) a multiple of 48?
True
Suppose 1 = 5*w - 4. Suppose r + 12 = -3*o, -4*r = -4*o - 33 + w. Suppose m = -r, m + 4*m = 2*p - 73. Is p a multiple of 29?
True
Suppose 145039 + 53720 = 143*y - 405416. Is y a multiple of 67?
False
Suppose -3*i + 2 = -16, 3*i - 5748 = -3*j. Does 12 divide j?
False
Let c(u) be the second derivative of u**5/20 + u**3/6 + 3*u**2/2 - 9*u. Let x be c(0). Suppose -8*z + x*z = -180. Is 4 a factor of z?
True
Let n(j) = 7*j**2 - 53*j - 676. Is n(-38) a multiple of 97?
True
Let c(y) = -y**3 + 3*y**2 + 3*y + 7. Let n be c(3). Suppose n = -6*t + 4. Is 12 a factor of (-19 + -1)/(t/6)?
True
Suppose 0 = -6*z + 6 + 24. Suppose 3*w - g - 764 = 0, -4*g = z*w - 1514 + 269. Is 11 a factor of w?
True
Suppose 4*d = -2*s + 712, -s + 2*d = -5*s + 1448. Let m = -66 + s. Is 61 a factor of m?
False
Let f = -6766 - -17043. Does 30 divide f?
False
Suppose 82 = -3*o + o. Suppose -3*c + 188 = q, 0 = -2*c - 5*q + 74 + 60. Let x = c + o. Is 21 a factor of x?
True
Suppose -b = -n - 6*b + 6, -4*b - 26 = -2*n. Suppose 12*w - n*w = 61. Let l = 63 - w. Is 2 a factor of l?
True
Let l(j) be the first derivative of -16*j + 2*j**2 + 2*j**2 + j - 16*j**2 + 14. Is l(-4) a multiple of 27?
True
Suppose 9*k + 10 = 11*k, -5*f + k = -385. Is 21827/f - 2/(-12) a multiple of 4?
True
Suppose -200 = -0*r - 8*r. Suppose 27*n - r*n - 456 = 0. Let z = n - 82. Is z a multiple of 17?
False
Let w be (-1)/4 - (-22344)/32. Suppose 3*j + 2*j + 227 = c, 0 = -3*c - 2*j + w. Is 29 a factor of c?
True
Suppose 8*l = -4 + 28. Let f be (7 + -8)/(l/(-57)). Let a = f + 5. Is a a multiple of 12?
True
Let y = 576 + 35. Is 12/15 + y/5 + -4 a multiple of 8?
False
Let w(c) = -249 - 7*c**2 - 33*c + 22*c**2 + 61. Does 50 divide w(-6)?
True
Let t(x) = 5*x + 1. Let p be t(13). Suppose -p = -4*r + 42. Let o = 59 - r. Is 32 a factor of o?
True
Suppose 9 = -6*l - 3. Let q be (-1 - (l - -1))/2. Suppose q*t = 2*t - 36. Does 2 divide t?
True
Is ((-105462)/42)/(4 + -5) a multiple of 8?
False
Let g be (-4)/((-12)/9) + -5. Suppose 29*h - 12 = 23*h. Does 16 divide 27 + h - 0*g/8?
False
Suppose 220 = -17*b + 849. Suppose -35*v + b*v = 4*n + 1778, -6 = 3*n. Is v a multiple of 66?
False
Suppose 0 = -d + 5, 3*d = 3*q - 20606 + 4241. Is 21 a factor of q?
True
Let b(f) = 3941*f + 1493. Is b(1) a multiple of 38?
True
Let z = 443 + -215. Is 0 + (z - 4) - (-5)/(-5) a multiple of 16?
False
Let w(a) = 84*a**2 - 19*a - 153. Is 125 a factor of w(-8)?
True
Let v = -2 + 4. Suppose 5*l - 10 = -v*t, -4*t + 5*l + 0*l - 10 = 0. Let k = 15 + t. Does 5 divide k?
True
Let r be (-7)/((-7)/(722 - 8)). Let p = -600 + r. Is 24 a factor of p?
False
Let v(l) = -14*l - 16*l**2 + 0*l**3 - 21 + l**3 - 24 + 16. Does 11 divide v(17)?
True
Let f = -6 + 226. Let j(l) = -81*l**3 - 2*l**2 + 9*l + 10. Let y be j(-1). Suppose 4*k - f = y. Does 20 divide k?
False
Let a be (4/((-8)/(-5)) - 2)*-14. Let g(f) = f**3 + 9*f**2 + 7*f - 4. Let s be g(a). Suppose -3*n = 0, -2*o + 5*n + 59 + s = 0. Does 12 divide o?
False
Let r(k) be the first derivative of k**4/4 + 4*k**3/3 - 3*k**2/2 - 6*k - 8. Let n be r(5). Suppose s = 3, -8*s + n = 4*v - 4*s. Is v a multiple of 6?
True
Let d be ((-2)/((-2)/(-153)))/(33/22). Let q be 1333/6 + (d/36)/17. Let f = -70 + q. Does 38 divide f?
True
Let t be 9 - (-18)/24*4. Does 18 divide (t/(-5))/(10 + (-4808)/480)?
True
Suppose -5*z + 4*c - 40 = 0, -4*z - c + 6*c - 41 = 0. Let i = 108 - z. Suppose -4*p + i = -216. Is 11 a factor of p?
False
Let n(a) = a**2 - 2*a - 50. Let s(k) = k**2 - 3*k - 51. Let g(i) = 3*n(i) - 4*s(i). Does 24 divide g(9)?
False
Let b(f) = -f**3 - 4*f**2 + 4*f. Let h be b(-5). Suppose h*z + 24 = 9*z. Suppose 878 = z*l - 244. Is l a multiple of 21?
False
Does 205 divide (13 - (-97)/(-5))/((-3)/270)?
False
Let b(l) = -2*l**3 - 4*l**2 - 3*l - 2. Let a be b(-2). Suppose 0 = -o + 6*k - k - 2445, -3*o = -a*k + 7357. Does 42 divide 10/65 - o/13?
False
Let n(a) be the first derivative of 171*a**2 + 6*a - 37. Is n(1) a multiple of 25?
False
Suppose 0 = 4*h - i + 6*i + 1227, h + 2*i = -309. Suppose -3*n + 15 - 21 = 0. Is 14 a factor of n/(-6)*(-9 - h)?
True
Let j = -40 + 40. Let u = j + 4. Suppose -u*d = -3*r + 50, r + 0*d + 4*d - 6 = 0. Is r a multiple of 14?
True
Suppose 0 = 4*v - 1943 + 199. Let m = 614 - v. Does 43 divide m?
False
Let p = -148 + 143. Let u(r) = -r**3 - 3*r**2 - 9*r - 5. Is 15 a factor of u(p)?
True
Let t be -10 + (-1)/((-3)/30*2). Is 8 + t + 2/(-1) - -157 a multiple of 16?
False
Suppose 0 - 4 = 4*n, -4*i + 2631 = 5*n. Does 14 divide i?
False
Let k = -8 - -11. Suppose -4*m - 1410 = -k*z - 7*m, 928 = 2*z - m. Does 16 divide z?
False
Suppose 5*g - 3150 = -990. Let k = g + -318. Is k a multiple of 5?
False
Let q = -3990 + 10052. Is q a multiple of 14?
True
Let d = 9379 - 5571. Is d a multiple of 5?
False
Let b = -5178 + 7330. Suppose b + 413 = 19*l. Is l a multiple of 27?
True
Let s(r) = -206*r - 5007. Is s(-30) a multiple of 17?
True
Let u = 352 - 89. Let j = u - 81. Does 13 divide j?
True
Suppose -9470*f - 245038 = -9504*f. Does 6 divide f?
False
Let a(x) = 2 + 4 + 4*x + 5 + x**3 - 7*x**2 + 1. Let v be a(6). Suppose v = -5*j + 2*j - k + 607, -2*k + 194 = j. Is j a multiple of 34?
True
Suppose -9*a = -5*a - 1348. Let k = a + -156. Does 24 divide k?
False
Let j be 903/(-14)*2/(-3). Let z(t) = 3*t**2 + 5*t + 17. Let i be z(-6). Let m = i - j. Does 9 divide m?
False
Let d = -175 - -315. Suppose -i + d = -5*l, 5*i - 8*l = -7*l + 604. Does 8 divide i?
True
Let v be 3 + 0 - 1 - -46. Let h = 45 - v. Is (-264)/h + (-4 - -4) a multiple of 25?
Fal