2 + u. Is p(8) a multiple of 27?
True
Let s be 26*5*8/(-8). Let h = s + 51. Let y = h - -148. Does 10 divide y?
False
Suppose 7*u + 35 = 8*u. Let y = -33 + u. Suppose -3*h + 2*h + 50 = -w, -3*h - y*w + 150 = 0. Is 5 a factor of h?
True
Let z be 86/16 - -5*9/(-120). Does 22 divide 1761/z + 36/(-180)?
True
Let g be 6 + 1*(-5 + 3). Suppose -8 = 4*h + 2*w, -g = 2*h + 2*w + 3*w. Is h/(-8)*2 - (-4375)/70 a multiple of 13?
False
Suppose 2*u = -3*i + 27083, 6*u - 38*i + 36*i - 81282 = 0. Is 73 a factor of u?
False
Suppose 9*w - 7*w - 322 = 0. Suppose 3*i = -20 + w. Suppose 0 = 7*r - i - 23. Does 5 divide r?
True
Let l(p) = 137*p - 57. Let i(m) = 206*m - 85. Let n(o) = 5*i(o) - 7*l(o). Let c be n(8). Does 18 divide c/6 - (-9)/(-27)?
True
Suppose -13*f = -8*f - 45. Suppose -940 = -10*r + f*r. Suppose -8*u + r - 68 = 0. Is 9 a factor of u?
False
Let o(g) = -g**3 + 10*g**2 + 32*g - 83. Is o(6) a multiple of 11?
True
Let a = 188 + -184. Suppose 0 = 3*c - 18 - 3. Suppose -a*g + 693 = c*g. Does 9 divide g?
True
Let g be 161 - (3 - 5)*-3. Suppose 7*y - 139 = g. Is 6 a factor of y?
True
Suppose 0 = w - 4*w - 12, -2*w = -5*t + 18. Suppose -6 - 44 = t*i. Let h = i + 169. Does 36 divide h?
True
Suppose 5*y = -3*t + 11950, -17*y + 9587 = -13*y - 3*t. Is y a multiple of 3?
False
Let n(l) = 25*l + 119. Let d be n(-5). Let i(k) = k**3 + 6*k**2 - 9*k - 19. Is 4 a factor of i(d)?
False
Suppose 2*c - 20356 = 35789 - 9143. Does 54 divide c?
False
Suppose 81 = -3*c - w, 0*w - 4*w = 2*c + 44. Let k(s) = -s**2 - 35*s - 181. Is 8 a factor of k(c)?
False
Suppose 0 = -0*f + 4*f + 12, -5*l - 67 = 4*f. Does 18 divide l/33 - (-2)/(12/662)?
False
Let d = 20465 + -9629. Is d a multiple of 7?
True
Suppose -5*j = 196 - 1246. Let k be j/((-5)/5*3/2). Is 16 a factor of (1 - (-18)/(-10))*k?
True
Suppose -10*s = -29 - 21. Suppose -3*v = -s*l + 1140, -4*v - 735 = -4*l + 177. Does 12 divide l?
True
Let g(h) = 1. Let t(p) = -p**3 + 16*p**2 - 11*p - 11. Let k(l) = -3*g(l) + t(l). Let x be k(14). Let f = x + -125. Is 11 a factor of f?
True
Let b be (-4)/18 - 10/(-45). Let y(p) = -28*p**2 - 5*p - 341. Let s(j) = -6*j**2 - j - 85. Let c(w) = -9*s(w) + 2*y(w). Is c(b) a multiple of 10?
False
Suppose 4*x + 4*s - 7645 - 6835 = 0, -4*x - 2*s = -14488. Is 24 a factor of x?
True
Let p be 1/(3 - (-64)/(-20)). Let q(z) = 10*z**2 + 8*z + 28. Is 14 a factor of q(p)?
True
Suppose 38 = -2*z + 2*u, 6*z - 3*z + 5*u + 65 = 0. Suppose -7*i = -11*i + 48. Does 6 divide i/z + (-263)/(-5)?
False
Let q(i) = i**3 + 10*i**2 - 13*i - 17. Let b be q(-11). Suppose b*l = -9*u + 11*u - 1155, l = -3*u + 1741. Is 6 a factor of u?
False
Is 52 a factor of 3/8*21180/9*(-64)/(-10)?
False
Let x = -158 - -263. Suppose -3*r - 244 = -5*w - 79, 0 = -3*w + 3*r + x. Is w even?
True
Let s(h) = 348*h**2 - 2*h. Let m be s(-2). Suppose 4*j + 596 = 5*n - m, 4*j = 3*n - 1200. Does 33 divide n?
True
Suppose 3*h - 438 = 4*h. Let w = h - -705. Suppose 0 = 3*n + 4*g - 174, 0 = -5*n - 0*g + g + w. Does 27 divide n?
True
Let k be ((-1)/1 + -1)*-198. Suppose -i - 271 = -3*p - 39, 3*i - k = -5*p. Is p a multiple of 6?
True
Let s = 331 - 324. Suppose -5*y + 2*i = -8, 0*y + 20 = -4*y - 5*i. Suppose s*x - 158 - 31 = y. Is 27 a factor of x?
True
Let g(m) = m + 21. Let c be (-9 - (-4 - -3))*2. Let v be g(c). Suppose -v*p = 3*q - 50, 4*q = 4*p - 0*q - 8. Is 3 a factor of p?
False
Let d = -112 - -97. Is (-860)/d + 3 + (-4)/12 a multiple of 20?
True
Suppose -3*i + 5*q - 9 = -6, -4*i + 3*q + 7 = 0. Let t(a) = -a**2 - 6*a - 4. Let w be t(-3). Suppose 0 = 2*z - w*c - 60, 2*z + i*c - 100 = -c. Does 10 divide z?
True
Suppose -14*n = -21*n + 525. Suppose n = 9*s - 96. Suppose -43 = -i - s. Is i a multiple of 24?
True
Suppose f - 1840 = 3*c + 21171, 0 = -4*f - 4*c + 92108. Is 77 a factor of (-2)/(-2) + f/13?
False
Let m(j) = 11*j + 90. Let o be 30/20 - (-132)/8. Is m(o) a multiple of 48?
True
Let p(n) = -5*n**2 - n + 21. Let g be p(5). Let i = 205 + g. Does 48 divide i?
True
Suppose -663 = -7*k + 856. Suppose k = -6*m - 41. Let x = -3 - m. Is 11 a factor of x?
False
Let z(w) = 59*w - 191. Let x be z(5). Suppose -s - 761 = -3*d, d + x - 336 = -4*s. Does 36 divide d?
True
Let d(n) = -n**3 - 1. Let m(u) = -5*u**3 + 6*u**2 + 9*u + 9. Let q(t) = 6*d(t) - m(t). Let j be q(-5). Suppose -560 = -10*y + j*y. Is y a multiple of 16?
True
Let j(r) = 3*r**2 + 46*r + 54. Let f(s) = -2*s**2 - 31*s - 36. Let l(y) = 8*f(y) + 5*j(y). Let n be l(-17). Let w(o) = 146*o**2 + 2*o. Does 18 divide w(n)?
True
Let h be (-1*(1 + 0) - -1)/2. Suppose -7*r = -h*r - 14. Suppose -4*f = 3*t - 82, -r*t + 0*f + 3*f + 49 = 0. Does 15 divide t?
False
Is 51 a factor of (-1130410)/(-55) + (-4)/(-44)?
True
Does 4 divide (28*(-195)/45 - (-6)/9)*-156?
True
Let t(n) = -8*n**3 + 3*n**2 - 16*n + 60. Is t(-11) a multiple of 21?
False
Let n(t) = 3*t**2 + 8*t + 8. Suppose 0 = 2*u + 4*u - 18. Let v be 22/(-6) + (-1)/u. Is 6 a factor of n(v)?
True
Let k be -1 + 397 + 2 - 1. Let z be (4 - (-210)/(-25))*-5*10. Let v = k - z. Is 31 a factor of v?
False
Let i = -8 + 12. Suppose -2*b - 1 = -i*v + 5, -3*v - 3*b + 9 = 0. Does 19 divide (11 - v)*76/12?
True
Suppose 10*a - 24 = 4*a. Suppose -5*t = -4*x - 6*t + 1086, a*t = -8. Suppose 2*n - 6*n = -x. Is 16 a factor of n?
False
Let i = -5150 - -16699. Does 16 divide i?
False
Suppose 3*l + 1350 = 4*y, -2*y - 668 = -4*y - 2*l. Let c = y + 251. Is c a multiple of 29?
False
Suppose 24 = -68*j + 70*j. Is 11 a factor of (-1251)/(-12) + j/16?
False
Suppose 6*z = -54 + 36. Let t be 15/z + 3 - (6 + -4). Does 9 divide (-1)/(-3)*353 - t/(-6)?
True
Suppose -5*x = -3*s - 2694, 1616 = 163*x - 160*x - 2*s. Is 20 a factor of x?
True
Let z(t) = -18*t + 57. Is 5 a factor of z(-3)?
False
Let c(x) be the first derivative of -x**5/20 + 4*x**4/3 - 2*x**3 - 13*x**2/2 + 4*x + 14. Let o(r) be the first derivative of c(r). Does 7 divide o(15)?
False
Suppose -45*l - 513745 = -214*l + 1062687. Does 8 divide l?
True
Let g be (-8)/60 - (-4012)/(-60). Let m = 53 - g. Is (m/18)/((-6)/(-99)) a multiple of 11?
True
Let x(k) = 2*k**2 - 2*k + 89. Suppose -14*q = -17*q. Is x(q) a multiple of 5?
False
Let f = 26466 + -14275. Is 167 a factor of f?
True
Let g = -1 - -32. Let c = g - 30. Is ((-65)/10 + c)*-4 a multiple of 11?
True
Suppose 2*h = c + 115 - 24, 5*h - 265 = -5*c. Suppose -h*d + 1281 = -207. Is 14 a factor of d?
False
Suppose 4*o = -5*o - 9. Let q be (72 + o)/1 + 3. Let s = q + 5. Is s a multiple of 16?
False
Let a be (10/7)/((4 - 5)/7). Does 7 divide ((-38)/a - 4) + 811/5?
False
Let n = -3847 - -6399. Suppose n = 2*q + 1000. Does 26 divide q?
False
Let z = -376 + -49. Let y = 635 + z. Does 30 divide y?
True
Let n = -760 + 770. Suppose 7904 = 23*s - n*s. Is 16 a factor of s?
True
Suppose -17*i + 429055 = -20*i + 58*i. Does 124 divide i?
False
Let m(n) = 277*n + 60. Let p be m(4). Let i(v) = 4*v**2 + 11*v + 4. Let g be i(-3). Suppose g*k - p = 3*k. Is k a multiple of 30?
False
Let h = 29 - 39. Let g(j) = -10*j + 8. Let q be g(h). Let k = -96 + q. Is 11 a factor of k?
False
Let n = -315 + 319. Suppose -7*t + n*t - 912 = -2*m, -2*m - t + 912 = 0. Is 12 a factor of m?
True
Let n be 0 + (13 - (-2 + 0)). Suppose -2*u - n = -3. Is (-9)/u*(1 + (-98)/(-6)) a multiple of 26?
True
Does 12 divide 3165 + -12 - (-6 + (6 - (-3 - -6)))?
True
Suppose -19*n - 66 = -25*n. Let i(q) = q**2 - 9*q + 31. Does 5 divide i(n)?
False
Suppose -4*t + 2520 = 17*t. Suppose -2*p + 2*n - 393 = -5*p, -p + 3*n = -t. Is p a multiple of 43?
True
Let x(u) = -u - 6. Let s(d) = -d - 10. Let a be s(8). Let g be x(a). Suppose g*m = m + 484. Does 22 divide m?
True
Suppose -5*u + 7833 = q, -2*u - 5*q + 6*q + 3129 = 0. Suppose -6*h + 0*h = -u. Let v = h - 165. Is 32 a factor of v?
True
Suppose -21 = -y - 4*f, -7*f + 5*f + 123 = 5*y. Suppose 5*c + 0*c - 27 = 2*m, 5*m + y = 4*c. Suppose c*v - 2*n - 685 = -3*n, 4*n - 256 = -2*v. Does 23 divide v?
True
Let l(m) be the third derivative of 1/6*m**3 + 7/12*m**4 + 0*m + 17*m**2 + 0. Does 33 divide l(7)?
True
Let z(o) = -o + 11. Let f be z(21). Let n = -26 + f. Does 6 divide (n/(-21))/((-4)/(-70))?
True
Does 52 divide 36050 + 15/2*-19*(-28)/798?
False
Suppose 15328*x = 15326*x + 37542. Does 6 divide x?
False
Let v = 6417 - 2578. Does 41 divide v?
False
Let l be (-2)/3 - 1/(6/32). Does 2 divide l/(-4)*