se 631*j - 85918 = 597*j. Does 7 divide j?
True
Let n = -50520 + 75548. Does 8 divide n?
False
Let f(v) = 34*v - 6. Let x be f(-13). Let z = 257 + x. Let p = -13 - z. Is p a multiple of 15?
False
Let z(p) = 460*p**3 - 6*p**2 + 7*p - 1. Is z(1) a multiple of 23?
True
Let h = -74 - -76. Suppose 23 = -h*z - 5*y, -13 = 4*z - 3*y + 2*y. Is 0 + 0 - -3 - (z + -94) a multiple of 18?
False
Suppose -167*z + 176*z - 135 = 0. Is 5 a factor of (z/6 + -2)/(2/500)?
True
Let p(g) = g**3 - 17*g**2 + 21*g + 17. Let h(q) = 2*q**3 - 7 - 31*q - 35*q**2 + 72*q + 40. Let l(z) = 2*h(z) - 5*p(z). Is l(13) a multiple of 5?
True
Is 65 a factor of (1192 + 4)/(4*1/70)?
True
Suppose 2*v + 9 = 39. Let d(k) = -16*k**2 - 4*k**3 - 17*k**3 + 19 + 22*k**3 + 18*k. Is 4 a factor of d(v)?
True
Let i = 49 - 49. Suppose 2*q + 2*q + 20 = i. Is 23 a factor of (-24)/q*900/24?
False
Suppose -15*i + 59680 = 22*i - 171422. Is i a multiple of 6?
True
Let s be 111 + 34 - -4*(2 - 1). Suppose -11*r + 3129 = -s. Is 16 a factor of r?
False
Let v be 198/44*(-16)/(-6). Let c be (66/(-8))/(v/(-32)). Suppose c*g - 224 = 21*g. Is 16 a factor of g?
True
Let n be 2/4*81*(-28)/3. Let p = 920 - n. Is 22 a factor of p?
True
Suppose 0 = -3*r - 3, 6*d - 2*d - 98 = 2*r. Let o = -18 + d. Let j = 43 - o. Is j a multiple of 19?
False
Let h(j) = -11*j**2 + 3*j - 21. Let b be h(3). Let u = b - -122. Suppose 0 = o - 5*z - 31, 0 = 3*o - 2*z + u - 39. Is 5 a factor of o?
False
Suppose -22*z - 71*z = -482391. Is 57 a factor of z?
True
Suppose 6*c = c + 645. Let r = c + -21. Suppose -4*q + r = -2*q. Does 18 divide q?
True
Suppose 294 = -9*v + 11*v. Let d = v - 142. Does 16 divide (-1899)/(-15) + (-3)/d?
False
Suppose 8 = -2*m, 0 = 4*n - 13*m + 12*m - 15200. Is 32 a factor of n?
False
Let m = -9313 - -11334. Does 16 divide m?
False
Let d = 10868 + -9662. Is 67 a factor of d?
True
Let s(v) = -v**3 - 15*v**2 + 10*v - 6. Suppose 11*j - 12*j - 5 = 0. Let i be (-1 + 3)/(j - 234/(-48)). Is s(i) a multiple of 15?
True
Suppose -3*m - 4*o = -1918, -511 - 1387 = -3*m + o. Is 21 a factor of m?
False
Is 38 a factor of -1 - (-1 - -3272)*(1 + (1 - 3))?
False
Let s(f) = 358*f**2 - 67*f - 896. Is 12 a factor of s(-10)?
False
Let g = -46697 - -84647. Does 330 divide g?
True
Does 12 divide (-12 + 1144/96)*2 + 103933/6?
False
Let b(p) = p + 14. Let t(c) = -c - 15. Let w(a) = 3*b(a) + 2*t(a). Let x be w(-7). Suppose 0 = -j + 4*m - 3*m + 86, 4*j - x*m = 339. Is 42 a factor of j?
False
Suppose -82485 = 61*v - 28*v - 38*v. Is 13 a factor of v?
True
Let p = -15558 - -22535. Does 99 divide p?
False
Is 33 a factor of 14224 + (-2 + 3)*3/6*-2?
True
Let u = 17457 - 2079. Is u a multiple of 66?
True
Let d(j) = -18*j**3 + 5*j + 3. Let v(b) = -b**3 + 2*b**2 + 4*b - 5. Let g be v(3). Is 63 a factor of d(g)?
False
Let c be (-18)/(-42) + (-4554)/42. Suppose -x + m = -3*m - 184, 2*x = -4*m + 332. Let h = x + c. Is h a multiple of 8?
True
Suppose 5*l - 5 = -3*o + 4*o, 0 = -4*l + 3*o - 7. Suppose 0 = 4*c - u - 706, 0 = 2*c - 2*u - l*u - 360. Is 22 a factor of c?
True
Let h = 44 - 40. Suppose x + h*x = 10. Suppose -2*s + 3*u = s - 324, -x*u + 8 = 0. Is s a multiple of 16?
True
Let q(w) = w**2 + 22*w + 123. Let b be q(-10). Suppose -i - u + 1074 = i, b*i = -5*u + 1597. Is i a multiple of 11?
True
Let x = -269 - -271. Is 47 a factor of 260 + 5/(-10)*x?
False
Let d be (174/58)/(2/14 - 0). Suppose 55*f = d*f + 22440. Is f a multiple of 30?
True
Suppose 3*t - 7*t - t = 0. Suppose 7*u - 52 - 39 = t. Suppose u - 39 = -i. Is i a multiple of 5?
False
Is 127 a factor of (5080/(-36)*3)/(84/(-1134))?
True
Suppose -5*y - 27 = 173. Let t = -1191 + 543. Does 11 divide 2 - (16/y + t/5)?
True
Suppose -b = -5*h - 0*b + 1454, -b = 4*h - 1156. Let r(v) = v**2 - 9*v + 2. Let y be r(10). Suppose -2*t - h = -y*t. Is t a multiple of 4?
False
Let d = -85915 - -58095. Is 3 a factor of (-1)/3 - (d/39)/4?
False
Suppose 0 = -u - k + 3, 2*u = 5*k + 2 + 4. Let c be 4/30*5*u. Suppose z - 1087 = -5*h, 3*h + c*z = -2*z + 659. Does 31 divide h?
True
Suppose 2*d = -2*z - d + 345, -z = 4*d - 185. Let y(j) = -18*j + 1. Let k be y(4). Let q = k + z. Is q a multiple of 36?
False
Suppose -d + 148 = 3*d - 4*h, -4*h - 34 = -d. Let r be 4 - (1 + 1 - 1). Suppose -r*z + 994 = -d. Is 14 a factor of z?
False
Let k(q) = 126*q**2 - 3*q - 3. Let f be k(-1). Let d = 650 - f. Suppose -5*s = -2*o - d, 2*o = -s + 5*s - 420. Is s a multiple of 12?
False
Let z(d) = d**3 + 5*d**2 - 4*d + 12. Let g be z(-6). Suppose -16*t - 94 = -17*t + 2*f, g = 5*t + 4*f - 400. Is t a multiple of 5?
False
Let z(u) = u**2 - 9*u + 16. Let n be z(4). Does 84 divide (6700/40)/((-2)/n)?
False
Let d(h) = h**2 - 36*h + 37. Let x be d(35). Suppose 3*n - 222 = -x*v - 82, -n - 2*v = -52. Does 11 divide n?
True
Let m = 3199 + 832. Is 8 a factor of m?
False
Let i(p) = -p**3 - 14*p**2 - 23*p + 15. Let c be i(-12). Let m(x) = 118*x + 23. Is 29 a factor of m(c)?
True
Suppose -7*l - 46 = -214. Suppose -l*p = -23*p - 20. Suppose p*f - 18*f = 544. Does 17 divide f?
True
Suppose 2 = z, 0 = 2*a + 2*z + 2*z - 48. Suppose -8*h + 13*h = a. Does 30 divide (122 - 32)*h/3?
True
Suppose -639 = -5*k + 7*w - 11*w, 4*k - 2*w - 506 = 0. Suppose y = 2*p - k, -3*y - 9 = -0. Does 10 divide p?
False
Let i(j) be the third derivative of -j**5/20 + 3*j**4/8 + j**3/3 - 12*j**2. Let l be i(3). Suppose -4*w - 4*m + 76 = 0, -w + l*m = -0*w - 25. Does 7 divide w?
True
Let q = -72 - -1755. Is 74 a factor of q?
False
Let n(m) = 2*m**3 - 2*m**2 + 270*m - 4109. Is n(15) a multiple of 79?
True
Let s(f) = f**3 + 14*f**2 + 12*f + 5. Let z be 0 - 0 - 637/13. Let p = z - -36. Is s(p) a multiple of 9?
True
Let u(x) = -3051*x + 6873. Is u(-5) a multiple of 12?
True
Let c be (-14)/35 + 34431/15. Suppose -8*f = f - c. Suppose 0 = -3*l + p + f, 0 = 5*l - 4*p - 91 - 334. Does 17 divide l?
True
Suppose 5*s = 3*b - 1252, 1292 = -11*b + 14*b + 5*s. Suppose -328*q + b = -324*q. Does 9 divide q?
False
Let h(c) = -27*c + 185. Let z be h(-15). Let b = -254 + z. Is 4 a factor of b?
True
Suppose -5*z - 48224 = -27*z. Does 137 divide z?
True
Let k(y) = 53*y**3 + 2*y**2 + 2*y + 1. Let s be k(-1). Let p be -1 - 1266/16 - 20/320*-2. Let h = s - p. Is 14 a factor of h?
True
Let t(b) = 8*b**3 + 14*b**2 - b + 15. Let o(v) = -4*v**3 - 7*v**2 - 8. Let z(i) = 7*o(i) + 3*t(i). Suppose -55*y - 225 = -10*y. Is z(y) a multiple of 47?
True
Is 7 a factor of ((-6375)/765)/(3/(-837))?
False
Let k be (16/24)/2*834/(-1). Let l = k + 374. Does 32 divide l?
True
Let o(z) = -3854*z**3 + 6*z**2 + 7*z. Does 54 divide o(-1)?
False
Let s be (2/(-1))/(-4*2/308). Let w = 497 - s. Is 15 a factor of w?
True
Let y = -483 - -436. Let h = y - -87. Is h a multiple of 2?
True
Suppose 25 + 307 = 2*k. Suppose 2*u - u = k. Let t = -103 + u. Is t a multiple of 9?
True
Suppose c - 4*c + 5*u + 1716 = 0, c - 4*u = 579. Suppose 4*o + 4*t - c = 3*t, 146 = o - 4*t. Is o a multiple of 19?
False
Suppose 0 = 10*m - 5*m - 25. Let n(v) = -11*v**2 + 2 - v**3 - 10 + m - 2*v. Does 4 divide n(-11)?
False
Suppose 2323 = 5*t - 402. Let d = t + -380. Is d a multiple of 33?
True
Let t(c) = 278*c**2 + 3. Let o be t(-1). Let x = o + -138. Is x a multiple of 13?
True
Let w = 53 + -60. Is 1 + (-24)/42 - 2790/w a multiple of 21?
True
Suppose 15 = -3*z, -z + 522 = -3*q + 2819. Is q a multiple of 9?
False
Suppose -3*l = -4*w - 313, 0*l - 6 = -2*l. Suppose -5*f - 218 = -2*h, 5*f - 4*f - 518 = -5*h. Let b = h - w. Is 10 a factor of b?
True
Let m(h) = -h**3 - 2*h + 1. Let k(w) = -4*w**3 - 2*w**2 + 2*w + 32. Let y(b) = k(b) - 3*m(b). Is 4 a factor of y(-7)?
False
Let l = -21269 + 31475. Suppose 2*a + l = 9*a. Is 77 a factor of a?
False
Suppose -72*h - 7581 + 25839 = -33582. Is 27 a factor of h?
False
Suppose -2*i - 2*r = -13822, -53*i + 5*r = -55*i + 13810. Does 26 divide i?
False
Let u(b) = 5*b**2 - 102*b - 3869. Is 101 a factor of u(-29)?
False
Let f(m) = 14*m**2 + 239*m + 35. Is f(-17) a multiple of 6?
True
Let b(u) = 2*u + 33. Let y be b(16). Suppose -6*x = -x - y. Suppose -3*l - x*l = -1856. Does 29 divide l?
True
Let j(c) = 33*c - 152. Suppose -z = 26 - 32. Is 4 a factor of j(z)?
False
Suppose n + 933*x - 928*x - 3297 = 0, -2*n = 3*x - 6566. Is n a multiple of 34?
False
Suppose -n = 5*p - 25, -4*n + 3*p = -2*n + 15. Suppose -7*q - 1 + 15 = n. Suppose -l 