- 328. Is 42 a factor of t?
False
Suppose 5*u - 8*u + 24 = 0. Let f = u + -5. Does 12 divide 1*-2 - (f - 41)?
True
Suppose -2*v = -55 - 341. Suppose 7*k - v = 4*k. Does 22 divide k?
True
Suppose 0*t = -t + 1972. Does 116 divide t?
True
Let z(i) = 46 - 23*i - 44 - 11*i. Is z(-1) a multiple of 9?
True
Let g(i) = -27*i - 12. Let y = 12 - 18. Is g(y) a multiple of 10?
True
Let p = -6 + 17. Let u = p - 3. Suppose -u = -w + 5. Does 13 divide w?
True
Let n(t) = t**3 - 13*t**2 - 148*t + 49. Is 22 a factor of n(21)?
False
Let q(x) = -x**2 - 18*x - 12. Let r be q(-17). Suppose -4*h - r*j = -68, -h - 3*j = -9 - 8. Is 3 a factor of h?
False
Let q = 6 - 13. Let r = 42 + q. Suppose -5*y - 225 = -4*i, -5*i - 4*y - r = -306. Is i a multiple of 23?
False
Let t(g) = -4. Let x(q) = -q**2 - q - 17. Let l(r) = 26*t(r) - 6*x(r). Is 17 a factor of l(-5)?
False
Suppose 0 = 5*l + 2*a - 33, -5*l - 5*a + 0*a = -45. Let c = l + 12. Does 11 divide c?
False
Let z(r) be the third derivative of 7*r**5/60 - r**4/24 + 7*r**3/3 + 47*r**2 + 2. Is z(0) a multiple of 6?
False
Let s be 0/(-3 - -4) - 0. Suppose 3*p - 18 - 78 = s. Is 27 a factor of p?
False
Let y(u) = 54*u - 9. Is y(11) a multiple of 15?
True
Suppose 0 = 8*z - z + 46690. Is (z/(-69))/((-4)/(-6) - 0) a multiple of 11?
False
Let v = -475 + 544. Does 4 divide v?
False
Suppose -4*k - 3521 = -15505. Is 7 a factor of k?
True
Let w(i) = 2*i**2 + 8*i - 3. Let p be w(5). Let g = 141 - p. Is g a multiple of 9?
True
Suppose 30*d - 36*d + 672 = 0. Is 2 a factor of d?
True
Let y(r) = r**3 - 4*r**2 + 3*r**2 + 21*r + 1 - 22*r. Let u be y(2). Suppose 35 = 5*p - u*x, 4*p + p - 35 = -4*x. Is 7 a factor of p?
True
Let x(n) be the first derivative of 13*n**2/2 - 4*n + 5. Is x(8) a multiple of 25?
True
Let c = -228 + 690. Is c a multiple of 66?
True
Let w = 1 + 9. Let u(k) = 5*k**3 - 12*k**2 + 8*k + 2. Let n(g) = -14*g**3 + 36*g**2 - 25*g - 6. Let y(c) = 4*n(c) + 11*u(c). Is 25 a factor of y(w)?
False
Let t(o) = -2*o**3 - 10*o**2 - 10*o + 24. Does 9 divide t(-6)?
False
Suppose 14 = 4*a + 3*x, -2*a - 3*x - 2 = -6. Suppose 150 = 8*g - a*g. Is g a multiple of 16?
False
Let u(g) be the third derivative of g**6/120 + 11*g**5/60 - 4*g**3/3 + 6*g**2. Let d be u(-11). Let p = 19 + d. Does 11 divide p?
True
Suppose -4*t = -8*t + 684. Suppose 0 = 2*g + g - t. Let o = -36 + g. Does 12 divide o?
False
Suppose -5*r = 3 - 18. Suppose 3*f = r*n + 18, 4*f - 5*n = -4 + 32. Suppose 0 = -f*p + 5*a + 92, 2 = -5*a - 8. Is 16 a factor of p?
False
Suppose 0 = -4*k + 13 + 7. Let g = 52 - -6. Suppose g = k*j - 0*j - 2*m, -m = -1. Is 7 a factor of j?
False
Let b(x) = -25*x**3 + 2*x. Is 3 a factor of b(-1)?
False
Let r be 6/(-15) + 24/10. Suppose 0 = -k - 0*k + r. Is 10 a factor of ((-13)/2)/(k/(-4))?
False
Is (-4 - 204/(-24))/(1/102) a multiple of 52?
False
Let y(k) = -k**3 + 8*k**2 + k - 8. Let p(x) = -3*x - 10. Let q be p(-6). Let m be y(q). Suppose v - 86 - 5 = m. Does 13 divide v?
True
Suppose -8*m = -3*m + 125. Let p = -23 - m. Suppose -4*g + 3*z = -45, p*g + 5*z + 24 = 3*g. Is 4 a factor of g?
False
Suppose -2*d + 4*d - 4*q - 1320 = 0, -5*d - q + 3300 = 0. Does 66 divide d?
True
Suppose 12*f - 21*f + 999 = 0. Suppose 4*w - 1119 = -f. Is w a multiple of 48?
False
Suppose -2*p = -2*z, 2*p + 2*p - 24 = -4*z. Suppose 4*s - 2*h - z*h = -12, -s - 4*h - 24 = 0. Is 3 a factor of s*(10/(-8) + 0)?
False
Suppose 0 = -50*i + 45*i + 3250. Is 26 a factor of i?
True
Let t = -42 - -2164. Is t a multiple of 40?
False
Suppose -1 = 5*n - 26. Suppose 12 = 2*z + n*o - 10*o, 3*z + 5*o + 7 = 0. Is 13 a factor of (12 + z)*(1 + 0)?
True
Is -5*((-33)/9 + 4)*-114 a multiple of 10?
True
Suppose -1547 = 3*b - 611. Let h = 472 + b. Does 16 divide h?
True
Suppose 3*y = 7 + 2. Let j = 7 + 20. Suppose -y*t + j = -0. Is t a multiple of 8?
False
Let s = 399 - 162. Does 7 divide s?
False
Let w(j) = 3103*j - 236. Is 61 a factor of w(1)?
True
Is 30 a factor of (2*-65)/(5 + 222/(-42))?
False
Is 4 a factor of (19170/81)/(4/6)?
False
Let z(t) = t**2 - t. Let m be z(1). Suppose y = -m*y. Suppose y = -3*o + 46 + 29. Does 8 divide o?
False
Let x be (-22)/(-6) - 2/(-6). Let w(y) = 3*y**2 - 4*y - 8. Does 12 divide w(x)?
True
Let c(v) = 13*v - 2. Let h be c(6). Suppose 0 = h*t - 70*t - 474. Does 13 divide t?
False
Let l(q) = -q**2 + 51*q - 132. Is 17 a factor of l(43)?
False
Suppose -4*d - 4 = 8. Let o be (d - 0) + -75 + -2. Is (o/24)/((-2)/12) a multiple of 14?
False
Let n(s) = s**2 - s - 12. Let h be n(5). Suppose -h*c = 2*c - 810. Is c a multiple of 7?
False
Let t(f) = -196*f - 87. Is t(-9) a multiple of 22?
False
Suppose 3*j - 449 = 5*z - 35, -j - 5*z + 138 = 0. Let s = -27 + j. Does 19 divide s?
False
Let q(w) = -6*w**3 + 9*w**3 + 11 - 34*w**2 + 27*w**2 - 10*w. Is q(6) a multiple of 61?
False
Suppose 3*m = 2*i - 115 - 27, -2*i - 2*m = -122. Let l = i - -8. Is l a multiple of 37?
False
Suppose 0*b - 2*b + c = -227, 3*b = 5*c + 337. Suppose -4*j = -4*w - 480, b = j + 3*w - 2*w. Is 39 a factor of j?
True
Let v be 0 + 4 + -4 - -106. Suppose -4*g - v = 2*s, 2*g - 4*s + 49 = -s. Let i = 57 + g. Is i a multiple of 8?
False
Suppose -y - 1 = -5*w, 16 = 5*y - 2*w - 2*w. Suppose 224 - 44 = y*z. Is 15 a factor of z?
True
Suppose -2*o + 4*o - 370 = 0. Let g = o - 113. Is 18 a factor of g?
True
Let x = 1420 - -1250. Is x a multiple of 89?
True
Let k be (-4)/(-8)*2 - -17. Does 12 divide (2 - 1) + k + -1?
False
Let c(j) = 73*j**2 - 11*j + 2. Does 17 divide c(2)?
True
Is (((-1584)/15)/3)/((-4)/10) a multiple of 8?
True
Let y(b) = 20*b**3 - 2*b**2 + 1. Let q be 2/4*(-4 - -2). Let p be y(q). Let z = -10 - p. Is 9 a factor of z?
False
Let y(h) = -4*h - 27. Is y(-19) a multiple of 7?
True
Let q(g) = 3*g**2 + 13*g - 15. Is 17 a factor of q(4)?
True
Suppose -234 = -23*y + 1882. Is 18 a factor of y?
False
Let f = -5 - -5. Let i(g) be the second derivative of -g**3/6 + 19*g**2 - g. Does 13 divide i(f)?
False
Let p(o) = -8*o**2 - 2*o - 6. Let f be p(-4). Let l = 4 - f. Does 19 divide l?
False
Let j = -15 + 22. Let k = -8 + j. Does 15 divide (-362)/(-8) - k/(-4)?
True
Let l(u) = -34*u + 638. Does 10 divide l(12)?
True
Let s = -1 + 11. Suppose -7 = -5*g - 27. Is 2 a factor of ((-4)/5)/(g/s)?
True
Let k(p) = 170*p - 16. Is k(2) a multiple of 13?
False
Let i = 1253 + -1089. Is i a multiple of 9?
False
Suppose -2*t - 3*p = -4*t + 18, 5*t - 4*p - 38 = 0. Suppose -5*a = 3*r + 10, -4*a - t = 3*r + 2. Does 19 divide 59 + (4/1)/a?
True
Let f = -251 - -512. Is f a multiple of 16?
False
Let t(p) = -3*p**2 - 2*p + 7. Let v be t(-3). Let o = -12 - v. Suppose o*c - 50 = -3*c. Is c a multiple of 10?
True
Let p be 4/(-6)*33/(-22). Let b be (p*(2 - 6))/2. Is 44 - (0 + 2)*b a multiple of 12?
True
Suppose -3*q = 4*q. Suppose q*j + 2*j = 144. Is j a multiple of 8?
True
Let i(j) = j**3 + 16*j**2 + 58*j - 19. Let g be i(-8). Let a be (-4)/(-10) - (-54)/(-10). Let c = g - a. Is 11 a factor of c?
False
Suppose 0 = -p - 3*z - 16, -p + 3*z - 1 + 9 = 0. Is 6 a factor of 17*(-4)/8*p?
False
Suppose -5*t - t = 2*t. Suppose -2*p + 2*v + 55 = -3*v, 4*p - 2*v - 70 = t. Does 15 divide p?
True
Let p = 9 + -4. Suppose p*l = 65 + 30. Suppose 17 = d - k, 0 = -d - 5*k + l + 4. Is d a multiple of 9?
True
Let t = -1667 - -1856. Does 12 divide t?
False
Let i be (17 - 16)*(15 - 0). Suppose -h + i + 19 = 0. Is h a multiple of 12?
False
Let m = 75 - 174. Is 11 a factor of (-24)/9*m/6?
True
Suppose 6155*d - 6157*d + 2590 = 0. Is 37 a factor of d?
True
Let f(d) = -d**3 - 17*d**2 - 9*d + 85. Is f(-17) a multiple of 119?
True
Let i(g) = 2*g + 38. Let q be i(-17). Suppose 5*o + q*f = 45 - 14, 4*o - 26 = -2*f. Is 4 a factor of o?
False
Let m = 788 - -330. Does 35 divide m?
False
Let v(o) = 10*o + 5 - 2*o - 11. Let d be v(6). Let n = 82 - d. Is 10 a factor of n?
True
Let n(i) = i**3 + 3*i**2 - 13*i - 6. Let w be n(-5). Suppose 6*s + 135 = w*s. Is 6 a factor of s?
False
Let v = 3 + -6. Let r = 12 + 10. Does 10 divide (r - (-2 - v)) + 1?
False
Let i = 5445 + -3801. Is 15 a factor of i?
False
Suppose 11*v - 1778 - 257 = 0. Does 37 divide v?
True
Suppose 9*w - 1250 = -w. Is w a multiple of 5?
True
Suppose -10*j = -13*j + 198. Suppose 6*h = 7*h - j. Does 22 divide h?
True
Suppose -3*y - 2*r = -5716, -3*r + 2373 = -5*y + 11925. Is 18 a factor of y?
True
Suppose -458 = -h + 5*c