62. Let d(i) = 6*p(i) - x(i). Is d(0) a multiple of 28?
True
Suppose -4*b = -4*r + 7*r - 12916, 0 = 3*r + 2*b - 12908. Does 20 divide r?
True
Suppose -3*n + 546 = i, n + 4 = 2*n. Let k = -174 + i. Does 15 divide k?
True
Let m(k) = 194*k**2 + 165*k + 2863. Does 21 divide m(-15)?
False
Let d = -38 + 43. Suppose 14 + 6 = d*u. Suppose 138 = 3*t + 3*c, -6*c + c + 187 = u*t. Does 13 divide t?
False
Suppose -2*b + 67 = -5*h, 2*h - h + 11 = -2*b. Let d(s) = s + 2. Let a be d(h). Is 3 a factor of -2 - -1 - -3 - a?
False
Let d(l) = l**2 - 20*l + 7. Let h be d(20). Suppose h*n = 494 + 1025. Is n a multiple of 31?
True
Let a(y) = 2*y**2 + 4*y. Let s be a(3). Let j(v) = -v**2 + 30*v - 79. Let d be j(3). Does 9 divide 82*(-10)/s*(-3)/d?
False
Is 26613/(-30)*20/(-12) - (-6)/(-4) a multiple of 27?
False
Suppose -2*q = -5*n - 1733, -q = 4*n + 4*q + 1360. Let a = n - -587. Is 22 a factor of a?
True
Let g = 79 + -123. Let n = g - -7. Let t = -13 - n. Does 5 divide t?
False
Is 19 a factor of -2*((-3)/((-18)/(-57)))/(23/15019)?
True
Suppose 7*g + 63 = 10*g. Let k be (-1)/(4 - g/6). Does 8 divide (1 - 3)/8*k*158?
False
Let y be 8058/3 - 10/15*3. Suppose 30*z + y = 34*z. Is z a multiple of 11?
True
Let k(s) = -s**3 + 10*s**2 - 9*s - 8. Let c(x) = -x**2 + 15*x - 14. Let d be c(14). Suppose d = -6*q + q + 35. Does 38 divide k(q)?
True
Suppose 83186 = 3*g - 2*b, -2*g + 4*b + 84740 = 29296. Is g a multiple of 221?
False
Suppose k = 5*x + 28, -k = 4*k - 5*x - 80. Let y(f) = -f**3 + 11*f**2 + 29*f + 26. Is y(k) a multiple of 13?
True
Is 20 a factor of (-103794)/(-15) - (-12)/30?
True
Let q be ((-76)/(-3) + -4)*(-45)/12. Let i = q + 177. Does 4 divide i?
False
Suppose -143268 - 297480 = -66*o. Is 200 a factor of o?
False
Suppose -m - v = -6146 - 3850, m - v - 9998 = 0. Is m a multiple of 21?
False
Suppose -9 = -3*b - y + 3*y, 2*b + 10 = -4*y. Let u = -88 + b. Let c = 153 + u. Is c a multiple of 22?
True
Let n(w) = -60*w + 12. Let b be n(-2). Let k = b + 206. Is k a multiple of 18?
False
Suppose -20*x = 20*x + 240. Does 24 divide 21/x*(-7662)/21?
False
Suppose 4*i - 10360 = -4*x, -2580 = -i - 20*x + 21*x. Is i a multiple of 34?
False
Let i(w) = 1481*w**2 + 23*w + 62. Is 58 a factor of i(-4)?
False
Is 5592 + (-14 + 14 - -4) a multiple of 117?
False
Let d = -1147 + 5349. Does 21 divide d?
False
Does 264 divide (118/7 - -2)/((-49)/(-10976))?
True
Let j = -29 + 54. Suppose t = 5*b + j, 3*b + 4*t - 36 = 7*b. Does 20 divide (120/18)/(b/(-24))?
True
Let w be 0 - 0 - (14 + -14). Suppose w = -5*v + 2*n + 9, -v - 1 + 7 = n. Suppose -4*i + 248 = -2*t, v*i + 4*t = -t + 199. Does 8 divide i?
False
Let m(u) = 142*u**2 + 0*u + 2*u + 0*u + 34 - 35. Is m(1) a multiple of 13?
True
Suppose 64*t = 68*t. Let h = -28 + t. Let c = h + 157. Does 43 divide c?
True
Let g = 627 - -163. Suppose -11636 = -17*k - g. Is 22 a factor of k?
True
Suppose 5*r - 35 = -q, -7*r + 2*r + 20 = 0. Suppose 0 = q*u + u - 2496. Does 4 divide u?
True
Let n = -15844 - -22999. Does 5 divide n?
True
Suppose 746 = 5*v - 1524. Suppose -4*z + v = 54. Let h = -34 + z. Does 10 divide h?
False
Let x(c) = c**2 + c - 52. Let s be x(-24). Let t = 312 + s. Does 11 divide t?
False
Let y be 3 - (6 + -1)*-41. Suppose 19*t = 15*t + y. Suppose 4*g = t + 188. Does 10 divide g?
True
Let d = 10 - 5. Let k be (-2 + 1)/(d/(-10)). Suppose 38 + 104 = k*c. Is c a multiple of 12?
False
Suppose -4*y = 16, -5*i + 7*i - 34 = 5*y. Suppose 0 = i*w + 16*w - 2737. Is 17 a factor of w?
True
Suppose -8*k + 10700 = 204. Suppose 5*n - k = 128. Is n a multiple of 24?
True
Suppose 4*h - f - 9214 = 0, 4*f - f - 2310 = -h. Suppose 24*w - 18*w - h = 0. Does 32 divide w?
True
Let l(v) = -79*v - 57. Suppose 2*u + 9 = 5*t, 3*t + 5 = -u + 5*t. Is 16 a factor of l(u)?
True
Let l = -2878 + 6310. Is l a multiple of 26?
True
Let n(s) = 4*s**3 + 21*s**2 + 3*s - 53. Is n(10) a multiple of 103?
True
Suppose -3*f + 10587 = 5*c, c - 2117 = 2*f - 3*f. Is c a multiple of 107?
False
Let z be (-378)/49 - (-4)/(-14). Let p = z + 6. Let f(x) = -18*x**3 - 2*x - 2. Does 19 divide f(p)?
False
Is (((-74800)/(-33))/(-10))/((-2)/123) a multiple of 26?
False
Suppose -36*c - 34003 = -100885 - 140478. Is 32 a factor of c?
True
Let i = -814 - -810. Does 15 divide (1896/i + 5)*(-24)/28?
False
Let v be 327 - 327 - (-2 + 1 - 394). Suppose 4*q - v + 151 = 0. Is q a multiple of 3?
False
Let y(v) = -21*v + 2. Let a = 40 - 42. Let j be y(a). Does 11 divide j/8*3/(9/24)?
True
Let d be 0 + 297/21 - (-14)/(-98). Suppose 0 = -d*b + 9*b + 450. Is b a multiple of 9?
True
Suppose 23 = -b + 3*k - k, -2*k = 5*b + 79. Let i = 17 + b. Suppose 4*l - 262 = 5*u, i = -l - 3*u - 5 + 62. Is l a multiple of 20?
False
Let p = -681 - -1431. Let o = -431 + p. Does 29 divide o?
True
Let m(a) = -a**3 + 47*a**2 - 35*a - 385. Is m(45) a multiple of 222?
False
Let h be ((-4)/(-3))/((-6)/144*-8). Is (234 - 24/h) + -6 a multiple of 11?
False
Let m = -108 - -116. Let n be 4/(-12) - (10/6 - -1). Is n/(-1) - (m/(-2) + 1) a multiple of 6?
True
Suppose 13 = -18*o - 5. Let y(p) = -8*p**3 + 2*p**2 - p - 2. Let g be y(o). Suppose 1242 = -3*t + g*t. Does 9 divide t?
True
Let i(f) = 57*f - 38. Let x be i(6). Suppose 4*d + x = 6*d. Is 19 a factor of d?
True
Let j be (1 + 13)*22/77 - 2. Suppose j*r - 56 - 75 = -x, 0 = -5*r - 2*x + 326. Does 7 divide r?
False
Suppose -3*m + 37 = 334. Let n = 183 + m. Does 7 divide 2/6*n/1?
True
Suppose 5*c = -0*c. Let q(u) = -3*u + 9*u + 124 - 7*u - u**2. Is 14 a factor of q(c)?
False
Suppose 2*x + 2*j - j = 41, -2*x + 37 = 5*j. Let t be 35/x*(-6)/(-5). Suppose 3*r = t*r + 57. Is 14 a factor of r?
False
Let x(k) = -41*k**2 - 3*k + 10. Let c be x(-3). Is 4 + (c/(-2) - 5) a multiple of 58?
True
Let u = 584 - 579. Suppose 0 = 4*j - 4*d - 276, -4*j + 5*j - 53 = u*d. Does 3 divide j?
False
Let g = 2487 + -738. Suppose -436 = -2*i + 5*s + g, 2*s - 3325 = -3*i. Suppose 14*u = u + i. Does 5 divide u?
True
Let t be (-873)/(-99) - (80/44 - 2). Suppose t*x = -22*x + 17236. Is 14 a factor of x?
False
Let h = -29741 + 43329. Does 209 divide h?
False
Let y be 30/(-90)*27822/(-4 - -2). Suppose 3*s = 1606 + y. Is s a multiple of 19?
False
Let v be (-18)/(-81) + 16/9. Suppose -3*k - v*p - 17 = -122, k = 3*p + 46. Suppose 0 = -g + 33 + k. Is g a multiple of 10?
True
Suppose -y = 883*z - 887*z - 30148, -2*y + 2*z = -60308. Is y a multiple of 46?
False
Suppose 59 = -6*i + 5. Let y be (-4)/(-18) + (-1)/(i/43). Suppose 5*g + 0*g - 177 = -l, -y*g + 195 = -5*l. Is 4 a factor of g?
True
Let r(a) = 21*a - 210. Let b(f) = 63*f - 630. Let p(i) = -6*b(i) + 17*r(i). Is p(6) a multiple of 9?
False
Let j(k) = 2*k**2 + 4*k + 16 + 7 - 5*k. Let n be j(-8). Let f = n - 113. Is 30 a factor of f?
False
Let l be (18 + -12)*2/(-4). Does 2 divide (-2)/(8/(-92)) + l?
True
Let p(h) = -11*h**2 + 35*h + 114. Let o(a) = -5*a**2 + 18*a + 55. Let k(y) = -13*o(y) + 6*p(y). Does 5 divide k(-17)?
False
Suppose 4*y + 903*m - 13117 = 908*m, 3*y - 3*m = 9834. Is y a multiple of 16?
False
Let h(y) = 11*y**3 + 4*y**2 - 2*y - 1. Let p(a) = -a**3 - 2*a**2 + 9*a + 17. Let s be p(-2). Let z be (-1 + (1 - s))/1. Does 4 divide h(z)?
True
Suppose -3*c + 489 = 5*i, 425*c - 340 = 423*c - i. Does 2 divide c?
False
Let a(t) = 134*t + 14. Let s(i) = -7*i - 60. Let v be s(-9). Is 13 a factor of a(v)?
True
Suppose 3*n - 1407 = 16*t - 14*t, -5*n + 2*t + 2345 = 0. Does 11 divide n?
False
Let j(b) = -4*b**2 - b**3 - 16*b**2 - 13*b - 28 - 27*b. Does 16 divide j(-18)?
False
Is 36 a factor of (-17 + 8)*-132 - 0?
True
Suppose 0 = 29*y - 24*y - 70. Suppose -y*r - 6205 = -31*r. Is 9 a factor of r?
False
Let t(u) = -u**3 + 4*u**2 + 7*u - 5. Let g be t(5). Suppose -5*z + 2675 = 3*b, -g*b - 3*z + 4505 = -4*z. Does 25 divide 3/2*b/27?
True
Let o(n) be the first derivative of 2*n**3/3 - n**2 + 20*n + 17. Let b be o(10). Suppose 2*h = 2*f + 80, 5*h - f = 3*f + b. Does 6 divide h?
False
Suppose -496*r = -502*r + 30720. Is r a multiple of 20?
True
Let w(a) = 87*a**2 - 501*a - 4088. Does 14 divide w(-8)?
True
Let u(n) = 234*n**2 - 21*n - 9. Is u(12) a multiple of 26?
False
Let v(a) = a**2 + 9*a + 16. Let u be v(-12). Let p = -88 + u. Does 4 divide (p/14)/((-21)/98)?
True
Let a(z) = 1349*z - 4. Let y = 103 + -102. Is 94 a factor of a(y)?
False
Let j = -2370 + 2522. Is 76 a factor of j?
