ppose 24 = -13*t + 17*t. Is (3*-5)/(44/8 - t) a multiple of 4?
False
Suppose -679296 = -108*c - 154*c + 88*c. Is 61 a factor of c?
True
Suppose 5*w - 100 = -3*h, 5*h - 59 - 97 = -3*w. Suppose 34*i = 31*i + h. Does 20 divide (16/i)/((-14)/(-875))?
True
Suppose -136*o - 239227 = 33*o - 630800. Does 38 divide o?
False
Is 11*(-401)/(-11) + 19 a multiple of 60?
True
Suppose 3*n = -4*q + 183236, 0 = -5*q + 17*n - 12*n + 229080. Does 13 divide q?
True
Suppose 4*r = -225 - 115. Suppose -c = 2*c + 285. Let o = r - c. Is o a multiple of 7?
False
Suppose 0 = -z - 1 + 10. Let b = -41 + 17. Let r = z - b. Is 3 a factor of r?
True
Let s = 4678 - 3517. Is 50 a factor of s?
False
Let w(u) = u**3 + 8*u**2 + 5*u + 4. Let d = 280 - 284. Is w(d) a multiple of 8?
True
Suppose -20*p = 83*p - 392018. Is 11 a factor of p?
True
Let h(y) = -3505*y - 2725. Is h(-9) a multiple of 22?
True
Let g = 388 + -380. Is 2 a factor of g?
True
Suppose -27*a = -12*a - 4935. Suppose 16 = 4*n, a - 139 = 5*o + 5*n. Is 7 a factor of o?
False
Suppose 14*f - 143616 = -19*f. Does 34 divide f?
True
Suppose -15*q + 18154 = 7*q - 9214. Does 2 divide q?
True
Suppose 0 = -17*f - 45*f - 5*f + 185724. Is f a multiple of 36?
True
Let s(g) = g**3 + 16*g**2 + 12*g - 5. Let i be s(-15). Suppose 8*r - 4*r + i = 0. Does 12 divide ((-72)/r)/(9/45)?
True
Let n(u) = 8*u - 67. Let j be n(9). Suppose -4*y + 780 = 4*k, -4*k - j + 17 = 0. Is y a multiple of 12?
True
Suppose 3 + 5 = 2*h. Suppose -2 - 16 = -5*q + z, -q - h = -4*z. Suppose 5*y - 84 = -3*l, 3*l - 3*y - 84 = -q*y. Is 5 a factor of l?
False
Suppose 2*x - 5*x = -2*u - 489, 5*u = -3*x + 510. Let r be 1/4 + x/12. Is 5 a factor of r/(-28)*(-1 - 63)?
False
Is 14 a factor of (-9 + (-496)/(-64))*-23492?
False
Suppose -4*c = 5*q - 4241, -4*q - 5*c + 3107 + 284 = 0. Let b = 1449 - q. Does 20 divide b?
True
Suppose 3*c - 2955 = -13*h, -2*h - 3*c + 324 = -123. Is h even?
True
Let o = -29 - -41. Suppose o*v + 820 = 8452. Is v a multiple of 27?
False
Let f(a) = 4*a**2 + 11*a + 15. Let l(d) = -d**2 - d + 1. Let z(p) = f(p) + 2*l(p). Let y be z(-14). Suppose 6*n - 1465 = -y. Does 29 divide n?
False
Let n(u) = -u**3 - 7*u**2 - 5*u - 2. Let l be n(-5). Let w = 82 + l. Let j = -31 + w. Is 5 a factor of j?
False
Let o = 20 + -18. Suppose o*d + 2 - 4 = 0. Is 11 a factor of d/2 + 162/4?
False
Let c be 27/(-5) + (-413)/(-295). Does 6 divide ((-48)/54)/(c/(-6))*-510?
False
Suppose -139761 = -3*s - 3*h - 49581, -5*s + 150293 = 4*h. Is s a multiple of 41?
True
Let k = 94 + 19. Suppose -3*b = -3*q - k + 29, -96 = -3*b - 3*q. Is 6 a factor of b?
True
Does 85 divide 66780/27*(-63)/(-6)?
False
Is 6 a factor of 1916 + ((-2)/(-6))/(6/54)?
False
Let o = -10690 - -18097. Is 10 a factor of o?
False
Let l(m) = 10*m**2 - 1. Let d be l(1). Let g(b) = b**2 - 2*b - 26. Let u be g(d). Is 13 a factor of u - (-1 - (1 - 3))?
False
Let o = -442 + 283. Let u = -132 - o. Is 26 a factor of u?
False
Let p = -9197 - -13089. Is p a multiple of 68?
False
Let n(g) = -25766*g - 3068. Is n(-2) a multiple of 16?
True
Let j = -345 - -345. Suppose j = -7*a + 2*a + 3565. Does 16 divide a?
False
Let k(g) = -25 + 96*g - 198*g + 98*g. Let l be k(-8). Suppose 688 = l*t - 460. Is 21 a factor of t?
False
Let o be (-6 + (-735)/(-14))*(0 - -2). Suppose 2*j - 3 = o. Is j a multiple of 21?
False
Suppose -32*t + 9440 + 262624 = 0. Is t a multiple of 39?
True
Is 29 a factor of 7646 + 5 + ((-8)/(-44) - (-53)/11)?
True
Let g(s) = s**2 - 13*s - 6. Let w be g(8). Suppose -73*a - 924 = -67*a. Let p = w - a. Does 9 divide p?
True
Let c(z) = -2*z**3 + 16*z**2 + 2*z + 1242. Does 18 divide c(0)?
True
Suppose -59 = -2*p - 43. Suppose p*y = 785 + 575. Does 17 divide y?
True
Let a be 2/(-5) + 832/5. Suppose 4*s + 218 = -266. Let q = s + a. Is 45 a factor of q?
True
Suppose 47 = 3*x + 65, -18123 = -5*k + 3*x. Does 3 divide k?
True
Suppose 142*s + 16287 = 145*s - i, -s + 5445 = 5*i. Is 24 a factor of s?
False
Let p(i) = -397*i**3 + 11*i**2 + 7*i + 10. Is p(-5) a multiple of 105?
True
Let m(r) = r**2 - 14*r + 40. Let a be m(10). Suppose 5*w - 3*w - 3*n - 610 = a, -5*n = -3*w + 914. Is 14 a factor of w?
True
Let t(q) = -6*q + 2240. Is 10 a factor of t(100)?
True
Let m(s) = 5*s**3 + 9*s**2 + 38*s - 610. Does 73 divide m(12)?
True
Let a be (-1)/(-1)*9/(81/36). Is 39 a factor of ((-16)/(-24) - a/(-21))*819?
True
Suppose -3*j - 8 = -s, 0 = -0*j - 4*j + 4*s - 24. Let a(n) = -n**2 - n. Let z(x) = -5*x**2 + 7*x + 9. Let r(o) = j*z(o) + 6*a(o). Is r(-9) a multiple of 19?
False
Let x(o) = -14*o**3 + 3*o**2 - 3*o + 8. Let q(z) = z**3 - z**2 + z - 1. Let n(c) = 6*q(c) + x(c). Is 14 a factor of n(-3)?
True
Does 125 divide ((130/(-39))/((-12)/(-207)))/(2/(-200))?
True
Let n be (-40638)/65*30/(-4). Suppose 0 = 2*k - k + 2*i - 1186, 0 = -4*k + 3*i + n. Does 49 divide k?
True
Let b be ((-1263)/(-6))/(-1) - 1/2. Let z = b + 600. Does 25 divide z?
False
Suppose -37*n = -4*n - 11*n - 85822. Is 2 a factor of n?
False
Let u(j) = 362*j + 46. Let d be u(13). Suppose -552 = 14*n - d. Does 5 divide n?
True
Suppose 0*t + 2*b = t + 6, -34 = 4*t + 2*b. Let s be (-1)/(-8) - (-25)/t. Is (-7*s/(-12))/((-2)/320) a multiple of 36?
False
Suppose -5*d - 5*f - 24900 = -125215, f = 3*d - 60197. Is d a multiple of 27?
False
Let p be (5 - (-41 - 1)) + -2. Suppose -13*z = -p*z + 1856. Does 3 divide z?
False
Suppose 8902 - 834 = 8*q - 8124. Does 23 divide q?
True
Suppose 152*t - 151*t = 2. Suppose -3*r = t*s - 605, 2*r - 3*s - 135 - 277 = 0. Is 26 a factor of r?
False
Let d(k) = -16*k + 5*k - 29*k - 20 - 2. Let t be d(-9). Suppose -4*o + t - 18 = 0. Does 5 divide o?
True
Suppose -v = 3*r + 5, 2*v + 0*r + 6 = -4*r. Let d be (v/(-2))/((-5)/30). Suppose -d*l = -154 - 134. Is 12 a factor of l?
True
Let j be 124*(-9)/(-216) + (-1)/6. Let d(v) = 197*v - 135. Does 36 divide d(j)?
False
Let q be (-1)/(1 + (-285)/288). Suppose -16*o - 122 - 230 = 0. Is 1 + 0/1 - (q + o) a multiple of 17?
True
Let s = -23 + 5. Let p(g) = g**2 + 17*g - 15. Let i be p(s). Suppose -i*k - 288 = -9*k. Is k a multiple of 16?
True
Suppose 11*r - 10*r = 158. Let i = 318 - r. Does 40 divide i?
True
Suppose -4*r + 3*z + 51233 = 6*z, r - z = 12803. Is 19 a factor of r?
True
Suppose 489 + 666 = -21*f. Let i(q) = q**3 - 8*q**2 + 7*q + 1. Let z be i(5). Let k = z - f. Is k a multiple of 16?
True
Let g = 615 + 23. Suppose 5*j - 3992 = -l - 790, 0 = -j + l + g. Suppose -5*m + f + 135 = -910, -3*m - 2*f = -j. Is 15 a factor of m?
True
Let r be ((-16)/2)/(10*9/45). Is 23 a factor of (3 - r)*-3*23/(-3)?
True
Let c be -9 - 246/(-42) - (-1)/7. Let f = -275 - -180. Is 19 a factor of f/4*-1 - c/(-4)?
False
Let r be -256 - (3 + 2) - 2*1. Let s = -130 - r. Is 36 a factor of s?
False
Let s be 82/4 - 5*2/20. Suppose -3*r - s = r, 4*c - 940 = 4*r. Is 24 a factor of c?
False
Let d(g) = 3*g + 8. Let u be d(-1). Suppose 0 = -3*h + 3*b + 431 + 115, 0 = -4*h - u*b + 728. Is h a multiple of 7?
True
Suppose 40 = -17*d + 12*d. Let q be (3942/(-12))/3*d/6. Suppose -5*r = -576 + q. Does 6 divide r?
False
Let a = 26097 + -631. Is 17 a factor of a?
True
Let w(i) = -i**2 - 9*i. Let f be w(-10). Let l be (5/2)/((-5)/f). Suppose l*r - 364 = -2*r. Is 15 a factor of r?
False
Suppose 30*t = 32*t - 2*z - 19678, 4*t = -3*z + 39328. Is 105 a factor of t?
False
Let u(d) = -6*d + 52. Let k be u(17). Let v = k - -57. Is v a multiple of 7?
True
Let c be (2/8)/(-1) + 20/80. Suppose 2*a + c*a + 4*s = 176, -5*a - s = -422. Does 28 divide a?
True
Suppose 0*v = 3*n + 4*v - 22, 5*n = -5*v + 40. Let g be 311 - (-5)/n*(2 + 0). Is (-2 + g/(-9))/((-9)/27) a multiple of 27?
False
Let i(w) = -w**2 + 5*w + 136. Let y be i(-32). Let t = 1480 + y. Does 16 divide t?
True
Suppose 0 = -108*y + 106*y + 26. Let u(j) = 79*j - 26. Is u(y) a multiple of 13?
True
Suppose 0 = -5*u + 8*u - 12. Suppose 4*h + 3*k = -73, -2*k + k + 61 = -u*h. Let z(g) = g**3 + 18*g**2 + 22*g - 20. Does 28 divide z(h)?
True
Does 42 divide 24/(-18) + 2 + 42536/78?
True
Suppose 19*q - 118*q - 222369 + 1168413 = 0. Does 24 divide q?
False
Suppose 3*t + i + 5567 = 4*t, -5*i + 22250 = 4*t. Suppose -117 = 8*c - t. Is 13 a factor of c?
False
Suppose -4*a = -2*t + 120, -4*t - 50 = -5*t + 4*a. Is 13 a factor of t/(-665) - 4733/(-19)?
False
Suppose 0 = -3*j + 2*j + 4. Let r(q) = q**3 + 2*q**2 - 4*q - 2