es 9 divide ((-8)/(-5))/(b/(-180))?
True
Let l = -36 - -16. Let b = l + 23. Suppose o + 5*q - q - 70 = 0, 0 = 3*o - b*q - 225. Is o a multiple of 13?
False
Let i(p) = 2276*p**2 - 26*p - 26. Is i(-1) a multiple of 34?
False
Let h = -287 + 352. Is 5 a factor of h?
True
Let w(v) = v**2 + v**2 + 1363 - 11*v - 1325. Is w(6) a multiple of 22?
True
Let b(l) be the second derivative of -19*l**5/20 - l**4/12 + l**3/6 + l**2/2 + l. Let q be b(-1). Is 6 a factor of (-31)/(-3) + 12/q?
False
Let d(c) = -c**3 - 19*c**2 + 22*c + 81. Is d(-20) a multiple of 2?
False
Is ((-30)/(-1))/((-4)/(-38)) a multiple of 19?
True
Suppose 0 = -35*h + 27*h + 5024. Is 44 a factor of h?
False
Let p = -66 + 89. Suppose p*q = 22*q + 159. Is q a multiple of 28?
False
Let c(j) = 3*j + 8. Let k be c(-2). Suppose k*v + 396 = 6*v. Is v a multiple of 19?
False
Does 17 divide 33/(-132) + (1946/8)/1?
False
Suppose 5*q - 18*y + 23*y - 2680 = 0, -4*y - 1622 = -3*q. Is q a multiple of 70?
False
Suppose c - 5 = 3. Suppose c*p - 1200 = -0*p. Does 10 divide p?
True
Let r(x) be the second derivative of x**4/12 + x**3/2 + x**2 + 27*x. Does 21 divide r(4)?
False
Suppose 0 = -3*n + 97 + 143. Is n a multiple of 40?
True
Let t = -38 + 40. Suppose -r = 2*k + t*k - 103, 5*r - 2*k = 537. Is r a multiple of 14?
False
Let q(y) = 2*y**2 - 7*y - 14. Suppose -4*o + 116 = -4*m, 37 = 4*o + m - 94. Let n = o + -25. Is q(n) a multiple of 5?
True
Does 66 divide 6/8 + -2 + 31562/8?
False
Let v = -999 - -1083. Does 9 divide v?
False
Is 44 a factor of (-1 - -265)*(-48)/(-18)?
True
Let x = 417 + -126. Does 4 divide x?
False
Let s(l) = -l**3 + 3*l**2 + 7*l - 1. Let d be s(4). Let x = d + 42. Is 19 a factor of x?
False
Suppose -53*q + 10336 = 531. Is q a multiple of 7?
False
Suppose -3*o - 4*m = -252, -5*m - 105 = -5*o + 280. Does 5 divide o?
True
Let m(x) = -x + 5*x + 0 - 2. Let k(c) = -15*c - 489. Let p be k(-33). Is m(p) a multiple of 3?
False
Let v(j) = 2*j**2 + 4*j + 19. Is v(12) a multiple of 17?
False
Let z(d) = d**3 + d**2 + 3*d - 1. Let k be z(-6). Let h = -123 - k. Suppose h = p + 4*o, 0*o = -4*p - 3*o + 317. Does 16 divide p?
True
Let d = -30 - -34. Suppose -d*y + 99 = b, -b - 76 = -3*y - 0*y. Is 5 a factor of y?
True
Suppose 0 = 3*p - 5*h + 11, 6*h + 4 = 4*p + 4*h. Suppose -p*r - 27 = -o - 2*r, 3*r - 63 = -3*o. Does 17 divide o?
False
Let l = -918 + 998. Is 16 a factor of l?
True
Let x(p) = 2*p**2 + 0*p**2 - 7*p**2 + 13*p + 6*p + 25. Let i(s) = -2*s**2 + 10*s + 12. Let n(w) = -7*i(w) + 3*x(w). Is 9 a factor of n(-9)?
True
Let d(n) = 3*n - 112. Is 2 a factor of d(44)?
True
Suppose 9*i = -37*i + 43470. Is i a multiple of 35?
True
Let n(s) = 147*s + 19. Is n(9) a multiple of 22?
True
Let s = -17 - -19. Suppose -27 = s*h - 17. Does 4 divide -1 + 4 - h/1?
True
Is -2 + 1 + 0 - (-149 - -96) even?
True
Let q(j) = j**3 - 11*j**2 + 27*j + 2. Does 13 divide q(11)?
True
Let f(k) = -k**3 - 10*k**2 - 12*k - 5. Let g be f(-9). Let o be (-12)/4 + g/2. Let s = -4 + o. Is s a multiple of 2?
True
Suppose 0 = 3*t + 2*h - 9, 3*t + 3*h = 8*h + 9. Suppose -t*q + 5 = -2*w, w + 5 = 4*q - 0. Is 6 a factor of (3 - -9) + 1 + w?
True
Is (25/15)/(9/(492*27)) a multiple of 82?
True
Suppose -2*u = -3*c + 107, 0 = 2*c - 0*c + 5*u - 65. Suppose 23 = 4*t - 33. Is 1675/c - (-2)/t a multiple of 10?
False
Is (-15)/6*204/(-5) a multiple of 39?
False
Suppose 0 = -4*j - 2*d - 20 - 12, -20 = 5*d. Let o = j + 60. Is 9 a factor of o?
True
Suppose 5*i - 19 = -4*c, 4*i = 2*i + 5*c + 1. Let u be (117/(-5))/(i/(-15)). Let o = u + -51. Is o a multiple of 11?
True
Let m = -3 + 8. Suppose 4*b - 4*g - 196 = 0, -243 = -5*b + 3*g - 0*g. Suppose -4*u = m*k - 213, 4*u = k + 3*u - b. Does 26 divide k?
False
Let z = 162 + 6. Suppose 20*g = 22*g - z. Is g a multiple of 28?
True
Let f be (-4)/6 - (-24)/9. Let u be -19*(-1)/(f/6). Suppose 2*r - 2*c + 0 = 24, -5*r + u = -4*c. Does 5 divide r?
False
Suppose -2*p = -4*k - 62, -5*p - 3*k - k + 169 = 0. Does 4 divide p?
False
Let n = -1425 + 1767. Is 9 a factor of n?
True
Suppose 0 = t + 5*x - 158, 4*x - 275 = -5*t + 452. Does 13 divide t?
True
Suppose 4 = 3*l + 1, -5 = 3*g + l. Is 1*(267 + 1 - (2 - g)) a multiple of 11?
True
Suppose 7 + 1 = 4*k. Let y be k + (0 - -8)*2. Suppose -2*v + y = -12. Is v a multiple of 3?
True
Is 6 a factor of 19/(((-50)/(-375))/((-6)/(-5)))?
False
Suppose -46*o + 984 = -50*o. Let h = o + 412. Does 14 divide h?
False
Let b(u) = 21*u**2 + 14*u + 27. Is 7 a factor of b(-3)?
False
Let i(f) = -f**3 + f**2 + f + 234. Let y be i(0). Suppose -3*s - 2*z = -0*s + 173, -4*s - y = 2*z. Let j = 88 + s. Is j a multiple of 9?
True
Suppose -n + 6*n - 79 = 2*p, p + 5*n + 17 = 0. Let d = 46 + p. Is 6 a factor of d?
False
Suppose d - 21 - 69 = 0. Suppose -d = -4*u - 2. Let i = 50 - u. Is 14 a factor of i?
True
Suppose -3*o - 5*i = -1958, -199 = 3*o - 3*i - 2173. Does 102 divide o?
False
Let q be ((-25)/10)/((-2)/(-8)). Let t be 7 + q + (-14)/(-2). Suppose 0 = b - t*b + 30. Is b a multiple of 10?
True
Let r(d) = -2*d**2 - 4*d - 1. Let x be r(-1). Let a(b) = 81*b**2 - 2. Is 13 a factor of a(x)?
False
Let v(s) = -37 - 2*s**2 - 25*s**3 + 7*s**3 - 4*s + 15 + 19. Is 2 a factor of v(-1)?
False
Let l = -472 - -772. Suppose 0 = -61*b + 64*b - l. Does 20 divide b?
True
Let l(n) = -3*n**2 + n - 2. Let q(k) = -k**3 - 16*k**2 + 6*k - 10. Let s(a) = -11*l(a) + 2*q(a). Is 6 a factor of s(-2)?
False
Let v(k) = -8*k + 5. Let x be v(13). Let g = 159 + x. Is g a multiple of 10?
True
Let x(v) = v**2 - 2*v - 134. Is 5 a factor of x(26)?
True
Suppose 0 = 2*c + 2*c - 2*y - 1100, -y - 1100 = -4*c. Is c a multiple of 16?
False
Let u = -1112 - -2172. Is 53 a factor of u?
True
Let f(p) = 35*p**2 + 21*p - 60. Is f(6) a multiple of 23?
False
Let n be 6 - ((-10)/(-50))/(2/10). Suppose 0 = n*t - 5*k - 150, -5*t - 6*k + k + 130 = 0. Is 4 a factor of t?
True
Is (-1)/(-4) + (-913)/(-44) a multiple of 9?
False
Let p(q) = -q**3 - 5*q - 3. Let j(k) = -3*k**3 - k + 1. Let s be j(1). Is p(s) a multiple of 39?
True
Let l(x) = -196*x + 28. Is l(-9) a multiple of 14?
True
Suppose -b - 4 + 11 = 3*n, 3*n - 17 = b. Let j be 26*(-3)/12*-6. Suppose 3*t = -4*w + j, 29 = -0*t + t - n*w. Is t a multiple of 4?
False
Suppose -3*z - q - 4*q = -34, 3*z - 4*q + 11 = 0. Let m be (-3)/(-5) + z/(-5). Suppose m = -0*c + 7*c - 35. Is c a multiple of 2?
False
Let p(t) = -t + 6. Let h be p(3). Is 16 - 5/(-5) - h even?
True
Let p = 524 - 254. Is p a multiple of 55?
False
Let o be 42/(-15) + 3/(-15). Let v be 64/12*o/(-2). Suppose c - v = -c, c - 224 = -5*g. Does 22 divide g?
True
Let k = 62 + 87. Does 66 divide k?
False
Let g(n) = n**3 - 6*n**2 - 14*n + 33. Is 27 a factor of g(12)?
True
Suppose -7335 = -3*i - 0*g - 3*g, 3*i = -5*g + 7325. Does 50 divide i?
True
Suppose 9 + 6 = 3*q. Suppose -4*n = -69 + q. Let a = 21 + n. Is a a multiple of 7?
False
Suppose 3*f - 19 = -z, 5*f = z - 4 + 25. Is z a multiple of 4?
True
Let h(z) be the second derivative of -49*z**3/3 + 10*z. Let x be h(-1). Suppose x = 3*l + 2. Is 28 a factor of l?
False
Suppose -5*o - 2*b + 71 + 351 = 0, 4*o - b = 335. Suppose 0*q - o = -2*q. Is q a multiple of 21?
True
Is 8 a factor of ((-93)/15)/((-16)/240)?
False
Suppose 2 = -2*y, -7455 = -3*u - 2*u - 5*y. Does 14 divide u?
False
Let m(p) = 2*p**2 + 18*p - 17. Does 74 divide m(7)?
False
Does 16 divide 7/((-168)/(-45012)) + 6/4?
False
Suppose -6*w - 13*w = -57. Suppose -u + 134 = -a + 47, -w*a = 4*u - 362. Does 8 divide u?
False
Suppose 9*r = n + 4*r - 24, 2*n + 2*r - 108 = 0. Is n a multiple of 7?
True
Let l(h) = 28 + 7 + 7 + 3*h. Is 9 a factor of l(13)?
True
Suppose 5*w = -3*y - 7 - 8, -3*y + 5*w = 15. Let h be 22/4 + y/(-10). Let s = 20 - h. Is s a multiple of 7?
True
Let t(q) = -5*q + 6. Let u be t(-4). Suppose 0 = p + u - 210. Does 46 divide p?
True
Does 18 divide (-8 + (-28)/(-5))/((-1)/600)?
True
Let w(m) = 6*m**2 - 138*m + 15. Is w(33) a multiple of 57?
True
Let t(u) = -7*u + 24. Let l(z) = -4*z + 12. Let n(r) = 5*l(r) - 3*t(r). Let v be n(12). Suppose v = -p + 3, 0 = -5*y - 2*p - 28 + 94. Is y a multiple of 4?
True
Let u = -6164 - -9185. Is u a multiple of 57?
True
Suppose j = 5 - 2. Suppose -4*w - j = -w. Let t(m) = 34*m**2 + m. Does 11 divide t(w)?
True
Suppose 0 = -3*x + 15, 0*n + x + 499 = 4*n. Is 21 a factor of n?
True
Let l = 77 + 130. 