ppose s*i - 326 = 346. Is i a multiple of 8?
True
Let f = 202 + -72. Suppose -128*y + f*y = 8. Suppose -3*o - 12 = 0, -o - 32 = -4*p + y*o. Is 2 a factor of p?
False
Let y = 6102 - 6092. Suppose -2*k + 0*k = -14. Let s = y + k. Is 4 a factor of s?
False
Let d = -1697 + 2599. Does 26 divide d?
False
Let p(c) = 3*c + 11. Let z(j) = -j - 1. Let x(l) = p(l) + 2*z(l). Let v be x(-6). Suppose -304 - 494 = -4*d - 3*q, -d = -v*q - 192. Is d a multiple of 22?
True
Suppose 3*z - 2*l = 12 + 4, 5*z = -4*l + 34. Let g(o) = -5*o - z + o**2 + 2*o + 12*o**2. Does 15 divide g(-3)?
True
Is (-670944)/(-2169)*2*6*3 a multiple of 79?
False
Let p = -60 - -80. Suppose 3*q + p = 2*b, 3*b - 5*q - 24 = 2*b. Suppose b*y = 63 + 321. Is y a multiple of 16?
True
Let o = -23 + 83. Let q be (-2)/14 - 114/133. Let y = o - q. Does 11 divide y?
False
Is 198 a factor of 3/(-8) - (-8)/(256/798348)?
True
Let u(r) = -392*r - 127. Let j be u(-6). Suppose -290 = 5*t - j. Is 43 a factor of t?
True
Let n(w) = -8*w - 37. Let f be n(-5). Suppose 4*x - 5*s = 32 + 35, -3*s = -f. Is x a multiple of 9?
True
Suppose 0 = 18*i - 9*i - 3803 - 6871. Does 11 divide i?
False
Suppose -4*u - 774 + 2014 = 0. Is u a multiple of 62?
True
Let n(z) be the first derivative of 8*z**3 + z**2/2 - 25*z - 159. Is n(-7) a multiple of 52?
True
Let f(s) = s**2 + 3 + 21*s - 48*s + 28*s. Let z be f(-3). Does 14 divide ((-7)/3)/(z/(-54))?
True
Suppose -18108 = 50*w - 38*w. Does 7 divide (-17 + w)*(14/(-4))/7?
True
Let t = 58 - -24. Let v = t + -221. Is v/(-3) - (-1 + 2/6) a multiple of 16?
False
Suppose 56402 = -149*h + 800657. Is h a multiple of 111?
True
Is 48 a factor of (-93148)/(-10) + ((-66)/(-55) - 2)?
False
Suppose 4*p + 65 = 5*r, 4*r - 63 = 5*p - 20. Let y(v) = -17 + r - 27*v - 8*v. Is 10 a factor of y(-2)?
True
Let j = 30732 - 26952. Does 3 divide j?
True
Let c(i) = i**3 - 7*i**2 + 22. Let y be c(6). Let w be 13 + 0 - (-21)/(-7). Let b = w - y. Does 7 divide b?
False
Let v(c) = -c**2 + 8*c + 40. Let f be v(10). Suppose -f*m = -39 - 1. Suppose 2*q - 5*y - 563 = 0, m*y - 1392 = -5*q - y. Is 31 a factor of q?
True
Suppose -4*u - 25983 + 2331 = -2*l, -11844 = -l - u. Does 160 divide l?
False
Let v(i) = i**3 + i**2 + 4*i + 6. Let h be v(0). Let m be 12*(h + -10 - 187/(-2)). Suppose 5*t - m = -t. Is 26 a factor of t?
False
Let q be ((-63)/(-12))/(1/(-4)). Suppose -2*g = 2*t - 210, g + 430 = -2*t + 6*t. Let l = q + t. Does 8 divide l?
False
Suppose 0 = -28*s - 103 + 131. Suppose -16 = -0*d - 4*d, 0 = -3*p - 3*d - 162. Is 1/(-3)*3*(s + p) a multiple of 8?
False
Let p(h) = -h**2 + 36*h - 56. Let l(o) = o**2 + 34*o + 152. Let v be l(-30). Does 36 divide p(v)?
True
Let c(r) = -6*r + 31. Let q(t) = 2*t - 54. Let z(w) = 8*w**2 - 5*w. Let a be z(2). Let h be q(a). Does 13 divide c(h)?
True
Suppose 4*m - 8*m + 103696 = 4*n, 0 = -4*n + 2*m + 103738. Is 50 a factor of n?
False
Let q(m) = -96*m + 112. Let v(i) = 48*i - 57. Let y(d) = -3*q(d) - 5*v(d). Let c(t) = t**2 + t - 1. Let u be c(2). Is y(u) a multiple of 19?
False
Let j(b) = 22*b + 7. Let l be j(3). Let y = 71 - l. Is -2*(y + 1) - -28 a multiple of 9?
False
Let x(m) = 2*m**2 + 29*m + 16. Let n be x(-14). Suppose -n*j + 43*u = 48*u - 526, 2*j - u = 526. Is j a multiple of 41?
False
Let s be ((-1386)/(-12))/((-9)/(-12)). Suppose -s = -2*w - 2*y, -5*w + 394 = -4*y + 6*y. Does 34 divide w?
False
Does 30 divide 128/(-48) + (-226864)/(-24)?
True
Let m be ((3 + -3)/(-1))/(1/1). Suppose m = 3*h - 3 - 6. Suppose f - 7 = 4*x + 106, h*f - 289 = 2*x. Does 31 divide f?
True
Let r(p) be the first derivative of p**4/4 - 7*p**3/3 - p**2/2 - 22*p - 173. Let q(d) = -d**3 + 5*d**2 + d + 4. Let z be q(5). Is 25 a factor of r(z)?
False
Let u(b) = -8*b + 1. Let o be u(-17). Let p(m) = -m**2 - 6*m - 3. Let h be p(-5). Suppose -5*q + 0*a + o = 4*a, h*q - 44 = 2*a. Is q a multiple of 8?
False
Suppose 0 = 75*t - 179466 - 120834. Is 13 a factor of t?
True
Let o = 389 - 404. Let v(f) = -f**2 - 30*f + 3. Is v(o) a multiple of 50?
False
Suppose -5*d = -4*r - 48598, -59*d + 54*d + 48592 = -r. Is d a multiple of 26?
False
Let p = 2939 + 1045. Is 48 a factor of p?
True
Let i = 30 + -25. Suppose -x - i + 7 = 0. Suppose 147 = x*v - 53. Does 10 divide v?
True
Let y = -277 - -2725. Does 7 divide y?
False
Let y be (-5 - 69/(-12))/(1/8). Let q(x) = x**3 - 4*x**2 - 6*x - 12. Let u be q(y). Suppose -o + 3*g + 108 = 0, o + 2*g - 79 = u. Is 21 a factor of o?
True
Does 21 divide (-168)/(-96) + (-209226)/(-8)?
False
Let m be 7/((-70)/(-4))*10. Suppose -5 - 3 = -m*j. Suppose -5*l + 777 = -2*t, -315 = -j*l - 2*t + 7*t. Is 19 a factor of l?
False
Suppose -31*g + 33*g = 24. Let o(f) = f - 8. Let d be o(g). Suppose 654 = 7*j - 2*j + d*a, 2*a + 8 = 0. Is 35 a factor of j?
False
Let t(c) = c**3 + 4*c**2 + 3*c + 1. Let k be t(-2). Suppose -n + 152 = 5*j - 5*n, 0 = -k*j + n + 87. Suppose 0 = -j*v + 26*v + 44. Is 22 a factor of v?
True
Suppose -205*q + 129392 = 24617 - 71115. Is q a multiple of 26?
True
Let p(i) = 379*i - 1939. Does 126 divide p(49)?
True
Suppose 4*s - 12408 = -5*j, 1196 = j + 9*s - 1261. Is j a multiple of 18?
True
Let g be (104/2)/((-5)/(-65)). Let u = g - 271. Let l = -275 + u. Is l a multiple of 26?
True
Suppose -g + 382 = g. Suppose 0 = -24*p + 1939 + 1391 + 1302. Suppose g = 3*z - p. Does 8 divide z?
True
Suppose -320 = -7*i - 3*i. Let o be i*15*(-6)/(-4). Suppose 8*m + o = 12*m. Is 18 a factor of m?
True
Suppose -21 = 2*s + 5*o, 6*s + 3*o = 10*s - 23. Suppose -7*j = s*j - 531. Is 7 a factor of j?
False
Does 47 divide 52/78*(4261 - -2)?
False
Let c(w) = -282*w + 1746. Does 18 divide c(-30)?
True
Let v be (-6 - 39)/(-5)*(-38)/(-6). Suppose v*q - 27*q = 9480. Is q a multiple of 39?
False
Suppose 810*n - 807*n - 36096 = -2*y, 0 = -5*n - 5*y + 60160. Does 281 divide n?
False
Let i = 1 - -4. Suppose -2*g - 3 = -i. Does 13 divide -22 - -117 - (3 + g)?
True
Let c = -283 + 310. Suppose 19*q + 4536 = c*q. Is q a multiple of 9?
True
Let y(h) = h**3 - h**2 + 17. Let t be y(0). Suppose -t*b + 28*b = 4862. Is b a multiple of 17?
True
Suppose -m + 5*b + 79 + 2178 = 0, -15989 = -7*m - 3*b. Is 6 a factor of m?
False
Let r(l) = 136*l + 1300. Is 3 a factor of r(-7)?
True
Suppose -60 = -5*o - 2*c, -o + 3*c + 20 = 5*c. Let j(x) = x - 10. Let v be j(o). Suppose v = 4*q + 16 - 104. Does 22 divide q?
True
Let w = -320 - -323. Suppose 0 = w*a + z - 1156 - 1002, a + 2*z = 716. Does 40 divide a?
True
Suppose 7780 = -60*j + 2080. Let k = j + 330. Is k a multiple of 31?
False
Suppose 2408651 - 696273 = 142*m. Does 20 divide m?
False
Let u(w) = -80 + 43 - 3*w + 44 - 26*w. Does 42 divide u(-7)?
True
Let i be (-36)/(-24) - (-21)/6. Suppose 15*p + 5*o - 551 = 14*p, -2*p - i*o = -1127. Is 48 a factor of p?
True
Suppose 8*u + 13 + 11 = 0. Let w be 19/u + (1 - 2/3). Is 23 a factor of (-2)/w*391 - (-6)/9?
False
Let y = 265 - 262. Suppose 2*l = 6*l - 16, 107 = w - y*l. Does 17 divide w?
True
Suppose 8*a + 4*j + 228 = 6*a, -310 = 3*a - 2*j. Let s = a + 1237. Is s a multiple of 39?
True
Suppose -4*x = -20, 3*x = -10*b + 7*b + 27. Suppose -2*i + 352 = 3*c - 94, 0 = -b*i - 3*c + 898. Does 13 divide i?
False
Let v = -48 + -8. Is 11 a factor of (294/v)/((-3)/44)?
True
Let g(s) = 3*s**2 - 13*s + 22. Let z be g(3). Suppose 2*q = n - 289, -z = -4*q + 10. Is 12 a factor of n?
False
Let j(w) = 26*w - 14*w - 14*w - w**2. Let d be j(-3). Does 7 divide (-12)/(-9)*d + (60 - -14)?
True
Suppose 7*q + 83 - 69 = 0. Is 1421 + q + 2/4*-12 a multiple of 82?
False
Let x(f) = -f**3 + 6*f**2 + 10*f + 45. Let k be x(8). Is 30 a factor of -528*(-4)/(-18)*k?
False
Let r = 76 - 41. Suppose u = -x - 3, -4*x + 5*u = x + r. Is x*8*(-6)/10 a multiple of 12?
True
Suppose -5*o = 5*m - 76965, 5*m = 2*o + 6567 - 37381. Suppose o = 21*f - 563. Does 26 divide f?
False
Is (-3 - 105130)/(-7) - (-22 - -17) a multiple of 9?
False
Suppose 0 = -3*z + c - 764, -2*z + 4*c - 342 = 174. Let w = z - -813. Does 43 divide w?
True
Suppose 3*t = -4*o + 9240, 15*o - 20790 = 6*o - 4*t. Does 10 divide o?
True
Let k(x) = -41*x - 160. Suppose -5*p = -4*f - 1 + 73, 4*p = f - 62. Is k(p) a multiple of 18?
False
Let m be ((-3)/18*2)/((-5)/99705). Suppose -m = -15*c - 377. Is 13 a factor of c?
False
Let v be -9 - (-6)/(3 - (-3)/(-2)). Let t be 8/(-6)*((-15)/2)/v. Does 15 divide -63*(10/(-18)