alse
Suppose 273*x - 279*x - 5*s + 123104 = 0, 4*x - 82080 = -2*s. Is 185 a factor of x?
False
Does 3 divide -8 + 60/5 - (0 + 2 + -726)?
False
Suppose -4*x - 4*l = -2548, -5*x + 3*l + 1257 = -1952. Is x a multiple of 5?
True
Suppose 7*t = t + 54. Let p(m) = 4*m**2 - 6*m - 10. Is p(t) a multiple of 16?
False
Let p be -11*(-38 - (1 + -3)). Suppose 17*r + 335 = -p. Let b = 52 + r. Is 4 a factor of b?
False
Let t(q) = -2*q**3 - 13*q**2 - 2*q + 22. Let u be t(-6). Let h(r) = -101*r + 8. Is 35 a factor of h(u)?
True
Let l(c) = -c**2 - 16*c + 2. Let i be (28/12 - -1)*(-18)/4. Let u be l(i). Suppose -u*x = -12*x - 165. Is x a multiple of 5?
False
Suppose 0 = -b + 4*g + 582, 2*b - 4*g - 730 = 426. Suppose -3*t + t = -5*w - b, -2*w - 230 = -t. Is 19 a factor of (5/(-15))/(1/w)?
True
Suppose 57 = 5*f - p, 29 = 4*f - f + 2*p. Let i be 1 + f - (5 + -3). Suppose 388 = 9*r + i. Is 19 a factor of r?
False
Let j(t) = 9*t + 68. Let n be j(-5). Suppose -1300 = -n*f + 701. Is f a multiple of 7?
False
Suppose 5*o - 14513 = -3*n, -190*n + 187*n = 2*o - 14510. Does 13 divide n?
True
Let x(a) = a**2 - 13*a - 48. Let b be x(16). Let s be 5*-3*(-8)/60. Suppose b = 5*k + s*f - 220, 4*k + f - 176 = -0*f. Is k a multiple of 18?
False
Suppose -2*a + x + 26 = 0, 69 = 4*a + 2*x + 9. Suppose a = 8*n - n. Does 24 divide n/(16/766) + 20/80?
True
Let m(k) = 3*k + 19. Let v be m(-5). Suppose -v*w = y - 315, 2*y + 0*w - 634 = -4*w. Is y a multiple of 14?
False
Let o(k) = k - 16. Let b be o(17). Suppose i - 3*s + b - 7 = 0, 3*i - 18 = -s. Suppose i*m - 803 + 89 = 0. Does 17 divide m?
True
Let c be 32/12*7230/40. Let q = c + -258. Is 12 a factor of q?
False
Let h = -5495 + 749. Is 4/18 - (h/27 - 6) a multiple of 14?
True
Let v = 425 - 393. Let h = 9 + -6. Suppose 0 = -h*c + 31 + v. Does 21 divide c?
True
Let p(i) = -i**2 - 26*i - 29. Let l(v) = 2*v**2 + 54*v + 58. Let g(q) = -3*l(q) - 7*p(q). Does 6 divide g(-20)?
False
Let i = 9 + -17. Let d(k) = k**3 + 10*k**2 + 16*k - 1. Let x be d(i). Is (-3)/x + 151 + -4 a multiple of 15?
True
Let a(l) = -l**3 + 10*l**2 - 3*l + 1. Let d be a(10). Let g(z) = -z**3 - 32*z**2 - 114*z - 37. Does 12 divide g(d)?
False
Suppose 3580 = 10*l - 0*l. Suppose -l = 4*i - 1006. Does 16 divide i?
False
Suppose -5*i - 405 = 910. Let w = i + 363. Is w a multiple of 25?
True
Let f(z) = 22*z**2 + 5*z + 8. Let j(r) = -r**2 - 14*r + 28. Let d be j(-16). Let k be f(d). Does 6 divide ((-4)/6)/(k/171 + -2)?
False
Let k = 911 - -647. Is k a multiple of 10?
False
Suppose -149*c + 1012576 + 384746 = 0. Is c a multiple of 6?
True
Let v(n) = 6*n + 990. Is v(-19) a multiple of 6?
True
Suppose -190 = -3*g + w, 0 = -4*g - w + 3*w + 250. Suppose 58*x - g*x = -4032. Does 13 divide x?
False
Let o(z) be the third derivative of z**6/120 - 5*z**4/24 - 2*z**3/3 + 14*z**2. Let x be o(5). Suppose -7*j + x = -j. Is j a multiple of 8?
True
Let z(j) be the second derivative of j**5/20 - 5*j**4/6 + 7*j**3/3 + 2*j**2 - 16*j. Let l be z(8). Is 12 a factor of (-1767)/l + (-15)/(-20)?
False
Is 80 a factor of ((119 - -1)*4)/((-39)/(-273))?
True
Let l(c) = -4*c. Let g be l(6). Let r(u) = u**3 + 25*u**2 + 20*u + 44. Is r(g) a multiple of 10?
True
Does 66 divide 3/(-4) + ((-2043)/2)/(798/(-2527))?
True
Let c = -98 - -88. Does 27 divide (-16)/(11/(1485/c))?
True
Suppose -3*l = l - 60. Suppose 5*x - 3*a = 2*x - l, -4*a = x - 10. Is 9 a factor of 1/x - (-508)/8?
True
Let d be (-4328)/5 - 2/5. Let f = -425 - d. Is f a multiple of 37?
False
Let c = 19912 + -12352. Is 18 a factor of c?
True
Suppose 38*l = 34*l + 28. Suppose 0 = -l*o + 323 + 986. Does 17 divide o?
True
Suppose -12 = -4*m, o - 12*m - 524 - 72 = 0. Does 3 divide o?
False
Let y be 8/(-8)*(1/(-1) + 0). Let t(u) = 113*u + 15. Is t(y) a multiple of 8?
True
Let z = -1005 - -12249. Does 6 divide z?
True
Let g(m) = 13*m - 191 + 159 - 163*m - 2*m. Does 8 divide g(-5)?
True
Let b(j) = 23*j + 141. Let d be b(-6). Suppose r + q = 77, -d*q - 71 = -r - 6*q. Is 4 a factor of r?
True
Let y(p) = 3*p**2 - 9*p - 6. Let g be y(2). Let z be (3 - (3 - 4)) + 2. Is 2/g - ((-1009)/6 - z) a multiple of 11?
False
Suppose 21*l - 159322 = -53*l. Is l a multiple of 16?
False
Suppose 1560 = -10*l - 4190. Let i = -43 - l. Is i a multiple of 29?
False
Does 119 divide (2/(-16) - (-1494396)/480)/((-4)/(-20))?
False
Let z(t) = 2*t**2 - 4*t - 7. Suppose -3*s + 0*u + 2*u + 2 = 0, -3*u + 14 = 4*s. Let i be 190/50 - s/(-10). Is 3 a factor of z(i)?
True
Suppose -459314 + 63041 = -15*a + 133242. Does 41 divide a?
True
Suppose 81*s = 25*s + 71232. Is 69 a factor of s?
False
Let x = -35 - -53. Suppose -3*l - 4*f + 73 = x, -4*l + 3*f = -90. Does 7 divide l?
True
Let c = -14682 + 24360. Is 75 a factor of c?
False
Let m(z) = -3483*z - 22. Suppose -2*t = -3*t + 7. Let d be m(t). Does 20 divide d/(-161) - (-8)/(-14)?
False
Let t(s) = 8*s**2 - 639*s - 14. Does 164 divide t(102)?
True
Let m(c) = -c + 52. Suppose -108*i = -106*i - 8. Let z be m(i). Let a = 3 + z. Does 7 divide a?
False
Let y be (-104)/(-6) - (12/(-18))/(-2). Suppose 5*a + 16*w = y*w + 2140, 4*a = 4*w + 1696. Is a a multiple of 9?
False
Let g(t) = 118*t + 8431. Is g(29) a multiple of 58?
False
Let n be (-3 + 2)/(6/72). Let b(k) = -k**3 - 9*k**2 + 27*k + 24. Is 5 a factor of b(n)?
False
Let o(f) = 6*f**2 - 23*f - 48. Let m be o(15). Suppose 6*z - m - 777 = 0. Is z a multiple of 17?
True
Let y be 26/12 - 3/18. Suppose -5*p - 42*l + 41*l + 2139 = 0, 0 = -2*p + y*l + 858. Is 13 a factor of p?
False
Suppose -19*h + 17*h = -198. Let j = 104 - h. Suppose l + l + 296 = j*t, 5*t - 292 = 4*l. Is 9 a factor of t?
False
Suppose -36 = 29*u - 23*u. Is 5 a factor of ((-182)/u)/(5/15)?
False
Suppose 99*l + 286974 - 4673466 = 0. Does 38 divide l?
True
Let m be (8 - (-126)/(-15))/(4/(-40)). Suppose -4*o - x + 850 + 675 = 0, -m*o + 2*x + 1522 = 0. Does 29 divide o?
False
Is 26/8 + 335352/32 a multiple of 54?
False
Let b be ((-10)/(-8))/((-4)/(-16)). Let l(v) = -2*v**2 + 12*v - 2. Let a be l(b). Let j(p) = 10*p - 33. Is 12 a factor of j(a)?
False
Suppose 5 = -0*g + g. Suppose -4*h - 3*u = -6*u + 1545, 4*h + 1543 = g*u. Let n = 560 + h. Is n a multiple of 29?
False
Let x = -14 + 46. Suppose x + 0 = 4*v. Suppose v*z = 4*z + 668. Is 50 a factor of z?
False
Suppose -2*h = 3*h + 280. Let f be h/(-72) + (-4)/(-18). Is 8 a factor of f/2*(133 + 3 + -2)?
False
Suppose 0 = m + 4*g - 14, m - 2*g - 2*g = -2. Suppose -679 - 1367 = -m*b. Does 31 divide b?
True
Let h(v) = 228*v**3 + 28*v**2 - 65*v - 8. Is 14 a factor of h(3)?
False
Suppose -2*n = 5*a + 643, -320 = n + a + a. Let v = -24 - n. Is 28 a factor of v?
False
Suppose -315*h + 3503360 = 7*h. Is h a multiple of 11?
False
Suppose -3*j = -4*j - 4, r + 2*j = -3. Suppose q - 8 = -r*t, 6*t - 4*t = 4*q + 12. Is (8/(-4))/t*-95 a multiple of 9?
False
Is 50 a factor of ((-37804)/((-2 - -1) + -1))/2?
False
Let r = 623 - -282. Is r a multiple of 5?
True
Let b = 56778 + -37760. Is 24 a factor of b?
False
Suppose -6*r + 20 = -4. Suppose -r*m = v - 18, 0 = 2*v - m - m + 4. Suppose v*b + 0*b - 206 = 0. Is 28 a factor of b?
False
Let w(a) = 167*a**2 + 17*a - 12. Let v be w(3). Suppose 8018 = 40*t - v. Is t a multiple of 10?
False
Let w(f) = 8*f**2 + f - 9. Let b = 38 + -3. Let p = 38 - b. Is w(p) a multiple of 11?
True
Let j be (-2)/(-5) - (-364)/65. Let i(b) = 200*b - 272. Is 29 a factor of i(j)?
True
Suppose 3*s - 13*s = 4491 - 17071. Is 17 a factor of s?
True
Is 9 a factor of (411/137 + -1 + -49004)*1/(-3)?
False
Is (-5 - (-2325)/10)*(-728)/(-35) a multiple of 91?
True
Let w(x) = -9*x + 7*x - x**2 + 4*x - 5 + 6*x. Let n be w(5). Suppose 13*t - 105 = n*t. Is t a multiple of 5?
True
Let l be (-2 - -1)*(-5)/1. Suppose 3*i = 2*i - l, -2*i = -5*q + 3210. Does 10 divide q?
True
Suppose -3*x - 8160 = -8*x. Suppose 0 = -b - b + x. Suppose -6*o = -0*o - b. Does 13 divide o?
False
Let y(u) = -8*u - 4*u**3 - 211*u**2 + 2 - 18 + 0*u + 203*u**2. Is 24 a factor of y(-4)?
True
Let n = 1413 - -155. Is 3 a factor of n?
False
Does 20 divide (-150)/1275 + 425378/34?
False
Suppose -10*v + 180 = -v. Suppose v*u - 5462 = 4878. Is 44 a factor of u?
False
Let d(s) = -s**3 - 18*s**2 + 40*s + 5. Let a be d(-20). Is 10 a factor of -6 - (-47 + a - -6)?
True
Let n = -327 - -329. Does 40 divide (-6 + 11 - 245)*(-13)/n?
True
Let g(w) = 53