 a = 26 + -38. Let s = h - a. Is 5 a factor of s?
True
Let t(o) = 2 + 2 + 2 - o + o**3 - 3*o**2. Let h be t(5). Let x = 75 - h. Is 12 a factor of x?
True
Suppose 0 = -3*a + 6*a + 9. Let s = a + 0. Does 7 divide (21/(-6))/(s/6)?
True
Let o(v) = 3*v**2 - 7*v + 8. Does 12 divide o(5)?
True
Let z(d) be the second derivative of d**4/12 + 7*d**3/6 + 4*d**2 - d. Let w be z(-6). Suppose -3*p = w*p - 70. Is p a multiple of 4?
False
Let t be -2*-1*6/4. Suppose -4*m + 420 = t*m. Is m a multiple of 15?
True
Suppose -7 = -2*v + 2*k + 37, -4*v - 4*k = -64. Suppose -7 = -5*n + 4*q, n - 2*q = 6*n - v. Suppose 40 = 2*g - 4*d, 2*g = d + 40 + n. Does 14 divide g?
False
Let q = -20 + 23. Suppose -m + q*n = -11, -2*m + 11 = -5*n - 14. Is 4 a factor of m?
True
Let i(r) = r**3 + 2*r**2 + 2. Let z be i(-2). Suppose z*a = 2 + 2. Suppose 0 = 2*v - 4*x - 18 + 6, -3*x - a = -v. Is v a multiple of 14?
True
Let x(n) = -3*n**3 - 3 - 2*n + 8*n**2 + 6 + 2*n**3. Is x(7) a multiple of 14?
False
Let r be 2*32*3/4. Suppose v = -2*y + 13, -17 = -5*v - 3*y + r. Is v a multiple of 5?
False
Suppose -4*i + y = -144, -2*i + 0*y = 4*y - 54. Suppose 5*o - i = 230. Does 14 divide o?
False
Is 42/(-9)*(-15)/(-4)*-2 a multiple of 5?
True
Let v(r) = -r**3 - 5*r**2 - 4*r + 2. Let f be (-8 + 3 + 0)/1. Is 8 a factor of v(f)?
False
Suppose -x = x - 8. Suppose 24 = x*i - 4. Does 2 divide i?
False
Suppose -7*m + m = -396. Does 23 divide m?
False
Let j(o) = 2*o**2 - 9*o - 15. Is 32 a factor of j(11)?
True
Let g(s) = s - 4. Let y be g(7). Let h(w) = -w**3 + 5*w**2 - w + 1. Let a be h(3). Suppose -4*j + y*j = -a. Is j a multiple of 8?
True
Suppose 4*r - 208 = r - 2*w, -4*r + 2*w + 254 = 0. Suppose -2*j - r = -5*j. Suppose -2*g + 7*g = -2*o + 10, 2*o - g = j. Is o a multiple of 3?
False
Let z(l) = l**2 + 4*l - 8. Is z(5) a multiple of 7?
False
Let o = 11 + 11. Suppose 15 + o = x. Is x a multiple of 16?
False
Let k(n) = -3*n + 5. Let s be k(5). Is (-8)/(-20) + (-86)/s a multiple of 9?
True
Let m(o) = o**2 - 2*o - 1. Let q be m(7). Let i = 12 + -8. Suppose 166 - q = i*a. Is a a multiple of 12?
False
Suppose -2*l + u + 45 = 0, 2*l + 3*l - 80 = -4*u. Does 14 divide l?
False
Suppose -2*q + 5 = 3*q. Suppose 0 = b + 5 - 0, -3*b = s + 12. Suppose s*l - 16 = -q. Is l a multiple of 5?
True
Let b be ((-44)/8)/(1/(-2)). Suppose -b = -4*l + 1. Suppose 0*j = -l*j + 51. Is j a multiple of 7?
False
Is 20 a factor of (-24)/32 + 83/4?
True
Suppose -6*t + 30 = -3*t. Does 10 divide t?
True
Let v(s) = -73*s - 13. Is 7 a factor of v(-2)?
True
Suppose 5*j = 3*o + 75 - 603, 0 = -3*j. Is o a multiple of 44?
True
Suppose 0 = -2*f + f - 1. Let m = f - -4. Suppose -22 - 29 = -m*c. Does 9 divide c?
False
Suppose 3*a - 75 = -3*t, -28 + 8 = 4*a. Does 15 divide t?
True
Suppose 0 = -3*l - 2*f + 3 - 0, -5*l = 3*f - 6. Suppose -l*b = a - 2 - 5, -a + 4*b + 28 = 0. Is a a multiple of 16?
True
Suppose -2*o - 3*u + 8*u - 72 = 0, 0 = 3*o + u + 108. Let i = 62 + o. Is i a multiple of 21?
False
Suppose -770 = -7*l - 14. Is l a multiple of 43?
False
Let d(p) = -p**3 + 7*p**2 + p + 5. Let t be d(7). Suppose -4*y + 4*r - 4 - 12 = 0, -r + t = -2*y. Is 12 a factor of ((-38)/y)/(3/12)?
False
Let i be -51*(-2 + (-10)/(-6)). Let b = i + 2. Is 14 a factor of b?
False
Suppose 3*h - 64 - 11 = -2*q, 4*q = 3*h - 57. Is (-1 - -1) + (h - -7) a multiple of 15?
True
Let i(f) = f**3 + 11*f**2 - f - 7. Let d be i(-11). Let s = 12 - d. Is s a multiple of 4?
True
Let v be -10*1/(2/(-9)). Suppose -3*j - 2*j + v = 0. Is 8 a factor of 2/9 + 142/j?
True
Is 15 a factor of 634/14 + 32/(-112)?
True
Let m(q) = q**2 + 2*q + 2. Let x be m(-4). Suppose 18 = -x*h + 12*h. Is 2 a factor of h?
False
Let s(h) = h**3 - h**2 - 3*h - 4. Let b be (-115)/(-25) + (-3)/5. Is 16 a factor of s(b)?
True
Suppose 0*n + n - 33 = 0. Suppose -j = 4*g - n, g = -5*j + 3*j + 94. Is 23 a factor of j?
False
Does 7 divide (-2)/14 + (-1389)/(-21) - -1?
False
Suppose -238 = 2*r - 5*r - 4*s, 237 = 3*r + 3*s. Let x = r - 27. Is 18 a factor of x?
False
Let b be 2/4 - 45/(-10). Suppose b*i = 40 + 30. Is i a multiple of 7?
True
Let p be ((-8)/6)/(1/3). Let h(m) = -m. Let b(n) = n. Let r(x) = 5*b(x) + 7*h(x). Is 7 a factor of r(p)?
False
Let k = 564 + -312. Is k a multiple of 36?
True
Does 21 divide (-2484)/(-21) + 1 + 8/(-28)?
False
Let h(t) = -13*t - 10. Does 13 divide h(-4)?
False
Let n(b) be the first derivative of -b**3/3 + 6*b**2 - b + 3. Let z be 7 - 3/((-3)/2). Is 20 a factor of n(z)?
False
Let q(d) = d**3 - 6*d**2 + 4*d + 5. Let n be ((-20)/6)/((-2)/3). Let f be q(n). Suppose -g - 5*o + 15 = f, 2*o - 4*o + 12 = g. Is 5 a factor of g?
True
Suppose 0 = 30*x - 27*x - 153. Is 19 a factor of x?
False
Let a = -14 + 23. Suppose l - a = -b, -l - 2*b = b - 9. Is 3 a factor of l?
True
Let m = 100 + -40. Suppose k = 33 + m. Is k a multiple of 31?
True
Let j = 7 + 9. Does 8 divide j?
True
Suppose -2*c - 365 = -5*n + c, -319 = -4*n - 3*c. Does 19 divide n?
True
Let h be (-1 - 10/(-2))*1. Suppose -t - h*t = 0. Suppose u - a - 18 = 4*a, t = 5*a + 10. Is 3 a factor of u?
False
Let x = 20 - 17. Suppose 0*t = -x*t + 174. Is 16 a factor of t?
False
Suppose -3*t - 4*p + 2 = 0, t + 2*p = -t + 2. Suppose 60 = t*s + 2*s. Is s a multiple of 5?
True
Suppose 3*v - 5*y = 805, 4*y + 534 = 2*v + 2*y. Does 32 divide v?
False
Let y be -1 + 0 + 4 + 6. Is 4 a factor of 6/y*(-15)/(-2)?
False
Let g be ((-24)/(-10))/((-8)/(-20)). Let j be (-10)/4*(1 - 3). Suppose -7*a = -g*a - j. Is a even?
False
Let n(i) = 12*i**2 + 2*i - 2. Does 21 divide n(-2)?
True
Let b = 66 - 39. Is 8 a factor of b?
False
Suppose -3 = -4*t + 3*t. Suppose 2*f = -t*w + f + 61, -4*w = -4*f - 92. Is w a multiple of 15?
False
Is ((-3)/(-9))/((-2)/(-282)) a multiple of 21?
False
Suppose -10*f + 5*f + 2*r + 215 = 0, 4*f - 5*r = 189. Does 3 divide f?
False
Let x(t) = 8*t**3 + t**2 - 2*t - 3. Let b be x(-2). Let y = -39 - b. Is y a multiple of 20?
True
Suppose r + 20 = 5*r, 2*r - 6 = k. Suppose 132 = 4*i + 5*m, -k*i + 3*i + 24 = -m. Does 20 divide i?
False
Let z = 12 + -8. Is z a multiple of 4?
True
Let n be (-13)/(-4) + (-3)/12. Let w = 26 - n. Let t = w - 13. Is 4 a factor of t?
False
Let k = -3 + 3. Suppose 0 = -c - 1, 3*a = -3*c - 6 - k. Does 15 divide (a + 34/(-6))*-3?
False
Suppose -16 = 4*t + 2*x + 16, -4 = 2*t - 2*x. Let b(r) = -30*r**2 + 7 + 9*r + 12*r**2 + 10*r**2 + 10*r**2. Is b(t) a multiple of 10?
False
Suppose -2*s = -5*p - 35, s = -4*p + 2*s - 31. Let a(f) = 3*f**3 + 13*f**2 + 2*f - 3. Let m be a(p). Is 21 a factor of m/(-28) + (-6)/(-8)?
True
Let f = -53 + 76. Suppose 5*j - 87 = -4*r, 2*j = -4*r + 55 + f. Is 6 a factor of r?
True
Let d be 29/(-1 + 0) - 3. Let u = 55 + d. Suppose 3*p - h - 43 = 0, -h + u = 5*p - 62. Is p a multiple of 5?
False
Suppose -d = -a + 182, 2*d + 746 = 4*a + 7*d. Does 14 divide a?
False
Suppose 6*z = 2*z + 268. Does 17 divide z?
False
Let o = -19 + 27. Is o a multiple of 4?
True
Suppose 4*k - 29 = -5*f, -5*f - 37 = -k - k. Let t = k + -8. Suppose -x = -w, -t = 3*x - 5*w + 3. Is x a multiple of 3?
True
Let o be (-3)/(45/(-12))*45. Suppose 4*g - o = g. Suppose q + g = 3*q. Is q a multiple of 6?
True
Suppose -t + 11 - 6 = 0. Let v(q) = 2*q**2 - 5*q + 3. Does 14 divide v(t)?
True
Suppose 0 = -u - 4*m + 9, 5*u + 2*m + 8 = 35. Does 5 divide u?
True
Let k = -2 + 2. Let s be 1/(2/16*2). Let w = k + s. Is 2 a factor of w?
True
Let k = -1 - 1. Let b be 3/6 + (-3)/k. Suppose q - b*q = -21. Is q a multiple of 13?
False
Let u(m) = 3*m**2 + 1. Let f be u(3). Let n = 62 - f. Is n a multiple of 17?
True
Suppose -22 = -4*m + 3*m. Does 11 divide m?
True
Suppose 4*p = -5*q - 16, 4 = 2*q + 2*p - 3*p. Let g be (-2)/2 - (q + 0). Let x = g + 11. Does 5 divide x?
True
Let u = 0 + 30. Suppose 3 + u = 3*a. Is 4 a factor of a?
False
Suppose 8*b = 4*b + 8. Let k = 4 - b. Is k a multiple of 2?
True
Suppose c = -4*c + 3*v + 569, -2*c - v = -232. Suppose -3*m + f + c = 6*f, 3*f + 134 = 4*m. Suppose -4*p + m = -5. Is p a multiple of 7?
False
Let u(i) = 3*i - 20. Let h(c) = -5*c - 9. Let j be h(-4). Does 13 divide u(j)?
True
Suppose 4*g - 22 = 3*g. Is 22 a factor of g?
True
Suppose 32 = 11*a - 375. Does 7 divide a?
False
Suppose 1 = -3*n + 3*i + 37, -4*i = 8. Does 10 divide n?
True
Let i = 23 + -7. Suppose -i - 8 = -3*t. Is (-117)/6*t/(-6) a multiple of 26?
