 = -11*k + 64, 3*t - 5*k = -46. Suppose 2*q - 3*g = -8, -2*q + 5*g - 12 = 2*q. Is (q - 3)*(t + 3) a multiple of 4?
False
Does 23 divide 1681/((-144)/(-108) - (8/(-6))/(-4))?
False
Let j be (56/35)/(10/25). Suppose -5*y = -j*w - 658, -14*y + 9*y + 2*w + 664 = 0. Is y a multiple of 15?
False
Let a be -9 + 0 + 2 + 1. Let l be (5 + a)/(1/9). Let c(j) = j**3 + 11*j**2 + 14*j + 6. Is 8 a factor of c(l)?
False
Let w = 12604 - 8239. Is w a multiple of 79?
False
Let u(p) = -5*p**3 - 14*p**2 - 38*p + 31. Is u(-9) a multiple of 4?
True
Suppose 0*o + 114 = 2*o - 230. Is 8 a factor of o?
False
Suppose -491097 = -49*j + 422655. Is 63 a factor of j?
True
Let a(r) = 95 + 43*r - 85*r + 17 + 48*r. Is 10 a factor of a(-15)?
False
Suppose -3*m - a = -86 - 17, -4*m + 136 = 2*a. Suppose b + 2*b - 4*r - m = 0, 5*b - 73 = 3*r. Suppose 2*v = 17 + b. Is 10 a factor of v?
False
Let b(v) = 21*v**2 - 3 + 9*v + 5*v - 7*v**2 - 5. Is 27 a factor of b(-4)?
False
Let r(q) be the third derivative of 23*q**6/40 - q**5/60 - q**4/24 - 5*q**2. Let l(c) = c**3 - 50*c**2 - 2*c + 101. Let j be l(50). Is r(j) a multiple of 7?
False
Let a(y) = -y**2 - 25*y - 132. Suppose 0*g - 91 = 7*g. Is a(g) a multiple of 21?
False
Let g be (-7 - -5) + 27/9 + 0/(-2). Let s(x) = x**2 + 3*x + 2. Let m be s(-4). Is 12 a factor of ((g - 0) + 1)*396/m?
True
Suppose -b - 398 = -411. Suppose 0 = b*j - 44*j + 1488. Does 32 divide j?
False
Let j be (6 - 3 - 24)*-5. Suppose 13 = -4*g - 2*m - j, -g = 4*m + 33. Let i = g - -89. Does 15 divide i?
True
Suppose 2*u + 3540 = -0*t + 4*t, 4*t - 3548 = 4*u. Does 12 divide t?
False
Suppose 16 = 4*f - 4*j, 0 = f + 5*j + 24 + 2. Does 21 divide f/(15/70)*-63?
True
Let q = -182 + 182. Suppose q = -92*h + 95*h - 1008. Does 14 divide h?
True
Let d = -270 + 274. Suppose 278 - 70 = d*l. Does 4 divide l?
True
Let l = -340 + 342. Suppose -4*s = 0, -l*s + 3015 = 5*c - 725. Is c a multiple of 17?
True
Let v = 10182 + 12603. Does 49 divide v?
True
Suppose 4*g + 3*y - 506 = 0, -3*y = g - 4*y - 130. Does 67 divide -7*25/(-35) + g + 1?
True
Let i(r) = -44*r - 348. Let l be i(-8). Suppose -j - 1960 = -0*v - l*v, -v + 3*j = -501. Is v a multiple of 38?
False
Suppose -4*p + 2*r + 13846 = 0, 4*p - 7*r + 12*r - 13881 = 0. Does 11 divide p?
False
Suppose -3959 - 91 = -3*z. Does 30 divide z?
True
Suppose -58*f - 151*f + 4625280 = 229*f. Is f a multiple of 320?
True
Is 15 a factor of ((-738)/(-8))/((-93)/(-3968))?
False
Suppose -a + 31658 = -2*r, 1213*a = 1210*a + r + 94984. Is 13 a factor of a?
False
Does 88 divide ((-108)/(-54))/((-1)/(-3036))?
True
Let k(y) = 1338*y**2 + 7*y + 22. Does 16 divide k(-2)?
True
Suppose 3*w - 241 - 119 = 0. Let n = -51 + w. Does 4 divide n?
False
Let u(h) = -5*h**2 - 9*h - 3*h**3 + 8 + 9 + 21*h + 8. Is u(-7) a multiple of 91?
False
Suppose 0 = -28*w + 50684 - 6164. Is 53 a factor of w?
True
Let k be 2/6 + (4/(-3))/(-2). Suppose 0 = -l + 2*t, 2*t - 3*t - k = -l. Is 40 a factor of 199 - -1*2/l?
True
Let n(p) = 2*p**2 - 3*p + 3. Let h be n(7). Suppose -6*g - h = -14*g. Suppose -3*y = g*y - 585. Is y a multiple of 9?
True
Suppose x + 6 = 3*s, -3*s + 0 = 5*x - 6. Does 19 divide -3 - (-4 - 474) - x?
True
Suppose 3*t + 2977 = -2*d, d = 3*d - 5*t + 2937. Let u = -182 - d. Is u a multiple of 86?
False
Let y be 3199/(-35) + (-2)/(-5) + -4. Let d = 312 + y. Is 27 a factor of d?
False
Let y(w) = 25*w**2 + 1281*w + 89. Does 19 divide y(-57)?
False
Let d(b) = -b + 0*b - b**2 + 79 - 75. Let p be d(-3). Is 30*(3/p - -2) a multiple of 4?
False
Let d = 4527 + -901. Is d a multiple of 14?
True
Let p(f) = 3*f**2 + 84*f - 45. Let h = -52 + 21. Does 14 divide p(h)?
False
Let g = 34 - 26. Suppose 0 = -g*b + 7*b + 315. Is b a multiple of 45?
True
Let s(c) = c**3 + 6*c**2 + 8*c + 7. Let p be s(-4). Let b(h) = -h**3 + 7*h**2 + h. Let r be b(p). Suppose 113 + 41 = r*k. Is k a multiple of 6?
False
Is 15 a factor of -1 - -7 - (2/(-7) - (-456621)/(-231))?
False
Let q = -16854 - -30729. Does 28 divide q?
False
Let v(i) = 2*i - 8. Let q be v(7). Suppose 0 = -q*m + 7*m - 250. Suppose 3*g - 13*g = -m. Is 5 a factor of g?
True
Suppose 5*d = 3*x + 7291 + 12510, 0 = x + 7. Is 3 a factor of d?
False
Suppose 2*h = 2*f + 10, -5*f = -h + 3*h - 10. Suppose f = -2*b - 16 + 80. Suppose -84 = 29*x - b*x. Does 7 divide x?
True
Does 13 divide (-34892)/(-55)*(-70)/(-28)?
True
Let d(j) = -3*j + 105. Suppose 5*u - 4*u = 2*u. Let m be d(u). Let v = m + -79. Is v even?
True
Suppose 3*u + 1 = 5*a, 5*u - 15 = -5*a + 10. Suppose 0 = -a*c - 4*g + 24, -g + 2*g = -3*c + 56. Is 7 a factor of (-6 + 72/5)/(3/c)?
True
Let j = 457 - 454. Suppose 5*l - 1400 = 2*d, 3*d - 1425 = -j*l - 2*l. Is 13 a factor of l?
False
Let t = -39643 - -58795. Is t a multiple of 152?
True
Suppose -84*x = -88*x + 20. Suppose 5*y - 300 = -r + 3*r, y - 60 = -5*r. Does 26 divide 3*112/y*x?
False
Suppose 3*u - 96 = -5*q + 1444, u = -4*q + 1225. Suppose 0 = -2*m + 285 - 15. Suppose -8*c = -q - m. Is 11 a factor of c?
True
Suppose 2*k + 4 = 0, 4538 = 2*x - 92*k + 91*k. Is 42 a factor of x?
True
Let v(w) = 601*w + 2943. Does 65 divide v(18)?
False
Suppose 0 = -0*y - 9*y + 4095. Suppose -7*d = -0*d - y. Let r = 11 + d. Does 19 divide r?
True
Let a = 3808 - 1260. Is a a multiple of 13?
True
Let f = -524 - -783. Let u = f - -130. Does 23 divide u?
False
Let u(t) = 5*t**3 - 2*t**2 + 21*t - 9. Suppose 20 = 92*f - 87*f. Does 15 divide u(f)?
False
Let i(f) = 10*f**2 - 84*f + 1025. Is 13 a factor of i(15)?
True
Let u(g) = -137*g**3 - 5*g**2 - 37*g - 103. Does 45 divide u(-3)?
False
Let h(t) = 7*t**2 - 7*t - 4. Suppose w + r - 4*r = -18, 4*w + r = -7. Does 16 divide h(w)?
True
Suppose -932*j = -868*j - 1039104. Is 132 a factor of j?
True
Suppose 2*m + 9*t - 51455 = 0, 25*m = 26*m + 5*t - 25728. Is 248 a factor of m?
False
Let u = 177 + -29. Suppose -2*c - 142 = -4*y, -c - 24 = 5*y + 54. Let a = c + u. Does 25 divide a?
True
Let c = 2964 - 1504. Is 9 a factor of c?
False
Suppose 7*f + 796 = 3*f. Let s = -188 - f. Is s a multiple of 3?
False
Let b be (0*5/(-20))/(-1) + -6. Is 0 - (174 + b)/(-1) a multiple of 14?
True
Let k(a) = -a**3 - 24*a**2 + 251*a - 190. Does 45 divide k(-35)?
True
Suppose -1382 - 1328 = -5*h. Suppose 5 = k, 4*k - 2*k - h = -4*w. Is w a multiple of 21?
False
Let s(m) = -5*m + 41. Let k be s(8). Does 3 divide -25*k*(5 - 8)?
True
Let h = 35 + -24. Let l = -6 + h. Suppose -l*c + 3*c - 5*n = -166, -83 = -c - 2*n. Is c a multiple of 33?
False
Suppose -4*l + 5*q = 27, 3*l - 3 = -0*q - 4*q. Let t(k) = -24*k - 33. Is t(l) a multiple of 4?
False
Let s(w) = 215*w - 2343. Is s(28) a multiple of 6?
False
Suppose 0 = -z + 1, 2*z = 3*t + 3*z - 2716. Let f = t + -399. Is f a multiple of 13?
False
Let t(a) = 10*a**2 - 63*a - 716. Is 29 a factor of t(-20)?
False
Let x be 58 + -51 + (-262)/1. Let k = x - -284. Does 29 divide k?
True
Suppose -o + 3*l = 4 - 1, 0 = 2*o - 3*l - 3. Suppose 2*r = o*r - 2420. Suppose -239 = -2*q - f, 3*f = 5*q - 2*f - r. Is q a multiple of 30?
True
Let a = 3474 - 1875. Does 26 divide a?
False
Suppose 14 = 5*v - a, 7*v - 3*v + 3*a = -4. Suppose -p + 2*p = 3*u + 9, 0 = 5*p + v*u + 40. Is (-189)/p*(0 - -2) a multiple of 7?
True
Does 57 divide (-1)/((-5)/132817) + (413/5)/(-59)?
True
Let c = 388 + -354. Is c a multiple of 34?
True
Let v(a) = 780*a**2 + 17*a - 60. Let h be v(3). Does 17 divide -5*(-1 - 0 - h/95)?
True
Let g(i) = -i**3 + 98*i**2 + 289*i - 1265. Is 31 a factor of g(97)?
True
Suppose 0 = 138*x - 98*x - 216720. Does 21 divide x?
True
Suppose 5*r = 469*b - 472*b + 42443, -3*b = -2*r - 42457. Is b a multiple of 267?
True
Let z(r) = -13*r**2 + 3*r + 4. Let y(u) = 13*u**2 - 3*u - 4. Let v(f) = -4*y(f) - 5*z(f). Let l be v(-3). Suppose -l = -6*i + 22. Does 4 divide i?
True
Suppose 3*y = 3*j + 287 + 946, -5*y = 5*j - 2045. Is 3 a factor of y?
False
Suppose -6 - 306 = -4*a. Let h be 978*4/a + (-12)/78. Is 5 a factor of 6*(-2)/(-24) - h/(-4)?
False
Suppose -2*x + 4*g + 1752 = 0, -5*g + 3608 = -18*x + 22*x. Does 4 divide x?
True
Let y be -10 + 4 - 1/((-1)/15). Suppose -3*d + 95 = -4*c + 9*c, -4*c = 4*d - 124. Suppose g - y = d. Is 13 a factor of g?
True
Let d = -620 - -630. Does 89 divide (d - 8)/(2/310)?
False
Suppose f - 14*p + 313 = -9*p, -f = 4*p + 340. Let l = f + 343. Does 2 divide l?
False
Let l(g) = -5*g**2 + 8*g - 13. Let