e
Let o = 39 + -61. Does 6 divide 1/(20/o - -1)?
False
Let k(y) = -y - 4. Let x be k(-7). Let d be (2 - x) + 0 - -3. Suppose -d*a = 2*w - 72, -4*w - 2*a = -a - 132. Is w a multiple of 16?
True
Let k be ((-618)/4)/(3/(-4)). Let n = -127 + k. Let a = n - 33. Is 23 a factor of a?
True
Suppose 3*t + 0*z - 10 = 4*z, 5*z = -t - 3. Suppose 5*v = -5*d + 285, 6*d = t*d - 5*v + 228. Suppose -4*q + 3*q = -5*f + d, -5*f - 3*q = -69. Does 6 divide f?
True
Let p(z) = -z. Let w be p(-4). Let m be (-7)/w + (-1)/4. Does 13 divide ((-2)/(-3))/(m/(-117))?
True
Let q(z) = -8 + 3*z - z - 2 + 2. Is q(8) a multiple of 4?
True
Let n(y) = 3*y**2 - y. Let l be n(-1). Suppose 0*f = -5*f - l*a + 11, -3*a = f. Suppose 40 = m - f. Does 24 divide m?
False
Let v(p) = -2*p + 3. Let i be v(-3). Does 27 divide (-3)/i*-3 + 26?
True
Suppose 2*a - 4*a + 90 = 0. Is 15 a factor of a?
True
Let g be (-2)/4*-8 - 1. Suppose -4*x + 4*t = 20, g*t - 15 = 6*x - 2*x. Suppose -p + 5 = -x*p. Is 2 a factor of p?
False
Suppose 0 = -2*q + 5 + 17. Let r = 7 + q. Is r a multiple of 6?
True
Suppose 0 = x - 4*h - 29, -4*x = -x - 4*h - 87. Let k = -13 + x. Does 8 divide k?
True
Let r(o) = o**3 - 5*o**2 + 1. Let q be r(5). Let j be (-1)/(q*(-1)/42). Let z = j - 29. Is z a multiple of 9?
False
Let u = -20 + 54. Suppose -k = -5*t - u, -4*t - k - 26 = t. Let r(c) = -3*c - 3. Does 15 divide r(t)?
True
Suppose 69 = 4*j - 459. Is 33 a factor of j?
True
Let b(x) = -x**2 + 15*x - 18. Let j be b(15). Is -2 - j - (3 + -1) a multiple of 14?
True
Let w(l) = l**2 - 3*l. Let i be w(3). Suppose -5*g - 5 = i, 3*f = -f + 5*g + 93. Is 11 a factor of f?
True
Let i = -16 + 18. Is (i + -1 + 0)*7 a multiple of 7?
True
Let j = 1 - -1. Suppose -2*v = -v + 4*a - 93, j*a + 421 = 5*v. Suppose v = 6*b - b. Is 7 a factor of b?
False
Let u be (2/(-1) - -4) + 4. Let m(a) = -a**2 + 3*a + 4. Let g be m(u). Let z = 23 + g. Is 5 a factor of z?
False
Let m = -67 + 28. Let i = 131 + m. Suppose -5*k + i = 17. Is 15 a factor of k?
True
Let h be (5 - 0)/(6 + -7). Let w(n) = -n**3 - 4*n**2 + 2. Is w(h) a multiple of 9?
True
Suppose j = -j + 84. Is 14 a factor of j?
True
Let a = -10 + 13. Suppose -a*d + 40 = -d. Is d a multiple of 6?
False
Suppose 4*n + 11 = 3*l, 0 = 2*n - l - 4*l + 9. Let u be 293*(-4 - -2) - n. Is 6/21 - u/14 a multiple of 21?
True
Let g(i) = i**2 + i. Let a be g(2). Suppose 3*k - 5*k - a = 0. Does 11 divide (20*k)/(-2) - 0?
False
Let w = -15 + 11. Let a(k) be the third derivative of -k**4/24 + k**3/2 + 2*k**2. Is a(w) a multiple of 3?
False
Let t be 6/(-4)*4/6. Is 8 a factor of (t/2)/(2/(-96))?
True
Suppose 203 = 4*s - 17. Does 5 divide s?
True
Suppose -3*d - 87 = -2*b, 4*d - 232 = -4*b - 48. Is 12 a factor of b?
False
Let j = -121 + 179. Let k = -31 + j. Is k a multiple of 19?
False
Suppose -s = 4*w - 12, 0*s - 4*s = -5*w - 6. Suppose -4*f + w*i = -296, i - 91 = -f - 11. Does 19 divide f?
True
Let x = 6 - 10. Let o = x + 16. Is o a multiple of 12?
True
Let i = 5 - 7. Is (-3)/6 + (-31)/i a multiple of 15?
True
Does 7 divide 1 + 2/6*39?
True
Let l be 0*1*2/(-4). Suppose -3*f + 9 = l, -3*n + 57 = 5*f + 12. Is n a multiple of 4?
False
Suppose -71 = -2*o - d - 19, 2*o - d = 60. Is o a multiple of 7?
True
Suppose 4*n + 10 = 234. Is n a multiple of 14?
True
Let q(p) be the second derivative of 2*p**3/3 + 2*p. Let b be q(7). Suppose l = -l + b. Is 6 a factor of l?
False
Let q be (-3)/((-6)/10) - 2. Suppose 0*m - q*m - 5*t + 74 = 0, 4*t = -5*m + 106. Let i = m + -11. Does 5 divide i?
False
Suppose -n - 2 - 1 = 0. Is n/((-2)/((-4)/(-1))) a multiple of 3?
True
Let h = -3 - -8. Let m = 6 - 1. Let a = h + m. Does 5 divide a?
True
Let m(c) = -c**3 - c**2 - 3*c - 2. Suppose -6 = -2*h + 3*b + 8, h - 4*b - 12 = 0. Suppose -h*q - q = 10. Does 4 divide m(q)?
True
Let t = 1 - 2. Let d = t - -31. Is 15 a factor of d?
True
Suppose 0 = -8*i + 12*i - 44. Does 5 divide i?
False
Let n = -44 - -74. Does 10 divide n?
True
Let a(w) = 8*w - 6. Let d be a(6). Is (-5)/2*d/(-15) a multiple of 7?
True
Let x = -208 - -360. Is x a multiple of 38?
True
Suppose 2*z + 194 = 3*n, n - 5*z + 208 = 4*n. Does 11 divide n?
True
Suppose -2 - 13 = -3*y. Suppose y*q = q + 260. Is 13 a factor of q?
True
Is 84/(-3)*(-36)/7 a multiple of 48?
True
Let v be 45 - ((-6)/3 + 5). Let n be 38/(-8) + 1/(-4). Is 14 a factor of (-40)/12*v/n?
True
Let d = 6 - 7. Let r be (3/d)/(6/(-92)). Let y = -11 + r. Is 9 a factor of y?
False
Let d = -54 + 95. Suppose 3 = -t + d. Is t a multiple of 19?
True
Let l = 81 - 53. Is 14 a factor of l?
True
Suppose -q + 4*m + 15 = 0, -3*m - 14 = 2*q - 3*q. Suppose -4*i + 9 + q = 0. Is i even?
False
Suppose 0 = 2*r - 4 - 0. Let m be ((-1)/r)/1*28. Is 2/7 - 374/m a multiple of 12?
False
Let o be 11/(36/16 - 2). Let y = o + 14. Is y a multiple of 29?
True
Let s(b) = -b**2 + 7*b + 2. Let v be s(7). Suppose 4*w = -v*n - 16, 3 = n - 2*w - 5. Suppose -3*c = -2*q - 65, q + 1 = -n. Is 11 a factor of c?
False
Suppose -3*k = -316 + 28. Let x = k + -25. Is 17 a factor of x?
False
Suppose f - l - l + 8 = 0, -f + 12 = 3*l. Is -3 + (f - -2) + 16 a multiple of 15?
True
Is 15/(-10)*32/(-3) a multiple of 8?
True
Suppose 3*k + 294 = 10*k. Does 14 divide k?
True
Suppose -88 + 30 = -n + 4*m, -2*n + 4*m + 112 = 0. Is n a multiple of 44?
False
Suppose -5*i - 354 = -94. Let b be i/(-5)*5*1. Let y = -7 + b. Is y a multiple of 18?
False
Let z be (-1)/1 + (-45)/(-9). Let k(y) = -4*y**3 + 2*y**2 - 2. Let l be k(-3). Suppose -t = -0*t, z*a = -5*t + l. Is a a multiple of 10?
False
Suppose 0 = -2*o - 5*x + 12 - 1, 5*o - x = 14. Suppose 6*u - u + o*l = 0, -3*u = -4*l - 29. Is u a multiple of 2?
False
Is 25 a factor of 150/(3 + 6/(-4))?
True
Let m(s) = -s - 5. Let w be m(-8). Let a = 7 - w. Let r = a + 29. Is 15 a factor of r?
False
Suppose -47 = -n - 7. Does 3 divide n?
False
Let f be (-1)/4 + (-362)/(-8). Suppose -4*w = w - f. Does 9 divide w?
True
Suppose 4*g + 5*q - 134 = -29, 5*q = 25. Is g a multiple of 2?
True
Let z(b) = b + 6. Let s be z(10). Suppose -d + 34 = 2*v, -7*d + 118 = -3*d + 2*v. Let u = d - s. Does 6 divide u?
True
Suppose -2*k - 3*j = 5 - 293, -3*k - 4*j = -434. Is k a multiple of 25?
True
Let i(w) = w + 8. Let h be i(-6). Suppose 3*g + 2 = 5*f - 1, 2*f + h*g + 2 = 0. Suppose f = -5*k + 98 + 32. Does 13 divide k?
True
Suppose 0 = -4*q - 3*s - 125, -2*q + 3*s - 4*s - 63 = 0. Let f be ((-24)/q)/(1/4). Suppose -4*u + u = f*g - 39, -g = 3. Is 6 a factor of u?
False
Suppose 4*q - 513 = 39. Does 28 divide q?
False
Suppose 4*v - 190 = 94. Suppose 3*c + 2 = v. Is c a multiple of 6?
False
Let m(j) = -j**3 - 9*j**2 + 6*j - 1. Does 13 divide m(-10)?
True
Let k(t) = -4*t - 1. Let b be k(-1). Let a = -1 + 1. Suppose 18 = b*z - a*z. Is z a multiple of 6?
True
Suppose 2*t = t + 13. Let z = t + 13. Does 13 divide z?
True
Suppose 1244 = 5*f - y, y + 41 + 955 = 4*f. Is f a multiple of 31?
True
Let d(b) = 2*b**2 + 25*b - 18. Is d(-18) a multiple of 13?
False
Let s = 132 - 90. Is s a multiple of 5?
False
Let t = 5 - 1. Let w be -6 + 4 + (-9)/(-3). Is 2*(t + (1 - w)) a multiple of 6?
False
Let s(o) = 42*o - 16. Is s(6) a multiple of 59?
True
Suppose -5*m + 3 = -2. Let j be 0 + (4 - (-1 + m)). Suppose -3*s + 110 = -j*o, 2*s = -0*s + 2*o + 76. Is 14 a factor of s?
True
Let g(o) = -o**3 + 5*o**2 + 5*o + 2. Suppose -3*f + 15 = -0. Is 12 a factor of g(f)?
False
Let h be (-45)/(3*-1)*-1. Suppose g - 2*z = -1, 2*g + 2*g = -4*z + 20. Let t = g - h. Does 9 divide t?
True
Suppose -s + 3*k = -10 - 14, -16 = -s - k. Is s a multiple of 17?
False
Suppose 3*w + 29 = 5*i, 5*w + 25 = 4*i + 2*w. Let d(o) = -o**3 + 6*o**2 + 5*o - 6. Does 12 divide d(i)?
False
Let y = -130 + 234. Is y a multiple of 5?
False
Suppose -26 = -3*n + 91. Is 11 a factor of n?
False
Suppose -k + 2*k = 0. Suppose 7 = -n - k*n. Let b = -2 - n. Is 3 a factor of b?
False
Suppose 1799 - 311 = 3*y. Is 62 a factor of y?
True
Let j(n) be the first derivative of -6*n + 9/2*n**2 - 1/3*n**3 - 1. Is 6 a factor of j(4)?
False
Suppose 4*g = 178 + 290. Suppose -3 - g = -4*h. Does 13 divide h?
False
Suppose 3*q = -12, -i + 2*q = 6*q - 62. Is 16 a factor of i?
False
Let x(z) = -z**3 - 26*z**2 + 27*z**2 + 2*z**3 + 14. Is 7 a factor of x(0)?
True
Let u(g) = -g + 2. Let d be u(0). Suppose 3*p - i - 46 = 0, -5*p = -d*p - 3*i - 42. Does 8 divide p?