= 13. Let o = 20 + -18. Suppose -4*q + 3*q = s*r - 131, -o*r = -4*q - 106. Is 8 a factor of r?
False
Suppose -26935 = -12*c + 57521. Does 153 divide c?
True
Suppose -7031 - 8069 = -4*p. Does 29 divide 1/(-2) - p/(-10)?
True
Let o be (-5)/2*48/(-20). Suppose 4 = 5*h + 2*y, -4*y + o = -5*h - 2. Suppose h = 5*r - 5*m - 500, 0 = -2*r + m - 4*m + 220. Is r a multiple of 28?
False
Does 37 divide (-4 + 122 - -30)/(1/2)?
True
Let f = 20305 - 17740. Is f a multiple of 27?
True
Suppose -3*j + 270 - 39 = 0. Let n = 80 - j. Suppose -n*x + 59 = 2*p, 4*x - 2*p - 77 = -x. Does 17 divide x?
True
Let d(q) = -2*q - 12. Let s be d(-8). Let p be 18*(-2 - (-34)/s). Let n = 4 + p. Is 14 a factor of n?
False
Let d(q) = 6 + q**2 + 3*q**3 + 3*q**3 + q + 0. Let j be d(5). Suppose 0*g = 4*l - 2*g - j, 5*g - 191 = -l. Is 28 a factor of l?
True
Suppose -u = 4*c + 8, 5*u - 3*c - 60 = 2*c. Suppose u*z = 11*z - 231. Does 21 divide z?
False
Let r be (-20)/5 - (-1 + 2)*-3. Suppose -4*f + 48 + 4 = 0. Let c = r + f. Is c even?
True
Suppose 3*c - 6 = -6. Suppose -3*k = -z - 86, c*k = -k + z + 28. Does 7 divide k?
False
Suppose -4*h + 188 + 57 = k, 2*k - 11*h = 547. Let f be 22/6 + (-3)/(-9). Suppose -k = -f*b + 187. Is b a multiple of 7?
False
Is 31/((-2790)/(-731710)) - 2/18 a multiple of 54?
False
Let s be (-3 - 6)/3*-1. Let u(p) = -p + 5. Let j be u(s). Let k = j - -68. Is k a multiple of 10?
True
Let y be 9/(252/8) + 80/14. Is 10 a factor of (152/95)/(y/795)?
False
Is 6 a factor of 240/(-28)*(-4)/(-8)*-644?
True
Let l = 287 - 119. Let f = 253 - l. Is f a multiple of 15?
False
Let u = 597 + 19163. Does 20 divide u?
True
Let k(a) = 54*a**2 + a. Let s = -36 - -83. Let b = 46 - s. Is 11 a factor of k(b)?
False
Let x = -15932 - -18719. Does 21 divide x?
False
Let z(o) = -66*o - 6. Let p = -65 + 64. Does 12 divide z(p)?
True
Let l = 9321 + -6021. Suppose -l = -16*m + 5*m. Is 12 a factor of m?
True
Suppose -6*i - 14 - 10 = 0. Let z(l) = -l**3 - 4*l**2 - l + 1. Let a be z(i). Suppose a*t = -5*s + 150, 0 = 2*s + 2*s - 5*t - 165. Is s a multiple of 5?
True
Suppose 4*x - 2*s = 0, 0 = 2*x - 2*s + 6*s. Suppose 2*l - f - 171 = x, -l + 55 + 26 = f. Is l a multiple of 12?
True
Let i(g) be the first derivative of -g**3/3 - 13*g**2 - 24*g + 12. Suppose 25 = -4*f - 3*d - 17, -d - 34 = 3*f. Does 48 divide i(f)?
True
Let b = 2533 + -5951. Let c = b + 4906. Is c a multiple of 8?
True
Let b = 43754 - 27958. Is 37 a factor of b?
False
Suppose c - 10 = -3*i, -9 = -2*i - 4*c + 1. Suppose -5*a = -5*d - 510, -a + i*d + 42 = -64. Let g = a + -94. Does 2 divide g?
True
Suppose 3*u - 11333 = -2*m, u - 3395 = -5*m + 400. Suppose -167 = -18*q + u. Is q a multiple of 73?
True
Suppose -2912*a - 13708 = -2935*a. Is a a multiple of 38?
False
Let b = 0 + 0. Suppose -15*m + 16*m + 133 = b. Let k = -43 - m. Does 13 divide k?
False
Suppose -28 = -5*k + n - 8, 2*n - 5 = -5*k. Suppose -581 = k*s - 10*s. Is 17 a factor of s?
False
Let k(o) = -5*o - 10. Let n be k(-6). Let p be 2 + 0 + 4/(n/15). Suppose 4*g - 3*g - p*d - 158 = 0, -578 = -4*g + 2*d. Is g a multiple of 13?
True
Let z(j) = -2*j**3 + 108*j**2 + 185*j + 54. Is z(55) a multiple of 20?
False
Let u(y) = -y - 32. Let l be u(-8). Let b = l + 60. Suppose -351 = -3*f - b. Is f a multiple of 15?
True
Let d(u) = 3*u**2 + 30*u + 151. Let a = 79 - 89. Is 17 a factor of d(a)?
False
Suppose -338*c = -337*c - 490. Suppose -4*q + 5*v + 397 = 0, 5*q - 5*v - c = -0*v. Does 14 divide q?
False
Let i(g) = -12*g - 1. Let x be i(-5). Suppose -5*y - 795 = -2*r, 5*r = -y + 1172 + 802. Suppose -x + r = 4*j. Is j a multiple of 12?
True
Suppose -4*x + 24 = -4*u, 0 = 3*u - u. Suppose -x*r - 15 - 15 = 0. Let n = 30 + r. Does 7 divide n?
False
Let l = -17773 + 29137. Does 12 divide l?
True
Suppose 2*m + 4 = -2*k - 6, 7 = 5*k - 3*m. Does 20 divide k/5 - (-57568)/140?
False
Let f(g) = -43 - 56 + 9*g + 1388*g**2 - 1379*g**2. Does 5 divide f(-9)?
False
Let f be (16/(-28) - (-224)/49) + 1155. Suppose 0 = u + 4*z + 201 - f, -u + 4*z + 974 = 0. Does 69 divide u?
True
Suppose 12*r - 11173 = 21486 + 3377. Is 21 a factor of r?
True
Suppose 2*n - 518 = -2*f, f + 105 = 3*n - 684. Let j = -95 + n. Is 6 a factor of j?
False
Suppose 0 = -435*z + 9400431 - 4161973 + 7487032. Is z a multiple of 20?
False
Is 254/6 + (88/(-330))/((-2)/5) a multiple of 2?
False
Suppose -1511 = -5*x + 1229. Let r = x - 338. Is 14 a factor of r?
True
Let y = -2147 + 14447. Does 12 divide y?
True
Suppose 24*f + p - 13194 = 20*f, -13198 = -4*f - 3*p. Is 194 a factor of f?
True
Suppose -q = l - 0*q - 8391, l - 4*q - 8411 = 0. Does 23 divide l?
True
Let o be 1330/(-90) + 2/(-9). Let a(v) = -v**3 - 15*v**2 - 21*v + 36. Is a(o) a multiple of 27?
True
Let x(j) = -8*j + 1. Let h be x(-1). Let u be -28 + h*2/6. Let m = -2 - u. Does 23 divide m?
True
Suppose -c + 8 = 4. Suppose -z - 4*g + 56 = 0, -173 - 79 = -c*z - 2*g. Suppose -4*n + z = -0*n. Does 8 divide n?
True
Let o = -86 + 91. Suppose -o*k + 40 = 5*k. Suppose 0 = -2*r - 10, -2*t - k*r = -t - 59. Is 7 a factor of t?
False
Suppose 557 = 4*g - 183. Let v = -16 - -13. Is 10 a factor of (-4)/(-6)*-1 - g/v?
False
Suppose 4*u - 216 = -2*b, 3*b + 2*u = -0*b + 316. Let g = -20 + b. Suppose -7*f + 5*f = -g. Is 7 a factor of f?
True
Let p be -2 - (1 + (-2 - 9/(-3))). Let s be (p/8)/(-1)*-6. Is 28 a factor of s/(-6) + 605/10?
False
Suppose -118*v + 248*v = 104*v + 7072. Is v a multiple of 8?
True
Let x be 3/(-6)*-6 - 10. Let y be 186*(7/(-3))/x. Let z = 145 - y. Is 31 a factor of z?
False
Is ((-374)/(-10) - -1)/(23/((-4485)/(-2))) a multiple of 96?
True
Suppose -m + 12 = 2*m. Let d be 2/7 - ((-5780)/(-35))/m. Let a = d + 141. Is a a multiple of 27?
False
Is (-70)/40 + 13342/8 a multiple of 52?
False
Suppose 5*a - 15 = -0, 4*c - 20157 = a. Does 15 divide c?
True
Suppose -y + 6*y - 3322 = -2*v, 5*v = 2*y - 1323. Suppose 2*s - 3*a = 541, -4*s - 5*a = -y - 385. Is 38 a factor of s?
True
Suppose 17*y = 12 + 328. Let s = y - -130. Is 5 a factor of s?
True
Let m be (-5 + (-2)/(-1) + -182)*4. Does 15 divide (-2)/(-1*(-8)/m) + -4?
False
Let b = 16874 + -12630. Is 4 a factor of b?
True
Let g = -3623 + 5307. Suppose 11*s - g = 2012. Is s a multiple of 48?
True
Suppose -448*q - 444*q = -863*q - 56376. Does 9 divide q?
True
Suppose 0 = -4*f - 30*y + 29*y + 3, y + 3 = -f. Suppose f*q - 1518 = 2*s, 3 = -4*s + 3*s. Does 14 divide q?
True
Let x = -28945 + 41745. Is x a multiple of 40?
True
Let t(i) = 6*i**3 - 33*i**2 - 144*i - 27. Is 27 a factor of t(18)?
True
Does 12 divide 55374 + 62 - (16 - 0)?
False
Let x(j) = 3*j**2 + 111*j - 1449. Is 11 a factor of x(21)?
False
Let n(z) = -302*z**3 - 6*z - 6. Let q be n(-1). Let o = q - 112. Is o a multiple of 7?
False
Let i(a) = -2*a**3 + 4*a**2 + 8*a + 2. Let s be i(-3). Let b = s - 34. Suppose -b*r + 33*r = -159. Is 17 a factor of r?
False
Suppose -453*x + 32247 = -450*x. Is x a multiple of 17?
False
Let j = -15005 + 27677. Is j a multiple of 66?
True
Let d = 133 + -106. Let a = 139 - d. Is a a multiple of 5?
False
Let b(v) = 3*v**2 - 21*v + 6. Let o be b(-11). Suppose 7*q - o = q. Is 7 a factor of q?
False
Suppose -3947*g + 3944*g = -3*s - 24036, 0 = -3*g + 5*s + 24038. Is g a multiple of 16?
False
Is 66 a factor of 13/(143/52217) + 5?
True
Let o = -8 + 14. Suppose -2*l + 2 - o = 0. Let p(g) = 3*g**2 - g + 2. Does 16 divide p(l)?
True
Let l(u) = u**3 - 7*u**2 + 14*u - 13. Let p be l(5). Does 2 divide 32/24 - (4508/(-12))/p?
False
Let o(h) = 2*h**2 - 2*h - 5 - 5 + 14*h + 0. Suppose -7*m + 11*m + 36 = 0. Is 11 a factor of o(m)?
True
Is 12 a factor of ((-1922)/(-155))/(-3 + (-668)/(-220))?
False
Let n(w) = -13*w + 63. Let l(k) = -14*k + 64. Let h(r) = 3*l(r) - 4*n(r). Let v be h(6). Suppose -5*o - 4*o + 486 = v. Is o a multiple of 7?
False
Suppose j + 0*j + 15 = 0. Let k be 20*(-4 - (-1848)/j). Is 21 a factor of k/(-112) - 4/(-14)?
False
Let p = 35 - -43. Let l be 1550560/800 - 1/5. Suppose l = 14*s - p. Is s a multiple of 11?
False
Suppose -3864 + 180 = -6*s. Let q = 340 - s. Let r = -98 - q. Is 37 a factor of r?
False
Let s = -13 - -477. Suppose 0 = -23*r + s + 10185. Is 26 a factor of r?
False
Let r(f) = 177*f + 555. Is 156 a factor of r(53)?
False
Suppose -218 = 7*c + 251. Let z = c + 75. Is 171/(z/4 - 1) a multiple of 9?
True
Suppose 134*l - 640506 = 152935