oes 25 divide x?
False
Let r be ((-49)/(-7))/(1/(-5)). Let g = -29 - r. Is g a multiple of 3?
True
Let t = 139 - 132. Is t a multiple of 2?
False
Let m(y) = y**3 - 6*y**2 + 9*y + 15. Is m(8) a multiple of 43?
True
Let y be (0 - 16/(-20))*30. Suppose -3*r = 0, u + r = -u + y. Does 6 divide u?
True
Let z be 18 - (-3 - 1)/(-1). Let m = z - 2. Does 3 divide m?
True
Let j = 19 - 16. Let g be 3 + -2 - (j + -2). Suppose a - 62 = -3*v, -4*v + 85 = -g*v - a. Is v a multiple of 15?
False
Let m(r) = -r**2 - 16*r. Is 17 a factor of m(-7)?
False
Let v(j) = 2*j - 3. Let w(o) = -2*o + 4. Let c(g) = 6*v(g) + 5*w(g). Let m be c(2). Is (135/18)/(m/8) a multiple of 10?
True
Let z = -82 + 84. Suppose -7*o + 576 = -3*o + 5*k, -z*k + 576 = 4*o. Is o a multiple of 12?
True
Let m(k) = -4*k + 2. Let t be m(-2). Let q be ((-18)/t)/((-3)/15). Suppose 46 = -q*a + 10*a. Is 22 a factor of a?
False
Does 14 divide (-1)/(17259/(-2464) - -7)?
True
Suppose -4*z = -5*l - 1166, -2*z - 3*z + 4*l = -1462. Is z a multiple of 14?
True
Let n(i) = 1. Let h(u) = -u + 20. Let s(b) = h(b) - 2*n(b). Is s(-13) a multiple of 11?
False
Let t = 27 + -29. Let r = t + 5. Is 3 a factor of (r/((-12)/88))/(-1)?
False
Let l(o) = 22*o. Let d(a) = -a - 2. Let b(s) = s**3 + s**2 - 2*s - 3. Let n be b(-2). Let z be d(n). Does 7 divide l(z)?
False
Suppose -8*i + 151 = -81. Does 2 divide i?
False
Let r be ((-2)/(-4))/(6/48). Suppose r*o + 11 = -5. Let p(c) = -c**3 - 2*c**2 - 2*c. Is p(o) a multiple of 13?
False
Suppose -5*t - 420 = -3*h + 2*h, -2*t = -2*h + 176. Let d = t - -143. Is (2/(-6))/((-2)/d) a multiple of 10?
True
Let b(q) = -q**2 - 9*q - 13. Let z be b(-8). Does 13 divide 1 + z - (-190)/(4 + -2)?
True
Let j(d) = -d**3 + 21*d**2 - 39*d + 43. Does 8 divide j(19)?
True
Let y(r) = 14*r - 28. Let n(z) = z**3 - 12*z**2 + 3*z - 30. Let a be n(12). Is y(a) a multiple of 14?
True
Is 14 a factor of -2*1 - (-2 - (533 + -10))?
False
Suppose 0 = 5*m + 4*k + 317, m + 2*m + k = -186. Is (1 + 2)*103 - (m - -58) a multiple of 40?
False
Let k = -28 - -30. Suppose -k*g - 53 = -z - g, 0 = -5*z + g + 285. Is 6 a factor of z?
False
Suppose -r - 33152 = -33*r. Does 37 divide r?
True
Let s(w) = -4*w - 6. Let m be s(-2). Does 4 divide 33*(-4)/(-18)*6/m?
False
Let x(t) = 2*t**3 + 4*t**2 + 3*t**3 - 2*t - 6*t**3. Let c be x(3). Suppose -c - 13 = -m. Does 5 divide m?
False
Let l = -120 + 174. Is l a multiple of 6?
True
Let h = 48 - 47. Let t(o) = 69*o**2 + 4*o - 3. Does 10 divide t(h)?
True
Suppose -27 = -3*w + 2*q - 4*q, -3*q = -4*w + 36. Let o = w + -3. Suppose 0 = o*d - 3*d - 102. Does 17 divide d?
True
Is -5*51258/(-210) + 8/14 a multiple of 11?
True
Suppose 9*r - 3792 = -867. Is r a multiple of 25?
True
Let j(t) = -176*t + 36. Is 21 a factor of j(-6)?
True
Suppose 3*c = 106 + 23. Suppose -46*b + c*b + 114 = 0. Is b a multiple of 11?
False
Let k(q) = -q**3 + 18*q**2 - 27*q - 3. Does 3 divide k(15)?
True
Let s(i) = -i**3 - 14*i**2 - 15*i - 3. Let m(j) = j**3 - 5*j**2 + 5. Let t be m(3). Does 7 divide s(t)?
False
Suppose -2*r + l - 136 = 0, l + 118 = -4*r - 142. Is 64/(-48)*r/4 a multiple of 11?
True
Suppose -3*t = -9 - 24. Suppose 0 = -3*j + j - x - 58, j = -5*x - t. Let y = 55 + j. Is y a multiple of 4?
True
Suppose 6*r - 1448 = 448. Does 47 divide r?
False
Suppose 10*v - 12*v = 136. Let z = -53 - v. Does 11 divide z?
False
Let x(r) be the second derivative of 8/3*r**3 + 0 + 6*r + 5/2*r**2. Is 23 a factor of x(4)?
True
Let x(g) = -2*g**3 + 2*g**2 - 2*g + 1. Suppose -2*y + 6 - 4 = 0. Let k be x(y). Is k/(2 - (-116)/(-56)) a multiple of 12?
False
Does 2 divide (668/(-12) - -5)*18/(-6)?
True
Let k be 1 - 9/(-4)*(-8)/(-3). Suppose -k*p - 2*p = -378. Is p a multiple of 6?
True
Let l(j) be the first derivative of j**3/3 + 15*j**2/2 + 11*j - 12. Does 8 divide l(-15)?
False
Suppose -3*c = -0*c + 2*q - 46, 3*c + 4*q - 56 = 0. Is 4 a factor of c?
True
Let p(g) = -85*g + 30. Is p(-6) a multiple of 5?
True
Suppose -3731 = -17*d + 4276. Does 13 divide d?
False
Let u be (12/(-10))/((-2)/5). Suppose -u*m - 270 = -3*s - 2*s, 0 = -3*m. Is s a multiple of 14?
False
Suppose 5*k - 18*k + 23712 = 0. Does 16 divide k?
True
Let c = 23 + -26. Let r = c - -16. Is 4 a factor of r?
False
Let y(s) = -2*s**2 + 77*s - 217. Is y(32) a multiple of 29?
False
Suppose 0 = -5*k - 2*j + 1080, -2*j - 107 - 109 = -k. Suppose 0 = w - 0*w + 4*s - 78, k = 3*w + 3*s. Does 10 divide w?
True
Suppose -g - 3*g - 384 = 0. Let m = g + 177. Suppose m = 8*v - 47. Does 16 divide v?
True
Let j = -142 + 220. Suppose 0 = -2*n + j + 78. Is n a multiple of 26?
True
Suppose -15*x = -5*g - 16*x + 1702, -4*x = -2*g + 694. Does 31 divide g?
True
Suppose -53 = -2*g - v, -101*v + 43 = 2*g - 102*v. Is 5 a factor of g?
False
Let u(i) = -2*i**2 + 44*i + 4. Let a be u(22). Suppose -a*w + 26 = -130. Is w a multiple of 15?
False
Suppose 6*v + 155 - 779 = 0. Does 8 divide v?
True
Suppose 17 = u + 4*x, -2*u - 3*x + 25 = 6. Suppose -2*s - u*v + 120 = 0, 4*s = s + v + 180. Does 9 divide s?
False
Suppose -4*p + h = -55, -h - 9 - 18 = -2*p. Suppose -4*v + c = -c - p, -5*v + c = -25. Let t(z) = 2*z**3 - 9*z**2 + 9. Does 36 divide t(v)?
False
Let p = 102 + -99. Let j(f) = f**2 + 4*f - 1. Let k be j(-5). Does 26 divide k*p/((-9)/(-33))?
False
Let c(g) = g**2 + 3*g + 5. Let y be c(-5). Let h be (-6)/y + (-85)/(-25). Is 17 a factor of (7 - 4)*46/h?
False
Let f(g) = 15*g**2 + 19*g + 62. Does 85 divide f(-6)?
False
Let v(q) = 412*q - 65. Does 23 divide v(2)?
True
Is 32 a factor of (23 - 0)*(-2 + 5 - -3)?
False
Let x = -23 - -23. Suppose x = -5*h + h + 856. Does 45 divide h?
False
Suppose -8 = 7*f - 232. Is f a multiple of 3?
False
Suppose 0 = 16*u - 22*u + 2340. Is 10 a factor of u?
True
Let o(x) = 3*x**3 + x**2 - 1. Let w be o(-1). Let k be (-2)/(-1) + -5 - w. Suppose t - 6 = -k*t. Is 4 a factor of t?
False
Let z = 10 + -7. Let p be ((-4)/3)/((-2)/z). Suppose -7 = -m + b, 0 = m - 6*b + p*b - 1. Is m a multiple of 4?
False
Let n(w) = 3 + w + 9 - 1. Let t be n(-5). Does 16 divide t/9*(-150)/(-4)?
False
Suppose -3*n + 26 = c - 125, 3*n = 5*c + 127. Let l = 53 - n. Does 4 divide l?
True
Let b = 59 - -103. Suppose -4*k + b = -k. Is k a multiple of 11?
False
Let y(h) = h**2 + 15*h - 242. Is y(-29) even?
True
Let j be 0 - (4 + (-21)/3). Suppose -i - 3 = -48. Suppose -4*f + 0 = -12, 4*k + j*f - i = 0. Does 3 divide k?
True
Let s(p) = -23*p - 2. Let n be (-2)/(-4) + 5/2. Let h be s(n). Does 20 divide (1 - h)*(-8)/(-12)?
False
Suppose 1492 = 2*x - 2*s, -4*x - 7*s = -5*s - 2972. Is 12 a factor of x?
True
Suppose -5*r + 139 = 2*j - 1173, 0 = 3*r - 4*j - 808. Suppose -m - 2*b = -0*b - 2, 0 = 4*m - b - 35. Suppose 5*y - m*y = -r. Does 22 divide y?
True
Suppose -2*r + 204 = 2*r. Let z = 4 + r. Suppose -4*g + z = -69. Is 13 a factor of g?
False
Let i = 506 - -708. Suppose -4*t = -r - i, -32 = -5*t - 3*r + 1494. Does 38 divide t?
True
Let j be 9/(-6)*(-8)/6. Suppose 0 = j*z - 5*g - 14, 6 = -z - 2*g - 5. Does 11 divide z - -2 - -5 - -40?
True
Suppose -y - 4 = -7. Suppose -3*w + 0*w = -y. Suppose 0 = 3*c + a + w - 133, -4*c = 3*a - 171. Is c a multiple of 33?
False
Let i(r) = r**3 - 17*r + 2. Let l be i(6). Let g = -78 + l. Does 19 divide g?
True
Let c = 28 - 16. Suppose -5*g - y = -c - 11, -3*g + 2*y = -6. Suppose g*s + 74 = -4*v + 6*v, 2*v - 54 = -s. Does 29 divide v?
True
Suppose -3*r - 4*l = -4*r + 61, 3*l - 301 = -4*r. Suppose 2*k - 223 + r = 0. Does 25 divide k?
True
Suppose -3*w + 38 = 5*i, w - 52 = -2*w + 2*i. Suppose 2*h + 1288 = w*h. Does 23 divide h?
True
Suppose 12106 - 36306 = -22*g. Is g a multiple of 25?
True
Suppose -22*o = -4280 - 11208. Does 28 divide o?
False
Let d(s) = s**3 + 9*s**2 - 5*s - 23. Suppose 2*c - 4*f = -0*f - 36, -4 = 2*c + 4*f. Let q be d(c). Let p = q - -137. Is p a multiple of 16?
True
Suppose 0 = -7*f + 11*f - 732. Does 6 divide f?
False
Let a(k) = 1 + 9 + k + 15 - 2. Is 5 a factor of a(-11)?
False
Is 63 a factor of (0 - 1811)/(12 - 350/28)?
False
Let n = -11 - -14. Suppose -2*f + n + 25 = 0. Is f a multiple of 3?
False
Let l(r) = -r**2 - 33*r + 46. Is 50 a factor of l(-32)?
False
Suppose -w + 4*t = 3*w, -t - 20 = -5*w. Let v = -80 + 113. Suppose w*i = 27 + v. Does 4 divide i?
True
Let m be (-3)/7 + (-528)/(-56). Let i = 12 - m. Is (i - -3)*13/3 a multiple of 22?
False
Suppose 