 of x?
False
Suppose 0 = 7*x - 697 + 277. Is x a multiple of 20?
True
Suppose -504 = -4*x + j, -5*x + 594 = 3*j - 36. Is x a multiple of 21?
True
Suppose -442 = -4*k - 2. Is k a multiple of 22?
True
Let h(u) = u**3 - 4*u**2 - 5*u - 4. Let p be h(5). Let w = p + 13. Does 8 divide w?
False
Suppose 5*r = 7 + 3. Suppose 3*v - 5*i - 206 = 0, -v + r*i + 74 = -i. Is v a multiple of 25?
False
Suppose 3*u = 4*u + 3. Let q = -52 + 115. Is 10 a factor of (-1)/(u/q)*1?
False
Let y(w) = 73*w**2 - 17*w - 8. Let g(v) = -18*v**2 + 4*v + 2. Let a(f) = -9*g(f) - 2*y(f). Is a(2) a multiple of 29?
True
Let i = -2 - -4. Suppose 6*z - i*z - 12 = 0. Suppose -13 = -3*d - y, -z*d - d + 2*y = -24. Is 3 a factor of d?
False
Suppose 4 = 2*h - c + 1, 21 = -h + 5*c. Let s(r) = 3*r**2 - 6*r + 4. Let b be s(h). Let i = b - -5. Is 13 a factor of i?
False
Let m(w) = 7*w**2 - w. Let n be m(1). Let d(r) = r + 85. Let y be d(0). Suppose -n*h = -h - y. Does 9 divide h?
False
Suppose 0 = 12*r + 57 - 1197. Is r a multiple of 12?
False
Suppose -3*d + 5*d = -3*x + 16, 0 = -d + 5. Suppose -x*i - 4*b + 9*b = -40, 0 = 4*i - 4*b - 68. Is i a multiple of 15?
True
Suppose n = -2*l - 0*n - 6, -2*l + 6 = -5*n. Is 5 a factor of 0 - (l - -11)/(-1)?
False
Suppose -4*v + 342 - 54 = 0. Is 24 a factor of v?
True
Suppose 3*m + q + 0*q - 7 = 0, 0 = 4*m + 2*q - 8. Suppose -5*u = -m - 7. Suppose 0 = -u*j + j + 30. Is 13 a factor of j?
False
Suppose 18*q - 178 - 1712 = 0. Is q a multiple of 5?
True
Suppose -23 - 37 = -4*v. Is v a multiple of 4?
False
Suppose -22 = 4*d - 122. Does 25 divide d?
True
Let j = 20 - 33. Is 13 a factor of (1 + -5)*j/2?
True
Let p(y) = -4 - y - 3*y**2 + 0*y + y**3 + 1 - y. Is p(5) a multiple of 13?
False
Suppose -129 - 87 = -4*o. Does 18 divide o?
True
Let k = 6 + -2. Let x = k - -1. Is 3 a factor of x?
False
Suppose -39 = -2*z + 2*k + 3, 4*z = -k + 69. Let g be 2/(3 + (-51)/z). Is g/(-42) - (-158)/14 a multiple of 3?
False
Suppose 4*o + 156 = -3*a - o, 174 = -3*a + o. Let h be a/2 + (-5)/(-10). Let k = h + 46. Is k a multiple of 9?
True
Let r(q) = q**3 - 6*q**2 + 8. Is r(6) a multiple of 3?
False
Is 66 a factor of 3267/45 - 6 - (-6)/(-10)?
True
Let u be 1 + 44/(12/3). Let j = -2 + u. Is 8 a factor of j?
False
Suppose -g + 4*x = -96, -37 = 5*g + 4*x - 493. Suppose -3*p + 16 = -g. Does 18 divide p?
True
Let v(f) = -f - 5. Let u be v(-8). Suppose -7*n + u*n - x + 111 = 0, 5*x = -5*n + 150. Suppose -2*o - 10 = g - 29, -g = 3*o - n. Is 4 a factor of o?
True
Suppose 4*z = d - 232, -4*z = d - z - 239. Suppose 0 = -8*b + 4*b + d. Is b a multiple of 10?
False
Suppose 3*h + 0 = 15. Suppose -109 = -h*g + 1. Is g a multiple of 20?
False
Let b(d) be the third derivative of 13*d**5/60 + d**4/24 + 4*d**2. Is 25 a factor of b(-2)?
True
Let t(j) = 4*j - 3. Let u be (-36)/(-8)*(-4)/(-3). Suppose -4*z = -z - u. Is 3 a factor of t(z)?
False
Let f = -127 + 272. Is f a multiple of 29?
True
Let g = -3 + 5. Let i(z) = -z + 2. Let q be i(g). Suppose q*n + 11 = n. Is 7 a factor of n?
False
Suppose 2*t = 166 + 112. Does 29 divide t?
False
Let o = -6 + 8. Let a = o + 2. Suppose -4 - 104 = -a*n. Is 12 a factor of n?
False
Let k(j) = -j**3 + 10*j**2 - 11*j + 9. Let c be k(9). Let x = -5 - c. Let t(a) = a**2 - 3*a + 5. Is t(x) a multiple of 9?
True
Let s be 287/3 - (-10)/(-15). Let l = -57 + s. Is 9 a factor of l?
False
Suppose -5*r = -r. Suppose -n + 6*n - 140 = r. Does 17 divide n?
False
Suppose -7*s = -5*s - 44. Does 15 divide s?
False
Suppose 5*y = 5*n + 5, -3*n + 6*y = y + 13. Let f be (-2)/(((-8)/121)/n). Suppose -f + 33 = -4*d. Does 11 divide d?
True
Suppose 5 + 2 = -g - 5*x, -5*g - 14 = 4*x. Let t = g + 2. Suppose s - 5*a + 9 = 0, t = 4*s - 0*a + 5*a - 89. Does 16 divide s?
True
Suppose -5*p + 20 = -3*r, p + 4*r + 19 = -0*p. Let x(h) be the first derivative of h**4/2 + h**3/3 - h**2/2 - 2. Is x(p) even?
True
Suppose -4*p + 2 = -2*s, -3*p + 3*s - 27 = -7*p. Suppose g + 288 = p*g. Suppose 0 = -f + 3, 0*f + 2*f = 5*x - g. Does 13 divide x?
False
Suppose 26*z - 60 = 22*z. Is z a multiple of 15?
True
Let d be 3/(-2*(-2)/(-12)). Let c be (42/10)/((-1)/(-5)). Let l = c + d. Is 7 a factor of l?
False
Suppose 4*a - 9 = 7. Suppose 5*w + 10 = -o, -a*o = o - 3*w - 34. Is 2 a factor of o?
False
Suppose 3*t + 4*s = 3*s + 17, -2*s = -4*t + 6. Let m = t - -1. Is 3 a factor of m?
False
Suppose -h = 2*v, -3*v - h = -3*h - 14. Does 4 divide 1*(v - 3) - -16?
False
Let b be -4*(1/(-2) - 0). Suppose 14 + 0 = b*j. Is j a multiple of 6?
False
Suppose 3*i - 16 = -i. Suppose -4*a = 4*v + a - 120, i*v - 2*a - 148 = 0. Is 15 a factor of v?
False
Let z be 560/(-6) + 4/12. Let l = -66 - z. Is 6 a factor of l?
False
Let j be (-24)/8*(-24 + 0). Let t be 18 + 0/(3 - 1). Suppose -5*m = -t - j. Does 7 divide m?
False
Is 2 a factor of (12/16 - 4)*-4?
False
Suppose j + 3*v = -2*j - 6, 3*v + 10 = -j. Let m be (-6)/(1 + j - 5). Suppose m*y = -7 + 34. Is y a multiple of 6?
False
Suppose -4 = -w - 3*w. Let s(u) = 33*u**2 + 2*u - 1. Is s(w) a multiple of 12?
False
Let j(r) = 13*r**2 + 3. Let o(l) = 4 - 5*l**2 - 2*l + 3*l + 19*l**2. Let k(m) = 3*j(m) - 2*o(m). Is k(1) a multiple of 5?
True
Let j = 69 + -21. Is 5 a factor of j?
False
Let a be 0 + 1/((-3)/6). Let o(i) = 5*i**2 - 2*i - 2. Is o(a) a multiple of 11?
True
Let x(w) = -5*w. Does 3 divide x(-2)?
False
Let d = 7 + -3. Suppose d*t + 3*q = -144, -3*t + 0*t - 5*q = 108. Let a = -20 - t. Is 9 a factor of a?
False
Suppose 2*v + v - 2*l + 4 = 0, -2*v - 3*l = -6. Let y(g) = g**3 + g**2 - g + 15. Let d be y(v). Let h = 36 - d. Does 21 divide h?
True
Let j(m) = 6*m + 5. Let p(z) = -z**3 - 5*z**2 + 8*z + 9. Let g be p(-6). Let i be (-14)/(-3) - 1/g. Is j(i) a multiple of 20?
False
Suppose -3*c + 3 = -3. Does 5 divide 1/(c - (-111)/(-57))?
False
Let g(h) = h**3 - 10*h**2 - 5*h - 3. Is g(11) a multiple of 7?
True
Let l = 171 - 93. Is 34 a factor of l?
False
Suppose -168 + 2674 = 7*h. Is 51 a factor of h?
False
Let t be 4/6 + (-3684)/(-36). Suppose 427 = 4*k + t. Does 27 divide k?
True
Suppose 38 = -4*q - 3*w, -3*q + q - 3*w = 16. Let u(c) = -c**2 - 12*c + 9. Is u(q) a multiple of 10?
True
Let t = 49 - -18. Is 11 a factor of t?
False
Let c(n) be the first derivative of n**4/4 - 2*n**3/3 - 2*n**2 - 2*n + 1. Let y be c(5). Suppose -4*h + y = -3*h. Does 22 divide h?
False
Suppose 2*f + 2*b = -4, -6 - 3 = 2*f - 3*b. Let o be 45/20 - f/4. Is 18 a factor of (-1)/o + 1160/24?
False
Suppose -4*q = -3*q - 12. Suppose -y = 3*y - q. Suppose 4*w + 1 = -y, -b = 5*w - 14. Is b a multiple of 19?
True
Let u(f) = -f**3 + 7*f**2 - 6*f - 2. Let t be (-1 + 2)/(1/5). Let o be u(t). Is (-281)/(-9) + (-4)/o a multiple of 15?
False
Let i(q) = 9 + 24*q - 17*q - 8*q**2 + q**3 - 9*q. Is i(9) a multiple of 18?
True
Let r be ((-18)/(-8))/(2/(-8)). Let u = r - -17. Does 8 divide u?
True
Suppose 2*q = 4*q - 6. Let a be (1 + (-16)/(-2))*16. Suppose v = -q*v + a. Is v a multiple of 18?
True
Suppose -3*n + 22 = 2*t, 4*t + 3*n - 30 = 4*n. Let y(b) = b**2 - 5*b - 6. Is 6 a factor of y(t)?
True
Let n(z) = 2*z**2 - 8*z + 6. Let f be n(5). Is (4/(-5))/(f/(-680)) a multiple of 17?
True
Suppose b - 75 = -2*k, 0 = 5*b - 2*b - 3*k - 180. Does 13 divide b?
True
Suppose -3*r - 2*b = -879, -15*r + 20*r + b = 1458. Is 22 a factor of r?
False
Let x(c) = c**3 + 5*c**2 - 3*c - 6. Let m(s) = -s**2 - 7*s + 13. Let v be m(-9). Let b be x(v). Does 6 divide (b/(-2))/((-3)/4)?
True
Let y(c) = 3*c**3 - 1 - 5*c**3 - 9*c**3. Let a be y(-1). Is 6 a factor of (-23)/(-2) - (-5)/a?
True
Suppose -3*q - 2*q + 4*s = -42, -22 = -2*q - s. Is q a multiple of 3?
False
Suppose -381 = -3*k - t, -3*k + 144 = 5*t - 249. Is k a multiple of 14?
True
Let u = -29 + 21. Let c(d) = d**3 + 8*d**2 - 2*d - 12. Let a be c(u). Suppose i - a*i + 4*o = -9, o = 3. Is i a multiple of 2?
False
Let m be 5 - 2 - (2 - 3). Suppose 0 = -5*u - 6*i + i + 150, -m*u = -2*i - 108. Does 14 divide u?
True
Let a(u) = -u**2 - 20*u - 24. Is a(-12) a multiple of 12?
True
Suppose 4*c = 6 - 30. Let n be 2/8 + 178/(-8). Let w = c - n. Is 10 a factor of w?
False
Let p = 6 + -1. Suppose -b = -p*b + 8. Suppose -7 = -b*f + 1. Does 3 divide f?
False
Let s = 6 - -3. Suppose 0 = -6*c + s*c - 18. Does 3 divide c?
True
Let g(q) = q + 14. Is g(-4) even?
True
Let k = 3 - 9. Is 7 a factor of k/8 - (-690)/24?
Tr