 - -7) + (49 - 0)?
False
Suppose s + 45 = 225. Is s a multiple of 12?
True
Suppose -966 = -29*h + 22*h. Is h a multiple of 3?
True
Let l = -11 + 51. Let b be (-18)/(-5) - (2 - (-36)/(-15)). Suppose -k + l = b*k. Is 2 a factor of k?
True
Let a(h) = 1454*h**3 + h**2 + 54*h - 56. Does 14 divide a(1)?
False
Suppose 5*o = t + 721, -5*o - t = 148 - 867. Let q = -83 + 146. Let s = o - q. Does 27 divide s?
True
Let n be (22/(-4) + 4)*90. Is 5 a factor of (-1)/((-30)/n + 97/(-396))?
False
Suppose 4 + 8 = 3*y. Suppose -y*b + 776 = 5*i, -i = i - b - 313. Is i a multiple of 26?
True
Suppose 0 = -10*y + 2514 - 414. Is 38 a factor of y?
False
Suppose 5*a = s + 1016, 2*a + 3*s - 187 - 233 = 0. Does 7 divide a?
False
Is (-4)/6 + 12648/18 a multiple of 54?
True
Suppose 2*b = 4*b - 10. Suppose 0 = 4*n + b*c - 21, -1 = 5*c - 6. Suppose n*l = 96 - 16. Is 14 a factor of l?
False
Let h(a) = a**3 + a**2 + a + 67. Let t be h(0). Suppose 73 = -2*g - t. Let v = 112 + g. Is 22 a factor of v?
False
Let p(n) = 2*n**2 - 23*n - 12. Let b be p(12). Suppose 4*x = -5*v + 92, b*x - 5*v - 34 = -3*x. Does 3 divide x?
True
Suppose -5*b = -3*t + 15, b - 15 = 3*t - 6*t. Suppose -x = k - 2*x - 36, t*x = k - 28. Suppose -j + 22 = 2*a + 2*a, 3*j - 2*a - k = 0. Does 7 divide j?
True
Suppose 5*z = -2*a + 517, 4*a + 4*z - 297 - 719 = 0. Is a a multiple of 6?
False
Let z be -16*((-3)/(-2) - (2 + 0)). Is 16 a factor of z/(-3 + (-39)/(-12))?
True
Let x(k) = k**2 + 9*k - 7. Let v be x(-7). Let a(q) = q**2 + 20*q + 39. Does 15 divide a(v)?
True
Let u be 1/(908/302 + -3). Let b = u + -87. Is b a multiple of 8?
True
Let k be 16/12 + (-2)/(-3) - -52. Suppose -k = -2*s + 4*v, 69 = 4*s + 2*v + 3*v. Is s a multiple of 5?
False
Let u = -142 + 233. Suppose 5*j - 2*y - 232 = 0, -5*j - y + u = -3*j. Is 9 a factor of j?
False
Let l(d) = -d + 403. Does 5 divide l(0)?
False
Let v(r) = -7*r + 46. Let q be v(-9). Let c be ((-4)/(-1) - -1)*13. Suppose -4*s + q = 5*u - 54, -2*s + c = -3*u. Does 12 divide s?
False
Suppose 7*z - 11*z = 4. Does 7 divide 550/4 - z/2?
False
Let b = 36 - 34. Suppose -b*r + 90 = -v, r = v + 3*r + 70. Let s = -28 - v. Does 13 divide s?
True
Suppose -5*d = 2*g - 24, -8 = 3*d - 5*g - 41. Does 6 divide (d/(-2) - -1) + 11?
False
Suppose -5*k = 192 + 228. Is k/(-1 + 1 + -1) a multiple of 13?
False
Let b(j) = 48*j**3 + 3*j**2 - 4*j + 7. Is 3 a factor of b(2)?
False
Let d(a) = a**3 + 14*a**2 - a + 19. Let i(t) = -t**3 - 4*t**2 - 6*t - 8. Let p be i(-3). Suppose -f = -p + 15. Is 10 a factor of d(f)?
False
Let r(d) = 10*d - 11. Let p be r(5). Suppose c = g - 2*c - 7, -3*g - 3*c - p = 0. Does 10 divide 5*(-5)/(5/g)?
True
Suppose 0*n - 15*n + 195 = 0. Is 3 a factor of n?
False
Suppose 0 = -b + 3*t + 5, 5*t - 5 = -b + 3*t. Let q be 106/b*(-14 - -19). Let k = -57 + q. Is k a multiple of 11?
False
Let t = -559 - -566. Let p(g) = g + 5. Let y be p(0). Suppose y*s + 3*f + t - 225 = 0, 4*f + 211 = 5*s. Does 9 divide s?
False
Let h(i) = 3*i - 41 + 37 - i + i**2. Is 11 a factor of h(-8)?
True
Suppose -6*t + 3*t = -3*a + 1074, 5*t - 1760 = -5*a. Does 17 divide a?
False
Suppose -3 + 1 = n. Let w be (n/(-3))/(2/72). Suppose w = 6*x - 4*x. Is 4 a factor of x?
True
Suppose 3*v = 3*q - 390, 0 = 50*q - 49*q - 4*v - 127. Is q a multiple of 28?
False
Suppose -5*b - 4*z + 173 = 0, 5*z - 1 = 9. Does 38 divide (3*-31)/(b/(-44))?
False
Let g(i) = 12*i**2 + i + 1. Let v be g(-1). Let m = v + -6. Is ((-58)/4)/(m/(-12)) a multiple of 13?
False
Let c(o) = 2*o**2 + 12*o - 5. Let w be c(12). Suppose -149 = -9*a + w. Is a a multiple of 16?
True
Suppose -6 - 30 = -r. Suppose -5*s + 3*a = -58, -r = -3*s + 5*a + 2. Does 3 divide s?
False
Suppose -3*v - 5*w = -0*w + 2868, 0 = -5*w - 15. Let p be v/(-33) - (-2)/11. Suppose -x - 1 = -p. Does 20 divide x?
False
Let b = 331 + -242. Is 28 a factor of b?
False
Let t = 1535 - 469. Does 82 divide t?
True
Let s(u) = 71*u - 402. Is s(11) a multiple of 6?
False
Suppose 2*f = 4*m + 100, 4*m + 42 = -4*f + 230. Suppose 4*a = -3*p + f, p = a - 5*a + 56. Suppose -5*u + 25 + a = 0. Is 7 a factor of u?
False
Let x = 807 - 429. Is 14 a factor of x?
True
Suppose 618 = 3*w - 102. Let x = 350 - w. Does 22 divide x?
True
Let a(m) be the first derivative of 9*m**2/2 - 8*m - 5. Let z be a(-3). Is 9/15 + (-2499)/z a multiple of 19?
False
Let k(a) = -a**3 - a**2 - 8*a. Is 6 a factor of k(-2)?
False
Suppose -21*p + 48*p = 2106. Does 78 divide p?
True
Suppose 21*k - 57 = 2022. Is 55 a factor of k?
False
Suppose b - 77 = -3*b - 5*v, -4*b + 32 = -4*v. Suppose b - 29 = -4*s. Suppose -2*n + s*n - 18 = 0. Is n a multiple of 2?
False
Let p be (-175)/(-63) - 2/(-9). Let m = 16 - p. Does 13 divide m?
True
Suppose -5*j - 5*b + 25 = 0, 0*j + 4*b = 5*j - 25. Suppose -4*w + 4 + 60 = j*r, 60 = 4*w + 4*r. Suppose 9*m - w*m + 80 = 0. Is m a multiple of 12?
False
Let r = 220 + -76. Does 18 divide r?
True
Is 35 a factor of -5 + 1 - (1 - (3 + 177))?
True
Is 15 a factor of (-12)/20 + (6264/5)/8?
False
Let w(i) = 75*i - 589. Does 104 divide w(25)?
False
Let y(n) = -2*n + 0*n**2 + 2*n**2 - 74*n**3 - 1 - 3*n**2. Let u be 117/39*((-4)/(-6) + -1). Does 16 divide y(u)?
False
Suppose -c - k + 430 = 0, 4*c - 8*k + 10*k - 1710 = 0. Is c a multiple of 17?
True
Suppose 45 + 140 = g. Does 18 divide g?
False
Let k be (-2)/(-8) + (-47)/(-4). Let s = 14 - k. Suppose 2*h = -s*h + 16. Is 2 a factor of h?
True
Suppose 3*v - l - 4 + 13 = 0, 5*v = l - 13. Let f be -15 + v/(-8)*4. Is 24 a factor of ((-12)/f)/(3/84)?
True
Let y(w) = w**3 + 10*w**2 - 5*w - 13. Let o be y(-10). Suppose 0 = -o*k + 34*k + 21. Is k a multiple of 7?
True
Suppose -21*s + 7 = -22*s. Does 16 divide (s - -119)/(1/1)?
True
Let f(b) = 37*b**2 - 3*b + 1. Let w = -3 - -5. Is f(w) a multiple of 37?
False
Let h(d) = d + 23. Let a be h(0). Let o = a - 67. Let n = o + 82. Is 15 a factor of n?
False
Let q = 11 - 7. Let a be 12/(-8) + 454/q. Suppose 0 = -k - 4*x + 8, k - 4*x - a = -3*k. Is k a multiple of 4?
True
Let r(s) = -12*s**2 + 2*s + 1. Let u be r(-1). Let x = 18 - -20. Let f = x + u. Is 19 a factor of f?
False
Let s = -29 - -27. Let v = s + 170. Does 12 divide v?
True
Let r be 1/(1 - 2)*-2. Let n be ((-36)/54)/(2/27) - -1. Is -30*n*r/10 a multiple of 16?
True
Suppose 25 = 2*m - 5. Let p = m + 0. Let s = 33 - p. Is s a multiple of 6?
True
Let f(q) = -q**2 - 9*q - 11. Let z be f(-5). Suppose -5*i = 2*j - 25 - 15, 4*i = 3*j + z. Suppose u = i*u + 10, -h = -4*u - 29. Does 16 divide h?
False
Let u(t) = -2*t + 5. Let h be u(0). Suppose 2*v - 14 = -5*d, -2 = -3*d - 5*v - h. Suppose 0 = -5*p + d*z + 151, 4*p - 148 = 2*z - 32. Does 27 divide p?
True
Suppose -33*h + 5418 = 9*h. Is 19 a factor of h?
False
Let d(l) = -l**3 + 16*l**2 - 2*l + 27. Let j be d(16). Let k be (-1)/(-4) - 78/(-8). Is 25 a factor of (-2 - j/k)*-50?
True
Let o(q) = -3*q**2 + 3*q - 1. Let v be o(1). Is v/((-8)/(-124))*-2 a multiple of 3?
False
Let r = 2129 + -976. Does 7 divide r?
False
Suppose -3*u - u - 4*a = -488, -u = 5*a - 102. Suppose h - 38 = u. Let o = h + -67. Is o a multiple of 27?
False
Suppose 237*c - 5306 = 223*c. Does 56 divide c?
False
Let f(h) = -h**3 - 10*h**2 - 2*h - 12. Let j be f(-10). Suppose 2*o - j*g + 3*g = 73, 2*o = -4*g + 46. Does 29 divide o?
True
Let d = -7 + 9. Suppose d*v - 24 = -0*v. Does 2 divide 2*(-4)/(-24)*v?
True
Is 10 a factor of (-5)/((-1739)/12210 - (-4)/30)?
True
Suppose 16*a - 42*a + 2600 = 0. Is 50 a factor of a?
True
Suppose -169*b = -171*b + 240. Is 13 a factor of b?
False
Let n(c) = -5*c**3 - 4*c**2 - 2*c - 12. Let j be n(-6). Suppose 7*t + t = j. Is t a multiple of 7?
False
Is (-444)/21*(20 - 27) a multiple of 9?
False
Let j = 62 - 55. Suppose -j*q = -1712 - 738. Is q a multiple of 22?
False
Suppose 5*t + 7 = w, -5*t - 16 = -w - 3*t. Suppose -3*f = -50 - w. Suppose 6*u - f = 2*u. Is 3 a factor of u?
True
Suppose 0*a = -2*a - 8. Does 18 divide (2/a)/((-1)/72)?
True
Let d be (1 - 3)*5/(-2). Let j be 10/(-12) - 712/(-48). Suppose -d*i - j = -7*i. Is i a multiple of 6?
False
Let b(q) = -8 - 2*q + 12*q**2 + 5 + 5. Does 6 divide b(1)?
True
Suppose -14*z = 70*z - 31332. Is 63 a factor of z?
False
Let b = -120 + -138. Let s = b - -665. Does 37 divide s?
True
Let r = -18 + 16. Is r/((-8)/180) - -1 a multiple of 23?
True
Suppose -2*v - q = -4*v - 22, -5*q = 2*v + 10. Let j