alse
Suppose -17*y = -119 - 187. Is y a multiple of 9?
True
Let k(b) = b**3 - 8*b**2 + 8*b - 5. Let o be k(7). Suppose 22 = -0*w + o*w. Is 7 a factor of w?
False
Let d(f) = -f**3 + 7*f**2 + f - 7. Let h be d(7). Suppose h = 4*n - 10 - 22. Does 5 divide n?
False
Let u = -1 - -7. Suppose -2*z = -57 + 3. Let h = z - u. Is h a multiple of 8?
False
Let t be (2 - 1)*81/3. Suppose 2*q - t + 5 = 0. Is q a multiple of 10?
False
Is 13 a factor of 92/(-3)*18/(-12)?
False
Let q(u) = 3*u**2 - 3*u. Let k(r) = r**2 - 9*r + 10. Let j be k(8). Is q(j) a multiple of 3?
True
Is 13 a factor of (0 + 36/(-8))/(2/(-40))?
False
Let k = -30 + 70. Is 20 a factor of k?
True
Let y = 122 + 28. Is 25 a factor of y?
True
Let o = -1 + 1. Let b = 36 - o. Is b a multiple of 18?
True
Let l be 4/4 + 4/1. Suppose 5*q + 18 = u + 4, -l*u + 40 = 5*q. Is u a multiple of 9?
True
Let s(m) = m**3 + 4*m**2 - 7*m - 2. Let l be s(-5). Suppose -j = 2*j - 15. Let f = l - j. Is 3 a factor of f?
True
Suppose -2*a = -4*a. Let o = a - -9. Let l(r) = -r**3 + 8*r**2 + 10*r + 5. Does 8 divide l(o)?
False
Let s = 121 - 51. Does 19 divide s?
False
Suppose -j + 57 = -6. Is 9 a factor of j?
True
Let d be (12/18)/(4/(-6)). Is (-1*2*9)/d a multiple of 9?
True
Suppose 11 = -5*q + 1. Let f = q + 16. Is f a multiple of 7?
True
Let y(w) = -w - 3. Let c be y(-3). Suppose -5*u = -c*s + s - 24, s + 26 = 5*u. Is 5 a factor of u?
True
Let u(v) = v**3 + 11*v**2 + 12*v + 1. Let d be u(-9). Let r = -1 + d. Is r a multiple of 15?
False
Let s = 171 - 93. Is 21 a factor of s?
False
Let d(r) = -r - 5. Let v be d(-5). Suppose v = -3*q - 21 + 228. Is q a multiple of 27?
False
Let k = 0 + 2. Does 20 divide (k - 5)*24/(-2)?
False
Let b(z) = -z**3 + 20*z**2 + z - 9. Is b(20) a multiple of 2?
False
Let b(w) = 2*w - 14. Let n(o) = -o**2 + 8*o - 8. Let u be n(6). Suppose u*j - 30 = 10. Is 6 a factor of b(j)?
True
Let b(l) = -l**2 + 2*l - 3. Let r be (9/(-3))/(-3) + 1. Let m be b(r). Let z(w) = -9*w + 3. Is z(m) a multiple of 13?
False
Let z(g) = -g**2 + 5*g. Let n = -2 - -6. Let x be z(n). Suppose 37 = x*u - 3. Is u a multiple of 10?
True
Let q(x) be the first derivative of 13/2*x**2 - 6*x - 1 - 1/3*x**3. Is q(9) a multiple of 12?
False
Let p be 266 + 0 + (1 - 3). Suppose 5*b - p = -n - 44, -58 = -b - 3*n. Let o = b - 30. Is 11 a factor of o?
False
Let c = 7 - 5. Suppose -60 = -q - q - 4*p, -c*p + 102 = 4*q. Is 15 a factor of q?
False
Suppose -2*t + 4*t = 146. Is t a multiple of 8?
False
Is 9 a factor of (23 + -11)/((-4)/(-18))?
True
Let z(o) = -o**2 + 3*o + 2. Let h be z(3). Let x be (-4)/((-12)/(-15))*-1. Suppose 3*t = 4*j - h*t - 71, 0 = j - x*t - 29. Does 6 divide j?
False
Let l(g) = 2*g**3 - 6*g**2 + g + 4. Is 9 a factor of l(4)?
False
Is 40 + (4 - 8) + -2 a multiple of 17?
True
Suppose 2*y + 0*y = 156. Is y a multiple of 13?
True
Let t(x) = 2*x - 10. Let c(u) = u**2 + 5*u + 1. Let s be c(-6). Is 2 a factor of t(s)?
True
Suppose -2*n = n - 5*t - 45, 6 = 2*t. Is 10 a factor of n?
True
Suppose -5*w + 29 = -6. Suppose -w*x + 9*x - 72 = 0. Is x a multiple of 12?
True
Let w(q) = -q**3 + 10*q**2 + 4. Let l be w(10). Let f = l - -8. Is f a multiple of 4?
True
Suppose 0 = a - 2. Suppose -45 = -5*i + a*i. Is 8 a factor of i?
False
Does 8 divide 13776/216 - ((-4)/(-18))/(-1)?
True
Suppose 112 = 5*q - 3*i, 0 = -q + i - 4*i + 26. Let c = -15 + q. Does 8 divide c?
True
Does 8 divide 4/(-12) - (-200)/6?
False
Let l = 47 + -20. Let w = -7 + 10. Suppose 6*b = w*b + l. Does 7 divide b?
False
Suppose 0*b = 3*b + 96. Suppose t = -9 - 8. Let o = t - b. Does 15 divide o?
True
Suppose 0 = -3*s - 10 + 28. Let m(b) = b**2 - 5*b + 5. Is 11 a factor of m(s)?
True
Let y(i) = 15*i - 29. Does 19 divide y(7)?
True
Let j(b) = -b**3 - 4*b**2 - 2*b + 2. Let g be j(-3). Let x be 1 + ((-2)/(-2) - g). Suppose -1 = -x*p - 2*m, -p + m + 19 = 4*p. Is 3 a factor of p?
True
Suppose -3*j + 8 = -7. Suppose -2*o = 2*x - 3*o - 13, -2*o + 46 = j*x. Is x a multiple of 4?
True
Let d = 6 - 3. Suppose -2*o + 20 = d*o. Suppose -3*a = -a - o*j - 66, 0 = -2*a - j + 61. Is 15 a factor of a?
False
Let v = -334 + 474. Is 35 a factor of v?
True
Let k(q) = -q**3 - 4*q**2 - 7*q + 1. Let y(i) = i**2 + 6*i - 3. Let m be y(-6). Is k(m) a multiple of 7?
False
Suppose 2*f = -0*f - 26. Let v = f - -19. Is v even?
True
Is (-5)/(50/(-1292)) + (-10)/50 a multiple of 12?
False
Let a = 113 + -60. Is 22 a factor of (4 - 7)/((-3)/a)?
False
Let k = 3 + -3. Let i = 7 + k. Is 3 a factor of i?
False
Let v(t) = -t**3 + 5*t**2 + 4*t + 14. Is v(-5) a multiple of 41?
False
Let t = 0 - -21. Suppose -4*f + 5*v + 0*v = -t, -4*v - 33 = -5*f. Does 5 divide f?
False
Suppose 2*u - 8 = -4*r + 314, r - 76 = 4*u. Is 16 a factor of r?
True
Let i be (2 + -3 - 2) + 3. Suppose -2*s - s + 135 = i. Does 15 divide s?
True
Let u be (-4 - 0)*6/(-8). Suppose 12 = 5*w - u*w. Is 6 a factor of 2*w/1*1?
True
Let n(p) = 3*p**2 - 2*p - 8. Does 13 divide n(5)?
False
Let g(l) be the first derivative of l**4/4 - l**3/3 - l**2/2 + 12*l - 2. Let v = -4 - -4. Is 8 a factor of g(v)?
False
Suppose -4*d + 148 = 2*w, 3*d + 3*w = -2*d + 185. Is d a multiple of 9?
False
Let p = 67 + -10. Is 24 a factor of p?
False
Suppose -2*i + 76 = 2*d - i, 5*d + i - 196 = 0. Suppose 2*c - d = 30. Suppose -5*r + 36 + c = 3*w, r - 1 = 0. Does 11 divide w?
True
Let v = 643 - 435. Is 13 a factor of v?
True
Let c(t) = t**3 + 6*t**2 - 4*t - 6. Let j be (2/(-3))/((-10)/165). Suppose 0 = -6*x + j*x + 20. Is 13 a factor of c(x)?
False
Let z(h) = 5*h - 64. Does 13 divide z(17)?
False
Let d = 65 + -38. Is 9 a factor of d?
True
Let g(p) = -2*p**3 - 7*p**2 - 2*p - 3. Let v be g(-5). Suppose 3*w + 6*z - v = z, 5*w = -3*z + 158. Is 17 a factor of w?
True
Let s(n) = -3*n**2 - 15*n - 14. Let g(u) = -13*u**2 - 61*u - 57. Let p(a) = -2*g(a) + 9*s(a). Is 12 a factor of p(-9)?
True
Suppose 4*d = 3*d + 17. Is d a multiple of 13?
False
Suppose -126 = -21*d + 18*d. Does 21 divide d?
True
Let j be 3/6 + 3/2. Suppose j*y - 15 = -3*c, -2*c = 5*y - 7*c - 25. Is y even?
True
Let k(h) = 2*h**2 + 6*h - 2. Let t be k(-6). Suppose 2*l - t - 14 = 0. Does 10 divide l?
False
Let z = 265 - 379. Let k = 309 + z. Does 13 divide (0 - 1)*k/(-5)?
True
Suppose 2*t + 5*r - 333 = -0*t, 4*t = 2*r + 654. Is 34 a factor of t?
False
Let a(g) = -g**3 + 7*g**2 - g + 10. Let f be a(7). Let p(r) = r**f + 2 - r - 2*r**2 + 0*r**3 + r**2. Is p(3) a multiple of 11?
False
Does 27 divide (3 - (-117)/(-21))/((-2)/42)?
True
Let l = 2 + 3. Let p(i) = i + 1. Is 3 a factor of p(l)?
True
Suppose -5*j - 3*s - 53 = 21, j - 4*s + 24 = 0. Let b be (-8)/12 + j/(-6). Suppose 0 = -4*d + p + 165, b*p = -3*d + 7*p + 128. Does 21 divide d?
False
Suppose -4*h - l - 31 = 0, -5*h - 32 = 2*l - 3*l. Let q(y) = y**2 + 8*y + 9. Let s be q(h). Suppose -s*x - 5*i = -51, i = -4*x - 2*i + 81. Is 9 a factor of x?
True
Suppose l + 1 - 14 = j, -3*l = 2*j + 6. Let q = 46 - j. Is q a multiple of 14?
False
Let m be ((-12)/36)/((-1)/12). Let c(q) = 2*q + 2. Is 4 a factor of c(m)?
False
Let n(r) = -r**2 + 11*r - 7. Let y = -13 + 21. Let w be n(y). Is 7 a factor of ((-2)/(-1))/(2/w)?
False
Suppose -6*i = 26 - 164. Is i a multiple of 17?
False
Suppose 6*i + 5 = i, -4*i - 234 = -5*t. Does 5 divide t?
False
Suppose -2*v - 2*v = 216. Suppose -4*b - 201 - 235 = 0. Let l = v - b. Is l a multiple of 22?
False
Suppose -2*f + 22 = 4*h, -2*h - 4*f + 2 = -6*f. Suppose 5*t + 157 = h*a - 0*t, -76 = -2*a + 2*t. Is 14 a factor of a?
False
Let o = 7 - 19. Let w = o + 79. Let t = 97 - w. Is t a multiple of 15?
True
Does 22 divide (-26 - (-6 + 2))*-2?
True
Let j(b) = -b**2 + b + 8. Let g be j(6). Let a be 0 + 2 + -4 + 5. Is 15 a factor of 3*(-1)/a*g?
False
Let f(v) = -17*v - 2 - 3 - 1 + 7. Is f(-1) a multiple of 17?
False
Suppose w + 2*b = 6, -3*w - w = -3*b - 2. Suppose c = -4*p + 5*c + 4, 0 = -2*c + w. Is 16 a factor of 16/(-1 + p + 0)?
True
Suppose -222 = -2*l - 72. Let d = l - 37. Is d a multiple of 19?
True
Let q = 4 + -2. Suppose 6*d = q*d. Suppose -4*m + d*m = -96. Is 12 a factor of m?
True
Let d(o) = 4*o**2 - 4*o + 1. Let z(s) = s + 2. Let y be z(-2). Suppose 4*u - 12 = -y*u. Is 13 a factor of d(u)?
False
Suppose -7 = -4*o - 2*k - 5, 0 = 3*o + 5*k - 5. Suppose -s - 4 = o, 2*s = 4*u + u - 28. Is u a multiple of 2?
True
Let t(h) = 16*h + 3. Let r be t(