73296 = -31*j - 58*j. Is 79 a factor of j?
False
Let w = 10373 + 6653. Is 43 a factor of w?
False
Let w = 11684 + -6600. Does 41 divide w?
True
Does 103 divide -12 - -18353 - (22/3 + (-2)/6)?
True
Let b(x) = -1550*x - 9323. Is b(-16) a multiple of 67?
True
Suppose 8*f = -199 + 207. Suppose 159 - 23 = 4*k. Is 1887/k + f/(-2) a multiple of 14?
False
Let o = -34 + 130. Let h = 185 - o. Suppose 47 = 2*i - h. Does 17 divide i?
True
Is 62 a factor of (957*3 - -3)*32/48?
False
Let z(d) = 4*d**2 - 31*d + 449. Does 3 divide z(15)?
False
Let u = 12 - 9. Let s(v) = u*v + v**3 - 5*v**2 - 6 + 9*v**2 - 9*v. Does 16 divide s(-4)?
False
Suppose -270 = -2*i + 5*s + 522, 4*i = 2*s + 1568. Suppose -6*f = -1121 - i. Suppose 0*w + f = 6*w. Is 6 a factor of w?
True
Suppose -23 - 1 = -v - 5*p, 4*p - 24 = 4*v. Let r(b) = 3*b**2 - 6*b - 5. Let n be r(v). Suppose 3*f + f - 5*i = 507, 4*i = -n*f + 552. Does 13 divide f?
False
Let g(w) = 3*w**2 + 9*w - 22. Suppose -5*b - 22 = 23. Let f be g(b). Does 12 divide (4/2)/(-4 - f/(-34))?
False
Let o(x) = 26*x**2 + 11*x + 23. Let t be o(13). Suppose -t = -15*l - 4*l. Is 12 a factor of l?
True
Let q be 1*(-4 + (-65)/(-5)). Let b = 24 + q. Is (-5 - b)/(-2) - -2 a multiple of 6?
False
Suppose -8*p - 126638 = -57*p + 230964. Is 82 a factor of p?
True
Suppose 5*b + 5 = j, 1 = b - 3*j + 2. Let o be -29*2/b*(-25)/(-1). Suppose 13*g - o = 3*g. Does 29 divide g?
True
Let w = 121 - 148. Let o = w + 267. Does 11 divide o?
False
Let x be (-2 - 6)*(-2)/4. Let y be x*109 + 4/(-4). Let m = y - 300. Is 13 a factor of m?
False
Let a = 125 + 307. Suppose 3*c = 2*g - 4, -4*c - 4 = 2*g - 4*g. Suppose g*x - a = -4*x. Does 9 divide x?
True
Let n(p) = -p**3 - 15*p**2 - 14*p + 13. Let o be n(-14). Suppose -f + 89*c + 12 = 90*c, 0 = 5*f - c - 36. Suppose f*s = o*s - 1000. Is s a multiple of 20?
True
Let d(j) = -1357*j - 8491. Does 8 divide d(-15)?
True
Let t(o) = 0*o**2 + 2*o - 6 + 9*o**2 - 4*o**2 + 0*o**2 + o**3 + 2*o**2. Let h(r) = -r**3 - 7*r**2 + 2*r + 8. Let d be h(-7). Is t(d) a multiple of 9?
True
Suppose 2 = 4*y - 5*r, 2*r = 7*y - 11*y - 12. Does 14 divide ((-7350)/(-125))/(-3*y/20)?
True
Suppose 0 = -2*v - 12*z + 7*z + 90, v - 2*z = 45. Is v a multiple of 22?
False
Let k = -27 - -30. Suppose -146*t + 152*t = 1002. Suppose 0 = k*y - 680 + t. Is y a multiple of 19?
True
Suppose 10 = -4*g + 46. Let y = 132 - g. Suppose -2*w + 138 = -2*c + 4*c, w + y = 2*c. Is 8 a factor of c?
True
Let l = -5979 - -10269. Does 22 divide l?
True
Let p be (4/(-10))/((-13)/65). Let i be p*5/4*84/105. Suppose i*m - 49 = 71. Does 20 divide m?
True
Suppose 37 + 275 = 3*o. Let f be o/(-120) - -1 - (-17)/(-15). Is 52 + (-1 - f) - (-12)/6 a multiple of 18?
True
Suppose -4*q = -3*x - 11577, -3*x = -16*q + 14*q + 5775. Does 15 divide q?
False
Let i(w) be the first derivative of 2*w**3/3 + 14*w**2 - 6*w + 24. Is 8 a factor of i(-15)?
True
Let y = -7419 + 11567. Is 34 a factor of y?
True
Let g(a) = -3*a - 9. Let c(y) = -y - 3. Let x(j) = -11*c(j) + 4*g(j). Let f be x(11). Let d = 21 + f. Is d a multiple of 3?
False
Suppose 25*b + 1939 = -21*b + 31241. Is b a multiple of 34?
False
Suppose 12*r - 3158 = -17*r + 27*r. Does 36 divide r?
False
Let i(u) = u**3 + 4*u**2 - u - 4. Suppose 5 + 1 = -2*y. Let z be i(y). Suppose z*x - 452 = 436. Is 9 a factor of x?
False
Suppose 5*p + 2*h - 5375 = 2589, 2*h + 1600 = p. Suppose 42*c - p - 2522 = 0. Is 6 a factor of c?
False
Let y be (25/(-3))/(((-24)/9)/8). Suppose 0 = -16*j + y*j - 3249. Does 64 divide j?
False
Let w = -339 - -338. Is 43 a factor of (7 + 1475/5)*w/(-2)?
False
Let y(n) = 2*n**3 - 23*n**2 - 10*n + 15. Let s be y(12). Let c be (-6)/s - (-252)/(-52). Does 10 divide -15*(-5 + c/(-3))?
True
Let q = 23139 + -11739. Is q a multiple of 40?
True
Let f(n) = 4*n**2 + 3. Let p be f(2). Let d = 32 - p. Let k(c) = -c**2 + 16*c - 9. Is k(d) a multiple of 6?
True
Suppose -8*p = -3*p - 760. Suppose 5*c = 4*j + 197 - 72, 5*j - 2*c + p = 0. Is 94/5*j/(-12) a multiple of 4?
False
Let q = 2332 - 692. Suppose 13*g - q = -2. Is 21 a factor of g?
True
Suppose 0 = -236*w + 229*w + 18655. Does 13 divide w?
True
Let h(u) = 940*u + 4709. Let p be h(-5). Suppose 0*n - 5*o + 2 = 2*n, 5*o + 5 = 5*n. Is p - (n + 3)/2 a multiple of 7?
True
Let c(t) = -69*t**3 - 2*t**2 - 68*t - 277. Is 50 a factor of c(-5)?
False
Let s = 20 + -29. Suppose -528 = -4*l - 3*b, -30 + 10 = 5*b. Let h = l + s. Does 18 divide h?
True
Let l(i) = -5*i**3 - 7*i**2 - 12*i - 6. Let c be l(-4). Let w = c - 120. Is w a multiple of 13?
True
Let r be ((-12)/8)/((-9)/30). Suppose -r*j = -72 + 77. Is (j/(1/15))/(1/(-7)) a multiple of 30?
False
Let g(b) be the second derivative of -b**5/20 + b**4/4 + 2*b**3 - 4*b**2 + 5*b. Let p be g(5). Suppose 2*u + 2*x - 352 = 6*x, p*x = 4*u - 704. Does 44 divide u?
True
Suppose -29*r - 61*r = -1345140. Is r a multiple of 53?
True
Suppose -2*v = -c + v + 128, 0 = -5*c + 3*v + 640. Let u = 187 - -152. Let y = u - c. Is 44 a factor of y?
False
Suppose -15*j - 95681 = 71134. Does 2 divide j/(-45) - 6/45?
False
Suppose 235*i - 1483150 = 3303750 + 2081445. Is i a multiple of 11?
True
Does 13 divide (96031/9 - 32) + 2 + (-19)/9?
False
Suppose 42256 - 6544 = 4*j - 3*a, 0 = j - a - 8928. Is j a multiple of 55?
False
Let f(k) = k**3 + 2*k**2 + 27*k - 18. Let r(b) = 6*b + 102. Let s be r(-16). Is f(s) a multiple of 30?
False
Let o = 60811 - 38640. Is 107 a factor of o?
False
Let p(t) = 6*t**2 + 4*t - 4. Let w be p(1). Suppose 4*s + w = -2*v + 2*s, 2*s = -4*v - 12. Is (-280)/v - 10/(-15) a multiple of 19?
False
Suppose 77254 - 23442 = 11*v. Does 29 divide v?
False
Suppose 0 = 6*z + 15 - 27. Suppose -c = z*q - 299, -2 - 7 = 3*c. Is 11 a factor of q?
False
Suppose -18*w - 5*r = -380933 - 252042, -3*w + 5*r = -105490. Is 37 a factor of w?
False
Let m(i) = 128*i - 4632. Is 6 a factor of m(51)?
True
Let u = 12354 + -86197. Is u/77*2*1/(-2) a multiple of 32?
False
Suppose -n = 4*i - 359, 0*i = i - 4*n - 111. Does 8 divide ((-2106)/i)/(90/(-28) + 3)?
False
Let n be (-40)/(-580) + (-502284)/58. Is 18 a factor of 1/(-7 - 60630/n)?
False
Does 17 divide ((-1836)/144)/((-2)/584)?
True
Let d = 823 + 961. Is 4 a factor of d?
True
Suppose 0*z - z + 2*l - 115 = 0, 3*l - 119 = z. Let t = 109 + z. Is 21 a factor of (3/(-9))/(t/(-612))?
False
Let f = 5690 + -4426. Does 158 divide f?
True
Let u = -4073 + 6557. Is u a multiple of 125?
False
Suppose 5*o - 713 = 4*i, o + 4*i = -o + 274. Suppose 4*r + 534 = -2*r. Let k = o + r. Is k a multiple of 30?
False
Let y be ((-1192)/(-12))/(1180/(-195) + 6). Let i = -860 - y. Is i a multiple of 14?
False
Let m(h) = h + 14. Let p be m(-11). Suppose f - 3*f = 5*a - 8, -5*f = -a + 7. Suppose -q - n + 88 = 0, -a*q + p*q - 97 = 2*n. Is q a multiple of 20?
False
Suppose 0 = -8*n + 1506 + 1686. Suppose 0 = -7*v + n - 77. Let q = -6 + v. Is q a multiple of 8?
True
Let p(x) be the second derivative of 17*x**4/2 + x**3/3 - x**2 + 9*x. Let d be p(1). Suppose -7*m + 4*m = -d. Is 34 a factor of m?
True
Suppose -2304116 = -38*n + 467224. Is n a multiple of 34?
True
Let k(j) = 22*j**2 + 444*j - 34. Is k(23) a multiple of 101?
True
Suppose -20*c - 230 = -730. Does 4 divide c?
False
Let v be (-2)/4 + 1846/4. Suppose -3*f + v = -313. Let u = f + -183. Does 4 divide u?
False
Is 46 a factor of (8280/(-35))/(36/(-630))?
True
Suppose -632 = -5*h + 4*h. Suppose -1 = b, -4*k + 5*b - 1369 = -7*k. Suppose 4*z = 4*j + h, 0 = 3*z - j + 6*j - k. Is z a multiple of 13?
True
Let s = 60 + -61. Let q(y) = 44*y + 10. Let h(r) = r. Let j(v) = s*q(v) + 2*h(v). Is 16 a factor of j(-2)?
False
Is 222 a factor of (-73328556)/(-1029) - (14/343)/(-1)?
True
Suppose -260*c = -259*c - 1034. Does 22 divide c?
True
Let j be ((-7)/(-14))/(3/(-138)). Let p = j + -16. Let k = p - -70. Is 6 a factor of k?
False
Let g be (-6 + 7)/(5/(-2) + 2). Let j = g - -7. Suppose 2*d - j*x - 40 = 0, -d + 3*x = -15 - 6. Does 5 divide d?
True
Suppose 569712 = 277*i + 9*i. Is 12 a factor of i?
True
Let s = -125 - -371. Let q = s - 161. Let m = q - -19. Does 27 divide m?
False
Let y be ((-208)/(-24))/(2/(-15)). Is (208/y)/((-3)/150) a multiple of 16?
True
Suppose -77770 = -10*d + 2*d - 2*h, 48600 = 5*d - 5*h. Is d a multiple of 10?
False
Suppose -3872 = -p - 4*h, 2*p + 2*h - 7730 = h. Is 75 a factor of p?
False
S