rue
Let s = -9 + 9. Let h = -19 + 43. Suppose -2*f + 4*f - h = s. Is 4 a factor of f?
True
Let a be 0 + 1*(-6 - 0). Let k = a - -15. Suppose -3*y = -4*t - k + 58, 3*t = -2*y + 24. Does 5 divide t?
True
Suppose 2*k + 20 = -28. Let w(g) = -g**3 - 13*g**2 - 16. Let r be w(-13). Let x = r - k. Is x a multiple of 7?
False
Let f(a) = a**2 + 4*a + 0*a + 10 - 3*a. Let t(r) = r - 2. Let n be t(2). Is f(n) a multiple of 10?
True
Let i be (-2)/12 - (-1)/6. Let m(j) = -j**2 - j - 27. Let s be m(i). Let u = s + 45. Is u a multiple of 11?
False
Suppose -h + 4 = 2. Suppose 0 = -5*x - 4*p + 98, -2*p = h*x - 7 - 31. Suppose 0 = -2*m + x + 32. Is m a multiple of 8?
False
Let p(z) = 2*z + 77. Is 17 a factor of p(16)?
False
Suppose u + 5*a - 135 = 119, -2*a - 226 = -u. Is 18 a factor of u?
True
Let t(d) = -9*d + 4. Is t(-6) a multiple of 16?
False
Let d = 333 + -200. Let l = 5 + d. Suppose -5*i + 0*i - 3*f = -l, 3*f + 51 = 2*i. Does 13 divide i?
False
Let b = -4 - -5. Let r be (0 + b)/((-2)/(-22)). Let j(m) = m + 8. Is j(r) a multiple of 5?
False
Let g(j) = 9 - 1 - j**2 - 8*j - 3. Suppose -4 = o - 0. Does 7 divide g(o)?
True
Let m be 3*((-24)/9 + 2). Let d be (-2)/(-4)*(-54 - m). Is 2 - d/1 - -1 a multiple of 13?
False
Let d = 32 - 60. Let q = d + 55. Is 17 a factor of q?
False
Let y = -13 + 7. Let f(l) = -4*l - 2. Is 15 a factor of f(y)?
False
Let r(n) = n**2 + 2*n - 5. Let u be r(4). Let d = 14 + u. Is d a multiple of 11?
True
Suppose 3*n - 18 = 48. Is n a multiple of 11?
True
Suppose p - 23 = 4*q, 0*q = 2*p - 3*q - 21. Suppose i + 25 = 2*a + 3*a, a - p*i = -9. Is a a multiple of 6?
True
Let u(p) = p**3 + 3*p**2 - 4*p. Suppose -1 - 11 = 3*w. Let q be u(w). Suppose 2*s + 3*s - 9 = -y, -y + 5*s + 9 = q. Does 3 divide y?
True
Suppose 0 = -5*g - 0*g + 600. Is g a multiple of 26?
False
Does 5 divide 110/(-4)*6*(-8)/60?
False
Suppose 3*m = 93 + 399. Suppose -2*j + x + x + m = 0, -2*j - x + 164 = 0. Suppose -2*o = -2*r + 82, -2*r + o + j = 3*o. Is 12 a factor of r?
False
Let o be 1 + -2 + (30 - 0). Suppose -2*k = -b + 6*b - o, -3*k = -6. Suppose -z = -b*z + 8. Is 2 a factor of z?
True
Let h be (6/8)/(3/12). Suppose -h*m + 2*p + 20 = 3*p, 0 = 2*m - 3*p - 28. Is 5 a factor of m?
False
Suppose -3*t - 32 + 218 = 0. Let r = t + -44. Is (-2)/(-4) + 405/r a multiple of 13?
False
Let h = 53 - 23. Does 3 divide h?
True
Suppose -2*w + 6 = -2. Suppose 10*a - 11 = 3*x + 5*a, 0 = w*a - 4. Is 4 a factor of (6/x)/(4/(-16))?
True
Is (640/24)/(96/45 + -2) a multiple of 25?
True
Let l = -3 - -10. Suppose -4*d + 25 + l = 0. Is d a multiple of 8?
True
Suppose -4*m + 3 = -9. Suppose -m*g + 5 = 4*q + 2, 3*g = 2*q - 15. Does 3 divide q/9*2*9?
True
Is (4/(-2))/2 - (-92 + 0) a multiple of 13?
True
Let x be 2 + (-24)/(-3) + -3. Let n = -5 + x. Suppose -3*p = -3*u - n*p + 100, -3*p = -5*u + 164. Is 15 a factor of u?
False
Suppose v - 66 = -v. Let u = -43 + 23. Let r = u + v. Is 6 a factor of r?
False
Let j(a) = 9*a + 13. Does 19 divide j(7)?
True
Is 4 a factor of (1 - 0)*(4 - -8)?
True
Suppose 0 = -4*u + 2*y + 163 + 37, -y - 4 = 0. Does 24 divide u?
True
Let l(t) = -t - 4. Let o(y) = -9*y**3 + y**2 - 1. Let u be o(1). Let n be l(u). Suppose 2*q + 2*q - 54 = 3*g, 0 = -5*q + n*g + 65. Does 9 divide q?
False
Let x = -41 + 119. Does 26 divide x?
True
Let f be (-3)/9 - (-20)/6. Let i be 59*f + (-5 - -4). Suppose 4*l - i = 4*q - 0*q, 0 = 5*l - 4*q - 222. Is l a multiple of 22?
False
Let n be (-1)/2 - (-3)/6. Suppose n = -0*a + 2*a - y - 1, -a - 7 = -2*y. Is a even?
False
Suppose -4*l - 2*x + 3*x + 19 = 0, -l + 13 = -3*x. Suppose -l*h - 5*n = -105 - 21, 3*h - 108 = 3*n. Does 17 divide h?
True
Suppose -4*m = t + 48 - 9, -5*m - 2*t - 51 = 0. Let c = -5 - m. Does 5 divide (-63)/6*c/(-3)?
False
Suppose 46*h - 43*h = 570. Is h a multiple of 9?
False
Let n(w) = w**3 - 5*w**2 - 2*w - 10. Let j be n(6). Suppose j = o - 18. Is o a multiple of 16?
True
Let g be 2 + 84 + (0 - 2). Is 2/(-7) + 4560/g a multiple of 18?
True
Suppose m = -0*m + 37. Suppose -s = -39 - m. Is 19 a factor of s?
True
Suppose -2*j - 4*n = -0*n - 78, 39 = j + n. Is j a multiple of 13?
True
Let g(z) = 3*z - 17. Let x(f) = 4*f - 18. Let r(l) = -3*g(l) + 2*x(l). Is r(13) even?
True
Let y be -11 + (-4)/(-2) + -1. Is (-232)/y + (-3)/15 a multiple of 7?
False
Suppose -3*s - g + 259 = 48, -10 = 2*g. Suppose -i - t + s = 0, -i - i + 154 = -3*t. Suppose -40 = -3*j + i. Is j a multiple of 19?
True
Suppose -2*b = 3*b - 45. Is 5 a factor of b?
False
Suppose 5*l + 124 = o, -4*o + 0*l + 542 = 3*l. Is 25 a factor of o?
False
Let d(k) = -100*k**2 - k. Let o be d(-1). Let c = o + 144. Does 14 divide c?
False
Let z(m) = m**2 - 11*m + 3. Let w = 19 - 13. Suppose -w*a = 4*g - a - 69, 0 = 3*a - 15. Does 3 divide z(g)?
True
Suppose -2 = -0*k - k. Suppose 76 + 210 = k*b. Suppose 5*r + m = b + 35, 4*m - 172 = -5*r. Is r a multiple of 12?
True
Let n be ((-8)/2)/((-6)/324). Is 7 a factor of n/30 + 1/(-5)?
True
Let c(h) = -h**3 + h + 43. Let w be c(0). Let g = w - 27. Does 16 divide g?
True
Let b(w) = w**2 - 9*w + 4. Let o be b(9). Suppose g - 79 = -i, 5*g = -0*g + 2*i + 388. Suppose -o*x + g = -x. Is 10 a factor of x?
False
Let f = -29 + 55. Does 13 divide f?
True
Let n(l) = -l**3 - l**2 + 4*l + 2. Let y(m) = m**2 - 8*m + 4. Let t be y(7). Is n(t) a multiple of 3?
False
Let w(x) = 2*x**2 - 9*x - 15. Is 21 a factor of w(9)?
False
Suppose -4*z + 125 = 25. Does 7 divide (-4 - -5)*1*z?
False
Suppose 25 = w + 2*a, -3*w + 6*w - a - 68 = 0. Is w even?
False
Suppose -5*x = -2*b + 237, 4*b = 5*b - x - 126. Is b a multiple of 13?
False
Let d = 6 - -1. Is 4 a factor of d?
False
Let b be -2 + (0 + -1)*-4. Let x(r) = 6 - r**2 - 13*r + 0*r**b + 5*r. Is x(-5) a multiple of 12?
False
Let k = -63 + 88. Is 9 a factor of k?
False
Suppose -5*n + 0*t + 71 = 2*t, 15 = 5*t. Does 7 divide n?
False
Suppose 2*g + 2 = 6. Suppose -2*m - g*m = 0. Suppose -3*c + 2*c + 4*v + 40 = m, c - 5 = -3*v. Is c a multiple of 10?
True
Let v(k) = 18*k**2 - 3*k + 5. Is 13 a factor of v(2)?
False
Suppose -2*g = -4*i + 10, -i + 0*g = 5*g + 25. Suppose 2*j = -i*j + 10. Suppose -j*f = -4*y - 81, f - 7 = -y + 2. Is 5 a factor of f?
False
Let q = 184 - 111. Is 14 a factor of q?
False
Let u(s) = s**3 - 2*s**2 + 8*s - 4. Is 29 a factor of u(5)?
False
Is (-8)/(-6)*(-126)/(-7) a multiple of 8?
True
Let h(g) = 15*g - 68. Does 26 divide h(16)?
False
Let m = 10 - 9. Let l be (-2 - (2 + -3))/m. Let u = 4 + l. Is u a multiple of 2?
False
Suppose -4*o - 1 + 17 = 0. Suppose 2*v = o*z + 44, v - 4*z = 21 - 5. Is v a multiple of 10?
False
Suppose -l + 2 = -0. Suppose 0 = -l*u + u + 3. Suppose u*k - 21 = 3*w, -3*w + 16 = 2*k - 13. Is k a multiple of 9?
False
Is 14 a factor of 1*(1 - -1) - -57?
False
Suppose g = t - 4, 10 = -2*t - 8*g + 4*g. Is 9 a factor of (19 - t) + 2 + 2?
False
Let o(k) be the first derivative of 27*k**2/2 + 2. Let i be o(-1). Let v = 42 + i. Is v a multiple of 5?
True
Let r(b) = 12*b**2 + 4*b + 1. Suppose -z = 2*z - 6. Is 12 a factor of r(z)?
False
Let x be -3*(-3 + 1) + 2. Suppose o = -o - x. Let l(a) = -5*a - 2. Does 6 divide l(o)?
True
Let h = -5 + 12. Let w(p) = p**2 - 7*p. Let a be w(h). Suppose 5*k = -a*k + 40. Does 4 divide k?
True
Let r = -5 - -2. Let k be 14 - (r + 1 + 1). Suppose k = 3*c - 81. Is 11 a factor of c?
False
Let j = -40 - 4. Is 11 a factor of 3/8*-2*j?
True
Let g = 22 + -10. Let x = -2 + g. Is 10 a factor of x?
True
Suppose -42 + 7 = -3*u - 4*b, -u + b = -14. Is u a multiple of 13?
True
Let h = 57 - 33. Is h a multiple of 4?
True
Suppose -4*i + 3*d = 2*d - 5, -3*d - 15 = 3*i. Suppose 3*r - 9 = i, 5*m + 4*r = -r + 50. Is 3 a factor of m?
False
Let v(s) = -s**2 - 6*s - 3. Let j be v(-5). Suppose x + 4*w + 38 = 101, -j*x = -w - 108. Is 14 a factor of x?
False
Suppose 8*s - 4*s = 24. Let v be 2/3 + 32/s. Let m(z) = 2*z + 5. Is 15 a factor of m(v)?
False
Suppose p - 7 = h, -4*p + 0*p - 21 = 3*h. Let b(g) = g**3 + 8*g**2 + 2*g - 5. Is 10 a factor of b(h)?
True
Suppose 2*i = 3*x - 179, -4*x - 5*i + 157 = -51. Does 8 divide x?
False
Is 17 a factor of (-3)/(6/8) + 49?
False
Suppose 0*j + 90 = 5*j. Suppose 151 = 5*i + 2*t, 5*t + j = i + 4. Suppose -p - 11 = -i. Is 9 a factor of p?
True
Suppose c - 3*c + 5*i = -120, 2*i - 161 = -3*c. Does 15 divide c?
False
Is (213/2)/((-9)/(-12)) a multiple o