6)?
False
Suppose 3*x + 2*r + 259 = 0, 0*x + 88 = -x + r. Let o = 18 - x. Let j = 45 + o. Is 15 a factor of j?
True
Suppose -29 = -4*k + j - 2*j, 5*k + j = 36. Suppose 48 = k*d - 4*d. Suppose 5*l + 41 = 2*x, -2*l - 34 - d = -2*x. Is x a multiple of 28?
True
Suppose -5*k + 17270 = -8*y + 10*y, -3*y = -4*k + 13839. Is 48 a factor of k?
True
Let l be 1/((2/1)/(-4)). Let u be ((-34)/5 - l)/((-9)/390). Let j = u - 114. Is 9 a factor of j?
False
Let w = -362 - -677. Let h = 379 - w. Does 4 divide h?
True
Let v(g) = 11 + 0 + g**2 - 1 + 9*g + 3. Let z be v(-6). Let y(w) = w**3 + 7*w**2 + 6*w + 2. Is 3 a factor of y(z)?
False
Let j be -6255 - (-6)/1*(-8)/(-16). Does 35 divide (j/18 + -1)*-1*3?
False
Let h be 243/(-3*(-8)/16). Suppose 0 = -4*q + 5*t + 364, 3*q - 454 = -t - h. Is 32 a factor of q?
True
Is ((-541650)/375)/((-14)/35) a multiple of 59?
False
Let m = 32 + -30. Suppose m*o = 88 - 26. Suppose -o = -4*h + 281. Is h a multiple of 6?
True
Let f = -70 + 74. Suppose -5*r + 249 = 3*l, -f*r + 3*l + 186 = l. Suppose 0 = r*y - 46*y - 104. Does 13 divide y?
True
Suppose 2*w - 12 = -w, -2*u + 5*w - 8 = 0. Suppose -a + 20 = -m, 0 = -5*m + u + 4. Is 3 a factor of a?
False
Let r = -69 - -63. Let j(p) = 5*p**2 - 18*p + 1. Let c be j(r). Suppose -2*o + 3*i + c = 0, o + 2*i = -2*i + 117. Is o a multiple of 18?
False
Suppose -36177 = -26*i + 326003. Is 35 a factor of i?
True
Suppose 7*z + 40942 = 12*z - 8*x, 2*z + 5*x = 16385. Is 5 a factor of z?
True
Is 1800*168/(-32)*(-10)/35 a multiple of 36?
True
Suppose v + 7 = 2*n, -9*n + 4*v = -14*n + 50. Let a be 16/60*20 + (-2)/n. Is 5 a factor of (-4)/a - 94/(-5)?
False
Suppose 2*m + 12 = 22. Suppose m*v + 5*r - 3*r - 691 = 0, 552 = 4*v + 2*r. Let k = v + -87. Is k a multiple of 10?
False
Suppose -p = 2*p + 4*m - 34, 2*p = -4*m + 24. Let x = 14 + 28. Suppose -v - 5*w = -p, 0 = -5*v + w + 138 + x. Is 8 a factor of v?
False
Let k = 18441 + -17897. Does 17 divide k?
True
Suppose j - 3*n - 7 = 0, 3*j = 6*j + 4*n - 8. Suppose 3*c + 840 = j*q - 1163, 4*c = 5*q - 2505. Is q a multiple of 28?
False
Let i = -2790 + 1508. Let w = i - -1935. Is 21 a factor of w?
False
Is 31 a factor of (14262/(-9))/(((-175)/21)/25)?
False
Let l(z) = z - 2*z**2 - 10 + 3*z**2 + 2 - 7. Let y(j) = -j**2 - 32*j - 54. Let d be y(-30). Is 9 a factor of l(d)?
True
Suppose o = 4*s - 47585, 5*s + 5*o - 72953 = -13503. Is 5 a factor of s?
True
Let w(r) = r**2 - 11*r - 5. Let z be w(8). Let x = z + 41. Suppose o + x = 126. Is o a multiple of 19?
True
Suppose 2*s - 5*s - 9516 = 0. Let u be (-1)/((-8)/6) - s/16. Let p = -107 + u. Is p a multiple of 11?
False
Let j(v) = 2*v**2 - 75*v - 252. Does 13 divide j(-64)?
True
Suppose 8*o - 10*o + 2040 = 0. Let x = 1603 - o. Is 53 a factor of x?
True
Let t = -165 - -275. Let w = -58 + 72. Suppose -w*l + 9*l = -t. Does 13 divide l?
False
Let u be (0 - -2 - 0)*20/8. Suppose 0 = 5*k - 5*q - 1150, -u*k = 2*q + q - 1126. Is k a multiple of 13?
False
Suppose 4*i = -2*h + h + 842, 2 = h. Let x = i - 149. Is x a multiple of 25?
False
Let y = -58 + -18. Let k be y/10 - 8/20. Let w(o) = o**2 - 3*o - 2. Is w(k) a multiple of 43?
True
Let q = 54 + -57. Let z be 4/(-4) - (q - 13/1). Let r(c) = c**2 - 11*c - 31. Is r(z) a multiple of 7?
False
Let v(u) = 8*u**3 + 3*u**2 - 40*u - 71. Is 11 a factor of v(9)?
False
Suppose -5*g + 0 = 10, 0 = 2*c + 3*g - 6. Suppose 20*y = c*y + 7840. Does 56 divide y?
True
Let q(m) = 7*m + 26. Suppose -j + 7*j = -126. Let o be q(j). Let d = o + 179. Is d a multiple of 7?
False
Is 232 a factor of 543818/(9 + 13) + -1?
False
Let v(w) = 17 + w + 5*w + w - 2. Let l be v(-4). Let m = l + 39. Does 17 divide m?
False
Suppose -3*o + 5*d = o - 334, 0 = 5*o - 4*d - 422. Suppose 5*h - o = -3*i + 208, -4*h = 2*i - 236. Suppose 0 = 8*t - 11*t + h. Is 4 a factor of t?
True
Suppose 0 = l - 3*l - m, -l + 6 = -m. Suppose 5*d + 15 = l*d, 4*y + 25 = -5*d. Suppose 36*p - 41*p + 870 = y. Is 16 a factor of p?
False
Is 168 a factor of (-51940)/(-12) + (-600)/45 + 12?
False
Let i(s) = -39*s - 177. Let t(j) = 25*j + 37. Let l be t(-2). Is 10 a factor of i(l)?
True
Suppose -21*k = -28 - 161. Does 17 divide 1392/k - (-110)/(-66)?
True
Let y(t) = 2454*t**2 + 2*t + 10. Is 14 a factor of y(-2)?
False
Suppose 20237 = 4*f - 3*i, -36*f + 2*i = -32*f - 20230. Does 4 divide f?
False
Let t(o) = 3*o**2 + 4*o - 2. Let g be t(1). Suppose -1134 = -g*s + 2*s. Is 21 a factor of s?
True
Is (28/(-20) + 1)/(5 + 313255/(-62650)) a multiple of 11?
False
Suppose w - 2*y = 7, 4*y - 7 = w - 20. Is (-31 - -34) + (w + 143 - -1) a multiple of 12?
False
Let a(o) = o**3 + 32*o**2 - 150*o + 39. Is a(-29) a multiple of 32?
True
Does 22 divide (6306 - 17) + (9 - (-15)/(-3))?
False
Let r(i) = 2*i**2 + 11*i - 8. Let m(q) = -q**3 + 29*q**2 - 28*q - 8. Let a(z) = -7*z + 28. Let b be a(0). Let f be m(b). Is 14 a factor of r(f)?
False
Let n = 58 + -50. Suppose 4*z = n - 0. Suppose z*d + 0*r + 5*r - 47 = 0, 2*d - 5*r = 97. Is 18 a factor of d?
True
Let a(m) be the third derivative of -m**6/120 + 2*m**5/15 - m**4/8 - m**3/2 - 20*m**2 - 8. Let t = -14 + 20. Does 4 divide a(t)?
False
Let b(c) = 13*c**2 + 3*c + 22*c**3 - 61*c**3 + 7*c**2 - 17*c**2. Is b(-1) a multiple of 13?
True
Let n = -10214 + 27707. Is n/102 + (-2)/(-4) a multiple of 15?
False
Let f(m) = -12*m**2 + 115*m + 4. Let l be f(8). Suppose -l*q = -163*q + 10311. Is 53 a factor of q?
False
Suppose 2*i - 15 = -i. Let f(y) = y**2 - y - 18. Let j be f(i). Suppose j*q - 106 = -a, -2*q = a + q - 109. Is a a multiple of 10?
True
Let b = 431 - -43. Is 36 a factor of b?
False
Let y be (-9 - 15/(-5))/(-2) - -1021. Suppose -3*d + y = 13*d. Does 4 divide d?
True
Let b(q) = q + 40. Let h be b(-19). Let p(u) = 6 + 19*u - 2*u + h*u. Is 28 a factor of p(3)?
False
Suppose -5*w - 2*h = -248, -47 = -w - 4*h - 1. Let p = 54 - w. Let l(q) = -q**3 + 7*q**2 - q - 8. Is l(p) a multiple of 31?
False
Is (-3 + -7039)/(-7) - -10 a multiple of 8?
True
Suppose -4*q - 2*s = -14, 0*s - 8 = -q - 2*s. Suppose -4 = -2*v + 2*a, -6*v + 4*a = -5*v + 7. Is (q/5)/(v/225) a multiple of 9?
True
Let a = 45 - 41. Suppose -24 = -a*y + 84. Suppose y*x + 315 = 32*x. Is 21 a factor of x?
True
Suppose 15*h + 62649 = 271865 + 90934. Is h a multiple of 138?
True
Suppose -o - 3*o = -5*v - 6, 12 = 4*v + o. Suppose -5*w + 2*w - 13 = 5*y, -v*w - 12 = 4*y. Suppose -6*m + w*m + 132 = 0. Is m a multiple of 11?
True
Let h be (-1)/4 - (6/(-24))/1. Suppose 3 + h = o. Suppose -31 = -o*f - 4*s, f = -f - 4*s + 22. Is 9 a factor of f?
True
Let q(d) = 23*d**2 - 16*d - 104. Does 82 divide q(-4)?
True
Suppose 0 = 241*z - 251*z + 62230. Does 11 divide z?
False
Let g(m) = 6*m**2 + m + 3. Let p = 1 - -11. Let k be (2/(-4))/((-2)/p). Is g(k) a multiple of 11?
False
Let d(a) = -3*a**2 + 20*a - 9. Let h(w) = w**3 - 2*w**2 - w. Let q be h(3). Let c be d(q). Suppose -c*v + 102 = -213. Is v a multiple of 21?
True
Suppose 2*c - 81526 = -5*z, -138*c = 4*z - 143*c - 65168. Does 114 divide z?
True
Suppose 3*a - 4 - 2 = 0. Suppose -2*k - 1020 = -2*j, 2*j - 3*k + a*k - 1020 = 0. Is 34 a factor of j?
True
Let g(m) = -18*m - 1320. Is g(-132) even?
True
Let a(x) be the third derivative of -5*x**4/24 - 13*x**3/2 - 6*x**2. Let c be a(-9). Suppose c*o = 5*o + 222. Is o a multiple of 18?
False
Let d(h) = 9*h - 87. Let w = 52 - 48. Suppose -w*u - 41 = -4*m + 35, 0 = 5*m + 2*u - 81. Is d(m) a multiple of 8?
False
Suppose 15*o - 218 = -203. Is (o - -8 - -160) + 9 a multiple of 5?
False
Let l be -170*(-4)/18 - 8/(-36). Let s = -35 + l. Suppose -2*v - s*y + 55 = -103, -4*y = 3*v - 236. Is v a multiple of 14?
False
Let x = 2976 - 4274. Let v = -851 - x. Is v a multiple of 16?
False
Let r(o) = 2330*o**2 - 445*o - 444. Is r(-1) a multiple of 36?
False
Let d(c) = -3*c**3 - 6*c**2 + 6*c + 7. Let u = 267 - 271. Is d(u) a multiple of 4?
False
Let s = 1706 + 4025. Does 47 divide s?
False
Is 36 a factor of (135/4*(-210)/(-75))/((-60)/(-640))?
True
Suppose 0 = 4*w + 4, -2*w + 98 = -0*s + 5*s. Let z = 305 + s. Is 13 a factor of z?
True
Let a(n) = 46*n + 3352. Is 26 a factor of a(17)?
True
Suppose d - 38278 = n + 34118, -217158 = -3*d - 2*n. Does 15 divide d?
True
Let k(y) = -y**3 + 8*y**2 + 12*y - 22. Let l be k(9). Suppose 2*u + 376 = 4*t + 3*u, -495 = -5*t + l*u. Is 5 a factor of t?
True
Let i(p) = p + 18.