- 16 + 0 + 7 + 100*a. Let f be i(1). Let u = f - -150. Is u a multiple of 19?
True
Let b = -103 + 313. Suppose 503 = 5*c - 4*h, -3*c - b + 509 = -h. Is 33 a factor of c?
True
Let i be (1 - -3)*21/14. Let r be i*-4*(-7)/24. Let f(k) = 3*k + 10. Is 5 a factor of f(r)?
False
Suppose -5*m - 5*g = 10, -5*g - 17 = -7. Suppose 9*d + 2*d - 660 = m. Is d a multiple of 2?
True
Suppose 4*t = 8*t - 20. Suppose 5 = -t*f, -9 = -v - 0*f - f. Suppose v*u - 652 = -92. Is u a multiple of 14?
True
Is 73 a factor of (-510)/(-220)*15874 + 4 + 126/(-33)?
False
Suppose 70723 = -230*y + 235*y - m, -2*y + 28327 = 5*m. Does 101 divide y?
False
Let i = 87 + -66. Does 2 divide -1 + 216 + -2 + i/(-7)?
True
Let u(i) = 3*i**3 - 3*i**2 - 160*i + 2278. Is u(15) a multiple of 88?
True
Suppose 6*j - 4*j = -0*j. Suppose -5*u - 3*k + 10 = -3*u, 2 = k. Suppose u*g - 178 + 28 = j. Does 3 divide g?
True
Suppose -5*m + 53 = -4*t, -2*t - 3 = -9. Suppose -2086 = -o - m*o. Does 15 divide o?
False
Let p be 168/(308/440*4/(-7)). Is 68 a factor of (160/12 + -2)/((-5)/p)?
True
Is 4 a factor of ((-441)/45 + 2/(-10))*8850/(-15)?
True
Suppose -454*h = -450*h - 2*y - 34846, 3*y + 8694 = h. Is h a multiple of 35?
True
Let j(i) = -43*i - 31. Let r be j(-5). Suppose -344 = -11*n + r. Is n a multiple of 24?
True
Suppose -8*m = -4*m - 5*j - 1207, 3*m - 907 = 2*j. Does 10 divide m?
False
Does 24 divide 5 + 11168/24 + 20/(-15)?
False
Suppose -6*c = -4406 - 10966. Is 84/(-336) - (c/(-8) + 0) a multiple of 10?
True
Let k = 19 - 20. Let r be (1 - (k + -1))/(6 + -5). Suppose 2*t - 105 = -3*t + u, -r*u = -3*t + 63. Does 3 divide t?
True
Let b = 15784 - 8084. Is 20 a factor of b?
True
Suppose -t + 70*s - 75*s + 962 = 0, 5*t + 4*s - 4852 = 0. Is t a multiple of 6?
True
Let j be -4 + 581/(-119) + 2/(-17). Let g(n) = 3*n**2 + 8*n - 41. Does 10 divide g(j)?
True
Let p = -54 + 130. Suppose p*z = 80*z + 144. Let v = -18 - z. Does 3 divide v?
True
Let v(a) = 4*a - 4. Let w be v(3). Let g be 2*(-10)/w*-6. Suppose -5*c = -g - 20. Is c a multiple of 2?
False
Let k be (-6)/15 + 8/20. Let d(u) = 14*u - 48. Let y be d(9). Suppose k*i + 2*i = y. Does 11 divide i?
False
Let s(r) = r**3 + 13*r**2 + 4*r - 19. Let l(x) = -14*x - 103. Let d be l(-7). Is 30 a factor of s(d)?
False
Let w = -11309 - -14149. Does 191 divide w?
False
Suppose 3*n - 8*n + 5*f + 60 = 0, 0 = 5*n - 3*f - 50. Let s(y) = -y**2 + 25*y - 85. Does 2 divide s(n)?
False
Suppose i = 54 - 39. Suppose 14*q = i*q. Suppose 14*g - 10*g - 24 = q. Is g a multiple of 3?
True
Does 99 divide (-10)/(-6) - (((-258642)/27 - 2) + 3)?
False
Let a be ((-15)/10 - -1)*(1 + -1). Suppose a = -z + 221 + 167. Is z a multiple of 20?
False
Let b = 4498 + -1834. Does 6 divide b?
True
Let o = -209 + 377. Let n = -1108 + 1102. Does 14 divide (-105)/n*o/35?
True
Suppose -6*p + 71500 = 14*p. Suppose 23*n - 10*n = p. Does 34 divide n?
False
Suppose 0 = -l + 2*l - 149. Suppose 4*d - 5*n - 48 - l = 0, -3*n - 101 = -2*d. Suppose 2*o = 4*i + 32 - 174, -d = -i - 2*o. Is i a multiple of 16?
False
Let p(m) = 3*m**2 + 17*m + 10. Let r be p(-7). Let i(x) = 8*x + 103. Does 12 divide i(r)?
False
Let b(p) = 197*p**2 - 3*p - 8. Let j be ((-2)/(-5))/(-8 - 273/(-35)). Does 22 divide b(j)?
False
Let l(t) = -t - 3. Let v be l(-5). Let k(i) = 91*i - 38. Does 3 divide k(v)?
True
Suppose 51 = -17*j + 34. Does 11 divide (-45 - (-2 + 1))*j?
True
Let o(d) = 82 - 34 - 44 - 35*d. Let j be o(-3). Suppose 5*w = -q + 41, 4*q = -q - w + j. Is q a multiple of 7?
True
Suppose -b - 4*a + 4 = 0, -5*b + 0*b + 20 = 5*a. Suppose -2*w = 3*u + 3*w + 354, 4*w - 504 = b*u. Is u/(-11) - 10/55 a multiple of 11?
True
Suppose -3 = -4*u + 5*l, -5*u - 5*l = -7 - 8. Suppose -4*o = -8, -5*o + 17 - 1 = -u*a. Is 26 a factor of 9 + a + -4 + (78 - 2)?
True
Let s(g) = -g**2 + 16*g. Let r(i) = -i**2 + 18*i - 29. Let b be r(15). Let m be s(b). Suppose m*f = f - 153. Does 17 divide f?
True
Let l be (-8)/12*(-2 - -4)*-3. Suppose 0 = l*r - 22 - 102. Suppose r = v - 23. Is 6 a factor of v?
True
Let r(o) = -o**2 - 37*o + 5. Let a be r(-37). Suppose -a*c + 4*c = -75. Does 18 divide c?
False
Suppose 6*z - 14 = 4. Suppose -z*t = -0*t - 9. Suppose b - 63 = -h, -t*b = -h - h - 209. Is 7 a factor of b?
False
Suppose 3*i = 3*z + 5*i - 5128, -5*z = -i - 8538. Suppose -z - 107 = -5*j. Is j a multiple of 28?
False
Let h(q) = 8*q**3 - 11*q**2 - 5*q + 42. Let z(u) = 5*u**3 - 6*u**2 - 2*u + 21. Let k(r) = -3*h(r) + 5*z(r). Is k(6) a multiple of 37?
True
Suppose 0 = -0*d - d + 2, 5*d - 2 = 2*r. Let m be (-3 + 1980/16)/(r/16). Suppose -3*v + m = 3*o, -422 = -3*o - 4*v + 61. Does 39 divide o?
False
Suppose -19*k - 585 - 346 = 0. Let v(o) = o**2 + 48*o + 161. Does 35 divide v(k)?
True
Let x be (-8)/(-1) + (4 - 2) + -5. Suppose 3*i - x*d - 84 = 0, 4*d - 10 - 1 = -i. Suppose 51 = 2*r - t, 3*t + i = -r + 2*r. Is 26 a factor of r?
True
Let o(h) = 94*h**2 - 6*h - 7. Let d be o(-1). Suppose 208 = -89*f + d*f. Is 4 a factor of f?
True
Suppose -3*n = 4*g - 2384, 4*n - 7*n + 3*g = -2349. Let q = -284 + n. Is q a multiple of 28?
True
Suppose 3*n + n = 8. Suppose -3*p + s = -523, -n*s = -2*p - 7*s + 360. Let x = p + -104. Is x a multiple of 11?
False
Suppose c + 2*k = 3860, 3*c + 0*c + 9*k = 11589. Is 47 a factor of c?
True
Suppose 4*x - 134532 = 4*j, 5*j + 69239 = 3*x - 31660. Is x a multiple of 37?
True
Suppose -m = -5*m. Suppose 5*o + 4*v = -0*v + 36, -4*o + 4*v = m. Suppose 0 = o*q - 545 + 149. Is 28 a factor of q?
False
Let i(l) = -8*l + 73. Is 79 a factor of i(-18)?
False
Let z(j) = j**3 - 10*j**2 - 23*j - 12. Let r be z(12). Suppose -3*t - 15 + 27 = r. Does 10 divide (5/t)/(9/648)?
True
Let q be (12/3)/4 + 9. Let x = -126 - -300. Suppose q*g = 4*g + x. Does 12 divide g?
False
Let d(s) = -7*s**2 - 8*s - 14. Let i be d(-4). Let p = i + 184. Is 6 a factor of p?
True
Let v = -4524 + 4750. Is 3 a factor of v?
False
Suppose -38*p = 123 - 313. Suppose -170 = -x - p*k, 5*x + 0*x - 823 = 2*k. Is 15 a factor of x?
True
Let n(b) = 115*b - 10. Let q be n(3). Let w be (-56*1)/(15/60). Let m = w + q. Does 45 divide m?
False
Suppose 4*i - 2*o + 3 = -25, 2*i + 2*o = -2. Let k be (-17)/(i/(11 - 1)). Let a = k + 14. Is a a multiple of 6?
True
Suppose 0 = 2*f + y - 2*y - 8, 4*f - 8 = 4*y. Suppose 5*c + h = 2443, 4*c - 5*h = f*c - 991. Suppose 0*t - q - c = -4*t, 5*q = 0. Does 39 divide t?
False
Let v(n) be the third derivative of n**5/60 - 17*n**4/24 + n**3/2 - 159*n**2. Is 51 a factor of v(-22)?
False
Let i = -60225 + 105497. Does 86 divide i?
False
Let z(y) = -35*y - 190. Suppose 0*w + 61 = -4*w - 5*h, 4*w + 21 = 3*h. Does 2 divide z(w)?
False
Let f(m) be the third derivative of -m**4/24 - 2*m**3/3 + 19*m**2. Let w be f(-7). Suppose -2*o = -5*c - 1 + 336, w*o + 275 = 4*c. Is 9 a factor of c?
False
Suppose -5*c - 99 = -549. Let r = c - -64. Does 14 divide r?
True
Suppose 57*t = 953603 - 141353. Is 19 a factor of t?
True
Suppose -5*s + 13*s - 112 = 0. Let y(m) = -m**2 + 19*m + 23. Is y(s) a multiple of 7?
False
Does 101 divide ((1170/(-12))/15)/((-5)/290)?
False
Let t(a) = a**2 - 5*a - 4. Let x be t(6). Suppose -z + 0*z = -2*c + 10, c = -x*z. Suppose -63 = -u - 5*n, n = c*u - 292 + 40. Does 12 divide u?
False
Is 375/4 - 57/(-228) a multiple of 94?
True
Suppose 2*i - 878 = -6*v - 178, 0 = v. Is i a multiple of 14?
True
Let n = -110033 + 164729. Does 24 divide n?
True
Let p = 12690 - 5280. Is 57 a factor of p?
True
Let l be (-7)/(112/12) - 153/(-12). Let p be 24*1*(-6)/l*-6. Suppose 3*h = 6*h - p. Is h a multiple of 5?
False
Suppose 254*n - 725 = 259*n. Let b = 238 - n. Is b a multiple of 23?
False
Suppose j + 1418 - 9140 = 0. Is 13 a factor of j?
True
Let j(u) be the third derivative of u**8/20160 + u**7/1260 - u**6/45 - 11*u**5/60 + 17*u**2. Let i(l) be the third derivative of j(l). Is 41 a factor of i(13)?
True
Let p = 799 - 787. Is p/(-20)*1*(-1449 + -6) a multiple of 72?
False
Suppose 5*d + 3*a - 19 - 755 = 0, 4*d + 5*a - 627 = 0. Does 8 divide (7/(-7))/1 + d?
True
Suppose 10*d - 39*d + 88856 = 0. Is d a multiple of 8?
True
Suppose -8 = -4*d - f - 5, -2*d + 2*f - 6 = 0. Suppose -a = -3*a - 4, d = -b - 5*a + 181. Is b a multiple of 14?
False
Let n = 1956 - 592. Is 11 a factor of n?
True
Suppose 33*b + 20196 = 309342. Is 335 a factor of b?
False
Let x(z) = -79*z**2 - 3*z + 27. Supp