ue
Let z(l) = 10238*l + 290. Does 28 divide z(1)?
True
Let p(z) = 633*z - 2. Let b be (-3)/(10 + -5 - 8). Is p(b) a multiple of 21?
False
Does 138 divide 352072/36 + (-94)/(-423)?
False
Does 64 divide (-312)/(-36)*5271/7?
False
Let c(z) = -2*z. Let a(m) = -115*m - 38. Let v(t) = a(t) + 2*c(t). Is 73 a factor of v(-4)?
True
Suppose 3*u + p + 10818 = 8*u, -8648 = -4*u + 4*p. Is u a multiple of 62?
False
Let v(s) = -s + 2*s - 15 - 2*s + 4*s. Let u be v(7). Let x(o) = 15*o - 1. Does 16 divide x(u)?
False
Let t be 8/28 - 40/(-7) - 1. Let i(a) = 4 + 93*a + 21*a + t - 13. Is 12 a factor of i(2)?
False
Suppose -5*y - 5*b = -27340, -358*y + b + 16432 = -355*y. Does 73 divide y?
True
Let b = 344 - 396. Does 13 divide 209/4 - (-13)/b?
True
Suppose 8*s - 23*s = -30. Suppose m + 3*k - 458 = -s*k, -k + 1851 = 4*m. Is m a multiple of 27?
False
Is (-13 + -1806)*-5*1 a multiple of 107?
True
Suppose n - 2 = -3. Let f be (2/5*(0 + -5))/n. Suppose 0*p - f*s + 103 = 3*p, -s + 134 = 4*p. Is 12 a factor of p?
False
Let c(q) = -71*q + 1210. Does 4 divide c(-13)?
False
Does 17 divide (3/(-9) + 2452/(-24))/(2/(-148))?
False
Let x = 29 - 16. Let z(v) = 11*v**2 - 3*v + 7. Let k be z(1). Suppose -228 = x*h - k*h. Is 19 a factor of h?
True
Suppose 571*r = 32141034 + 702315. Is 21 a factor of r?
True
Let k = 321 - 152. Suppose -3*r + 6 = 0, -2*a + 3*r + k = 3*a. Suppose 37*f - a*f = 168. Is f a multiple of 28?
True
Suppose -2*i = -9 + 3. Suppose -165 = i*s - 483. Is s a multiple of 7?
False
Suppose 19204 = 3*u - 8*t, 0 = 5*t - 57 + 37. Does 61 divide u?
False
Let m be 5*(7 - 494/(-10)). Suppose 0 = -j - 2*w + 181, 5*j - m = 5*w + 563. Is j a multiple of 20?
False
Is -6 - ((-9)/(-135)*85)/((-1)/108) a multiple of 10?
False
Suppose -7 + 13 = v. Let n(o) = -2*o**3 + 10*o**2 + 12*o - 5. Let s be n(v). Is 1 + 2 - (1 - 0)*s a multiple of 4?
True
Suppose 2*u = -1902 - 970. Let z = -999 - u. Suppose -z = -8*p + 403. Does 21 divide p?
True
Let p(f) be the second derivative of -2*f**2 + 12*f - 5/6*f**3 + 0 + 1/6*f**4. Does 19 divide p(-6)?
False
Let j(g) = 3*g + 3. Let c be j(5). Suppose 0 = -c*o - 4*o + 9218. Is 35 a factor of o?
False
Suppose 3*r = 2*a - 9, -2*a - 4 = 4*r + 8. Let m be (8 - 6) + (0 - -8) + a. Let p = 35 + m. Is p a multiple of 5?
True
Let h be 2*(-79)/4*6/(-1). Let l = h + -130. Suppose -6*c + 349 + l = 0. Is c a multiple of 19?
True
Suppose 18*m - 850 = 1544. Let l = m - -29. Does 9 divide l?
True
Let p(t) = 3*t**2 - 14*t + 15. Let o be p(5). Suppose c - o - 464 = 0. Is c a multiple of 20?
False
Let j(v) = -4*v + 25. Let h be j(5). Suppose 8*y - 6 = h*y. Suppose y = 4*q - 2*d, q + 4*d - 4 = 5*q. Is q even?
True
Suppose -8 = -g + 3*v, -91 = -5*g + 4*v - 6*v. Suppose g*x - 2392 = 13*x. Is 23 a factor of x?
True
Let y be 4/(-36)*2 + (-16970)/18. Let j = 1807 + y. Is j a multiple of 21?
False
Is 49 a factor of 180/(-72)*16/(-10) + 1123?
True
Let l = 10088 + 8160. Is 9 a factor of l?
False
Let o(s) = s**2 - 10*s + 12. Let b be o(8). Let h be (-5 + 0)*(b - -3 - 184). Suppose 4*k = 5*g - k - 920, 4*k + h = 5*g. Is 21 a factor of g?
True
Let r(b) = -4*b**2 + 37*b + 4. Let t = 34 - 56. Let m = 29 + t. Is r(m) a multiple of 3?
False
Let b(t) = t**2 - 10*t - 27. Let y be b(12). Let k be 85 + (-7 - -19)*1/y. Let f = k + -5. Does 19 divide f?
True
Suppose -2*w - 30 = -4*m, 4*w + 11 = -m + 5. Suppose -4*z = 2*j - 390, m*z = -j + 11*z + 160. Is 4 a factor of j?
False
Suppose 4436 = 7*w + 1167. Is w a multiple of 36?
False
Suppose 10*x - 17*x + 105 = 0. Let b(s) = 66*s - 50. Does 43 divide b(x)?
False
Let g be (1 - 0)/(4/16). Suppose -5*n + 4*y + 35 = 0, g*n - 3*y = 3 + 24. Does 9 divide 3675/300 - (n/(-4) + 1)?
False
Let q = -722 - -735. Let t(k) = 39*k + 253. Is 20 a factor of t(q)?
True
Let d(l) = 17*l**3 - l**2 + 3*l - 5. Let p(v) = 3*v**2 + 2. Let w be p(0). Is 40 a factor of d(w)?
False
Let b(o) = 46*o - 100. Let w be b(25). Suppose -4*v - v = -w. Is 14 a factor of v?
True
Suppose -q - 5*v = 10, -2*q - 34*v = -31*v - 1. Suppose -2*o - o + 452 = -4*u, q*o = u + 776. Is 12 a factor of o?
True
Does 19 divide 3/12*(13 + -3) - 11598/(-12)?
True
Let y = -64 + 690. Let i = y + -581. Does 32 divide i?
False
Suppose -3*i + 73343 = -d, -3*i - d = -32399 - 40934. Is i a multiple of 28?
False
Suppose 7 + 183 = 19*w. Suppose 2748 = w*v - 1482. Is v a multiple of 14?
False
Suppose i - 39 = -3. Let d = -8 + i. Is 5 a factor of (-40)/7*d/(-8)?
True
Let v be (-111)/(-21) - (-4)/(-14). Suppose 0 = -4*z + v*b + 436, -4*b - b - 540 = -5*z. Does 23 divide z?
False
Suppose 0 = 7*g - 5*g - 4. Suppose -38*t = -g*b - 37*t + 32, 5*b - 5*t = 70. Does 2 divide b?
True
Suppose 7*j + 8 = 15*j. Let g be 12/(-20) - 3/(-5)*j. Let v = g - -84. Is v a multiple of 7?
True
Suppose 75*q = -3*l + 78*q + 42867, l + 4*q = 14279. Is 12 a factor of l?
False
Is 27 a factor of (-648)/((-24)/(-108)*(54/16)/(-9))?
True
Let u(d) be the third derivative of -d**4/12 + 41*d**3/3 + 58*d**2. Is 20 a factor of u(21)?
True
Let p(r) = -1014*r**2 + 15*r + 44. Let z be p(-4). Is -2 + (z/5)/(-8) a multiple of 5?
False
Suppose x + 84 = 7*x. Let c be (-13 + x)/(1/((-2)/2)). Is ((-534)/7)/c - 10/35 a multiple of 15?
False
Let y(h) = -7*h - 16. Let i be y(-3). Is (195/5 - i) + 0 a multiple of 8?
False
Suppose -62*w + 46*w + 5264 = 0. Is 3 a factor of w?
False
Let p be (-1)/(3 - (5 + -3)). Let v(b) = -10*b**2 + 12*b + 6. Let h(j) = -j**3 - j + 1. Let t(f) = p*h(f) - v(f). Does 38 divide t(-8)?
False
Let v(a) = -a**3 - 11*a**2 + 3*a + 25. Let k = 48 + -59. Let h be v(k). Is (-13)/52 + (-1482)/h a multiple of 37?
True
Suppose 15*f = 12*f + 810. Suppose f + 234 = 2*k. Does 36 divide k?
True
Suppose 5 = 5*y, -2*v + 89 = -2*y + 7*y. Let g(l) = -8*l**2 + 6*l - 30. Let x be g(3). Is 32 a factor of (v/(-12))/(2/x)?
False
Let m(b) = -b**3 + 10*b**2 - 4*b + 43. Let v be m(10). Is 7 a factor of (0 + 888)/v + -2?
True
Suppose 4*p + 5 = -5*s - 34, -5*p - 39 = 3*s. Is 32 a factor of -2 - (p/10 - (-6261)/(-15))?
True
Let q(v) be the second derivative of -v**4/12 + 2*v**3 + 5*v**2 - 2*v - 9. Does 12 divide q(8)?
False
Let m = -13 - -29. Let r(p) = p**2 - 11*p - 55. Is r(m) even?
False
Suppose 0 = 2*t + 2*c + 432, 2*t - 3*c + 452 = -0*t. Let f = 175 - 173. Does 35 divide (t/(-8))/(f/12)?
False
Suppose 7*i - 420 = 12*i. Let w = -76 - i. Let g(h) = 3*h**2 - 2*h - 22. Is g(w) a multiple of 22?
True
Let j(i) = i**3 + 11 + 6*i**2 + 5*i**3 - 7*i**3 + 5*i. Let m be j(7). Is 5 a factor of (m - (4 - 4))*-5?
True
Let y(z) = -z**2 + 9*z - 6. Let d be 3/(-21) + (-200)/(-28). Let b be y(d). Does 6 divide (b - 3 - 3)/(4/24)?
True
Let n = -1778 - -1808. Is n a multiple of 30?
True
Is 11 a factor of (-1320)/550*(101/(-3) - 3)?
True
Suppose 0 = 33*r - 30*r - 1458. Suppose -r = -9*b + 198. Is b a multiple of 44?
False
Let f(j) = -51*j**3 + j**2 - 8*j + 38. Let n be f(4). Let h = -2188 - n. Does 62 divide h?
True
Let o(d) = 641*d - 10359. Is 19 a factor of o(37)?
False
Let f be (2 + 2/4)/(29/58). Suppose t = -l, 3*t + f*l = 1 - 5. Does 10 divide 1538*1/14 - t/(-14)?
True
Let s(x) = 202*x**3 + 6*x**3 - 18*x**3 - 2*x + 1. Let o be s(1). Suppose 8*w - o = w. Does 8 divide w?
False
Let s(r) = -r**3 - 8*r**2 + 7*r - 15. Let u be s(-9). Let f(i) = 12*i**3 - 2*i**2 - 4*i - 6. Is f(u) a multiple of 48?
True
Suppose -4*s - 4*u = -3*u - 4, 2*s - 4 = -u. Suppose -n - 433 = -3*r, s = -2*r + 2*n - 7 + 297. Does 14 divide r?
False
Let f be (-2 - 605)/((130/20)/(-13)). Let l = -688 + f. Is l a multiple of 22?
False
Let p(a) = -4*a + 91. Let w be p(0). Suppose -3*f = -29 - w. Suppose 3*l - 16 = -4*v - 0*v, 5*l + 4*v - f = 0. Does 6 divide l?
True
Suppose 13*r + 22 = 2*r. Let c(u) = 20*u**2 + 3*u - 1. Let y be c(r). Suppose -y - 55 = -4*n. Does 5 divide n?
False
Let j be 222/5 - (-6)/(-15). Let s = -195 + j. Let t = s + 221. Is 7 a factor of t?
True
Let d = -5001 - -9681. Does 90 divide d?
True
Let o be -76*(-6)/24 + -5. Suppose -o*d + 236 = -100. Is d a multiple of 5?
False
Let b(m) = 2*m + 6. Let v(l) = -l**3 - 14*l**2 + 17*l + 29. Let i be v(-15). Let k be b(i). Suppose -k*t + 165 = -27. Is t a multiple of 35?
False
Let i(v) = v**2 - 26*v - 31. Let h be i(27). Let t be h + 24/6 - 2260. Is 6 a factor of t/(-25) - 6/15?
True
Does 7 divide 1081/(-9 + 1 + 114/14)?
True
Suppose -1 + 21