- 4))*-3 a multiple of 13?
True
Let i = -5 - -3. Let y(z) = 18*z**2 - z - 2. Let l be y(i). Suppose -q = 3*q - l. Is q a multiple of 13?
False
Suppose 2*l = -3*p + 12, 2*l + 5*p - 5 - 15 = 0. Suppose x - 2*a - 1 = -0*x, -2*x - 3*a + 16 = l. Suppose 2*u = x*u - 27. Is u a multiple of 9?
True
Suppose 4*x - m - 220 = 0, -2*x + 268 = 3*x - 3*m. Is x a multiple of 14?
True
Suppose 5*c + 2*a - 56 = 0, a = -2*c + 5*c - 38. Suppose -3*y + 7 = -2. Is (-9)/(-4) - y/c even?
True
Suppose 3*z + 2*h - 4 = 4*z, -3*z + 32 = 5*h. Suppose -p + 2*r = -z, p - r - 3 - 4 = 0. Suppose y = 16 + p. Is y a multiple of 12?
False
Let r(h) = h**3 + h - 2. Let m be r(2). Suppose -3 = -z + m. Does 11 divide z?
True
Let y be 93*3/(-6 - 3). Let t = 45 + y. Does 5 divide t?
False
Let t(l) = -14*l - 6. Is 26 a factor of t(-6)?
True
Suppose -337 = -x - 2*y, 1540 + 181 = 5*x - 2*y. Does 33 divide x?
False
Is (-36)/7*98/(-21) a multiple of 15?
False
Let d = -16 + 30. Is 7 a factor of d?
True
Let m(g) = g**2 + 4*g + 2. Let q be m(-5). Suppose 2*c + 1 = q. Suppose 3*j - 6*j + 40 = -4*r, -2*j + c*r + 28 = 0. Is j a multiple of 6?
False
Let v(h) = 51*h**3 + 2*h**2 - 1. Does 26 divide v(1)?
True
Let h(k) = k**2 + 8*k + 2. Is h(-9) even?
False
Suppose 0 = -w + r + 87, 5*w + 0*r + 2*r = 456. Is w a multiple of 30?
True
Suppose 2*d + l + 1 = 0, -d + 0*d + 4*l + 22 = 0. Suppose -18 + 82 = d*b. Is 16 a factor of b?
True
Let i = -416 + 264. Does 18 divide 4/(-4 - i/36)?
True
Suppose 0*n - 6 = -n. Let h(b) = -b**2 + 8*b + 5. Is 7 a factor of h(n)?
False
Let i = 40 - 25. Does 7 divide i?
False
Suppose -5*o = -333 - 207. Is o a multiple of 12?
True
Let r(a) = 2*a**2 - 3*a + 4. Does 8 divide r(3)?
False
Suppose l = 3*d + 2*d + 96, 3*l = -4*d + 288. Does 32 divide l?
True
Suppose 0 = t + 3*t. Let h = t - -3. Suppose 17 = 5*g - h. Does 2 divide g?
True
Let b(x) be the second derivative of 5*x**3/2 - x**2/2 - 3*x. Does 14 divide b(1)?
True
Let p = -23 + 10. Let c = 18 + p. Is c a multiple of 5?
True
Suppose 5*l + 327 = 4*k - 2*k, -k - 5*l = -141. Is k a multiple of 25?
False
Suppose -z + 66 = 2*s - 0*z, 2*s - 5*z = 66. Does 16 divide s?
False
Suppose 0*i = -4*i + 4, p + 4*i = 38. Let n = -2 - -7. Suppose -l + n = -p. Does 13 divide l?
True
Let i = 143 - 95. Is 7 a factor of i?
False
Let b = -6 - -28. Is 5 a factor of b?
False
Let k(p) = -2*p - 4. Let t be k(-4). Suppose t*b = 3*n - 9 - 17, -n = -5*b - 5. Suppose -d = -4*v + n, -15 = -2*d - 4*v + 13. Is d a multiple of 6?
True
Let k(r) = 5*r + 4. Let a(z) be the first derivative of -5*z**2/2 - 5*z - 1. Let t(f) = 5*a(f) + 6*k(f). Is t(5) a multiple of 12?
True
Let u(w) = 3*w**3 + 7*w**2 + 10*w + 4. Let t(x) = 10*x**3 + 21*x**2 + 31*x + 12. Let i(c) = 2*t(c) - 7*u(c). Let g = -5 - 1. Does 3 divide i(g)?
False
Is 14 a factor of (-4)/1 + 3 - -75?
False
Let v = -58 - -35. Let y = -11 - v. Is 3 a factor of y?
True
Let l = 0 + -3. Let a = l - -5. Is 15 a factor of -2 + 0 + 16 + a?
False
Let f = 24 + -8. Does 8 divide f?
True
Let v(z) = z**2 - 5*z - 8. Let p(x) = -2*x**2 + 9*x + 16. Let s(a) = -4*p(a) - 7*v(a). Let w(d) = -d - 2. Let m be w(4). Does 13 divide s(m)?
False
Suppose -2*a = -3*m + 19, 3*m - 50 + 9 = 4*a. Let y = 43 + -26. Let z = a + y. Is 5 a factor of z?
False
Let b = -9 + 14. Suppose 19 = 2*t - t + b*l, -2*l - 2 = 0. Does 7 divide t?
False
Does 37 divide -7 + 7 - 16*-4*1?
False
Suppose 2 = 5*m - d - 7, 2*d + 11 = 3*m. Let h(f) = -2*f**2 - f + 1. Let n be h(m). Let s = 17 - n. Is s a multiple of 11?
False
Let v(q) = -2*q**3 - 6*q**2 + 8*q + 12. Is v(-6) a multiple of 18?
True
Is 12 a factor of (-471)/(-6) + -1 + (-9)/(-6)?
False
Suppose 25 = -5*o, -q - 4*o + 4 = -o. Is q a multiple of 4?
False
Suppose 0*c - 3*c + 333 = 0. Let r = -238 - -160. Let n = c + r. Is n a multiple of 12?
False
Let s = 5 + -3. Suppose 0 = s*i + 4*f - 104, -i + 2*i - 47 = 3*f. Is 18 a factor of i?
False
Suppose 2*d - 4*u + 7*u - 10 = 0, 5*d - 18 = -4*u. Suppose 1 = 3*l + i - 14, -14 = -2*l - d*i. Does 3 divide l?
False
Does 11 divide ((-2)/(-4) - -1)*(-242)/(-11)?
True
Is 22 a factor of (-4)/8 + (-399)/(-6)?
True
Let b = -184 + 435. Suppose 0 = 2*u + 8, -5*t + 3*u + b = -u. Does 19 divide t?
False
Suppose 0 = -3*l + 3, 5*l + 7 = -3*z + 7*z. Let u be (-6)/4*(-4)/z. Suppose 6*r = r, 0 = -u*c - 5*r + 54. Is 13 a factor of c?
False
Suppose -6*r + 4*r - 370 = -5*a, -a - 5*r + 101 = 0. Is a a multiple of 9?
False
Let g(i) = 4*i**2 - i - 1. Let n be g(-1). Suppose 0 = n*m + b - 141, 0*m = -2*m + 3*b + 81. Does 12 divide m?
True
Let i(x) = -x**3 + x**2 + 5. Let k be i(0). Suppose k*r - 136 - 14 = 0. Is r a multiple of 10?
True
Let k(l) = l + 3. Let r be k(-6). Let a = 3 + r. Does 6 divide 5*(6/5 + a)?
True
Suppose n = -g + 5, 2*g + 2*n = 7*n - 11. Suppose -5*p = -2*u - 90, -g*u - 52 = -2*p + 2*u. Is 8 a factor of p?
True
Suppose -4*r + 3*t = t - 54, 0 = -r + 3*t + 11. Let w(v) = -v**3 + 7*v**2 + 6*v - 8. Let p be w(8). Let a = r - p. Does 19 divide a?
True
Let n = 11 - -29. Is 10 a factor of n?
True
Is (-64)/(-2) + (-11 - -9) a multiple of 15?
True
Suppose m - 6*m + 40 = 5*t, m = 4. Suppose 9 = -t*a + 25. Suppose s = -o + 35, a*o + 0*s - 146 = -2*s. Is o a multiple of 13?
False
Suppose 4*d - 4*o = -0*d + 52, -2*o = -5*d + 50. Is d a multiple of 4?
True
Let l(w) = w**3 - 6*w**2 + 7*w + 2. Let k(z) = -z**3 - 8*z**2 - 8*z - 2. Let a be k(-7). Is 3 a factor of l(a)?
True
Let h = -10 + 14. Suppose -h*l - 2 = -30. Suppose l*j - 5*j + 60 = 5*t, -4*j - 12 = -t. Is 10 a factor of t?
False
Is (3/(-6))/((-3)/198) a multiple of 4?
False
Let y be 3/2*(14 - 10). Let o = y - -50. Is 28 a factor of o?
True
Suppose -54 = -2*r + 38. Is 8 a factor of r?
False
Suppose 5*z + 3*p = 8, p + 4 = 2*z - 8. Suppose -4*u = -4*j + 56, 6*j = z*j + 4*u + 26. Does 10 divide j?
False
Let k(h) = h**3 + 8*h**2 + 2*h + 10. Let x be k(-8). Let a = x + 13. Does 7 divide a?
True
Let g = -4 + 30. Is 26 a factor of g?
True
Let u be 2/(-1)*(-4 - 0). Suppose 20 = 3*o + u. Let k(x) = 10*x - 6. Does 17 divide k(o)?
True
Let p(m) = 27*m + 21. Does 21 divide p(7)?
True
Suppose 7*i - 3*i - 52 = 0. Does 13 divide i?
True
Suppose -4*b = b + 30. Suppose -2*w = -8 - 12. Let r = w + b. Does 2 divide r?
True
Let q be (3 + -4)*(-1 + -4). Let r = q + -2. Suppose -r*c + 11 = -2*c. Does 4 divide c?
False
Let i(u) = -6*u + 1. Let z be i(6). Let d be (-94)/10 + (-14)/z. Is 7 a factor of (-42)/d*6/4?
True
Let y(u) = -u**3 - 2*u**2 - 4*u - 3. Let s be y(-3). Let r = s - 5. Is r a multiple of 4?
False
Suppose -2*q = -3*q - 3*b - 6, 4*b = -4*q - 16. Let l be q/(-15) + 42/15. Suppose -l*j - 21 = -4*j. Is j a multiple of 20?
False
Let v(d) = 7*d**3 - d**2 + 2*d - 3. Let c be v(2). Let w = c - 14. Is w a multiple of 13?
True
Let d(v) = -v**2 - 12*v - 18. Let g be d(-12). Suppose 5*i - 13 = 7. Is 7 a factor of i/(-18) - 256/g?
True
Let i(o) = o**2 + o. Let g be i(-1). Suppose 2*r = 2*d - 32, 2*d = -g*d - 2*r + 36. Suppose 0 = 3*p - 2*p - d. Is p a multiple of 17?
True
Suppose 9*o + 136 = 11*o. Is o a multiple of 17?
True
Let x(p) = p**2 + p + 1. Let s(m) = -6*m**2 - 5*m - 6. Let j(v) = -6*s(v) - 33*x(v). Is j(3) a multiple of 7?
True
Let h(x) = 3*x**2 + 1. Let m be h(1). Let o be (-2)/7 + (-4)/(-14). Suppose m*j = 3*k + 25 + 40, j - 4*k - 26 = o. Is j a multiple of 7?
True
Suppose 3*l - 4*b - 30 = -0, 3*b = -2*l + 3. Suppose 0 = -4*w + 12, -l*s + 4*w + 124 = -2*s. Is s a multiple of 17?
True
Suppose -7*u = -9*u + 596. Is u a multiple of 21?
False
Let l(k) = -2*k**2 + 21*k - 7. Does 10 divide l(9)?
True
Let a = -84 + 38. Let h = a - -73. Suppose 3*z + h - 111 = 0. Is z a multiple of 14?
True
Let i = 3 + 2. Suppose -5*f + 5 = -10*f + 4*w, -i*f + 2*w = -5. Suppose f*q - 46 - 41 = 0. Does 18 divide q?
False
Let h = 16 - 8. Let b = h - 5. Let r = b + 3. Does 5 divide r?
False
Suppose r = a + 64, -7*a + 311 = 5*r - 3*a. Does 10 divide r?
False
Suppose -2*m = m - 243. Is 17 a factor of m?
False
Let p(v) be the second derivative of 0 - 2*v - 5/6*v**3 + 0*v**2. Is 10 a factor of p(-4)?
True
Suppose -2*j - 3*j + 145 = 0. Suppose 8*d = 4*d + 48. Let b = j - d. Is 8 a factor of b?
False
Suppose 0 = k - 11 - 7. Is 13 a factor of k?
False
Let o(b) = 22*b**3 + b**2 - 5*b. Does 34 divide o(2)?
True
Suppose -3*m + 11 = 3*y - 7, 2*m - 15 = -3*y. Suppose -2*