vide d?
True
Let d = -13 + 11. Let t be (-8 + 8)/(d - 0). Suppose -3*j - 7 = 4*o, t - 10 = -2*j + o. Is j a multiple of 3?
True
Let r(b) = 31*b**2 + 2*b - 5. Let l be r(3). Suppose -7*u = -11*u + l. Does 10 divide u?
True
Let a be 14/35 + (-2)/5. Suppose -4*i + 390 = -a*i - 2*m, -2*m = -5*i + 487. Is 8 a factor of i?
False
Let b = 758 - 293. Suppose 2*o - 466 = -4*j - 0*o, -3*o + b = 4*j. Is 13 a factor of j?
True
Let v = -218 - -419. Suppose -8 = -2*p, 0 = 5*q + 4*p - 80 - v. Is q a multiple of 9?
False
Suppose 21*d + 9*d = 24780. Does 61 divide d?
False
Suppose 69208 = 29*c + 14891. Does 8 divide c?
False
Suppose -178 = 3*a + z, -3*z - 229 = 4*a - 0*z. Let o = a - -93. Is o + (1 - (1 + 3)) a multiple of 5?
False
Let y(u) = -2*u + 3. Let j be y(0). Suppose 0 = -6*i + 2*i + 16, 2*i = -j*l - 4. Is (-2)/l*(3 + 93) a multiple of 16?
True
Let s(i) be the second derivative of -25*i**5/4 + i**4/12 + i**3/2 + i**2/2 + 8*i. Let k be s(-1). Suppose 4*u - k = -32. Does 23 divide u?
True
Let i(z) = -2*z + 10. Let n be i(6). Let j be -3 + 1/(n/(-66)). Suppose -b - j = -m, m - 68 = -m - 2*b. Is 16 a factor of m?
True
Let y(z) = z**3 + 10*z**2 + 14. Let n be y(-10). Suppose -18*r + 48 = -n*r. Suppose 2*l = 42 + r. Is l a multiple of 9?
True
Let j be (-1)/(-1*(-4)/(-36)). Let y(u) = u**3 - 7*u**2 - 9*u + 4. Is 12 a factor of y(j)?
False
Let l = -75 - -153. Suppose -16*x + l = -242. Does 20 divide x?
True
Let m(w) = 2*w + 4. Let f = -12 + 4. Let g be m(f). Is (1/(-2))/1*g a multiple of 2?
True
Suppose -2*k = 3*g - 4*k - 344, -1 = k. Let a = g - 76. Is 7 a factor of a?
False
Suppose 3*i = -7*i - 50. Let z(c) = c**3 + 6*c**2 + 4. Does 29 divide z(i)?
True
Suppose -2*l + 2 = 2*g, -3*g + 13 = 5*l - 6*g. Suppose 5*s - 361 = 5*k - l*k, 4*s - 3*k = 290. Does 3 divide s?
False
Let b = 106 + -47. Is b a multiple of 11?
False
Suppose 5*r = -a + 203, 0*r - 2*a - 209 = -5*r. Suppose 5*i - r = 84. Let y = i - 6. Is 7 a factor of y?
False
Suppose a = -2*n + 929, 5*n + 1361 = 3*a + 3678. Does 35 divide n?
False
Let v(s) = 9*s - 9. Let o be (1*(-11)/2)/(1/(-2)). Does 13 divide v(o)?
False
Let j(k) = k**3 - 7*k**2 + 2*k - 17. Let h be j(7). Is 18 a factor of 4/h*405/(-10)?
True
Is 147 a factor of ((-119583)/(-6))/9 + 5/2?
False
Let l(v) = -89*v + 35. Is 10 a factor of l(-5)?
True
Let w(h) = 20*h**2 - 3*h + 21. Does 26 divide w(-7)?
False
Let w = 418 - 199. Is 48 a factor of w?
False
Let c(t) = -3*t - 40. Suppose 0 = 9*f - 7*f. Let z be c(f). Is 25 a factor of (-4)/(-10) - 2784/z?
False
Let b = -21 + 38. Let u(m) = 5*m - 22. Does 9 divide u(b)?
True
Let d = -267 + 337. Is d a multiple of 10?
True
Suppose -3*u + 3 = -2*t + 5*t, 2*u = 4*t + 20. Let a be 4 + -1 + 544 - -1. Suppose a = u*h + h + o, -5*o + 210 = 2*h. Is h a multiple of 29?
False
Let i(u) = u**3 + 11*u**2 + 9*u - 12. Let w be i(-10). Let g(h) = -2*h**3 + 2*h**2 - 2*h - 4. Does 12 divide g(w)?
True
Suppose 0 = 2*k + k + 5*p - 19, 0 = -3*k - 3*p + 27. Let z = 41 - k. Is 7 a factor of z?
True
Let l = 700 - 400. Does 20 divide l?
True
Suppose -5*y + 783 = -32. Does 6 divide y?
False
Is 26 a factor of (-47780)/(-80) - (-3)/4?
True
Let u be -2*(-261)/12*16. Let j be (u/18)/(4/6). Suppose -4*a - j = -4*y + 14, -5*y + 66 = 3*a. Is y a multiple of 13?
False
Suppose -3*w + 2*w = 5*d - 4213, 0 = 2*d - 5*w - 1696. Suppose 5*i = 5*f - 1045, 4*f + 2*i = -i + d. Suppose -5*v = -f - 35. Does 17 divide v?
False
Let s(v) = -v**3 - 5*v**2 - 5*v - 2. Suppose 3 = -4*k - 13. Let l be s(k). Suppose 3*n + 4*y = 56, -2*y = l*n - 4*y - 28. Does 4 divide n?
True
Suppose 560 = 5*r - p + 19, -4*r = -2*p - 434. Does 18 divide r?
True
Suppose -3*h + 19 + 2 = 3*g, 2*g - h = 5. Suppose -g*x + 28 + 16 = 0. Let l = 4 + x. Is 2 a factor of l?
False
Does 5 divide (-3 - 3)/(-6) - -187?
False
Let s = 34 + -14. Suppose 30 = -5*u - s. Is ((-102)/4)/(5/u) a multiple of 17?
True
Suppose 6230 = 5*s + 45*c - 40*c, 0 = -s + 4*c + 1271. Does 72 divide s?
False
Let a be (-30)/20*(-20)/6. Suppose 9*q = a*q + 504. Does 42 divide q?
True
Let g(i) = -3*i - 7. Let z(q) = -q**2 - 16*q - 7. Let t be z(-15). Suppose -2*x = -3*x - t. Does 17 divide g(x)?
True
Suppose -6 + 30 = 6*a. Suppose -277 = -3*w + 4*h, -2*w - a*h + 178 = -0*w. Does 29 divide w?
False
Let q(a) = -59*a - 898. Does 6 divide q(-30)?
False
Let n = -99 - -226. Does 9 divide n?
False
Let k(c) = -3*c**2 + 5*c - 2. Let b be k(4). Let o be (-70)/b - 2/6. Suppose x + o*x = 30. Does 5 divide x?
True
Let z(d) = 148*d**3 - d**2 + 1. Let y be z(1). Let b = -102 + y. Is b a multiple of 11?
False
Suppose -5*g = -4*g + s - 7, 0 = 2*g + s - 10. Suppose g*c - 410 = -242. Is 8 a factor of c?
True
Suppose 3*y - 107 = 2*z, 2*y + 3*z = -2*y + 120. Is 15 a factor of 5 + y/(-6) - 231/(-2)?
False
Suppose -2009 = -3*h - 4*h. Let x = -127 + h. Does 20 divide x?
True
Let p(d) = 10*d + 111. Let j be p(-12). Let y(f) = -5*f**2 + 4*f**2 + 10*f + 11 + 3*f**2. Is y(j) a multiple of 29?
False
Let v be 7 + (1 - 1) - (18 + -18). Let s(h) = -h**3 + 10*h**2 - 6*h + 15. Is s(v) a multiple of 7?
False
Let i = -17 - -16. Does 4 divide i + 4*(-9)/(-4)?
True
Suppose 29*b = -43*b + 59184. Is b a multiple of 84?
False
Let z = -32 - 11. Let g = z - -76. Is 11 a factor of g?
True
Suppose 0 = -5*u + 2*w - 15, -4*u = -3*w + 9 + 10. Let j be 4 - (-3 - u - -1). Let i = j + 11. Is i a multiple of 8?
True
Suppose -17*t + 209 = -3786. Is 47 a factor of t?
True
Let g be ((-1)/2)/((-3)/6). Let u(i) = 7*i. Let s be u(g). Let b = s - -4. Does 3 divide b?
False
Let r = 7095 - 4455. Suppose 5*m = -6*m + r. Does 15 divide m?
True
Let g(k) = -k**2 - 5*k. Let x be g(10). Let u = -70 - x. Does 8 divide u?
True
Suppose h - 4*h - 102 = 0. Let d = -108 - -60. Let p = h - d. Is 7 a factor of p?
True
Let w = 187 - 84. Suppose s + 640 - w = 5*f, -f + 4*s + 96 = 0. Is f a multiple of 18?
True
Let q(a) = 3 + 106*a - 27*a - 5 + 1. Is 21 a factor of q(1)?
False
Let g(q) = 2*q**3 + q**2 + q. Let w be g(-1). Let z be (-4)/w*(-1)/(-2). Suppose -30 = -2*c + 3*p, 67 = 5*c - 4*p - z. Does 12 divide c?
True
Suppose -5*r + 426 = 3*y, r - 78 = 6*y - 3*y. Does 10 divide -35*3/(r/(-40))?
True
Suppose 2 = 5*m - 2*m + 2*u, -3*u = -m + 8. Does 28 divide 1*(-3 + m)*-84?
True
Does 38 divide -14 + 8 - (-696)/2?
True
Does 38 divide (9 + 3471/(-12))/((-2)/32)?
True
Let a = -336 - -695. Is 44 a factor of a?
False
Suppose -3*m = -i + 19, -3*m - 17 + 2 = 0. Suppose -3*u - i = -10. Is 5 a factor of 6 - -2 - (u - 4)?
True
Let l = -474 + 721. Is 13 a factor of l?
True
Let o = 1936 - 1306. Is 5 a factor of o?
True
Suppose 5*x - 10 = 2*b, -2*x + 8*b = 3*b + 17. Suppose -2*h + 0*c - 2*c = -190, -c - 385 = -x*h. Does 32 divide h?
True
Suppose -5*p + 3 = 3*r, -2*p + 4 + 0 = 4*r. Suppose -5*f + 29 + 226 = p. Is f a multiple of 17?
True
Let a(p) = -8 + 9*p**2 - 146*p + 8*p**2 + 72*p + 68*p. Is 8 a factor of a(-2)?
True
Let n(h) = 89*h**3 + h**2 + 7*h - 15. Is 13 a factor of n(2)?
True
Suppose 40*p = 36*p + 792. Does 22 divide p?
True
Suppose -3*o = -147 - 1437. Is 3 a factor of o?
True
Let s = 85 - -49. Is s a multiple of 2?
True
Let z be -73 + (-3 - (-5 + 1)). Is 11 a factor of (-4 - -2)*(z + -14)?
False
Let l = 5 + -14. Let c be -3 + 88 - l/3. Suppose 3*k - c = -7. Does 9 divide k?
True
Let t(z) = 12*z**3 + 176*z**2 - z + 2 - 176*z**2. Is 3 a factor of t(1)?
False
Let k = -372 - -1261. Is 28 a factor of k?
False
Let p(z) = z**2 - 10*z + 1. Let q be p(10). Does 16 divide (129/(-6))/(q/(-2))?
False
Let y(r) = r**3 + 10*r**2 + 13*r + 7. Let n be y(-6). Let c = n - 52. Is c a multiple of 21?
True
Suppose -c = -2*u - 27 + 110, 5*c + 400 = -5*u. Let i be ((-13)/13)/(1/c). Suppose -2*m = -m + 3*h - i, 0 = 5*m + 4*h - 383. Is 25 a factor of m?
True
Let v(d) = 2*d**3 + 33*d**2 + 38*d + 2. Is 22 a factor of v(-12)?
False
Let a be (18/(-12))/((-1)/(-10)). Let g = a + 36. Does 7 divide g?
True
Suppose -4*c + 0*o + 788 = -5*o, -o = 4*c - 764. Suppose j = -2*j + l + c, 2*j - 5*l = 128. Does 16 divide j?
True
Let x(k) be the first derivative of -k**2/2 + 7*k + 1. Let r be x(3). Suppose -84 + 24 = -r*f. Is f a multiple of 5?
True
Suppose 5*j = -249 - 11. Let y = j + 60. Is y a multiple of 8?
True
Let d(v) = v - 3. Let i be d(7). Suppose 0 = 2*o - 2, -i*k + 3*o = -278 - 131. Is k a multiple of 34?
False
Suppose 11*