4*4/((-48)/9). Let q(r) = r**3 + 4*r**2 + 2*r + 3. Let t be q(s). Suppose m + 75 = t*m. Is m a multiple of 8?
False
Let z(m) = -8*m**2 - 6*m + 6. Let s(x) = x**2 + 7*x - 6. Let t be s(-7). Let c(k) = -9*k**2 - 7*k + 7. Let v(w) = t*z(w) + 5*c(w). Is 15 a factor of v(3)?
False
Is (96/10)/((-8)/(-60)) a multiple of 12?
True
Let a(j) = 6*j + 12. Let m be a(15). Suppose 5*n - m = 3*n. Does 17 divide n?
True
Suppose -2*s = 2*s - 3*n - 530, -4*s + 534 = -n. Let x = s - 88. Is x a multiple of 24?
False
Suppose 4*j = 446 + 570. Does 12 divide j?
False
Let m = -6 + 16. Suppose 0 = 2*a - m. Suppose l + 2*l = 4*h - 26, 0 = -a*l - 10. Is 2 a factor of h?
False
Let t = 192 + -115. Let i be (-7)/((-21)/(-99)) + -4. Let l = t + i. Is 20 a factor of l?
True
Suppose -5*o = -6*o + 18. Let j = 6 + o. Is j a multiple of 8?
True
Let i = -158 + 321. Is i a multiple of 16?
False
Suppose 4*p - i - 58 = i, -5*p + 50 = 5*i. Does 2 divide p?
False
Let i = 90 + -16. Is 37 a factor of i?
True
Let c(k) = 29*k - 6. Does 42 divide c(6)?
True
Suppose 2*w + 3*d - 63 + 7 = 0, 3*d = -3*w + 78. Let t = -32 + w. Does 9 divide (-2)/5 - 184/t?
True
Let n(o) = -4*o - 13. Suppose 2*y = 40 + 32. Suppose -4*c + 0*c = y. Is n(c) a multiple of 23?
True
Let j be 4*1/2 - 1. Let p(q) = 52*q**3 + q**2 - q + 1. Is 11 a factor of p(j)?
False
Let h(t) = t**3 + t**2 - 4*t - 1. Let g be h(4). Suppose 5*a - g = -3. Does 11 divide a?
False
Let y = -12 - -36. Does 8 divide y?
True
Let i be 1/(-2 - (-15)/9). Is (-6)/(i + 2) - -1 a multiple of 4?
False
Suppose z - y - 40 = y, -4*y = 5*z - 256. Is 12 a factor of z?
True
Let v be ((-24)/4)/((-1)/6). Suppose -c = c - v. Is c a multiple of 8?
False
Is (-110)/(2 - 4) + (-60)/15 a multiple of 23?
False
Let z = 1 - -2. Suppose -6*u = 4*w - 3*u - 111, 2*u = z*w - 62. Does 24 divide w?
True
Let d(x) = 4*x + 1. Let m be 2/(-2) - (-6 + 3). Let i be d(m). Suppose 2*n - 7 = i. Is n a multiple of 3?
False
Let p(m) = 0 + 2*m - 1 - 6 + 1. Let q(z) = z**2 + 2*z - 3. Let v be q(2). Is 2 a factor of p(v)?
True
Let r = 53 + -26. Is 9 a factor of r?
True
Let v be 1*18*(-3)/(-9). Suppose -3*m = -v*m + 6. Does 17 divide (-2)/5*(-170)/m?
True
Let z be (10/(-4))/(-5)*0. Suppose z = 3*q - 2*n + 5 - 48, 3*n + 5 = q. Is 17 a factor of q?
True
Let b = -12 + 17. Suppose -220 = -0*y - b*y. Is y a multiple of 22?
True
Let a be 1 - (2 - (25 + -2)). Is a + 1 - (-1 + -1) a multiple of 12?
False
Suppose -3*x = 5*o - 428, 5*x - 248 - 484 = o. Does 7 divide x?
False
Let n be 0 - (1 - -6 - 2). Let g(j) = -j**2 - 6*j + 1. Is 3 a factor of g(n)?
True
Let g be (-43)/(-1) - 1*-1. Suppose -f - 2*f - r = 57, 3*f + 2*r = -54. Let n = g + f. Is 12 a factor of n?
True
Let i(w) be the first derivative of 7*w**3/3 + 3*w**2/2 + 25*w + 3. Let f(j) = 10*j**2 + 4*j + 37. Let z(n) = 5*f(n) - 7*i(n). Is 9 a factor of z(0)?
False
Let h(z) = 2*z + 2. Is 2 a factor of h(3)?
True
Let y = 7 - 1. Let t(q) = 4*q + 2. Is t(y) a multiple of 13?
True
Let z be ((-7)/(-4))/((-1)/4). Let h(c) = c + 9. Let d be h(z). Suppose 5*v = -3*r - 0*r + 136, 0 = -r + d. Is v a multiple of 10?
False
Let o = -30 - -128. Is 11 a factor of o?
False
Let z(j) = -12*j**2 - 5. Let i(x) = x**2 + 1. Let b(l) = 6*i(l) + z(l). Let v be b(1). Let h(k) = -k**2 - 10*k + 7. Is h(v) a multiple of 16?
True
Let j = 400 - 184. Is j a multiple of 9?
True
Is 10 a factor of 29/2*(-3)/(-12)*8?
False
Suppose 0*l - 20 = -5*l. Let s(t) = t**3 - t + 5. Let y be s(0). Suppose y*p - 119 = -l*u, 4*p + 2*u - 90 = 4*u. Is 15 a factor of p?
False
Suppose 0 = -q + 4*q - 60. Suppose 0 = 4*v - 5*v + q. Does 5 divide v?
True
Is 7 a factor of (-3)/((-24)/(-28) + -1)?
True
Suppose i - 1 = 16. Is 13 a factor of i?
False
Let t = -4 + 13. Let c = -2 + t. Suppose 6*x = c*x - 30. Is x a multiple of 11?
False
Let x(q) be the second derivative of 1/2*q**2 + 2*q + 1/3*q**3 + 0. Is 8 a factor of x(8)?
False
Suppose 9 = 4*m + r, 0 = -r - 2*r + 3. Suppose 0 = 5*b + 4*c - 18 + m, -2*b = -3*c - 11. Is 3 a factor of b?
False
Suppose 6*p - 146 + 50 = 0. Is 8 a factor of p?
True
Let m be 0/(-1)*(-3)/6. Suppose -y - 2 + 8 = m. Is 6 a factor of y?
True
Let s(w) = 13 + w + w**2 - 13. Is 2 a factor of s(1)?
True
Let m(j) be the first derivative of -j**3/3 + 9*j**2/2 + 6*j - 1. Let c(o) = o + 2. Let v be c(3). Does 9 divide m(v)?
False
Let s(z) = -2*z**2 - z + 3. Let j be s(-3). Let q = -6 - j. Is q a multiple of 5?
False
Let q(a) = a - 6. Let r be q(8). Let l(t) = 35*t + 2. Let c(d) = -12*d - 1. Let i(m) = 8*c(m) + 3*l(m). Is i(r) a multiple of 9?
False
Let g(n) = n**2 - 3*n + 4. Let z be g(-8). Let w = -18 + z. Is 31 a factor of w?
False
Is (170/(-15))/((-1)/6) a multiple of 17?
True
Suppose -5*q - 3*t = -58, -2 + 70 = 4*q - 3*t. Is 9 a factor of q?
False
Let r(g) = -3*g + 4. Let k be r(0). Is 6 a factor of ((-135)/6)/((-3)/k)?
True
Let o = 14 - 10. Suppose -2*b + o = -8. Suppose k + b = 28. Is k a multiple of 11?
True
Let l = 21 - 17. Does 2 divide l?
True
Let m = 4 - 1. Suppose y = m*y - 18. Is 6 a factor of ((-12)/14)/(y/(-189))?
True
Let v(f) = -2*f - 1. Let p be v(-4). Let y be (-2)/7 - (-107)/p. Suppose b - y = -0. Does 5 divide b?
True
Let a(o) = o**2 - 4*o + 2. Let x be a(3). Let m(l) = -21*l - 1. Let j(c) = -41*c - 2. Let y(s) = -2*j(s) + 5*m(s). Is y(x) a multiple of 15?
False
Suppose 36 = -0*g - 2*g. Let t = g + 32. Let i = t - -15. Does 15 divide i?
False
Let v = -29 + 54. Let w = v + -15. Is 7 a factor of w + -1*2 - 1?
True
Is 12/(-60) - 26/(-5) a multiple of 5?
True
Let v be (4/2)/2 - 19. Let z = v - -27. Does 9 divide z?
True
Does 12 divide (-26)/(-143) - 1318/22*-2?
True
Let y be 22/4 + 2/4. Suppose 3*f = y*f - 84. Does 7 divide f?
True
Suppose 0 = a - 3*j - 19, -2*a = -j - 2 - 26. Suppose m - 7 - a = 0. Suppose 0*u + m = 5*u. Is u a multiple of 4?
True
Suppose 5*i = 67 + 1298. Does 21 divide i?
True
Suppose -p + 24 = 5*i, -2*i - 3 = -3*p + 1. Does 2 divide i?
True
Let k = 366 - 184. Does 10 divide k?
False
Does 8 divide -3 + (4 - -3) + 10?
False
Suppose a = -a - 32. Does 16 divide (8/a)/((-1)/160)?
True
Let k be (-1 + 2 - 2) + 1. Suppose -3*a - 18 + 69 = k. Let n = -1 + a. Is 8 a factor of n?
True
Let n be 1*(1 + 0) - 247. Is (-4)/(-14) + n/(-21) a multiple of 6?
True
Suppose 3*b - 4 = 2*b. Suppose b*n = 6*n - 10. Suppose 2*x = -4*k + 6, -n*k - 34 = -3*x + 19. Does 4 divide x?
False
Let n = 12 + -2. Is n a multiple of 4?
False
Is 16 a factor of -2*1/((-8)/188)?
False
Let b(g) = g**2 + 10*g - 8. Let a be b(-11). Let c be 11/a + (-5)/(-15). Does 20 divide 86/(-4)*(c + -6)?
False
Suppose 3*n + n = 144. Suppose b + 0*b = n. Suppose -3*c + 90 = -b. Does 16 divide c?
False
Let p = -19 - -25. Is 3 a factor of p?
True
Let k(w) = -w**2 + w + 8. Does 8 divide k(0)?
True
Suppose -2*o = -8*o + 6. Let d(h) = 6*h + 6*h + 24*h. Is 18 a factor of d(o)?
True
Is 26 a factor of ((-2)/(-2))/((-19)/(-1482))?
True
Suppose -7 = -3*w - 2*n + n, -10 = -2*w + 2*n. Does 15 divide 6/w + 1 - -42?
True
Is 25 a factor of (2 - (2 + 1))*-85?
False
Suppose -10 = 5*b, 0*b - 8 = 4*c + 4*b. Let p = 2 + c. Suppose 2*k + 0*g - 21 = -5*g, -96 = -5*k + p*g. Is 13 a factor of k?
False
Let a(f) = -f + 7. Suppose -3*h - 2*d = -17, 0*h + 2*d = -4*h + 22. Let o be a(h). Let g = o + 2. Does 2 divide g?
True
Suppose -3*w + 192 = -0*w. Suppose 2*v - 6*v = -w. Is v a multiple of 11?
False
Is (0 - -1)/((-5)/(-155)) a multiple of 15?
False
Let s(i) = -2*i - 3. Let g be s(-4). Suppose g*w - 4 = 11. Suppose -w*d - 2*d + 85 = 0. Is 9 a factor of d?
False
Let y(u) = -u**3 - 6*u**2 - 6*u - 1. Let i be y(-5). Suppose 3*o + o = 16, i*g = -3*o + 160. Does 26 divide g?
False
Does 18 divide (-3)/6*9*-8?
True
Let s = 290 - 163. Let v = s + -72. Is 22 a factor of v?
False
Let g(h) = -3*h + 2*h + 0*h - h. Let s be g(-1). Suppose 3*x - 3*d - 60 = 0, 3*d = s*x - 31 - 13. Does 5 divide x?
False
Let y be (-1)/(-2)*0 + -2. Let h be (-148 + y)/(-2) + 2. Suppose -5*n = c - h, -4*c + 5 + 3 = 0. Is n a multiple of 15?
True
Does 26 divide (-46)/(-11) + (-12)/66 + 126?
True
Suppose -6*u + 2*u + 72 = 0. Suppose 0 = -3*v + u + 12. Is v a multiple of 5?
True
Let t(f) = 5*f. Let x(n) = -n**2 + 16*n - 10. Let c be x(15). Is t(c) a multiple of 25?
True
Let a be 78/21 - 4/(-14). Suppose 0*f + 4*n = -2*f + 8, -62 = -5*f + a*n. Is 3 a factor of f?
Fa