rue
Let a = -5102 - -8411. Does 11 divide a?
False
Let z(n) = 133815*n + 2 - 133816*n + 6*n**2 - 10. Let t = 6 + -2. Does 42 divide z(t)?
True
Let k(y) = 2 + 3*y + 0 - 4*y - 30. Let g be k(-20). Is 6 a factor of 332/6 + g/6?
True
Let i be (-15)/((-28 + 25)*2/(-6)). Let b = -11 + 7. Does 19 divide (-2070)/i - b/(-1)?
False
Suppose -4*g = u - 2025, 169*u = 173*u - g - 8032. Does 20 divide u?
False
Suppose -3*d + 21 = 8*q - 3*q, 0 = 5*q. Suppose -2852 = 3*n - d*n. Suppose 15 = 4*o - n. Does 14 divide o?
True
Let m(u) = -3*u**2 - 326*u + 41. Is 32 a factor of m(-59)?
True
Let r = -15901 + 18981. Is 5 a factor of r?
True
Suppose 22*y = 33*y - 33. Is 29 a factor of ((-13)/(-39) - (-1 + -192))*y?
True
Let p(i) = i**3 + 2*i**2 - 4*i - 5. Let g be p(-1). Suppose 21 = 7*h - g. Suppose z + 17 = 2*z - h*b, -68 = -5*z - 2*b. Is 3 a factor of z?
False
Let c be (-6)/15*-5*(41 - 1). Let a be 24/5 - (-16)/c. Suppose -d + 102 = -a*r, 5*d = r + 2*r + 576. Does 13 divide d?
True
Let v = -4065 + 6796. Is 49 a factor of v?
False
Suppose 0 = -3*f - 5*w - 7, 18*f + 4*w = 20*f - 10. Let t be (-4)/(-3)*81/6. Let z = t - f. Is 17 a factor of z?
True
Let l(u) = 2*u**2 + 23. Let r(y) = -8*y**2 + y - 93. Let j(o) = 9*l(o) + 2*r(o). Let g(a) be the first derivative of j(a). Does 4 divide g(3)?
False
Let a be 64 - (-8)/(-2)*(-8)/(-32). Suppose -875 = 2*i - 7*i. Suppose -5*c + i = h - 121, c - a = -4*h. Does 9 divide c?
False
Suppose u - 3*u - 5*c = -246, -150 = -u - 7*c. Is 4 a factor of u?
True
Let q be (-2)/((-8)/(-58))*-2. Suppose 0 = 4*n + 17 - q. Let a(v) = v**2 - v + 15. Is 3 a factor of a(n)?
True
Let u = -5775 - -7301. Is 6 a factor of u?
False
Suppose 2*v - 69333 = -3*z + 401, 4*z + 5*v = 92995. Is 70 a factor of z?
True
Suppose -39 = 5*p - 3*b, 0 = -2*p - 3*p + 4*b - 37. Let n = p - -18. Is 8 a factor of n?
False
Let z = -3710 + 7770. Is 58 a factor of z?
True
Let d(b) = b**2 + 12*b - 78. Let i be d(-19). Suppose i*c = 38*c + 20366. Is c a multiple of 78?
False
Suppose 0 = -43*g + 52*g + n - 80351, -26779 = -3*g - 5*n. Is 93 a factor of g?
True
Let n be (-1)/2 - 758/(-4). Let q be ((-10)/(-15))/((-636)/162 + 4). Suppose q*l - 99 - n = 0. Is 17 a factor of l?
False
Let l = -164 + 99. Let q = 87 + l. Is -453*((-1)/(-4) + q/(-24)) a multiple of 50?
False
Suppose -m + 5305 = 5*j, -252*m + 250*m = -3*j - 10649. Does 35 divide m?
True
Suppose -10493 = -70*c + 600122 + 335505. Is 84 a factor of c?
False
Let x(t) = t**2 + 13*t + 18. Let l = -19 - -9. Let w be x(l). Does 18 divide 220/3 + w/9?
True
Does 39 divide 1245/(-332) - 33766/(-8)?
False
Let q = -5370 + 11924. Is q a multiple of 226?
True
Let c(h) = h**2 - 5*h - 5. Let y be c(-2). Suppose 16*q = y*q + 861. Is 5 a factor of q?
False
Let k = 2926 + 7579. Does 9 divide k?
False
Let m = -130 + 94. Let g = -21 - m. Is 3 a factor of g?
True
Let z(w) = 2*w + 0*w + 7*w - 4*w - 18. Let l(b) = 16*b + 94. Let a be l(-4). Is 22 a factor of z(a)?
True
Let k be -1484*(3/(-18))/((-13)/(-39)). Suppose -k = 3*f - 10*f. Is f a multiple of 4?
False
Let i = -59235 + 109977. Is 204 a factor of i?
False
Does 44 divide (32/12)/(-4)*401661/(-78)?
False
Let g be 218 + (-8)/(2 + -6). Suppose 5*b - 10 - g = 0. Suppose -n + b = -8. Does 27 divide n?
True
Is 80 a factor of (-32)/(-17 - -16)*745?
True
Suppose 0 = -y, -2*d = -5*y - 0 - 24. Does 58 divide 585 - (92/20 + d/(-20))?
False
Let s(i) = 3*i**2 - 60*i - 258. Is 14 a factor of s(-62)?
True
Let q(n) = n**3 + 4*n**2 - 3*n - 10. Let j be q(-4). Let m(x) = 44*x - 11. Does 12 divide m(j)?
False
Suppose -1845 = -7*m + 934. Let b = -260 + m. Is 15 a factor of b?
False
Let s be ((-2)/4)/(-3 + (-132)/(-48)). Suppose -3*a + 1631 = -0*m + m, -m - 1079 = -s*a. Is a a multiple of 11?
False
Suppose -2*m = 2*b - 44072, 5*m - 3*m + 66103 = 3*b. Is 15 a factor of b?
True
Does 26 divide (-17)/3 + 140/(-105) - -853?
False
Let k(n) = 625*n**2 + 70*n + 587. Is k(-9) a multiple of 43?
False
Suppose 4*l + 12 = 2*z + 4, 4*z = -3*l + 49. Suppose 18*v - z*v = 16. Does 2 divide v?
True
Let y(b) = -2*b - 1. Let c(g) = -2*g**2 + 22*g + 82. Let r(t) = -c(t) - 4*y(t). Is r(-9) a multiple of 30?
True
Let g(q) = -4*q + 44. Let m be g(3). Suppose 35*l - 234 = m*l. Is 5 a factor of l?
False
Let f(c) = -c**3 + 9*c**2 + 12*c + 12. Let p = 280 + -286. Is f(p) a multiple of 31?
False
Let j = -3887 - -4157. Is 221 a factor of j?
False
Suppose 31*f = -12*f + 252149 + 299498. Is f a multiple of 20?
False
Let c = 729 - 1335. Let m = -432 - c. Is m a multiple of 29?
True
Let n(h) = -919*h - 21. Let u(k) = 3677*k + 87. Let v(x) = 9*n(x) + 2*u(x). Is 52 a factor of v(-1)?
False
Let y = -6 - -9. Suppose y*v - 11*v = -24. Suppose -m + 0*m + 188 = 3*i, -5*m + v*i = -904. Does 36 divide m?
False
Let q(i) = -17*i + 2057. Is 119 a factor of q(-5)?
True
Let w be ((-195)/(-52))/((-2)/(-8)). Suppose -2*t + 4641 = w*t. Is t a multiple of 13?
True
Let t(v) be the third derivative of v**5/3 - v**4/24 - 2*v**3/3 + 122*v**2. Is t(-6) a multiple of 38?
True
Suppose -32*o + 97*o - 36*o - 467973 = 0. Does 9 divide o?
True
Suppose -2*i + 8334 = -4*w, 4*w = 4*i - 9973 - 6703. Is 15 a factor of i?
False
Let a be 82*9/7 + 27/(-63). Suppose 101*l + 252 = a*l. Does 3 divide l?
True
Let b(m) = -2*m**3 - 14*m**2 + 16*m + 5. Let j be b(-8). Suppose 5*u + j*t - 2620 = 0, u + 65 = -2*t + 585. Is u a multiple of 9?
False
Suppose -3*h = 4*r - 1383, -505 - 888 = -4*r - 5*h. Let v = r + -52. Is 10 a factor of v?
True
Suppose -2*k + k - z = 213, 10 = -5*z. Let d be k/4 + (-1)/4. Let l = d - -61. Is l a multiple of 4?
True
Let u(k) = 29*k - 132. Let q be u(32). Suppose -3*p + 706 = 4*c - 367, q = 3*c + 4*p. Is c a multiple of 8?
True
Suppose 57*t - 8*t = 9065. Let b = t - 160. Is b a multiple of 5?
True
Is 12 a factor of (11/132*-8)/(-1*(-3)/(-63234))?
True
Let l = -622 + 902. Let t = l - 129. Suppose 5*c - 3*h - 331 = 0, -3*h + t = 2*c + 2*h. Is 15 a factor of c?
False
Does 9 divide 4429 + (1 - (22 + -28)/((-6)/4))?
False
Suppose t = -4*f - 47, 28 = 8*t - 12*t. Let i be 226/(-6) + 2/(-6). Let l = f - i. Does 2 divide l?
True
Let i be 10/(-15) - (-2)/3. Suppose 4*f - 6*f = i. Suppose f = 3*g + 6, 86 = -t + 2*t - g. Is 4 a factor of t?
True
Let w be (-2)/4 - 868/(-8). Let o = w + -72. Let u = -16 + o. Does 15 divide u?
False
Let j be 3594136/780 + 2/15. Suppose j = 139*t - 130*t. Is 32 a factor of t?
True
Let j = 366 - 114. Let b = j + 154. Is 14 a factor of b?
True
Let d = 69 + 35. Suppose -10*t - d = -11*t. Is 18 a factor of t/6 - 2/(-3)?
True
Suppose -4*q - f + 13 = -4, 2*q + f = 11. Suppose -5*r + q*a = -59, r + 5*a - 9 - 14 = 0. Suppose -r*v + 433 + 347 = 0. Is v a multiple of 15?
True
Let z = -2559 + 2850. Is 18 a factor of z?
False
Suppose 12*a + 88269 = 36*a - 70467. Is 19 a factor of a?
False
Let s(h) = -h**3 + 45*h**2 + 134*h - 3213. Does 98 divide s(24)?
False
Suppose -2*a = -7*a - 15, 0 = 4*f - 3*a - 9. Suppose f = 7*v - 10*v - 5*m + 532, -m = -2. Does 19 divide v?
False
Let x(q) = 80*q**3 - 21*q**2 - 85*q - 180. Let g(u) = -16*u**3 + 4*u**2 + 17*u + 36. Let d(y) = 11*g(y) + 2*x(y). Is 29 a factor of d(-3)?
True
Let x(n) = 2*n**2 + 18*n - 39. Suppose 13*t = 10*t - 66. Is 13 a factor of x(t)?
True
Let c(b) = 6*b + 62. Let a be c(-3). Suppose 7*m - 14 = p + 3*m, 2*m - 18 = -5*p. Suppose a = p*o + 8. Is o a multiple of 13?
False
Let v = 35037 + -15615. Is v a multiple of 13?
True
Does 112 divide (4/(-3))/(469936/861630 + 6/(-11))?
False
Let k = 78 + -81. Let c(b) = -b**2 + b + 16. Let d be c(k). Suppose 0 = 4*p - p - w - 377, 5*w + 521 = d*p. Is p a multiple of 31?
True
Let a be 1/4 + 3 + (-60)/48. Suppose -90 = -a*p + w, 5*w - 64 = -2*p + 50. Does 24 divide p?
False
Let n be (-3)/((3 - 6) + 4). Let c = n + 9. Suppose 41 = c*j - 13. Is 3 a factor of j?
True
Let z(o) = -2*o**3 + 2*o**2 - 24*o - 96. Is 4 a factor of z(-12)?
True
Suppose y - 434572 = g, 4*g - 869156 = 3*y - 5*y. Is y/518 + (-6)/(-111) a multiple of 29?
False
Suppose -268*b + 3048 = -292*b. Let z be -2 - (0 + (-225)/1). Let m = b + z. Is 8 a factor of m?
True
Let f = -21 - -156. Let t = f - 51. Is t a multiple of 7?
True
Suppose 15*n + 107*n - 1671400 = 0. Is n a multiple of 88?
False
Suppose 3*o + 2791 = h, 0 = 3*h - 5*o + 387 - 8784. Is h a multiple of 40?
False
Suppose 0 = 3*k, u - 6*k + 2*