75 + -70. Suppose 3*s = -x - 14, 3*s = -2*x - 11 - p. Does 4 divide (s/3)/(9/(-27))?
True
Suppose -31*b + 6858432 = 95*b. Is b a multiple of 48?
True
Let z(m) = 18*m + 9. Let f(o) = 12*o + 6. Let t(x) = -7*f(x) + 5*z(x). Let j be t(1). Suppose -27 - 666 = -j*l. Is l a multiple of 11?
True
Suppose -3*x + 3*y + 42150 = x, 4*x - 42156 = 2*y. Does 42 divide x?
True
Is 7 a factor of (-324)/(-1458) + (-1168)/18*-11?
True
Let k(i) = 2*i**2 - 46*i - 56. Let x be k(24). Does 69 divide ((-1437)/9)/((x/6)/4)?
False
Suppose -5*x = 50*s - 49*s - 6680, 3*s + 5*x = 19980. Is 95 a factor of s?
True
Suppose -2*i = 101*r - 105*r + 6794, -3*r + 5*i = -5078. Is r a multiple of 21?
True
Is 70 a factor of -2350*((-3024)/60)/18?
True
Let s = -4 + 17. Suppose -5*j = 3 - s. Suppose 129 = j*t - 47. Does 22 divide t?
True
Let t = -107 + 72. Suppose -92*n - 10600 = 71*n - 57*n. Let g = t - n. Does 4 divide g?
False
Let f = -150 - -144. Is 23 a factor of -4 + (-4151)/(-14) - f/(-4)?
False
Suppose -31787 = -3*r + 5*w, 19*w - 14*w = -20. Suppose 29*b = r + 6811. Is 49 a factor of b?
False
Let q be 423/6*((-2)/(-3))/(-1). Let c = -42 - q. Suppose -21 = -2*m + c. Is 3 a factor of m?
False
Let y(c) = 39*c**2 - 13*c + 140. Is 8 a factor of y(-12)?
True
Let k be (330/21)/(((-1)/(-7))/1). Let z = 82 - k. Does 14 divide (z/5)/((-14)/420)?
True
Let h = 23582 - 13289. Does 121 divide h?
False
Let l be (-43)/2*(-2 + 4). Let c = 79 + l. Is (-4)/((-2)/c*2) a multiple of 9?
True
Let f = -77 - -84. Suppose f*b = 3*b + 8. Is 5 a factor of (5 - 13/b)/((-6)/200)?
True
Let t(w) be the third derivative of w**5/12 - 11*w**4/24 + 2*w**2 + 13. Is 14 a factor of t(5)?
True
Is (-136590)/(-33) - (-10 - 222/(-22)) a multiple of 38?
False
Suppose 2*i = -3 + 13, h + 4*i - 24 = 0. Suppose -v - 1 = -5*m - 4*v, 14 = m - h*v. Does 11 divide 23*(3 + -1) - m?
True
Let c(x) be the second derivative of x**6/360 + 49*x**5/120 - 13*x**4/4 - 24*x. Let y(f) be the third derivative of c(f). Is y(-18) a multiple of 13?
True
Let p be (-3)/(0 + -1) - (-19 + -4). Let h(s) = -p + s**2 - 4*s + 59 - 30. Is h(6) a multiple of 12?
False
Let l be ((-39)/65)/((6/(-3))/60). Is (-8)/(-36) - (-4028)/l a multiple of 24?
False
Let a = 9 - -1. Let p be ((-6)/(-8))/(a/(-880)). Let f = -42 - p. Is 10 a factor of f?
False
Suppose 5*u - 29705 + 4345 = 5*b, -5*u + 25378 = 4*b. Does 28 divide u?
False
Let o(c) = -37*c + 13. Let w = 45 - 42. Suppose 4*q = 4*p - 0*q + 40, -w*q = -4*p - 38. Is o(p) a multiple of 26?
False
Let w(n) = -n**3 + 3*n**2 - 10*n + 43. Let r be w(3). Suppose 4*u + 2*h - 728 = 0, -r*h + 728 = 4*u - 18*h. Is u a multiple of 7?
True
Let o = 599 - -898. Is 30 a factor of o?
False
Let l(f) = 18405*f - 3273. Is l(3) a multiple of 16?
False
Let t = 4132 + -367. Is 32 a factor of t?
False
Let b be (-235)/35 - 12/42. Let k(m) = -12*m + 59. Does 2 divide k(b)?
False
Let i(n) = -n**2 + 7*n + 24. Let r be i(8). Let s = r + -12. Suppose 0 = 4*a + s*t - 343 - 117, 3*a - 4*t = 324. Does 14 divide a?
True
Let h(a) = 14*a - 3 + 6*a**2 - 16*a**2 - a**3 + a - 4*a. Let t be h(-11). Is 7 a factor of ((-3 - 97) + 3)*(t - -2)?
False
Suppose -76*o + 33936 = 420. Is o a multiple of 4?
False
Let o = -9009 + 33453. Does 6 divide o?
True
Let n = 4609 + 17267. Is 3 a factor of n?
True
Let z(h) be the second derivative of 83*h**3/6 - 21*h**2 - 2*h + 15. Is 16 a factor of z(4)?
False
Let f(d) = -210*d + 14. Let t be 8/(-6)*((-60)/8 - -9). Is 19 a factor of f(t)?
False
Let s = 5 - -16. Let y = 26 - s. Suppose 3*i - 78 = -2*f - 3, -3*f - y*i = -114. Does 3 divide f?
True
Does 259 divide 8297 + ((-17)/2 - (-97)/(-194))?
True
Let v be (5 + -6 - -3) + (2 - 3). Suppose 4*r = -9 + v. Is 34 a factor of (r/(24/(-111)))/((-6)/(-72))?
False
Let a(w) = -68*w + 112. Let x(f) = -3*f. Let h(k) = -a(k) + x(k). Is h(9) a multiple of 43?
True
Let s = 7355 - -5185. Does 6 divide s?
True
Let v = -248 + 237. Let f(q) = 2*q**2 - 8*q + 18. Is 31 a factor of f(v)?
False
Let h(p) = -2*p**3 - 11*p**2 + 4*p - 5. Let g be h(-6). Let c be g*(-4 - (-2 + -1)). Does 3 divide 2/(-5) + (c - 306/(-15))?
False
Let w(c) = -9*c + 21. Let p(g) = 10*g - 21. Let v(n) = 7*p(n) + 6*w(n). Let r(u) = 18*u - 20. Let q(k) = 4*r(k) - 3*v(k). Does 15 divide q(10)?
False
Let m(x) = -x**3 + 19*x**2 - 20*x - 11. Let s be (-1)/(8/30)*(-24 - -20). Is 10 a factor of m(s)?
False
Is 15 a factor of (-1497)/(-5) + 399/665?
True
Let c = -2774 - -4465. Is c a multiple of 35?
False
Let m be 326/3 - 14/(-63)*-3. Let o = 348 - m. Is 9 a factor of o?
False
Suppose 0 = -4*u - 4*h - 8760, 446 = -3*u - 5*h - 6118. Let a = -584 - u. Is 59 a factor of a?
False
Let t(n) = -2*n**3 - 10*n**2 + 10*n - 7. Let x be t(-6). Suppose -2*c = -x*p + 2*p + 1750, -5*c + 572 = p. Does 36 divide p?
False
Suppose -2*a + 264 = -4*l, -l - 2*l = a + 188. Suppose -i - d - d - 56 = 0, 4*d - 148 = 3*i. Let x = i - l. Does 12 divide x?
True
Suppose -145*z + 4033692 = 175366 + 345701. Does 75 divide z?
True
Let r(f) = -f**3 + 12*f**2 + 3*f + 23. Let u be r(10). Is 23 a factor of (-2)/(-3) - u/(-3)?
False
Let u(z) = -265*z - 170. Let p be u(-6). Suppose -4*b = -2*b - p. Does 27 divide b?
False
Let z(c) = 12*c**3 + 13*c**3 + 5 - 40*c**3 - 9*c**2 + 14*c**3. Let s be z(-9). Is 24 a factor of s*(77/5 + -1)?
True
Let u(d) = 2014*d - 3662. Is u(12) a multiple of 151?
False
Suppose 6*f = 4*f + 460. Suppose 1101 = -f*b + 233*b. Is b a multiple of 80?
False
Suppose 4*z + z - 14*z = -49383. Does 93 divide z?
True
Is 7 - (8 + -19) - -20067 a multiple of 39?
True
Suppose 27*n - 32*n + 60 = 0. Suppose 0*x = 4*x - n. Suppose 0 = -j - 5*g + 42, 2*g - g - 182 = -x*j. Does 5 divide j?
False
Suppose 193*y + 4139014 - 15813391 = 0. Does 99 divide y?
True
Let d(n) = -n**3 - 27*n**2 + 32*n + 57. Let z be d(-28). Let m = z - -247. Does 3 divide m?
True
Suppose -2276677 = -212*s + 873197 - 834622. Does 8 divide s?
False
Let a(x) = -x**2 - 14*x - 11. Let g be a(-13). Let s be (0 - (-1 - (0 + -3)))/g. Let u = s + 27. Does 3 divide u?
False
Let o be 118/(-15) + (-20)/150. Let w(v) be the third derivative of v**5/60 + 7*v**4/24 + 7*v**3/3 + v**2. Does 7 divide w(o)?
False
Let m(z) = 7*z**3 - z**2 - 6*z + 5. Let s be m(2). Let v be s - (-4 + 11) - (-1 + 4). Suppose k - 2*q - 20 = -4*k, 0 = -5*k + 5*q + v. Is k even?
True
Let r = 44 - 40. Suppose 5*v = 1 + 24. Suppose -3*l - 3*x = -69, r*l - 63 - 20 = v*x. Is l a multiple of 11?
True
Let c = 27087 + -4154. Is c a multiple of 19?
True
Let y = -130 - -220. Suppose 0 = -2*a + 4, -s + 4*a - 9 = -8. Suppose -s*k + 2*k + y = 0. Does 6 divide k?
True
Let v(d) = 22*d**3 - 8*d**2 - 13*d + 129. Does 17 divide v(4)?
False
Suppose -4*f + 30 = -4*k - 2, -5*f + 3*k + 34 = 0. Let t = 8 - 6. Suppose -3*i - f*w + 338 = 0, -3*i + i + 204 = -t*w. Is 9 a factor of i?
False
Suppose 5*f = 7*f - 3*c - 7569, 2*c = -3*f + 11386. Does 16 divide f?
True
Suppose -26*b + 20*b - 810 = 0. Let q = b + 148. Does 3 divide q?
False
Let u = 374 + -287. Suppose 4*x - 296 = 4*j - 6*j, 0 = x + 4*j - 67. Let q = u - x. Is q a multiple of 3?
True
Let k(x) = 2*x**3 + 30*x**2 + 17*x - 4. Let g be k(-13). Let y = 1001 - g. Is y a multiple of 22?
True
Suppose 0 = -5*f - 2*k + 23, -2*k + 8 = -0*k. Suppose -3*d = f*d - 2178. Is d a multiple of 33?
True
Let c = 28 + -84. Let i = c - -62. Suppose 11*b = i*b + 105. Is b a multiple of 4?
False
Suppose 5*y + y - 36 = 0. Let g be (y/(-14))/((-5)/35). Suppose -282 - 132 = -5*q - g*u, 5*q = u + 402. Is q a multiple of 27?
True
Suppose -2069 = 5*z + t, 9*z - 5*t - 433 = 10*z. Let l = -230 - z. Is l a multiple of 4?
False
Let a(q) = q**2 - 14*q + 11. Let w = 106 + 8. Suppose -5*g - 44 + w = 0. Does 5 divide a(g)?
False
Suppose 11*l - 18 - 37 = 0. Suppose 4*p - 60 = 5*k, -l*k + k = -5*p + 57. Is (-66)/(-8) - (-2)/k a multiple of 2?
True
Let x(f) = 6*f - 8. Let y be x(3). Let i be ((-12)/y)/((-20)/50). Suppose 600 = 5*l + 5*m, 0 = -i*l + 2*m - 6*m + 363. Does 25 divide l?
False
Suppose 8 = -4*f + 20. Suppose 0*x + 5*c = 2*x - f, 4*x - 5*c = 11. Does 34 divide (2 + 14)*(x - (-6)/4)?
False
Let n = -1383 + 5132. Suppose -2*p + 3132 = -4*x, 2*p + 5*x + 617 = n. Is 18 a factor of p?
True
Let b be 3/(129/42 - 3). Suppose -b + 140 = m. Suppose 0 = 4*c + w - m, 38 + 52 = 4*c - 3*w. Is c a multiple of 3?
True
Suppose -16*d + 11*d