(-1))?
True
Let u(o) = 12*o. Let g(n) = 35*n. Let k(y) = -5*g(y) + 14*u(y). Let j(m) = -m + 1. Let b be j(5). Is 13 a factor of k(b)?
False
Suppose -3*l = 4 - 16. Suppose -l*y + 190 = 5*r, 15 = 4*y - 7*y. Is 21 a factor of r?
True
Suppose -3*g + 53 = 3*s - 10, 0 = 5*g + 3*s - 101. Let p = 30 + g. Let t = p + -21. Is t a multiple of 18?
False
Suppose 0*i = 2*t - 2*i - 70, -2*t - i + 70 = 0. Does 13 divide t?
False
Let u(l) = l**3 + 5*l**2 + 2. Let t be u(-4). Let j = -7 + t. Is 3 a factor of j?
False
Suppose 3*i = -2*u + 235, -4*u + i + 596 = u. Does 10 divide u?
False
Let w(q) = q**2 - q + 1. Let v(n) = -3*n**2 + 12*n + 1. Let i(f) = -v(f) - 2*w(f). Is 8 a factor of i(11)?
True
Suppose 0 = -3*q, -5*n + 3*q - 7*q = -820. Does 37 divide n?
False
Suppose -41 = -7*l + 211. Is l a multiple of 6?
True
Let u = -177 - -313. Let k = u - -139. Suppose -2*a - k = -7*a. Is a a multiple of 25?
False
Let m be -2 - (2 + 1*-3). Let t be 136/20 + m/(-5). Suppose -5*p + 27 = t. Does 2 divide p?
True
Let m be (-2)/(-8) + (-7)/(-4). Let v = m - 11. Is 4 a factor of (-3)/v + (-46)/(-6)?
True
Let m = 10 + -2. Let l be (m - 2)/(2*1). Suppose -l*w = -82 + 7. Does 14 divide w?
False
Let x(j) = 2*j**2 - 11*j + 4. Suppose 0 = 2*g - 4*r - 28, 0*g - 5*r - 47 = -4*g. Is 11 a factor of x(g)?
True
Suppose 1968 = -2*f + 10*f. Is 22 a factor of f?
False
Let t = 63 + 25. Does 7 divide t?
False
Let l(c) = 8*c + 3. Let s(u) = 12*u + 4. Let y(o) = 7*l(o) - 5*s(o). Let b be y(-1). Suppose -x + 50 = b*i, -2*x - 4 = 5*i - 49. Is 4 a factor of i?
False
Let x(s) = s + 5. Let b be x(-5). Suppose b = -5*r + 4*g + 25, -8 = -r + g - 3. Let d = 3 + r. Is d a multiple of 8?
True
Suppose -2*s = 2*s - 88. Is 11 a factor of s?
True
Suppose -2*l + 8 = 6. Let d(g) = 38*g + 1. Is 26 a factor of d(l)?
False
Let m = -4 - -6. Suppose 2*i + z - 179 = 0, -i - 5*z + 69 = m. Suppose 2*c - 5*l = 53, 8*c - 3*c = -l + i. Is 9 a factor of c?
False
Suppose 0*z + z + 1 = 0. Let u(i) = -51*i**3 + i**2 + i. Let s be u(z). Suppose -2*o + s = -15. Is o a multiple of 11?
True
Suppose -2*f + 3*f = 0. Suppose 2*o - 5*t = -f*o + 7, o = 3*t + 1. Is o a multiple of 16?
True
Let q(m) = -m**2 + 2*m + 1. Let u be q(-3). Let a = 46 + u. Suppose -4*d + 2*d = 4*v - a, 0 = 5*v + 3*d - 41. Does 7 divide v?
True
Let u be 4 + (-3)/6*2. Is 3/((-3)/(-14)) + u a multiple of 17?
True
Let g be (-1 + 0)*0*1. Let l be (-2 + 3)/(2/24). Suppose 3*d = -g*d + l. Does 4 divide d?
True
Suppose -3*z - 5*w = -221, -2*w = -5*z - 94 + 452. Is 12 a factor of z?
True
Is (-3)/18 + 481/6 a multiple of 10?
True
Suppose 3*q - 209 = 349. Suppose 3*k - q = 9. Is k a multiple of 27?
False
Let q(o) = -3 + 0*o + 0*o - o**3 - 2*o - 3 - 5*o**2. Let r be q(-5). Suppose -r = -k - 1. Is k a multiple of 3?
True
Suppose 212 = 3*p - 430. Is p/9 - (-10)/45 a multiple of 12?
True
Let n(q) = -q**2 - 6*q + 7. Let a be n(-5). Let s = 39 - a. Is s a multiple of 7?
False
Let x(v) = 5*v - 3. Suppose k = -1 + 8. Is x(k) a multiple of 16?
True
Suppose 2*z + 9 = 3*h + 2*h, 5*z = 3*h + 6. Suppose -2*i + z*j = -57, -i + 4*i - 3*j = 87. Suppose 0 = c - i + 9. Does 9 divide c?
False
Let w(g) = -2*g - 7. Does 9 divide w(-11)?
False
Is (-2 - -3)/((-3)/(-42)) a multiple of 9?
False
Let s = 59 - 41. Does 3 divide s?
True
Let v be (-2)/2 + (-6 - 8). Is v/(-25) + 127/5 a multiple of 13?
True
Suppose 2*i + 4*b - 468 = 0, -b = -5*b + 8. Suppose -14*h + 9*h + i = 0. Does 12 divide h?
False
Suppose -i - 3*i + 2*u = 38, 2*i - 3*u + 13 = 0. Let n = 15 + i. Is ((-27)/6)/((-2)/n) a multiple of 4?
False
Let r(j) = j + 4. Let h be r(0). Suppose 0*b - i = h*b - 40, 0 = b - 2*i - 10. Does 4 divide b?
False
Let n(w) = -5*w - 16. Let t be n(-11). Let i = -11 + t. Is i a multiple of 21?
False
Suppose -5*x = 2*i, 5*i + x = 4*i + 3. Suppose 64 = 4*s - 52. Suppose i*u = s + 21. Is 5 a factor of u?
True
Is (1 - -13)/((-2)/(-4)) a multiple of 7?
True
Suppose -2*z - 560 = -9*z. Is 10 a factor of z?
True
Let l(r) = 2*r**2 - 5. Let u be l(-4). Is 16 a factor of 438/u - 2/9?
True
Let n = -5 + 5. Suppose n*j = 3*x + 2*j - 12, -5*x + 16 = 2*j. Suppose -u - 34 = -x*u. Does 13 divide u?
False
Let h(y) = -y + 5. Let b(x) = -2*x + 5. Let m(o) = 5*b(o) - 6*h(o). Is 4 a factor of m(-4)?
False
Let b(k) = -4*k - 9. Is b(-6) a multiple of 8?
False
Suppose 5*m - 374 = -5*f + 3*m, 365 = 5*f + 5*m. Is 19 a factor of f?
True
Let k = 97 + -18. Does 16 divide k?
False
Suppose -6*h + 380 = -h. Does 19 divide h?
True
Let y(w) = w**2 - 9*w + 2. Let s be y(12). Suppose -94 = -3*q + s. Does 9 divide q?
False
Is 9 a factor of (-45)/(-2) - 1/(-2)?
False
Let q(y) = y**2 + 8*y - 11. Let f be q(-9). Is 8 a factor of (1 - -19)*f/(-5)?
True
Let a = 2 + -2. Suppose d - 2*z - 8 + 1 = 0, a = -4*d - z + 19. Does 3 divide d?
False
Let k be -1*21/(-6)*-8. Let d = -13 - k. Is 15 a factor of d?
True
Suppose -7*z + 4*w + 23 = -2*z, 3*z - 4*w = 9. Is z/(-4)*(-4 + -4) a multiple of 14?
True
Let g be 2*(0 - (-1 + 0)). Suppose 0 = -g*j + 9 + 19. Does 7 divide j?
True
Suppose -2*m = -m - 5. Suppose -o - 2*o + 4*d = -84, -4*o + m*d = -112. Is 14 a factor of o?
True
Is 9/(4*6/104) a multiple of 11?
False
Suppose 0 = -v + 4*q - 7, -3*q + 7 = v. Is (-6)/(-3) + v - -3 even?
True
Suppose -4*i = i. Suppose 1 = y - i. Is 21 + -1 + 2/y a multiple of 18?
False
Let v(f) = -f**3 - 5*f**2 + 2. Let h be v(-5). Suppose 4*u + c = 157, -2*c + 119 = h*u + u. Is 15 a factor of u?
False
Let k(p) = -5*p**3 - p**2 - p. Let m be k(-1). Suppose 6 = m*z - 4. Suppose n - 4*x = -3*x + 5, 0 = n - 2*x - z. Is 4 a factor of n?
True
Let u(r) = 12*r + 8. Is u(8) a multiple of 20?
False
Suppose 0*a - a = -8. Is 2 a factor of a?
True
Let k(h) = -2*h**3 + 2*h**2. Let n be k(2). Let g = n + 11. Suppose 4*m - 4*q - 60 = 0, 5*m + 5*q = 62 + g. Is m a multiple of 13?
False
Let a(l) = -l**2 + 9*l + 7. Let b be a(8). Suppose i - 4*i + b = 0. Is i a multiple of 3?
False
Suppose 0*b + 2*b = -r + 55, -53 = -2*b + r. Is 9 a factor of b?
True
Let u = 28 - 17. Let m = 32 - u. Does 7 divide m?
True
Is (-2)/14*-471 - (-52)/(-182) a multiple of 8?
False
Suppose -4*f = 399 - 1023. Is 12 a factor of f?
True
Let b = -14 - -9. Let v = b - -8. Is 3 a factor of v?
True
Let z = -3 - -8. Suppose z*t - 57 = 13. Is t a multiple of 7?
True
Let w = 34 + -59. Let l = -12 - w. Is 13 a factor of l?
True
Suppose 0 = -4*j + 20, -q = -j - 99 - 232. Suppose 2*w - 4 - 178 = 0. Suppose -5*n - w + q = 0. Does 18 divide n?
False
Let x(r) = r**2 - 8*r - 7. Let h be x(9). Suppose -h*m = -0*m - 84. Is m a multiple of 21?
True
Suppose -2*d - 3*d + 20 = 0. Let v(o) = -2*o + 2. Let j be v(-7). Suppose 0*z = -z - 3, -d*z = 4*y - j. Is 7 a factor of y?
True
Suppose -j = -1 - 14. Is j a multiple of 5?
True
Let s = -39 - -87. Does 24 divide s?
True
Let a(c) = -5*c + 7. Let j(p) = 2*p - 3. Let x(d) = -4*a(d) - 9*j(d). Let z be x(-2). Let w(u) = -2*u - 4. Is w(z) a multiple of 4?
False
Suppose 2*c + 2*c = 2*v + 18, 0 = -3*c + 4*v + 21. Suppose h = -c*h + 80. Is h a multiple of 10?
True
Let b(a) = 4 + 5*a + 2*a**2 + 0*a**2 - 3*a**2. Let s be b(4). Does 9 divide (4/5)/(s/180)?
True
Suppose 0 = y - 4*y + 21. Is y a multiple of 2?
False
Let m = 41 - 25. Is m a multiple of 4?
True
Is 9/(-3*2/(-6)) a multiple of 8?
False
Let m = 38 + -3. Suppose -5*t - 3*g = -33 - m, t = -g + 12. Let o = -7 + t. Is 9 a factor of o?
True
Let q(u) = u + 3. Let p be q(0). Suppose 0 = -p*k + 4*z + 29, -k + 0*z + 2*z + 13 = 0. Suppose -2*b + 30 = -k*v, -3*b + 67 = 2*v - v. Does 19 divide b?
False
Let f(z) be the third derivative of -13*z**4/8 - z**3/6 - 2*z**2. Let x be f(-1). Suppose 5*m = 5*w - x + 233, w = -3*m + 113. Is m a multiple of 14?
False
Let y = -602 + 892. Is 25 a factor of y?
False
Suppose 2*m + 4 = 24. Is 5 a factor of m?
True
Suppose -3*f = 5*k - 47, 4*f - 2*k = 2*k + 52. Let m = f - -3. Does 12 divide m?
False
Let x be 4/((-4)/(-7)) + -1. Let a(y) = -2*y**2 + 2*y + 5. Let v be a(x). Let i = v + 83. Does 14 divide i?
True
Suppose 5*t - 67 = -22. Suppose -2*u = -t + 3. Does 4 divide (7/3)/(u/18)?
False
Let g(d) = d**2 - 23. Does 13 divide g(-7)?
True
Suppose -2*h + 46 = l, -2*h + 250 = 5*l + 3*h. Does 18 divide l?
True
Let i(v) = -3*v**2 - 2*v - 2. Let p be i(-2). Let s be (-1078)/33 - (2 - -1)/9. Let y = p - s. Is y a multiple of 23?
True
Su