ue
Suppose -3*n - 9 = 5*a, 3*n + 3*a + 3 = -0*n. Suppose n*o = 181 - 35. Suppose -4*c = -k - 101, -5*c + 2*c + o = 2*k. Is 25 a factor of c?
True
Is 64 a factor of 2*(9 + -14)*-1409*(-4)/(-10)?
False
Suppose -m = -1, -505*n - 77735 = -509*n + m. Does 123 divide n?
True
Let c = -26 - -32. Let m(h) be the second derivative of h**4/3 - 5*h**3/3 - 4*h**2 - h. Is m(c) a multiple of 19?
True
Suppose -420*n + 8700 = -417*n. Does 10 divide n?
True
Suppose -21 = -4*z - 5, -2*z + 4 = 4*w. Let x be ((-8)/32)/(w/44). Suppose -4*t = 8, -2*v + x + 11 = -2*t. Does 9 divide v?
True
Let f(s) = 2*s - 14. Let u be f(7). Suppose 16*m - 12*m - 396 = u. Is 8 a factor of (m/(-6))/((-21)/6 + 3)?
False
Suppose -37*i - 162*i + 1474980 = 45*i. Is i a multiple of 11?
False
Suppose 4*i = -8*i + 4260. Suppose -h = -3*h - 5*l - 481, -5*l = -5*h - 1220. Let c = i + h. Is c a multiple of 14?
True
Let l = 22 + -21. Let z be 3/3*(l - (3 + -6)). Suppose -2*i - 24 = -z*i. Does 4 divide i?
True
Suppose h + 5 - 18 = 0. Suppose -u - 5*i + 53 - h = 0, 3*u = -i + 120. Is u even?
True
Suppose -19*p = -134283 + 20283. Is p a multiple of 120?
True
Let u(s) = 3*s**3 + 109*s**2 - 16*s - 198. Does 26 divide u(-36)?
False
Let c = 1295 - -2282. Suppose -499 = 9*a - c. Is a a multiple of 9?
True
Suppose -m + 4059 = -2601. Is 30 a factor of m?
True
Let g(o) = 37*o**2 + 4*o - 7. Let n(r) = 112*r**2 + 12*r - 20. Let c(m) = -17*g(m) + 6*n(m). Is c(-3) a multiple of 34?
True
Let p = 737 + -124. Suppose -4*o + 53 = -3*l + p, -5*l - o + 895 = 0. Is 10 a factor of l?
True
Let b(o) = 15*o + 40. Let c(r) = 5*r + 13. Let i(l) = 6*b(l) - 17*c(l). Let f = 559 + -550. Does 28 divide i(f)?
False
Let t(y) = -y**3 - 52*y**2 + y + 75. Let s be t(-52). Suppose 965 = 3*x - 5*v, 26*x - s*x + 4*v = 1010. Does 11 divide x?
True
Let f be 0*(1 - 10/15). Suppose 2 = 4*z + n - 14, -5*z - 2*n + 23 = 0. Suppose f = z*v - 10*v + 1568. Is v a multiple of 16?
True
Let q(j) = 17 + 10*j**2 - 13 - 11*j**2 + 28*j. Let d be q(28). Let n(u) = 4*u**2 + 2*u - 11. Does 15 divide n(d)?
False
Suppose -26*x = 6*x - 1219997 - 46307. Is x a multiple of 13?
True
Is 1734/17*206/12 a multiple of 2?
False
Let d be 75 - (0 + 1 + 1). Let m be 11440/(-264)*36/(-15). Suppose -5*w = v - 223 - d, 4*v = -2*w + m. Is w a multiple of 7?
False
Suppose 7394723 = 214*n - 2111585. Does 14 divide n?
True
Let n = -60 - -67. Let a(m) = 8*m**2 + n + 13*m + 13*m**2 + m**3 - 29*m**2 + 16*m**2. Does 4 divide a(-4)?
False
Suppose 0 = -10*f - 5*f - 5*f + 1500. Is f a multiple of 25?
True
Let a(h) = -67*h - 2. Let j be a(-2). Let l be ((-68)/6)/(11/j). Let b = 195 + l. Does 15 divide b?
False
Let o = 7256 - -3387. Is 29 a factor of o?
True
Let v(s) = s**3 + 31*s**2 - 151*s - 228. Is 26 a factor of v(-27)?
False
Let c be 1 + -2 - (-41 - -38). Does 4 divide c - -2 - 1 - (-8023)/113?
False
Let u(q) = 257*q**3 - 2*q**2 + 10*q - 10. Is 11 a factor of u(2)?
False
Let i(w) = -36*w**3 - 3*w + 2. Let p be i(-2). Let g = p + 155. Does 18 divide g?
False
Let z be (12/(-9))/((-8)/6). Let k(h) = 36*h**2 - 2*h. Is 17 a factor of k(z)?
True
Let t be 1/2*(6 + -6). Suppose 4*p + 2*k - 442 = t, 339 = 3*p - k + 4*k. Suppose -2*d + p + 0 = 0. Is d a multiple of 18?
True
Suppose 18*a = -38358 + 130104. Is a a multiple of 5?
False
Does 23 divide (35 - 31) + (-2 - 0) - -1861?
True
Let t be (-1102)/8 - (-8)/(-32). Let v be (0 + t)*(-4)/6. Suppose -x + 0*x = -3, -2*x - v = -2*o. Does 29 divide o?
False
Let t(s) = -4998*s**3 - 16*s - 25. Does 197 divide t(-2)?
True
Let w(y) = -y + 6. Suppose 0 = -5*a + 3*z + 1, -5*a - 4*z = -5*z - 7. Let x be w(a). Suppose 6*d = x*d + 90. Is 25 a factor of d?
False
Let l = -6568 + 13179. Does 52 divide l?
False
Suppose 0 = 3*u - y + 115761, 2*u + 2*y = -y - 77185. Is 76 a factor of u/(-26) - (100/(-26) + 4)?
False
Let u(i) be the first derivative of -3 + 9/2*i**2 - 1/3*i**3 + i. Does 19 divide u(6)?
True
Suppose -7*l + 160 = -9*l. Is (-498)/(-5) + (-32)/l a multiple of 25?
True
Suppose -5*m = 3*a + 100, 4*m - 35 = 2*a + m. Let q(y) = -y**2 - 5*y - 5. Let s be q(a). Let c = -361 - s. Is 14 a factor of c?
False
Suppose -3*b = 4*x - 22, x + 10 = 2*x + 3*b. Suppose -4*v - 17 = x*w - v, 13 = w - 5*v. Is (2136/(-60))/(w/5) a multiple of 15?
False
Let y be (1 - 2922/(-12))/(6/4). Suppose y = -4*p + 3075. Does 13 divide p?
True
Suppose 48575 - 141437 = -42*s. Does 47 divide s?
False
Suppose -12*q + 91 + 41 = 0. Suppose -b - q*b + 2772 = 0. Is b a multiple of 21?
True
Let i(h) = 6*h**2 - 7*h - 2. Let t be i(-5). Suppose 133 = 2*f - t. Does 7 divide f?
False
Let f(p) = 2*p**2 - 12*p - 12. Let r be 135 + 20/4 - 4. Let x = r - 143. Is f(x) a multiple of 17?
True
Suppose 0*q - 105 = -5*q. Suppose -15 = 3*u, -2*i = -4*u - q - 591. Suppose -5*a + a = -i. Does 5 divide a?
False
Suppose 3 = 4*m - 5. Suppose -m*o - 2*v + 25 = 7, 3 = 3*o - 5*v. Suppose -5*n = -2*w - 47, 2*n - o*n + 56 = 3*w. Is n a multiple of 2?
False
Let q = -3113 + 3632. Does 7 divide q?
False
Suppose 0 = 269*u - 249*u - 154540. Does 164 divide u?
False
Let s(j) be the first derivative of j**3/3 + 12*j + 484. Suppose 2*p + 2*p = 28. Does 8 divide s(p)?
False
Suppose -7*x = -2*x - 2*d - 12, -x + 4*d - 12 = 0. Suppose x*m + 86 = 3*l - 9, -m - 30 = -l. Suppose 27*h - 260 = l*h. Is 13 a factor of h?
True
Suppose v = 5*x - 555, 5*v - 3*x + 0*x + 2753 = 0. Is 16 a factor of 6058/20 - 55/v?
False
Suppose -7 = -3*b - 1. Suppose -4*p + 1108 = b*m, 3*p + 1406 = 3*m - 283. Does 70 divide m?
True
Does 203 divide (1/(-3 - (-146)/49))/(14/(-2030))?
True
Let x = -197 + 192. Does 45 divide ((-16210)/(-6))/5 - x/(-15)?
True
Does 9 divide (-1 + (-19243)/35)/((-12)/330)?
True
Let c(p) = 155*p**2 - 131*p - 34. Is c(-16) a multiple of 22?
False
Let q(k) = -8*k + 13. Let t be -2 - ((-4 - 12)/(-4) - -2). Does 15 divide q(t)?
False
Let r(b) = b**3 - 2*b**2 + 4*b + 1. Let w be r(3). Let u = 187 - 193. Let n = w + u. Is 3 a factor of n?
False
Suppose 7*t - 11336 = 5387. Suppose -11*n + t - 189 = 0. Is 14 a factor of n?
False
Suppose -119226 = -10*h - 18786. Does 27 divide h?
True
Let i = 81 - 81. Let n = 6 - -2. Suppose -2*g + n = i, 2*w = -0*w - 5*g + 222. Does 19 divide w?
False
Let k be 2/1 - 0/(-3). Suppose m - 3 = -k. Is 18 a factor of (-2 - m - -216) + 0?
False
Let n(c) = c**3 - 44*c**2 + 170*c + 91. Let o be n(39). Let p = o + 1095. Is 31 a factor of p?
False
Suppose 5*g = 125*v - 123*v + 385, v + 153 = 2*g. Let a = -43 - -30. Let j = g + a. Is 33 a factor of j?
True
Let y = 56 - 42. Suppose 0 = -5*u - 2*c + y, -5*c = -u - 2*c + 13. Is 13 a factor of (-2)/u - (-318)/12?
True
Suppose -p - 4*j - 2240 = 0, -4*p + 2*j - 2317 - 6697 = 0. Let q = -1566 - p. Does 49 divide q?
True
Let a = 378 + -301. Let i = 221 - a. Is i a multiple of 48?
True
Let i = 113 - 110. Let t be 6/9*i*15/10. Suppose t*p + w - 8 = 0, 5*p = 6*p - w - 8. Is 2 a factor of p?
True
Let o(q) = q**2 + 2*q - 3. Let k(c) = -c**2. Let x = 5 - 6. Let w(l) = x*o(l) - 2*k(l). Does 3 divide w(0)?
True
Suppose -2*f + 6*l - 38 = 2*l, -3*l + 21 = -f. Let k be (-775)/f - 4/(-3). Suppose -2*r + k = -13. Is 19 a factor of r?
False
Let k = 45 - 28. Suppose -12*m - 130 = -k*m. Suppose 31*o = m*o + 625. Does 25 divide o?
True
Let m(x) = x**3 - 2*x**2 + 6*x - 6. Let t be (-4 - (-28)/5)/(2/5). Let b be m(t). Let d = b + -12. Is d a multiple of 15?
False
Let s(g) = 19*g**2 - 11*g - 8. Let j be s(-2). Let p = j + 31. Does 26 divide p?
False
Let m(s) = -s**3 - 13*s**2 - 11*s + 17. Let y be m(-12). Suppose 0 = 2*h + 4*v - y + 15, 2*h - 2*v = -40. Is (h/5 - -6) + 83 a multiple of 19?
False
Suppose 0 = 6*q - 22 - 128. Is q a multiple of 25?
True
Let m = 4105 - -512. Is m a multiple of 137?
False
Suppose 1920 = 102*f - 90*f. Does 32 divide f?
True
Let z(y) = 42*y + 7. Let c be z(-4). Let a = -97 - c. Suppose i = -i + q + 103, -3*q - a = -i. Is i a multiple of 20?
False
Let d(q) = q**2 + 5. Let h = 37 - 37. Suppose 4*g - 2*c - 4 + 40 = h, -3*g - 37 = c. Is 18 a factor of d(g)?
True
Is 40 a factor of (0 - 1) + 800 - (-21 - -20)?
True
Let i(l) = l**3 + 5*l**2 - 5*l + 9. Let q be i(-6). Let a(o) = q + 6 - 28 - 16 + 10*o. Does 9 divide a(5)?
False
Suppose 100*o = 101*o - 918. Suppose 26*u - 590 - o = 0. Does 6 divide u?
False
Suppose 8*r - 306652 + 1696 = 35268. Is r a multiple of 32?
Tr