e 3*q + 2 = 23. Suppose 10 - 31 = q*h. Let j(i) = 3*i**2 + 4*i. Does 5 divide j(h)?
True
Suppose -2*f = -s - 58508 + 16404, -2*f = 3*s - 42112. Is 170 a factor of f?
False
Suppose -140387 - 145012 = -28*r - 117399. Is r a multiple of 125?
True
Is 23 a factor of ((-108)/(-270))/((-2)/(-11080))?
False
Let h = -3011 + 4432. Does 7 divide h?
True
Let x = 4583 + -3369. Is 218 a factor of x?
False
Let m(f) = -2*f**2 - 353*f + 23. Is 27 a factor of m(-166)?
False
Suppose -z = -2*y - 15, 6*y + 4*z + 18 = y. Is 7 a factor of (-929)/y + (-17)/(-102)?
False
Suppose -44*s + 40*s = -5*m + 2420, 3*s = -3*m + 1425. Is m a multiple of 32?
True
Let a = 5420 - 5206. Does 8 divide a?
False
Let t be (-1965)/3*(-4)/5. Let s = 763 - t. Is 38 a factor of s?
False
Let u(i) = 216*i**2 - 2*i + 3. Let g be u(1). Let a = g + 35. Is a a multiple of 42?
True
Let j = -7402 - -8902. Does 15 divide j?
True
Let d = -180 + 185. Is -54*(d - (-186)/(-18)) a multiple of 12?
True
Suppose 0 = -8*q + 68239 - 17599. Does 20 divide q?
False
Let k be (-7 + (-9 - -198))/((-2)/4). Let o = 529 + k. Is 7 a factor of o?
False
Let q = -21 + 26. Suppose -3*b - 381 = -q*a, -5*b = -a - 4*a + 385. Let j = a + -39. Does 4 divide j?
True
Let p be (-52)/117 + (-136)/18. Let y(s) = -s + 35. Let j(m) = 7*m - 210. Let t(n) = -6*j(n) - 35*y(n). Does 40 divide t(p)?
False
Suppose h + 7*h = 568. Let m = 111 - h. Suppose v + 5*k - m = 43, 4*v + 5*k = 317. Does 12 divide v?
False
Suppose -16420 = -4*s + 4828. Suppose -4*r + 0*z + 3*z = -s, 4*r = 5*z + 5312. Is 16 a factor of r?
True
Suppose 5 = -5*m + 2*w - 0, 2*m + 2*w = -2. Let t be (1 + -1 + m)*-69. Suppose 19*r - 18*r = t. Is 11 a factor of r?
False
Suppose 0 = 9*l - 5*l - 16. Let n be (-1 + -1)/(l/(-38)). Suppose -20*j = -n*j - 65. Is j a multiple of 13?
True
Let v(s) = 7*s**2 + 207*s + 502. Does 13 divide v(63)?
False
Let a(k) = k**3 + 4*k**2 + 2*k - 1. Let c be a(-3). Suppose -c*p + 279 = -l, -4*p + 445 + 114 = -l. Suppose v + 40 - p = 0. Is v a multiple of 10?
True
Let x(d) = -2*d**3 - 143*d**2 + 3*d - 400. Is x(-72) even?
True
Suppose 0 = -5*t + 3*r + 1748, 5*t - 1048 = 2*t + 2*r. Let y = t + -28. Is y a multiple of 36?
True
Let s = 10 + 15. Suppose s = 14*k - 9*k. Suppose 5*j + k*h = 240, 5*j - 3*j + 5*h - 99 = 0. Does 7 divide j?
False
Let f = -105 + 435. Suppose -2*p - 5*w + 334 = 0, 5*p - 575 = 5*w + f. Suppose 2*z - 5*j = p, -4*z + j = -386 + 59. Is z a multiple of 23?
False
Is 8 a factor of (-240125)/(-875) + (24/(-56) - (-2)/2)?
False
Let h(p) = 3*p + 15. Let g be 4 - 8/(6 - 2). Suppose 0 = 5*u + l - 4*l - 21, 0 = 4*u - g*l - 18. Is 3 a factor of h(u)?
True
Let d(s) = 26*s + 2. Let u be d(1). Suppose -11 = -3*o + u. Let c = o + -3. Is 10 a factor of c?
True
Let s(k) = -15*k**2 + 23 - 17 + 17*k**2 + 4*k. Is s(-4) a multiple of 7?
False
Suppose -7*w - 5 = -2*w. Is (-5)/20 - 205/20*w a multiple of 6?
False
Let u = 56 + -50. Suppose -230 - 10 = -u*y. Is y/(-12)*-3 + 0 a multiple of 6?
False
Suppose 0 = 2003*t - 2022*t + 435708. Is t a multiple of 36?
True
Suppose -18145 + 3978 = -13*x + 3851. Is x a multiple of 25?
False
Let t(i) = i**2 + 3*i - 49. Let x be t(9). Let q = 9 + 0. Suppose -n + x = q. Does 6 divide n?
False
Let s(n) = -2*n**3 + 7*n - 5*n**2 + 0 + 12 + 1. Let t be s(-4). Suppose 35 = 4*f - t. Is 17 a factor of f?
True
Suppose 79*b + 71233 = 497043. Is 55 a factor of b?
True
Let i be 66/14 + 34/119. Let g(r) = 2*r**3 + 3*r**2 - 8*r + 3. Let n be g(i). Suppose 0 = -5*x - x + n. Is 6 a factor of x?
True
Suppose -102*x = 133*x + 13*x - 647032. Does 3 divide x?
False
Let w(u) = -2608*u - 1702. Does 10 divide w(-14)?
True
Let f(a) = -15*a + 2. Let p be f(2). Let i be p*(14/8 - 2). Let x = 33 - i. Is 5 a factor of x?
False
Let x(y) = 93*y**3 - 3*y**2 - 5*y - 2. Let v be x(-1). Let m = v + 79. Is ((-4)/6)/(m/3087) a multiple of 21?
True
Suppose 4*i = -a + 20, i - 5*i + 16 = 0. Suppose 2*l - a*l - 8 = 0, -4*f = l - 764. Is 12 a factor of f?
True
Let c be (24*-1)/(-4 - (-1 - 2)). Suppose -4*j + 7*j + 3*k = -c, 5*k + 25 = 0. Is 18 a factor of j*(2 - 505/15)?
False
Let z(t) = -6*t**3 - 8*t**2 - 31*t - 212. Does 29 divide z(-5)?
True
Let l = -12299 - -25067. Is 114 a factor of l?
True
Suppose 171000 = 52*f + 20*f. Does 95 divide f?
True
Let v = -2822 - -5389. Is 20 a factor of v?
False
Let o be (2 - -1)*3*(-3)/(-9). Let r be (2 + -1)*(12/o - 1). Suppose -59 = -r*v - 5*p + 461, 0 = -2*v + 3*p + 315. Is v a multiple of 15?
True
Suppose 26 + 18 = 11*r. Does 26 divide -4 + r + 6 + 455?
False
Let z(w) = 9*w + 4. Let k(c) be the second derivative of c**3/6 + 5*c. Let q(s) = 6*k(s) - z(s). Does 3 divide q(-3)?
False
Let m(i) = 54*i**2 - 4*i + 6. Is m(-11) a multiple of 276?
False
Suppose f = 5*h - 18, -3*f - 3 - 34 = 2*h. Let y(s) = -s**3 - 13*s**2 + 3. Let n be y(f). Suppose -2*o = 8*r - 3*r - 101, -2*r = n*o - 47. Is 19 a factor of r?
True
Suppose -2*n + 50 = 3*a, n = -5*a + 20 + 54. Is (-792)/a*1785/(-170) a multiple of 27?
True
Let o(c) = 3*c**2 + 14*c + 153. Let v be o(-16). Suppose a = v + 311. Does 55 divide a?
False
Suppose -15*p - z = -14*p - 3020, -2*z = -p + 3032. Does 56 divide p?
True
Suppose 0 = 4*d - 32 - 32. Let v(t) = d*t**2 + 6*t**3 + 7*t - 8*t**3 - 24 + 34 + 0*t**3. Does 11 divide v(8)?
True
Suppose 5*r - 20 = 0, 6 - 30 = -2*u - r. Suppose u*d - 5*d = 2*c + 13, 5*d = -3*c + 18. Suppose 2*t = -4*j + 26, -6*j + j + 41 = d*t. Is 17 a factor of t?
True
Suppose -75911 = -4*k - 3*t, 5*k = -22*t + 25*t + 94855. Is k a multiple of 179?
True
Let h = -142 + 132. Is h/(-8) - 11165/(-28) a multiple of 42?
False
Suppose -21*x + 70 = -266. Let y = 274 - x. Is y a multiple of 43?
True
Suppose 1101689 = -469*a + 2992228. Does 12 divide a?
False
Let j(x) = -3*x**2 + 27*x - 38. Let w be j(7). Does 3 divide 53 + ((-8)/20)/(w/(-20))?
False
Is (46/(-4))/((2 + 0)*(-3)/3756) a multiple of 54?
False
Let q be (-97)/1 + 3 + (-3 - 1). Let i = q - -168. Is (-12*(-5)/i)/((-3)/(-126)) even?
True
Suppose -8*u = 3*k - 12*u - 76603, 0 = -5*k + 4*u + 127669. Does 43 divide k?
False
Let z(c) = -c**2 + 6*c - 14. Suppose 4*u = 5*r - 0*u - 34, -3*r + u + 19 = 0. Let a be z(r). Let b = 131 - a. Does 29 divide b?
True
Let v(m) = m**2 - 11*m + 9. Let d be v(8). Let f = 49 - d. Let c = -2 + f. Is 13 a factor of c?
False
Suppose 0 = 26*d - 11*d - 3180. Let v = d - -328. Is v a multiple of 36?
True
Suppose 46*l - 810759 + 171474 = 814775. Does 29 divide l?
True
Suppose -2579 = 8*i - 723. Does 62 divide 4965/4 - (-290)/i?
True
Let y(z) = 3 - 7 - 11*z + z - 1. Let r be y(-3). Does 7 divide 19/2*1*(31 - r)?
False
Let s = -40 - -40. Suppose -8*p - 85 + 477 = s. Suppose -a + f = -109, 84 + p = a + 5*f. Does 33 divide a?
False
Let b be -1 - (16/(-4))/(-16)*244. Let l = b + 72. Does 8 divide l?
False
Let y = 9962 + 1096. Is 97 a factor of y?
True
Let b(j) = 9054*j - 180. Does 102 divide b(1)?
True
Suppose -1824*k + 39168 = -914*k - 902*k. Is k a multiple of 34?
True
Let b = -53 + 36. Let d(a) = 2*a + 34. Let q be d(b). Suppose w + 15 - 127 = q. Is 28 a factor of w?
True
Let n(f) = 8*f - f - 6*f + 7 - 1. Let o be n(-5). Is 28/7 + (o - -121) a multiple of 21?
True
Let r = -2705 + 13710. Is 71 a factor of r?
True
Suppose 2*h + 256 = -2*h. Let m = 60 + h. Does 13 divide 2/(-4)*-71 - 6/m?
False
Suppose 4*m - 3*x = -1, 4*x + 1 = -m + 15. Suppose 13*u = m*u + 264. Does 4 divide u?
True
Let y be (-91)/(-21) + 2/(-6). Let c be (y - 1)/((-2)/24). Let z = 124 + c. Does 22 divide z?
True
Let x(i) = -3*i + 22. Let s(f) = 50*f + 78 - 257 - 196. Let u(y) = 2*s(y) + 35*x(y). Is 18 a factor of u(-9)?
False
Let w(p) be the third derivative of 7/3*p**3 + 0 + 5*p**2 + 1/12*p**4 + 0*p. Is w(11) a multiple of 12?
True
Let j(n) = -523*n + 1895. Does 46 divide j(-13)?
True
Let x be 464/(-28) + 16/28. Let j(k) = 12*k**2 + 19*k - 38. Let r(m) = -7*m**2 - 9*m + 19. Let f(z) = 3*j(z) + 5*r(z). Is f(x) a multiple of 10?
False
Let y(z) = 50*z**2 - 326*z - 2282. Is y(-7) a multiple of 70?
True
Let t = -10793 - -17340. Is 128 a factor of t?
False
Let d be (-4)/10 - (-13)/(-5). Let o be (d + 8/3)*6. Does 24 divide 1480/30 + o/6?
False
Suppose 0 = 24*f - 14179 - 169285 - 103096. Is f a multiple of 136?
False
Let c = 926 - -2360. Is 13 a factor of c?
False
Let n be -38*116/(-8) - -5. Let i = n - 376. Is 10 a facto