- g + 3 = 0. Is (a + 0)/((-10)/(-75)) a multiple of 15?
True
Let x(o) = 4 - 7*o**2 - 7*o**2 + 9*o**2 + o**3 + 6*o + 3*o. Does 8 divide x(6)?
False
Suppose 2*g = -4 - 4. Let z(u) = -13*u - 6. Is z(g) a multiple of 23?
True
Suppose -5*c + 6*u + 2537 = 5*u, 5*c + 5*u = 2555. Does 4 divide c?
True
Suppose -1248 = -3*f + 15*f. Let h = -40 - f. Does 4 divide h?
True
Let v = 1217 - 457. Is 19 a factor of v?
True
Suppose -188*s + 1540 = -184*s. Does 35 divide s?
True
Does 30 divide ((-493)/(-116))/(1/52)?
False
Let u(h) be the third derivative of -h**6/120 - h**5/12 - 3*h**4/8 - h**3/2 + 10*h**2. Is u(-4) a multiple of 10?
False
Suppose -a + 4*q + 2820 - 592 = 0, -2*a = 4*q - 4396. Is a a multiple of 92?
True
Suppose -7 = -4*m + 137. Let d = 36 - m. Suppose f = -4*h + 53, -5*f + d*f = -5*h + 60. Is 13 a factor of h?
True
Suppose -2*s - 4*c = -0*s - 744, -4*s + 5*c + 1436 = 0. Is s a multiple of 14?
True
Suppose 3*u = -5*w + 43, 4*u - 5*w - 42 = -8. Let i be (0 - 2) + -4 - 1. Let m = u + i. Is m a multiple of 2?
True
Let p(f) = -15*f + 63. Is 7 a factor of p(-7)?
True
Suppose -4*l + 5*q = -8, -2*l - q - 1 = -5. Is 42 a factor of l/((-4)/(-414)) + -10 + 13?
True
Let p(l) = l**3 + 16*l**2 + 7*l - 8. Let m be p(-16). Let u = -229 - m. Let f = u + 176. Does 15 divide f?
False
Let o(t) = -4*t - 16 - 5 + 2*t. Let p = -273 + 259. Is o(p) a multiple of 2?
False
Let p(u) = 57*u - 2. Let y be p(-1). Let x = -36 - y. Is 12 a factor of x?
False
Let l = 22 - -2. Let u be ((-25)/(-4))/(6/l). Is 9 a factor of ((-80)/u)/(2/(-15))?
False
Let t(i) = -i**3 + 4*i**2 + 2*i + 2. Let v be t(3). Let s = -13 + v. Does 12 divide ((-8)/3)/(s/(-36))?
True
Let b be 2/4*(0 + 10). Suppose 0 = 76*l - 70*l - 30. Let q = b + l. Is 4 a factor of q?
False
Let a(z) = z**3 - 6*z**2 - 13*z + 8. Let p(m) = -m. Let g be (2 - 4)*(-2)/(-4). Let c(t) = g*a(t) + 4*p(t). Is 10 a factor of c(6)?
False
Does 9 divide ((-7)/21)/((-2)/108 + 0)?
True
Let g be ((-2)/(-2))/(4/8). Suppose -4*x = -2*p, 15 = 3*p + g*p + 5*x. Suppose c = -p*w + 18, -3*c - 6*w + 2*w + 56 = 0. Is 20 a factor of c?
True
Let l(q) = -2*q**2 - 8. Let c be l(3). Let h be (-3)/(-6) - 127/(-2). Let a = c + h. Is 29 a factor of a?
False
Let v(s) = -11*s + 20. Let n be -3 + 1 - (0 + 3). Does 22 divide v(n)?
False
Let v(m) = m**3 + 16*m**2 - m + 7. Let f be v(-16). Suppose l - f = 16. Suppose -l = -0*b - b. Is 12 a factor of b?
False
Let a(g) = -g**2 + 8*g - 2. Let y(l) = l**2 + 13*l + 7. Let k be y(-13). Let p be a(k). Suppose p*b - 3*q + q = 166, -38 = -b + 2*q. Is b a multiple of 16?
True
Let y(v) = -v**3 - 6*v**2 + v + 6. Let i be y(-6). Suppose i*g - 3*g + 42 = 0. Suppose -2*q + 53 = 5*w, w - g = -2*q + 3. Is 3 a factor of w?
True
Let t(b) = -b**3 + 37*b**2 - 48*b + 52. Is t(34) a multiple of 16?
True
Suppose 4*r = 2*r + 52. Is r a multiple of 26?
True
Let s(x) = -x**3 - 4*x**2 + 2*x - 5. Let y be s(-5). Let a = y - 7. Is (8/a + -2)*75 a multiple of 25?
True
Let f(s) = 20*s + 99. Does 3 divide f(6)?
True
Suppose 3*q - 288 = -4*p, 144 = 11*p - 9*p + 3*q. Is 18 a factor of p?
True
Let t = 1372 - 0. Is 10 a factor of t?
False
Let i = 83 - -6. Let y = i + -65. Is y a multiple of 8?
True
Let x(j) = j**3 + j**2 + j + 53. Suppose -2*n = -3*n. Is 20 a factor of x(n)?
False
Let j(s) be the third derivative of -5*s**4/12 + s**3/6 - 5*s**2. Let b be j(-2). Is 12 a factor of 7*(-75)/b*-2?
False
Let o(l) = 11*l - 3. Let m be o(1). Let p(h) = 2*h**2 + 11*h - 12. Let a(z) = -z**2 - 10*z + 11. Let y(c) = 3*a(c) + 2*p(c). Is 3 a factor of y(m)?
True
Suppose 3*z + 4*u = 11 + 5, u + 7 = 2*z. Suppose 2*y = z*a + 13 - 149, -2*a + 68 = 3*y. Is a a multiple of 9?
False
Is 2 a factor of (8*(1 + 0))/((-36)/(-450))?
True
Suppose -5*t + 4*o = 293, 5*o - 39 = t + 7. Let i = -46 - t. Is i a multiple of 5?
True
Let x = -8 + 11. Let g(b) = 5*b + 2 - b**x + 3*b**2 + 0*b**3 + 0. Does 3 divide g(4)?
True
Let l be 81/2 - 14/(-28). Let j = l - -33. Is 16 a factor of j?
False
Suppose 5*g = 2*f + 2*g + 156, 2*g - 224 = 3*f. Let j = f - -103. Is 15 a factor of j?
False
Suppose -4 = -2*h + 4*v + 24, -2*h + 3*v + 27 = 0. Is 21 a factor of (711/(-18))/((-3)/h*2)?
False
Suppose -4*i = -h - 2191, 0 = 2*i + 2*h - 1334 + 236. Does 16 divide i?
False
Suppose 32*a - 40*a = -4240. Is a a multiple of 28?
False
Let z = 117 - -1428. Does 19 divide z?
False
Let b(w) = 48*w - 33. Let u be b(12). Suppose 185 = a + 4*y, 5*a + u = y + 1426. Does 24 divide a?
False
Suppose w = -3*w + 1080. Let c = w - 153. Does 26 divide c?
False
Suppose -4*f + 24 = 2*s - 12, 0 = 3*s + f - 34. Suppose -m - 13 = -4*x, -4*x = -4*m - 26 + s. Is (34/3 - 2)*x a multiple of 11?
False
Let v(x) = 2*x + 16 + 2*x**2 - 3 + 6*x. Suppose 23 = -6*t - 13. Is 10 a factor of v(t)?
False
Let q(x) = x**2 - 4*x - 9. Let c be q(9). Suppose -4*k - c - 12 = -2*f, 4*k = 4*f - 108. Is 5 a factor of f?
True
Let u(t) = 5*t**2 - t - 2. Let i be u(-1). Let p be ((-3)/12)/(i/(-80)). Suppose 50 = 2*o + 3*o - p*g, 61 = 4*o + 3*g. Does 2 divide o?
False
Suppose -49*x = -50*x + 21. Is 15 a factor of x?
False
Let j(s) = -2*s**3 + 2*s**2 - 4*s - 4. Suppose -3*h = -0 + 12. Is j(h) a multiple of 43?
True
Suppose -14*x + 565 = -9305. Is x a multiple of 10?
False
Let a = -474 + 329. Let o = a - -365. Does 22 divide o?
True
Is (-8)/28 + (-2277)/(-7) a multiple of 13?
True
Let y(s) = -8*s + 3*s + 0*s + 3*s**2 + 1. Let d be y(5). Suppose 3*j - 4*c - d = 0, -j + 2*c + 10 = 3*c. Is 13 a factor of j?
True
Let o(j) be the first derivative of j**4/4 - 7*j**3/3 + 11*j**2/2 - 5*j - 11. Is 26 a factor of o(7)?
False
Let c(v) = 6*v + 4. Let i = -14 - -11. Let y be c(i). Is 11 a factor of (-1 + -2)*y - 4?
False
Let q(i) = 10*i**2 + 23*i - 18. Let v(c) = -3*c**2 - 8*c + 6. Suppose 0 = -2*p - 4 + 8. Let j(k) = p*q(k) + 7*v(k). Does 10 divide j(-6)?
True
Suppose 0 = -3*v + 2*t + 26, -4*v - 16 + 60 = -5*t. Let a be -1 + v - 4/(-2). Suppose -a*p + 320 = -2*p. Is 20 a factor of p?
False
Let x be (4 + 27)/(1 + 0). Let m = x - 27. Is 2 + m/4 - -3 a multiple of 2?
True
Let x = -319 - 10. Let w = 176 + x. Let a = 276 + w. Is a a multiple of 25?
False
Suppose 0 = 4*a - a + 6, -938 = -2*t - 5*a. Is t a multiple of 14?
False
Let t be (-4)/10 - (-4 - 16/(-10)). Suppose 0*j = 5*j - 20. Suppose j*k - t*f = 164, 0 = -2*k + 2*f - 23 + 105. Is k a multiple of 10?
False
Let u = -84 + 86. Suppose -f = -4*x + 80, 50 = 2*x - u*f + 4*f. Is x a multiple of 16?
False
Let k = -48 - -81. Let a be (-2 - k)*(0 - 11). Is 6 a factor of a/49 - 2/(-14)?
False
Let t(q) = -q + 12. Let z be t(-8). Suppose w = -3*l + 48, -124 - z = -3*w - l. Is w a multiple of 8?
True
Let d(x) = -4*x - 5. Let l be d(-2). Suppose 0 = l*b + p - 577, 2*b + p = 55 + 330. Does 24 divide b?
True
Let y = -1499 + 2307. Is 58 a factor of y?
False
Let m = -594 - -920. Does 36 divide m?
False
Suppose -2*x - 4*j + 5842 = -8*j, 5*j = x - 2936. Is x a multiple of 8?
False
Let q = 11 - 15. Let f be 0*(1 - q/(-8)). Suppose 4*t + 2*b - 170 = f, -t - 2*t - 2*b + 130 = 0. Is t a multiple of 22?
False
Let s = 380 - 328. Let d be 8*1 - (3 - 2). Let x = s - d. Does 8 divide x?
False
Suppose 6*j - 52*j + 228942 = 0. Does 34 divide j?
False
Let p = 22 - 16. Suppose -p*i = 6*i - 840. Is i a multiple of 7?
True
Does 13 divide (-2030)/((-2)/4 - 75/50)?
False
Let y(w) = w**3 + 20*w**2 - 11*w + 53. Is y(-14) a multiple of 9?
False
Suppose 19*t = 18*t + 3. Is 31 a factor of t/(-2)*((-248)/(-12))/(-1)?
True
Suppose -11*r = -9*r - 42. Suppose 204 = 5*z - r. Is 45 a factor of z?
True
Suppose 14*o - 22*o = -3360. Is o a multiple of 6?
True
Suppose -91 - 50 = -3*m. Let w = -80 + m. Is 23 a factor of 2*-1*(7 + w)?
False
Let a = 316 - 289. Is a even?
False
Suppose 0 = 2*y + 3*c + 18, -5*y + 2*c - 18 = 8. Let m = 6 + y. Let f(x) = -x**3 + x**2 - x + 70. Is f(m) a multiple of 20?
False
Let p(a) be the third derivative of 3*a**6/40 + a**5/60 - a**4/12 + a**3/6 - 33*a**2. Is 6 a factor of p(1)?
False
Let c = 83 + -79. Let f(w) = w**3 + 2*w**2 - 3*w + 13. Does 30 divide f(c)?
False
Let k = 1771 - 1096. Suppose -k + 24 = -3*g. Does 31 divide g?
True
Let n be (-1)/((8/(-60))/((-6)/(-9))). Suppose -n*d + 361 = 81. Is d a multiple of 8?
True
Let n = 46 - -11. Is n a multiple of 6?
False
Let k = -82 - -88. Let v = 65 - 32. Suppose 0 = -5*m - q + v, -2*m