l) = l**3 - 3*l**2 - 5*l - 8. Let i be v(5). Suppose y = -c + i + 47. Is 4 a factor of c?
True
Suppose 4*r - 3*c - 21 = 9, -26 = -2*r - 4*c. Let w be 4 - 0 - (1 + -3 + r). Let i(m) = -m**2 - 13*m + 6. Does 6 divide i(w)?
True
Let m(d) = 33*d**2 + 29*d - 49. Let u(q) = -8*q**2 - 7*q + 12. Let s(x) = -6*m(x) - 26*u(x). Is 38 a factor of s(-8)?
False
Let b(s) = 4515*s - 240. Is 19 a factor of b(2)?
False
Let x = -240 - -730. Does 2 divide x?
True
Let q(k) = -6 + 2*k - 8*k**2 + k**3 - 16*k - 6 + 0*k. Is 88 a factor of q(14)?
True
Let a = 37960 - 19417. Is 7 a factor of a?
True
Let h = 352 - -102. Let r = h + -74. Is 38 a factor of r?
True
Is ((-1096)/(-10))/((-112)/2604*3/(-20)) a multiple of 137?
True
Let n be 34/(-51) + 5/((-45)/(-24)). Is 22 a factor of 3710/12 + (-1)/12*n?
False
Suppose 3*b - 180 = 5*l - 2*b, -2*l + 5*b - 57 = 0. Let d = -41 - l. Suppose d = 12*w - 6*w - 1386. Does 11 divide w?
True
Suppose -6*v + 12*v + 3968 = 5*j, v - 2 = 0. Is j a multiple of 61?
False
Let s be (0 + 28/6)/((-4)/(-6)). Let d(k) = -48*k**3 + 1. Let j be d(-1). Suppose -6*c = -s*c + j. Does 11 divide c?
False
Let z be 6/225*5 + (-236)/(-30). Let w be 6 - (-63)/(-12) - 6/z. Suppose 5*x + 1 - 31 = w. Does 6 divide x?
True
Suppose -535*d + 271*d - 10218 = -277*d. Is 131 a factor of d?
True
Suppose 5*z - 1329 - 9295 = -3*f, 3*z + f = 6368. Is z a multiple of 53?
True
Let d(u) = -u**2 + 7*u - 6. Let h be d(4). Let w(x) = -3*x + 21. Let g be w(h). Suppose -104 = l - g*l. Does 26 divide l?
True
Let d(v) = 20*v - 31. Let a be (-6)/3 + (4 - -5 - 1). Suppose -24 = -a*z - 0*z. Is 10 a factor of d(z)?
False
Let h be (-4)/(-10)*(-135)/(-18). Let u be 16/(-4) + (-4 - h). Does 7 divide (10 + u)/(-1 + 72/74)?
False
Let z(n) = n**3 - 14*n**2 - 119*n + 110. Does 44 divide z(34)?
True
Suppose 0 = -3*q + 2*u + 565, 4*q + 8*u - 730 = 6*u. Is 4 a factor of q?
False
Suppose -7*r = 12*r - 13*r. Suppose 0 = 5*i - 15, r*i - 4*i - 238 = -5*u. Is u a multiple of 6?
False
Suppose 785 + 3815 = 8*u. Suppose -585 = -4*v + 5*g, 0*v + 4*v + 5*g - u = 0. Is v a multiple of 3?
False
Suppose -m - 3*l + 32542 = 0, -30*l + 32*l - 32549 = -m. Is m a multiple of 230?
False
Suppose 232328 + 39953 + 863369 = 335*x. Is x a multiple of 9?
False
Suppose 2*z - 3*a = -3 + 6, -4*z = -3*a - 15. Is 494 + (-70)/21*9/z a multiple of 7?
False
Let l = 378 - 315. Let m = l + 345. Does 51 divide m?
True
Let s be (-7)/(-2 - (-10)/6). Suppose 2*w = 5*w - s. Suppose k = -w*k + 64. Does 5 divide k?
False
Let z(l) = 0*l - 3*l - 3 - 12*l - 4. Let x be z(-4). Let h = -41 + x. Is 3 a factor of h?
True
Let x(j) = 3*j**3 + 0 + 7*j + 12*j**2 - 7*j**2 - 3 - 4*j**3. Let p be x(6). Suppose -104 = -p*w + 49. Does 17 divide w?
True
Suppose w = 4, -6*i + 7*i + 3*w - 822 = 0. Is 135 a factor of i?
True
Let s(q) = -q**3 - 14*q**2 + 16*q + 19. Let n be s(-15). Suppose 2715 = n*d + x + 425, 3*d = x + 1721. Is 58 a factor of d?
False
Let l(c) = -c**3 + 0*c + 5*c**2 + 0*c**3 + 4 + 3*c. Let f be 6*95/76*6/(-15). Is 28 a factor of l(f)?
False
Let i(v) = -277*v - 150. Let r(l) = 92*l + 50. Let n(x) = -3*i(x) - 8*r(x). Does 25 divide n(5)?
True
Let h(x) = 10*x**2 - 2 + 7 - 4*x - 5 + 12*x**3 + 11. Does 7 divide h(4)?
False
Let r(n) = 20. Let f(m) = -m + 1. Let g(p) = 6*f(p) - r(p). Let y be (-163)/(-489)*(-1 - 32). Is g(y) a multiple of 4?
True
Suppose -96606 + 286145 = 36*s - 159481. Is 10 a factor of s?
False
Suppose -3*q - 5 = -q + 5*u, -4*q - 3*u - 3 = 0. Suppose 10 = g + g + 4*o, -g + 5*o + 12 = q. Let i = g + 33. Is i a multiple of 5?
True
Let t(x) = -5*x**2 + x - 6*x + 17*x + 14 - 5*x. Let g(q) = 6*q**2 - 9*q - 14. Let b(n) = -4*g(n) - 5*t(n). Is 6 a factor of b(10)?
True
Suppose 2*g + 3*m - 63 - 802 = 0, 4*g = -4*m + 1720. Suppose -2*w - 2*w = l - 595, -3*w + g = 5*l. Let v = -74 + w. Does 19 divide v?
True
Let l(r) = 86*r + 7324. Is l(129) a multiple of 37?
False
Suppose 39*l = -3*g + 38*l + 867, 0 = -4*g + 2*l + 1166. Is g a multiple of 5?
True
Let s(b) = -18*b**2 + 59*b - 18. Let d be s(8). Let j = d + 809. Is j a multiple of 4?
False
Suppose 3*f - 20*x = -25*x + 6121, 2*f - 2*x = 4118. Is f a multiple of 36?
True
Let c = 246 + -267. Is 2 a factor of (-3 + 207/c)/(27/(-126))?
True
Let k(r) = r**2 - 10*r + 20. Let w be k(11). Let y = w + -33. Let t = y - -23. Does 7 divide t?
True
Let v(h) = -2*h**2 + 5*h**2 - 7*h - 258 + 283. Is 15 a factor of v(10)?
True
Let r = -456 + 458. Suppose 17*b - 485 = 16*b + r*o, -3*b + 3*o = -1461. Does 4 divide b?
False
Let m = 62 - 61. Suppose 2*q + m = -9. Let i(p) = 4*p**2 + 2*p - 3. Is i(q) a multiple of 29?
True
Let n(l) = -3*l**3 - 8*l**2 + 34*l - 90. Is n(-9) a multiple of 47?
False
Let k be (-448)/(-70) + 3/5. Suppose 13*r = k*r + 30. Does 14 divide (-8)/12*((-1065)/2)/r?
False
Let n(v) = 2*v - 5. Let y be n(-5). Let u be (-5)/y + 1 + (-478)/(-6). Is (-18)/u + 4036/18 a multiple of 28?
True
Let f be -1 + 0 - (-7 - -242). Let m = 848 + f. Suppose 0 = 4*o + 4*i - m, -o - o - 5*i = -297. Does 13 divide o?
True
Suppose 0 = 16*w - 10*w - 36. Let x(d) = -d**2 - 2*d - 8. Let b be x(0). Does 4 divide (-3)/w + (-532)/b?
False
Let k(r) = -r - 2. Let x(j) = j**2 - 11*j - 27. Let w be x(13). Let f be k(w). Is f/((-5)/(-55)*-1) even?
False
Let c = -131 + -60. Let i = 337 + c. Suppose -4*d + i = -14. Is 20 a factor of d?
True
Does 29 divide (-8)/(-10) + (-88277)/(-35)?
True
Does 136 divide -680*((-596)/35 + 1 - (-156)/364)?
True
Suppose 0 = 10*b - 845 + 105. Suppose 0 = -b*h + 73*h + 96. Is 12 a factor of 5*(h/5 + 0)?
True
Let z(n) = -n**2 + 12*n - 16. Let t be z(10). Suppose -14 - 18 = -2*h + t*j, 8 = -2*j. Suppose h*g + 53 = 1197. Does 11 divide g?
True
Let c(l) = l**2 + 10*l + 20. Let j be c(-2). Suppose j*u = 346 + 674. Is 17 a factor of u?
True
Let a(s) = 39*s**2 - 5*s + 12. Let p be a(-4). Let c = p - 106. Is c a multiple of 50?
True
Suppose 2*a - 1189 = 4*v + 3399, 4*a = -5*v + 9085. Is 60 a factor of a?
True
Let l = 251 - 119. Let u = -68 + l. Is u + 6/((-12)/4)*-1 a multiple of 7?
False
Let b(j) = j**2 - 28*j - 27. Let x be b(29). Suppose -x*a + 2*o = -606, -1407 = -3*a + o - 506. Is 23 a factor of a?
True
Let v(y) = -y**3 + 34*y**2 + 59*y - 51. Is 48 a factor of v(31)?
False
Suppose 0 = 4*s + 4*s - 21312. Suppose -16*i + 504 + s = 0. Is i a multiple of 11?
True
Let m be (-9)/(27/(-12)) - -724. Let x = m - 692. Is 3 a factor of x?
True
Suppose -2*b = 137 - 139. Is 17 a factor of 119 + (b + -2 - -1)?
True
Is ((-648)/126)/(4/(-546)) a multiple of 9?
True
Suppose -w = -3*d - 15, 2*w + 0*w + 2*d = -10. Suppose w = -0*l + 4*l - l. Is (-2)/(-8) + ((-876)/(-16) - l) a multiple of 7?
False
Let d(k) = -5*k**2 - 3*k - 210. Let y(c) = -c**2 + 1. Let q(t) = -d(t) + 4*y(t). Does 27 divide q(0)?
False
Suppose 6*z = 14*x + 10*z - 76372, 5*z = -4*x + 21836. Is 3 a factor of x?
True
Let v be (-24)/(-16)*66/9. Suppose b - 195 = -5*m, 4*b + v*m - 6*m - 720 = 0. Suppose p - b = 20. Is p a multiple of 39?
True
Let l(g) = -g**3 + g**2 + 2*g - 1. Let j be 2/8 - (52/16 - 4). Let d be l(j). Is 16 a factor of 37/1 - (-3 + 2 + d)?
False
Let v(g) = 18*g**2 + 20*g - 57. Let f be v(5). Suppose j - f = 158. Is 7 a factor of j?
True
Let m(k) = -11*k + 5. Let u(w) = -5*w + 3. Let y(j) = -4*m(j) + 9*u(j). Let v be y(12). Let b(x) = x**3 + 7*x**2 - 4*x + 8. Does 8 divide b(v)?
False
Suppose -54 = -4*y - 5*s, -4*s - 17 + 3 = -2*y. Let x(j) = j**3 - 12*j**2 + 12*j - 9. Let t be x(y). Suppose 0 = -t*v + 5*v - 225. Is 15 a factor of v?
True
Suppose -4*b - 2*z = -10, b + 5*z + 4 - 2 = 0. Suppose -4*k = -b*h - 2*k + 366, 0 = -5*k. Let x = 242 - h. Does 24 divide x?
True
Let y = 15264 + -10501. Is y a multiple of 67?
False
Suppose 0 = 3*l - 15, 5*j + 2*l = -0*l + 25. Suppose h - 836 = -h - o, 2*h - j*o - 836 = 0. Is h a multiple of 21?
False
Let h = 43 + -45. Let n = -20 - h. Let t(x) = -3*x - 1. Does 17 divide t(n)?
False
Let v = -105 + 27. Is 9 a factor of 3/(v/237 - (-13)/39)?
True
Suppose 0 = 5*w + 5, l + 2 = -2*w. Let a be 170/45 + l - (-2)/9. Suppose -442 = -3*s + z + a, 5*z + 591 = 4*s. Is s a multiple of 14?
False
Suppose 47*m = 48*m - 1261. Suppose 3*d = y - 0*d - m, -12 = 3*d. Does 52 divide y?
False
Let x(i) = -i**3 + 14*i**2 + 5*i - 22. Let f = 18 + -21. Let q(w) = -10*w - 16. Let o be q(f). Is 12 a factor of x(o)?
True
Let 