or of n?
False
Suppose 11*r + 16432 = 14*r + 2*z, 5*r + z - 27382 = 0. Is r a multiple of 37?
True
Suppose -3922 = 964*w - 966*w. Does 37 divide w?
True
Does 20 divide ((-8)/(-36) - (-578)/153) + 6276?
True
Suppose -48*x + 88*x - 658908 = 13*x. Does 55 divide x?
False
Let z(g) = -g**3 + 56*g**2 + 105*g + 428. Is z(29) a multiple of 34?
True
Let n be -4*2/12 - 8091/(-27). Suppose 12*k - 745 = n. Is k a multiple of 3?
True
Is 20 a factor of (-5)/(-3)*2172 - 18?
False
Let d(j) = 4 + 5*j**3 - 16*j**3 - 58*j**2 - 55*j**2 + 96*j**2 - 46*j. Is 42 a factor of d(-3)?
False
Suppose 0 = 36102*s - 36116*s + 76188. Is s a multiple of 102?
False
Suppose -54*p + 86704 = -39008. Suppose -141*c = -147*c + p. Is 97 a factor of c?
True
Suppose 5*r = 14*r - 54. Let o(d) = -d**3 + 8*d**2 - 12*d + 23. Is 4 a factor of o(r)?
False
Let m(l) = -562*l**2 - 11*l + 11. Let h(u) = -282*u**2 - 6*u + 6. Let b(d) = 5*h(d) - 3*m(d). Is b(1) a multiple of 50?
False
Suppose 5*p + 52 - 37 = 0, 4*k + 2*p - 18210 = 0. Suppose -26*z = -15*z - k. Does 46 divide z?
True
Let l = 9792 - 6804. Is l a multiple of 22?
False
Let m = -377 + 380. Let o(x) = 6*x + 41. Is o(m) a multiple of 49?
False
Let v(g) = -g**2 - 20*g - 83. Let l(c) = -19*c + 12. Let f be l(1). Is 3 a factor of v(f)?
False
Suppose -5*k + 2*k - 23 = -4*w, -k = 4*w - 3. Suppose -1630 = -5*s - w*i, -s - 997 = -4*s - 5*i. Does 18 divide s?
True
Let u be 4/(-10) - (-186)/15. Let h(t) = t + 199. Does 11 divide h(u)?
False
Does 5 divide (-20)/30 - (-2 + (-6 - 83752/6))?
False
Let y = 50 + -47. Is (-1 + (-59)/4)*(y - 7) a multiple of 9?
True
Let q(p) be the second derivative of p**3/3 + 20*p**2 + 21*p. Suppose 0 = 4*c + 2*y + 3*y - 38, -2*c + y = -26. Does 5 divide q(c)?
False
Suppose 2*j - 4*f = -276, -2*f = j - f + 141. Let v = 149 + j. Suppose v*x = 898 + 137. Is x a multiple of 23?
True
Let q(f) = 35*f**2 + 58 + 13*f - 57*f**2 + 5*f + 35*f**2. Is 11 a factor of q(-6)?
True
Let v(a) = 3*a**3 + 11*a**2 + 12*a + 16. Let s(c) = -14*c**3 - 44*c**2 - 49*c - 64. Let d(w) = -2*s(w) - 9*v(w). Does 2 divide d(12)?
True
Is 18 a factor of 4/(-24) - (-226210)/60?
False
Suppose 0 = 5*u + 2*z - 20, 0 = -5*u + 3*z - 0*z + 20. Let c be (-3)/18 + (-19)/(-6). Suppose -2*l + 5*l = -2*b + 81, c*l - 63 = u*b. Is l a multiple of 25?
True
Let l(z) = -2*z**2 + 21*z - 51. Let k be -1 + 6/(-33) + (-272)/(-44). Is 4 a factor of l(k)?
True
Let i(k) = k**2 + 34*k - 90. Does 28 divide i(-58)?
False
Suppose -12*q + 212770 = -266760 - 17594. Is q a multiple of 9?
True
Let s be ((-440)/3)/(((-30)/(-36))/5). Let j = s - -1310. Does 10 divide j?
True
Let h = 32171 - 27426. Does 5 divide h?
True
Suppose -24*t + 172844 + 2548 = 0. Is t a multiple of 10?
False
Let m = 26071 - 20411. Does 20 divide m?
True
Let g = 226 + 310. Suppose 4*z = g + 336. Is 11 a factor of z?
False
Let i(q) = -q**2 - 15*q. Let h be (-2)/(-8) + (-3115)/(-20). Suppose -5*w - h = 7*w. Is 12 a factor of i(w)?
False
Let u = -239 - -32. Let y = 41 - u. Is 8 a factor of y?
True
Let n = 65 + -60. Suppose n*c - 3*u - 205 = -8*u, c - 3*u = 29. Suppose -g + 2 = -w + c, -2*w = -g - 68. Is w a multiple of 16?
True
Let g(x) = -13416*x - 1329. Is 79 a factor of g(-1)?
True
Let g = 47152 - 29350. Does 129 divide g?
True
Let v be (-13)/11 - 8/(-44) - -3. Let w(i) = -5*i - 45. Let u(y) = -51*y - 450. Let o(d) = v*u(d) - 21*w(d). Is 27 a factor of o(0)?
False
Let m be 70/((-27)/(-6) + -5). Is (-410)/(-4)*m/(-175) a multiple of 41?
True
Let c = 557 - 530. Suppose -23 = -l - 9. Let p = c - l. Is p a multiple of 13?
True
Let s(b) = 1083*b - 1338. Is 24 a factor of s(6)?
True
Let u = 3 - -44. Suppose -10 = -5*s + 5*f + 10, -3*s + u = 4*f. Is 9 a factor of s?
True
Suppose 3*y - 14*y + 146564 = 0. Is y a multiple of 8?
False
Suppose -2*z + 9 = c, -2*z = 33*c - 36*c + 11. Suppose f - 254 = -p, -2*p + 270 = -p + c*f. Does 50 divide p?
True
Let z(w) be the first derivative of 2*w**3/3 - 4*w**2 - 13*w + 7. Let l be z(-2). Suppose 490 = -l*j + 18*j. Is 14 a factor of j?
True
Suppose 107250 = -14*j + 36*j. Is j a multiple of 25?
True
Suppose -8*j + 6543 = -577. Does 47 divide j?
False
Suppose 0 = -17*f - 13 + 64. Suppose -2*j + 46 = 2*w, f*j - 53 = 2*w + 6. Is 7 a factor of j?
True
Let i = 245 + -248. Is 24 a factor of ((-9)/(-2))/i + (-2601)/(-6)?
True
Does 16 divide (-34368)/21*(-119)/34?
True
Let g(u) = 19*u**3 - 5*u + 10. Let o be g(3). Let t = 444 + -91. Let s = o - t. Does 31 divide s?
True
Let k = 3789 + -2289. Is 100 a factor of k?
True
Let z = -128 - -131. Does 26 divide 260/(-6)*z*(-16)/10?
True
Let j(a) = 23*a**2 + 61*a + 1476. Is 25 a factor of j(-28)?
True
Suppose 0 = -2*i + 5*t + 7174, 4*i - 6*t + 3*t - 14362 = 0. Is 55 a factor of i?
False
Suppose 0*n = -4*n - 2*i + 3538, -1763 = -2*n + 5*i. Suppose -4*t = -3*o - n, -3*o + 0*o + 642 = 3*t. Suppose 0 = 11*s - 255 - t. Is s a multiple of 43?
True
Suppose 0 = -5*w + 12*w - 14. Let r be (-1 - -3 - w) + 3. Suppose 0 = r*q + 4*h - 580, -777 - 33 = -4*q + 2*h. Does 22 divide q?
False
Suppose 4*o - 2*z - 24 = 0, -5*o + 2*z + 21 = 4*z. Suppose 6*w - w - 175 = -2*b, 2*w = o*b + 70. Does 20 divide w/21*(-144)/(-3)?
True
Suppose 0 = 2*j + z - 4629 - 11440, 5*j - 40185 = -5*z. Is j a multiple of 5?
False
Let s = 203 - 118. Let x = s + -83. Suppose 139 = x*q - 87. Does 8 divide q?
False
Let g(p) = p**3 - 12*p**2 + 4*p - 41. Let a = 194 + -155. Suppose -3*s - 3*w + a = 0, -2*s + 4*w + 0*w + 26 = 0. Is g(s) a multiple of 10?
True
Suppose 60303 + 52817 = 4*k. Does 68 divide 2/(64/k) - (-3)/12?
True
Let u = -9651 - -17213. Does 105 divide u?
False
Suppose -17*g - 1383 = 3887. Let c = 500 + g. Is c a multiple of 38?
True
Let p = -24 + 23. Let g(y) = 68*y**2 + y. Let s be g(p). Let t = s - 52. Is 2 a factor of t?
False
Let i be ((-3)/9*0)/(1 + -3). Let h(c) = -c**2 + 7*c. Let a be h(6). Is 1*(37 - 2) - i/a a multiple of 5?
True
Suppose 4*f - 27593 - 3901 = 15170. Does 10 divide f?
False
Let u(z) = z + 31. Let s be u(-31). Suppose s = -5*f + o + 325 + 190, -f + 2*o = -112. Does 34 divide f?
True
Suppose 9 - 78 = 3*q. Let h = q - -29. Let f = h + 58. Does 18 divide f?
False
Let f = 7569 + -5397. Is f a multiple of 12?
True
Is (-245)/14*(-264)/28 a multiple of 5?
True
Suppose 0 = -4*n + 4*t + 4372, 7*t + 4396 = 4*n + 11*t. Suppose 12*k - n = 704. Is k a multiple of 10?
True
Suppose 38*l + p = 34*l + 19, -3*l + 5*p - 3 = 0. Suppose l*a - 5*r - 2738 = -0*r, 0 = -4*r - 8. Is 7 a factor of a?
False
Suppose 10*m + 28 = -4*m. Let n(z) = -93*z - 28. Is n(m) a multiple of 79?
True
Let b be 4 + 9/((-18)/1108) + 4. Is b/(-15) + (-32)/80 a multiple of 9?
True
Suppose 7*r + 3*w = 2*r + 5590, -5*w + 5590 = 5*r. Suppose r = 4*u + 22. Is 25 a factor of u?
False
Let d = -39350 - -58886. Does 22 divide d?
True
Let v = -43821 + 54150. Does 24 divide v?
False
Let s(n) = -59*n + 1. Let q be s(-1). Suppose -2*a = -8*a + q. Suppose a = -5*u + 35. Does 5 divide u?
True
Let x(d) = d**3 - 9*d**2 - 8*d. Let i(f) = -4*f. Let n be i(4). Let h = -6 - n. Does 10 divide x(h)?
True
Let r be 18/(-72) - 18/(-8). Suppose 0 = d - z - 3*z + 111, -r*z = -4*d - 444. Let o = -44 - d. Is 17 a factor of o?
False
Let q be 7/(3 + -4*4/8). Suppose 0 = -5*h + q*h - 406. Let n = h + -83. Is n a multiple of 39?
False
Is 2 a factor of (33/(-12) - -3 - (-2310)/40)*44?
True
Suppose 71860 - 5509 = 25*b - 45474. Is 71 a factor of b?
True
Let b(h) = 90*h + 110. Let u be b(13). Suppose -52*l + 57*l - u = 0. Is l a multiple of 54?
False
Suppose 3 + 21 = 5*z + 2*s, -3*z + 2*s = -8. Is 13 a factor of (-6)/z*(-4660)/30?
False
Suppose -2*m + 150 = 4*h, 327 = 4*m - h - 0*h. Let j = 76 + -148. Let r = j + m. Is r a multiple of 3?
True
Let p = 237 - 1314. Let d = 2154 + p. Does 20 divide d?
False
Let t = 390 + -453. Is 8 a factor of 1057/2 + (t/(-14))/(-9)?
True
Let k be (-2 - (-7 - -3))*2. Suppose -k*o + 5*f - 38 - 32 = 0, -4*o + 4*f = 72. Is o/(4*(-1)/14) a multiple of 18?
False
Does 23 divide (345/45)/(10/21120)?
True
Let z be 4548/27 - 40/90. Let g = z - 77. Is g a multiple of 13?
True
Suppose -16630 = -7*d - 1525 - 1441. Is 11 a factor of d?
False
Let z(u) = -4*u**3 - u**2 + 3*u - 4. Let o be z(2). Let y = -20 - o. Suppose -y*a + 13*a + 34 = 0. Is 34 a factor of a?
True
Is 126 a factor of 2*-3062*(90/18 - 40/4)?
False
Let k = 53