= -t - 181, 5*t + 2*p = -2*p - 1025. Let i = t - -221. Does 2 divide i?
True
Suppose -6*t - 10 = -8*t + 2*o, 4*o - 20 = -t. Let i(m) = -m**2 + 12*m + 24. Does 11 divide i(t)?
False
Suppose -3*k - 20 = 5*o, 2*o + 3*o = 4*k - 20. Suppose k = -5*j + 2*j + 30. Is (5*-10)/1*(-32)/j a multiple of 10?
True
Let i(g) = 1632*g**2 - 1625*g**2 - 1 - 4 - 2*g. Is 4 a factor of i(-4)?
False
Let x = -13529 - -57509. Is 114 a factor of x?
False
Suppose -i = 0, u = 4*i + 82 - 29. Let y = -75 + 76. Let q = u + y. Is q a multiple of 6?
True
Suppose 0 = -2*v - 45 - 61. Let j = v + 38. Is 17 a factor of 90/(-12)*102/j?
True
Suppose -7*r - 525 - 63 = 0. Let x be (r/(-18))/(8/6)*2. Suppose -x*t = -797 - 43. Is 20 a factor of t?
True
Let b be (2 + 2 + -4)/(-3). Is (-40)/3*(732/(-10) + b) a multiple of 26?
False
Let i(w) = 31*w**2 - 9*w - 35. Let l(h) = -61*h**2 + 17*h + 69. Let g(n) = -5*i(n) - 3*l(n). Let k(v) be the first derivative of g(v). Is 21 a factor of k(2)?
False
Suppose 0 = 3*j + 4*v - 50076, 0 = -3*j + 4*v - 8935 + 59035. Does 39 divide j?
False
Suppose -a - 3*k + 545 + 478 = 0, 4*a = -2*k + 4082. Let r = a + -588. Does 11 divide r?
False
Let u(k) = -k**2 - 13*k - 22. Let f be 11*(14/(-16) - 9/72). Let h be u(f). Suppose -4*m + 2*m + 52 = h. Is m a multiple of 13?
True
Is 131 a factor of 531741/15 - (-8)/14*(-105)/150?
False
Let b(a) = -3*a + 28. Let o be b(8). Suppose 4*q + 1 = -11, -11 = -5*j - 3*q. Suppose -1120 = -o*y - j*y. Does 14 divide y?
True
Is 1/((-4082868)/214889 + 19) a multiple of 15?
False
Let g = 50 + -53. Let q be 0/2 - g - 61/(-1). Let c = 110 + q. Is 25 a factor of c?
False
Let j = -254 + 256. Suppose -4*z - 66*n + 712 = -62*n, n + 350 = j*z. Is z a multiple of 13?
False
Let k be (-33)/12 + 1/(-4). Let c be k*(-20)/(-50)*(-10)/6. Suppose -4*f + 8 = -c*f, m + 5*f - 102 = 0. Is 7 a factor of m?
False
Let u(i) = -212*i**2 - 35*i - 8. Let n(a) = 141*a**2 + 23*a + 5. Let d(c) = 8*n(c) + 5*u(c). Does 44 divide d(-2)?
False
Let y be 2 - 105/56 - 1311/(-8). Suppose 176 = 3*n + 2*u, -4*n - u + 402 = y. Is n a multiple of 3?
True
Suppose 4*c = -y + 19139, -41*y - 1 = -40*y. Does 29 divide c?
True
Let r(g) = -8*g + 7. Let f be r(-11). Suppose -f + 86 = -q. Suppose -q*d + 1032 = 3*d. Is 39 a factor of d?
False
Let u(b) be the second derivative of b**4/6 - 14*b**2 + 4133*b. Let d be (-40)/(-6) - 2/(-6). Is 14 a factor of u(d)?
True
Let p(s) = 5*s**2 + s + 6. Suppose 0 = 2*n + 3 + 3. Let w be p(n). Suppose -x + w = 11. Does 9 divide x?
False
Let d(x) = 4*x**3 + 0*x + 0*x**3 + 59*x**2 - 62*x**2 - 2*x + 8. Let f be d(2). Is 38 a factor of (-8)/f - (340/(-3) + -1)?
True
Suppose -68 = -3*d + 5*o, -d + 8*o + 32 = 4*o. Let v(l) = 3*l + d*l + 2*l**2 + 17*l - 3*l**2 - 59. Is v(27) a multiple of 23?
True
Is 26 a factor of ((-16416)/(-190) - (-9)/15) + -9?
True
Let x = -1532 + 915. Let m = x + 833. Is 36 a factor of m?
True
Suppose -5*a - 3*z = 20, 9*a - 3*z + 43 = 5*a. Is 28 a factor of (-17 + a)*-2*7?
True
Suppose 69*f + 1038 = 5868. Does 2 divide f?
True
Suppose -4*o = 2*f - 29168, -3*f + o + 22230 + 21550 = 0. Is f a multiple of 19?
True
Let s(i) be the first derivative of 6*i**2 - 31*i + 72. Is 3 a factor of s(3)?
False
Let z(u) = -3*u**2 - 9*u - 12. Let o be z(-15). Let d = o + 957. Let p = d + -270. Does 45 divide p?
True
Let q be (-2 - 0)/(2 + 20/(-9)). Suppose -q*i - 648 = -0*i. Does 17 divide (-3153)/(-27) + (-16)/i?
False
Let o(n) = -6*n - 39. Let y be o(-5). Let b(a) = 2*a**2 + 6*a - 12. Let d be b(y). Is 9 a factor of (28/21)/(1/d)?
False
Let m = 11 - 0. Suppose 16 = 4*r + 7*y - 2*y, 3*y = -r + m. Let v(p) = 85*p**2 - p - 2. Is 14 a factor of v(r)?
True
Let o(r) = 45*r**2 + 3*r - 504. Is 192 a factor of o(12)?
False
Suppose 5*l - 48787 = t, -2*l - 8*t + 19513 = -9*t. Is l a multiple of 119?
True
Let l(t) = t**3 + 12*t**2 + 11*t. Let o be l(-11). Suppose 8*p + 8*p - 48 = o. Suppose a = -0*a + p*w + 282, 5*w = -a + 250. Is a a multiple of 39?
False
Let x(q) = 35*q**2 - 7*q - 1. Suppose -2*p + 0 = -2. Let t(r) = -r**2 + r. Let i(z) = p*x(z) + 6*t(z). Is 27 a factor of i(-2)?
False
Is 31 a factor of (-61348)/(-18) + (-43)/(10062/52)?
False
Is 19 a factor of (-2)/(2/2*118/(-19057))?
True
Let m = 96 - 34. Let y = -10 + m. Does 13 divide y?
True
Suppose -43*s + 50*s = 3*a + 301564, -s + 2*a + 43090 = 0. Is 14 a factor of s?
True
Let w be 4 - (3/(2 - 3) - -2). Suppose -w*o + 4*d + 8 - 80 = 0, 4*o + 60 = 2*d. Let m = o + 20. Does 4 divide m?
True
Suppose 12*y + 11*y = 1011561 + 611319. Is y a multiple of 236?
False
Let u = 666 + -68. Suppose -3*j + 630 = -4*b, u = 3*j - 3*b - 32. Suppose 92*q = 87*q + j. Is q a multiple of 21?
True
Let h be -2*23/(-8) + (-4)/(-16). Let k(s) = -38. Let l(p) = p - 75. Let v(c) = h*l(c) - 10*k(c). Does 9 divide v(21)?
False
Suppose p - 8*h - 2626 = -21*h, -4*p + 10602 = 3*h. Is 51 a factor of p?
True
Let a = 2289 + 809. Does 59 divide a?
False
Suppose 9*p + 10 = 7*p. Let u be (-4)/(p/1*10/25). Suppose -4*f + 3*z - u = -42, 0 = -f + 5*z - 7. Does 13 divide f?
True
Let i(q) = 8*q - 14. Let w = 29 - 25. Suppose 0 = 7*u + w*u - 55. Does 15 divide i(u)?
False
Let x(s) = 15*s**2 - 14*s - 43. Let n be x(-6). Let w = -339 + n. Is w a multiple of 20?
False
Suppose -214864 = -16*f + 110429 - 7005. Does 19 divide f?
True
Suppose 0 = -2*s + 3*x + 803, -2*x + 567 = 3*s - 631. Suppose -6*l - 1 = -37. Suppose i + s = l*i. Is 40 a factor of i?
True
Let x be 42/(-24) - (-3)/(-12). Let c be x + 0 + 1 + 2401/49. Suppose 0*d = -d + c. Is 16 a factor of d?
True
Suppose -2*y + 213 - 30 = -3*j, -5*j = 4*y - 311. Is 6 a factor of ((-1056)/(-14) - -2) + y/147?
True
Suppose 712954 = 15*f + 139009. Is f a multiple of 33?
False
Let j = 41 - 39. Let g(v) = 19 - 4 + v + 0 + j. Is g(-5) a multiple of 8?
False
Let i = -2073 - -6969. Is 16 a factor of i?
True
Let a(u) = -8 + 9*u + 395*u**2 + 13*u + u - 14. Does 10 divide a(1)?
False
Suppose -n = 136 + 39. Let t = n - -842. Is 46 a factor of t?
False
Let h = 6 - -69. Let k = -54 + h. Is k a multiple of 21?
True
Suppose 31*u = 21*u + 38663 + 38297. Is u a multiple of 53?
False
Suppose 0 = -24*f + 12277 - 10573 + 18456. Does 84 divide f?
True
Let q(l) be the first derivative of -l**4/4 + 4*l**3 - 5*l**2/2 + 30*l - 3. Let h be q(10). Let o = 361 - h. Is 27 a factor of o?
False
Suppose 0 = -119*k + 126*k + 42. Let w(s) = -3*s**3 - 11*s**2 - 21*s - 24. Is w(k) a multiple of 6?
True
Suppose 5*j = -8*j + 182. Suppose -j*w = -15*w + 786. Suppose -3*b + w = 3*b. Is 16 a factor of b?
False
Suppose 4*s + 2044 = 2*w, 11*s - 3072 = -3*w + 14*s. Suppose -13*b + w = -11*b. Does 19 divide b?
True
Let z(j) = 26*j - 1082. Does 9 divide z(61)?
True
Let p be (-3 - -3)*(23 - 22). Suppose p = 8*w + 6*w - 8540. Is w a multiple of 10?
True
Suppose 0 = 15*k - 17*k + 6. Suppose 3*q = 14 - 5. Suppose q*x = -4*a + 216, -2*x = k*a - 62 - 83. Does 14 divide x?
False
Let n be -3 + ((-26)/(-3))/((-3)/(-9)). Let z = -10 + n. Suppose -7*j = -z*j + 162. Does 27 divide j?
True
Suppose 2*z + 4*d = z - 44, -4*d - 8 = 0. Let s = 124 - z. Suppose -2*j + 4*j = s. Is j a multiple of 10?
True
Let n(m) = 402*m - 5862. Is n(44) a multiple of 61?
False
Let g be (6/(-5) - 2) + 4/20. Let f be (1 - g/3)*(13 + 3). Let o = 44 - f. Does 10 divide o?
False
Let b(j) = 5*j**2 - 24*j - 1250. Is b(52) a multiple of 14?
False
Let b(u) = -89*u - 116. Let m be b(-9). Is 69 a factor of 40/(-24)*-3 + m?
True
Let d(y) = 522*y**3 - 8*y**2 + 42*y - 9. Is d(3) a multiple of 32?
False
Let q(h) be the second derivative of h**3/3 + 16*h**2 - 3*h. Let o = -182 - -196. Is 12 a factor of q(o)?
True
Suppose -2*p + 99 = -2*z + 3*z, 0 = -3*z + 4*p + 257. Suppose 121*k + 271 = 116*k + 4*y, -3*k - 3*y = 141. Let l = k + z. Is 10 a factor of l?
True
Suppose -32*h + 27*h = -2595. Let x = h + -247. Suppose -2*q = -2*p - x, q - 4*q - 3*p = -408. Is q a multiple of 34?
True
Suppose -147*x = 129*x - 253*x - 309672. Is 66 a factor of x?
True
Suppose -114 = 18*x - 56*x. Suppose 0 = -0*o - 5*o + 15, k = -x*o + 1024. Is 35 a factor of k?
True
Let g(q) = -q**3 - 9*q**2 - 13*q - 3. Let d be g(-7). Let x be (-6)/(-27) - d/(-45). Suppose 4*i + 125 - 317 = x. Is i a multiple of 24?
True
Suppose -4*u + 12314 = 3*m, 3*u - 386*m = -388*m + 9235. Is u a multiple of 9?
False
Suppose -69*o + 70*o = -7