- 28*k - 5*k**2. Is 5 a factor of j(-19)?
False
Let t(o) = -o**2 - 21*o - 105. Let c be t(-10). Suppose -5*s - 5*p + 690 = 0, 0 = -c*p + 3*p. Is 4 a factor of s?
False
Let v(b) = b**3 + 4*b**2 - 3*b. Let s be v(-4). Suppose -s*l = -27*l + 2520. Does 7 divide l?
True
Suppose -2*x = -x - 3. Suppose 7*k - 2313 = -402. Suppose 0 = 5*l + 3*h - 684, l - x*l + k = h. Does 27 divide l?
True
Suppose 0 = -3*u + 15, 2*u + 5 = -g + 3*u. Let z be g*(3 - 2) + 6. Suppose 29 = -b + 2*b - q, -2*q - z = 0. Is 13 a factor of b?
True
Let d be (8/(-14))/(5 + 108/(-21)). Suppose 2*a + 91 + 139 = d*k, 2*a = 3*k - 174. Is k a multiple of 14?
True
Suppose 100*t + 116459 = 231*t. Is t a multiple of 4?
False
Let g = 229 + -225. Suppose -2*y + 176 = -3*z, 74 + 320 = 5*y + g*z. Is 2 a factor of y?
True
Does 30 divide (((-2739)/(-830))/(3/(-4)))/(2/(-3300))?
True
Suppose -4*k + 566 = 2*c, 7*c - 8*c = -k + 149. Is 12 a factor of k?
True
Is (7857/(-1746))/(1*2/(-1572)) a multiple of 12?
False
Let j be (-1 - (18 - 1)) + 0. Let f be (-15872)/j - (-10)/45. Does 29 divide f/28 - 1/(-2)?
False
Suppose 0 = d - 566 + 404. Let s = d - 80. Is 41 a factor of s?
True
Let m(s) = -s**3 + s**2 - 53*s + 12. Does 19 divide m(-23)?
True
Suppose 165*l - 24354 = 5016. Does 3 divide l?
False
Let k = 85713 - 22578. Is k a multiple of 61?
True
Let k = 42 + -23. Let o = 22 - k. Suppose -o*n - n + 208 = 0. Does 26 divide n?
True
Suppose 0 = -13*k - 1475 - 6390. Let d = k + 1160. Is d a multiple of 57?
False
Suppose -5*n - o + 49848 = -78274, 5*n + 2*o = 128119. Does 79 divide n?
False
Let p(w) = -w**3 + 26*w**2 + 17*w - 110. Is p(22) a multiple of 11?
True
Let z = -209 - -229. Is 7 a factor of 2/(-10) + 7324/z?
False
Does 68 divide 153/(10 + 637/(-64))?
True
Let x be ((-1272)/72)/((3 + -2)/15). Let w = x - -340. Is w a multiple of 5?
True
Let w(n) = -55*n**2 - 4985*n + 11. Is 157 a factor of w(-89)?
False
Let w(l) = 7*l**2 - 4*l - 1. Let z be w(3). Let n be -6 + 252/5 - (4 + 36/(-10)). Suppose -4*r - 6 = x - z, 0 = x + 3*r - n. Is 22 a factor of x?
True
Suppose -4*r + 38 + 94 = 0. Let x = -37 + r. Let n = 84 + x. Is 8 a factor of n?
True
Suppose 0 = -5*h + 5*u - 35, 3*h + 9 = -2*u - 2. Let m be (-2286)/h - (-116)/145. Suppose -5*b = 2*x - m, -4*b - x - 86 = -5*b. Is 20 a factor of b?
False
Suppose -244 = -2*v + 908. Let l be (1*v)/(18/12). Suppose 3*t = 2*b + 288, -4*t + b - 3*b + l = 0. Does 7 divide t?
False
Let q = -156 - -379. Suppose 3*i + q = -119. Let n = i + 134. Is 5 a factor of n?
True
Suppose 830*o - 795*o - 620200 = 0. Does 20 divide o?
True
Suppose -2*l - 3*k + 14842 = 0, -2*k = 5*l - 8*l + 22250. Does 12 divide l?
False
Suppose 33*f + 2 = 31*f, h - f = 3259. Does 46 divide h?
False
Let m(p) = -22*p**2 + 23 - 38*p - 23*p + p**3 + 12*p + 28. Is 3 a factor of m(24)?
True
Let l be 5 - (-3 + -3 - 249). Suppose -3*q = 2*q - l. Is 5 a factor of q?
False
Suppose 2*d - 392 = 4*h + h, 5*h + 4*d = -386. Let q = 83 + h. Suppose 404 = 3*y - t + 141, q*y + 3*t - 429 = 0. Is y a multiple of 15?
False
Let z(l) = 28448*l - 1686. Is 212 a factor of z(2)?
False
Suppose 32212 = 5*m - 2*j, 20*j - 16 = 16*j. Is m a multiple of 6?
True
Is 131 a factor of (-2 + 105)/((-82)/(-10004)) + (-8)/1?
False
Let g(f) = -f**3 + 29*f**2 - 52*f - 38. Is g(-13) a multiple of 14?
False
Let k(m) = 23*m**2 + 5*m + 18. Let b(w) = 68*w**2 + 14*w + 53. Let y(a) = 6*b(a) - 17*k(a). Let f be y(6). Is (-3)/12 - 2*f/(-16) a multiple of 7?
True
Let g be (-49911)/(-262)*1/(3/14). Let l = -624 + g. Is l a multiple of 9?
False
Let f(x) = -803*x - 364. Does 69 divide f(-2)?
True
Let d(b) = 895*b - 1130. Is d(6) a multiple of 27?
False
Let j(s) = s**3 + 8*s**2 - 24*s + 29. Let i be j(-11). Let c be -25*(72/5)/(-2). Let p = c + i. Is p a multiple of 24?
False
Suppose -13*d + 7 = -19. Suppose -1216 = -d*h + 334. Does 46 divide h?
False
Let n = 1041 + -533. Does 10 divide n?
False
Let t(a) = -6*a**3 - a**2 - a + 1. Let b be t(6). Let d = b + 2116. Is 41 a factor of d?
True
Is 19 a factor of ((-30)/(-25))/(92729/(-18550) + 5)?
False
Suppose 2*k + 15 - 321 = 0. Is -2 + (k + -3 - 2) a multiple of 2?
True
Let f be -7 - -23 - (9 - 25/5). Let b(g) = 34*g - 33. Is 9 a factor of b(f)?
False
Let g = -58 + 61. Let t = -41 - -43. Suppose 3*x - t*f = 98, 3*x + g*f - 123 = -0*f. Is 4 a factor of x?
True
Suppose -27*v + 23*v = 8, -4*v + 9300 = 4*c. Is 5 a factor of c?
False
Suppose 5*c = -5*r + 256805, -241575 = -3*c + 3*r - 87480. Is 16 a factor of c?
False
Does 15 divide (-291599)/(-17) + (-42)/(-357)?
False
Let u be (8/(-6))/(5/(-15)). Suppose 9*b - 5*b + 432 = 2*m, 0 = 2*m - 2*b - 436. Suppose u*w = -w + m. Is 11 a factor of w?
True
Suppose -128*l + 345066 = 132586. Does 20 divide l?
True
Suppose 3*z + 256 = -l, 3*l - 5*z + 1300 = 532. Let j = 490 + l. Is j a multiple of 26?
True
Suppose 27*x + 84 = 39*x. Does 10 divide (x - -3)/(3 + (-23)/8)?
True
Suppose 50*s - 49*s = 11. Suppose s*i - 6*i + k - 1590 = 0, -5*i = -k - 1600. Does 3 divide i?
False
Let y be (5 - 3)/((-2)/(-293)). Let x be (53 - 49) + -1 + 0. Suppose 143 + y = 3*m + 2*q, -x*q = 4*m - 582. Is 23 a factor of m?
False
Suppose -38*k + 28*k = 20. Is 27 a factor of (k + (-10)/4)*(-114)/19?
True
Suppose 5*g - 5 = 0, 5*r + 5*g = 6 + 14. Let j be (-500)/(-16) + (1 - r/12). Suppose 18*s = 10*s + j. Does 4 divide s?
True
Let q(p) = p**2 - 14*p - 26. Let l be q(-4). Suppose 0 = l*u - 3409 - 731. Is u a multiple of 9?
True
Does 45 divide (27/24)/(6/169552)?
False
Suppose 376*s - 5770916 = 15232444. Is s a multiple of 15?
True
Let c(b) = 19*b + 10. Let s be c(-3). Let j = s - -44. Is 5 a factor of (-204)/(-15)*j/(12/(-10))?
False
Let j = -19234 - 22174. Is (-114)/(-1653) - j/58 a multiple of 25?
False
Suppose 2*z = 2 + 4. Let j be (1/(2/(-4)))/((-2)/z). Does 4 divide ((-322)/(-6) - -2) + j/9?
True
Let d(m) = -32*m**2 - 4*m + 11. Let i be d(2). Let x = -185 - i. Let q = x + 105. Is 3 a factor of q?
True
Let b = 201 - 31. Suppose b = 2*q - 142. Is 16 a factor of q?
False
Let c = 447 - 429. Suppose c*i - 24333 = -4749. Does 34 divide i?
True
Suppose 3*b = -18, 2*r = 7*b - 2*b + 91590. Does 21 divide r?
True
Suppose 149*z - 484707 + 616628 = 2468241. Is z a multiple of 16?
True
Suppose 6279 = 3*d - n, 4*n = -9*d + 10*d - 2093. Does 23 divide d?
True
Suppose -a = -4*a + 258. Let o = 168 - a. Suppose -3*i - 4*c = -4*i + o, -5*i = -5*c - 470. Is 10 a factor of i?
False
Let z(x) = -10 + 11*x + 789*x**2 - 16 - 768*x**2 - 3*x. Does 11 divide z(5)?
True
Suppose -2*m + 5*m + 18 = 0. Let u(s) = -498*s**3 + 167*s**3 - 6 + 162*s**3 + 168*s**3 + 6*s - 2*s**2. Does 17 divide u(m)?
True
Let y = -124 - -58. Let v be ((-22)/y)/((-1)/(-15)). Suppose -15 = -u - v. Is u a multiple of 5?
True
Let x = -192 - -197. Suppose -939 = -x*s + 766. Is s a multiple of 31?
True
Suppose 1470*n + 155442 = 1475*n - 2*f, 5*n = 3*f + 155438. Is n a multiple of 285?
False
Does 44 divide 5/((15/(-11007))/(-5)) + (-10 - -5)?
False
Does 67 divide (-2352)/(-8)*(532/24 + (-1)/(-6))?
True
Let b = -2312 + 5667. Suppose 4*h = 5*z - 3355, -18*h + 15*h = 5*z - b. Is 61 a factor of z?
True
Suppose 66*h + 542353 - 1428601 = 0. Is 36 a factor of h?
True
Let u be -3 + (-3 - -15)/(-4). Is 18 a factor of 306/(u + 4 - -3)?
True
Let g(a) = a**2 + 6*a + 10. Let w(r) = r + 1. Let s(v) = g(v) + 2*w(v). Let z be s(-7). Suppose 420 = z*q - 15. Does 10 divide q?
False
Let z = -688 - -126. Suppose -4*w = 3*h - 2700, 4*w + 6340 = -22*h + 29*h. Let d = h + z. Does 48 divide d?
False
Let y = -277 - 3. Let b = 550 + y. Is 45 a factor of b?
True
Let m(p) = 11*p**2 - 20*p + 41. Let v be m(17). Let d = 92 + -86. Suppose 14*s - v = d*s. Is 57 a factor of s?
False
Let s(c) = -271*c**3 - 8*c**2 - 5*c + 11. Does 7 divide s(-2)?
False
Let u(o) = -87*o**3 + 36*o**2 + 183*o**3 - 8 - 95*o**3 + 31*o. Does 22 divide u(-35)?
True
Let i = 52607 - 41757. Is i a multiple of 50?
True
Suppose -2*a + 1508 + 952 = 0. Is a a multiple of 15?
True
Suppose -2*g + 8145 = 3*z - 93, 5*g + 2*z - 20606 = 0. Is g a multiple of 48?
False
Let h = 18338 + -9824. Is 6 a factor of h?
True
Let d(m) = -m**3 + 8*m**2 - 10*m - 9. Let o be 64/(-24)*(-18)/8. Let s be d(o). Let i(w) = w**3 - 2*w**2 + 4*w. Is i(s) a multiple of 21?
True
Let b = -27 + 43. Suppose b*d - 12*d = 244. Let w = d - 42. Is 7 a fac