 -5*z. Is u a multiple of 14?
False
Let k(r) = 3*r**2 - 10*r - 9. Suppose 3*o - 21 = -3*g - 0*o, -2*o - 49 = -5*g. Let x be k(g). Suppose 5*s = x + 76. Is s a multiple of 22?
True
Is 284/(-355) + ((-6044)/(-5) - -2) a multiple of 22?
True
Let z(x) = -x**2 - 7*x + 292. Is z(0) a multiple of 8?
False
Let p(h) = h**2 - 4*h - 2. Let v be p(5). Let l(k) = k + 12. Let m be l(-8). Suppose -m*z - v*g + 63 = -z, 4 = 4*g. Is z a multiple of 20?
True
Suppose 4*i - 2*z = -544 + 2980, -5*i + 3*z + 3044 = 0. Does 45 divide i?
False
Suppose 4*z = -y - 541, -2*y - 3*y = -3*z + 2751. Let t be (-2 + -1)*10/(-15). Is t/(-4) + y/(-18) a multiple of 14?
False
Suppose -9 = -6*o + 9. Suppose o*k - 208 = 2*v, 3*v - 5 = -2. Does 11 divide k?
False
Suppose -5*x + 28 = 3*i, -30 = -4*i - 0*i - 3*x. Suppose -i*j = -3*j. Suppose -h = -5*l - j*h + 25, -3*l + 15 = h. Is l even?
False
Suppose 5*r - 25 = 0, -s = -6*s + r + 125. Suppose u = 24 + s. Is 10 a factor of u?
True
Suppose -2*w = -5*c - 243 - 2, 5*c = 5*w - 590. Let n = w - 226. Let r = 182 + n. Is 13 a factor of r?
False
Suppose -45 - 15 = -12*k. Suppose -k*f = -3*m - 253, 4*m + 3 = -1. Is 12 a factor of f?
False
Let a(c) = 6*c**3 - 5*c**2 - 6*c - 6. Let s(r) = 5*r**3 - 4*r**2 - 5*r - 5. Let n(i) = 4*a(i) - 5*s(i). Let f be n(-1). Suppose -y = -f - 35. Does 18 divide y?
True
Is (-10 - -7)*(-11)/1 even?
False
Let f(h) = 31*h**2 - h. Let p be f(-1). Suppose -2*k + p = -150. Does 12 divide k?
False
Let g = -1310 + 1843. Is g a multiple of 41?
True
Suppose 222 = 3*i + 4*b, 5*i - 2*b = b + 341. Let y = i + -26. Is y a multiple of 10?
False
Suppose 5*m + 504 = 7*m - 2*z, 5*z = -5*m + 1250. Let b = m - 155. Is b a multiple of 12?
True
Suppose -4*i + 1 = 2*j - 1, 0 = 2*j - 5*i - 20. Suppose j*p - 4*v - 943 = 249, 3*p + 2*v = 724. Is 20 a factor of p?
True
Does 9 divide 22061/52 - (-1)/(-4)?
False
Let f(s) = s**3 + 5*s**2 + s - 4. Let i be f(-2). Does 17 divide 73 - i/4*2?
False
Let a(c) = 26*c**3 + 2*c**2 + c - 4. Is a(3) a multiple of 33?
False
Let g = -13 + 31. Suppose -5*y = 2*p + 17, -3*y + y - g = -2*p. Is 30 a factor of (-302)/y - (-4)/(-10)?
True
Let p be 104/(-4 - 0 - -6). Suppose -p = -a + 4. Is 14 a factor of a?
True
Suppose 0*s - 254 = -4*s + 3*v, 2*s = 4*v + 132. Let r be ((-12)/3)/((-8)/(-156)). Let y = s - r. Does 35 divide y?
True
Let k = 2701 - 1499. Does 14 divide k?
False
Let r(x) = x**2 - 127. Is 42 a factor of r(13)?
True
Suppose -4*o + 372 = -5*u - 213, -4*o + 580 = -4*u. Suppose n = 3, 4*f - n = -3*n + 22. Suppose -f*k + o = k. Is k a multiple of 14?
True
Suppose 2*c - 2*q - 216 = 286, -3*c - q = -737. Does 10 divide c?
False
Suppose -3*x - 6831 = -5*i, 5*i + 3*x - 808 = 6041. Is 57 a factor of i?
True
Suppose -5*c + c = 3*g - 13, -4 = 4*g. Suppose c*q + 1 = 25. Is 2 a factor of q?
True
Let v(r) = -4*r**2 - 5*r + 11. Let u be v(5). Let h = 26 - u. Suppose 2*j - 2*d - h = -0*d, -d - 5 = 0. Is j a multiple of 14?
False
Let h be 6 + (2 - 16/4). Suppose h*x = -4*b + 56, b - 12 = -0*b + x. Is 13 a factor of b?
True
Suppose o + 12 + 0 = 0. Suppose -2*s - 4 + 2 = 0. Let b = s - o. Is 9 a factor of b?
False
Let o(m) = -m**3 - 6*m**2 - 8*m - 4. Let a be o(-4). Let v(q) = -2*q**3 + 6*q**2 + q - 11. Does 20 divide v(a)?
False
Let a = 13 - 8. Suppose -2*d - a = -63. Suppose 3*y - d = 2*z + 23, 5*y = -2*z + 108. Does 6 divide y?
False
Let f(h) = 4*h**2 + 0 + 7*h**2 + 1 - h. Let u = -46 + 47. Is 4 a factor of f(u)?
False
Let t(d) = -7*d - 8*d**2 + 3*d**2 + 3 + 3*d**3 + 9*d. Is t(3) a multiple of 10?
False
Suppose 13*p = 5627 + 5241. Is p a multiple of 11?
True
Let n = -6 + 164. Is n a multiple of 6?
False
Let p(u) = -9*u**3 - 3*u**2 - 3*u - 2. Let s = 24 + -26. Is 16 a factor of p(s)?
True
Suppose 82 = i + 3*m, 3*i + 2*m = 4*i - 77. Suppose -11 = -5*f + i. Is f even?
True
Let b = 2459 + -1271. Is 22 a factor of (0 + 1)/(18/b)?
True
Let f(g) = -g**3 + 4*g**2 + 5*g - 6. Let n(w) = 2*w**2 + 6 - w**3 - 2 - 6*w**2. Let c be n(-4). Does 14 divide f(c)?
True
Suppose 521 + 233 = 2*c + 2*w, -2*w - 1126 = -3*c. Is 30 a factor of c?
False
Suppose -2 = -22*p + 23*p. Let u be (-1 + (-2)/(-3))*3. Does 4 divide p*(0 - 5) - u?
False
Suppose -3016 = -24*r - 2*r. Is r a multiple of 10?
False
Let a be (11 + -7)*(78/(-8) - -1). Let n = a + 155. Is n a multiple of 10?
True
Does 22 divide 2587 - -19 - (-3 + 0/(-2))?
False
Suppose q - 2*y + 3*y - 138 = 0, q - 134 = 3*y. Suppose 8 = 5*l - q. Is 10 a factor of l?
False
Does 90 divide (-4 - (-5 - -331))*-3?
True
Let t(y) = -5*y**3 + 10*y**2 + 6*y + 1. Is t(-4) a multiple of 9?
False
Let t = -8 - -12. Suppose -f - 15 = -t*f. Is 2 a factor of f?
False
Let r(y) = 3*y**2 - 49*y + 263. Does 3 divide r(8)?
True
Let l be 1 - (-18)/(-15) - (-147)/35. Suppose -7*b + l*b = -108. Does 5 divide b?
False
Suppose -4*n = -303 - 1005. Does 8 divide n?
False
Let i(k) = 6*k**2 - 27*k + 47. Does 26 divide i(-9)?
False
Let s(b) = -4*b + 0*b**2 - b**3 - 3*b**2 - 5 + b + 2*b. Let x be s(-4). Let n = 51 - x. Is n a multiple of 12?
True
Let s(g) = -g - 9. Let d be s(-7). Let f be -1 - 81/(-1 + d). Suppose -4*b - f = -n, 5*b + 52 = 4*n + 2*b. Does 4 divide n?
False
Suppose -13*i + 3218 = -12148. Is 11 a factor of i?
False
Let y = -60 + 64. Does 35 divide y/(-4) + 528/3?
True
Let c(d) = -33 + 6*d + 9 - 39 + 4. Does 3 divide c(14)?
False
Suppose 4*c = -0*c. Let r be 1*2 + (-4 - -5). Suppose 0 = -4*l + 8, r*b + 2*b - l - 138 = c. Does 14 divide b?
True
Suppose -5*p - 5*s + 5 = 0, -p + s - 4 + 3 = 0. Is 4 a factor of (-2 - p - -4)*3?
False
Let i(u) = 2*u - 9. Let a be i(11). Suppose 5*k = 3*x - 4*x + a, -x = -3*k - 21. Does 9 divide x?
True
Let m(w) = 76*w**2 + 8*w + 21. Is 13 a factor of m(-5)?
False
Let a(k) = k**2 - 13*k + 112. Is a(13) a multiple of 7?
True
Let u = -850 - -906. Does 2 divide u?
True
Suppose 4*w - 3*b = 6*w - 1049, 1048 = 2*w + 2*b. Is w a multiple of 17?
False
Is -2 - (-5)/(-10)*(-440)/2 a multiple of 12?
True
Let u = -1572 - -2295. Does 13 divide u?
False
Let m(f) = -2*f**3 - 4*f**2 + 3*f + 4. Let k be m(-4). Suppose -4 - k = -p. Is 12 a factor of p?
True
Suppose 0 = 3*k - k - 68. Suppose -4*m - 324 = 2*q, 47 = -m - 4*q - k. Is m/(-2)*2/3 a multiple of 27?
True
Let c(v) = -v**3 + 10*v**2 - v + 3492. Is c(0) a multiple of 18?
True
Is 4 a factor of (4/3)/(-1*4/(-468))?
True
Suppose 3*x = -3 + 18. Suppose -3*z - x*b = -519, -z - 2*b = 3*b - 183. Does 30 divide z?
False
Suppose -700 = -2*k - 46. Suppose 3*a - 4*w = 254, 4*a - w = 2*w + k. Is 13 a factor of a?
True
Let l = 3 - 3. Let z be -30 + 2 + (l - -1). Let p = 54 + z. Is 9 a factor of p?
True
Let y = -564 - -1686. Is 6 a factor of y?
True
Suppose -51 = -2*q - 17. Suppose -q*l + 252 = -10*l. Is l a multiple of 12?
True
Let s(o) = 7*o**2 + 13*o + 10. Let p(y) = -8*y**2 - 14*y - 11. Let k(z) = -6*p(z) - 7*s(z). Let l be (-78 - -69) + 2 + (-1 - -3). Is 2 a factor of k(l)?
True
Let o(v) = -2*v**3 + 39*v**2 - 2*v - 6. Let u be o(19). Suppose -2*k = k + 4*l - 179, -5*k - 2*l = -u. Is k a multiple of 6?
False
Let a = 970 - 47. Does 27 divide a?
False
Let g be 110/6 + (-34)/(-51). Let b = g - 16. Suppose -b*u - 57 = -4*i, -3*u = i + 2*u - 43. Is i a multiple of 7?
False
Let p = -37 + 39. Suppose 0 = p*s - 115 - 189. Is 38 a factor of s?
True
Suppose 234*u - 236*u + 6946 = 0. Is 127 a factor of u?
False
Suppose -g = 4, 5*m - 5*g + 0*g + 55 = 0. Let f be (9 + -3)/((-2)/m). Suppose 2*y = -3*y + f. Is 9 a factor of y?
True
Let k(l) = l**2 - l - 1. Let w be k(0). Let o be ((-14)/3)/1*(-108)/(-42). Is 3 a factor of -1 + w + 2 - o?
True
Suppose f + 3*f = 20. Suppose 0 = 4*d + 3*u - 277, -f*d + 141 = -3*d - u. Is 10 a factor of d?
True
Let q = -269 - -642. Does 13 divide q?
False
Suppose -2*b = 2*u - 6*u + 158, 2*u - 74 = 2*b. Suppose 5*w + 0*w = -140. Let p = u + w. Does 14 divide p?
True
Let j = -5 - 11. Let i = -12 - j. Suppose -u + i*u = 57. Is u a multiple of 5?
False
Does 20 divide (-5352)/(-15) - (-3)/15?
False
Suppose -26*g + 527 = -175. Does 5 divide g?
False
Let q = 726 + -638. Suppose 104 = -4*v + z - 99, -3*v - 2*z = 166. Let u = v + q. Is 9 a factor of u?
True
Let z be (0/(12/3))/(1 + 0). Suppose z*r - r + 48 = -3*c, -3*c = 3. Is 15 a factor of r?
True
Let o = 7 + 14. Suppose 5*c = f - 2 + o, -c - 1 = -5*f. Is (2 - f)/((-1)/(-37)) a multiple of 10?