*o - o, -5*o + c*b = -62. Is 13 a factor of o?
True
Is 5 a factor of 5828/(-186)*(-2)/(-4)*-3?
False
Suppose -5*n = 2*h - 21, n + 6 = 3*n. Suppose y - 2*x = -13, 5*y + h*x = -0*x - 117. Let j = 7 - y. Does 7 divide j?
True
Let u be (-2)/8 - 126/8. Let r = u - -20. Suppose -i + o + 188 = 3*i, -4*i + r*o = -200. Is i a multiple of 23?
True
Let c = 27 - 16. Suppose 4*o - 4*b + 40 = 0, 2*o + c = 2*b + 3*b. Let q = 25 + o. Is 2 a factor of q?
True
Let m = 232 + -118. Is m a multiple of 2?
True
Let j(c) = c + 8. Let a be j(9). Suppose a*w - 8 = 15*w. Suppose -w*h + d + 347 = -2*d, 2*d = 4*h - 346. Is h a multiple of 24?
False
Let a(u) = -u**2 - 5*u - 3. Let y be a(-3). Suppose 3*r + 13 = -x, -y*x - r + 3 - 2 = 0. Let c(j) = 4*j**2 + 2*j. Does 10 divide c(x)?
True
Let r = 2083 + -1447. Is r a multiple of 83?
False
Let l(o) = -o**3 + 7*o**2 + 2*o - 9. Let f be l(7). Suppose 3*d + 2 = -f*q + 7, 3*d = 4*q - 4. Suppose v - 3 = d, -4*v = 5*h - 5 - 22. Is 3 a factor of h?
True
Suppose -d = 3*z - 4*d - 108, z - 36 = 2*d. Does 9 divide z?
True
Suppose -4*w + 10 = -2*w. Suppose 3*q = 2*n - 283, -w*q + 279 = 2*n + 4. Is n a multiple of 28?
True
Is 2 a factor of (4/(-8))/((-1)/26)?
False
Let z = 39 + 235. Is z a multiple of 13?
False
Let s(z) = 50*z + 5. Let t be s(-11). Let a = 849 + t. Suppose -32 = 4*b - a. Does 17 divide b?
True
Is 8*(-55)/(-40)*47 a multiple of 80?
False
Let r = 316 - 263. Is 3 a factor of r?
False
Let p = 586 - 512. Does 2 divide p?
True
Suppose 5*z - 26 + 11 = -4*a, -4*z + 12 = 5*a. Suppose -168 = -4*i - a*i. Does 14 divide i?
True
Suppose 0 = -6*s + 2*s. Suppose s*l - 2*v - 12 = -2*l, -6 = -3*l - 3*v. Suppose l*q - 21 = -1. Is q a multiple of 5?
True
Let z(g) = g**2 + g - 18. Let b be ((-2)/9*3)/(4/78). Does 15 divide z(b)?
False
Let s = 30 - 39. Let k(b) = 7*b**2 + 12*b - 10. Let r(c) = -8*c**2 - 13*c + 10. Let q(p) = 7*k(p) + 6*r(p). Does 7 divide q(s)?
False
Suppose 0 = t - 4, 0*t + 16 = 5*d - t. Suppose -5*l + 288 = d*l. Does 4 divide l?
True
Let s(k) = k**3 - 4*k**2 - 3*k + 2. Suppose 8 = 2*g - 4. Does 14 divide s(g)?
True
Let k(y) = 2*y**2 + 36. Let f = 69 + -69. Is 12 a factor of k(f)?
True
Let a(g) be the second derivative of 4*g**4/3 - g**3/3 + g**2 - 4*g. Let p be a(2). Does 4 divide (-10)/25 + p/5?
True
Does 4 divide (-15 - -14) + 8*118/4?
False
Suppose -2*c - 4*f = -2*f - 56, 0 = 2*f - 4. Suppose 2*x = u + 6*x - c, 2*x + 50 = 3*u. Suppose 5*h - 3*h = u. Is h a multiple of 3?
True
Is (2 - (14 + -2))*-2 a multiple of 20?
True
Let q = -571 + 839. Is 3 a factor of q?
False
Let g(o) be the second derivative of o**3/6 + 21*o**2/2 - 2*o. Let l be g(-17). Suppose -j - l = -14. Is 5 a factor of j?
True
Suppose 143 + 79 = 6*u. Does 34 divide u?
False
Suppose 2*g + 3*n = 121, -5*g + 305 = -0*g + 5*n. Let h = g - -22. Does 12 divide h?
True
Suppose -2*h = -5*k + 3071, 0 = 5*k + 3*h - 3650 + 569. Suppose -18*b + k = -13*b. Does 5 divide b?
False
Let g be 202 + (-10)/2 + 3. Suppose -3*t + v = -140, 6*t + 5*v - g = t. Is t a multiple of 13?
False
Suppose 2*p - 4*w = 12, 3*p - p - 2*w - 10 = 0. Suppose 63 = -h + p*h. Is h a multiple of 5?
False
Let z(u) = u**3 + 3*u**2 - 9*u - 27. Is z(8) a multiple of 11?
True
Suppose 12*a = 2343 + 4485. Is 13 a factor of a?
False
Let c = -1 + 7. Suppose -20 = 4*k - c*k. Is k a multiple of 5?
True
Let t(z) be the first derivative of -3/2*z**2 + 3*z - 9. Is t(-1) a multiple of 6?
True
Let z be -4 + (-2 - -2)*1/2. Is (130 + 3)*(-2 + -1 - z) a multiple of 27?
False
Let a be (-2 + (-36)/(-15))*-55. Let r = a + 31. Suppose 0 = -j + 4 + r. Is 11 a factor of j?
False
Suppose 78 + 72 = w. Let q = w - 65. Is q a multiple of 13?
False
Let n(x) = -15*x - 58. Suppose 0 = -18*l - 65 - 205. Is n(l) a multiple of 23?
False
Let h(c) = 2*c**2 + 16*c + 6. Let k be h(-8). Suppose -5*o = -k*o + 36. Does 9 divide o?
True
Suppose -103*z + 91*z + 6360 = 0. Is 29 a factor of z?
False
Let m = 687 - 217. Does 47 divide m?
True
Let x = 443 + -290. Does 17 divide x?
True
Suppose -2*b + 3*q = 8*q, -5*b + 3*q = -31. Suppose 0*h = -h + b. Suppose -2*v + o + 251 = 94, 153 = 2*v - h*o. Is 38 a factor of v?
False
Is 23 a factor of -115*(66/(-15) + 3)?
True
Suppose -x + 0*x - 14 = -3*m, 3*m + 3*x = 18. Suppose -4*a - 4*p + 20 = -0, 0 = -2*a + m*p + 3. Suppose 5*h = c + 205, 0*c + 60 = h - a*c. Does 11 divide h?
False
Let a be (-36)/8*(-4)/(-3). Let s be -3*(a + 3 - -2). Suppose s*b - 68 = 193. Does 12 divide b?
False
Let b = -2265 + 3554. Is b a multiple of 49?
False
Suppose -2*s - s - 2*j = 61, 3*s + j = -62. Let o = -8 - s. Is o a multiple of 13?
True
Suppose 0 = 4*o + 4*x - 460, 0*o + o - 107 = x. Suppose -20 = -n + o. Does 19 divide n?
False
Suppose 8 = 2*v - 2*d, 19 = -0*v + 4*v - 3*d. Suppose j + v*h = 2*h + 84, -h = -j + 54. Is j a multiple of 5?
False
Let c = 2839 + -1057. Is c a multiple of 54?
True
Let p = 46 - 44. Does 21 divide (-42)/4*((-1 - p) + -3)?
True
Suppose 374 = 9*o - 391. Does 85 divide o?
True
Suppose 0*r + 3*r + 33 = 0. Let g(j) = -6*j - 51. Let h(k) = k + 3. Let m(q) = -g(q) - 9*h(q). Does 6 divide m(r)?
False
Let m = 607 + 111. Is 58 a factor of m?
False
Let s = 43 - -179. Does 21 divide s?
False
Suppose 19 = j - x, 0*j - 4*x = 2*j - 14. Suppose 5*m - 1 = 14, -3*l + 5*m = j. Suppose o - 12 = -l*o. Is 4 a factor of o?
True
Suppose 3*k = -4*b + 15, 2*b - 2*k = -6*k. Is (56/6)/(b/117) a multiple of 16?
False
Let v(x) = 3 - 2*x**2 - 10*x + 10*x**2 + 0 + x**2 - x**3. Let t be v(7). Let o = -12 + t. Is 5 a factor of o?
False
Suppose 74*f - 13*f = 82167. Is 44 a factor of f?
False
Let h = 5 + 0. Suppose 0 = -4*r + l + 34, -h*r + 3*r + 2*l = -20. Is r a multiple of 8?
True
Let j(f) = 12*f**2 - 62*f + 5 + 7 + f**3 + 57*f. Is 50 a factor of j(-9)?
True
Suppose 243 = 2*i + 203. Does 20 divide 24 - (2/(-5) + 88/i)?
True
Let b(q) be the second derivative of 7/3*q**3 + 0 - 11/2*q**2 - 12*q. Is b(7) a multiple of 29?
True
Let z(u) = 3*u**2 - 2*u + 1. Let k be ((-15)/(-9) - -3)*3. Suppose k = 5*o + 4*d, -3*d = -o - o + 1. Does 3 divide z(o)?
True
Let k be 2/5*(4 + (14 - -2)). Let m(q) = q**3 - 8*q**2 + 4*q - 8. Is m(k) a multiple of 12?
True
Suppose 13*p + 4872 = 25*p. Does 29 divide p?
True
Let r(s) = 2*s - 2. Suppose -z + 24 = 2*g + 2*z, -g = -2*z + 2. Suppose 60 = -k + g*k. Is r(k) a multiple of 6?
False
Let g = 1194 + -1051. Does 14 divide g?
False
Let p = 27 - 21. Suppose -5*c + 2*x = p*x - 17, -2*c + 8 = x. Is c a multiple of 5?
True
Let q = 1093 + -103. Does 99 divide q?
True
Suppose 0 = 2*s - 5*s - 84. Let i be 2*2*(-287)/s. Suppose -2*t = -7 - i. Is 8 a factor of t?
True
Let a(i) = i**3 + 2*i**2 - 6*i + 3. Let v be a(4). Is 8 a factor of 30/v - 76/(-10)?
True
Let n = 61 + -43. Let g = n + -5. Suppose p - g = 41. Does 22 divide p?
False
Suppose 3*y + 213 = -2*c, 6*c - 7*c - 89 = -2*y. Let l = 108 + c. Is 5 a factor of l?
False
Let f = -190 + 234. Let w = 6 - 4. Suppose f = 4*a + w*u, 48 = 4*a - 2*u + 5*u. Is a a multiple of 5?
False
Let l = 83 + -23. Suppose 3*t - 168 = l. Let x = -42 + t. Does 17 divide x?
True
Let o(y) = y + 1. Let i be o(-5). Let f = i + 10. Does 4 divide f/27 - 176/(-18)?
False
Let q be (64 + 2)/((-4)/4). Let c = 78 + q. Is c a multiple of 10?
False
Let k be (32/(-6))/((-4)/(-30)). Let a = k + 47. Is a even?
False
Let x be -1 - (-4 + (-58 - 3)). Suppose -5*l + 6*l = x. Is l a multiple of 14?
False
Suppose -3*d = 5*l - 2597, -5*d + d - 3*l = -3459. Is d a multiple of 48?
True
Suppose 581*m = 579*m + 1364. Is m a multiple of 10?
False
Let o = -1228 - -1748. Is 4 a factor of o?
True
Is ((-2)/4)/(5/(5 + -2795)) a multiple of 4?
False
Let c = -220 - -232. Is 3 a factor of c?
True
Let d = 593 + -545. Is 8 a factor of d?
True
Let t = 2527 + -1973. Does 9 divide t?
False
Suppose 3*l - 2*l + 897 = 5*i, -4*i = 5*l + 4485. Let m = l + 449. Is 19 a factor of 1/(4*(-2)/m)?
False
Let b = 198 + -189. Is 6 a factor of b?
False
Suppose 11*m - 553 = 10*m. Does 25 divide m?
False
Let r be (-5)/10*-939*4/3. Suppose -x = -5*d + r, -5*d = -2*d - 4*x - 362. Is d a multiple of 14?
True
Let m(b) = b**2 - b + 7*b**3 - 3 + 5 - 3. Let h be m(2). Suppose 5*x + h - 197 = 0. Is x a multiple of 10?
False
Let j be (-2)/8*0 - 3. Let m = 7 + j. Suppose 0 = -5*p + p - m*a + 280, 0 = 2*a + 4. Is p a multiple of 17?
False
Let q = 14 -