f + 13 = s. Is 10 a factor of s?
True
Let d be 2/2*-23*2. Let a = 84 + d. Let h = a + -1. Does 10 divide h?
False
Suppose 2 = 3*c + 5. Is 8 a factor of (-555)/(-15) + 4 + c?
True
Suppose 21600 = 72*d - 24*d. Is d a multiple of 36?
False
Suppose -3*i + 104 = -307. Suppose 28*s - 29*s = -i. Is 27 a factor of s?
False
Let x(g) = 9*g**2 + g - 1. Suppose -4*m + 2*m + 2*v = -34, 4*m - 2*v - 62 = 0. Let d = m + -13. Does 3 divide x(d)?
True
Let u(n) = 12*n + 4. Let q be u(3). Let v = q + -17. Is 3 a factor of v?
False
Let o = 19 + -14. Suppose 2*u = o*i + 411, u + 213 = 2*u + 5*i. Suppose -2*c - 180 = -2*z, -2*z + u - 22 = -5*c. Does 27 divide z?
False
Let y(p) = -3*p + 3 + 2*p + 4*p + 4*p**2 - 5*p. Let o be y(1). Suppose o*d - 494 = 86. Is d a multiple of 29?
True
Let a = -10 - -11. Let r be 20/(-2)*a/(-2). Suppose -r*z + z = -92. Is z a multiple of 5?
False
Is 74 a factor of 0 + -7 + (-5160)/(-4)?
False
Let v(s) be the second derivative of -s**3/2 - 4*s**2 - 17*s. Does 25 divide v(-11)?
True
Let r be (-184)/(-18) - 24/108. Suppose -11*d + r*d = -187. Does 18 divide d?
False
Suppose -4*t = 5*j - 10916, -2*j + 4368 = -6*t + 8*t. Is j a multiple of 109?
True
Let x be (-22)/(-6) + 1/3. Let i be ((-666)/8)/(5/((-80)/6)). Suppose -300 = -4*p + x*g, 3*g - i = -3*p + 5*g. Does 24 divide p?
True
Is (-5348)/42*((-84)/(-8))/(-7) a multiple of 31?
False
Let p(o) = -o**2 - 8*o - 9. Let m(g) = g**2 + 7*g + 9. Let l be 1/(-3 + 2)*-3. Let j(k) = l*p(k) + 4*m(k). Does 17 divide j(-6)?
False
Suppose n - 507 = 3*p, 0*p = 5*n - 2*p - 2483. Is n a multiple of 19?
False
Suppose 2*x - 6 + 2 = 0. Let n(y) = 3*y**2 + 23*y + 13. Let w be n(-6). Does 10 divide 4/(-6)*(x + w)?
True
Let a(q) = 4 - 3*q - q**3 - q**2 - 4*q + 7*q**2. Let r = 80 + -76. Does 8 divide a(r)?
True
Let u(i) = 3*i**2 + 5*i - 4. Is u(-5) a multiple of 7?
False
Let j = -95 + 72. Let z = j + 96. Does 15 divide z?
False
Suppose -d = 0, 0*d + 90 = 3*i + 2*d. Is 12 a factor of i?
False
Let q = -31 + 70. Does 41 divide q - (-2 + 0/1)?
True
Suppose 704*h - 450 = 699*h. Does 4 divide h?
False
Let f(r) = -8*r**3 + 2*r**2 - 37*r - 8. Is f(-7) a multiple of 49?
False
Let m = -45 + 54. Let l = m + 66. Is l a multiple of 25?
True
Let l(g) = -g**3 - 5*g**2 - 3*g + 8. Let f be l(-4). Let y(t) = -36*t + 2. Let a be y(-5). Suppose f*m = 2*u - 21 - 83, 4*u - a = -5*m. Does 16 divide u?
True
Let a(t) = -3*t - 6. Let b be a(0). Is 7 a factor of 6/b + -77*2/(-2)?
False
Suppose 3*n - n = 0. Suppose n = -3*y - 4*k - 12 + 4, 4*k + 4 = -4*y. Suppose -2*u + 46 = 3*v, y*v = v - 6. Does 12 divide u?
False
Let i(o) be the second derivative of -o**4/3 - o**3/3 - 2*o**2 - 4*o. Let s be i(-2). Is 8 a factor of (-3 - -3)*-1 - s?
True
Let o be 15/(-120) - 2143/8. Does 9 divide 3/((-12)/o)*1?
False
Suppose -24215 = -21*l - 3467. Does 38 divide l?
True
Suppose 0*g - 35 = -4*s + 3*g, 2*s + 2*g = 0. Suppose 57 = s*h + 2. Let p = h - 5. Does 3 divide p?
True
Let r(m) = 2*m**2 + 12*m - 27. Does 13 divide r(6)?
True
Let f(m) = 22*m**2 - 3*m - 4. Let z be f(-2). Suppose -3*u = 3*u - z. Is u a multiple of 5?
True
Let h(c) be the second derivative of c**5/20 + 7*c**4/12 + c**3 + 7*c**2/2 + c. Suppose -4*p - 9 = -4*v - 1, -2*v - 16 = 2*p. Is h(p) a multiple of 11?
False
Suppose 0*g - 1292 = -z - 4*g, -z = 5*g - 1297. Is 14 a factor of (-4)/10 - z/(-30)?
True
Let l = 237 + -207. Is l a multiple of 11?
False
Suppose 12*d - 7*d = 0. Suppose -2*k - k = d. Suppose p - 64 = -k*p + l, 0 = 4*p - 5*l - 260. Is 15 a factor of p?
True
Let g be (-5 + 22/4)/((-2)/304). Let s = -152 + 260. Let y = s + g. Is y a multiple of 16?
True
Is 106 a factor of (665/(-49) + 21/(-49))*-53?
True
Let d = 120 - 118. Suppose -5*s + 207 = d*x, 2*s + 400 = 4*x - 2*s. Is 13 a factor of x?
False
Let p = 11 + -5. Let z = p - 3. Is z even?
False
Let m be 10/(3*(-8)/(-12)). Suppose -5*k - 3*h = -484, m*k - 283 = -h + 195. Does 17 divide k?
False
Is ((-150)/9 + 2)/((-4)/66) a multiple of 11?
True
Let z(x) = 8*x**2 - 78*x - 43. Is z(14) a multiple of 50?
False
Suppose 2*i - 26 = -10. Suppose -899 = -i*d + 317. Is d a multiple of 19?
True
Suppose 0 = 9*q - 3401 + 1043. Does 22 divide q?
False
Let b(y) = 4*y - 6. Let g = -16 - -19. Is 3 a factor of b(g)?
True
Suppose 10*f = 19*f - 26676. Is f a multiple of 19?
True
Let p be (1 - (28/20 - 0))*-5. Suppose -y - s = 2*s - 5, 0 = 4*y - 4*s - 100. Suppose p = 2*f - y. Is 11 a factor of f?
True
Suppose 11*m - 526 - 1839 = 0. Is 40 a factor of m?
False
Suppose -4*v = z - 190, 4*v - 362 = -4*z + 422. Suppose -8*t + 42 = -z. Is t a multiple of 7?
False
Let a(f) = f**2 - 15*f + 17. Let v be a(14). Let p be (5 - v) + 2 + 0. Is 19 a factor of (2/p - -3)*8?
False
Is 40 a factor of 648 + 10*9/(90/(-4))?
False
Let h be 9/4*16/12. Suppose 135 = 6*z - h. Is z a multiple of 2?
False
Suppose 4*h + 252 = 10*h. Is 14 a factor of h?
True
Let d(t) = -17*t + 2. Suppose 5*h + 0*s + 34 = s, -1 = s. Let l be d(h). Let a = l - 58. Is a a multiple of 15?
False
Let u(m) = m**2 + 3*m - 16. Let k be u(-7). Let c be -4 + k/(-9)*-6. Suppose -2*s = 0, c*s - 76 = -3*x - x. Does 3 divide x?
False
Let x(h) = 9*h**2 + 5*h - 1. Let d(p) = 8*p**2 + 4*p - 1. Let t(k) = 7*d(k) - 6*x(k). Let b be t(4). Is 7 a factor of b + (1 + 2 - 5)?
True
Let d be 13/5 + (-30)/(-75). Suppose 0*l + 84 = d*l. Is 21 a factor of l?
False
Let t be ((-80)/48)/((-2)/6). Suppose 3*v - 57 = -2*v - w, -t*v = 5*w - 65. Does 2 divide v?
False
Suppose -6 = -0*q + 3*q, 4*a + q = 30. Suppose -3*m - 2*m = 4*i + a, -4*i = 3*m. Does 7 divide (-140)/(-15) + i/(-9)?
False
Suppose -5*j + r + 363 = -0*r, 5*j = 5*r + 355. Suppose -22 + j = n. Suppose -3*x + 102 = -n. Does 17 divide x?
True
Let s = -1 + 9. Suppose -15 = s*y - 639. Is y a multiple of 13?
True
Let u = 369 - 234. Is 7 a factor of u?
False
Does 24 divide ((-69)/(-460)*24)/(2/545)?
False
Let d(a) = 4*a**3 + 3*a**2 - 4*a + 7. Let m be d(3). Suppose 5*w + 3*t - m = 8*t, 0 = 4*w + 5*t - 113. Does 27 divide w?
True
Does 3 divide (645/6)/(-5)*954/(-53)?
True
Suppose -526 = -9*a + 401. Is 8 a factor of a?
False
Let u = -239 + 237. Let q(r) be the first derivative of -19*r**2/2 + 4*r + 1. Is q(u) a multiple of 21?
True
Let r(f) = f**2 - 61. Is 5 a factor of r(9)?
True
Let v(l) = l**3 + 16*l**2 - 8*l + 38. Is v(-15) a multiple of 7?
False
Let j(y) = -y**2 + y. Let r be j(3). Let f(u) = -4*u**2 + 9 - u**3 + 4*u - 18 + 4*u + 5. Is f(r) a multiple of 10?
True
Let x be ((-20)/(-25))/((-2)/(-115)). Let s = x - 31. Does 15 divide s?
True
Let w(m) = -m**3 + 18*m**2 - 5*m - 40. Is w(15) a multiple of 4?
True
Suppose -48 + 13 = d. Suppose 166 + 53 = -3*p + 5*o, -75 = p - o. Let v = d - p. Is v a multiple of 11?
False
Let u(g) = 11*g + 1 + 4 - 10*g - 6*g. Let n = -28 - -12. Does 39 divide u(n)?
False
Suppose -133*r + 135*r - 18 = 0. Suppose 144 = -r*b + 12*b. Does 8 divide b?
True
Let v = 13 + 0. Let k(m) = m**3 - 10*m**2 - 19*m + 13. Is k(v) a multiple of 38?
False
Let k be ((-147)/(-6))/7*2. Suppose 10 = -l + k. Is (0 - -18)*l/(-9) even?
True
Is 7*(-16)/56*(-171)/1 a multiple of 19?
True
Let j(w) = -w**3 - 13*w**2 - 22*w - 5. Let o be j(-11). Let u(g) be the third derivative of g**6/120 + 7*g**5/60 + g**4/3 + g**3 - g**2. Is 8 a factor of u(o)?
True
Suppose 2*r + 26 = 4*m + 5*r, 3*r = -m + 11. Let t(a) = a**3 + 2*a**2 + 7*a. Let d be t(m). Let l = d + -144. Does 31 divide l?
False
Let t(p) = 68*p - 431. Does 17 divide t(34)?
False
Suppose 44 = 2*j + 3*i, -j + 0*j + 40 = -3*i. Let z = 20 + -39. Let u = j + z. Is u a multiple of 3?
True
Let i = -379 + 2649. Does 60 divide i?
False
Suppose -g + 40 = 2*s, 2*g - 26 = -2*s + s. Suppose -4*q + f - 44 = 0, -5*f - 40 - 15 = 5*q. Let t = q + s. Is t a multiple of 3?
False
Let t(j) = -3*j - 64. Let k be t(-22). Suppose 5*w + 390 = 5*z, k*w + 82 = z + 3*w. Is 6 a factor of z?
False
Let j be (6 + -3)*((-236)/6)/(-2). Let p = -51 + j. Is p a multiple of 8?
True
Let u(r) = -65*r + 5. Does 30 divide u(-2)?
False
Is 25 a factor of (-1 + 7 - -1)*50?
True
Let l be ((-4)/8)/((-1)/(-8)). Is (-58)/l*(4 + (0 - -2)) a multiple of 19?
False
Let s be 0/(3 - (4 + 4 - 3)). Let l(i) = 47*i + 5. Let w be l(5). Suppose 4*x = -s*x + w. Is x a multiple of 13?
False
Let u(v) = 23*v**2 - v. Suppose d + 3 = -2*d. Let f be u(d). Is 13 a factor of (52/(-3))