+ x/(-30)?
False
Suppose -98 - 42 = -5*a. Suppose 121 = 3*w + 4*j, -4*j + 58 = 2*w - a. Does 3 divide w?
False
Suppose 1640*a - 316 = 1638*a. Let m = a - -480. Does 17 divide m?
False
Is 12 a factor of 5*(-9 + (-7936)/(-4))?
False
Let y = -23423 + 26193. Is 5 a factor of y?
True
Let o be (48/36)/(4/6). Let z be (-2 - (o + -10)) + (-2)/1. Suppose z*m = 2*y - 296, -2*m - 164 = -2*y + 140. Is y a multiple of 26?
True
Suppose -5*b + 22062 = 33*i - 32*i, -2*i = b - 44052. Is i a multiple of 182?
True
Is -3 + 5 - (-9)/(-5) - 59760/(-450) a multiple of 36?
False
Let r(j) = 4*j. Let k = -26 + 26. Suppose k = 5*q - 60 + 25. Does 9 divide r(q)?
False
Suppose -63*q = 2*q - 202873 - 289957. Is q a multiple of 31?
False
Let o = -495 + 911. Is o a multiple of 32?
True
Suppose -59*l - 205*l + 4094172 = 190*l. Is l a multiple of 12?
False
Let w = -59 - -49. Let t be 30/(-50) + (-816)/w. Suppose 3*l = 5*o + t, -78 = -5*l + 4*o + 57. Is 5 a factor of l?
False
Let c(m) = -5*m + 3. Let s be c(-1). Suppose 10*g - 10 = s*g. Suppose n - g*n = -44. Is 2 a factor of n?
False
Let v(b) = -26*b - 55. Let g be v(-3). Suppose -g*q - 4397 = -19738. Is q a multiple of 7?
False
Does 119 divide (-1071)/(-6)*392/42?
True
Let m(v) = 25*v + 11. Let u(k) = -5*k - 23. Let z be u(-8). Let h be m(z). Suppose -q + 438 = 3*a + 2*q, 0 = -3*a - 2*q + h. Is 18 a factor of a?
True
Let o = -542 - -542. Suppose -f + 10 - 350 = -5*j, 3*j + 3*f - 204 = o. Is 6 a factor of j?
False
Let k = 299 + 19716. Is 26 a factor of k?
False
Let w be 2/(-3) + (-7 - 161/(-21)). Suppose w = -3*b - 4*j - 3, -j + 18 = -b - 2*b. Is 7 a factor of 4 - (b/(-2) - 3)*42?
False
Let l(z) be the second derivative of z**5/20 - 5*z**3/3 + 10*z**2 + 126*z. Does 3 divide l(4)?
False
Suppose -2*t = -3*q + 6, 4*t = 5*q - q - 4. Suppose 0 = 3*r - 4*n - 906, 13*n + 1239 = q*r + 18*n. Does 17 divide r?
True
Let t = 91 + -88. Suppose 3*o - 330 = -t*g - 0*o, 2*o = 5*g - 515. Let z = 177 - g. Is 4 a factor of z?
True
Let m be 12/(-28) - 76/(-14). Suppose 3*w = 4*g - m*g + 312, -5*w = g - 312. Does 39 divide g?
True
Let p be (-2)/(-4) - 42/(-12). Suppose -r - 77 = 4*i + 23, -p*r + i = 366. Let q = r + 203. Is q a multiple of 18?
False
Suppose 0 = 204*s - 210*s + 24. Suppose 5*z = -s*r - 1206 + 3336, -2*z = 5*r - 869. Is 48 a factor of z?
False
Does 91 divide (-546)/9*((-5400)/9)/2?
True
Let o(q) = -2*q**2 + 15*q - 18. Let v be o(5). Suppose 3*f + 8260 = -1028. Does 6 divide f/(-42) - (-2)/v?
False
Let p(k) be the first derivative of 271*k**3/3 + 6*k**2 + 122. Is p(1) a multiple of 26?
False
Let j be (-1)/((-5 + 9)/2060). Let r = 1100 + j. Is 9 a factor of r?
True
Let l = 15 - 5. Suppose -l*h - h = -33. Let m(g) = 42*g + 6. Does 13 divide m(h)?
False
Suppose 2*h + 1400 = -5*v, -5*h - 2*v + 6*v = 3533. Let l = -542 - h. Does 33 divide l?
False
Let m(r) = -r**3 + 99*r**2 + 73*r + 347. Does 13 divide m(99)?
False
Suppose -52*h + 56*h - 20 = 0. Suppose -4*o + 3*r - 46 = -8*o, h*r = 5*o - 75. Is o a multiple of 5?
False
Suppose -32023 = -844*o + 824*o + 12317. Does 27 divide o?
False
Suppose 3*t - 5*v = 8*t - 9830, 4*t - 3*v = 7829. Is t a multiple of 70?
False
Let u(n) = n**3 - 39*n**2 - 218*n + 112. Is 5 a factor of u(44)?
True
Is ((-6009)/(-15))/(-1 + (-48)/(-40)) a multiple of 33?
False
Does 21 divide 27*228/(-90)*(-2730)/9?
True
Is (-6906)/4*(-27)/((-1215)/30)*-8 a multiple of 128?
False
Is ((-19)/(1064/288))/(1226/1232 + -1) a multiple of 22?
True
Suppose 61*g - 65*g - 3*k = -50742, 5*k = g - 12720. Is g a multiple of 26?
False
Let s(m) = -m**3 + 62*m**2 + 37*m + 161. Does 7 divide s(61)?
True
Suppose 3*b = 69 - 24. Let d be b/5 + 1 + -1. Suppose -d*s + 18 + 30 = 0. Is s a multiple of 11?
False
Let w be 9/(4/(16/6)). Let x(d) = 27*d**2 - 270*d - 3. Let c be x(13). Suppose -a - c = -w*a. Does 15 divide a?
True
Suppose -3*c = -8*c + 80. Let i = 1119 + -1113. Does 16 divide (c/i)/(16/168)?
False
Let d be 0/((9/(-3))/3). Let j be (18/8)/(18/(-384)*-2). Suppose -9*b + 48 + j = d. Is b a multiple of 4?
True
Let p = -11 + 13. Suppose p*s = -8, -4*u - 2*s + 3837 = u. Does 30 divide u?
False
Is 31 a factor of 773187/194 - (1 - 3/6)?
False
Is 206 a factor of 6806 + -3*2/(-15)*-20?
True
Let g = 286 - 219. Suppose 0 = 5*f - g - 333. Is 4 a factor of f?
True
Let j(v) = 4*v**3 - 6*v**2 + 7*v - 2. Let a be j(2). Does 15 divide (a/2)/(5/345) + -3?
False
Suppose 603*a = 600*a - 3, 4*a - 81164 = -4*j. Is 12 a factor of j?
True
Let o(n) = 820*n**2 - 279*n + 1457. Is 46 a factor of o(5)?
True
Let o = -2155 + 7515. Does 67 divide o?
True
Let f(w) be the second derivative of w**4/12 - w**3/3 + w**2 - 19*w. Let x be (-2)/56*-8 + 33/7. Is 2 a factor of f(x)?
False
Suppose 20*o - 43793 = 22987. Suppose -13*k + 20*k - o = 0. Does 13 divide k?
False
Let z be (-18)/(-1) + 27/9. Let l be (-9)/(-6)*1 - z/14. Does 8 divide 43 - ((14 - 9) + (-2 - l))?
True
Suppose 3*h - 14 = h. Let a(l) be the first derivative of 5*l**2 + 10*l - 131. Does 10 divide a(h)?
True
Is (2/(-3) + (-184828)/(-69) - -6) + -3 a multiple of 113?
False
Suppose -8*d + 15*d - 366786 = 0. Is (-12)/18 + d/27 a multiple of 20?
True
Let j = 10387 - 4927. Is j a multiple of 130?
True
Let v be (-5)/(-2)*(-80)/(-50). Suppose v*c + 1517 = 4*w + 153, 0 = -2*c + 2. Suppose 3*y - y - w = 0. Does 57 divide y?
True
Let d(l) = -l**3 + 2*l**2 + 3*l + 2. Let c be d(2). Suppose -r - 378 = -c*r. Suppose 46 + r = 2*m. Is m a multiple of 13?
False
Let n = -3 - -59. Suppose -z = 2*a - n, 5*z + a = -16 + 269. Suppose -q + z - 13 = -4*p, 4*q - 76 = -2*p. Does 3 divide q?
True
Let v be 106/8 + (-14)/56. Let b = v - 10. Let w(f) = 7*f + 1. Does 2 divide w(b)?
True
Let n be -955*(-2 + -1 + (-272)/(-80)). Let y = n + 602. Is y a multiple of 55?
True
Let c = 6809 + 6917. Is c a multiple of 66?
False
Suppose 2*i + z = 829, -3*i = 4*z - 359 - 877. Is i a multiple of 52?
True
Suppose 5*r - 22950 = 12*r - 13*r. Is r a multiple of 75?
True
Let i(q) be the first derivative of -7*q**2 - 11*q + 9. Let x be i(-3). Suppose 0 = -5*j - x + 126. Does 17 divide j?
False
Let w be 1/(6/4272*-2). Let d = -197 - w. Is d a multiple of 25?
False
Let s be (-4)/9 - 13/((-1053)/441). Suppose -k = -2, 2*d + 9*k - 606 = s*k. Is 17 a factor of d?
False
Let f(u) = -6*u**2 + 231*u - 82. Does 42 divide f(31)?
False
Let x(a) = -61*a + 203. Let r be x(15). Let m = 928 + r. Is m a multiple of 7?
False
Let h be 40/18 - (-22)/(-99). Is 27 a factor of h*(-4)/((-8)/5) + 344?
False
Let r(j) = -j**3 - 12*j**2 - 7*j - 41. Let i be r(-11). Is (i + (-5)/5)*-6 a multiple of 14?
False
Let d(w) = -431*w + 52. Let l(z) = -4*z - 1. Let s(u) = d(u) - 2*l(u). Is s(-2) a multiple of 29?
False
Suppose 5*w - 3*c = 462 + 620, -5*c = 5*w - 1050. Suppose -3*p - 5*i = -118 - 202, -4*i = 2*p - w. Is p a multiple of 6?
False
Let u = 3648 - 1028. Is 10 a factor of u?
True
Let v(k) = k - 24. Let s be v(21). Let b be ((-6)/4)/(s/32*-2). Let a = b + 28. Is 4 a factor of a?
True
Suppose -10910 = -0*l - l - 2*f, -l = -4*f - 10904. Does 38 divide l?
False
Let k be (-28675)/222 + 2/12. Let w = 161 + k. Does 8 divide w?
True
Suppose 115 = 27*q + 7. Is 7 a factor of (q - 1)/((-6)/(-142))?
False
Suppose -4*g - g + 235 = 5*r, -4*r + 3*g + 223 = 0. Suppose 47*s = r*s - 455. Is 7 a factor of s?
True
Let o = -10534 + 22364. Is o a multiple of 14?
True
Let k be (-292*(-2)/(-12))/(10/45). Let y = 243 + k. Is y a multiple of 4?
True
Let j(p) = -30*p + 32. Let z(q) = -58*q + 66. Let k(b) = -9*j(b) + 4*z(b). Is k(8) a multiple of 11?
False
Let q(o) = -2*o**3 - 8*o**2 + 16*o + 9. Suppose 4*r + 72 = -8*r. Let h be q(r). Let m = 125 - h. Does 10 divide m?
False
Suppose -9*k = -4*k - 10920. Suppose 2*q = -2*q + k. Is 42 a factor of q?
True
Suppose 0 = 9*w + 33 - 186. Suppose 0 = 8*v - 41 + w. Suppose v*z + 564 = 6*z. Is 27 a factor of z?
False
Let t = -89 - -502. Suppose -3*z + t = -478. Does 9 divide z?
True
Let a(y) = -9*y + 207. Is 162 a factor of a(-13)?
True
Let z = -696 - -706. Does 32 divide 477 - (z + (-6 - 1))?
False
Let k = -1913 - -1976. Does 5 divide k?
False
Is 19 a factor of ((-9)/(-2))/((-119115)/(-7940) + -15)?
False
Suppose 7*u - 11*u + 4 = 0, -5*t - 2*u + 212 = 0. Suppose -3*m + 3759 = -5*w, 0 = 45*m - t*m - 2*w - 3750. Is 26 a factor of m?
True
Suppose -441*w + 430*w = 187. Let 