(-1)/(r*3/114)?
False
Suppose -3*d + 11 - 2 = 0. Suppose -920 = -d*z - z. Suppose -z = -0*r - 5*r. Is r a multiple of 23?
True
Let f(d) be the second derivative of d**5/20 + d**4 + 7*d**3/3 + 7*d**2 - 24*d. Is 12 a factor of f(-10)?
False
Let l(z) be the second derivative of -z**4/12 + 5*z**3/6 - 5*z**2/2 + 5*z. Let b be l(7). Let w = b - -35. Does 6 divide w?
False
Is (-1)/((-38)/8 + 5)*-63 a multiple of 3?
True
Suppose 5*o - 351 = 19. Suppose 0 = -5*x + 5, -2*x + o = 3*k - 0*x. Is k a multiple of 3?
True
Let v be 1*(-5)/((-15)/6). Suppose v*t = t. Suppose 3*c - 6*i + 3*i = 66, t = -2*c + 5*i + 44. Is 6 a factor of c?
False
Let m be 4/(-8)*5*-2. Suppose -2*c = -m*c + 384. Is 32 a factor of c?
True
Suppose -28 = 2*z + 4*h, h = -5*z + 6*h - 10. Is (((-4)/z)/1)/(4/114) a multiple of 19?
True
Suppose -j + 0*j = 0. Let r be (-4 + j/1)/(-2). Suppose -5*c = -5*a - 445, -a - 453 = -3*c - r*c. Is 13 a factor of c?
True
Let r be 11/7 - (-33)/77. Let p(u) = 5*u**2 - 2*u**r + 30 + u - 4*u**2 + u. Does 6 divide p(0)?
True
Suppose 131 = -0*i + i. Suppose -15 = -5*j, -4*j + 172 + i = 3*d. Is d a multiple of 10?
False
Suppose 12*a - 1146 - 1014 = 0. Does 6 divide a?
True
Suppose 4*a - 21 = -5*i, -18 = -2*i + 2*a - 6. Suppose 0*x + 200 = i*x. Suppose -3*j + 45 = 3*y, -5*j + y = -j - x. Is j a multiple of 11?
True
Suppose 0 = -2*u + 2*n + 42 + 358, 0 = -u - 5*n + 218. Is 20 a factor of u?
False
Suppose 30 = 3*q - 3*p, -2*q + 49 = -5*p + 14. Suppose m - 485 = -4*m + v, -3*m + 313 = -q*v. Does 16 divide m?
True
Let k(v) be the second derivative of v**6/180 - 7*v**5/120 + v**4/4 - v**3 + 5*v. Let g(p) be the second derivative of k(p). Is g(5) a multiple of 8?
False
Suppose 0 = -5*a + 2*o + o - 564, 4*o + 350 = -3*a. Let z = -7 - a. Does 10 divide z?
False
Let s be 0 - (9 - 8/2). Let h = -5 - s. Suppose u + h*u = 36. Is u a multiple of 12?
True
Let r(x) = -19*x. Let g be r(-1). Let q = g + -17. Suppose -5*h = -6*i + 3*i - 67, -4*h + q*i + 52 = 0. Does 7 divide h?
False
Let o = -94 - -98. Suppose -5*j - 4*t + 180 = -j, -o*j + 2*t = -198. Is j a multiple of 6?
True
Does 26 divide 16/(-56) + 274*(-4)/(-14)?
True
Is 21 a factor of (-41925)/(-50) + -3 + 9/2?
True
Let k(b) = -6*b**2 + 263*b - 44. Does 19 divide k(43)?
True
Let h be (-964)/(-36) - (-4)/18. Suppose p = x - 13, -3*x + h = 5*p - 20. Is x a multiple of 14?
True
Suppose 0 = -12*c + 4*c + 96. Let h(i) = i**3 - 12*i**2 + 4*i + 5. Is h(c) a multiple of 5?
False
Suppose 8*u + 16 - 48 = 0. Suppose -525 = -u*b - b. Does 15 divide b?
True
Let c(b) = -4*b**3 + 3*b**2 + 3*b + 2. Let q(i) = 8*i**3 - 7*i**2 - 6*i - 5. Let f(m) = 5*c(m) + 2*q(m). Does 11 divide f(-2)?
False
Let v = 2954 + -855. Does 38 divide v?
False
Let p(k) = 2*k**3 - 3*k**2 + k - 1. Let h be p(2). Let g be 98/10 - (-1)/h. Let u = g + 23. Does 11 divide u?
True
Suppose 16 = 4*t - 2*i + 4, -4*i - 16 = -4*t. Suppose t*s = 226 + 54. Is s a multiple of 35?
True
Suppose -3*w = -3*g - 12, w + 0*w = -5*g - 8. Suppose w = f - 13. Is f a multiple of 15?
True
Suppose 5*z - 3210 = 5*i, 2*z - 1288 = -7*i + 10*i. Is z a multiple of 89?
False
Suppose -9*g + 14*g + 2*n = 713, 5*g + 6*n = 729. Is g a multiple of 4?
False
Suppose -3*x = 556 - 64. Let f = 464 + x. Is 38 a factor of f?
False
Let z(o) = 2*o**2 - 12*o + 7. Let d be z(6). Let y = d - 4. Let q = 27 + y. Is q a multiple of 10?
True
Let h = -269 - -365. Is h a multiple of 96?
True
Suppose 0 = -3*h + 3*n - 7*n + 29, -2*n + 4 = -2*h. Suppose 0 = 4*l + 23 - h. Let c(d) = -2*d + 2. Is 10 a factor of c(l)?
False
Let k(g) = 29*g - 35. Does 42 divide k(7)?
True
Let p(z) = 6*z**2 + 16*z - 23. Let j be p(-12). Let s = -425 + j. Does 35 divide s?
False
Suppose -b + 88 = 3*b. Suppose -4*j - 5*l = -48, 0 = -0*j + 2*j + 2*l - b. Is 4 a factor of j?
False
Suppose -4947 = 43*h - 103417. Is h a multiple of 113?
False
Let f(c) = -30*c + 2. Let d be f(-4). Let z = -47 + d. Is z a multiple of 15?
True
Let w be ((-10)/(-3))/((-6)/(-9)). Suppose 0 = -0*z - z. Let v = z + w. Is v a multiple of 2?
False
Let u = -5 + 5. Let t(m) = -6*m + 8 + u - 2. Does 18 divide t(-8)?
True
Suppose 89 = 4*v - 371. Suppose 4*m - v = 61. Does 8 divide m?
False
Suppose -m = m - 10, 4*l - 5*m + 1 = 0. Suppose r - 6*r - 2*d = l, 6 = r - 2*d. Suppose 5*h + 3*y - 67 = r, 5*y - y = 4*h - 60. Is 14 a factor of h?
True
Suppose 5*q - 26*p = -22*p + 1310, 0 = -4*q - 3*p + 1048. Is q even?
True
Let p(k) be the second derivative of -k**4/12 + 7*k**3/3 - k**2 - 8*k. Let q(y) be the first derivative of p(y). Does 11 divide q(-15)?
True
Let w(y) = 118*y - 18. Let i be w(12). Let t be (i/(-9))/(4/(-6)). Suppose -b - 3*b + 318 = 3*n, 3*b - t = -5*n. Is b a multiple of 27?
True
Let k(d) be the first derivative of 7*d**4/12 + d**3/3 + d**2/2 + 3. Let r(f) be the second derivative of k(f). Is 22 a factor of r(3)?
True
Suppose 0 = -40*v + 2247 + 36953. Is v a multiple of 14?
True
Let w be -4*(-3 - 45/(-20)). Suppose -3*v = 2*m + 9 - 43, w*v - 4*m = 22. Is 5 a factor of v?
True
Does 11 divide 236/28 + -8 + 9890/35?
False
Suppose -4*w - w = -1340. Suppose -5*x + w = -x. Is x a multiple of 25?
False
Does 20 divide (-2 - (-3)/9)/(5/(-1455))?
False
Let s(b) = 4*b**2 + 8 - 3 - 8*b - 1. Let h be s(-8). Suppose -13*u = -10*u - h. Does 37 divide u?
False
Suppose 29*j = 3512 + 30969. Is j a multiple of 6?
False
Suppose 0*a = 14*a - 7000. Does 20 divide a?
True
Is (39/(-12) - 5)/(9/(-420)) a multiple of 36?
False
Suppose 3*f - 72 - 3 = 0. Let h = f - 4. Does 7 divide h?
True
Suppose 3*q = -2*k + 2*q + 1506, 2*q = -k + 759. Is k a multiple of 12?
False
Let v(w) = w**3 - 2*w. Let h(g) = g**3 + 2. Let u be h(0). Let i be v(u). Suppose i*m = 5*r + 2*m - 66, -r + 5*m + 4 = 0. Is 7 a factor of r?
True
Let d(z) = -8*z - 41. Let i be d(-6). Suppose 5 = -s + i, p = -4*s + 77. Is p a multiple of 6?
False
Suppose -15*m = -20*m + 1520. Is m/5*95/38 a multiple of 19?
True
Let i = -38 - -33. Does 11 divide (i/15 - 0)*-327?
False
Let b = 5415 + -3740. Is b a multiple of 67?
True
Let s(i) = 8*i - 4. Let u(r) = r - 6. Let y(b) = b + 5. Let h be y(4). Let w be u(h). Is s(w) a multiple of 9?
False
Is 13 a factor of ((-27864)/(-270))/(4/(560/6))?
False
Is -4*(1*9)/(0 + -1) a multiple of 18?
True
Suppose 48*o - 90 = 38*o. Is o a multiple of 9?
True
Suppose 0 = -2*c + c + 14. Suppose 2*k - 3*k + c = 0. Is k a multiple of 6?
False
Suppose -3*r + 8*r - 15 = 0. Suppose 20 = 8*n - 308. Suppose -108 - n = -r*h - 5*g, 3*h - 5*g - 109 = 0. Is h a multiple of 13?
False
Let h(o) = 9*o**2 + 2*o + 1. Let t be h(-1). Let b(m) = 1 - t*m + 6*m + 8*m + 3*m**2. Is b(-5) a multiple of 23?
True
Suppose 4*k - 31 = -19. Suppose 0*j - k*j = -18. Does 7 divide 45/j*28/6?
True
Suppose 2 = -b - 0. Is ((-16)/6)/(b/24) a multiple of 32?
True
Suppose 0 = 3*p + a + 1, -5*a - 5 = -p + 3*p. Let g be 0/(p + (-6)/3). Suppose 3*t - 38 - 49 = g. Is 5 a factor of t?
False
Suppose -3*a + 5 = y - 2*y, 7 = -3*a + 4*y. Suppose -4 = 5*o + a*m, 3*o + 6 = 2*o + 2*m. Let p = o + 18. Does 9 divide p?
False
Suppose 5*i - 5*k = 3215, 2*i + k - 1021 = 256. Suppose 16*a - 320 - i = 0. Does 20 divide a?
True
Suppose 0 = -3*z + 2*z + 5. Let l = z - -6. Suppose p - 4 = l. Is p a multiple of 3?
True
Suppose 39*h = 7997 + 5419. Does 43 divide h?
True
Suppose -345 + 69 = -2*a. Does 6 divide a?
True
Let t = 14 + -15. Let g be t/8 - 297/(-72). Let j(b) = 4*b + 1. Does 4 divide j(g)?
False
Let k = 56 + -118. Let o = 20 - k. Is 18 a factor of o?
False
Let k(a) be the third derivative of -5*a**4/8 + a**3/6 + 5*a**2. Let g be k(-2). Suppose 0 = -2*o + 3*o - g. Is 11 a factor of o?
False
Let s be -3 - (-8 + -4)/2. Let k = 23 - s. Is 3 a factor of k?
False
Let y = 253 + -139. Is y a multiple of 38?
True
Let y be ((3560/(-15))/4)/((-8)/12). Suppose -313 = -2*c - y. Is 16 a factor of c?
True
Suppose 4*f - 237 = 3*a + 2*f, 5*a - 4*f = -397. Let l = a - -192. Does 23 divide l?
True
Suppose o = -45*b + 40*b + 8146, 0 = 4*b - 5*o - 6540. Is 40 a factor of b?
False
Let w = -9 - -7. Let g be w*((-4 - 1) + 3). Is 16 a factor of 3 - ((-120)/2)/g?
False
Let t(y) be the first derivative of -3*y**2/2 + 75*y + 6. Is 19 a factor of t(14)?
False
Suppose 6*v - 1 = 11. Suppose -2*y = -v*d - 66, 6 = d + 3. Is y a multiple of 6?
True
Suppose 4*g + 25 = g - 4*l, 5*l + 17 = g. Let