 6*v + 6. Is 2 a factor of r(-6)?
True
Let s = -14 + -12. Suppose 0*v - 26 = 2*v. Let u = v - s. Does 13 divide u?
True
Let r = -38 - -103. Does 13 divide r?
True
Suppose 5*p = 4*k + 16, -3*k - 12 = -3*p - 0. Let r(v) = -17 + 6*v + 41 - 7*v. Does 10 divide r(p)?
False
Let i(f) = -2*f + 6. Let l be i(10). Is 61/2 - (-21)/l a multiple of 8?
False
Suppose 0 = 2*f - 3*d - 136, -3*f - 3*d + 319 = 2*f. Suppose 5 - f = -2*b. Is b a multiple of 10?
True
Suppose w - 2*w + 4*q = -5, 0 = -5*w - q - 17. Let i be -1 + 1 + w/3. Is 8 a factor of (-2)/((-75)/69 - i)?
False
Suppose 24 = n - 3*b, 5 = 5*b + 25. Is 7 a factor of n?
False
Let l be (4/4)/((-3)/(-24)). Let m = l - -17. Does 14 divide m?
False
Suppose -10 = -2*j - 0*j. Suppose 72 = 5*z - d + 4*d, 5*z - j*d = 80. Is (z/12 - 0)*12 a multiple of 15?
True
Let w(z) = 2 - 4*z - 1 + 10*z + z**2. Let x be w(-6). Is (x/1)/((-3)/(-27)) a multiple of 4?
False
Let h(d) = d**2 - d + 1. Let t(w) = w - 1. Let m(s) = h(s) - 2*t(s). Let v be m(3). Suppose -v = -3*i + 42. Does 5 divide i?
True
Let h(f) = f**3 - 9*f**2 - f + 9. Let a be h(9). Let i = a + 5. Suppose 0 = z + g - 25, 0 = -i*z + 2*g - g + 101. Is z a multiple of 15?
False
Suppose 0 = -l + 3*l - 6. Suppose 0*i - 270 = -l*i. Is 30 a factor of i?
True
Let i = 12 + 28. Let d = -27 + i. Is 8 a factor of d?
False
Suppose 0 = 4*h - 0*x + 4*x + 132, -2*h - x = 65. Let g = h + 75. Suppose -o = -5, 3*n + n - g = -3*o. Does 4 divide n?
False
Suppose 3*k - 2*k + 2 = 0. Suppose -3 = -5*f + 47. Let i = k + f. Is 4 a factor of i?
True
Suppose -43 = -8*g - 3. Is 3 a factor of g?
False
Suppose 4*b + 0*c - 3*c = 528, 0 = b - 4*c - 119. Let j = b + -91. Is j a multiple of 9?
False
Let f be (-1 - 0) + 11/11. Suppose 0 = -t + 3*u + 16, f = u - 0*u + 4. Is t a multiple of 4?
True
Let l be 43/4 + (-2)/(-8). Suppose 30 = 3*h + 3*o, 3*h - o - 10 = o. Suppose -h*x = -l*x + 20. Is 2 a factor of x?
True
Let x = 43 - -13. Does 14 divide x?
True
Let r(o) = -o**3 - o. Let x be r(1). Let w(d) = 8*d**2 - d + 2. Does 12 divide w(x)?
True
Let x be (8/6)/(2/3). Suppose r + 1 = x. Is 3 a factor of ((-12)/(4 - r))/(-1)?
False
Let l be (-101)/(-2) + 12/(-8). Suppose 4*u = l + 75. Is 21 a factor of u?
False
Suppose -2*v - 3*v = 5*r + 10, -5*r = 4*v + 7. Let m = 3 - v. Is 46/m + (-10)/15 a multiple of 7?
True
Suppose 4*c - 748 = -4*j, 0 = -5*c - j + 935 + 20. Is c a multiple of 32?
True
Let p be (-22)/10 - 1/(-5). Does 15 divide (p/(-2))/(1/41)?
False
Suppose -2*r + 3*y = -0*y - 123, 2*y + 60 = r. Is r a multiple of 27?
False
Suppose 0 = -4*t + 2*t. Suppose 19 = -f - t*f. Is 13 a factor of -2 - f*(1 + 0)?
False
Suppose 0 = -t - 2*t - 12. Let l = t - -4. Suppose -5*k + 110 = 4*n, 2*k - 3*n + 0*n - 67 = l. Is k a multiple of 13?
True
Suppose 2*a = 13 - 5. Suppose -q + 5*o = 0, -a*q - o + 32 = -q. Is 5 a factor of 4/q + (-230)/(-50)?
True
Let f = -25 - -50. Let q = -7 + f. Does 18 divide q?
True
Let n(t) = 3*t**2 + 2*t - 11. Does 9 divide n(-5)?
True
Let u = -13 + 8. Let m be 618/42 + 2/7. Let h = u + m. Is 10 a factor of h?
True
Let f = 11 + 1. Let p = -2 + f. Does 5 divide p?
True
Let h(v) = v**2 - 4*v. Let k be h(-4). Suppose 0 = t + 2*q - 13, -q - k = t - 6*t. Let z(n) = -n**3 + 7*n**2 + 2*n + 8. Does 11 divide z(t)?
True
Let m(j) = 6*j + 2. Suppose 0*h = -5*h + 10. Does 14 divide m(h)?
True
Suppose z = -0*z + 12. Let i = -7 + z. Suppose -78 + 13 = -i*a. Is 9 a factor of a?
False
Let d(j) = -3*j + 2. Let u be d(-2). Let a = -3 + u. Is a a multiple of 5?
True
Let p = -36 - -51. Let g be (1 + p/1)*5. Suppose -d = -2*h + g, 2*h - 119 = -h + 2*d. Does 11 divide h?
False
Let u(g) = -g. Let q be u(0). Suppose -2*a + q = j - 34, -2*a - 136 = -4*j. Suppose j = 4*i - 110. Is 16 a factor of i?
False
Does 24 divide (3 + 130/8)*8?
False
Suppose -3*f = -3*b - 81, -5*f = -f - b - 114. Suppose 4*c = 15 + f. Is c a multiple of 3?
False
Suppose -3*v - 3*h + 147 = 0, 5*v - 10*v = 4*h - 250. Is 7 a factor of v?
False
Let k(d) = -d**3 - 5*d**2 - 3*d - 3. Let u = -8 + 3. Does 12 divide k(u)?
True
Suppose 0 = -b + 3*g + 12, 8 = 2*b - b - 2*g. Let s = 49 + b. Suppose s = p + 15. Does 17 divide p?
True
Let t(f) = 2*f**3 - f**2 - 3*f - 5. Is 19 a factor of t(4)?
True
Suppose -12*h + 8*h + 24 = 0. Suppose -h = 3*n - 84. Is n a multiple of 11?
False
Does 18 divide (-1183)/(-42) - (-1)/(-6)?
False
Suppose 260 = 2*a - 200. Is 23 a factor of a?
True
Let d(s) = -s + 2. Let x be d(2). Suppose 2*p = 2*i + 2*i - 14, 2*i + 4*p - 22 = x. Does 3 divide i?
False
Let q(k) = 2*k**3 - 3*k**2 + 4*k. Is q(2) even?
True
Let y = 22 + -15. Suppose 448 = 5*l + 2*t, 5*t + 6 = 26. Suppose -l = -y*o + 3*o. Does 11 divide o?
True
Let n be 3*4/(-6)*-2. Suppose -4*g + 2*s + 12 = 0, n*s + 1 = g + 3*s. Suppose g*h + i + 2*i = 159, 4*i = 4*h - 108. Is 15 a factor of h?
True
Suppose 3*q = 5*l - 1495, -l - 3*l - 5*q + 1196 = 0. Is 15 a factor of l?
False
Suppose 0 = 2*x - 5*i - 46, x - 26 = i - 6. Is x a multiple of 9?
True
Is 15 a factor of 290/5 + 1 - -1?
True
Suppose -5*y + 295 + 410 = 0. Is 20 a factor of y?
False
Let q(x) = x + 8. Let l be q(-5). Is 12 a factor of -10*(33/(-6) + l)?
False
Suppose 5*k - k = -4*j + 28, -2*j + 5*k = -14. Suppose 2*i = -5 + j. Is (i - 3)/((-2)/4) a multiple of 3?
False
Let h(w) = 2*w**3 - w**2 + w - 1. Let r be h(1). Does 13 divide (-1 - -2) + 37 + r?
True
Suppose -4*d - o + 69 = -d, 0 = 5*d - o - 123. Does 12 divide d?
True
Let j(o) be the second derivative of -o**4/12 - 5*o**3/6 + 5*o**2/2 + 2*o. Let k be j(-6). Is (1 - 0)*(14 + k) a multiple of 13?
True
Let i = -31 + 99. Is 13 a factor of i?
False
Let c be (15/(-6))/1*6. Does 4 divide 15/(-1)*12/c?
True
Let o(s) = 1 - 2*s**2 + 8*s + 3*s**2 + 5. Does 3 divide o(-8)?
True
Suppose 18 = 3*c - 0*c. Does 3 divide c?
True
Suppose 0 = -j - 11 + 1. Let c be ((-32)/(-10))/(2/5). Let t = c - j. Does 18 divide t?
True
Let u(p) = p**2 - 3*p - 7. Let m be u(5). Is -3*(m - 3 - 2) even?
True
Suppose -360 = -8*u + 5*u. Does 12 divide u?
True
Let d be (-1)/2 - (-9)/2. Let y = 7 - d. Is y a multiple of 2?
False
Does 15 divide 640/6 + 4/12?
False
Let v be (2/4)/(4/(-128)). Is (-68)/v - 2/8 a multiple of 4?
True
Suppose b = 4*b - 171. Suppose m = 4*m - b. Suppose 2*l - 8 - m = -3*u, -3*l + 73 = -2*u. Does 11 divide l?
False
Let m = 11 - 9. Is 2 a factor of m?
True
Suppose -2*m - 16 = 180. Let u = -59 - m. Does 13 divide u?
True
Let j = 382 - 263. Does 7 divide j?
True
Let w(b) = -6*b**3 - 3*b**2. Is 6 a factor of w(-2)?
True
Does 14 divide 14*(16/4 + -3)?
True
Let s(k) = -k**2 - 14*k - 4. Let x(u) = -u**2 - 6*u + 1. Let d be x(-7). Let r be s(d). Suppose -2*l + r = -28. Does 13 divide l?
False
Suppose h = -s + 151, 438 = 2*s + s - 2*h. Is 37 a factor of s?
True
Let i be (19/(-3))/((-3)/(-27)). Let m = 99 + i. Is 14 a factor of m?
True
Does 32 divide 3 + 41*(4/(-4) - -2)?
False
Let o = 28 + -20. Suppose w + o = 2*d, 0*w + 3*w = d - 9. Suppose 4*p - 47 = -0*p + t, d*p - 27 = -2*t. Is 11 a factor of p?
True
Let c be (-2)/(-7) - 122/(-14). Suppose y = c - 2. Let a(v) = v**2 - 6*v + 5. Does 5 divide a(y)?
False
Let p(c) = -c + 13. Does 5 divide p(6)?
False
Suppose 5*v - 342 + 72 = 0. Suppose -m + v = m. Does 9 divide m?
True
Let x(d) = -56*d + 1. Suppose 4*q + 0 + 4 = 0. Is x(q) a multiple of 10?
False
Suppose -a - 4*a - 3*r + 198 = 0, a + 5*r - 22 = 0. Does 25 divide a?
False
Let i(t) = -t. Let k be i(3). Let m be (36/10)/(k/(-10)). Suppose m = -5*g + 137. Is 13 a factor of g?
False
Let v(h) = -h**2 - h + 2. Let s = 3 - 8. Let p be v(s). Is (p/(-4))/((-3)/(-6)) a multiple of 9?
True
Does 12 divide (-1 + 19)*(-90)/(-27)?
True
Let k = 63 - -25. Is 8 a factor of k?
True
Suppose -4*l + 344 = -2*l. Suppose 4*x - l = 2*x. Is 28 a factor of x?
False
Suppose -4*t = 3*q - 169, q + t = 3*q - 120. Let y = 16 + q. Suppose 5*n - y = -3*h, 0 = -n - h + 7 + 6. Is 5 a factor of n?
False
Let s be 6/1*12/18. Let l be 5 + (0 - 2)*1. Suppose -2*j + 3*r + 1 = -8, l*j - 5 = -s*r. Is j a multiple of 3?
True
Let w = -6 + 5. Does 2 divide (w/2)/((-4)/32)?
True
Is 16 a factor of (-40)/(2/(-4) - 0)?
True
Let m(q) = -q - 6. Let g be m(-9). Suppose -g*p + 15 = -27. Does 8 divide p?
False
Suppose 13 - 5 = 2*k. Suppose 7*f = 4*f. Suppose -k*c - c - 4*z + 80 = 0, f = -c - 3*z + 27. Does 6 divide c?
True
Let p be (2/