 30 a factor of z?
False
Let x be (4 - 1) + (-3 - (-9)/3). Suppose -2*n - x = -9. Is 23 a factor of (n/9)/((-3)/(-207))?
True
Suppose -3*t = -3*n - 3681, -3*t - 37*n + 32*n + 3657 = 0. Is 50 a factor of t?
False
Let d(q) = -8*q - 41. Let s be d(-7). Is 26 a factor of (-6200)/(-60) + (-5)/(s/(-2))?
True
Let w be 2 + 0 + -1 + (-88 - -92). Suppose 0 = w*o + 5*s - 195, 2*o + 9*s = 5*s + 72. Does 7 divide o?
True
Let q(v) = 3*v**2 + 35*v + 578. Is 10 a factor of q(-53)?
True
Let p be 3963/12 - (-1)/(-4). Let y = -555 - -561. Suppose y*h = h + p. Is h a multiple of 22?
True
Let i(z) be the third derivative of 71*z**4/24 - 100*z**3/3 - 208*z**2. Is i(16) a multiple of 45?
False
Suppose -28*k - 440 = -38*k. Let w = -9 + 1. Is 24 a factor of 72*(k/w)/(-11)?
False
Suppose -218736 = -9*m - 47*m. Does 6 divide m?
True
Let i(r) = 2*r - 41. Let x(p) = -203 + 0*p + 243 + 0*p - 2*p. Let q(m) = -6*i(m) - 5*x(m). Does 18 divide q(-22)?
True
Let o(s) = 10*s**2 + 15*s - 6. Does 79 divide o(4)?
False
Let y(v) = -2*v**3 + 59*v**2 - 2*v - 398. Is y(24) a multiple of 108?
False
Suppose 0 = 31*a - 32*a - 7. Let k(r) = -r**3 - 5*r**2 + 17*r + 58. Does 4 divide k(a)?
False
Let t = -70 - -103. Suppose 4*w - 168 = 2*m, 2*w - 3*w = -5*m - t. Suppose 47 = 2*d - w. Is d a multiple of 15?
True
Let q = 15938 - 11934. Is 91 a factor of q?
True
Let s = -60 + 65. Suppose 0 = 2*q - s*q - 3, 5*a - 1 = -4*q. Is 10 a factor of a*3/(-12) - 363/(-12)?
True
Is 274 a factor of ((-8)/3*4932/120)/(15/(-150))?
True
Does 2 divide -4 + 3267 + (-378)/(-21) + -11?
True
Suppose 0 = 5*z - 3*d - 3159 - 4454, -2*z = -3*d - 3038. Suppose -6*q - z = -11*q. Is q a multiple of 11?
False
Suppose -35*i = -37*i. Let v(t) = -2*t + 160. Let n be v(i). Suppose -2*h = -2*u + 4*u - 108, -4*u + n = 3*h. Does 8 divide h?
True
Suppose -22*n + 62 = -48. Suppose n*i + 3*z - 548 = 0, -8*z - 322 = -3*i - 3*z. Does 18 divide i?
False
Suppose 4 = -3*y + 16. Suppose 3*q = 15, y*v - 5*q - 1377 = 574. Is v a multiple of 64?
False
Let o(h) = -124*h - 407. Is o(-33) a multiple of 15?
False
Let f(q) = -q**3 - 9*q**2 - 56*q - 350. Let y be f(-7). Suppose 0 = 5*l + 15, 0 = -5*i + 5*l - l + 322. Let c = y + i. Does 2 divide c?
True
Let q = -360 + 358. Is 10 a factor of 1/(-8) + 12085/40 + q?
True
Suppose -15 - 56 = -5*i - 2*c, -3*c = -9. Let b = 11 - i. Is b/(-13) + (-33098)/(-169) a multiple of 14?
True
Let s be (1 - 1)/((-4)/(-4)). Suppose -2*j + 2*z - 684 = s, 3*z + 1690 = -5*j + 4*z. Let u = j + 494. Is 24 a factor of u?
False
Suppose 0 = -119*w + 121*w - 4. Is w - ((-21)/7 - 401) a multiple of 7?
True
Suppose -4*t - 5*g + 140 = 0, 2*g = -4*t - 6 + 134. Suppose 3*o + 42 = z - 6, 5*o = -2*z - 69. Let a = t + o. Is a even?
False
Suppose g = 8 + 544. Suppose 5*y - 626 = -3*w - 186, -2*y - g = -4*w. Is w a multiple of 10?
True
Let l(q) = q**2 - 23*q + 95. Let z be l(5). Suppose -z*m = 3*n - 1597, -3*m + 0*m = 4*n - 2133. Is n a multiple of 48?
False
Let g(f) = 9*f - 51 + f + 7*f - 51 - f. Is g(11) a multiple of 3?
False
Let z = -19104 - -21305. Does 231 divide z?
False
Let s be 1/(9/4 + -2). Suppose -a - 10 = s*a. Let l(h) = -9*h + 3. Is 7 a factor of l(a)?
True
Suppose 4*p = -4*r - 124, 0*r + 2*p = -4*r - 124. Let l = 31 + r. Suppose -2*j = -l - 52. Does 16 divide j?
False
Suppose -4*d + 40749 = 3*z, 506*d - 503*d - 30562 = -2*z. Is 36 a factor of d?
True
Suppose -4*b - 2487 = d + 4*d, 2*d + 988 = -5*b. Let f = -259 - d. Does 33 divide f?
False
Let q be (-117)/(-72) + (-3)/(-8). Suppose 0 = -o + 5*o - 4*z - 5176, o + q*z = 1303. Does 49 divide o?
False
Suppose 27*q + 111798 = 31*q - g, -6 = -3*g. Is q a multiple of 130?
True
Let q(o) = o**3 + o**2 - 7*o - 1. Let d be q(4). Let i = d - 49. Suppose h = i*h - 153. Does 9 divide h?
True
Let n be 13*(-3)/(117/(-6)). Is -6 - (n/2 + 1413/(-9)) a multiple of 10?
True
Suppose 2*p - 4*y = 2, y - 60 = -2*p - 3*p. Let q = p - 8. Suppose -q*i = 3*f - 10 - 35, 2*i - 5*f = 2. Is i even?
False
Is 2/168*21 + 4127/4 a multiple of 6?
True
Let t(x) = -x**3 - 6*x**2 - 13*x. Suppose -w + 18 = -2*j, j - 2*w = -0*w - 9. Is 8 a factor of t(j)?
True
Let x(m) = 85*m - 38. Let g be (-568)/71 - (-10 + 0). Is 22 a factor of x(g)?
True
Let p(n) be the second derivative of n**5/30 + 11*n**4/12 + 7*n**3/2 - 2*n. Let h(l) be the second derivative of p(l). Does 7 divide h(11)?
False
Suppose 0*p + 3*p - 13 = d, -2*p - d + 7 = 0. Suppose 9*g - 40 = p*g. Suppose 395 = -g*j + 1435. Is 44 a factor of j?
False
Suppose 0 = 7*s - 9*s - 2*s. Suppose a + p + 111 = 585, s = -a + 3*p + 466. Suppose -4*i + 2*i = -a. Is 10 a factor of i?
False
Suppose -4*g + 3 = 3*w - 10, -3*g + 13 = -w. Let h be (-6)/3*(174/4 - w). Let a = 28 - h. Is 39 a factor of a?
True
Let q be 1/(7/112*2). Is 15*(1 - q - -33) a multiple of 6?
True
Suppose 21*b + 46*b = 3931359. Does 130 divide b?
False
Let z = -5629 - -14287. Is 74 a factor of z?
True
Let r(k) = -2*k**3 + 9*k**2 - 8*k + 12. Let z be r(4). Is 2 a factor of (1 + 18/z)*72/(-42)?
True
Let d(c) be the second derivative of -3*c**5/20 - c**4/2 + c**3 + 3*c**2 + 6*c + 1. Is 10 a factor of d(-5)?
False
Suppose 0 = -4*p - 0*p + 24. Let j(g) = 155 - 159 + 94*g - 82*g. Is 17 a factor of j(p)?
True
Is 58 a factor of (-160746)/(-36) - 40/(-48)?
True
Suppose -3*j + 8861 = m - 12656, 0 = -3*m + 21. Does 10 divide j?
True
Suppose -b + 5 - 14 = 0. Let v(g) = -5*g - 16. Let x be v(b). Suppose -28*d - 100 = -x*d. Is 15 a factor of d?
False
Let b(k) be the third derivative of -3*k**4/8 - 4*k**3 + 48*k**2. Is b(-18) a multiple of 7?
False
Let v = -60 + 211. Suppose -4*j = 11 - v. Let x = j - 7. Is x a multiple of 10?
False
Let w = -820 - -815. Is 45 a factor of (-4)/(-10) - (5373/w - -6)?
False
Let o be (-1)/(1 - 6/5) - 0. Suppose -o*b = 4*x - 2*b + 87, -3*b - 15 = 0. Let t = x - -32. Is t even?
True
Let x = 886 + -864. Is (-3)/(-1) + (693 - (14 - x)) a multiple of 22?
True
Suppose 4*b = 3*y + 1417 - 20, -2*y + 2 = 0. Suppose 11*q + b = 3122. Is q a multiple of 7?
True
Does 82 divide 4634 - 52/(-39)*-6?
False
Suppose -j = 2 + 4. Suppose 0 = 5*o + o - 6. Is (-4)/j*(o + 227) a multiple of 19?
True
Is 47 a factor of 17/(-51)*6*38382/(-4)?
False
Let w be 76/10*60*6/(-4). Let o = -348 - w. Is o a multiple of 16?
True
Suppose -4*x - 4*z = 32, x = 3*x + 4*z + 16. Does 22 divide 11/308*x + (-156)/(-7)?
True
Let o be (-1 - (0 - 0)) + 1. Let z be 5/(-30)*-66 - -33. Is 11/(z/(-8))*(o - 10) a multiple of 5?
True
Let f be (4 + -11)/7 + -661. Let l = f + 746. Does 28 divide l?
True
Let q(g) = g**2 + 42*g. Let k be q(-42). Suppose k = l - 2*n - 850, -l + 5*n + 838 = 9*n. Is 47 a factor of l?
True
Suppose 36*a = -17*a + 458874. Is a a multiple of 39?
True
Suppose -5*q - 404 = -1099. Let l = -21 + q. Let u = -46 + l. Is u a multiple of 11?
False
Let p = 15 + -26. Let y(b) = 3*b**2 + 15*b - 6. Let a be y(p). Suppose -h + 71 = -2*f, a = 3*h + 5*f - 4*f. Does 13 divide h?
True
Let g = -541 + 793. Suppose g = 2*s - 560. Does 51 divide s?
False
Suppose -5*g - 15033 = -3*p, -372*p - 4*g + 25092 = -367*p. Is 33 a factor of p?
True
Suppose -588*c = -596*c - 42403 + 177483. Is c a multiple of 11?
True
Let h = 65522 - 29330. Does 24 divide h?
True
Let p(y) = 4*y + 387. Let c(r) = 8*r + 777. Let j(a) = 3*c(a) - 5*p(a). Is j(0) a multiple of 71?
False
Let o be (5 - 1)*2/8. Let h be (-5)/10*(o - 9). Suppose 0 = 3*w - h*l - 311, -4*l = -2*w - 2*l + 208. Is w a multiple of 57?
False
Is 205 a factor of 9/(-12) + 115846*8/64 - -2?
False
Is 32 a factor of (7 + -11 - -42)*944?
True
Suppose 2229 = -0*v + 2*v - 9381. Is v a multiple of 17?
False
Let z(g) = -g**3 - 8*g**2 + 6*g - 5. Let a be z(-5). Is 66/a - 2668/(-5) a multiple of 13?
True
Let x(f) = -32*f + 35. Let o be x(12). Let g = 1031 + o. Does 22 divide g?
True
Let s(w) = -w**3 + 15*w**2 - 4*w + 20. Let a be s(15). Let r = -33 - a. Is 2 a factor of r?
False
Suppose -15*n + 2230 = -1580. Suppose -f - 54 = -n. Is 25 a factor of f?
True
Let t(z) = z**2 + 2*z - 3. Let q be t(1). Suppose q = r - 4 + 1. Suppose -r*y + 6 = u, -3*y = u + u - 12. Is 6 a factor of u?
True
Let z = 37 + -28. Suppose 0*c + z*c = 0. Suppose -4*q - 31 - 61 = -2*n, 4*n - 4*q - 196 = c. Does 13 divide n?
True
Does 23 divide 23*2/6*(-1290)/40*-4?
True
Let u = -39 + 39. Let r be (2 - (u - -5)) + 61. Suppose -7*t + r +