*z - p - 33 = 0, 5*z = 0. Is 60 a factor of a?
False
Let t = -2445 - -3553. Is 9 a factor of t?
False
Let u(w) = w**3 - w + 25. Let x be u(0). Is 10/x + (-896)/(-10) a multiple of 32?
False
Let i(q) = -32*q**3 - 14*q**2 + 5*q + 2. Let v(h) = -21*h**3 - 9*h**2 + 3*h + 1. Let o(w) = -5*i(w) + 8*v(w). Is 16 a factor of o(-2)?
False
Suppose 0 = 126*o - 138*o + 2628. Does 73 divide o?
True
Is 21 a factor of 612/((-81)/36 + (-10)/(-4))?
False
Suppose -5*d + 3648 = 7*d. Is 28 a factor of d?
False
Let i be (-1 + 9/12)*-8. Suppose r + i*r = 0. Suppose -3*j + 5*b + 8 = r, -13 = -4*b + 7. Is j a multiple of 4?
False
Let i = -743 + 1235. Is 41 a factor of i?
True
Let n be (-2)/((-1)/(0 + -3)). Let x = 5 - n. Does 11 divide x?
True
Let p(b) = 3*b + 10. Let j(l) = -4*l - 11. Let n(g) = 7*j(g) + 6*p(g). Does 20 divide n(-10)?
False
Suppose -3*q - 143 = -p - 0*p, 0 = 4*p + 4*q - 604. Let z = -96 + p. Is z a multiple of 7?
False
Is ((-610)/(-50))/(3/30) a multiple of 61?
True
Let o(u) = 17*u - 47. Let w be o(7). Suppose 5*a - w = a. Is a a multiple of 3?
True
Let g = 14 + -36. Is 27 a factor of ((-1162)/(-28))/(2 - g/(-12))?
False
Suppose 11184 = 24*b - 7296. Is 56 a factor of b?
False
Is 9 a factor of -11 - (-4 - -14 - 4620)?
True
Suppose -2560 = -25*r + 30*r. Let c = -302 - r. Is 35 a factor of c?
True
Suppose 0 = -0*m - 2*m + 66. Suppose 0 = -g - 3, 4*w - 498 = -6*g + 8*g. Suppose -2*y = o + 4*o - m, 5*y = o + w. Is y a multiple of 11?
False
Let r(f) = -f**3 + 2*f**2 + f + 74. Let m be r(0). Suppose -2*y + 4*u + 126 = 0, -y + m + 9 = 2*u. Does 5 divide y?
False
Suppose 3*q + 142 = -5*l + 593, 2*q - 3*l = 269. Let p = q - 67. Is 16 a factor of p?
False
Does 13 divide (192 - (5 - 7))*9?
False
Let q = 97 - 44. Suppose -q = -5*t + 117. Does 22 divide t?
False
Let i(y) = y**3 - 30*y**2 + 45*y + 18. Is 39 a factor of i(29)?
False
Let z be (-155)/(-15) - (-1)/(-3). Let b be (-5)/(z/(-4)) - 0. Is 27/(b - 1) + -2 a multiple of 8?
False
Let d be 1*4 + 1010/(-10). Let n = -17 - d. Let i = n + -40. Is i a multiple of 20?
True
Suppose 4*k = b + 20, -k + 20 = 2*b + 6. Is 36 a factor of ((-26)/4)/((-1)/k)?
False
Let z be (-15 - -57) + (-1 - 0)/(-1). Let k = 178 - z. Is k a multiple of 8?
False
Let d(k) = 2*k**3 + k**2 + 17*k + 17. Suppose 4*s = 3 + 13. Let o(f) = f**3 + f**2 + 8*f + 8. Let p(h) = s*d(h) - 9*o(h). Does 16 divide p(-5)?
True
Is 12 a factor of 434/((-9)/(-9)) - -2?
False
Suppose 4*b + 3*u + 330 = 0, -3*u = b - 6*u + 75. Let o = -56 - b. Let r = o - 17. Is r a multiple of 3?
False
Let o be 670/70 + 8/(-14). Let w = 12 - o. Suppose -89 = -w*h - 17. Is h a multiple of 5?
False
Let u = 274 - 184. Does 9 divide u?
True
Suppose -10*r - 1296 = -19*r. Is 12 a factor of r?
True
Suppose 23*c - 1275 = 18*c. Suppose -3*h + c = 15. Is 16 a factor of h?
True
Let z(o) = -2*o - 9. Let u be z(-7). Suppose 0*t + 5*x + 370 = u*t, 3*x + 12 = 0. Is t a multiple of 10?
True
Suppose -3*h = 3*m - 498, 3*h + h - m - 659 = 0. Let o = h + -117. Is o a multiple of 12?
True
Suppose 20*i - 18*i = 10. Suppose -3*l + 123 = -i*t, -2*l = 4*t - 176 + 72. Is 18 a factor of l/23 - (-70 + 0)?
True
Let k(q) = -3*q**3 - q**2 + q + 1. Let p(c) = c**3 + c**2 - c. Let z(u) = k(u) + 4*p(u). Suppose 5*a + 17 = x, -a - 4*x = -x - 3. Does 3 divide z(a)?
False
Suppose 3*n - 42 = -k, -19*k + n = -14*k - 274. Does 18 divide k?
True
Let n(v) = -v**3 - 11*v**2 + v + 14. Let t be n(-11). Suppose -11 - t = -a. Is a a multiple of 14?
True
Let l(c) = c**3 - 5*c**2 + 3. Let y be l(4). Is (y - -14)*1*149 a multiple of 20?
False
Does 15 divide (1740/(-8))/(-29)*2*42?
True
Let v = 25 - 21. Let p(t) = t**2 - 2*t - 3. Let j be p(v). Suppose -j*b - 168 = -8*b. Is 16 a factor of b?
False
Does 4 divide 23/161 + 937/7?
False
Suppose 2 = v - o, 0*v - 5*v = o - 16. Suppose 0 = -2*g - w + 157, w = -2*g - v*w + 148. Is g a multiple of 9?
False
Suppose -2*r + 4*w + 4 = -12, 2*w = -2. Suppose r*f - 24 = 4*f - 5*u, 5*u - 2 = -f. Suppose 12*h = 13*h - f. Does 22 divide h?
True
Suppose 3*a - 4*a = -4. Suppose 0 = q + 4*d - 42, -3*d + 27 = q - 2*d. Suppose -3*w = -3*f - 15, -2*w - a*f = w - q. Is 3 a factor of w?
True
Is 1/(20/8224)*(-25)/(-10) a multiple of 3?
False
Let k be 5/(-6 + 1)*(2 + -103). Suppose 4*c - k + 49 = 0. Is 4 a factor of c?
False
Let x(s) = s**3 - 11*s**2 - 13*s + 12. Let d be x(12). Suppose d*y - 6 = -2*y, -4*y - 87 = -3*i. Suppose 0*p = -3*p + i. Does 5 divide p?
False
Suppose 1 = n - 1. Suppose -21 = g + n*g. Let l = -3 - g. Is 2 a factor of l?
True
Let y = 33 + -26. Let r = y + 0. Let v(c) = c**2 - c + 8. Does 25 divide v(r)?
True
Let f(h) = 4*h - 4. Let v be f(4). Let y = -137 + 73. Is y/v*3/(-2) a multiple of 8?
True
Suppose 1105 = 5*c + 3*x, -4*c = 3*x - 367 - 514. Is 14 a factor of c?
True
Is 43 a factor of (-4)/6 - ((-773)/3 - 3)?
False
Suppose 4*s = 2*o - 1808, -4*o + 3*s + 908 = -3*o. Is o a multiple of 15?
False
Let o = -190 - -246. Does 4 divide o?
True
Suppose -3*a = 3*f - 1353, -12*a = -2*f - 17*a + 905. Does 5 divide f?
True
Let h be 1784/12 - 25/15. Let o = 250 - h. Is 46 a factor of o?
False
Suppose 5*c - 10 = -5*w, 2*c - w - 4*w - 25 = 0. Let a = 9 - c. Suppose -97 = -a*v + o - 2, 4*v - 2*o = 90. Does 18 divide v?
False
Let f = 11 + -8. Let o(d) = d**2 + 2. Let y be o(f). Suppose -u = 5*z + y, -5*z - 26 + 6 = 0. Is 9 a factor of u?
True
Let l be (18/3)/(6/(-20)). Let d be (0 + 12)*(-10)/l. Suppose 65 = d*q - q. Is 13 a factor of q?
True
Let s(n) be the first derivative of n**4/4 + 8*n**3/3 + 2*n + 8. Let t be s(-8). Suppose -t*m + 71 = -3*z, 0 = -5*m - z - 37 + 206. Is m a multiple of 17?
True
Let r(v) = v**3 - 7*v**2 + 6*v - 8. Let q be r(6). Let i = 242 - 238. Let y = i - q. Does 4 divide y?
True
Is -1*(-2)/(-11) + 269993/1199 a multiple of 9?
True
Suppose -5*o = 610 - 2315. Does 64 divide o?
False
Let k = -2029 - -2881. Is k a multiple of 12?
True
Let a(t) = -t**2 - 4*t - 3. Let f be a(-3). Suppose 0 = 5*z + 4*u - 0*u - 526, -3*z - 4*u + 314 = f. Is 30 a factor of z?
False
Let b = -769 + 1749. Does 14 divide b?
True
Does 36 divide 10/(15/(-3)) + 398?
True
Let j = -9 + 43. Suppose 5*o - j = 5*z + 86, -30 = -2*o - 4*z. Does 12 divide o?
False
Suppose -2*k - 4*q - 378 = 0, 5*k - 3*q + 411 + 573 = 0. Let f = 287 - 8. Let t = k + f. Is 12 a factor of t?
True
Let i be 118*1*6/12. Let j = i + -26. Let q = -13 + j. Does 11 divide q?
False
Does 7 divide 0 + 176 + (-6)/10*5?
False
Let p = 35 + -43. Is (6/p)/((-4)/416) a multiple of 26?
True
Suppose -5 - 4 = -3*y. Suppose -22 = -5*d - y*h + h, 0 = -4*h - 16. Suppose d*c - 115 = 119. Is c a multiple of 13?
True
Suppose -5*k - 104 = -9*k. Suppose j - 1 = k. Let r = j - 13. Is 7 a factor of r?
True
Suppose 2*b - 3 = -b. Suppose -5*f = b - 16. Suppose -f*h - 2*z + 102 = -z, -136 = -4*h - 2*z. Is 11 a factor of h?
False
Let m = 32 - 20. Suppose -7*o + 4*o + m = 0. Suppose 3*a + 2*a = -2*t + 83, o*a + 90 = 3*t. Is 17 a factor of t?
True
Let f(m) = 426*m**2 + 6*m + 7. Is 92 a factor of f(2)?
False
Let r = -3107 + 4896. Is 87 a factor of r?
False
Let m(b) = -b**3 - 12*b**2 + 13*b + 4. Let g be m(-13). Suppose -c + 166 = 5*j, -c + g*j + 34 = -159. Does 13 divide c?
False
Let n = 60 + -60. Suppose -3 = -2*a + 3. Suppose -2*f + 47 - a = n. Is f a multiple of 19?
False
Let z = 77 - 130. Is 9 a factor of 10/30 + z/(-3)?
True
Let p = -244 - -114. Is 9 a factor of p/(-4 - 1) + 1?
True
Suppose -3*c = -v + 68, 4*c = -3*v + c + 228. Let w = 23 + v. Is w a multiple of 13?
False
Let g be (-22)/(-11) - (0 - 0). Suppose -4 = g*u - 0. Is 9 a factor of (u - (-3 - -1)) + 21?
False
Let m(u) = -u**2 + 2*u + 68. Let b = -16 + 16. Is m(b) a multiple of 35?
False
Suppose 4*w = -5*c + 197 + 290, 2*w = 5*c + 221. Is w even?
True
Let a(l) = 5*l**2 + 9*l - 91. Is a(9) a multiple of 32?
False
Suppose 4*m = -4*v + 3380, -22*m = -3*v - 20*m + 2515. Is v a multiple of 29?
True
Suppose -7*d + 2*d + 510 = 0. Let h = 17 - d. Let j = h + 124. Does 14 divide j?
False
Let x(q) = -3*q + 13. Let m(r) = 6*r + 5. Let p be m(-2). Is 17 a factor of x(p)?
True
Let x(h) = h**3 + 2*h**2 - h. Let v be x(0). Is 6 a factor of 4*2 - (-4 - v)/4?
False
Suppose 0 = 2*a - 8 + 4. Suppose 4*u = o - a*o + 316, -3*u - 2*o + 242 = 0. Is 14 a factor of u?
False
Let n = -7 + -9. Let v = 78 + n. Does 6 divide v?
Fa