1 divide j?
False
Let k = 146 - 137. Suppose -k = -3*z, -3*z + 4*z = -w + 1. Does 8 divide (2/w)/(14/(-1582))?
False
Let o(k) = -3*k**2 - 9*k + 15. Let u be o(-8). Let n be -1*(-95)/10*2*7. Let j = u + n. Is 9 a factor of j?
False
Suppose 26332148 = 783*p + 7134554. Does 46 divide p?
True
Suppose -12725 = -100*l + 115275. Is l a multiple of 54?
False
Let u = 114 - 103. Suppose -304 = 7*v - u*v. Suppose -72*p - 252 = -v*p. Is p a multiple of 9?
True
Let i = -4050 + 4142. Does 7 divide i?
False
Let x(i) = 2*i**3 - 4*i**2 + 9. Suppose -180 = 3*u - k, -4*u - k - 3*k = 256. Let h = 67 + u. Does 12 divide x(h)?
False
Let m(i) = 69*i + 50. Let a(g) = -23*g - 17. Let u(x) = 8*a(x) + 3*m(x). Let h be u(8). Suppose 0 = 3*c + 6*c - h. Is c a multiple of 11?
True
Let i be (4/(-6))/((-36)/54). Suppose -f + i = -2. Suppose 5*r + 21 = f*w + 96, -3*w = -r + 3. Is r a multiple of 18?
True
Let a(s) = 221*s + 6163. Does 27 divide a(-27)?
False
Let x be 20/12*(-6)/(-5). Suppose -x*g = -7*g + 750. Is 15 a factor of g?
True
Suppose 248 = -4*d - 3*z - 60, -2*d - 3*z = 148. Let j = d - -136. Does 8 divide j?
True
Suppose 29*l = 24*l + 5. Does 3 divide -1 + l - 0 - (259 - 382)?
True
Let a = -6998 - -10088. Is a a multiple of 103?
True
Let j = -1240 + 20655. Is j a multiple of 16?
False
Let a = 15954 + -5710. Is 13 a factor of a?
True
Let b(q) = 23*q + 7. Let i be b(-7). Let a = i - -381. Does 7 divide a?
False
Suppose -2*w = -12 - 4. Suppose -w*i = -4*i - 28. Suppose i*f - 264 = 4*f. Does 17 divide f?
False
Is 7 a factor of 12/(-48) - ((-17498)/4)/((-18)/(-45))?
False
Suppose -3 = 2*l + 5*s + 32, 4*l - 5*s = -55. Let i be 2/l - ((-4)/30 - -4). Let w(n) = -n**3 + 3*n**2 + 9*n + 1. Does 7 divide w(i)?
True
Let v(u) = 9*u**3 - 6*u**2 - 19*u + 1. Let j be v(-7). Let b = j - -4749. Is b a multiple of 50?
False
Let f = 4418 + -1938. Does 16 divide f?
True
Suppose -4*i + 1447 = -5*p, 4*p = -3*i - i + 1456. Let a = -168 + i. Is a a multiple of 13?
True
Let d be 69363/(-14) - -2 - 2/(-4). Does 32 divide (d/(-14))/4 - (-12)/21?
False
Let i(d) = 52*d**2 + 361*d + 30. Is i(-20) a multiple of 110?
False
Let t = 47 + -34. Suppose -4 = t*y - 82. Suppose -2*l - 5*k + 50 = 0, y*l + k = l + 125. Does 15 divide l?
False
Let m be 176/40 - 3/(-5). Suppose 2*k + 4 = m*s - 2, -2*k = 3*s - 10. Suppose w - 90 = s*h, w - 79 - 13 = 4*h. Does 11 divide w?
True
Suppose 3*p + 2*z + 2884 = 8459, 4*p - 5*z = 7418. Suppose -3*n - g + p = -2834, n = -5*g + 1587. Does 18 divide n?
False
Let h = 33 + -56. Let p = h - -153. Is 48 a factor of p?
False
Let y(j) = 1863*j + 983. Is y(4) a multiple of 2?
False
Let j = 1468 - 68. Suppose -j = -3*k + 4*m, 5*k - 2322 = -0*m + m. Does 16 divide k?
True
Let b(i) = -i**3 - 20*i**2 + 34*i + 44. Suppose -396 = 22*d - 4*d. Is 44 a factor of b(d)?
True
Let g = 16201 - 16162. Is g a multiple of 13?
True
Is 84 a factor of (2 - (-40477)/2) + (2 - 21/6)?
False
Let j(p) = p**2 + 36*p + 523. Is 10 a factor of j(-26)?
False
Let i = -3723 + 9741. Does 8 divide i?
False
Let c be (-6)/(-9) + (-2)/3. Suppose -9*r + 3*r + 24 = c. Suppose -38 = -f - 7*x + 3*x, -r*f + 3*x = -114. Is 15 a factor of f?
True
Suppose 5*k = -25, 7*q - 6*q - 89 = k. Let j(f) = f**2 - 2. Let x be j(4). Suppose 17*g = x*g + q. Does 14 divide g?
True
Suppose -5*u + 3*d = 1316 - 12890, -2302 = -u - d. Is 11 a factor of u?
True
Let l = 1732 + -646. Suppose 47*p = 41*p + l. Is p a multiple of 19?
False
Is 36/8*(-25194)/(-13) a multiple of 149?
False
Is (-14394457)/(-665) - 2/20*8 a multiple of 195?
True
Let v(q) be the second derivative of q**4/3 - q**3/6 + 27*q**2/2 - 2*q + 31. Does 11 divide v(-5)?
True
Let m = -531 + 1064. Is 24 a factor of (m/(-82))/(1/(-48))?
True
Let f(c) = c**3 - 8*c**2 - 8*c - 24. Let v be f(9). Is 6*(-56)/v*(3 - -7) a multiple of 96?
False
Let r be (-1)/(-8) + 28253/152. Let v = r + -115. Is 13 a factor of v?
False
Let h = -580 - -583. Is 2 a factor of 20 - 32/(1 + h)?
True
Suppose 8 = 2*k, 2*u - 3*u = -4*k + 8. Suppose -27*f = u*f - 14630. Is f a multiple of 22?
True
Is 51 a factor of (-68291)/(-13) + ((-4)/117)/(358/1611)?
True
Let v = -12088 - -28334. Does 32 divide v?
False
Suppose -27*d + 29*d - 9251 = -y, 3*y - 27793 = 2*d. Is 47 a factor of y?
False
Let l(v) = -5*v + 2. Let t(g) = 16*g - 8. Let k(s) = -10*l(s) - 3*t(s). Let y = -1 + 3. Does 4 divide k(y)?
True
Suppose 0 = 53*f + 1288 + 991. Let b(a) = 12*a + 3. Let c be b(6). Let z = f + c. Does 8 divide z?
True
Suppose 205056 = -109*m + 157*m. Is 12 a factor of m?
True
Suppose -17*m + 340 = -12*m. Let v = m - 60. Let z(n) = 7*n + 41. Is z(v) a multiple of 15?
False
Suppose 0 = 2*r + 4*x + 10 - 30, 4*x = -r + 10. Is (3 - (r + -5))*37/(-2) even?
False
Suppose -2*l = 5*q + 21, -3*l - 5 = 2*l + 3*q. Let w be (0/(-3) - (-3 + l))*26. Let v = w - 14. Is v a multiple of 4?
True
Is 16 a factor of (951720/(-1120))/(6/(-224))?
False
Suppose 25 = 10*k - 45. Let g(f) = -f**3 + 11*f**2 + 8*f - 5. Is g(k) a multiple of 13?
True
Suppose -4*s - 2*z = -135140, -121*z = -s - 120*z + 33797. Does 7 divide s?
True
Let c = 29 + -90. Let x = c - -134. Is x a multiple of 14?
False
Suppose -9*w - 130 = -481. Let o be (65/(-2))/(1/(-2)). Let j = o + w. Does 21 divide j?
False
Does 47 divide (-1746850)/(-140) - (1 - 3/2)?
False
Let o(f) = -1210*f + 2850. Is 12 a factor of o(-9)?
True
Let b(u) = u**3 + 3*u**2 + 2*u + 6. Let t be b(-3). Suppose 0*q + 4*q + a - 60 = 0, -4*a + 2 = -q. Suppose t = -10*p + q*p - 212. Is p a multiple of 31?
False
Suppose 105*k - 17*k - 151184 = 0. Is 13 a factor of k?
False
Suppose 10 = -t - 5*m, 5*t - 15 = 3*m + 19. Suppose -3*f + t*s + 621 = 0, 5*f - 2*s - 1069 = -5*s. Is 13 a factor of f?
False
Let n be (2*-3)/((-2)/4). Suppose 0 = -7*s - 27*s - 238. Does 2 divide 1/((-11)/n - s/7)?
True
Suppose 0 = -4*x + 8, -4*o + 7*x = 2*x - 86. Let g be (-6)/o*-10*-122. Is -3*3/(-9) - g a multiple of 17?
True
Suppose 0 = 4*v - 3*v, 0 = i - v. Suppose i = -2*c - d + 8, 2*d - 4 = -c - 0*d. Suppose -c*f - 5*g = -419, -9 = 6*g - 9*g. Is 22 a factor of f?
False
Let s be 2/10 + (-350)/(-125). Is 5 a factor of (90/4)/(s/6 + 0)?
True
Suppose -80 = -11*k + k. Suppose -735 = -k*q + 585. Does 6 divide q?
False
Let y(j) = -j**3 + 23*j**2 + 70*j + 262. Is 12 a factor of y(-17)?
True
Let m be 465/(-165) - 4/22. Let k be m/9 + 26/6. Suppose 0 = k*w - w + 9, -54 = -2*q + 4*w. Is q a multiple of 2?
False
Is (-184954)/33*((-9)/2)/3 a multiple of 22?
False
Let z(v) = -v**2 + 11*v + 27. Let q = 2 - -9. Let j be z(q). Suppose -26*t + 27*t - j = 0. Does 27 divide t?
True
Let q(g) = -g**3 + g**2 - 7. Let t be q(0). Let o = t - 35. Let y = -24 - o. Is 3 a factor of y?
True
Suppose -5*a + 18*a = 1122 + 16610. Is a a multiple of 18?
False
Let p(b) = -b**2 + 24*b - 59. Let u be p(23). Is 10 a factor of 48/u*(-555)/2?
True
Let m(d) = -d**3 - 13*d**2 - 11*d + 14. Let y be m(-12). Let b be y*2 - 9/3 - -10. Suppose b + 79 = 3*t. Is t a multiple of 15?
True
Suppose 0 = 76*c - 79*c + 9084. Suppose -4 = 18*p - c. Is p a multiple of 24?
True
Let u(p) = p**2 - p + 3. Let t be u(2). Let r be 1 - (t + -7)/(-2). Suppose 20 = -5*g, 0 = 2*l + g - r*g - 416. Is l a multiple of 14?
True
Suppose -4*r + 4666 = m, -1973 = -5*r - 4*m + 3865. Is 11 a factor of r?
True
Suppose -17*g - 2*c = -13*g - 44730, 0 = -4*g + c + 44715. Does 13 divide g?
True
Let p(g) be the second derivative of -29*g**3/6 - 47*g**2 - 4*g + 8. Is 51 a factor of p(-5)?
True
Let y(u) = 323*u**2 - 44*u - 28. Is y(-7) a multiple of 8?
False
Let w(d) = 5*d - 3. Let l(u) = 27*u - 16. Let i(r) = 2*l(r) - 11*w(r). Let v be i(-4). Suppose 40 = v*z + 4*o, 0*z + 3*z - 56 = 4*o. Is z a multiple of 4?
True
Let s = -2128 + 29920. Is 18 a factor of s?
True
Let b = 3721 - 1789. Does 92 divide b?
True
Let l = 1472 - 905. Let z = l + -205. Suppose 7*u + 19 = z. Is 7 a factor of u?
True
Suppose 0 = 3*n + 2*l + 266 + 171, -4*l = -4*n - 576. Let r = 231 + n. Let j = -33 + r. Is 17 a factor of j?
False
Is 11 a factor of (3/4 - 10/(-40))/(2/50744)?
False
Let m = -862 + 660. Let g be ((-302)/(-3))/(1/(-3)). Let b = m - g. Is 10 a factor of b?
True
Let y(f) = 5*f - 14. Let k be y(5). Let b(c) = c**2 + c - 11. Let a(p) = -4*p**2 - 2*p + 33. Let q(n) = -2*a(n) - 7*b(n). Does 9 divide q(k)?
True
Let m = 43 - 41. Suppose -m + 8 = o. Let