
Let i(y) = 113*y - 29. Does 36 divide i(13)?
True
Let b(n) = -3*n**2 + 6*n + 12. Suppose 5*x + 33 = -z + 4*z, 2*x + 6 = 0. Let t be b(z). Is (1 - 2)/(t/(-62) + -1) a multiple of 18?
False
Let s(t) = 218*t - 3657. Does 16 divide s(27)?
False
Let w(l) = l**2 - 9*l + 45. Suppose 8*t - 117 = -517. Let z = -32 - t. Does 29 divide w(z)?
False
Let p = 15173 + -12163. Is 70 a factor of p?
True
Let a be (3/7 + -1)/(2/(-14)). Suppose 0 = -8*s + 6*s + 4*x + 322, -a*s - 2*x = -654. Suppose 239 + s = 6*r. Is r a multiple of 8?
False
Let r(g) = -g**2 + 3 - 7*g**3 + 6*g**2 + 9 + 8*g**3 - 2*g. Let d be r(-5). Suppose 4*l = 10 + d. Is 8 a factor of l?
True
Let k(u) = u**3 - 12*u**2 - 30*u + 16. Let x be k(14). Let i be x*(86/6 - 5). Let j = -98 - i. Does 14 divide j?
True
Suppose 0 = 9*q + 3 - 57. Suppose q*w - 360 = 1962. Is w a multiple of 16?
False
Let a(x) = 64*x**2 - x. Let q(d) = -62*d**2 + d + 1. Let w(o) = 3*a(o) + 2*q(o). Is w(1) a multiple of 3?
True
Suppose -274*z = -291*z + 11305. Is z a multiple of 19?
True
Let q(n) = 5*n - 5. Suppose p = u - 2 - 4, 0 = -2*u - 2*p. Let r be q(u). Suppose 4 = r*a - 576. Does 29 divide a?
True
Suppose 6*o - 11514 = 2724. Does 21 divide o?
True
Let v(r) = -8*r - 5. Let x be v(-1). Let b be ((-5)/x)/((-1)/48). Suppose -4*g + 3*g = -b. Does 5 divide g?
True
Let c = 61362 + -36821. Does 63 divide c?
False
Let h(w) = -w**2 + 11*w - 22. Let f be h(9). Let l be 4*(11/f + 3). Suppose -34 + l = -j. Is 4 a factor of j?
False
Let n(d) = 3*d**2 - 42*d + 268. Is 2 a factor of n(6)?
True
Suppose 0 = -108*n + 119*n - 57145. Is 47 a factor of n?
False
Let b(q) = -6*q**2 + 4*q - 7. Let j be b(-21). Is 42 a factor of (-3)/(3/4*23/j)?
False
Let p = 80 + -77. Suppose -4*j + 2936 = -p*r + 937, 2*j - 995 = -3*r. Suppose -18*q + j = -1283. Does 11 divide q?
True
Suppose 4*b + 16 = 2*l - 0*b, 5*b + 50 = 5*l. Suppose l*o - 215 = 37. Does 4 divide o?
False
Let k(b) = -29*b. Let m = 47 - 25. Let j = m - 25. Does 16 divide k(j)?
False
Let m be (-12)/(-8)*16/(-6). Let w be (-2 - m/4) + 4. Does 30 divide (-1)/((w/(-90))/1)?
True
Let j = -256 - -261. Suppose -186 = j*d - 1486. Is d a multiple of 12?
False
Let d be 6/(-4)*(1 - 75/(-9)). Let f(l) = -6*l**2 - 267*l - 126. Let v(z) = z**2 + 38*z + 18. Let i(p) = 2*f(p) + 15*v(p). Is i(d) a multiple of 11?
False
Suppose -6*j = -9*j + 1218. Suppose -22*s - j = -29*s. Is 2 a factor of s?
True
Suppose 9614 = 6*b - 16306. Does 48 divide b?
True
Let t(p) = 44*p + 207. Let m be t(9). Let o = -488 + m. Is 9 a factor of o?
False
Let r(d) = -36*d - 126. Let j be r(0). Let o = 217 + j. Is 13 a factor of o?
True
Let d = 16738 - 8042. Is d a multiple of 20?
False
Suppose 3*q + 3*n = 4377, -116*n + 20 = -111*n. Suppose -3*l = 2*j - q, l = 63*j - 66*j + 2200. Does 15 divide j?
True
Let a(r) = 45*r**3 + 45*r**2 - 12*r + 60. Let i(y) = -18*y**3 - 18*y**2 + 5*y - 24. Let z(l) = -5*a(l) - 12*i(l). Does 14 divide z(-4)?
True
Let w(b) = 220*b**2 - 163*b - 768. Is w(-14) a multiple of 173?
True
Let f be 5/20 - 31/(-4). Let z be (-306)/108*18/(-3) - -6. Let h = f + z. Does 10 divide h?
False
Suppose -5*s = -3*d - 25, -5*d - 88 + 29 = -4*s. Let v(l) = -4*l + 48. Is 4 a factor of v(d)?
True
Let m = -13283 + 19505. Does 51 divide m?
True
Suppose 48*x - 24252 = 35604. Does 19 divide x?
False
Let v(n) = 92*n**3 - 77*n**2 + 6*n - 5. Is v(4) a multiple of 55?
True
Suppose 21 = 14*j - 7. Suppose 4*c = -0*o + 5*o + 542, 0 = -2*c - j*o + 262. Is 30 a factor of c?
False
Let p = 347 - -131. Suppose 1201 = a + p. Does 39 divide a?
False
Let n be -4 - (7 + 0)/((-31)/(-806)). Let x = n - -340. Is x a multiple of 11?
True
Let k(v) = 4*v - 17. Suppose -4*b + 5*y = -9*b - 10, 3*y = -3. Let s be b - (-3)/6*26. Is 10 a factor of k(s)?
False
Let q = 1501 + 7178. Is 37 a factor of q?
False
Let k(b) = 4*b**2 + 1 - 6 - 3*b + 3. Suppose 3*c = 2*m + 2, -2*m + 40 = 10*c + 16. Is k(c) a multiple of 4?
True
Suppose 5*a + 0*a = -p + 38, -5*a + 29 = -2*p. Let h = a - -59. Suppose -5*x + 59 = -h. Is x a multiple of 2?
False
Suppose 39*n - 381893 - 603290 = 1104905. Is n a multiple of 84?
True
Let v be ((-22)/440*-8)/((-1)/20). Let y(s) = s**2 + 4*s - 4. Let c be y(-4). Is c/v + 4/(8/31) even?
True
Let i(q) = 208*q + 2460. Does 5 divide i(-10)?
True
Suppose -5*s + 3*l - 622 = l, 0 = 3*s - 2*l + 374. Let d = s - -704. Is 29 a factor of d?
True
Suppose 278*z - 76*z + 367*z = 3457813. Does 104 divide z?
False
Let q = 34743 - 17390. Is 52 a factor of q?
False
Let p = -6659 - -12362. Does 60 divide p?
False
Let r be 0/(8*2/(-4)). Suppose r = 15*o - 12*o - 378. Suppose -t + j + 22 = 0, -5*t + 0*j - 3*j = -o. Is t a multiple of 8?
True
Let v(p) = -p**3 - 9*p**2 - 3*p + 19. Let o = 46 + -41. Suppose -o*j - 37 = 2*s, 3*j - 4*s = s - 47. Is 23 a factor of v(j)?
True
Suppose -3*t + x = 5*x + 18, 4*x + 10 = t. Does 11 divide 103 + (t - -6)*-1 - 0?
True
Suppose 2*z - i - 33 = 0, z - 5*z + 3*i + 71 = 0. Is z/18 + -1 + 27380/90 a multiple of 38?
True
Let h(w) be the first derivative of -w**3/3 + 21*w**2/2 + 30*w - 57. Does 4 divide h(21)?
False
Let x be 1 - (10/60 - (-1)/(-6)). Let m be x/3 + 2941/51. Let b = m - 15. Is 14 a factor of b?
False
Let n(j) = 8*j + 22. Let m(f) = 9*f + 23. Let g(h) = -3*m(h) + 4*n(h). Let x be g(-6). Let a(w) = w**2 + 10*w + 11. Does 11 divide a(x)?
True
Let q(n) = 3*n**3 - 32*n**2 + 6*n - 9. Let i be q(13). Suppose -4*y + 0*m = m - 2494, 3*m - i = -2*y. Is y a multiple of 25?
False
Let h = 12722 - 11882. Is 24 a factor of h?
True
Let i(o) = 12*o + 38*o**2 - 19*o**2 - 16*o**2 - 22 - 38*o. Is i(12) a multiple of 14?
True
Let u(t) = 44*t + 63. Let d be u(19). Let s = 1403 - d. Suppose 0 = -16*c + 14*c + s. Is c a multiple of 31?
False
Let a(d) = d**3 - 93*d**2 + 379*d + 321. Is a(90) a multiple of 33?
True
Suppose 9*v - 57 + 12 = 0. Let i(k) = 5 + 1 + 3*k - 5. Does 8 divide i(v)?
True
Let k(m) = -542*m - 644. Is 29 a factor of k(-19)?
False
Does 42 divide -2 + 19 - 40 - -61475?
False
Suppose 4*g = 280 - 272. Is 8 a factor of 4986/39 + g/13?
True
Let m be 0 + 1/1*5. Suppose -26 = -2*b - 2*b + m*q, -b = 3*q + 2. Suppose -5*t = -0*g + 3*g - 495, 5*t - 500 = -b*g. Is t a multiple of 24?
True
Let a(d) = -3*d + 2. Let f be a(-1). Suppose f*y + 0*y = 180. Is y a multiple of 7?
False
Let t(n) = 23*n**2 - 9*n**2 + n - 10*n**2 + n**3 - 2*n - 30 + 12*n**2. Is 16 a factor of t(-13)?
False
Let c(b) be the third derivative of -b**4/12 + 4*b**3 + 2*b**2. Let o be 21/(-14)*(-14)/3. Is c(o) a multiple of 5?
True
Suppose -8*b = -56478 - 18330. Does 32 divide b?
False
Let t = -2506 + 3778. Is t a multiple of 53?
True
Let a = -10 - -49. Let u = a - 36. Suppose 3*z - u*q = 150, 4*z - 66 = -4*q + 150. Is 13 a factor of z?
True
Let p = 17083 + 2814. Is p a multiple of 248?
False
Let b = 9 - 64. Let c = b + 211. Let k = -100 + c. Does 27 divide k?
False
Let n = -2255 - -3338. Does 7 divide n?
False
Let s be (8 - 9)*(-84)/3. Let n(t) = 9*t - 61. Is n(s) even?
False
Let v = -339 - -234. Suppose -498*x + 499*x = -98. Let o = x - v. Is 3 a factor of o?
False
Let x(y) be the third derivative of 29*y**5/20 + 13*y**4/12 - 8*y**3 + 14*y**2 + 3. Is 16 a factor of x(2)?
True
Suppose -2*l - 5*q = -133, -3*l + 242 + 10 = -3*q. Suppose -l = k - 281. Suppose -215 = -3*o + k. Is 33 a factor of o?
False
Suppose -2*u = 2*u - z - 19846, u - 3*z = 4956. Suppose -u = -19*i + 2068. Does 9 divide i?
False
Suppose -2*u - 1586 = -5*l + l, -2*l = 3*u - 773. Let m = -238 + l. Is 26 a factor of m?
True
Suppose 3*g + 19 = -2*v + 4*v, 2*g = -4*v - 2. Is 8 a factor of ((-918)/36)/(97/50 - v)?
False
Suppose 11*f - 999 = 2*f. Suppose 0 = 2*n + 5*s + 63, f = -3*n - 5*s + 3*s. Let g = 71 + n. Does 7 divide g?
False
Suppose 5*p - f = 3338, 5*p = -22*f + 21*f + 3332. Does 68 divide p?
False
Suppose -3*s + 14635 = -4*x, -744*s + x - 14630 = -747*s. Is s a multiple of 14?
False
Let d = -943 + 937. Let z(l) = 0*l - 5*l + 4 + 7. Is z(d) a multiple of 26?
False
Let f(g) = -g + 10. Let i be 102/5 - (2 - (-16)/(-10)). Suppose -3*u = p + 18, 2*u - i - 2 = 5*p. Is 4 a factor of f(p)?
True
Let a = -161 - -166. Is 13 a factor of (1040/25)/(a/(25/2))?
True
Suppose 88*x = 90*x, 5*x - 283 = -h + 437. Does 12 divide h?
True
Suppose p + a - 22032 = 0, 1452*p - 1448*p + a = 88131. Is 11 a factor of p?
True
Suppos