0) + 15 - 34694/(-10) a multiple of 102?
True
Let x(n) = -n**3 + 4*n**2 + 5*n + 3. Let i be x(5). Is (-494)/(-4*i/6) a multiple of 11?
False
Suppose 3773 = 7*s - 1715. Is 98 a factor of s?
True
Let o(k) = k**3 + 17*k**2 + 14*k - 17. Let g(c) = 2*c**3 + 32*c**2 + 27*c - 33. Let n(u) = -3*g(u) + 5*o(u). Is 13 a factor of n(-11)?
False
Let l be 81/45 + 6/5. Suppose -f = l*g - 596, -3*g + 2649 = 3*f + 837. Is f a multiple of 74?
False
Suppose -13*p + 720 = -3*p. Let k = -75 + p. Does 13 divide k + (83 - 2/1)?
True
Does 154 divide ((252/15)/(-7))/((-6)/15) + 14786?
False
Suppose 12*z - 5088 = -12*z. Suppose 0 = -6*b + 1000 + z. Is 19 a factor of b?
False
Let p be (141/9)/(1/21). Let i = 352 + p. Does 15 divide i?
False
Let q(f) = 2*f**2 - 12*f + 8. Let m = -58 + 63. Suppose 0 = -2*n + 2*p + 4, 2*n - m*p + 4 + 7 = 0. Is q(n) a multiple of 2?
True
Let z(v) = -v**2 - 10*v + 12. Let p be z(6). Let q = p - 22. Let g = -23 - q. Is 11 a factor of g?
False
Let u = 1440 - -7648. Is 128 a factor of u?
True
Let p(l) = 21*l + 1. Let v be p(-1). Let t be 107 + -109 - (-43)/1. Let a = t + v. Does 17 divide a?
False
Let k = -379 - -648. Suppose -p + 296 = y, 4*y - 30 = -p + k. Is 46 a factor of p?
False
Let b(c) = 740*c**2 - 525*c - 4145. Does 48 divide b(-8)?
False
Suppose -3*f + d = -131, f + 0*f = 3*d + 33. Suppose f = -0*b + 5*b. Let s = b - 0. Is s a multiple of 9?
True
Let z(b) = -191*b**3 + b**2 - 13*b + 12. Let n be z(1). Let d = n + 230. Is 29 a factor of d?
False
Does 18 divide (-213828)/(-33) - (-104)/286?
True
Suppose -20404 = -4*r + 4*f, 36*r + 20419 = 40*r - f. Does 138 divide r?
True
Suppose -31952 = -4*y + 3*z, -4*y + 46*z - 45*z + 31936 = 0. Does 49 divide y?
False
Suppose 72*g = 131778 + 47934. Does 39 divide g?
True
Let c(m) = -4*m + 62. Let v be c(15). Suppose y + 151 = 2*h + v*y, -150 = -2*h - 2*y. Is h a multiple of 4?
True
Suppose -142*h = -140*h - 3*d - 4770, 7157 = 3*h - 5*d. Is h a multiple of 8?
False
Let l(f) = 17*f**2 - 3*f + 12. Let u be l(5). Suppose -7*r + 2898 - 861 = 0. Let o = u - r. Is o a multiple of 46?
False
Let q = -4973 + 5451. Is q a multiple of 2?
True
Suppose 0 = -5*c - u + 469, -5 - 100 = -c - 3*u. Let w = c + -48. Is 9 a factor of w?
True
Suppose -2*f = 2*t - 14374, 7167 = t - 74*f + 70*f. Is t a multiple of 43?
False
Let o = -4627 + 7327. Is o a multiple of 12?
True
Suppose -4*c = -3*w - 6*c, 3*c = -w - 7. Suppose -4*a + 28 = 2*j, 3*a - w*j - 3 = 11. Is a a multiple of 6?
True
Let g(t) = 32*t**2 + 97*t - 78. Let i(q) = 6*q**2 + 18*q - 16. Let d(h) = -2*g(h) + 11*i(h). Suppose -19 + 7 = 2*v. Is 3 a factor of d(v)?
False
Let t be (11/(-33) + 26/6)*623. Suppose 15*d = 568 + t. Does 4 divide d?
True
Let c = 27352 + -12885. Is c a multiple of 37?
True
Suppose -51*c - 99*c = -153000. Is 10 a factor of c?
True
Let x = -7633 - -14835. Is 13 a factor of x?
True
Let s be (-13 + 1 + 0)*(-4056)/96. Let v = 807 - s. Is v a multiple of 12?
True
Let n be 0 - 0 - ((-63)/(-9) + -1275). Suppose 0 = 5*p - 3*j - n, 2*j + 3 = -j. Is 11 a factor of p?
True
Let t be (2/4)/(0 + (-1)/2). Let d be 354/59*t/(2/(-2)). Suppose -d*u + 60 = -u + 5*i, 4*u + 3*i = 45. Is u a multiple of 2?
False
Is 17 a factor of 90206/6 - (-505)/303?
False
Suppose 1319 = -4*x + v + 3645, 3*x = -v + 1741. Let w = x + 295. Is w a multiple of 73?
True
Let k be 7/(-2)*496/217. Is 2 a factor of (-3)/k*1 + (-51476)/(-544)?
False
Suppose 10*m - 62694 = m. Is m a multiple of 51?
False
Does 27 divide (-28)/56 + 12681/6?
False
Let b be 5 - (-4175)/(-20) - 6/(-8). Let c = -42 - b. Is c a multiple of 23?
True
Let r = -778 + 22720. Is r a multiple of 69?
True
Let y(m) = m**2 + 15*m + 9. Let t be y(-16). Suppose 1404 = t*c - 12*c. Does 12 divide c?
True
Let u = -8950 + 23636. Does 4 divide u?
False
Let i(p) = p**2 - 5*p + 20. Let w(a) = -a**2 - 13*a + 14. Let o be w(-11). Suppose y + o = 43. Is i(y) a multiple of 20?
False
Is 3 a factor of (-786)/10*((5 - 9) + -41)?
True
Is (10 - 14) + 888 - (-2 + -4) a multiple of 3?
False
Let j(a) = -65*a**2 - 4555*a + 58. Does 83 divide j(-59)?
False
Suppose -12 = -5*i - d - 5, 5*d = -4*i - 7. Suppose 0 = 2*m - 2*u - 2*u - 54, u = i*m - 54. Is m a multiple of 9?
True
Suppose 3*u = 2*v - 611, -2*v - 7*u = -2*u - 635. Let p = v + -121. Is 6 a factor of p?
False
Suppose 0 = -23*y - 2696 - 7861. Let c = -425 - y. Is c a multiple of 10?
False
Suppose 4*g - j - 19 = -3, -3*g + 2*j + 7 = 0. Suppose -g*h - 5*d + 180 = 0, 3*h + 2*d + 3*d - 100 = 0. Does 20 divide h?
True
Suppose 3*n - 6940 = -2*x + 6381, 5*x + 4*n - 33278 = 0. Is 95 a factor of x?
True
Let c(h) = 5*h - 79. Let n be c(13). Is (-2 - -24)*(-7)/n a multiple of 2?
False
Let w(f) = -2*f**3 - 39*f**2 - 8*f - 26. Is w(-22) a multiple of 101?
False
Suppose -72*x - 25033 = -86377. Is x a multiple of 137?
False
Let p = -3379 + 23530. Is 103 a factor of p?
False
Is (-550)/(-5) + 4/(-9 + 5) a multiple of 11?
False
Let g = -77 - -80. Suppose -g*u = 4*i - 60, 39 = u - 0*u - 5*i. Suppose 4 = -2*w + u. Does 2 divide w?
True
Suppose 4*u + 2*v = -u - 283, 3*u + v = -170. Let t = u - -176. Is 17 a factor of t?
True
Let v = 882 + 1894. Is v a multiple of 10?
False
Suppose -1667*w + 1655*w = -146496. Does 26 divide w?
False
Is (4/(-50) - 908/(-100)) + 10555 + -13 a multiple of 252?
False
Is 32 a factor of (-4 + (-1353)/(-12) + (-3)/(-12))*45?
False
Let a = 2054 + -1973. Does 9 divide a?
True
Let k be 228/(-532) + (-90)/(-14). Suppose 0 = 2*b + 4*s - 12, -2*b - 5*s + 2 + k = 0. Is 3 a factor of b?
False
Let m(d) = 7*d**2 - 102. Does 173 divide m(-29)?
False
Let b(f) = 26*f + 38. Let k be b(5). Suppose 2*n = 5*g + k + 222, 0 = -g. Does 13 divide n?
True
Does 63 divide (15*(-169)/156 + 4/2)*-924?
True
Let j(u) = -u**3 + 8*u**2 - 9*u. Let c be j(6). Let w = -32 + 18. Let o = c - w. Does 8 divide o?
True
Suppose -a = l - 186, l - 86 = 5*a + 118. Is 4 a factor of l?
False
Let h = -27 + 27. Let z = -4 - h. Is 20 a factor of -17*(-1 - (13 + z))?
False
Let c(g) = 3*g**2 + g + 1. Suppose -m + 1 + 13 = 5*h, -m + h = 4. Let q be c(m). Suppose q*a + 3*a - 300 = 0. Is a a multiple of 10?
True
Let y(k) = 2*k**2 - 14*k + 13. Let m = 46 + -75. Let q be m/(-4) + 1/(-4). Does 8 divide y(q)?
False
Let k(a) = 2*a - 40. Let n be k(11). Let y(r) = -3*r - 49. Let f be y(n). Suppose -f*h = -285 + 70. Is 12 a factor of h?
False
Let p = 597 - -123. Let u = 124 - 120. Suppose 8*n = -u*n + p. Is 15 a factor of n?
True
Suppose 0 = -4*m - 5*k + 105, -k - 2*k = m - 35. Suppose 27669 = m*t + 1429. Is t a multiple of 13?
False
Let h(p) = p**3 - 4*p**2. Let f be h(4). Let m be 9/((-9)/(-145)) + -7. Suppose f = 5*r - 4*t - m, 5*r + 3*t - 196 = -72. Is r a multiple of 11?
False
Let f be 2/(10/4 - 2). Suppose 0*o - 24 = -f*o. Suppose -4 = o*t - 874. Is t a multiple of 26?
False
Does 24 divide (-37 - (-1232)/33) + ((-1383540)/9)/(-4)?
False
Suppose u + 3*b = -0*u + 35, -50 = -2*u - 2*b. Suppose -d - 3 = 2*k - u, 61 = 5*d + 4*k. Suppose 0 = d*a + 2*a - 539. Is a a multiple of 20?
False
Let x(h) = 18*h**3 - h**2 + 3*h - 2. Let a be x(1). Suppose -5488 = -a*n + 2*n. Does 21 divide n?
False
Does 20 divide 1465 - (5 + (-20)/5 - 3/1)?
False
Let h(c) be the third derivative of 0*c + 0 - 10/3*c**3 + 7/24*c**4 - 13*c**2. Is h(5) a multiple of 2?
False
Suppose -4*z + 153 = g + 26, -190 = -5*z + 5*g. Suppose -5*p = 5*k + 95, 4*k - 2*k + p = -z. Is 19 a factor of (-1547)/k + (-2)/4 - -4?
True
Let n(b) = 70*b**3 + 1. Let q be n(1). Let k = 21 + 61. Let c = k + q. Does 35 divide c?
False
Let f = 38617 - 16309. Is f a multiple of 39?
True
Let q = -110 - -144. Does 12 divide 9*(q + 1/(-1)*1)?
False
Let o = -527 + 336. Let x = -182 - o. Is 3 a factor of x?
True
Suppose 2*v + 4*j = 3*j + 8, -10 = 5*v - 5*j. Suppose -120 = -k - 2*x, -k - v*k + 410 = -4*x. Does 13 divide k?
True
Let v = 454 + -85. Suppose 0 = 5*g - 3*z + 573, g - 129 = 2*g + 3*z. Let y = v + g. Is y a multiple of 15?
False
Let p be (-10)/12 - (-100)/120. Is 9*(p - (-25)/15) a multiple of 15?
True
Let n = 8564 + -8004. Is n a multiple of 40?
True
Suppose 0*m - 3*m = 0. Suppose m = -0*x - 11*x. Suppose x = 4*l + z - 0*z - 84, 4*z = -16. Is l a multiple of 3?
False
Does 11 divide 2/8 + 9*5669/12?
False
Suppose 0 = 161*c - 159*c - 294. Let h = 299 - c. Does 4 divide h?
True
Let f = -10432 - -1984