pose 5*h - 3435 = -5*l, -515*h + 3*l + 2073 = -512*h. Is 13 a factor of h?
True
Let j(b) = 4*b**2 + 3*b - 6. Suppose -1 = -4*i + 2*i + p, p = i + 2. Suppose 2*u - 5 = -x, -x = -i*u - 5*x. Is j(u) a multiple of 14?
True
Suppose -2*t - 1078 = 3*j, 4*t + 3*j + 276 = -1880. Let p = 953 + t. Is p a multiple of 47?
False
Suppose 6*o + 6*o - 1464 = 0. Suppose h = -5*m + 87 + o, -4*m + 16 = 0. Does 39 divide h?
False
Let s(n) = 35*n - 539. Let u be s(0). Let x = -515 - u. Does 4 divide x?
True
Let s be 4/8*8 + -19. Let m be ((-444)/s)/((-4)/(-10)). Suppose 3*h + m = 5*h. Is 27 a factor of h?
False
Suppose 4*d - 8 = 0, 8*d - 296 = -k + 3*d. Let w = k - 616. Let y = 482 + w. Is 19 a factor of y?
True
Is 16 a factor of 30/165 - (-60739)/77?
False
Let u be (14/4 - 2)/(24/96). Is 38 a factor of ((-5624)/u)/(122/(-183))?
True
Let a = 4121 + 15007. Is a a multiple of 8?
True
Let j(r) = 2*r**3 - 2*r**2 - 3*r + 4. Suppose 6*s + 3 = 9*s. Let i be j(s). Let w = 25 + i. Is w a multiple of 5?
False
Let s(f) = 18*f**2 - 4*f + 9. Let r(g) = 73*g**2 - 16*g + 37. Suppose -9*a = -8*a + 2. Let j(v) = a*r(v) + 9*s(v). Does 25 divide j(-3)?
False
Let r be (-15)/6 - 1/2. Let m(w) = 3*w**2 + 3*w - 126. Let y(o) = -o**2 - o + 42. Let t(q) = r*m(q) - 8*y(q). Does 14 divide t(0)?
True
Let u(a) = 286*a**2 + 2*a + 5. Is 12 a factor of u(2)?
False
Suppose 46 = -19*m + 84, 0 = -2*z - m + 17756. Does 20 divide z?
False
Let q be (-72)/(-81)*159 - (-2)/3. Suppose -g + 34 = -3*r, 7*g = 2*g + r + q. Does 28 divide g?
True
Let q(y) = 2*y**3 + 6*y**2 + 3*y + 31. Let c(x) = 5*x**3 + 14*x**2 + 6*x + 64. Let z(j) = 3*c(j) - 7*q(j). Is 14 a factor of z(12)?
False
Suppose -4*y - 20 = -7*y + g, 0 = -4*g - 20. Suppose -h + y = -15. Is h/((-44)/24 - -2) a multiple of 40?
True
Let t = 177 + 5389. Is 22 a factor of t?
True
Let n(r) = 6*r - 32. Suppose 4*b - 52 - 28 = 3*w, 0 = -5*b - 3*w + 100. Does 8 divide n(b)?
True
Let n be 7 + (-30)/5 + (2 - -1). Suppose -11*j + k + 4951 = -6*j, 986 = j + n*k. Does 110 divide j?
True
Let v(q) = 36*q**3 - 9*q**2 - 96*q + 366. Is 18 a factor of v(4)?
True
Suppose 5*k + 12 = c, 13 + 2 = 2*c - k. Does 23 divide c + 0 + 157 + 94?
False
Let v(y) = -31 - 33 + 14*y**2 - 69*y + 72 + y**3. Is 15 a factor of v(-16)?
True
Let f(c) = 13*c**2 - c - 21. Let z be f(3). Suppose 0*t + 4*t = 388. Let r = t - z. Is r even?
True
Suppose -3970*g + 1976*g + 55044 = -1972*g. Is 8 a factor of g?
False
Let z = 85 - 142. Let y = z + 253. Is 10 a factor of y?
False
Suppose 2*u + 23 = y - 25, 3*y - u = 119. Suppose y*h - 33*h = -150. Does 20 divide h/((-12)/(-32)*-2)?
True
Let b(s) = -s**3 + 13*s**2 - 12*s + 2. Let t be b(12). Suppose 0 = -2*v + t*c + 114, v + 2*c - 69 = -0*c. Is 2 a factor of v?
False
Let d be 12/20*(3 + -13). Let k(j) = -4*j**3 - 5*j**2 - j - 25. Is 6 a factor of k(d)?
False
Let f(b) = 6 + 6*b + b + b**3 - 10*b**2 - 5*b + 6*b. Is 43 a factor of f(10)?
True
Is 9 a factor of 4311/((-6)/(-15)*1 + 6/10)?
True
Let r be (-1286)/(-4) - (-17)/34. Suppose -48 = -g + 4*k - 125, -4*g + 2*k = r. Does 5 divide (-9)/(g/(-6))*-75?
True
Let s(n) = -1527*n - 1670. Is 50 a factor of s(-10)?
True
Suppose p - 26 = 5*d, 2*d + 1 = 3*p - 12. Let g(i) = 7*i + 20. Let b(l) = 8*l + 21. Let u(w) = d*g(w) + 4*b(w). Does 11 divide u(-23)?
False
Suppose 61 + 15 = 2*d. Let b(v) = 0*v**3 + 4*v**2 + d*v + 6 - 25*v - v**3. Does 6 divide b(6)?
True
Let q(z) = 6*z. Let a be q(-3). Let y be 2/(-9) + (-3226)/a. Suppose 3*d - y = -32. Does 23 divide d?
False
Let z = 49 - 27. Let p be (-253)/z*(4/(-1) - -2). Suppose -p*h + 22*h = -32. Is 9 a factor of h?
False
Suppose 0 = -22*s + 23*s + 591. Let v = s + 852. Suppose -4*j = -v - 147. Does 32 divide j?
False
Let i(a) = 10*a**2 + 110*a + 294. Is 189 a factor of i(-35)?
True
Suppose -2*h = -0*h - 4. Suppose 0 = 86*d + 2836 - 9802. Suppose -3*s - d = -h*q, 3*q = q - 5*s + 105. Does 6 divide q?
False
Suppose 27*y = 23*y - 72. Does 16 divide (-7608)/(-28) - y/63?
True
Let q = 5549 - 124. Is 25 a factor of q?
True
Let a be (-5)/(100/(-16))*(-40)/(-1). Suppose 15 = -31*b + a*b. Is b a multiple of 9?
False
Let f(c) be the second derivative of c**4/6 - 17*c**3/3 + 12*c**2 - 8*c. Is 12 a factor of f(20)?
True
Let j(c) = -c**2 + 11*c + 22. Let v be j(13). Let w be (-11 + 10)/((-1)/v). Is 19 a factor of 302*w/(-8) + 1?
True
Let c(w) = -335*w - 1808. Is c(-16) a multiple of 12?
True
Let s = -607 + 2959. Is (s/(-1))/(-3) + -1 a multiple of 9?
True
Suppose 13*t - 14293 + 4465 = 0. Is t a multiple of 39?
False
Suppose 488*c - 1605135 - 5795385 = 0. Is 15 a factor of c?
True
Let h(k) = -398*k**2 + 7*k + 87 - 3*k**3 + k**3 + k**3 + 423*k**2. Does 22 divide h(25)?
False
Let g(r) = -85 + 38*r**3 + r + 274 - 37*r**3. Let p be g(0). Suppose 0 = 2*d - 3 - p. Is d a multiple of 23?
False
Let w = 6631 + -3897. Suppose 4*u - w = 1586. Is 40 a factor of u?
True
Suppose -141*n = -148*n + 448. Let k be ((-2280)/70)/((-1)/14). Suppose 4*m - n = k. Is m a multiple of 33?
False
Suppose -b = -4*b + 12. Let u(k) = -14*k + 32. Let n be u(0). Is 7 a factor of b/n*4*118?
False
Let j = -15114 + 21261. Is 140 a factor of j?
False
Let m(r) = 2*r**2 + 28*r - 9. Let k be m(-19). Let t = k - 101. Suppose -3*h = -19*h + t. Does 2 divide h?
False
Let v = 28 + -26. Let z be 9/v*(-4)/(-6). Suppose 5*j = -z*k + 105, 3*k - 140 = -k - j. Is 23 a factor of k?
False
Suppose -5*d + 15021 = 4*y, 3*y - 2*d - 10837 = 446. Does 17 divide y?
False
Let s(f) = -8*f**2 + 2*f - 2. Let j be s(-3). Let y = j + 148. Suppose -2*c + 241 = 3*h, y - 392 = -4*h - 4*c. Is 13 a factor of h?
False
Let r be (-4)/9*1 - 57025/(-225). Let q = 560 - r. Is 82 a factor of q?
False
Is (-39 - (-108512)/6) + 10/6 a multiple of 24?
True
Suppose 0 = 132*o - 130*o - 388. Let f = o + -44. Is 25 a factor of f?
True
Let j = -171 + 215. Suppose 4*k = 2*g - 272 - j, 0 = g + 3*k - 183. Is g a multiple of 14?
True
Suppose -j - 2*j = -9. Suppose 0 = 2*i - j*i + 1. Is (225/(-20))/(i/(-12)) a multiple of 27?
True
Let w = 64 - 71. Let k be (10/w)/(12/(-21))*2. Suppose -k*v + 115 = -390. Is v a multiple of 22?
False
Let q(u) = -279*u - 18. Suppose 4*g + x = -1, 0*x + 3*x - 8 = -g. Is 24 a factor of q(g)?
False
Let c = 21 - 10. Let n(u) = u - 11. Let o be n(c). Suppose -3*s + 5*s - 3*y - 12 = o, 0 = 2*s - 2*y - 14. Is 4 a factor of s?
False
Let w = -491 - -657. Suppose 0 = -5*u - 5, 306 + w = 3*v - 4*u. Is 26 a factor of v?
True
Let w = -93 - -102. Let y(x) = 15*x + 224*x**2 - w*x - 9*x + 1. Does 48 divide y(1)?
False
Let f(v) = v**3 - 13*v**2 - 4*v + 1. Let b = 9 - -5. Let d be f(b). Let g = 201 - d. Does 12 divide g?
True
Let n(p) = p**3 + 26*p**2 + 11*p + 90. Let h be n(-25). Let g = 508 - h. Is 17 a factor of g?
True
Let s = 23430 - 14475. Is 2 a factor of s?
False
Let b = 1086 + 1430. Does 68 divide b?
True
Let t = -133 + 155. Suppose -t*a + 229 = 31. Is 9 a factor of a?
True
Suppose 0 = -p + 5*p - 8, 8 = 3*i + 4*p. Does 11 divide 968/(-176)*(-1 - (1 - i))?
True
Let k be 12*(-1)/(-20)*(0 + 10). Let b be (k/1)/6 + (2 - 1). Suppose 0 = -5*z - b*z + 777. Is z a multiple of 12?
False
Let y(u) = -u**3 + 3*u**2 + 3*u + 5. Let p be y(4). Let n be ((-552)/p)/(-4) - (1 - 0). Suppose 0*i - 2*v = -4*i + 186, -3*i = v - n. Is 23 a factor of i?
True
Let m be 0/(-6) - 7*1. Suppose -1409 = 10*r + 481. Is 14 a factor of (-1 - -1) + r/m?
False
Let i = -140 + 81. Let j = -53 - i. Suppose -j*x + 734 = -136. Is x a multiple of 29?
True
Let h(d) = 14*d**3 + 13 + 2*d**2 - 3*d**3 + 14*d**2 - 16*d - 10*d**3. Let f be h(-17). Let t(i) = -17*i - 14. Is t(f) a multiple of 18?
True
Is 4/(-14) + 51504*(-12)/(-63) a multiple of 9?
True
Suppose -874094 - 454690 = -186*s. Is s a multiple of 47?
True
Suppose 136090 = 49*w - 432947. Is 10 a factor of w?
False
Let g(i) = 7*i**2 + 141*i + 3331. Is g(-64) a multiple of 151?
False
Let r(s) = 7*s**2. Let l be r(-1). Let c be 150/4 + l/(-14). Suppose -5*v - c = -a, v + 3 = -0*v. Does 7 divide a?
False
Suppose 5*n - 13 - 13 = -2*l, -4*l + 3*n + 78 = 0. Let m = 12 - l. Does 30 divide (4/m)/(4/(-402))?
False
Is (2 - (-106)/(-3))/(139/(-10008)) a multiple of 20?
True
Suppose -5*b + 20683 = 3*s, -2*s - 12387 = 104*b - 107*b. Does 6 divide b?
False
Let k(p) = -p**2 + 5 - 17*p + 2*p**2 - 6 + 30. Let b be k(14). Let l = -2 - b. Does 7 divide l?
