379 + n = 3*j + 4*o, j + 3*o = 203. Is j a multiple of 9?
False
Suppose 5*c = -3*h + 471, c + 174 = -3*h + 633. Let i be (-107)/1 + (2 - (0 - 1)). Let j = h + i. Is 16 a factor of j?
True
Suppose -8*k = -10*k - 8. Does 19 divide (-2 - (k - -3))*402/(-6)?
False
Suppose 0 = 3*x - 874 + 223. Suppose 22*h = 29*h - x. Does 4 divide h?
False
Let r(i) = i**3 + 19*i**2 - 32. Let z be r(-19). Does 7 divide (-24)/2*248/z?
False
Suppose 13*x - 1441 = 2*x. Let g = 60 - x. Let w = g + 132. Does 14 divide w?
False
Let y(l) = -2*l**3 + 10*l**2 - 2*l - 2. Let q be y(5). Let c be 14/4*q/(-21). Suppose 4*s - c*i + 7*i - 177 = 0, 0 = -5*s + i + 185. Does 12 divide s?
False
Is 26 a factor of (340/60 + -7)*(0 + -8382)?
False
Is 18 a factor of 13*(-13)/(-338)*3066?
False
Suppose -2*i = 7*g - 2*g - 21, -2*i = -2*g + 14. Is 4/((-4)/(-9)) - 0/i a multiple of 3?
True
Let k(s) = s**2 + 94*s - 2969. Is 87 a factor of k(118)?
False
Let a(m) = 1397*m - 1668. Is 140 a factor of a(4)?
True
Let d = 9253 + -3073. Does 9 divide d?
False
Is 10305/6 + 340/(-272)*(-2)/5 a multiple of 3?
False
Let b(p) = 39*p + 9. Let a be b(3). Suppose -5*i = -2*c + 90, 4*i + a = 3*c + i. Let o = c - -34. Is o a multiple of 12?
False
Suppose 0 = -m + 2*m + 3*w + 227, 688 = -3*m - 2*w. Let y = 338 + m. Is 4 a factor of y?
True
Let x = 713 + -339. Let v = -145 + x. Is v a multiple of 7?
False
Let l = -8092 - -13313. Is l a multiple of 8?
False
Let l = -1413 - -6863. Does 50 divide l?
True
Suppose -2*x - 3*o - 9 = -0*o, -5*x - 5*o - 20 = 0. Let k be (3/x + 125)/((-7)/(-42)). Suppose k = 4*t + 24. Is t a multiple of 40?
False
Suppose 4*x = 3*w + 8004, -2*x + 3536 = 3*w - 448. Is x a multiple of 18?
True
Suppose -19587 - 2567 = -22*u. Is u a multiple of 4?
False
Let w(o) = o**3 - 4*o**2 - 13*o - 1. Let x be w(-2). Is (8288/111)/(x/3) a multiple of 14?
True
Suppose -2719*a = -2699*a - 676000. Is a a multiple of 25?
True
Let q be (1 - 3)*(81/(-1) + -4). Suppose 911 = 4*a - 5*l - 484, 1440 = 4*a + 4*l. Let r = a - q. Is r a multiple of 16?
False
Let o = 6104 + 13876. Is o a multiple of 18?
True
Does 3 divide 2/(-17) - (1001042/(-119) + 5)?
False
Let r(u) = -7*u**3 + 4*u**2 + 5*u - 9. Let p be r(4). Let a = p - -1333. Does 18 divide a?
False
Suppose 0 = 40*m + 21870 - 230550. Is m a multiple of 25?
False
Let o = -26 + 37. Let f = -450 + 451. Does 2 divide 10/55 - f*(-163)/o?
False
Let q = -17 + 86. Let k = 531 - q. Is 11 a factor of k?
True
Let i be 1 - -1 - (-2)/1. Let l(q) = q**3 - 21*q**2 - 3. Let j be l(21). Does 11 divide j/(-2) - ((-122)/i + -2)?
False
Let w = 525 - 761. Let n = 527 + w. Does 22 divide n?
False
Let a(f) = 85*f**2 + 233*f + 30. Is 18 a factor of a(13)?
True
Let u = -6667 - -8688. Does 43 divide u?
True
Is 52 a factor of (-86666)/(-34) + ((-4)/(-6))/(4/(-6))?
True
Suppose -388 = 8*u - 3028. Suppose 25 = 5*f, -u = -4*a - 3*f + 105. Is 15 a factor of a?
True
Suppose -4*l = -3*b + 524, -3 - 5 = -2*l. Suppose 4*z + b = 4*s, -2*z - 3*z = 4*s - 225. Let h = 4 + s. Is h a multiple of 27?
True
Suppose 0 = -4*f + 615 - 139. Let x = f - -141. Is x a multiple of 26?
True
Let t be 8/(-60) - 1401/(-45). Suppose 9*o = t*o - 26312. Does 23 divide o?
True
Suppose 0*j + 2*t = -j - 16, 0 = -3*j + 2*t - 32. Does 26 divide 209 - (j/10 - (-52)/(-65))?
False
Let t(r) = -r**2 - 12*r + 33. Let c be t(-14). Suppose 2*l + 3*l - c*k - 200 = 0, 0 = l - 2*k - 45. Does 4 divide l?
False
Suppose n - 4*n - 4*l - 187 = 0, -325 = 5*n + 4*l. Let m = n + 51. Is (m/(-24))/(1/(0 + 144)) a multiple of 34?
False
Does 10 divide (-16)/((-384)/179064) - -14?
False
Let j(y) = 20 + 27*y + 29*y + 15*y - 58*y. Is j(2) a multiple of 8?
False
Suppose -12*b = 5 - 65. Suppose -5*a - 5*x = -675, -x = -0*a - 2*a + 270. Suppose 518 = -3*m + 7*m + 2*l, -m + b*l = -a. Is 19 a factor of m?
False
Let c = 113 - 61. Let o = c + -50. Suppose 9 = -3*m, 2*m - 68 = -o*g - 2*m. Is g a multiple of 12?
False
Let t be ((-6)/4 + -1)*(2 + -4). Suppose -o + 369 = 3*b - 0*b, -5*b - t*o = -605. Is b a multiple of 4?
True
Let d(h) = 0*h + 6*h - h**2 - 4 - h - 3*h + h**3. Let m be d(2). Suppose -m*p + p + 563 = u, -10 = -5*u. Does 17 divide p?
True
Let q(g) = -g**2 - 4*g + 156. Let n be -14 + 1 + (-2)/20*-10. Is 5 a factor of q(n)?
True
Let c(t) = 39*t + 26*t + 9 + t**3 - 106*t + 12*t**2. Is 48 a factor of c(-14)?
False
Let z be (-9 - -13)/((1 - 2)/8). Let m(h) = -h**3 - 30*h**2 + 51*h + 57. Does 43 divide m(z)?
True
Does 364 divide (129 - -1)/(4140/544824)?
True
Let g = 4224 - 8218. Does 3 divide g/(-30) + 34/(-255)?
False
Let c(n) be the third derivative of -13*n**6/120 - n**5/60 - n**4/24 - n**3/6 + 16*n**2. Let j be c(-1). Let r = j + 36. Is r a multiple of 12?
True
Let t(f) be the first derivative of f**2/2 - 5*f + 1. Let x be t(8). Suppose -4*n + 7 = -x*n. Is n a multiple of 5?
False
Let x(f) = 5*f**3 + f**2 - f. Let z be x(1). Let n(t) = -27*t**2 - t - 33. Let a(k) = 14*k**2 + k + 16. Let y(u) = -7*a(u) - 4*n(u). Is y(z) a multiple of 17?
True
Let d = -2718 + 21489. Does 89 divide d?
False
Let d(c) = -9*c - 13. Let f be d(-2). Suppose 0 = -3*n - 3*o + 1437, -f*o - 5 = -0. Is n a multiple of 16?
True
Suppose -12*o = -7*o - 5*l - 1600, -2*o - 3*l = -665. Suppose 3125 = 10*s + o. Does 9 divide s?
False
Is (-650336)/(-64) + (-15)/10 a multiple of 40?
True
Suppose 0 = -175*v + 163*v + 70440. Is 25 a factor of v?
False
Suppose 2576 = 3*p + 4*q + 877, -2853 = -5*p + 4*q. Let w = p - -228. Does 41 divide w?
False
Let i be (-9)/(-36) + 5 + 2/(-8). Suppose 0*d + i*m = 4*d - 987, 5*m + 228 = d. Is d a multiple of 11?
True
Suppose -23*l - 84410 = -132*l - 6*l. Does 8 divide l?
False
Is 31 a factor of 38/760 - 274878/(-40)?
False
Suppose 0 = k + 4*w + 548, 26*k - 4*w = 30*k + 2204. Let i = k - -1075. Is i a multiple of 16?
False
Suppose -7462 + 1974 = -7*f. Suppose -780*m - 4576 = -f*m. Is m a multiple of 13?
True
Is 89 a factor of (51 - 58)*2*(-6940)/8?
False
Suppose 2 + 13 = 5*o, -27231 = -3*t - 5*o. Is 18 a factor of ((t/40)/(-9))/(1/(-5))?
True
Let s(q) = q**3 - 5*q**2 + q. Let o be s(5). Let k = -2403 + 2504. Suppose o*u = -3*i + k, -163 = -3*i - i - u. Is 14 a factor of i?
True
Let h = 125 - 267. Let j = h + 304. Is j a multiple of 19?
False
Let q be (-1 - 3/1) + 14. Let o = 116 - 40. Suppose -q*y = -9*y - o. Is 9 a factor of y?
False
Let d(h) = -102*h**2 + 1. Let r be d(-1). Let b(g) = -30*g - 683. Let x be b(-17). Let y = r - x. Is 12 a factor of y?
True
Does 46 divide (-1 - -7) + -1 + 13668?
False
Let k(b) = -11*b + 21. Let z(x) = 12*x - 22. Let l(u) = 2*k(u) + 3*z(u). Let j(r) = -8*r**2 - 75*r - 85. Let m be j(-8). Does 18 divide l(m)?
True
Let t = 1049 - -1182. Is 23 a factor of t?
True
Let c(m) = -40*m - 23. Let f(g) = 37*g + 23. Let n(o) = -4*c(o) - 3*f(o). Is 61 a factor of n(7)?
True
Let r be (-6)/(-3)*(-2)/(-4). Suppose 0 = -3*n - 9, 4*a + 2*n = -3*n + r. Suppose 4*y - 12 = -4*x, a*x + 5*y = -5 + 16. Does 2 divide x?
True
Let y be -1 + 5*(-182)/(-35). Suppose -y*b = -26*b + 193. Does 30 divide b?
False
Let k(u) = 11*u**2 - u + 10. Let f be k(6). Suppose 0*y - f = 2*y. Let n = y + 290. Does 10 divide n?
True
Let y = 57425 + -18308. Is 172 a factor of y?
False
Let c(b) = 36*b**3 + 2*b**2 - 161 + 82 - 4*b + 81. Let h be c(1). Suppose -h*v + 552 = -32*v. Is v a multiple of 24?
False
Suppose 3*h + 135 = 306. Suppose h*y - 44 = 56*y. Is y a multiple of 22?
True
Let k = 609 + -599. Suppose k*h - 1992 = 2638. Is h a multiple of 37?
False
Suppose -45455 = -22*q + 136111. Is q a multiple of 16?
False
Let s = -11223 - -24425. Is s a multiple of 82?
True
Let d(b) = -b**2 + 9*b - 11. Suppose 3*q - 23 = s, 5*s - s = q - 26. Let g be d(q). Suppose 14*u - 245 = g*u. Is 15 a factor of u?
False
Let h(k) = -10*k**3 + k**2 + 3*k - 2. Let d be h(2). Let f = -533 - -502. Let n = f - d. Does 8 divide n?
False
Is (-1358)/(-3) - (-10 + 494/39) a multiple of 15?
True
Let l = 7426 - 5307. Is 110 a factor of l?
False
Let l(f) = 304*f**2 + 46*f - 21. Is l(4) a multiple of 6?
False
Let j(s) = 2*s + 29. Let y be j(-12). Suppose 5*w + m + y = 29, -12 = -2*w - m. Suppose 0 = 4*r - x - 58, -w*r + 36 = -r + 3*x. Is 4 a factor of r?
False
Let l(v) = 6*v - 22. Let h be l(10). Let r be 57/(h/16 + -2). Suppose 0 = -4*t + 2*f + r, -5*f + 38 = t - 9*f. Is 34 a factor of t?
False
Suppo