+ 5*q - 5. Let a be c(7). Let w = i - a. Does 13 divide w?
True
Is 33 a factor of 728/11 + (-4)/22?
True
Let a = 3 + 4. Suppose 2*w + 4*g = a*w - 110, 0 = -4*w - g + 67. Does 18 divide w?
True
Suppose 11 = 3*u + 2. Suppose -p - u = -9. Does 4 divide p?
False
Suppose 105 = 2*h - 5*h. Let l = h + 50. Does 4 divide l?
False
Suppose 0*z = 3*z - 2*v - 9, 9 = 3*z + 4*v. Suppose 2*i - 24 = -s, 2*i - 54 - 18 = -z*s. Is 24 a factor of s?
True
Is 81/(-15)*9*-5 a multiple of 6?
False
Let m(r) = -r - 6. Let o be m(-6). Is o + 1 - (-1 + -56) a multiple of 19?
False
Let v(u) = 8*u - 2. Let t be (6/(-15))/(2/(-30)). Suppose -3*i = -0*i - t. Is 7 a factor of v(i)?
True
Let t = -23 + 40. Suppose q = 22 + t. Is q a multiple of 13?
True
Suppose -3*k = k. Suppose -48 = -4*d - l, 4*l - 24 = -k*d - 2*d. Is d a multiple of 12?
True
Let t be 6*1/(-2) - 8. Let a = -8 - t. Does 4 divide (-102)/(-8) + a/(-4)?
True
Is ((-4)/(-6))/((-1)/(-27)) a multiple of 18?
True
Suppose 0 = 3*p + v + 1, p = 4*p - v - 1. Suppose -s = -4*l + 2 - 26, p = -l - 5. Let z(k) = -k**3 + 5*k**2 - 3*k + 6. Is 10 a factor of z(s)?
True
Is ((-178)/(-6) - (-3)/1)*6 a multiple of 14?
True
Let s = 1 - -2. Let l = -1 + s. Let i(y) = 3*y**3 - 3*y + 3. Does 11 divide i(l)?
False
Let p(g) be the third derivative of 0 - 11/6*g**3 + 0*g - 2*g**2 + 1/12*g**4. Is p(8) a multiple of 3?
False
Let f = 12 + 36. Is 12 a factor of f?
True
Is 3/((-3)/(-84)*3) a multiple of 12?
False
Let l = 45 - 32. Let i = l - 8. Is 11 + 1 - (7 - i) a multiple of 9?
False
Let y(u) = 13*u**3 + u**2 + 2*u + 1. Let o be y(-1). Let f = o + 37. Suppose f = l + 2*l. Is l a multiple of 8?
True
Does 26 divide 2187/12 + (-1)/4?
True
Let c(r) = r**3 - 7*r**2 + 10*r + 1. Is c(7) a multiple of 11?
False
Suppose -4*z - 52 = -2*g, g = 3*g - z - 49. Is g even?
True
Is 34 a factor of 4160/30 - (-4)/3?
False
Let q(a) = -44*a - 15. Is 23 a factor of q(-4)?
True
Suppose -4*a + 129 - 365 = 0. Let i(m) = 11*m + 3. Let r be i(-8). Let b = a - r. Does 13 divide b?
True
Let l(r) = 4 - 2 + r**2 - 9*r + 7. Let i = -8 + 17. Is 9 a factor of l(i)?
True
Let u(m) = -m**3 - 2*m**2 + 2. Let q be u(-2). Suppose 6 = 2*k + q. Suppose -g + 34 = k*o - 11, -203 = -5*g + o. Is 20 a factor of g?
False
Let f be (-7 - -10) + 4*13. Let a = f - 26. Is 7 a factor of a?
False
Let i(m) be the first derivative of -7*m**4 - m**2 - m - 7. Is 8 a factor of i(-1)?
False
Suppose 19 = 3*z + u + 5, 0 = 5*u - 25. Suppose 0 = -z*s + 46 + 77. Is s a multiple of 15?
False
Let i(t) be the first derivative of -5/2*t**2 - 2*t - 2. Is i(-3) a multiple of 7?
False
Let f be 2/8 + (-1028)/16. Let k = f - -98. Is k a multiple of 12?
False
Suppose 16 = -4*u, r - 3*r + 5*u = 0. Suppose -3*j - 11 = q, 2*j - 9 = 3*q - j. Does 11 divide (-106)/r + (-2)/q?
True
Suppose -k + 2*w + 3 = 0, -w = 2*k - 1 + 10. Let j = 1 + k. Does 3 divide 2 + j + 5 + 2?
False
Let o = -4 - -11. Let a = 1 - o. Is 44/6 - a/9 a multiple of 7?
False
Let p be (-470)/(-15)*3/(-2). Let q = -14 - p. Is 11 a factor of q?
True
Suppose 5*d + 24 = 3*y, -4*d + 4 = y + 13. Suppose y*t = 133 - 43. Is 10 a factor of t?
True
Let w = -108 + 167. Let i = w + -41. Is 3 a factor of i?
True
Let d(i) = -7*i + 6. Let w be d(6). Let r = w + 57. Is 7 a factor of r?
True
Let i be (-3)/(-9) - (-3)/(-9). Let h = 11 - i. Does 9 divide h?
False
Let l = -15 - -37. Is l a multiple of 22?
True
Suppose 5*c + 5*t = c + 36, -4*t + 32 = 4*c. Let s = c - 2. Suppose -s*h = 2*h + 3*z - 104, 5*z = 0. Is h a multiple of 13?
True
Let p = -58 - -118. Does 20 divide p?
True
Suppose 10*g - 133 = 27. Is 8 a factor of g?
True
Let g be (-2)/(-10) + 177/15. Let q = 6 + g. Is q a multiple of 9?
True
Let t = -44 + 16. Let n = t - -43. Suppose 7*u - n = 4*u. Does 5 divide u?
True
Suppose 0*z + 2*z = 10. Let v = 11 + -9. Suppose v*h = -s + 69, z*s = -6*h + h + 185. Is 16 a factor of h?
True
Let d(r) = r + 15. Let c(f) = 4*f + 5. Let x be c(-4). Does 3 divide d(x)?
False
Suppose 9*r = g + 4*r - 1, 3*g = r - 11. Let j = 78 - g. Is j a multiple of 28?
False
Suppose 24 = -4*x + 8*x. Does 6 divide x?
True
Let v be (0 + 6)*12/9. Suppose -4*y + v = -0. Suppose 0 = y*m - 3*m + 8. Does 8 divide m?
True
Suppose 0*j + 2 = -2*j. Does 12 divide ((-10)/(-8))/(j/(-28))?
False
Let d be (3 + -1)/(4/6). Let z(l) = -l**d - 3*l + l + 0*l**2 + 2*l**2 + 4*l. Does 4 divide z(-2)?
True
Suppose 3*h - h = 48. Suppose h = i + 3*i. Is i a multiple of 6?
True
Does 3 divide 8 + -4 - 0/2?
False
Is 2 a factor of (-28)/24*-4*15/10?
False
Suppose -3*p + 3 + 1 = 2*g, 5*g + 4*p - 10 = 0. Suppose 3*k - 9 - 3 = -3*w, -20 = 4*w. Suppose k = g*x - 1. Is x a multiple of 2?
False
Let w(c) = -c**2 - 12*c - 8. Let b be w(-6). Suppose 5*m + 2*u - b = 0, 20 = 4*u + u. Is m a multiple of 2?
True
Is 23 a factor of (1 - -45)/((-1)/(-2))?
True
Let m = 156 + -86. Is 10 a factor of m?
True
Does 16 divide (603/12)/((-21)/(-56))?
False
Let v(c) = -2*c**2 - 5. Let h(l) = 4*l**2 + 11. Let b(m) = -6*h(m) - 13*v(m). Does 7 divide b(2)?
True
Suppose 0 = 5*n - 2*n - 366. Does 14 divide n?
False
Let v = 18 - -16. Let w = 92 - v. Does 16 divide w?
False
Let d(r) = 2*r + 2. Let t(m) = -m**3 - 7*m**2 - 2*m - 9. Let n be t(-7). Is 12 a factor of d(n)?
True
Let q(f) = -f. Let o = -30 + 42. Let r be 3/(-12) - 165/o. Is 14 a factor of q(r)?
True
Suppose 5*w - 129 - 731 = 0. Is 43 a factor of w?
True
Let j(f) = -2*f + 5 - 4 + 8. Does 25 divide j(-8)?
True
Let a(i) = i**2 - 6*i - 18. Let u = -19 - -28. Is a(u) even?
False
Let v(w) = -10*w + 1. Let g be v(-2). Suppose 3*y + 59 = 5*s - 1, y = 0. Let h = s + g. Does 16 divide h?
False
Let q(s) = -4*s**2 - s. Let v(g) = 2*g. Let f be v(1). Let r be q(f). Is 10 a factor of (30/r)/((-1)/6)?
True
Suppose 2*n + 5 = -7. Is ((-26)/(-3))/(n/(-27)) a multiple of 14?
False
Suppose -4*g = -3*g - 2. Suppose -2*u = g*u - 288. Does 18 divide u?
True
Suppose 26 + 4 = 5*s. Let t be ((-16)/s)/(4/(-18)). Suppose -5*w = -18 - t. Is 4 a factor of w?
False
Let a(k) = -4*k**2 + 32*k - 8. Does 10 divide a(7)?
True
Let n(d) = 4*d - 7. Let b be 10 + -1 - 8/4. Let a(u) = -u**3 + 7*u**2 + u. Let w be a(b). Is 21 a factor of n(w)?
True
Is 151 - (-3)/4*-4 a multiple of 37?
True
Let x = 12 + 3. Let t = 42 - x. Is 12 a factor of t?
False
Let k be (0 - 0)*6/(-12). Suppose -2*a + k*a + 28 = 0. Is 13 a factor of a?
False
Does 7 divide ((-1)/(-1) + (-3)/(-2))*34?
False
Let a(t) be the second derivative of -t**4/12 + t**3/6 + 9*t**2/2 + 3*t. Is a(0) a multiple of 9?
True
Suppose 12 = 3*h, -2*f - h = 3*f - 24. Suppose 0*a - 474 = -f*a - 3*k, -3*a + 366 = -3*k. Suppose -5*w - 25 = -a. Is 16 a factor of w?
False
Suppose -j + 3 = -3. Let p(a) = 4*a + 2. Is p(j) a multiple of 7?
False
Suppose 0 = 3*t - t - 2. Suppose -45 = -4*b - t. Is b a multiple of 8?
False
Let x be (-4)/14 - (-112)/49. Suppose 9 + 3 = x*c. Suppose 0 = 6*a - 3*a - c. Is 2 a factor of a?
True
Suppose 5*m + 3*r = 4*r + 58, 4*m - 42 = 3*r. Let u = 44 - m. Does 16 divide u?
True
Let o be (-1 - 1) + (-21)/(-3). Suppose -o*y + 30 = -15. Is y a multiple of 2?
False
Let f(u) = 5*u - 6. Let a(b) = -5*b + 5. Let h(d) = 5*a(d) + 6*f(d). Does 10 divide h(10)?
False
Suppose 3*r - 10 = 2*y - 4*y, -4*r - 3*y + 12 = 0. Let l(h) = h**3 - 7*h**2 + 9*h - 9. Let s be l(r). Suppose s = w + 2*w. Is 2 a factor of w?
False
Suppose 2*i + 0*i = -m + 5, 0 = m - 1. Let b(a) = -a - 5*a + 5*a**2 + i*a - 1. Is 16 a factor of b(3)?
True
Suppose -29*b = -34*b + 400. Is b a multiple of 16?
True
Let s = 129 - 24. Does 32 divide s?
False
Let r(w) = -w**3 - 12*w**2 - w + 9. Let s(u) = -u**2. Let h be (1 + 4)*(2 - 3). Let v(p) = h*s(p) + r(p). Is 16 a factor of v(-7)?
True
Let n be 1 + 0 + (1 - 2). Let v = 13 - 8. Suppose v*d + 1 - 26 = n. Is d a multiple of 4?
False
Let k(a) = a**3 + 6*a**2 + 11*a + 6. Let p be k(-4). Is 309*(2/p)/(-1) a multiple of 29?
False
Suppose -3*b - 2*b = -10. Suppose -b*z = 2*z - 216. Does 27 divide z?
True
Let i(g) = -g + 32. Let u be i(0). Let r = -14 + u. Is r a multiple of 9?
True
Suppose 5*j - j = 0. Suppose 0*k - 4*k + 204 = j. Let g = -33 + k. Is g a multiple of 7?
False
Suppose 6 = 3*x + 3*w - 0, -4*x - w = -5. Is 14 - (1 + 1 + x) a multiple of 11?
True
Suppose 0 = -m - 39 + 117. Let l = m - 44. Is l a multiple of 10?
False
Suppose 1 - 17 = -4*o. Suppose o*g = -g. Supp