a factor of k?
False
Suppose 0 = -20*q + 27*q - 42. Is q a multiple of 3?
True
Suppose 41*j = 30*j + 3949. Does 32 divide j?
False
Let m = -404 + 186. Is 3 - (m + (-10)/(-5)) a multiple of 37?
False
Let a be (-5 - -3) + -1 + 10. Suppose 0 = m - 20 - a. Suppose -4*x = 5*s - 96, s - m = -x - s. Is 8 a factor of x?
False
Suppose -2*x = -8, x + 48 = -2*k + 3*x. Let m = k + 22. Suppose -8 = -o + m. Is 10 a factor of o?
True
Let l(m) = m**3 - 11*m**2 - 2*m + 22. Let q be l(11). Suppose -3*z + 169 = -5*b, 81 = 2*z + 2*b + b. Suppose -v + q*v = -z. Is v a multiple of 24?
True
Suppose 0 = 4*g - 11 - 33. Suppose 55 = -4*x + 31. Let u = g + x. Is u a multiple of 3?
False
Let n be (2/(-5))/(5/(-575)). Suppose 3*q = n - 7. Let j = q - -17. Does 15 divide j?
True
Suppose -q + 5*z + 137 = 0, -5*q = -10*q - 2*z + 766. Is q a multiple of 11?
False
Let g(h) = -h**2 - 8*h + 19. Let z be g(-9). Let j(q) = q**3 - 11*q**2 + 12*q + 10. Does 10 divide j(z)?
True
Let s = 44 - -50. Let a = s + -58. Does 9 divide a?
True
Suppose 2*o - 709 + 199 = 0. Is 85 a factor of o?
True
Let p be (-4)/30 - (-35542)/390. Suppose -8*l - p = -21*l. Does 6 divide l?
False
Let a(i) = i**2 + 22*i + 77. Let m be a(-17). Let s be 178/6 - 1/(-3). Let q = s - m. Is q a multiple of 28?
False
Let x(r) = -r**2 - 4*r + 11. Let q = 29 + -33. Is 7 a factor of x(q)?
False
Suppose -5*m + 225 = 4*z, -5*m = -2*z - 3*z + 270. Let g be (-44)/(-10) - 22/z. Suppose -g*v + 7*v = 90. Is v a multiple of 10?
True
Suppose -2*w + 167 - 39 = 0. Suppose 0*x = -2*x - w. Let t = x + 64. Is t a multiple of 11?
False
Suppose 0 = -5*x - t - 2*t + 38, 36 = 2*x - 4*t. Suppose w + x = -w, -d - w = -1. Suppose 76 = -2*f + d*f. Is f a multiple of 4?
False
Is 9 a factor of 26/39 - 13*(-109)/3?
False
Suppose -3*k = -12, 2*u - k - 908 = -18. Is 3 a factor of u?
True
Let r(d) = 2*d**3 + 4*d + 10. Let l be r(-5). Let j = -130 - l. Is j a multiple of 10?
True
Let q be (2 + 0)*(-1 + 2). Suppose 5*b = -0*m + m - 95, -3*b = -q*m + 162. Is 16 a factor of m?
False
Suppose -5*t + 0*h + 785 = 4*h, -463 = -3*t - 4*h. Let j = -96 + t. Suppose 2*m - 52 = -4*a, -5*a + 3*m = 4*m - j. Is a a multiple of 2?
False
Suppose -140 = -5*u - 0*u + 5*q, 0 = q + 4. Suppose d + 2 = -0*j + j, 5*j - u = -2*d. Suppose -j*x = -2*x - 34. Does 4 divide x?
False
Suppose y + 0*y = -14. Let w = 9 + y. Let b(u) = -9*u - 6. Does 18 divide b(w)?
False
Let m = -5 + 63. Suppose p - m + 38 = 0. Does 17 divide p?
False
Let n(t) = t**3 - 7*t**2 + 6*t + 2. Suppose 0 = g - 4 - 2. Let o be n(g). Let a(b) = b**3 - 4*b + 2. Does 2 divide a(o)?
True
Let t(l) = -328*l + 3. Let o be t(1). Let w = o - -530. Is 41 a factor of w?
True
Let s = -493 - -665. Is s a multiple of 11?
False
Suppose -8 = -0*v - 4*v, -12 = -2*i - 4*v. Is -74*(-11)/22*(i + 0) a multiple of 18?
False
Suppose 0 = 5*w, 4*w - 5 = 2*x + 11. Let d be 4/(-3)*(-12)/x. Is 35/1 - 1 - d a multiple of 13?
False
Suppose -2*n - i = -0*i - 477, -2*n + 468 = 4*i. Does 24 divide n?
True
Let s be 1 + 8/4 + -1. Suppose 0 = r + s - 14. Is r a multiple of 6?
True
Let d = 1816 - 936. Does 55 divide d?
True
Let b be -100*(-15)/10*1. Let w be (-260)/(-36) - (-4)/(-18). Suppose -w*q + b = -q. Does 6 divide q?
False
Suppose 4 = -2*g - 12. Let o(f) be the second derivative of f**4/12 + 7*f**3/6 - 5*f**2/2 - 12*f. Does 2 divide o(g)?
False
Let k(w) = -w**2 + 5*w - 1. Let x be k(4). Let u = -17 - -62. Suppose x*n = 57 + u. Is n a multiple of 9?
False
Suppose -2*f + 436 = -890. Let g = f - 334. Does 54 divide g?
False
Suppose -1116 = -5*m + 234. Is 9 a factor of m?
True
Suppose 8*d - 2646 = 4522. Does 28 divide d?
True
Suppose 0*q = 4*q. Suppose q = 3*t - 4*t + 5. Let g(m) = m**2 - 4*m + 1. Does 6 divide g(t)?
True
Suppose 3*o = y - 267, 4*y - 1275 = -y + 3*o. Is 36 a factor of y?
True
Suppose l + 1 = -3*s - 0, 0 = 2*l + s + 2. Let t be (-5)/3*6/2. Is (l - t) + 2/2 even?
False
Let u = 127 - 281. Let d = -77 - u. Does 11 divide d?
True
Suppose -2*i = 5*q - 12, 6 - 18 = -2*i + q. Let l = i - 5. Is 7 a factor of -6*(-2)/l + 1?
False
Let d(i) = 3 - 158*i - 1 + 59*i. Is 10 a factor of d(-2)?
True
Let d be (-8)/(-12) - 1384/(-12). Let w = d - 46. Does 14 divide w?
True
Suppose -3*n + 2*c = -1241, 3*n = 7*n + 2*c - 1678. Does 37 divide n?
False
Suppose -16 = -0*n - 5*n + 4*t, 5 = 2*n - 3*t. Suppose -n*o + 429 = o + 2*i, 5*o - 433 = -4*i. Does 17 divide o?
True
Let o be 5 - (-5 + 4 + 3). Suppose 2*s - o*i - 27 = 0, -3*s = -0*s + 5*i - 31. Is s a multiple of 12?
True
Is 18 a factor of (-48)/(4 - (-42)/(-9))?
True
Is 21/(-9 + 2) - -171 a multiple of 18?
False
Suppose 0 = -4*n + 3*n + 5*i + 151, i + 383 = 3*n. Suppose -6*c = -3*c - n. Is 15 a factor of c?
False
Let y be ((-1)/3)/(1/(-45)). Let d be (-4)/(-6) + (-10)/y. Suppose 0 = z - d*z - 13. Does 5 divide z?
False
Let f be ((-20)/(-14))/(4/14). Let w be -2 - 0 - (f + -1). Let u = w - -15. Does 3 divide u?
True
Suppose 0 = -287*y + 289*y + 5*w - 1746, 2*y - 1738 = -w. Is y a multiple of 62?
True
Let u be 4*(-2)/(-6)*-3. Let v be 0 + u*4/8. Does 5 divide (1/v)/((-3)/30)?
True
Suppose -1 + 5 = x. Let d be 28/21*(-6)/x. Does 16 divide (-1)/(d/46 + 0)?
False
Suppose f = -0*f + 6. Suppose 97 = f*q - 209. Is 17 a factor of q?
True
Suppose 4*v = 3*r - 21, -2*v = 4*r - 3*v - 15. Suppose -71 + r = 4*n. Let g = 30 + n. Does 13 divide g?
True
Let a(m) = 54*m**2 + 14*m - 65. Does 7 divide a(4)?
False
Let i = -8 - -12. Suppose 0 = -5*d - k - 16, -2*k - 3 + 15 = -d. Is 15 a factor of d*i/32*-142?
False
Let c = -255 + 541. Is 26 a factor of c?
True
Is 8 a factor of -552*(8 - 104/12)?
True
Suppose 0 = 4*q + 8, -6*i + 4*q = -10*i + 1656. Is 52 a factor of i?
True
Let r = 1372 + -1171. Is 4 a factor of r?
False
Suppose 5*i - 8*i - 4*w + 1512 = 0, -5*w = 0. Is 36 a factor of i?
True
Let j(z) = 7*z**3 + 3*z + 2. Let f be j(2). Let q = 20 + f. Is q a multiple of 21?
True
Let z = 56 + -40. Suppose 4*t + 0 = z. Is t a multiple of 2?
True
Let a(i) = -i - 17. Suppose -2*r - y - 20 = 0, 3*r + 2*y + y = -24. Let c be a(r). Is 12 a factor of ((-12)/c)/(3/15)?
True
Suppose -5*y = -x - 2*y + 32, -96 = -4*x + 4*y. Let c = 4 + x. Is c a multiple of 8?
True
Let o = 30 + -9. Let u(k) = -k**2 + 15*k - 21. Let c be u(9). Suppose -2*w - 2*w + c = 5*x, 2*w = -x + o. Does 12 divide w?
True
Let x(f) = f**2 + 4*f + 3. Let z be x(-7). Suppose -2*d + z - 16 = 0. Suppose -d*r + 115 = 11. Is 5 a factor of r?
False
Let c = -69 - -61. Does 12 divide c/(-16)*(-216)/(-3)?
True
Let z be (-1 - 9/(-5))*32870/76. Let t = -16 + z. Is 55 a factor of t?
True
Let q be (-4)/6*((-651)/14 + -6). Suppose 5*d = -5*s - q + 285, 3*s = 3*d + 162. Does 13 divide s?
True
Let c(f) = f**2 - 5*f + 5. Let l be c(5). Suppose 6*h + l*v - 375 = 4*h, -1010 = -5*h + 2*v. Suppose -3*s + h = s. Is 22 a factor of s?
False
Let u(a) = 7*a**2 - a - 6. Let f(c) = c**2. Let y(d) = -4*f(d) + u(d). Let x be 4 + (-3)/1 + 2. Is y(x) a multiple of 10?
False
Let r be ((-1)/2)/((-4)/24). Suppose 76 = c - b, 0 - 263 = -r*c - 4*b. Suppose 4*s - 5*s = -c. Does 23 divide s?
False
Suppose i + i - 6 = 0, -2*d + 189 = 3*i. Does 18 divide d?
True
Suppose 0*u + 4*u = 0. Let i(a) = -3 + a**2 + u + a**2 + 4*a - 3. Does 14 divide i(4)?
True
Suppose 14*i - 8*i = 5976. Does 45 divide i?
False
Suppose -2*f = -5*x - 553, -7 - 2 = 3*x. Is 21 a factor of f?
False
Suppose -5*o + 3770 = -5*u, -4900 = -5*o - u - 1118. Is 9 a factor of o?
True
Suppose 2*f + 10 - 5 = z, -f - z = 10. Suppose -l + x + 43 = 0, 3*l + 5*x - 145 = -0*l. Does 10 divide (-18)/l - 77/f?
False
Let v(z) = 14*z - 3. Let f be v(2). Let o(r) = r**3 + 7*r**2 - 13*r - 40. Let u be o(-8). Suppose u = 2*x - f + 9. Does 3 divide x?
False
Let v(z) = 110*z**2 + 155*z - 45. Let n(o) = 5*o**2 + 7*o - 2. Let t(u) = 45*n(u) - 2*v(u). Let m be t(-4). Suppose 10*f - 4*f = m. Is 4 a factor of f?
False
Suppose 2*r = -4*t + 1786, -5*t + 6*t = 3*r - 2686. Is 67 a factor of r?
False
Let k = 1693 - 154. Is k a multiple of 19?
True
Suppose 4*c - 1242 = -3*s + 715, -4 = 4*s. Is c a multiple of 14?
True
Let s(h) = h**3 + 11*h**2 + 4*h - 1. Let v(a) = -a - 19. Let x be v(-9). Is s(x) a multiple of 14?
False
Let o be (-5 - (-175)/20) + (-2)/(-8). Suppose y - 106 = -b, 0 = 2*b - o*y - 324 + 112. Is 45 a factor of b?
False
Let f(h) = 71*h - 1. Let m be f(-3)