z - 5. Is b(t) a multiple of 6?
True
Let h = 531 - -28. Is 58 a factor of h?
False
Let a(r) = 4*r**2 - 60*r + 296. Is a(29) a multiple of 19?
False
Let z = 110 + 307. Is 8 a factor of z?
False
Let c(h) = 47*h**2 - 13*h + 20. Is 12 a factor of c(4)?
True
Suppose 2*w = w + 176. Suppose -5*p + 981 - w = 0. Does 36 divide p?
False
Let f = -2585 + 2739. Does 7 divide f?
True
Let a = -67 - -86. Suppose 224 = a*l - 11*l. Is 14 a factor of l?
True
Let z = -1611 - -3110. Does 24 divide z?
False
Suppose 3*g - 10*p = -5*p + 1004, 0 = -4*g - 3*p + 1300. Is g a multiple of 38?
False
Let s = 303 - 206. Let u = s + -68. Is 10 a factor of u?
False
Let m(n) = -n + 80. Let k be m(0). Suppose 3*c - 57 = 57. Suppose u + c = 5*p - k, p - u = 22. Does 6 divide p?
True
Suppose 5*d - 8*d = -18. Suppose 43 = 7*s - d. Suppose -34 = -3*i + 3*p - s, 5*p = -2*i + 53. Is i a multiple of 7?
True
Let m(z) = 21 - 22*z + 2*z + 0*z - 5. Is m(-7) a multiple of 21?
False
Let j(f) = f - 21. Let d be j(19). Let o be d/6*(-7 + 4). Is o/(2 - (-39)/(-21)) a multiple of 5?
False
Suppose -o + 3*d + 462 = o, 2*d - 940 = -4*o. Is 36 a factor of o?
False
Suppose -2*h + 0*h + 334 = 0. Suppose 3*y = 4 + h. Does 29 divide y?
False
Let j(w) = 3*w - 7. Suppose -7*d + 8*d + 3 = 0. Let p(m) = m**2 + 2*m + 1. Let x be p(d). Is 5 a factor of j(x)?
True
Suppose 5*z - 2 = 4*z. Suppose 42 + 38 = z*m. Does 7 divide m?
False
Does 36 divide 656/2 - (25 - 21)?
True
Let o(q) = 84*q**2 + q. Suppose 6*i - i + 3*u = -20, u = -5. Let x be o(i). Suppose -x - 147 = -5*k. Is 11 a factor of k?
False
Suppose -19 = -4*q + 433. Suppose -2*s - 5*t = -81, 3*s + 4*t - q + 9 = 0. Is s a multiple of 14?
True
Let x = -93 + 100. Suppose -2*u = -3*v - 7 - x, 3*u = 4*v + 23. Is u a multiple of 6?
False
Is 224/((32/104)/2) a multiple of 13?
True
Let b be (-11)/3*18/(-6). Let m(r) = -3*r - 3*r**3 + b - 10 + 15 + 12*r**2 + 4*r**3. Is m(-12) a multiple of 13?
True
Is 25 a factor of 1634*(7 - 16)/(-9)?
False
Is 6 a factor of (-2)/(-5) - (-14 - 13256/10)?
False
Suppose 4*y = -19*y + 6187. Does 5 divide y?
False
Let y be -2 + -2 + (0 - -9). Let v(r) = 6*r + 70. Let f be v(-7). Suppose -y*l = -f - 27. Is l a multiple of 3?
False
Suppose 0 = -3*b - 13 + 253. Suppose 2*f - b = 56. Is 7 a factor of f?
False
Let v be (-5)/(25/(-255)) + 3. Suppose -4*o = -t + 207, o + v + 332 = 2*t. Is t a multiple of 32?
False
Let k be 12*((-2)/12 + 5/12). Suppose -k*r + 13 = -26. Does 13 divide r?
True
Let y(s) = 52*s. Let o be y(2). Let a be -1*(6 - 3) - o. Let k = a + 180. Is 14 a factor of k?
False
Suppose 28 = 3*c + 7. Suppose 4*k - c = 9. Suppose k*b = 132 + 16. Does 27 divide b?
False
Let s(j) = 2*j**2 - 9*j + 11. Let v be s(5). Suppose -12*d + v*d - 352 = 0. Suppose 0 = -4*q + 4*w + d, -w - 14 = -q - 4*w. Is q a multiple of 5?
True
Suppose 3*x + 0 = -z + 1, 2*z + 12 = x. Suppose 2*i = -x*i + 16, 0 = -5*h - 5*i + 400. Does 12 divide h?
False
Let c(u) = -18*u - 3. Let m(a) = -a. Let o(r) = -c(r) + 6*m(r). Let z = -15 + 19. Does 10 divide o(z)?
False
Let f(y) = -139*y - 112. Does 13 divide f(-7)?
False
Let m be ((-8)/(-20))/((-1)/(-5)). Let r(k) = 11*k**3 + 4*k**2 - 2*k - 2. Let n be r(m). Suppose n = 5*y - 2. Is y a multiple of 19?
False
Does 19 divide (-29184)/144*(-36)/3?
True
Suppose 0 = -3*b + 2*b + 5*c + 155, 2*c = b - 155. Does 19 divide b?
False
Suppose 4*f - 4800 = -3*o, 3*o + 73 = f + 4873. Does 114 divide o?
False
Suppose 116 = 3*u - 37. Does 17 divide u?
True
Let z(m) = m**3 + 7*m**2 - m - 6. Let n be z(-7). Let t(w) = 6*w - 2. Let v be t(n). Suppose -46 = -v*s + 14. Does 11 divide s?
False
Suppose 786 = -u - 2*u. Let q = u + 181. Let k = 138 + q. Does 24 divide k?
False
Let l = -75 - -86. Suppose -4*b - 8 = -80. Is 15 a factor of b*(l/3 - 2)?
True
Let c be (-2 + 1)/((-15)/(-135)). Does 4 divide (-70)/(-6) + (24/c - -3)?
True
Is (-3)/(((-42)/72)/7) even?
True
Suppose 3*r - 25 = -2*r. Suppose r*o + 4*v = 31, -5*o - 5 = 3*v - 32. Is 3 a factor of o?
True
Let g(k) = 12*k**3 - 4*k**2 + k + 1. Suppose 0 = h - 4*h + 4*r + 26, 5 = -r. Is 11 a factor of g(h)?
False
Let u(r) = 88*r**2 - 3*r + 1. Suppose -3*f + 6 = c, -4*f + 5*c - 10 - 1 = 0. Does 8 divide u(f)?
False
Let z = -46 + -12. Let k = z - -94. Is k a multiple of 2?
True
Let j = -2237 - -3240. Is 17 a factor of j?
True
Let w be 9/12 - (-14)/(-8). Let h be (-2 + 1)/(1 - 2). Does 4 divide 2 + 20/(h - w)?
True
Let g be (-2)/(-4)*(-6 - -6). Suppose g = 4*z, 3*n = z - 41 + 695. Is n a multiple of 38?
False
Suppose -v + 3 = -s, 8*s + 9 = 3*v + 4*s. Suppose -v*r = -r - 312. Suppose 0*g + r = 3*g. Does 16 divide g?
False
Let m(v) = -209*v + 152. Is 57 a factor of m(-5)?
True
Suppose 6*j - j = -2*l + 17, 0 = -5*l - 5*j + 35. Suppose -5*g + i = -5, 10 = -l*g + 3*g - 2*i. Suppose 235 = -g*r + 5*r. Does 14 divide r?
False
Let x(u) = u**2 - 3*u - 4. Let h be x(4). Suppose h = -3*a - a. Suppose a = -5*z - 0*z + 70. Is 6 a factor of z?
False
Suppose 3*s + 33 + 207 = 0. Let b be s/(-28)*14/4. Does 24 divide ((-48)/b)/(2/(-10))?
True
Suppose 15*f = 22*f - 15491. Is f a multiple of 43?
False
Let a be 5/2*(-5 - 49/(-5)). Suppose a*f - 8*f - 224 = 0. Is f a multiple of 8?
True
Is (8 - 108/18)/(2/364) a multiple of 26?
True
Let a be 1 - 1/(4/(-12)). Suppose -5*z + 239 = 4*o, -30 = -z - a*o + 5. Suppose -z = -x + 3*s, -3*s = -4*x - 2*s + 237. Does 20 divide x?
True
Suppose 2*c - 728 = -4*z, -6*z = 4*c - 11*z - 1495. Is c a multiple of 37?
True
Suppose -10*j = -751 - 2049. Is j a multiple of 28?
True
Suppose 4*v - v - 250 = -2*d, -2*v + 3*d = -158. Does 14 divide 18/27 + v/3?
True
Let z(l) = -2*l**2 - 4*l + 5. Let m be z(0). Suppose -p + 2*y = -137 - 187, 0 = 2*p + m*y - 648. Does 18 divide p?
True
Let j(y) be the first derivative of -y**2/2 + 2*y - 13. Let l be j(2). Suppose l*b = 3*b - 135. Does 9 divide b?
True
Suppose l + 1 - 22 = 0. Does 3 divide l?
True
Suppose -621 = -s + a, -3*s + 1884 = -2*a + 6*a. Is s a multiple of 26?
True
Let i(r) = 3*r**3 - 17*r**2 - 21*r + 8. Is i(7) a multiple of 9?
False
Let k be ((-35)/168)/(1/(-4))*6. Suppose -73 = -k*j + 167. Is j a multiple of 5?
False
Suppose -6*x = -11*x + 470. Suppose 5*q = 161 + x. Suppose 3*w = 5*r - q, -r - 5*w + 4 = 5. Is r a multiple of 9?
True
Let t(h) = -2*h - 1. Let x be t(-4). Suppose 12*v - 880 = x*v. Suppose 5*u = u + v. Is 12 a factor of u?
False
Suppose -28*u = -30*u + 54. Suppose -28*a + u*a + 56 = 0. Is 28 a factor of a?
True
Let r(d) = -d**3 - 9*d**2 - 10*d - 21. Let k be r(-9). Let c = 10 + k. Is 14 a factor of c?
False
Let x(h) = 20*h**2 + 68*h - 17. Does 14 divide x(-7)?
False
Let c be (15/2)/(2/4). Let m = c + -8. Is 17 a factor of 34/(-4)*(-28)/m?
True
Let p(f) = 23*f**2 + 7*f + 13. Is 30 a factor of p(-4)?
False
Let s be ((-1552)/(-20))/(27/(-15) - -2). Suppose -s = -8*f - 4. Does 23 divide f?
False
Suppose -c - 8 = 2*c - 4*y, 5*y = 2*c + 17. Suppose -c*r = -1 + 5. Is (r - -2)/((-2)/(-28)) a multiple of 7?
True
Suppose 0*k - 4*k + 1652 = -4*x, 5*k - 2*x = 2056. Is k a multiple of 26?
False
Does 47 divide (-8319)/(-59)*(40/(-6))/(-2)?
True
Let o(r) = 162*r**2 + 66*r + 134. Is 65 a factor of o(-2)?
True
Let d = -7 - -11. Suppose 2*g + 76 = -3*g + d*i, 3*i = 12. Is (-97)/(-4) + 3/g a multiple of 9?
False
Suppose -201 = -a - 5*i + 526, 4*i - 732 = -a. Is 16 a factor of a?
True
Is 458*(-3)/(-2) + (-16 - -9) a multiple of 3?
False
Let c = -226 - -586. Does 12 divide c?
True
Suppose s = -4*s - 0*s. Suppose s = -k + 126 + 36. Is k a multiple of 15?
False
Let z(i) = -i - 1. Let r be (-3 + 1)*15/6. Let t be z(r). Is 392/16 + (-6)/t a multiple of 3?
False
Let b = 95 - -1592. Is b a multiple of 17?
False
Suppose 0 = -2*w + 4*w + 30. Let z = w - -20. Suppose 8 = u - 0*u - z*j, 0 = -4*u + 4*j + 32. Is u a multiple of 3?
False
Let r(x) = 5*x**2 + 3*x - 21. Is r(4) a multiple of 2?
False
Let r = -27 - 21. Let j be (-536)/r + 2/(-12). Does 20 divide j/(22/84) + -2?
True
Let o(u) = 2*u**2 + 12*u + 3. Let m be o(-6). Does 9 divide (-262)/(-6) + 4/m?
True
Let n(f) = -14*f - 22. Let j(m) = -13*m - 22. Let v(h) = -5*j(h) + 4*n(h). Does 17 divide v(7)?
True
Let y = -1 + 4. Does 11 divide (2/y)/(30/1215)?
False
Suppose 5*d - 4*h - 69 = 0, -4*d - h + 0*h = -72. Let g = d - 17. Suppose 76 = 2*q - g*q. Is 8 a factor of q?
False
Suppose -53 + 1241 = 6*j. 