*h + 2739, -4*b = h + w*h - 2732. Does 12 divide b?
True
Let f = 138 - 122. Suppose f*j = 41*j - 3850. Does 14 divide j?
True
Suppose -5*u = -4*z + 28157, 0 = 9*z - 5*u - 33159 - 30213. Is z a multiple of 6?
False
Let c = -4814 - -8650. Is 125 a factor of c?
False
Let v be 3/(-15) + (-52)/(-10). Suppose -150 = -t + 4*l + 121, v = -l. Is t a multiple of 20?
False
Suppose 17228 = 491*n - 487*n. Is 73 a factor of n?
True
Let l = -24 + 33. Is 34 a factor of (-3)/(-4) + 6993/36 + l?
True
Suppose 0 = 5*p - 3*p - 18. Let u = p - 7. Suppose 8*y - 4*y + q - 289 = 0, -u*q = -5*y + 358. Does 16 divide y?
False
Let u = -17 - -36. Suppose 4*i = -5*t + u, i - 5 = -3*t + 5*i. Suppose f = -d + 72, -4*d - t*f - 78 + 365 = 0. Does 17 divide d?
False
Let a = -5 - -2. Let k be 2/a + 34/51. Suppose k*t - 5*v = -3*t + 284, 4*t + 4*v = 368. Does 31 divide t?
True
Let m(x) = 2*x + 26. Let j be m(-8). Suppose 5*i - 270 = -j. Is i a multiple of 4?
True
Suppose 15*q = 4*b + 18*q - 6375, 4*q = 2*b - 3160. Suppose -b*m = -1588*m - 108. Is m a multiple of 6?
True
Let s(h) = 352*h + 50. Let o be s(3). Let x = o - 700. Is 24 a factor of x?
False
Let p(j) = j**3 - 78*j**2 + 10*j + 890. Is p(78) a multiple of 35?
False
Suppose 59*d - 979857 = -13*d - 9*d. Does 10 divide d?
False
Suppose 2*n = -3*n + p + 20, -5*n = 2*p - 20. Suppose 2*w - 291 = -v, n*v - 524 = -3*w + 660. Does 13 divide v?
True
Is 4033 - (1 + 2/(-10) - (-293)/1465) a multiple of 18?
True
Let r be (-1)/(-1) - (-13 - -10). Suppose 0 = -2*b - 2*o + 712, -o = r*b - 1517 + 99. Is 31 a factor of b?
False
Let o(d) = -2*d**2 + 4*d + 5. Let f be o(7). Let m = f + 67. Is (0 + 4/(-12))/(m/(-90)) a multiple of 5?
True
Let n(d) = 131*d**2 + d. Let q be 1/(-6) - (-77)/66. Let o be n(q). Suppose o = -21*p + 22*p. Does 33 divide p?
True
Suppose 9*i - 34903 = 12*i - 22*i. Is 39 a factor of i?
False
Suppose 570*h = 564*h. Suppose h = 28*m - 34*m + 8922. Is 18 a factor of m?
False
Let z = -243 + 469. Suppose 30 = -7*o + z. Suppose a = 112 - o. Is a a multiple of 12?
True
Let t(f) = f**3 - 10*f**2 + 10*f + 6. Let l be t(9). Let y(x) = 2*x**2 + 19*x + 5. Let u be y(-11). Suppose u = n - l. Is 20 a factor of n?
False
Let u(b) = -b - 13. Let h be u(4). Let g(z) = z**3 + 32*z**2 - 18*z - 11. Let n(l) = l**3 + l**2 + l + 1. Let s(d) = -g(d) - n(d). Is s(h) a multiple of 5?
True
Let a = 53 - 50. Suppose -4*w + 637 = a*l - 262, 5*l - 901 = -4*w. Is 32 a factor of w?
True
Is (1960/(-294))/(4/(-714)) a multiple of 34?
True
Suppose 19*f = 24*f - 20685. Suppose 878 = m + 2*d - 148, 4*m - f = 3*d. Is 86 a factor of m?
True
Suppose -y + 768 = -5*t, -3*t - 391 + 409 = 0. Is 6 a factor of y?
True
Suppose y + 20 - 19 = 0. Let w(f) = -2*f. Let n be w(y). Suppose -4 = -n*a, 3*p = -p + 4*a + 236. Does 30 divide p?
False
Let u = -163 - -152. Let g(k) = k**3 + 11*k**2 - 5*k - 27. Is g(u) a multiple of 3?
False
Let j(o) = -4*o**3 + 61*o**2 - 5*o - 34. Let b(t) = 10*t**3 - 181*t**2 + 15*t + 101. Let q(c) = 3*b(c) + 8*j(c). Is 25 a factor of q(-28)?
True
Suppose 2*x + 4*k + 12 + 0 = 0, 3*k + 16 = 2*x. Does 34 divide -3 + (x + 268 - (-2)/(-1))?
False
Suppose 3*x + 118 - 499 = 0. Let v = -215 + x. Let z = v + 208. Is 24 a factor of z?
True
Let q = 25124 + -24943. Is q a multiple of 2?
False
Let t be (-460)/(-207) - (-4)/(-18). Suppose 3*j + 3*q = 333, 3*j + t*q - 5 = 329. Is 28 a factor of j?
True
Is 22 a factor of (-290064)/(-32) - ((-66)/12)/(-11)?
True
Let n(v) = 156*v**2 - 338*v + 3143. Is n(10) a multiple of 27?
True
Let a(p) = -342*p - 375. Is a(-24) a multiple of 3?
True
Let b be 15/2 - 4/(-8). Suppose 13*g = 7*g + 24. Suppose b*t = g*t + 480. Is t a multiple of 24?
True
Let i(z) = 15 + 41*z + 17 - 19. Let n = -69 - -72. Does 23 divide i(n)?
False
Is 91/78 + 259868/24 a multiple of 105?
False
Suppose 3*u = 2*n - 1992, n - 4*u + 7*u = 987. Suppose -231 = -3*y + n. Is 34 a factor of y?
True
Suppose -11*a - 101 = -13. Let h(p) = -75*p - 55. Let d be h(a). Suppose 0 = -3*z + 8*z - d. Does 7 divide z?
False
Let o(j) = -j**2 - 74*j + 84. Let v(k) = -25*k - 147. Let l be v(-4). Is 33 a factor of o(l)?
True
Suppose 115*u - 4361411 + 44426 = 0. Does 97 divide u?
True
Let i(t) = 7*t - 3. Let b be i(-3). Let u be ((-2 - -5) + 0)/(b/(-224)). Is 45 a factor of 173 - (1/(-3) - u/(-12))?
False
Let c = 984 + -983. Does 20 divide (-7)/2*c/((-7)/658)?
False
Let a = 385 - 49. Let k(h) = -138*h - 34. Let d be k(1). Let n = d + a. Does 11 divide n?
False
Suppose -i - 41 = 14. Let n be (7 + i + -5)*(-2 - -1). Is 15 a factor of (-1)/2*(-9 - n)?
False
Let r = 52 - -266. Let w = r + -98. Let d = -34 + w. Does 31 divide d?
True
Suppose -4*a + 10472 = -4*q, 2092 = 4*a + q - 8375. Does 63 divide a?
False
Suppose -n - 34 + 22 = 0. Is (-541)/n + 4/(-48) a multiple of 3?
True
Let r = 15 + -12. Let p be (-1*(8 - 7))/((-1)/3). Suppose 4*l + 152 = x, p*l + 426 = r*x + l. Does 28 divide x?
True
Let i = 221 + -98. Is 20 a factor of 49282/i + (-2)/3?
True
Let o(s) = -13*s**3 + 4*s**2 + 6*s + 1. Let f be o(-5). Let l = f - 2458. Is (-5 + l/(-6))*2 a multiple of 50?
False
Suppose 5*g = -3*y + 21, 0*y + 5*y + 2 = 4*g. Suppose -y*i - 390 = -1948. Is 13 a factor of i?
False
Suppose -17*p + 763 = -10253. Is 18 a factor of p?
True
Is (-14)/(-6)*4287 - -1 a multiple of 63?
False
Let h = -422 - -1062. Suppose -10*z = -5*z - h. Is z a multiple of 16?
True
Suppose 0 = -4*j - 538 - 270. Let l = -76 - 9. Let k = l - j. Is k a multiple of 50?
False
Suppose -4*p = -2*y - 42, 3*p + 33 = -5*y + 45. Suppose -137 = -2*h - v - 32, 5*h - 4*v - 243 = 0. Suppose -3*z - p + h = 0. Does 13 divide z?
False
Let l(t) = -6 - 70*t - 507*t + 214*t. Is l(-1) a multiple of 18?
False
Suppose 27*k + 180 = 30*k. Suppose 0*v - 5*n = v, -2*v + 5*n = -k. Is v a multiple of 7?
False
Let p(m) = m**2 + 3*m - 38. Let a be p(-20). Let y = 169 + a. Is 14 a factor of y?
False
Let z(h) = 2164*h**3 + 13*h**2 - 20*h - 1. Is z(2) a multiple of 17?
True
Let t = 0 - -22. Let a be 4/t + (-5736)/88. Let c = -36 - a. Is 17 a factor of c?
False
Is 5*(-6)/(-135) - (-1 - 60368/18) a multiple of 113?
False
Let r be (8/28 - 12/(-7)) + 42. Suppose -r = -i + 33. Suppose 0 = -4*g + i + 115. Is g a multiple of 8?
True
Let r be (-12832)/80 - 2/(-5). Let d = r + 198. Does 4 divide d?
False
Let q(f) be the third derivative of 7*f**6/20 - f**5/10 + f**4/2 + f**3/3 + f**2. Is q(2) a multiple of 29?
False
Let x(n) = 8 + 14*n + 13 - 1 - 4*n. Is x(23) a multiple of 25?
True
Let p(t) = -31 - 4*t**3 + 8*t - 6*t + 32 + 2*t**2. Let z be p(-1). Suppose z*f = 0, 2*i - 610 = -0*f - 3*f. Does 61 divide i?
True
Suppose -112 - 78 = -l. Let r = l + 38. Is 19 a factor of r?
True
Let h be 10 + (-4 - (3 - 4)). Suppose 36*i + h = 37*i. Suppose i*j - 2*j = -m + 481, j = 3*m + 93. Does 16 divide j?
True
Let m(b) = -b**3 + 13*b**2 - 13*b - 2. Let f be m(13). Let y = 198 + f. Does 13 divide y?
False
Suppose 3*r = -3*r + 37*r - 80135. Does 11 divide r?
True
Let i(u) = -u**3 + 32*u**2 + 118*u - 250. Does 29 divide i(34)?
True
Suppose -777*b - 210220 = -782*b. Is 59 a factor of b?
False
Suppose -7*b - 919 = -2907. Let h = 233 + b. Is 73 a factor of h?
False
Is (-23)/(((-2)/6)/(11713/159)) a multiple of 221?
True
Let z(f) = -129*f + 2268. Let n(i) = -52*i + 907. Let h(p) = -12*n(p) + 5*z(p). Is h(0) a multiple of 38?
True
Let m(a) = -31*a - 323. Let i be m(-13). Let d be 57/12 + (-1)/(-4). Suppose -3*p - z = -p - 65, -3*p - d*z = -i. Is p a multiple of 26?
False
Let v be (1480/6)/((-117)/(-4212)). Suppose -f - 14*f = -v. Does 19 divide f?
False
Let p = 29 - 26. Suppose 2*d = -w + 849 + 377, -1830 = -p*d + 3*w. Suppose -v = -6*h + 2*h + d, 0 = 2*v + 8. Is 26 a factor of h?
False
Let o = -18 - -27. Let d = 14 - o. Does 29 divide (261/15)/((4 + -3)/d)?
True
Let j = 183 + -178. Suppose -4*n - 4346 = -5*x, -2*x - j*n + 1177 = -535. Is 75 a factor of x?
False
Let l = -205 + 213. Suppose -2*x + 390 = -3*b, 9*x + 3*b - 195 = l*x. Is 44 a factor of x?
False
Suppose 1022 = 7*b - 5313. Does 40 divide b?
False
Suppose -5*m - k = -1015, -2*m + 2*k = -2*k - 406. Is m a multiple of 35?
False
Suppose 2*r - 22 = -0*x - 4*x, 0 = x + 3*r - 13. Suppose -x*o = 3*i - 2700, 3*i - o = 8*i - 4483. Does 16 divide i?
True
Let o(h) = -h**2 - 12*h - 9. Let r be o(-11). Suppose 2*z + 3*v = 50, -r*z + 5*