 = 36 + -11. Suppose -6*t + 5*t - 88 = 4*o, 0 = 5*t - o + 356. Let f = d - t. Is f a multiple of 11?
False
Suppose y + 156 = -3*w + 4*y, 0 = w - 3*y + 48. Let h = w + 64. Let o(d) = d**2 + d - 19. Does 13 divide o(h)?
True
Suppose 3*o - 101787 = d, 5*o - 44088 = -5*d + 125577. Is 174 a factor of o?
True
Suppose 2*f - 1075 = 5*v, 30*v - 34*v + 4228 = 8*f. Is f a multiple of 10?
True
Let g = 131 + -59. Let h be (-1 - 1)/((-10)/235). Let z = g - h. Is z even?
False
Let t = -75 - -77. Suppose 10 = 2*h, -t*h = -0*y + 2*y - 154. Does 8 divide y?
True
Suppose 0 = 21*p - 17663 - 61549. Does 7 divide p?
False
Suppose -6*v + 75 = 9*v. Suppose v*n - 523 = -q, 3*n + 3*q - 309 = -0*q. Does 9 divide n?
False
Let b be (-32)/(-3)*(-120)/(-16). Suppose 3*z - z - 4 = 0, -3*t + b = -5*z. Is t a multiple of 5?
True
Let v = -1088 + 1641. Suppose 7*c = 833 + v. Is c a multiple of 33?
True
Let h(q) = 25*q - 60. Let d(x) = -13*x + 30. Let b(f) = 9*d(f) + 4*h(f). Is b(-4) a multiple of 12?
False
Is 19 a factor of 432/(-324)*21630/(-4)?
False
Let n(x) = 8*x**2 + 4*x - 5. Let z be n(1). Suppose 0 = 2*h - z*h + 865. Is h a multiple of 20?
False
Let w(o) be the third derivative of 7*o**4/12 - 35*o**3/6 + 10*o**2. Is w(12) a multiple of 17?
False
Suppose -144405 = -103*h + 257742 - 86967. Does 34 divide h?
True
Let x(d) = -4*d + 18. Let c be x(9). Let h = c + 18. Suppose h*r - 66 = -3*r. Is r a multiple of 6?
False
Suppose 391612 + 1897808 = 126*c. Is c a multiple of 19?
False
Let s be 6/39 - 63/(-13). Let l(i) = 7*i**3 - 6*i - 11. Let r(o) = -6*o**3 + 6*o + 10. Let h(g) = s*l(g) + 6*r(g). Is h(-5) a multiple of 14?
False
Let g be (-370)/(-3)*18/5. Suppose -4*l - 3*r = -592, -3*l - 19*r + 14*r + g = 0. Is 4 a factor of l?
True
Let a = -2210 - -19552. Is a a multiple of 43?
False
Let u(l) = 18*l**2 + 36*l + 206. Does 13 divide u(48)?
False
Suppose -5*j = -l - 15, 6*l + 22 = -8. Suppose -x + j*b + 655 = -0*b, -3*b + 660 = x. Does 19 divide x?
False
Suppose -3*l = -4*i + 179, 13 + 35 = i - 4*l. Let a = i - 37. Suppose -156 - 138 = -a*u. Is u a multiple of 25?
False
Let u(i) = 10*i**3 - 4*i**2 + 6*i - 7. Let n be u(3). Let z = n - 64. Suppose -5*l - 2*v = 12 - 236, -4*l - v = -z. Is 10 a factor of l?
False
Suppose 30*m + 86034 + 1503662 = 148*m. Is 16 a factor of m?
True
Let n(s) = -s**3 + 12*s**2 + 15*s + 7. Suppose 78 = 31*x - 25*x. Is 5 a factor of n(x)?
False
Let j = -64 - -68. Suppose 14 = 2*p + 4*r, -3*r - 2*r = j*p - 28. Suppose -t + 63 - p = 4*b, 3*t - 93 = 3*b. Does 9 divide t?
True
Is -1730*(4/30)/((-230)/3105) a multiple of 18?
True
Let d = 941 - 939. Suppose -3*t - 5*v + 853 = 0, 16 + 521 = d*t - 3*v. Is 46 a factor of t?
True
Suppose 5*o - 610 = 110. Suppose o = 6*r - 300. Is r a multiple of 57?
False
Suppose -119*b + 116*b + 9 = 0. Let v(m) = -2*m**3 - 2*m + 1. Let y(s) = 3*s**3 + s**2 + 2*s - 2. Let h(x) = 4*v(x) + 3*y(x). Is 5 a factor of h(b)?
False
Suppose -18*z - 94*z = -420448. Is z a multiple of 84?
False
Suppose -54*j + 83*j - 41354 = 0. Is j a multiple of 2?
True
Is 65 a factor of 4563*(55/(-15))/(-11)?
False
Suppose -4*l + 5*y = -21, 3 - 8 = 5*y. Suppose 4*f - z = -63, 5*f = f + l*z - 72. Let w = 35 + f. Does 5 divide w?
True
Let b be -1 - (-5 + 72 - -2). Let j = b + 574. Suppose 0 = -6*w + j + 60. Is 8 a factor of w?
False
Suppose -31*m + 63*m - 199200 = 0. Does 83 divide m?
True
Suppose 7*m - 593 + 110 = 0. Let r = m - 9. Is r a multiple of 15?
True
Let i be (0/2)/(-18 + 20). Suppose 6*c + c - c = i. Suppose 2*o = 3*y - 414 - 79, c = -4*y - 4*o + 624. Is y a multiple of 23?
True
Let c(a) be the third derivative of -a**6/120 - a**5/15 - 5*a**4/24 - a**3/3 - 25*a**2. Let t be c(-4). Is 362/9 + -6 + (-4)/t a multiple of 6?
False
Let k(i) = 6*i**2 + 59*i + 13. Let t be k(-12). Suppose 159 = 4*o - j, 2*o + 2*o + j - t = 0. Does 41 divide o?
True
Suppose 0*y = 4*v - 2*y + 308, v = -3*y - 91. Suppose 21*r - 565 = -5*j + 23*r, -4*j - 4*r + 480 = 0. Let c = j + v. Does 10 divide c?
False
Let j be 0*(-5 - -7)/((-4)/(-2)). Suppose j = 19*z - 7502 + 320. Is z a multiple of 6?
True
Let w = -7076 - -19989. Is 14 a factor of w?
False
Let y = -24 - -27. Let m(i) = -i**3 + 4*i**2 + 1. Let b be m(y). Let q = 84 - b. Does 37 divide q?
True
Let m = 280 + -105. Suppose 111 + m = g. Is 13 a factor of g?
True
Suppose -143778 = -98*v - 28*v + 17250. Does 6 divide v?
True
Let h be 1/4 + 3/4. Suppose 0 = -s + 4*n + 562, -h = -5*n + 14. Is s a multiple of 41?
True
Let p(s) = -s. Let b(v) = -51*v - 51. Let x(a) = b(a) - 4*p(a). Suppose 0 = 41*r + 437 - 109. Is 13 a factor of x(r)?
True
Let l be 1 + 6 - (-17 + -219). Suppose 0 = -w - l + 756. Is w a multiple of 27?
True
Suppose 7*i - 7909 = 47951. Is 42 a factor of i?
True
Let c be 13/(39/18) - 3. Suppose r + 0*r - 13 = -d, -39 = -c*r + 4*d. Is 23 a factor of r + -9 - (-1 + -104)?
False
Suppose 0 = -18*l - 9*l + 3861. Suppose -131*j + l*j = 9504. Is 18 a factor of j?
True
Let j = -38562 + 68509. Does 90 divide j?
False
Let s be 6*((-565)/(-10))/1. Suppose 188 - 12 = 2*x + 4*z, 4*x - 5*z - s = 0. Is 43 a factor of x?
True
Suppose 1018*m - 14498 = 1007*m. Is 41 a factor of m?
False
Is -9*(-31358)/126 + (-12)/14 + 1 a multiple of 5?
True
Let g = 38362 + -17012. Is g a multiple of 10?
True
Is 116 a factor of (252 - -15)*(4622/30 - 15/(-25))?
True
Suppose 5*x + 80 = -0*m + 2*m, -4*m - 3*x = -108. Suppose -4*o + m = 10. Suppose -4*w + o*r - 68 + 393 = 0, 315 = 4*w + 5*r. Is 40 a factor of w?
True
Let w(b) = 2*b**2 + 14*b - 16. Let c be w(-12). Let k = 243 - c. Let x = k + -11. Does 16 divide x?
True
Does 4 divide (33 + 3)/(1/13)?
True
Let p(m) = m - 2. Let o be 7 + ((-4)/6)/(1/3). Let x be p(o). Suppose -5*u = x*a - 240, -3 - 12 = -3*a. Is 9 a factor of u?
True
Is (4465/10 - (-2)/4)/(49/637) a multiple of 13?
True
Let s = -18928 - -20508. Does 158 divide s?
True
Suppose 0 = -1363*c + 1269*c + 115244. Is 64 a factor of c?
False
Suppose -357 + 34294 = 5*d - 3*j, -2*d + 5*j = -13552. Is 17 a factor of d?
False
Suppose 0 = f + 5*r - 52, 6 = f - r - 16. Does 5 divide 25/(2 + f/(-15))?
True
Suppose -5*j = 3*z - 486, -j = -2*j - z + 96. Suppose j = 12*n - n. Let g = n + 0. Does 8 divide g?
False
Suppose -11 + 0 = -f. Let n(r) = 35*r - 286. Is n(f) a multiple of 33?
True
Let f be (-1 + 15)/((-48)/24). Let p(i) = -3*i**2 - 12*i + 5. Let o be p(f). Does 15 divide (-2)/(-3) - o/3?
False
Suppose -2*w - 2*v + 16 = 2*w, -4*w - 4*v + 24 = 0. Let g(x) = 4*x - 4. Let s be g(w). Suppose s*o - 171 = 585. Is 21 a factor of o?
True
Suppose -5*d = -n - 2*n + 671, -4*d = -3*n + 673. Let l = -318 + n. Let r = l - -158. Is r a multiple of 8?
False
Let h(c) = -34*c + 131. Let z be h(-23). Let y = 979 - z. Is y a multiple of 19?
False
Let f(a) = 2*a**2 + 163*a**3 + a + a**2 + 12 - 164*a**3. Let q be f(4). Suppose 11*w - 785 - 183 = q. Does 11 divide w?
True
Let a(y) = -8*y**3 - 12*y**2 - 3*y + 20. Let n(s) = 4*s**3 + 6*s**2 + s - 9. Let v(m) = 4*a(m) + 9*n(m). Is v(2) a multiple of 14?
False
Suppose 23 + 5 = v + 4*r, 4*v - 47 = -3*r. Suppose -430 = 3*g - v*g. Let d = 21 + g. Is d a multiple of 27?
False
Suppose -4*r + 0*t = -4*t + 12, -5 = -5*r + t. Suppose 4*h = -2*i + 1302, -2*h - 5*i = r*h - 1317. Is 42 a factor of h?
False
Let h be (2*1)/(52/5252). Suppose 64 = v - h. Is 11 a factor of v?
False
Let v be -11*7*(-8 - -13). Let w = v + 872. Does 34 divide w?
False
Let f be 0 + -7 + -1 + 1. Let i(g) = -g**3 + 9*g**2 + 179*g - 1098. Let o be i(6). Does 14 divide (o/15)/(f/(-70))?
True
Suppose 59927 = -25*z + 29*z - 5*i, -5*z - 2*i = -74983. Is 106 a factor of z?
False
Let a be 2/(6 + -3 + 0)*6. Suppose j - j = a*j. Suppose 12*w - 9*w - 90 = j. Does 3 divide w?
True
Let n = -4369 - -8606. Is n a multiple of 223?
True
Let k = -50 + 74. Suppose -3*s = -6*s - k. Let t(d) = -d**2 - 13*d - 12. Does 25 divide t(s)?
False
Suppose 0*a + 3*a = 5*x - 136, 4*x - 3*a = 107. Suppose 15660 = -9*y + x*y. Is y a multiple of 11?
False
Suppose 4*r - 3*h = 77 - 9, 36 = 2*r - 2*h. Let d(j) = -r - 12 + 3 + 11*j + 5. Is d(2) a multiple of 4?
True
Suppose m = -5*w + 199, 3*m - w = 168 + 461. Suppose -6*q = m - 1145. Does 26 divide q?
True
Suppose 4*h = -136 - 68. Let o = h - -54. Suppose -o*v - 10*f + 105 = -12*f, -140 = -4*v + 3*f. Is 7 a factor of v?
True
Let j(h) = 3 + 12 - 9*h 