ppose -2*u + 103 + 67 = 0. Is u a multiple of 13?
False
Let v be -1 - (0 + 2 + 0). Let l be v/6 + 35/2. Suppose 5*f - 18 = l. Does 3 divide f?
False
Suppose -5*b + l = -668, -4*b + l + 526 = 3*l. Suppose 5*k = -2*i + 203, -i + b = 3*k + 3*i. Is k a multiple of 11?
False
Suppose -63 = -3*s - 4*s. Does 9 divide s?
True
Suppose 2*w = -2*l + 14, -2*w + 8 = 2*w. Suppose 33 + 32 = l*r. Is 13 a factor of r?
True
Let f be 0 - 2/(-2)*1. Let a be f - -12 - (-2 - -1). Suppose -d = 5*r - 7, -r + a = 2*d - 0*r. Is d a multiple of 4?
False
Is 6 a factor of ((-9)/(-4))/(9/48)?
True
Let v = 43 + -41. Suppose 3*a - a - 66 = 0. Suppose 0*l + p - a = -5*l, -v*l - 5*p = -27. Is l a multiple of 4?
False
Let i(g) = -2*g + 6. Let o(s) = 7*s - 2. Let n be o(2). Let k = n + -17. Is 8 a factor of i(k)?
True
Let y(z) = z**2 + z + 26. Suppose -s = -2*s. Does 13 divide y(s)?
True
Suppose n - 5*i + 3*i - 25 = 0, 0 = -i + 2. Is 6 a factor of n?
False
Let o be 9/(-30)*2*-5. Suppose g - 4 - 25 = -o*d, 0 = g - 4*d + 6. Is 14 a factor of g?
True
Let m(a) = 5*a**2 + 6*a + 5. Let s be m(5). Suppose z - s = -4*z. Is 12 a factor of z?
False
Suppose -5*j + 11 = -9. Suppose c - 2*y - 14 = 0, -j*c = -0*c - 3*y - 81. Suppose -2 = p - c. Does 11 divide p?
True
Suppose 100 = -2*i - 3*i. Let x = i - -50. Suppose -2*n + x = -36. Does 11 divide n?
True
Suppose -2 = -4*r + 6. Let l = 10 + r. Does 12 divide l?
True
Suppose 11 + 7 = -3*t. Let k(a) = -7 + 0*a**3 - 3*a**3 + 4*a**3 + 6*a**2 - 3*a. Does 11 divide k(t)?
True
Suppose 3*n - 75 = -3*o + 375, 0 = -2*o. Does 15 divide n?
True
Is (-6)/4 - (-175)/10 a multiple of 8?
True
Is (42/18)/((-2)/(-42)) a multiple of 16?
False
Let q = -5 - -4. Let r be ((-2)/4)/(q/(-60)). Let z = 98 + r. Does 23 divide z?
False
Let h(k) = k**3 - 6*k**2 + 4*k - 4. Let c be h(3). Let x = 27 + c. Is x a multiple of 3?
False
Does 19 divide (4/8)/(2/228)?
True
Suppose 16 = 5*b - 59. Is b a multiple of 4?
False
Let i(d) = d**3 + 7*d**2 + 4*d + 6. Let n be i(-6). Suppose -2*s - 12 = -x + n, 3*x + 3*s = 108. Is x a multiple of 10?
False
Let p = 9 - 19. Let h be (15/p)/(2/8). Is (-44)/(-8) - h/4 a multiple of 3?
False
Suppose 70 = 2*i - 146. Is 27 a factor of i?
True
Suppose -c = -2*o - 62, -5*o + 360 = 4*c + 47. Suppose -2*f + 0 + c = 0. Is 16 a factor of f?
False
Let q(x) = -x**3 + 7*x**2 - 7*x + 4. Let p(l) = 4*l**3 + l**2 - 2*l + 1. Let t be p(1). Let n be q(t). Suppose 2*v + 5*j + 3 = 2, 3*v - j - n = 0. Is v even?
False
Suppose -4*g = 2*o - o - 13, 0 = -2*o + 2*g + 16. Is o a multiple of 3?
True
Is 29 a factor of 29/((-6)/(-10) + 12/(-30))?
True
Suppose -5*b - 2*c + 288 = 0, 4*b - 86 = -2*c + 144. Does 37 divide b?
False
Let g(l) = 6*l**2 - 6*l + 2. Is 12 a factor of g(5)?
False
Suppose 0*b + 2*b + 88 = 0. Let i = 79 + b. Does 12 divide i?
False
Suppose 0 = -2*q - 0*q - 94. Let l be -3 + ((-124)/4 - 0). Let b = l - q. Is 5 a factor of b?
False
Let z(f) = -64*f + 2. Does 17 divide z(-1)?
False
Let j be 2/(-8) - (-26)/8. Suppose -4*q = -3*c + 105, 8*q - 3*q + 138 = -j*c. Let r = -9 - q. Is 9 a factor of r?
True
Is 6/(-27) - (-3057)/27 a multiple of 55?
False
Let n(f) = f - 1. Let x be n(4). Suppose 2*d - 22 = -o, -o + x = -d - 16. Does 10 divide o?
True
Let f(p) = -6*p**3 - 2*p**2 - 4*p - 4. Is f(-2) a multiple of 16?
False
Suppose -39 = -5*r + 5*g + 136, -3*g = 0. Does 20 divide r?
False
Let s(p) = -5*p**2 + 1. Let r be s(-1). Let n(t) = -t**2 - 4*t + 2. Let m be n(r). Is 13 a factor of m/(-3) + 208/6?
False
Let s(a) = -a. Let l be s(1). Let u(f) = -f**3 + 4*f**2 + 2*f - 2. Let w be u(4). Does 20 divide w/l*(2 - 6)?
False
Let s(v) = -11*v - 18. Is s(-8) a multiple of 10?
True
Let a be 1 + (-3)/6*-2. Suppose q + 4*c = -2*q - a, 0 = 5*q + 5*c + 10. Is 15 a factor of ((-15)/q + -2)*38?
False
Let l = 217 + -119. Does 24 divide l?
False
Suppose -k + 2*o + 3*o = -33, -o = 0. Is 5 a factor of k?
False
Suppose 0 = -3*y, 3*b + y - 49 = 101. Is b a multiple of 26?
False
Suppose q - 195 = -3*u, -5*u + 423 = q + 96. Suppose w - 4*y - 33 = 0, 0*y + y + u = 3*w. Is 15 a factor of w?
False
Let a(l) = -l**2 - l**2 - 3 + 4*l**2 - 2*l. Does 9 divide a(-2)?
True
Suppose -3*u + 86 = -109. Is u a multiple of 13?
True
Let x be 20/6*(8 + -11). Let o be (-52)/x - (-2)/(-10). Is (-4)/o*110/(-4) a multiple of 11?
True
Let r(p) = -7*p**2 + p. Let q be r(1). Let c be q*(-3)/6*3. Let x = c - -1. Is x a multiple of 4?
False
Is ((-22)/(-6) - 3)*15 a multiple of 10?
True
Suppose -5*q - 48 = -9*q. Is 12 a factor of q?
True
Suppose 0 = 4*o - 6*o + 24. Is (-15)/o*(-12)/3 a multiple of 5?
True
Suppose -5*g + 7 = 2*u, -2*g + 3*u = 7*u + 10. Let q = g + 18. Is 7 a factor of q?
True
Let l(m) = 143*m - 5. Let g be l(-5). Let v = -385 - g. Does 4 divide (-4)/10 + v/25?
False
Let l(r) = -r**2 - 5*r - 4. Let v be l(-3). Suppose -3*j + 3 = -12. Suppose -w + 41 = v*t, -j*w - 78 = -3*t - w. Is 9 a factor of t?
False
Let u be ((-1)/1)/(1/5). Let l be (-30)/u*4/(-3). Let z = l + 30. Is 11 a factor of z?
True
Let w = 32 - 1. Let i = -15 + w. Suppose -3*j + i = 4*u, -u - 12 = -j + u. Does 6 divide j?
False
Does 8 divide 2/7 - (-220)/14?
True
Let l be ((-3)/2 - -1)*0. Suppose 3*b + b - 16 = l. Suppose -d - 4*i - 8 = 0, -d + 3*d = b*i + 44. Is 8 a factor of d?
False
Let r(t) = 5*t**2 - 14*t - 3. Let w(x) = 6*x**2 - 15*x - 3. Let f(j) = 7*r(j) - 6*w(j). Let b be f(-6). Let l = 4 + b. Is l a multiple of 6?
False
Let x(t) = 37*t - 54. Is x(6) a multiple of 28?
True
Suppose 80*w - 77*w = 318. Is 6 a factor of w?
False
Suppose 3*j + h = -0*j + 4, h = -2*j + 3. Does 15 divide (2 - j)/(2/30)?
True
Let t(c) = c**3 - 5*c**2 - 5*c. Suppose 3*w - 4*z - 18 = 0, 4*w - 12 = -4*z + 12. Let a be t(w). Is (40/(-6))/(-5)*a a multiple of 4?
True
Let f be 1 - 3*(1 - 2). Suppose 2*k = -0*k + f. Is k a multiple of 2?
True
Let c be 5/(-2)*(-24)/15. Let b = -12 - c. Let x = b + 40. Is x a multiple of 12?
True
Is 4/14 + (-4085)/(-133) a multiple of 7?
False
Let d = -30 + 12. Let b = 18 - d. Does 9 divide b?
True
Let a(f) = -f**2 + 5. Let d be a(0). Suppose d = -o, -c + 0*o + 16 = -o. Let n = 44 - c. Is 11 a factor of n?
True
Is (7 - (6 + -2))*232/6 a multiple of 31?
False
Let a(w) = -5*w - 26. Is 9 a factor of a(-7)?
True
Suppose 0*i = -i + 163. Let x = i - 231. Let o = -26 - x. Does 21 divide o?
True
Let j(k) = 3*k**2 - 1. Let q be ((-30)/(-7))/(-5)*-7. Is j(q) a multiple of 27?
False
Let c(i) = 4*i**2 - 1. Let b be c(1). Suppose -m + 6 = -h - 0, -5*m + 54 = h. Suppose -2*d = b*d + o - 55, -m = -2*o. Is d a multiple of 10?
True
Suppose 15*d - 504 = 111. Is 5 a factor of d?
False
Suppose 5*g - 5 = 20. Suppose g*o - 35 = 20. Does 11 divide o?
True
Let q = -121 - -234. Suppose -2*v = -2*a - 0*v + 42, 5*a = -3*v + q. Is a a multiple of 12?
False
Does 11 divide (-1)/(-2*(-4)/(-472))?
False
Let b(g) be the second derivative of -g**3/3 + g. Suppose 3*k - 3*q = k, 0 = 3*k - 4*q + 1. Is b(k) a multiple of 3?
True
Let a(f) = -f + 4. Let w be a(0). Let l be (-2)/w - (-36)/8. Suppose -5*v = -26 - l. Is 4 a factor of v?
False
Let c = 9 + -5. Let m(n) = 2*n**2 - 4*n + 6. Does 11 divide m(c)?
True
Let b(f) = -16*f. Let m(t) = t**3 - 3*t**2 - 2. Let h be m(3). Is 8 a factor of b(h)?
True
Suppose -5*u = 2*z - 16, -4*z = -2*u - 2*u + 24. Suppose 5*a + 40 = 2*g, 0 = -u*g + 4*a + 28 + 76. Does 15 divide g?
True
Let d(o) = 6*o - 3. Let u be d(3). Suppose -a - 4 = 0, -4*m + 4 + 32 = -4*a. Suppose m*c - u = -0*c. Is c even?
False
Suppose 0 = -0*d - 2*d - 4. Let n = d + -23. Is 20 a factor of (0 - n)*12/15?
True
Let b(f) = -11*f + 2. Is 18 a factor of b(-5)?
False
Let c(l) = l**2 - l - 2. Let m be c(2). Let b = m + 7. Suppose b*p - 4*p = 141. Is p a multiple of 18?
False
Let k be ((-20)/30)/(2/(-6)). Suppose 4*g - 364 = -6*l + 3*l, 5*g + 2*l = 455. Suppose k*a - g = -3*x + 3*a, 125 = 4*x - 5*a. Is x a multiple of 15?
True
Suppose 20 - 4 = 4*y. Suppose 3*s + 2*s - 35 = -2*v, 0 = -3*v + y*s + 18. Is (-4 - -6) + v + 0 a multiple of 12?
True
Let j(a) = -4*a. Let m be j(-1). Let g(c) = -4 + 0*c**2 + 2*c**2 - 2 + 7. Is 16 a factor of g(m)?
False
Let d be 1*3/3*15. Suppose s - d = -0*s + o, -2*s = -4*o - 40. Is 10 a factor of s?
True
Is 6 a factor of 3 + 0 - 3 - -30?
True
Suppose -2*g - 3*k - 131 = -4*g, -345 = -5*g + 4*k. Does 12 divide g?
False
Let p(f) = 27*f - 6. 