(-30 + b - 0)/(16/(-72)). Suppose -5*d + d + f = 0. Does 5 divide d?
False
Suppose -1070 = 8*f + 18. Let k = 200 + f. Suppose 2*j + 5*m + k = 4*j, 3*j = -5*m + 71. Is 7 a factor of j?
False
Suppose 4*g - 265 = -8*v + 3*v, 3*g - 196 = -v. Let m(p) = p**3 - 15*p**2 + 4*p - 17. Let a be m(15). Let t = g + a. Is t a multiple of 12?
True
Let j(z) = 2*z + 114. Let m(r) = 34*r + 2. Let g be m(-1). Let c = -32 - g. Is j(c) a multiple of 38?
True
Let y = 3390 + -3246. Is 12 a factor of y?
True
Suppose 261 = -p + 259. Does 2 divide 14664/84 - 9/42*p?
False
Suppose -5*l + 0*l - s = 9, 2*l + 2*s = -10. Let t be 15 + l - 32/(12 - 4). Suppose t*v - 218 = 192. Does 3 divide v?
False
Let r be 36 - 30 - (16 + -1). Is 46 a factor of (-4134)/r + (-14)/63*-3?
True
Let g(u) = 11*u + 1506. Does 17 divide g(-106)?
True
Is (16094/(-104))/((-10)/1080) a multiple of 9?
True
Let m be (-380)/(-16) + 1*(-12)/16. Suppose -m = -0*v - 4*v + 3*p, 1 = 3*v + p. Suppose 155 = v*r - 181. Is 10 a factor of r?
False
Let b(u) = 8*u**3 + 2*u**2 - u + 13. Let n be b(5). Suppose 0 = -5*r + f + n, 20*f - 23*f = -3*r + 630. Is 4 a factor of r?
True
Suppose j - 5*q = 29, 8*j - 11*j = -3*q - 27. Suppose -2*g + 3*f + 452 = 0, j*f + 1130 = 3*g + 2*g. Does 27 divide g?
False
Let q(k) = 1469*k - 48. Does 124 divide q(4)?
True
Suppose -5661 = -4*f - d, 3*d = -f + 910 + 497. Does 44 divide f?
False
Let x(n) = 95*n**2 + 19*n - 70. Is x(-8) a multiple of 58?
True
Suppose -6 = z, 16*f - 2*z = 14*f + 26860. Is f a multiple of 200?
False
Let p(x) be the second derivative of 5*x**4/8 - 2*x**3 + 9*x**2/2 + 17*x. Let c(s) be the first derivative of p(s). Is c(7) a multiple of 31?
True
Let u be (-52)/(-4)*(52 - (0 + -1)). Let h = u + -516. Is h a multiple of 44?
False
Suppose 2*i - 79*t - 974 = -83*t, -1933 = -4*i - 5*t. Let o = i - -35. Is 33 a factor of o?
False
Let q(y) = -2*y**3 - 15*y**2 - 14*y - 8. Suppose 10*r + 80 = -0. Is q(r) a multiple of 24?
True
Let n(k) = -k**3 - 10*k**2 - 10*k - 34. Let h be n(-9). Is (-565)/h - 10/(-25) a multiple of 12?
False
Let m = 22326 + -17072. Does 71 divide m?
True
Suppose 51 = -4*b - 2*h + 311, b - 76 = 5*h. Let k = 90 - 56. Suppose k*n - b = 31*n. Is 10 a factor of n?
False
Let p(r) = -2*r**3 - 9*r**2 - 16*r - 4. Is 15 a factor of p(-12)?
False
Suppose 4*d = -0*d. Let v(h) = 2*h**3 + h**2 + h + 77. Does 55 divide v(d)?
False
Is 179 a factor of (1432/(-10))/(11 + 20/((-5000)/2754))?
True
Suppose -2*g + 32 = -3*v + v, 100 = 4*g + 5*v. Suppose g*u = 18*u + 1670. Does 78 divide u?
False
Suppose -3*t + 10847 = l, -441*t - 18045 = -446*t + 5*l. Is t a multiple of 13?
True
Suppose 34*z = -3*z - 126133 + 848928. Is 212 a factor of z?
False
Let x be (-4)/((-15)/10*(-16)/(-12)). Suppose x*s - 5*l = 245, l = -3 - 2. Is 7 a factor of s?
False
Let q(j) = -4*j - 25. Let x be q(-13). Let v = x - 27. Suppose v = 4*h + 6*c - 2*c - 112, -5*c = -10. Does 13 divide h?
True
Let d be (1 - 1) + -4 - -43. Suppose -3*u + d = 9. Is 15 a factor of (0 + 30)*15/u?
True
Suppose 2*a - 140 = -4*w, -w + 2*a = -a - 42. Let o be 438/803*22/3. Is 2 + (-16)/o + w a multiple of 4?
False
Let o = -126 + 874. Suppose 5*s = -6*s + o. Is s a multiple of 17?
True
Suppose 0 = -3*v + 264 - 141. Let r(n) = -9*n. Let j be r(4). Let b = j + v. Does 2 divide b?
False
Does 12 divide 3811 + 0 + 10 + -10 + -3?
False
Let f(h) = -h**3 + 22*h**2 - 41*h + 18. Let r be f(20). Let y(m) = -m**3 + 5*m**2 + 7*m + 4. Does 7 divide y(r)?
False
Let o be ((-8)/20)/(6/60) - -4. Suppose -4*r - 2*p + 358 = o, -4*r + 0*r = -5*p - 337. Does 38 divide r?
False
Let f(i) = 1176*i**2 - 85*i - 345. Is 33 a factor of f(-4)?
False
Suppose 153*p - 28*p = 13*p + 2764944. Is p a multiple of 32?
False
Let b(y) = -1260*y + 76. Is b(-4) a multiple of 10?
False
Let s(l) = l**3 + 31*l**2 + 66*l + 848. Is 5 a factor of s(-22)?
False
Let w = -292 - -297. Suppose -c + 6*c + w*d = 205, -4*c + d = -154. Does 15 divide c?
False
Suppose -10*n = -13*n + b - 408, -4*n - b - 551 = 0. Does 7 divide -2 + (-3 - n) + -4?
False
Suppose 4*r + 3*j = 1 + 24, 0 = 4*r - 3*j - 7. Is 29 a factor of (1914/(-99))/(r/(-126))?
True
Suppose -4*u + 2*u = 6, -3*y + 14679 = -4*u. Does 28 divide y?
False
Suppose 0 = 4*q - 25*q + 89964. Suppose -3*j - 4*u = -3218, 0*u + 4*u = -4*j + q. Is j a multiple of 13?
True
Let q = -79 + 83. Suppose 5*f - 1 = -u, 0 = -u - q*u + 5*f + 125. Does 9 divide u?
False
Suppose 5*w - 373 = -2*a + 1029, -565 = -2*w - 5*a. Does 7 divide w?
True
Is 17 a factor of ((-1668044)/2296)/(1 + 54/(-52))?
False
Let m(h) = -3*h**3 - 8*h**2 - 20*h - 30. Suppose 0*o + 9 = -2*z + 3*o, -z - 4*o - 10 = 0. Is m(z) a multiple of 18?
True
Suppose 0 = -56*i + 43*i - 13. Does 23 divide ((-3)/(-2))/(i/((-1472)/24))?
True
Let g(p) = 2*p**3 + 20*p**2 + 18*p - 3. Let a be g(-8). Let r = -107 + a. Let h(l) = 32*l**3 + 4*l**2 - 4*l + 2. Is h(r) a multiple of 30?
False
Let m(g) = g - 10. Let p be m(6). Let k be p/6 - (-99)/27. Suppose o + 4*u = 95, k*o - 110 - 186 = -u. Does 11 divide o?
True
Suppose -2*n = -n - 3*l, 0 = -2*n + l + 5. Suppose -2*v - n*c + 17 + 3 = 0, 5*v - 5*c - 25 = 0. Let x = v + 21. Is x a multiple of 19?
False
Suppose -187 + 262 = 5*o. Suppose 224 = o*s - 706. Is s a multiple of 31?
True
Suppose 0 = 43*v - 227068 - 146817. Is v a multiple of 22?
False
Let y be ((-3)/2)/(12/(-16)). Suppose o + y = 2*o, 1250 = 5*s + 5*o. Does 62 divide s?
True
Suppose -g - 12 = 21. Let r be g/(-9) + (-8)/(-24). Suppose 4 - 1 = q, t - 93 = -r*q. Is t a multiple of 9?
True
Let s = 30 + -9. Suppose v + s + 7 = 0. Does 11 divide (-1100)/v + -6 + (-4)/14?
True
Let x = 20394 - 20549. Let t(z) = 2*z**3 - 9*z + 8. Let d be t(6). Let s = d + x. Is 33 a factor of s?
True
Let k(b) = 11*b - 4*b - 14*b + 3*b**2 - 8*b**2 + 5 + b**3. Let t(l) = l**3 + 7*l**2 + 5*l + 1. Let w be t(-6). Is k(w) a multiple of 9?
True
Let p = -75 + 94. Suppose r + p = -1. Does 12 divide 7/(-3 - 64/r)?
False
Let n(w) be the second derivative of -w**5/10 + 5*w**4/4 - 7*w**3/3 - 3*w**2 + 69*w. Is n(6) a multiple of 6?
True
Let p be 2390/(-5) + -3*6/9. Let o = p - -596. Is o even?
True
Let o(b) be the third derivative of 11*b**5/30 - b**4/3 + 52*b**2. Does 12 divide o(-4)?
True
Let k = -42 + 45. Suppose -2*m + 4*q = -172, -q + 270 = k*m - 3*q. Let r = m - 2. Does 18 divide r?
True
Let r(h) = -92*h + 39. Let g be r(-12). Suppose -i - 4*n + g = 2*i, 0 = 2*i + 4*n - 758. Is 7 a factor of i?
True
Let a(p) = -4*p + 33. Let s = -43 + 43. Let k be a(s). Suppose r - 4*c = k, 0*r - 5*c + 190 = 5*r. Is r a multiple of 10?
False
Let c(a) = -a**2 + 27*a - 633. Let w be c(0). Let p = -609 - w. Is 4 a factor of p?
True
Suppose 146496 = -k + 32*k - 3*k. Is k a multiple of 16?
True
Let n(x) = 12*x**2 + 14*x - 16. Let t be n(1). Suppose -21*u = -t*u - 4961. Is u a multiple of 15?
False
Suppose 5*t - 9*t = 504. Let l = t + 323. Let f = 340 - l. Does 11 divide f?
True
Let g(q) = 5*q**2. Let m be g(1). Suppose 3*u - 2*h + 151 + 23 = 0, u + m*h + 41 = 0. Does 23 divide (-16)/u - (-1202)/7?
False
Suppose -9*g = 26*g - 9*g - 180596. Does 151 divide g?
True
Let n(v) = 4*v**2 - 11*v - 24. Let q be n(6). Suppose -4284 = -q*t + 47*t. Is 17 a factor of t?
True
Let k be (-8505)/(-10) - (-3)/(-6). Suppose d - k = -5*o + 3*d, -678 = -4*o + 2*d. Suppose -123 - 77 = -3*g + 5*x, -3*g - 2*x + o = 0. Is g a multiple of 28?
False
Let y be 35/((-15)/3) + 242 + -3. Let j be 2 + 129 + -1 + 2. Let k = y - j. Is k a multiple of 25?
True
Let a be (-20)/50 + (-5559)/15. Let o = 658 + a. Is o a multiple of 54?
False
Suppose -5*o - 2*t - 52 = 0, -o = -2*t + 1 + 7. Is o/12*-230 + (-2)/(-6) a multiple of 12?
True
Is (308/21)/((-3)/((-4833)/6447) + -4) a multiple of 22?
True
Let w = -2973 + 4119. Does 2 divide w?
True
Let v be ((-6)/1 - -5)*31. Let p = v - -151. Is 10 a factor of p?
True
Let r(m) = 82*m**2 - 13*m - 9. Is r(9) a multiple of 12?
True
Let v be 3/(-6) + 2810/4. Let d be 16 + (-6 - -5) + 3. Suppose 0 = -d*t + 12*t + v. Is t a multiple of 26?
False
Suppose -19*p - 30468 = -191037. Is 9 a factor of p?
True
Suppose -a + 8 = -45. Suppose 0 = -103*g - 3859 + 1284. Let o = a - g. Does 23 divide o?
False
Suppose 0 = 23117*i - 23092*i - 835375. Is i a multiple of 205?
True
Let x = 132 + -76. Let q be 63/(-2) + (-4 - (-56)/16). Let l = x + q. Is 4 a fact