*2 - 42*f - 50. Let x(h) = -9*h - 165. Let v be x(-16). Is s(v) a multiple of 38?
False
Let c(w) = -3*w - 21. Let f be c(-11). Let m be 15 + 4*3/6. Suppose -n = -f - m. Is n a multiple of 8?
False
Suppose -199*r - 48044 = -372812. Is r a multiple of 16?
True
Let x(g) = 126*g + 27. Suppose 12 = 5*o + 7*o. Is 6 a factor of x(o)?
False
Suppose 2*x - 3*h = 4348, -3*x + 6163 + 366 = -h. Is 7 a factor of x?
True
Suppose 61 = 6*t - 137. Let w = 145 - t. Does 8 divide w?
True
Let i(p) = 28*p + 478. Is i(-7) a multiple of 9?
False
Suppose 3*k = 4*j - 50495, -11704 = -2*j - 5*k + 13537. Does 89 divide j?
False
Let y = -15 - -23. Let o be (20/y)/(20/48). Is 1/(-3) - (o + (-2120)/15) a multiple of 15?
True
Let p = -1463 + 11690. Is p a multiple of 34?
False
Suppose 409*o - 400*o - 15912 = 0. Suppose 5*k - 377 = o. Is 43 a factor of k?
False
Suppose v + 4*v = -460. Let o(k) = 52*k + 6. Let u be o(4). Let s = v + u. Is s a multiple of 37?
False
Let g(y) = 11*y**3 + 6*y**2 - 3*y + 20. Let p be g(-5). Let s = 1679 + p. Is s a multiple of 7?
False
Suppose 0 = -4*x - 3*w + 17746, 1809 = -5*x - 2*w + 23995. Is x a multiple of 42?
False
Does 67 divide 312/(-234)*(-2)/8 + 40708/6?
False
Suppose 0 = 308*a - 161*a - 167*a + 500. Is a a multiple of 25?
True
Let f be (-3127)/(-1) - -2 - 45/(-15). Suppose 3*p + f = 5*h, p - 2500 = -4*h + 2*p. Is h a multiple of 52?
True
Let z(l) = l**3 + 4*l**2 - 5*l + 13. Let r be z(-5). Suppose -r*y = -12*y - 221. Let d = y - 148. Does 10 divide d?
False
Let x be (-3)/12 - (-407)/44. Does 10 divide 1/((27/(-12))/x) - -521?
False
Let f = 81436 + -43628. Is 17 a factor of f?
True
Is 5 a factor of (-639420)/630*-7 - (1 + 4/(-3))?
True
Let y(i) = i**3 - 8*i**2 - 36*i - 88. Let l be y(18). Suppose 8*k - l = -328. Is k a multiple of 34?
True
Let d = -34 - -36. Suppose 4*o = 4, -4*c + o + 1 + d = 0. Let l(x) = 31*x**2 + x - 2. Does 9 divide l(c)?
False
Suppose 136*x - 256967 = 43*x + 467317. Does 22 divide x?
True
Let k = -284 - -286. Let q(r) = 18*r - 4. Does 8 divide q(k)?
True
Suppose 4*r - 13*r = 0. Suppose r = 72*d - 77*d + 800. Does 10 divide d?
True
Suppose 0 = 56*n - 43*n - 91. Suppose n*x + 10 = 9*x, -5*x = 4*y - 949. Is 9 a factor of y?
False
Let g(y) = 885*y**3 + 1. Let f be g(-1). Let n(l) = l**2 + 15*l + 2. Let i be n(-11). Is 22 a factor of (f/51)/(4/i)?
False
Let b(m) = -m**3 + 3*m**2 + 7*m - 10. Let p be b(4). Suppose 132 = p*u + i - 3*i, 4*u = -3*i + 271. Suppose 73*j = u*j + 198. Does 4 divide j?
False
Suppose 98*p - 155979 = 152329. Is p a multiple of 126?
False
Suppose -18*t - 86745 = -2*k - 13*t, 0 = -2*k - 2*t + 86724. Does 245 divide k?
True
Let k(l) = 34*l**2 - 7*l**2 - 2*l + 21 + 9*l. Is 33 a factor of k(-4)?
False
Let a(i) = -8*i - 4. Let v(g) = 56*g + 28. Let k(q) = 20*a(q) + 3*v(q). Let o be k(-1). Is 4 a factor of -12*(0 + o)/8?
False
Suppose 0 = -5*r + 5*z + 42530, 0 = -r + 117*z - 119*z + 8494. Is r a multiple of 21?
False
Let i be 6/(-8) - 632/(-32). Suppose i*u - 22*u = -81. Is u a multiple of 7?
False
Suppose 4*l + 5325 = 2*l + 5*a, 5*l = a - 13255. Let h = -1568 - l. Does 45 divide h?
False
Let t(f) = -6*f**3 - 2*f**2 - f. Let h be t(-2). Let o(q) = -h*q + 27*q + 29*q + 1 - 19. Is o(5) a multiple of 13?
True
Let l(q) be the first derivative of 25*q**4/6 + 5*q**3/6 + 5*q**2/2 + 43*q - 20. Let b(i) be the first derivative of l(i). Does 11 divide b(-2)?
False
Suppose 28*y - 31*y = -4*a, -2*a = 2*y - 14. Suppose -y*o + 3*q + 2262 = -o, 2*o - 4*q = 1516. Is o a multiple of 50?
True
Suppose 4*d - 1951 + 7420 = -q, -d + 3*q - 1351 = 0. Let h = -578 - d. Is 6 a factor of h?
False
Suppose 63*s - 5*s = 2187702. Is 27 a factor of s?
True
Suppose 16 = -4*q + 8*q. Suppose -i - 5*s = -517, -2*i + q*s + 989 = 5*s. Is i a multiple of 41?
True
Suppose -3*a - 19 = 5*l - 9*l, 0 = 2*a - 6. Let v(u) = 20*u**2 - 2*u + 1. Let g be v(1). Suppose -g = -l*c + 37. Does 4 divide c?
True
Let y be ((-1788)/(-15))/(1/10). Let p = y + -925. Does 67 divide p?
False
Let z(k) = k**3 + 12*k**2 + 16*k - 28. Let i be z(-10). Let j(o) = o**3 - 14*o**2 + 51*o - 43. Is 2 a factor of j(i)?
False
Let j(o) = -o**2 + 200*o + 34. Does 6 divide j(64)?
False
Let t(g) = g**3 - 6*g**2 + g + 32. Let c be t(8). Let j = -166 + c. Is j a multiple of 2?
True
Suppose 262656 = -485*l + 504*l. Is 192 a factor of l?
True
Let i = 1893 - 8452. Is (-164)/205 + i/(-5) a multiple of 69?
True
Let i(m) = m**2 - 35*m + 103. Let f be i(39). Suppose d - 551 = -4*p, 14*p - f = 12*p + 5*d. Is p a multiple of 3?
False
Let b(k) = -26*k + 6419. Is 25 a factor of b(61)?
False
Suppose 36 = 3*x + j + 199, -4*x - 2*j = 218. Let s = x - 13. Let c = s + 118. Does 17 divide c?
True
Let y be (5 - -5) + -11 + (1 - 2). Does 4 divide -2*y/(-4) + 9*37?
True
Let x = 775 + -323. Suppose -116*g = -118*g + x. Is g a multiple of 22?
False
Let b = -5226 - -6396. Does 15 divide b?
True
Suppose -21*j + 113*j = 238280. Does 21 divide j?
False
Let r be (-14)/28 - 406/4. Let k = r - -222. Suppose -5*f = 5*q - k, -f - 2*f = -3. Does 5 divide q?
False
Suppose -48*w + 136206 = 12*w + 34*w. Is w a multiple of 21?
True
Let m(b) = b**3 - 5*b**2 - 4*b - 8. Let q be m(6). Suppose -185 = 5*o - s - 4*s, -o - 49 = -q*s. Is 8/(-60)*5*o/2 a multiple of 2?
False
Let u(t) = t**3 - 78*t**2 - 194*t + 308. Is 12 a factor of u(81)?
False
Suppose 477*w + 783 = 474*w. Let z = 77 - w. Is 13 a factor of z?
True
Let a = -6207 - -10194. Is 20 a factor of a?
False
Let q(x) = 4*x - 2. Let i be q(2). Suppose g - i*g - w = 59, -3*w + 15 = -g. Is 656/g*(-6)/4 a multiple of 29?
False
Suppose -96*f = -91*f - 135. Let r(g) = -g**3 + 29*g**2 - 55*g + 27. Let n be r(f). Suppose n = -38*u + 33*u + 1350. Is u a multiple of 27?
True
Let k be 132/10*270/(-4). Let z(g) = -g**2 - g + 1. Let x be z(1). Does 11 divide k/36*(-3 + x)?
True
Suppose -3*d - 3*d = -24. Suppose 2*o - 32 = o + 3*p, d*p + 54 = 2*o. Is o a multiple of 12?
False
Let c(g) = -22*g**2 + 225*g - 4. Is 55 a factor of c(5)?
False
Let t = -545 - -547. Suppose -2*n - 1196 = -t*v, 5*v - n = 8*v - 1786. Is 8 a factor of v?
False
Let s(f) = 3*f - 4. Let x(m) = -1. Let l(h) = s(h) - 4*x(h). Let c(r) = -3*r - 1. Let b(t) = -5*c(t) - 4*l(t). Does 7 divide b(4)?
False
Let v(t) = 5*t - 55. Let g be v(15). Is (-4)/(g/15) + (351 - -4) a multiple of 6?
False
Let z(v) = 18*v + 2115. Does 3 divide z(73)?
True
Let n(d) = -d**2 - 10*d - 25. Suppose -4*g = -g + 18. Let z be n(g). Let s = 76 + z. Is s a multiple of 15?
True
Let n = -10816 + 18307. Does 33 divide n?
True
Let l(g) be the first derivative of 4*g**3/3 + g**2 + 8. Suppose -13*v + 17*v - r - 17 = 0, -v + 20 = 5*r. Does 18 divide l(v)?
False
Suppose -22*w + 18*w - 21096 = -10*w. Is 15 a factor of w?
False
Let m be 1/(-3) - (-23)/69. Suppose -k + 252 - 3 = 4*z, m = 4*z - 12. Is k a multiple of 44?
False
Let g be 14 - 19 - 27/(-3). Suppose 10*r = g*r + 864. Is 24 a factor of r?
True
Let t(z) be the third derivative of -43*z**4/24 - z**3 + 2*z**2. Let v be t(-5). Does 10 divide 38/v + 766/22?
False
Let w(f) be the first derivative of f**6/45 - f**5/40 - f**4/6 + 7*f**3 + 3. Let d(m) be the third derivative of w(m). Does 14 divide d(3)?
False
Suppose -29*p - 23 = -23. Suppose p = 7*r - 1075 - 2509. Is r a multiple of 32?
True
Let t(a) = a**2 + a + 147. Let n be 8*(19 + -18 + 0/2). Let f = n - 8. Does 7 divide t(f)?
True
Let t(i) = 2*i**2 + 37*i + 20. Let n be t(-18). Let l(c) = 12*c + 9. Is l(n) a multiple of 3?
True
Let z be (1081 + -1)*(126/(-12) + 11). Let p = -375 + z. Does 13 divide p?
False
Let v be (-2)/(-2) - (-4 + (-3 - -6)). Suppose 4*f + v*z - 1521 - 201 = 0, 3*f - 1275 = 4*z. Does 13 divide f?
True
Suppose 6*u - 5513 = 24289 + 35358. Does 21 divide u?
False
Let z(v) = v**3 - 3*v**2 - 5*v + 5. Let w be z(2). Let s be (-2)/3*w/2. Does 27 divide 38 + (-1 - 0 - s)?
False
Let b be 3 - (3 - (2 + 3)). Suppose 0 = -b*r + 5*g - 535, -2*r = -7*r - g - 547. Let j = 255 + r. Is j a multiple of 32?
False
Is (-3 - -1)*85*((-1704)/40 + 3) a multiple of 99?
True
Suppose 42*r - 1288 = 38*r. Suppose -2*y = 3*m - 649, -y - 3*m = -2*m - r. Is y a multiple of 15?
False
Suppose -5*o = -55 - 260. Does 21 divide o?
True
Let c(x) = 4*x**2 - 11*x + 66. Let u be c(4). Let v = u + 142. Does 76 divide v?
True
Let f = 8079 + 4416. Is 15 a factor of f?
