s 9/(5*i/700) a multiple of 35?
True
Suppose 1133*q - 1138*q + 27040 = 5*r, -q - 5396 = -r. Is r a multiple of 146?
True
Suppose 4*i + 2 = -j - 9, 0 = -5*i - 15. Let t be (j - 51) + 0/7. Let y = t + 113. Is 4 a factor of y?
False
Let g be ((-120)/16 + 3)*76/3. Let a = 113 + g. Does 36 divide 1*a*(-7 + 9)*-58?
False
Suppose 0*l - 3*l = -1263. Let g = -196 + l. Does 45 divide g?
True
Suppose 2*n + 5*w - 31 = 0, 2*w = 17 - 11. Suppose -3*b + 79 = -3*x + 388, 2*b - n = 0. Is x a multiple of 7?
False
Let t(d) = -d**2 - 2*d + 6. Let v be t(-3). Let x be (v + -4 - -1) + 2. Suppose -4*s + s = -9, -n - x*s + 27 = 0. Does 4 divide n?
False
Does 21 divide (-82083)/(-5) + ((-20)/(-75))/((-8)/(-12))?
False
Suppose 24*n + 8217 = 25*n + 3*z, 5*n + 18*z - 41094 = 0. Does 19 divide n?
True
Let h be (-20)/15*-6 - 6. Suppose h*r = 5*p - 270, 12*p - 14*p + 3*r = -119. Is p a multiple of 10?
False
Let s(u) = -u. Let d be s(1). Let q(z) = 2*z**2 + 6*z - 2. Let v be q(5). Is 26 a factor of (-9 - -3)*(v/9)/d?
True
Let d(f) = -2*f**2 + 2*f + 4. Let j be d(3). Let q(c) = -3*c - 19. Let t be q(j). Suppose -m = 2*m - 5*p - 13, 3*m + t*p = 53. Does 11 divide m?
True
Let t(d) = 3 + 1 - 6*d - 9 - 2*d**2 - 5. Let f be t(-2). Does 10 divide 1722/28 + f/4?
True
Suppose t = 2*t - 146. Suppose -t + 40 = -2*g. Let u = g + -13. Does 10 divide u?
True
Suppose -1404 = -4*w - 2*g, -7*w = -2*w + 5*g - 1745. Let u = w + 19. Is 12 a factor of u?
True
Let c(v) = -900*v + 740. Is 65 a factor of c(-9)?
True
Let v(a) = 4*a - 130. Let t be v(33). Suppose -t*h + 2*w = -336, 4*w - 173 = -15*h + 14*h. Does 20 divide h?
False
Suppose -4*r - 568 = -4*x, 3*r - 61 = 4*x - 632. Let b = x + -47. Is b a multiple of 7?
True
Let l = 69 + -88. Let p = l - -110. Let i = p + -27. Is i a multiple of 16?
True
Suppose 132608 = -4737*f + 4774*f. Is 128 a factor of f?
True
Let y(t) = 25*t + 36. Let r be y(12). Suppose -3*b = 3*h - 294, 4*b = 5*h - 109 - r. Does 23 divide h?
False
Suppose -147*a = 33*a - 580500. Is a a multiple of 129?
True
Let d(a) = a - 10. Let i(r) = -15*r + 159. Let y(x) = -33*d(x) - 2*i(x). Let s be y(5). Does 4 divide s/1 - (-32 - 3)?
True
Let o(j) = j**2 - 2*j + 42. Let s be o(12). Suppose -s*l - 13524 = -168*l. Does 14 divide l?
True
Let i(t) = -2*t - 7. Let n be i(3). Let k be -3 + (-4)/(-1) + n. Is 8 a factor of k/(-12)*(9 - -2)?
False
Let n be -3*1/(-1)*1. Suppose 5*j - n*j = 6. Suppose 5*v = -4*y + 17, 2*y - 4*v = -j*y + 11. Does 3 divide y?
True
Let h be -1 + 51/9 - (-1)/3. Suppose -4*o - 4 = 2*x - 12, h*x = o - 2. Suppose 3*s + o*q - 44 = 0, -5*s - 25 = -3*q - 130. Does 18 divide s?
True
Suppose 5*c - 6*q + 9*q = 11769, 2*c - 4*q - 4718 = 0. Is 13 a factor of c?
False
Let a be (-5 + 4)/((-1)/2). Let f(z) = 146*z + 1 - 125*z - z**a - 34. Is f(10) a multiple of 4?
False
Let a(h) = 48*h**2 + 7*h + 18. Is 42 a factor of a(-12)?
True
Suppose 4653*m - 4650*m = -2*h + 76568, 2*h - 76568 = 5*m. Does 22 divide h?
False
Suppose -7*a - a + a = -106400. Is a a multiple of 20?
True
Suppose -28 = -194*u + 187*u. Suppose -3*q = 3*g - 1107, -3*g - 1269 = -u*q + 221. Is q a multiple of 35?
False
Let j(w) = w**2 - 20*w - 10. Let b(s) = -10 + 2*s**2 + 0*s**2 + 2*s**2 - 20*s - 2*s**2. Let d(r) = 2*b(r) - 3*j(r). Is 8 a factor of d(-20)?
False
Let w(v) = -3*v**2 - 16*v + 10. Let j be w(-6). Is 487554/1311 + j/(-19) a multiple of 9?
False
Suppose 0 = 20*g - 15629 - 9336 - 17815. Is g a multiple of 3?
True
Let f(x) = -x**3 + 7*x**2 - 6*x + 13. Let y be f(6). Suppose -2*g + 12 = 4*d, -5*d - g = g - y. Is (-5 - 35)/(d*-2) a multiple of 5?
True
Let q(z) = -z**2 - 15*z - 33. Let i be q(-11). Let o(j) = 3*j + 6. Does 3 divide o(i)?
True
Let x(w) = 724*w - 1516. Is x(9) a multiple of 24?
False
Let s(q) = 2*q**3 + 22*q**2 + 19*q + 10. Let a(b) = b**2 + b + 1. Let d(w) = -3*a(w) + s(w). Is d(-8) a multiple of 3?
False
Suppose -38*b - 1038 = -41*b. Suppose 0*f + 3*f + 5*i - b = 0, 3*i - 118 = -f. Suppose 0 = -2*j + f + 94. Is 14 a factor of j?
False
Let a be (-140)/(-45) - 5/45. Suppose -r + t + 336 = a*t, -r + 3*t = -341. Is r a multiple of 16?
False
Let i = 1294 + 368. Is i a multiple of 28?
False
Suppose 0 = -15*i + 2*i - 65. Does 12 divide (-843)/i + (-42)/70?
True
Let k = -356 - 299. Let t = 1114 + k. Is t a multiple of 27?
True
Suppose 10*f - 6*f = 924. Suppose f*u - 233*u = -884. Is u a multiple of 25?
False
Let f be (0 - 2)*(-3)/2. Let k be -1*-3*(27 - -2)*1. Suppose 0*y + 3*z + 109 = 4*y, 3*y - k = -f*z. Does 9 divide y?
False
Let o(w) = 46*w**2 + 74*w - 6. Is 46 a factor of o(-8)?
True
Let k = 330 - 336. Let u(o) = o**3 - 12*o**2 - 4*o + 5. Let b be u(12). Let d = k - b. Is 14 a factor of d?
False
Let u be 52/(-1 - (-12)/9). Suppose -4*b - 2*r + 1188 = 0, 0 = -3*b - r + 736 + u. Is b a multiple of 68?
False
Let j be 1748/418 - (-4)/(-22). Suppose 0 = 5*y + 4*l - 152, 2*y + j*l - 62 = 6. Is y a multiple of 28?
True
Let o = 187 + -84. Is 5 a factor of o + (1 + -1)/1?
False
Suppose 5*a - 2496 - 2974 = -3*z, z - a = 1826. Is z a multiple of 73?
True
Let d be (-20)/(-6)*216/45. Let x = d + -11. Let p(g) = 17*g - 6. Is 20 a factor of p(x)?
False
Let l(g) = g**3 - 4*g**2 - 6*g + 10. Let q be l(5). Suppose 4*d + q = -d. Is 250 + d + (3 - 4) a multiple of 31?
True
Suppose -161220 = -28*t - 32*t. Is t a multiple of 7?
False
Let n be (-1398)/7 + (24/(-42))/2. Let b = n - -436. Is 16 a factor of b?
False
Let l be (-26)/(((-6)/(-10))/(6/4)). Let x = l + 70. Suppose x*v - 62 - 98 = 0. Is v a multiple of 10?
False
Let o = 280 + -146. Let y be o - (-4 + 7 + -4). Suppose -y + 27 = -4*c. Does 27 divide c?
True
Suppose 2*l = -2*h + 88, 0 = 2*h + 4*l - 58 - 26. Suppose 252 = -h*j + 49*j. Is 12 a factor of j?
True
Suppose -21*p = -20*p - 2*r - 341, 0 = r + 1. Does 17 divide p?
False
Suppose 186*g + 81928 = 235*g. Does 54 divide g?
False
Suppose 14 + 16 = 5*v - 4*r, -3*v = 5*r - 18. Suppose -2*s + 38 = -2*h, v*h + 5*s + 125 = h. Let g = h - -41. Is 3 a factor of g?
False
Suppose 233700 = 13*b - 5*t, 0*t - 4*t + 89932 = 5*b. Is 62 a factor of b?
True
Suppose -d + z + 6 = -8, -54 = -4*d + 5*z. Let i be ((-9)/6)/(-1 - (-10)/d). Is 13*((-50)/(-18) - i/(-18)) a multiple of 19?
False
Is 12 a factor of 1220*(2/8)/(-4 + 909/216)?
True
Let n be (10/(-2))/(21 + -22). Suppose n*j - 352 = -2*k - 72, 0 = -2*k - 2*j + 280. Does 20 divide k?
True
Let m(o) = 12*o - 7. Let r be m(2). Suppose -l = -3 - r. Let j = -10 + l. Is j a multiple of 2?
True
Suppose -24*z - 22*z + 1564 = 0. Suppose -236 = -2*n - 24. Suppose x - n - z = 0. Is x a multiple of 20?
True
Let l = 168 - 83. Suppose -c = 5*o - l, -3*c + c = o - 161. Let d = -56 + c. Is 8 a factor of d?
True
Suppose 4*g - 7084 = -2*o, -o - 1270 = 3*g - 4810. Does 14 divide o?
False
Suppose 7*v + 13*v - 23638 = 328182. Is v a multiple of 49?
True
Is 28 a factor of ((-5040)/(-189))/((-4)/(-2274))?
False
Is 28 a factor of 12344 - -2 - (133/(-19) + (4 - -1))?
True
Suppose -4*a + a + 991 = -2*y, 3*a = -4*y + 979. Suppose 3851 = 4*h - a. Suppose 242 = j - t + 40, 5*j + 2*t = h. Is j a multiple of 23?
True
Let v(q) = -q**3 + 6*q**2 + 2*q - 35. Let t be v(-8). Suppose 3*s - 409 - t = 0. Is s a multiple of 22?
True
Suppose -k + 3 = -2*b, 5*k = -3*b + 33 - 18. Is (0 - b) + (213 - 0) a multiple of 9?
False
Suppose -44*i = -37*i - 112. Suppose i*u = -2*u + 33120. Is u a multiple of 20?
True
Is ((-18642)/(-12))/(-13)*(-10 - 8) a multiple of 20?
False
Let t = 151253 + -83907. Does 152 divide t?
False
Let a be 1*(-1 + 2*3). Let p be (-3)/1 + (-770)/(-16 + 11). Suppose -4*l + 4 = 0, -3*l - p = -a*y + 171. Is 17 a factor of y?
False
Let f(r) = 53*r + 523. Does 69 divide f(-6)?
False
Suppose -107*k - 106*k = -215*k + 16416. Is 8 a factor of k?
True
Let k(c) be the first derivative of 23*c**2/2 + 14*c + 1. Suppose q = -2*m + 15, 4*m - q - 54 + 33 = 0. Is 38 a factor of k(m)?
True
Let q(g) be the first derivative of -g**3/3 + 6*g**2 - 19*g - 12. Let j be q(6). Suppose -2*p + 55 - j = 0. Is p a multiple of 12?
False
Suppose -n + 5*n + 828 = 4*y, 5*y = n + 1035. Let o = -165 + y. Is o a multiple of 2?
True
Let n = -93 - -83. Let v(r) = -6*r + 22. Let p be v(n). Suppose -3*l + p = -182. Is 7 a factor of l?
False
Let z(a) = 2 + 45*a - 1 - 8. Is z(4) a multiple of 10?
False
Let f be (-17)/(-5) + 6/10. Suppose 0 = 