 of 13?
False
Suppose 79*j - 20*j = 38409. Is j a multiple of 93?
True
Let t be (27/3 + -1)/((-20)/(-130)). Suppose -t = -i + 225. Does 19 divide i?
False
Suppose 2*n + 0*n - 14 = -3*x, 9 = -3*n + 3*x. Let v be (17 - 17)*n/(-3). Suppose 2*c - c - 118 = v. Does 26 divide c?
False
Let m(j) = j**3 - 7*j**2 + 2*j - 10. Let i be m(7). Suppose 0*a - 240 = -i*a. Suppose -4*f + 5*b - a = -488, 5*b = -4*f + 428. Does 14 divide f?
False
Suppose 3*o - 3*i - 12 = 0, o - 4*o + 2*i + 7 = 0. Let c(b) = 4*b. Let s be c(o). Does 6 divide ((-90)/(-4))/((-3)/s)?
True
Suppose 21*s - 193362 = -114*s + 24*s. Does 67 divide s?
True
Let n(i) = 2*i + 20. Let a(t) = t - 5. Let u be a(-3). Let b be n(u). Suppose 4*w - 276 = -3*y, 4*y - b*w = -0*w + 340. Does 11 divide y?
True
Suppose -330 = 3*x - 8*x. Let y(h) = -h**3 + 6*h**2 - h - 15. Let t be y(5). Suppose 4*q - 4*p = 68, 4*q - 5*p - x = t. Is q even?
True
Suppose 3*v + 2*m - 3395 = 4366, 3*v = -7*m + 7761. Is 13 a factor of v?
True
Suppose 3*p = -3*w + 1425, -4*p - 1316 - 592 = -4*w. Is 57 a factor of w?
False
Let k(w) = 50*w**3 + 37*w**2 + 3*w. Let d(a) = 25*a**3 + 19*a**2 + 2*a. Let y(g) = 5*d(g) - 3*k(g). Is y(-3) a multiple of 29?
False
Let w = -10 + -4. Let l = -143 - -253. Does 37 divide l - (-7)/(w/(-6))?
False
Let m be (-2 - -4) + 1/(3/45). Let t = m + -21. Does 9 divide 9/(t*(-12)/704)?
False
Let y be (2 + 10/(-25))/((-4)/(-10)). Suppose 5*o = -5*n, 4 = -3*n + y*o + 25. Suppose -3*i + 520 = -2*c, -2*c = n*i + i - 670. Is i a multiple of 40?
False
Let t(a) = 55*a**2 + a - 2. Let i = -53 - -68. Suppose 5*w + 4*h - 20 = -h, -5*h = -i. Is 9 a factor of t(w)?
True
Suppose -306 = -6*t + 8*t. Is 16 a factor of ((-3)/2 + t/90)*-35?
True
Suppose -33*w = -37*w - 3*u + 47037, 11762 = w - 2*u. Is 120 a factor of w?
True
Suppose 3*v - 12 = -x + 5*v, -v = 3*x - 8. Suppose -x*t + 4*y = -656, 5*y + 91 = t - 57. Is 21 a factor of t?
True
Suppose 3*f + 6*o - 3604 = 4*o, 2*f = 2*o + 2386. Is 48 a factor of f?
False
Suppose 10 = 8*d - 6. Suppose -d = -114*q + 115*q. Is 10 a factor of (88/96 - q/(-8))*45?
True
Is 96 a factor of 24802 + 19 + ((-20)/6)/5*-12?
False
Let o(y) = 66 + 9*y + 31 - 66. Let a be o(-6). Let c = a - -35. Does 12 divide c?
True
Let y(o) = -o**2 - 12*o - 1. Let g be y(-5). Let p = 666 - 522. Suppose 30*b + p = g*b. Does 18 divide b?
True
Let i be ((-12)/(-8))/(1/6). Suppose -i*o = -2*o - 9086. Is o a multiple of 12?
False
Let y(v) = 3*v + 210 - 194 + 3*v. Is y(0) a multiple of 2?
True
Let n = -164 - -166. Suppose -2*r + 586 = 3*z, n*r + 670 = 4*z - 88. Is z a multiple of 3?
True
Let k be ((-3)/2 + (-16)/(-8))*118. Let o = k + -48. Is o a multiple of 2?
False
Let t(k) = -k**3 + 7*k**2 - 7*k + 10. Let s be t(6). Suppose -s*h + 5*q + 134 = 0, 4*h - 3*q = h + 102. Is 18/h - (-334)/4 a multiple of 42?
True
Is (19 + (-29 - -11))/((-2)/(-100778)) a multiple of 26?
False
Is 109 a factor of (-460)/(-1495) - 137844/(-26)?
False
Suppose -2*j - 3*y = 2*j + 353, -439 = 5*j + 3*y. Let f = j + 61. Let s = f + 49. Is 2 a factor of s?
True
Suppose 25*d - 15*d = -5520. Let u = -375 - d. Is 12 a factor of u?
False
Suppose 3*g + 2*g = -5*s + 3525, -5*g + 3529 = s. Is 66 a factor of (-40)/10 + (g - 0) + 2?
False
Let t be 3/(4/(-40)*6). Let f(n) = -81*n - 133. Is 17 a factor of f(t)?
True
Suppose 3*d + i = 6191, 0*d - 5*d = -i - 10321. Does 29 divide d?
False
Let m = 43078 - 22218. Is m a multiple of 20?
True
Suppose 0 = -2*a, 5*q - 4*a = a + 750. Suppose 171*n - q = 165*n. Does 7 divide n?
False
Let i = 15934 - 4531. Is 133 a factor of i?
False
Suppose 74*a = 81*a - 231. Suppose 4*q - 209 + a = 0. Is q a multiple of 22?
True
Suppose -4*i = -4*r - 348, 5*r - 165 = 7*r - 5*i. Let o = 120 - r. Is o a multiple of 15?
True
Suppose -4*g - 30 = -g. Let j(z) = -11*z + 28 - 2*z**2 - 2*z**2 - 19 + z**3 + 18*z**2 - 5*z**2. Is 7 a factor of j(g)?
False
Let p be (-22)/(1/1 + 39/(-13)). Suppose -p*o = 1262 - 4298. Does 31 divide o?
False
Let x(q) = -5538*q + 98. Is 23 a factor of x(-6)?
False
Suppose -12*q + 8*q + 24 = 0. Suppose -2296 = -q*k + 1376. Is k a multiple of 17?
True
Let x = 240 - 255. Is ((-11)/(33/(-10)))/((-1)/x) a multiple of 25?
True
Suppose 3*w = 3*l + 21, -5*w - 5 = 3*l - 4*w. Does 21 divide 28/21*l - -377?
False
Let n(o) = -41*o + 7. Let t be n(-6). Let c = t - 397. Let q = 279 + c. Is 15 a factor of q?
True
Let n be (-46)/(-4) - (-10)/(-24)*6. Suppose -n*l + 595 = -1295. Is 21 a factor of l?
True
Let r be (-4)/(-30) + 40733/165. Suppose 1179 = 4*v + r. Let j = v + -135. Does 11 divide j?
False
Is 20/40*((-8412)/(-15))/(8/60) a multiple of 22?
False
Suppose -16*c + 38190 = 3*c. Does 6 divide (-12)/(-28) - c/(-14)?
True
Suppose -w - 3*a = -3881, -10*w + 25*a = 20*a - 38705. Is w a multiple of 11?
True
Let a be (-1)/(-6) - -3*(-20)/(-72). Suppose 6*l = -3*r + 2*l + a, -r - 5*l = -15. Is 3 a factor of 3/r + 1056/60?
False
Suppose -31 = 7*n + 25. Let i(p) = p**3 + 8*p**2 - 2*p + 7. Is 2 a factor of i(n)?
False
Let f(t) = 5 - 18 + 0*t**3 - 18*t - 13*t**2 - t**3. Suppose -896 + 980 = -7*a. Does 4 divide f(a)?
False
Suppose 5 = 8*g + 53. Let o be 5/(-1)*g/15. Let d(n) = 40*n**3 - 2*n**2 + 2*n - 4. Does 24 divide d(o)?
True
Let o = -10197 - -14038. Does 23 divide o?
True
Let x be 2/(-6) + (-8)/(-24). Suppose -6*s + 4*s - a = 13, x = -s - 2*a - 14. Is 6 a factor of 81/5 - s/5?
False
Suppose -11*m - 12*m = -14398. Is m a multiple of 7?
False
Let r(s) = -205*s**3 - s**2 - 96*s - 279. Does 41 divide r(-3)?
True
Is (5042 + -6)/(14/7) a multiple of 37?
False
Suppose 0 = -5*o - 56 + 46. Is 26 a factor of (2/o - 10/3)*-60?
True
Suppose 0 = -4*y + 5*k + 18192, -2*k = -3*y - 0*y + 13637. Is y a multiple of 13?
False
Suppose 11*j - 3 = 10*j. Suppose -82 = -j*f + w, -4*w = -f - 3*f + 120. Let d = f - -15. Is d a multiple of 19?
False
Let p(u) = -2*u**3 + 39*u**2 + 238*u + 38. Does 3 divide p(-6)?
False
Let u = -36 - -40. Suppose u*r - 3 = 3*k - 11, -3*k - r + 13 = 0. Suppose p - 41 = 3*c, -2*p - k*c - 28 = -100. Does 14 divide p?
False
Let s be 1 - (4 - 1) - 22. Suppose 3*l - 126 - 6 = 0. Let c = l - s. Is 17 a factor of c?
True
Suppose -29*u - 20*u + 207936 = -11*u. Is u a multiple of 72?
True
Let o(f) = -f**3 - 7*f**2 + 8*f. Suppose 0 = 3*v - 2*l + 20, -l - 12 = v + l. Let z be o(v). Suppose 0*k - k + 36 = z. Is 9 a factor of k?
True
Let s(y) = -37*y + 4. Let i be s(-1). Suppose 3*r - 17 + i = 0. Is 12 a factor of (r + 1)/(2 + -6)*20?
False
Suppose 37*w - 839988 = -299566. Is 23 a factor of w?
False
Let x be (3/6)/((-1)/(-10)). Suppose -o + 30 - 28 = 0. Suppose l + 11 = -x*s - 0*s, -4*l = o*s - 46. Is 3 a factor of l?
False
Is 113253/18 - (119/(-102) - -2) a multiple of 9?
True
Let b be (-10)/35 - 23/(-7). Suppose k = x - b, -k - 2 = -2*x + 6. Suppose k*v - 47 = 3. Does 8 divide v?
False
Suppose 2*v = -4*k + 9994, -17*k - v = -21*k + 10003. Is k a multiple of 20?
True
Suppose -12 = 2*x - 8*x. Suppose 0 = -0*n - 2*n + 10, x*q + 29 = 3*n. Is 4/6 + (q - (-1250)/15) a multiple of 22?
False
Is (-424545)/(-372) + (-22)/(-8) a multiple of 8?
True
Let u(h) = -h**2 - 7*h - 12. Let d be u(-6). Let r be ((-3)/d + 38/2)*2. Suppose 5*k - 11 = r. Is 3 a factor of k?
False
Let l = -35 - -33. Let a(c) = -c + 1. Let i be a(l). Let k(s) = 3*s**2 - 3. Is 3 a factor of k(i)?
True
Let i(q) = -737*q - 6996. Is 41 a factor of i(-26)?
False
Suppose -g = a + 4*g - 1688, -4*a + 6782 = 5*g. Suppose 7*f = 3*f + 2*l + a, -2*l - 423 = -f. Let i = f - 253. Does 47 divide i?
False
Suppose -8644 = -5*k - 2*x, -2*x + 1732 = -6*k + 7*k. Suppose 2*s + k = 14*s. Does 24 divide s?
True
Suppose 114*v + 34*v = 776556. Is 33 a factor of v?
True
Suppose 84 = 3*u + x - 222, -u = 4*x - 102. Is 2 a factor of (-3)/(2 - 3/u*71)?
True
Let h(f) = 16*f - 77 - 69 + 54. Is h(8) a multiple of 4?
True
Suppose 29 - 9 = 5*k. Suppose -5*d - 101 = 3*x, -15*d + 10*d + 2*x = 141. Does 4 divide (-16)/k - (d - -5)?
True
Let h = -348 + 348. Suppose -i + 3*x = -0*i - 7, h = 2*i - 2*x - 26. Is i a multiple of 16?
True
Let o(y) = 20*y - 5. Let b(j) = 81*j - 22. Let x(r) = -2*b(r) + 9*o(r). Let l be (-4)/(-3) + 1/(-3). Is x(l) even?
False
Let j = 3 - 0. Suppose -9*h - 197 = j*a - 7*h, -4*a = -5*h + 278. Is 25 a factor of 3*(-4)/6 + (-10 - a)?
False
Let r(w) = -2*w**3 + 19*w**2 - 14*w + 23. Let x(c) = c