u + 3*u**2 - 2*u**2. Let a be s(6). Let y = a - -3. Is y a multiple of 9?
True
Let o(m) = 3 - m + 7*m + 5*m + 10*m**2 - 2*m. Is o(3) a multiple of 34?
False
Let h be 6*((-296)/12 - -2). Let f = h + 191. Does 11 divide f?
True
Suppose -45*b = 32*b - 142835. Does 35 divide b?
True
Let q be 1/1*(-16 + 18). Suppose 5*d - 29 = -4*v, -v - 4*d + q = -8. Is v a multiple of 3?
True
Suppose -j + h = -2, h = 4*j - 3 - 8. Suppose -9 - 36 = -j*v. Does 15 divide v?
True
Let r(f) = f**2 - 14*f + 51. Is r(27) a multiple of 67?
True
Is (-916)/(-9) - (7 + (-715)/99) a multiple of 6?
True
Let z(t) = -t**3 - 13*t**2 - t - 10. Let k be z(-13). Let c be 35/(-15) + (-2)/k. Does 14 divide (15 + c)*7/3?
True
Let f = 557 + -314. Is 9 a factor of f?
True
Suppose -30*s + 1800 = -5*s. Is s a multiple of 5?
False
Let m = 8 + -3. Suppose 0 = 2*s + 2, m*y - 85 = 5*s + 125. Does 41 divide y?
True
Suppose 2*l - 7*l = 4*d - 25, -5*l + 25 = 2*d. Let b(w) = d*w**2 + 7*w - 3*w**2 + 4*w**2 + 10. Is b(7) a multiple of 31?
False
Let q(l) = 3 - 2*l - l**2 - 12*l**3 - l**3 + 0*l**3. Let f be q(2). Let d = -67 - f. Is 14 a factor of d?
True
Suppose 0*s + 5*s = 3195. Is s a multiple of 8?
False
Let n(q) = q**2 - 8*q + 2. Let f be n(8). Suppose 0 = -5*g - f*s + 499, g - s + 299 = 4*g. Is 11 a factor of g?
True
Let w(t) be the third derivative of -t**6/120 + 2*t**5/15 - 11*t**4/24 + t**3/3 + 13*t**2. Is 8 a factor of w(6)?
True
Let r = 11 + -9. Suppose 2*k - r*p + 11 = 157, -k = 5*p - 91. Suppose 2*g = -2*y + g + k, 78 = 2*y + 2*g. Is y a multiple of 17?
False
Suppose 5*v + 20 = 400. Suppose h = 4, -5*w + 409 = 2*h + v. Suppose p - 5*l - 32 = 0, -4*l + 289 = 4*p + w. Is p a multiple of 26?
True
Let u(k) = -k**3 - 28*k**2 + 2*k + 50. Is 18 a factor of u(-29)?
False
Let z = -5 - -19. Suppose 2*p - 8 = -4*t + z, -5*t = 4*p - 32. Is 2 a factor of t?
True
Let n(d) = 7*d**2 + 76*d - 20. Does 12 divide n(16)?
True
Let o be (5/4)/((-14)/(-280)). Suppose -4*v + o = 5*w, -6*w - 2 = -v - 3*w. Let m = 13 + v. Is m a multiple of 9?
True
Let p(t) = -t**3 - 9*t**2 - 9*t - 9. Let m be p(-8). Does 56 divide 3/m*(-417)/27*3?
False
Let w(x) = 7*x**2 + 8*x - 21. Is w(5) a multiple of 3?
False
Let p(q) = -2*q**2 + 11*q + 19. Let w be p(13). Let s = w + 278. Is 10 a factor of s?
False
Let d(c) = -130*c - 1. Let n be d(2). Let i be (5/(-15))/(1/n). Suppose -2*v + i = v. Is v a multiple of 14?
False
Let q be 56 - (2 + 10/5). Suppose g - q = 29. Does 25 divide g?
False
Let h(z) = -z**3 + 2*z**2 + 4*z. Let p be h(-2). Suppose 2*s = -4*v + 6, -v + 16 = 5*s - p. Suppose -s*l = -0*l - 60. Is 4 a factor of l?
True
Let s(g) = 2*g**2 + 2*g + 8. Let h = 159 + -152. Is s(h) a multiple of 12?
True
Suppose n - 3364 = 3*n. Let k be (-4)/(-10) + n/5. Is (2/4)/((-7)/k) a multiple of 8?
True
Let x = -471 - -750. Is 85 a factor of x?
False
Is (-39)/2*592/(-24) a multiple of 37?
True
Let x = 1 - 15. Let i be 47/9 - x/(-63). Is i/15*1*15 even?
False
Suppose 0 = 6*m - 373 + 403. Let t(f) be the first derivative of -f**4/4 - f**3/3 + 4*f**2 + 6*f - 1. Is t(m) a multiple of 33?
True
Let a(j) = -j**3 + 7*j**2 + 9*j - 8. Let t be a(8). Let x(b) = -b**3 + b**2 - b + 19. Is x(t) a multiple of 10?
False
Let a = 7 + -10. Let g be -2 - ((a - 73) + 3). Suppose -211 = -5*m - g. Is 14 a factor of m?
True
Suppose -9 - 31 = -4*o. Suppose 11*d - o*d = 0. Suppose d = i, l + 4*i - 20 = -0*l. Does 19 divide l?
False
Let z = 20 - -4. Does 16 divide z?
False
Let d(b) = b**2 - 6. Suppose -3*m + 15 = -12. Is 15 a factor of d(m)?
True
Suppose -v + 4*q = 5*q - 155, -3*v = -q - 465. Is v a multiple of 8?
False
Let d = 11 + -4. Let l(y) = 3*y**2 - 33*y + 44. Let n be l(10). Let s = d + n. Is 4 a factor of s?
False
Suppose 0 = -3*d - 2*s + 1, 0 = -4*d + 2*s + s + 24. Suppose b - 49 = d. Does 26 divide b?
True
Suppose 0 = -f - 5*k + k, 0 = f - k. Suppose 91 + 17 = r. Suppose 2*w - r - 30 = f. Is w a multiple of 23?
True
Suppose 2 = n, 3*i - i - 5*n = 1130. Does 10 divide i?
True
Suppose -5*n = -q - 73, -7*q + 58 = 5*n - 3*q. Suppose -5*f + 124 - n = 0. Is f a multiple of 17?
False
Let m = 1079 + -923. Does 3 divide m?
True
Let c(y) = -y**2 - 3*y + 2. Let t be c(-6). Suppose -114 = -g - 105. Let z = g - t. Does 7 divide z?
False
Suppose 24 = -9*v + 13*v. Suppose v*k - 8*k = -120. Is k a multiple of 12?
True
Suppose 0 = 5*t + 5*b + 5, -4*b - 5 = -9*b. Does 11 divide -1 + 1 - -86 - t?
True
Suppose 10*x = -21*x + 27528. Is x a multiple of 74?
True
Let x(n) = 2 + 4 + n + 5. Let d be x(-11). Is 15 a factor of (-38 + 1)*(d - 1)?
False
Suppose -3*o - 5*k - 7 = 3, 5*o + k = 20. Let p(n) = 66*n - 50. Does 14 divide p(o)?
True
Suppose 4*o - 8 = 4. Suppose 4*p - 12 = f, f - o = -p - f. Is (p + 48)*(-2)/(-6) a multiple of 9?
False
Let v be (-4)/((-8)/22) - -3. Let k be 6/(-14) - (-202)/v. Let d = k - 4. Does 5 divide d?
True
Suppose 0 = -5*k + 2*k + 5337. Suppose -11*t - 371 = -k. Is t a multiple of 32?
True
Suppose -4*w + 3*d = -274, -3*d + 262 = 9*w - 5*w. Is w a multiple of 9?
False
Suppose 2*m - 142 = 290. Is 27 a factor of m?
True
Let l = 36 - 67. Let i = l - -71. Is 4 a factor of i?
True
Let d(u) = -u**3 - u**2 - 3*u - 2. Suppose 2*b = 3*v - 4, 5*b + 5*v = 4*b - 2. Let y be d(b). Let w = y - -16. Does 12 divide w?
True
Suppose x = 2, 170 = 5*s - 4*x - x. Does 16 divide (-1082)/(-10) - (2 - s/20)?
False
Let o(z) = 3*z + 8. Let i be o(-7). Suppose 4*t = -0*t + 148. Let h = i + t. Does 8 divide h?
True
Let g(s) = -52*s - 6. Let j be g(-8). Suppose 5*w - 1144 = -3*n, 4*w - j = 4*n + 518. Let c = w - 164. Is 22 a factor of c?
True
Suppose 4*y - 433 = -u, 14*y + 433 = u + 17*y. Does 41 divide u?
False
Suppose -223 = -2*a + 5*u - 18, 4*u - 396 = -4*a. Is (-5)/(a/828)*(-4 + -1) a multiple of 23?
True
Let m(u) = 112*u + 32. Is m(6) a multiple of 16?
True
Suppose 4*u - 39 = 5*i - 156, 5*i - 127 = -u. Suppose -4*m + 10 = m, 13 = f + 4*m. Suppose f*t + 5*x - i = 0, -5*t - 3*x - 10 + 45 = 0. Is t a multiple of 3?
False
Let d = 2320 - 1248. Is d a multiple of 16?
True
Suppose 5*a - 222 = 38. Let n = a + -24. Is n a multiple of 7?
True
Suppose 7*a = -5*x + 12*a + 1870, -3*x - 5*a = -1146. Suppose g + 1069 = 4*o - x, -1094 = -3*o - 4*g. Does 22 divide o?
False
Does 62 divide 2/(-8) - (3229/(-4) - -1)?
True
Let i(k) be the second derivative of k**3/6 - 3*k**2 + k. Let x be i(8). Let u(a) = 9*a**2 + 2*a - 1. Does 13 divide u(x)?
True
Suppose h - 3*y = 0, y = -3*h + 3*y. Suppose 0 = -h*g - 10*g + 370. Is g a multiple of 8?
False
Suppose -226 = -5*j + 2*j - 4*s, 0 = 4*j + 2*s - 298. Suppose 24 = -5*r + j. Does 15 divide (0 + -1)*(-20 - r)?
True
Let y be 4*(0 + 3/6). Suppose 4*n = -3*v - 11 - 0, -3*n - 8 = y*v. Let z = v + 4. Is z a multiple of 3?
True
Let y = 243 - -69. Is y a multiple of 12?
True
Let p(x) = -3*x**2 - 16*x - 4. Let v(b) = -2*b**2 - 16*b - 5. Let n(l) = 3*p(l) - 4*v(l). Let k be n(16). Suppose -199 = -k*f + 185. Is f a multiple of 8?
True
Let l = 16 + 7. Suppose 11*q - 12*q = -l. Let a = q + -20. Is a even?
False
Let y(l) = 12 + 8*l - 1 + l**2 - 5*l - 9*l. Is y(13) a multiple of 14?
False
Let h = 9 + -7. Suppose -2*y = h*y - 24. Is (4 - y) + 10 + 0 even?
True
Let q(p) = -p**2 - 24*p - 3. Let g be q(-12). Suppose 0*m - 3*m + 3*h + g = 0, -3*h = 5*m - 251. Is 11 a factor of m?
False
Let p(d) = 56*d - 3. Let k be p(-1). Let x = 87 - k. Is 51 a factor of x?
False
Let i = 108 - -654. Is i a multiple of 62?
False
Let d = -1061 + 1661. Suppose -d = -8*n + 2*n. Is 20 a factor of n?
True
Suppose 157 = 2*t - 35. Suppose -2*f + t = 284. Let y = -36 - f. Is y a multiple of 20?
False
Suppose 5*b + 234 = -3*m + 709, 0 = -2*m. Let n = b + -44. Does 17 divide n?
True
Suppose -n + 10 = -6*n. Is 19 a factor of (2 - n)*(-4 - -23)?
True
Let k(f) = -f**2 - 3*f + 2. Let u be k(-3). Suppose 0 = -4*d - 3*y + 8, -u*d + 27 = d - 3*y. Does 4 divide d?
False
Suppose -u - 1307 = -5*b + 415, 1383 = 4*b + u. Is b even?
False
Suppose 5*f - 2*y - 898 = 1428, -f - 3*y = -455. Is f a multiple of 16?
True
Let i = -2147 - -3080. Is 54 a factor of i?
False
Let x(y) = y**3 + 17*y**2 - 29*y + 18. Is 36 a factor of x(-18)?
True
Let w(v) = -3*v + 12. Let f be w(4). Is 2 a factor of f + (-65)/(-20)*4?
False
Let f = -54 + 94. Suppose 3*c + f = 4. Let b = 25 + c. Is b a multiple of 7?
False
Let q(z) = 8*z**2 -