rue
Let r be 605/88 + 1/8. Suppose 0 = -r*a + 47 + 9. Let d(k) = 3*k**2 - 11*k - 6. Is d(a) a multiple of 14?
True
Let r(z) = -z**3 + 10*z**2 + 10*z. Let l be r(11). Let b(k) = k**2 + 7*k - 15. Let i be b(l). Let n = 14 + i. Is n a multiple of 10?
False
Suppose -2*b - 2099 = 2*b - t, -2093 = 4*b + t. Let x = -276 - b. Does 41 divide x?
False
Let d be (2 - (-10)/(-4))*-12. Suppose h = -5*l - d, -5*l = 5*h - l - 12. Suppose -t + 0*t = -h. Does 3 divide t?
False
Let j = 14349 + -8469. Does 12 divide j?
True
Let f = -90 - -117. Let a = 38 - f. Suppose a*g = 16*g - 525. Is 21 a factor of g?
True
Let h(z) = -2*z**2 - 24*z + 54. Let a be h(-14). Is 6 + 116 - 3*a a multiple of 17?
False
Suppose 727 = -6*n + 5*n - 5*f, -3*n - 2125 = f. Does 4 divide (4/2)/((-14)/n)?
False
Let r be -1 + -2 + 49 + -1. Suppose -598 = -9*s - 391. Let q = r - s. Does 19 divide q?
False
Let b be -34*(-9)/12*24. Let t = b + -276. Does 21 divide t?
True
Let k(c) = -2*c**3 - c**2 - c - 1. Let f(m) = 9*m**3 - 7*m**2 + 17*m + 7. Let x(w) = f(w) + 4*k(w). Does 6 divide x(12)?
False
Let f = -21948 + 58438. Is f a multiple of 89?
True
Suppose 0 = -12*i + 5*i. Suppose -525 = -r - 11*o + 15*o, -2*r + 2*o + 1044 = i. Is 33 a factor of r?
False
Let o be -2 + 1 - (-52 + -3272). Suppose -y - 2*y = -3*h + 2001, 2*y = 5*h - o. Does 50 divide h?
False
Is 13224/(-3)*(-1*1)/(-64 + 66) a multiple of 4?
True
Let t = 18403 - 8525. Is 52 a factor of t?
False
Let o(g) = -3*g**3 + 8*g**2 + 5*g + 4. Let v(k) = 2*k**3 + 8*k**2 - 5*k - 11. Let x be v(-5). Let y be (x/(-24))/((-1)/2). Is o(y) a multiple of 28?
False
Let h = 20658 - 14908. Is 115 a factor of h?
True
Suppose 5*v + 41 = 76. Does 16 divide v/28 - 475/(-4)?
False
Suppose 4*i - 5*w - 3060 - 6383 = 0, -9448 = -4*i + 4*w. Suppose -92*y + 5*l = -97*y + 5920, -i = -2*y - 3*l. Is 50 a factor of y?
False
Does 84 divide 57457/4 - 552/2208?
True
Suppose 47*c = -166974 + 525819. Is c a multiple of 15?
True
Suppose -2*s - 37 = -33. Let b = s - -39. Is b a multiple of 27?
False
Suppose 15*s + 1645 = -3545. Let d = s + 366. Is d a multiple of 5?
True
Let d = 2135 - 559. Let l = d - 888. Does 16 divide l?
True
Let g(u) = u**2 + 13*u + 31. Let j be g(-3). Let y be (-28)/126 + j*130/18. Let f(q) = -q**2 + 8*q + 17. Is 13 a factor of f(y)?
False
Suppose 5*a + 46 = 2*d + a, 2*d - 22 = -2*a. Suppose -d*u + 2100 = -0*u. Is u a multiple of 14?
True
Suppose -5*b = -7 - 3. Suppose -c = -b*c + 34. Suppose -2*q + 120 = 2*g, -c - 94 = -2*g + 2*q. Is g a multiple of 19?
False
Let u(p) = 10*p + 4*p + 5*p - 5*p + 438 + 11*p. Is u(0) a multiple of 25?
False
Is 95 a factor of (102/44 - (-6)/33) + (-1504545)/(-178)?
True
Suppose -5*v - 4670 = 9*d - 10*d, -23230 = -5*d + 5*v. Is 26 a factor of d?
False
Suppose 10*g + 69 = 819. Suppose 5*m - g = 5*n, -n - 5 - 10 = -3*m. Does 33 divide n/(-60) - (-790)/8?
True
Suppose -263 = -2*x - 25. Suppose x*d = 114*d + 2755. Is d a multiple of 29?
True
Is 53 a factor of 5/2 - (0 - 256904/16)?
True
Suppose -18644 = -4*g + 3*a, -3*a - 23302 = 4296*g - 4301*g. Is 137 a factor of g?
True
Let f be 1 + 5/(-7) + (-456)/28. Let c = 0 + f. Is c/(35/(-11) - -3) a multiple of 15?
False
Suppose -3*g + 0*b + 3*b - 3 = 0, -5*b = -3*g - 13. Suppose -m = g*w - 1211, -2*m = 8*w - 6*w - 604. Is w a multiple of 13?
False
Is ((-36707)/22)/(1/(-4)) a multiple of 71?
True
Suppose -189 = -f - 181. Suppose -7333 - 2603 = -f*q. Is 23 a factor of q?
True
Does 63 divide 9/(-48)*-71758 - 132/(-352)?
False
Let p be (-26)/39 + 14/3. Suppose -5*m + t = -0*t + 65, -2*m + p*t = 26. Let f = m - -93. Does 20 divide f?
True
Suppose 4*s = -0*s + 412. Let x = s - -71. Is 8 a factor of x?
False
Let p = 2159 - 1889. Is 5 a factor of p?
True
Suppose 2*b - 5*g = 5102, 4*b - 10307 + 85 = g. Suppose 0 = -7*w + w + b. Does 19 divide w?
False
Let t(k) = -7*k + 361 - 2*k - 384 + 3*k. Is 10 a factor of t(-18)?
False
Suppose -8*m + 14 = -6*m. Suppose m*n - 567 = 112. Is 11 a factor of n?
False
Let g(f) = 8*f - 27. Let p be g(6). Suppose h - p = -22. Is ((h + 2)*1)/(4/160) a multiple of 10?
True
Suppose 3*c - 33 = 3*w, -w - 3*w - 84 = 4*c. Let x be 119/56 + 2/w. Let f(p) = 6*p**3 - p**2 - 5*p + 6. Is f(x) a multiple of 4?
True
Let p(l) = 6*l + 8*l**3 - 12*l**3 + 27*l**2 + 6*l**3 + 25. Let j be p(-14). Let c = -119 - j. Is c a multiple of 34?
True
Let x = 17972 - 14492. Does 4 divide x?
True
Let p = 519 - 383. Let x = p - -61. Is 6 a factor of x?
False
Let q(v) be the third derivative of -3*v**4/4 - 35*v**3/6 - 3*v**2. Does 12 divide q(-10)?
False
Let t(m) = -3*m**2 + 101*m - 44. Let a be t(47). Is a/1*114/(-152) a multiple of 39?
True
Suppose -5*t = -5*c - 459 + 2409, -808 = -2*c - 5*t. Let q = 598 - 593. Suppose -q*p = -c - 446. Does 28 divide p?
True
Let l(h) = h**3 - 14*h**2 + 12*h + 15. Let b be l(13). Suppose -110 = -a + b*j + 340, -4*j = 3*a - 1350. Does 45 divide a?
True
Is 32 a factor of (6 - (1 + 4144))/(35/(-105))?
False
Let b = 35 + -26. Let x(r) = -r**2 - 5*r - 2. Let i be x(b). Let d = 76 - i. Does 42 divide d?
False
Let a(l) = 31*l + 3217. Is a(-42) even?
False
Let z(d) = 11*d**2 + 11*d - 106. Is z(-14) a multiple of 38?
False
Let l = 283 - -62. Is 7 a factor of l?
False
Let z(r) = 4*r - 24. Let g be z(7). Suppose -3*w + 4*t = -g*w - 6, w = -t. Suppose -l - 6*p + 18 = -2*p, 24 = 3*l + w*p. Does 3 divide l?
True
Let g be -1 + (-1)/5 + (-781)/(-55). Suppose 0 = -8*m + g*m - 45. Suppose -y - 1536 = -m*y. Is y a multiple of 50?
False
Suppose g + 51 - 61 = 0. Let u be (1/((-3)/g))/(1/(-6)). Is (u/(-6))/(6/(-72)) a multiple of 12?
False
Let c = -914 + 926. Suppose 2*q = 5*s - 4279, -s - c*q = -8*q - 847. Does 45 divide s?
True
Let n(s) be the first derivative of -s**4/2 + 2*s**3 - 5*s + 36. Let j be n(2). Suppose 219 + 375 = j*m. Does 18 divide m?
True
Let y(o) = o**2 + 4*o + 4. Let v be y(-2). Suppose v = -m + 220 - 178. Does 3 divide m?
True
Let i = -7464 - -11094. Let x(l) = l**2 + 2*l - 25. Let h be x(-7). Suppose h*b = 21*b - i. Is b a multiple of 55?
True
Suppose 31 = 2*x - 3*o, -2*x = -5*x - 4*o + 38. Suppose -d + 23 = 4*s, -4*s = -3*d + d - x. Is 8/d*(-177)/(-4) a multiple of 29?
False
Suppose 0 = -78*b - 3*b + 53946. Is 9 a factor of b?
True
Let p(b) be the second derivative of b**4/2 - 7*b**3/6 - 43*b**2/2 + 263*b. Is p(-4) a multiple of 2?
False
Suppose -136*d - 20 = -126*d. Let j(r) = -72*r - 11. Is j(d) a multiple of 19?
True
Let a(z) = -83*z**3 + z**2 + 2*z + 2. Let u(h) be the first derivative of h**3/3 - 7*h**2/2 - h + 31. Let i be u(0). Is a(i) a multiple of 21?
True
Suppose 6*p - p - 3*p = 0. Let y(b) = 5*b - 220. Let q be y(p). Let w = -59 - q. Does 14 divide w?
False
Let i = 388 + -278. Let h = i - -580. Does 15 divide h?
True
Let u = -15925 - -26817. Is 147 a factor of u?
False
Suppose 60*u - 51898 = -2*s + 56*u, 0 = 5*s + 2*u - 129713. Does 98 divide s?
False
Does 289 divide (2/(-3))/(15/45)*6139/(-14)?
False
Let m(v) = -v**3 + 25*v**2 - 20*v + 32. Let l be m(24). Suppose 1482 = -a - 12*a. Let q = l + a. Is 3 a factor of q?
False
Let v(h) = 23*h**3 + 52*h**2 - 463*h - 5. Is v(8) a multiple of 16?
False
Let n = -347 + 350. Suppose 0 = y - 5*t + n*t - 569, 2*y - 3*t - 1140 = 0. Is y a multiple of 75?
False
Let c(f) = 12*f**2 - 105*f + 2149. Does 19 divide c(51)?
True
Let f(d) = -d - 66. Let v be f(0). Let u = v - -19. Let k = -15 - u. Is k a multiple of 8?
True
Suppose -5*c = -2*w - 1584, 0 = -0*w + 4*w - 12. Suppose 0 = -317*o + c*o - 712. Does 89 divide o?
True
Let f be 8/14 - (2812/(-28) - -2). Let u = 36 + f. Is 15 a factor of u?
True
Suppose 3*c - 16641 = -2*p, c - 17*p - 5573 = -22*p. Does 60 divide c?
False
Suppose 0 = 25*v - 27*v + 10. Let s = 16 - v. Suppose -7*p + 43 = q - s*p, 4*p + 70 = 2*q. Is q a multiple of 5?
False
Let j be (-6)/4 + (-46651)/(-22) + 9. Suppose 1392 = 16*w - j. Is w a multiple of 6?
False
Suppose 0 = 2*v - q + 134, 122 + 16 = -2*v + 3*q. Does 6 divide (-2)/2*1*3300/v?
False
Let c(m) = 2*m**2 - 9*m + 2. Suppose 5*k - 5*o - 165 = 0, -3*o - 74 - 87 = -5*k. Let w = -26 + k. Is 7 a factor of c(w)?
True
Let a be (3 + 1080)/(-3)*-4 - 3. Suppose 0 = g - q - a, 4*g + 5*q = 7*g - 4325. Is g a multiple of 24?
True
Suppose 14*w + 93 = -159. Is w/(-48) - (-21185)/40 a multiple of 11?
False
Let c(o) = -2*o**2 - 23*o - 22. Let n be c(-12