Let l = 16 - 13. Let d be 5*(39/5 - l). Suppose d = 4*b + 2*h - 18, -10 = 2*h. Is b a multiple of 13?
True
Suppose 0 = -n + 5*r + 25, 16 = 2*n - 2*r - 2. Suppose 7*c + 129 = 9*c - y, 15 = n*y. Suppose -3 + c = j. Is j a multiple of 6?
False
Suppose -4*g + 61986 = h, 4 = 22*h - 24*h. Is 85 a factor of g?
False
Suppose -5*a = n - 52, -n - 13 = -2*a + 5. Suppose -a*z + 6*z = -16. Suppose 286 + 314 = z*p. Does 25 divide p?
True
Does 124 divide 7/(252/1071352) + (114/27 - 4)?
True
Suppose -380*g + 594594 = -302*g. Is 33 a factor of g?
True
Let p(h) = 7*h**2 - 172*h - 21. Is 17 a factor of p(-7)?
False
Let t = 23979 + -23103. Does 3 divide t?
True
Let w(i) = -2*i**2 + 53*i - 57. Let f be w(25). Suppose 2*t - 80 = -f. Does 3 divide t?
False
Let z = 5879 - 5380. Is z even?
False
Let z(c) = 1603*c + 81*c**2 + 8 - 1591*c + 16. Is z(-2) a multiple of 18?
True
Suppose 66*d - 67*d = -4*l - 13, 4*d - 28 = 4*l. Suppose -d*a - 628 = -r + 194, a + 1689 = 2*r. Is 30 a factor of r?
False
Let a(b) = 2*b**2 + 20*b - 7. Let v be a(-11). Let l = v + -12. Suppose -l*r - r + 72 = 0. Is r a multiple of 18?
True
Let a = 26473 - 16216. Is a a multiple of 13?
True
Let c(d) = 16 - d**2 - d**2 + 3*d**2 + 4*d - 2*d. Let t = 0 + 0. Is c(t) a multiple of 4?
True
Let k(q) = 118*q - 1005. Is 2 a factor of k(34)?
False
Suppose -g - 4*j = -12493, -2*j + 42556 = 6*g - 32270. Is 12 a factor of g?
False
Let r(p) = 4*p**2 - 5*p + 5. Suppose 11*s - 55 = -0. Let d be r(s). Suppose -3*q + d = -4*j, 0*q + 4*q - 4*j = 104. Is q a multiple of 16?
False
Let v(g) = g**3 - 9*g**2 + 17*g + 5. Let i be v(6). Let q(r) = 691*r**2 - 4*r. Is q(i) a multiple of 16?
False
Let p = 220 - 214. Is (3636/27)/((-1)/p*-4) a multiple of 10?
False
Let v = 384 + -269. Let d = v + -180. Let s = -35 - d. Is s a multiple of 6?
True
Is (-212 + 4)/((-30)/135) + 7 a multiple of 23?
True
Let s be 3*((-2)/9*21 + 4). Let c(w) = 99*w**2 + 11*w + 22. Is 12 a factor of c(s)?
True
Suppose 5*a = -3*x - 0 + 9, 3*a + 15 = 5*x. Suppose 3*m + x*v = m + 1271, 608 = m - 4*v. Does 21 divide m?
False
Suppose -y - 8 = 0, -2*a - 2424 + 8480 = 3*y. Is 4 a factor of a?
True
Let j = 7 - -11. Let z = 22 - j. Suppose 96 = z*c + 3*b, -b - 39 = -c + 2*b. Is c a multiple of 9?
True
Let b be -5*(8 - 9) - 2. Suppose b*t - 4468 = 812. Does 22 divide t?
True
Is 190 a factor of 22812/30 + ((-8)/(-30))/(78/(-117))?
True
Is 4 - (5 + (-32)/4 - 2137) a multiple of 16?
True
Suppose -9*f + 11*f - 3106 = 5*n, f - 1550 = n. Is f a multiple of 8?
False
Suppose -2*d = -9*k - 14774, 3*k = -8*d + 6*d + 14750. Is d a multiple of 34?
True
Suppose -38*r + 4*r = -9398 - 4168. Is 57 a factor of r?
True
Let l(i) = -i + 21. Let g be l(12). Suppose -14 = -2*y - 5*t, -2*t + g = 4*y - 19. Suppose 0 = y*q - 8*q + 24. Is 6 a factor of q?
True
Let i be 16*(-2)/(-2 + 6). Let s be (-942)/i + (-15)/20. Suppose -4*x + s + 1043 = 0. Is x a multiple of 29?
True
Let c be 1*-2*(-13)/26. Let l = c - -62. Is l a multiple of 3?
True
Let j(u) = 15*u**2 - u**3 + 3*u**2 - 14*u**2 - 2*u**2 + 7*u + 80. Is j(0) a multiple of 5?
True
Suppose 487*c = u + 483*c + 17, 5*c - 25 = 0. Let d(a) be the third derivative of 5*a**4/6 + 2*a**3 + a**2. Does 15 divide d(u)?
False
Let z = 1266 - 658. Let k = -343 + z. Does 35 divide k?
False
Suppose -2*v - 5*u = 3*v - 380, -4*v + 5*u = -304. Let l = 1280 - 1278. Suppose l*p = -2*p + v. Is 19 a factor of p?
True
Suppose 527*s - 3727410 = -2283098 + 2735852. Does 15 divide s?
False
Suppose 0 = 2*y + 4*j - 1478 - 270, -2*j + 10 = 0. Is 24 a factor of ((-21)/42)/((-2)/y)?
True
Let r = -24881 - -47806. Is 35 a factor of r?
True
Let j = -15648 + 69552. Is j a multiple of 25?
False
Let d be ((-17)/(-2))/(4/384*-4). Let m = 323 + d. Let r = -68 + m. Is r a multiple of 14?
False
Let b = 269 - 168. Let t = -35 + b. Let x = 142 - t. Is 25 a factor of x?
False
Suppose 5*g - 91 = -46, 2*j + 4*g = 70618. Does 26 divide j?
False
Let y(w) be the third derivative of -w**4/2 + 7*w**3/6 - 15*w**2. Let r be y(-8). Let z = -53 + r. Does 25 divide z?
True
Let n = 37 + -29. Suppose n*q - 9*q = -147. Is 49 a factor of q?
True
Let s(w) = 30*w - 26. Let x be s(-2). Let d = 798 + x. Is 17 a factor of d?
False
Suppose x - 5*h - 13 - 9 = 0, -3*x = 5*h + 14. Let y(w) = 78*w**3 + 3*w**2 - 10*w + 13. Is y(x) a multiple of 17?
True
Suppose -10 = -2*a + 16. Suppose a*y - 6524 = -y. Is 45 a factor of y?
False
Let t(i) = 62*i**2 - 46*i + 121. Is 30 a factor of t(4)?
False
Suppose 76*o + 85*o - 2130880 = 129*o. Is o a multiple of 8?
False
Suppose 3*k = -2*q + 23, 6*k + 36 = 4*q + 10*k. Suppose -15*b = 4*s - 10*b - 3071, -5*s = -q*b - 3890. Is 43 a factor of s?
True
Is (-4)/6*-84*(1 - -231) a multiple of 8?
True
Let s(k) = 12*k - 53. Let p be s(-10). Let w = p - -277. Is w a multiple of 16?
False
Let c(d) = d**3 - 12*d**2 + 16*d - 31. Let o be (-2)/4*2*(-2 - 9). Does 3 divide c(o)?
True
Suppose 11*v - 90045 = 66287. Suppose 13*l - v = 9981. Is l a multiple of 22?
False
Suppose 2*r + 55 + 31 = 0. Suppose 30*l - 300 = 34*l. Let v = r - l. Is v a multiple of 32?
True
Let c(q) be the second derivative of 7*q**4/4 - 31*q**3/3 + q**2/2 + 85*q. Does 32 divide c(6)?
False
Suppose -4*q = -5*r - 117, 5*q - 2*r = -4*r + 138. Is 26/(1*7/q) a multiple of 10?
False
Let l = 8895 + -6041. Does 19 divide l?
False
Let n = -1051 + 1810. Let y = 1479 - n. Is y a multiple of 24?
True
Let d = -797 - -3790. Is d a multiple of 41?
True
Suppose -2*w = -4*w - 4*m - 4, 0 = -4*w - 4*m. Suppose 2*d - n - 2528 = 0, 2*n = -3*d + w*d + 1264. Is 79 a factor of d?
True
Suppose -929 = 4*a + 5*s, -464 = 12*a - 10*a + 2*s. Is (-4)/(20/a)*(8 + 17) a multiple of 21?
True
Let c(u) = -7*u**3 - 43*u**2 - 21*u + 25. Let d(j) = -4*j**3 - 21*j**2 - 11*j + 12. Let f(v) = -3*c(v) + 5*d(v). Does 37 divide f(-22)?
True
Suppose 163*w = 158*w + 10. Suppose -18 = x + 2*f - 533, 1046 = w*x - 4*f. Is x a multiple of 54?
False
Let d(a) be the first derivative of -a**3/3 + 45*a**2/2 + 124*a - 63. Is 23 a factor of d(0)?
False
Let u = -1658 - -4720. Is 7 a factor of u?
False
Let v = -67 + 65. Let j be v/((2/7)/(-2)). Is 4 a factor of (j/(-5) + 1)*50/(-15)?
False
Suppose 0 = -4*m + 3*z + 15, 5*z = m + 3*z - 10. Suppose m = 18*c - 5735 + 1037. Is c a multiple of 44?
False
Suppose f + 303 = 2851. Is f a multiple of 28?
True
Let m(y) = 91*y + 2329. Is m(17) a multiple of 34?
True
Let y = 418 + -156. Suppose 11*m - y = 10*m. Suppose -m = -5*p + 2*a + 2*a, 4*p - 212 = 2*a. Is p a multiple of 9?
True
Suppose 274 = p - 4*t, -3*p - 4*t = -5*p + 544. Suppose 8*w - p = -w. Let l = w - 5. Is 5 a factor of l?
True
Let b(j) = j**3 + 15*j**2 - 20*j + 23. Let r be b(-16). Suppose -5*o = 5*w - 853 - r, 2*w = -4. Is o a multiple of 38?
True
Let s be 1 - 1862/(-8) - 1/(-4). Suppose -3*x + 177 = -s. Is x - (18/(-5) - 6/(-10)) a multiple of 35?
True
Let u = 3898 - -1090. Is (66/(-8))/((-87)/u) a multiple of 55?
False
Let f = 5704 - 3121. Suppose 8*b + 303 = f. Is b a multiple of 15?
True
Suppose -5*r + 360 = 10*r. Suppose -r*l = -3821 - 4579. Does 14 divide l?
True
Let j = 646 - -30233. Is j a multiple of 14?
False
Let l(c) = 25177*c + 223. Is l(1) a multiple of 200?
True
Suppose k = -5*k - 2*k. Suppose -2*n + 1 = h, k*n + 3*n - h = -1. Let w(g) = -3*g + 50. Does 6 divide w(n)?
False
Let z(t) = -t**2 - 10*t + 127. Let i be z(-23). Let c = 367 - i. Is 11 a factor of c?
True
Let a(g) be the third derivative of g**6/120 - 11*g**5/60 - g**4 - 19*g**3/6 - 4*g**2 - 3*g. Let u be a(13). Let l = u + 108. Does 23 divide l?
True
Let x(t) = t**3 - 10*t**2 + 8*t + 12. Let p be x(9). Suppose -p*d + 2*d = -3*d. Suppose d = -z + 15 - 7. Is z a multiple of 8?
True
Let o(t) = 10*t - 7. Let n be o(3). Suppose 0 = -3*m - v - v + n, -v = -4. Suppose -2*w + 93 + 67 = -m*u, 3*w = 2*u + 251. Does 36 divide w?
False
Let v(y) = 608*y + 49. Is 29 a factor of v(1)?
False
Let a(m) = 309*m + 1079. Is 68 a factor of a(15)?
False
Let i(h) = -70*h + 2201. Is 6 a factor of i(-12)?
False
Let i be (-2)/(-7) - 3/((-42)/(-4)). Suppose 0 = -4*f + 3*q + 1212, -5*f - 2*q + 1538 = -i*f. Is 17 a factor of f?
True
Does 23 divide (78*22/99 - 10)*1038/4?
False
Let p(b) = 492*b - 3936. Does 6 divide p(14)?
True
Let g = 30695 - -13737. Does 57 divide g?
False
Let h = 516 - 523. Is (11 - 2)*h/(105/(-815)) a mu