 58 + 9 = 4*t, 2*t = -4*z - 20. Does 51 divide 4/t + (-35)/28*-245?
True
Let a be ((-4)/(-18) + 26/(-117))/2. Suppose a = -2*p - 3*k + 321, 3*p - 4*k = -k + 519. Is p a multiple of 7?
True
Let k(w) = 4*w + 232. Let y be k(-43). Let v = 97 + y. Does 6 divide v?
False
Let c(r) = 930*r + 2664. Is 42 a factor of c(8)?
False
Suppose -2*b + 2 = 12. Let o be ((-2)/(-5))/(1/(-10)). Does 4 divide (6 - 1 - (b - o)) + -1?
False
Let f be -2 + -1*4/(-1). Suppose -f*q = -10 + 30. Is (-127)/(-2) + 15/q a multiple of 18?
False
Let m(x) = -x**3 + 5*x**2 + 9*x - 20. Let v be m(5). Suppose 616 = v*k - 2384. Is k a multiple of 8?
True
Is (7/(42/(-45)))/((-166)/393752) a multiple of 10?
True
Let x be 6 + -2 - -2 - (-4 - -2). Suppose 2*p + 390 = x*p. Let w = 73 - p. Is w a multiple of 4?
True
Let r(w) = -w**2 - 12*w + 10. Let l be -3 - 44/(-16) - 54/8. Let q be r(l). Let s = 66 - q. Is s a multiple of 7?
True
Let x(y) = -19*y + 14. Let n = 114 + -120. Let u be x(n). Suppose -11*k + u = -598. Is 22 a factor of k?
True
Suppose -5*l - 28 + 18 = 5*k, 0 = 3*l - k - 14. Suppose -8*w - l*h = -7*w - 495, w + 2*h = 499. Is w a multiple of 13?
True
Suppose -12*u - 18*u = 18*u - 1037232. Is 46 a factor of u?
False
Let c(z) = 4*z. Let y(g) = -4*g. Let j(f) = -6*c(f) - 7*y(f). Suppose -2*x - 4*h = -26, -7*h + 2*h + 41 = 3*x. Does 34 divide j(x)?
True
Let x be (-4 + (-1617)/6)*-2. Let n = x + -230. Is 5 a factor of n?
False
Let g(x) = 3*x**2 - 393*x - 26. Is 86 a factor of g(-13)?
True
Let m(l) = 2*l**2 + 9*l - 3. Let x be m(-5). Suppose -n + 5 = -j, 0 = 3*j - x*j + 2*n + 17. Let u = 72 + j. Does 7 divide u?
True
Let k = 14052 - 1182. Does 45 divide k?
True
Let x(l) = l**3 - 6*l**2 - l - 10. Let y be x(6). Let s be (y/(-5))/((-9)/45). Is ((-12)/s - -3)*8 a multiple of 6?
True
Let x be -4 - (4 - (991 - -1)). Let z be (20/12 - 1)*x. Suppose 4*g = 5*h + 600, -4*g + 2*h - 68 = -z. Does 42 divide g?
False
Let m(k) = -6*k**2 + 19*k + 88. Let c be m(-4). Suppose 5*h - 3*s - 1066 = 0, 2*h - 5*s + 0*s - 434 = 0. Let x = h + c. Is 19 a factor of x?
False
Let d(f) = -7*f**2 + 2*f + 12. Let u be d(-2). Is 19 a factor of u/3*1710/(-50)?
True
Let f = 24834 + -12198. Is 70 a factor of f?
False
Let w(t) = -t**3 + 11*t**2 + 17*t + 5. Let a be w(12). Suppose 160 = -5*f + a. Let b(c) = -5*c - 23. Is 15 a factor of b(f)?
False
Suppose 30 = 5*b + 20. Suppose -3*o + 372 = -b*r, -3*r - 13 = -4. Suppose -3*n = -3*j - 84, 5*n - n + j - o = 0. Is n a multiple of 6?
True
Let o(g) = -1. Let r(n) = 4*n - 45. Let f = 9 - 10. Let b(t) = f*r(t) - o(t). Is 10 a factor of b(-11)?
True
Let u(z) = 38*z**2 + 2325*z - 10. Is 139 a factor of u(11)?
True
Let b(n) = -4*n**2 - 8*n - 4 + 2*n**2 + 12*n + 25*n**3 - 2*n. Does 12 divide b(2)?
True
Let j be 1 + (-14)/10 - (-1024)/160. Let s(y) = -28*y - 14. Let w be s(-7). Suppose -19*o = -j*o - w. Is 4 a factor of o?
False
Let r be 86/11 + 42/(-11) + 4. Let y be (-7)/(-56) + (-1161)/r. Let q = y - -441. Is q a multiple of 34?
False
Let i(d) = d**3 - 7*d**2 - 9*d + 23. Let y be i(7). Let x = y - -44. Is 2 a factor of x*((-111)/(-12) - 4)?
False
Let v be (6735/(-12))/(5/20)*1. Is -3*v/75 - 1/(-5) a multiple of 15?
True
Let h = 102729 + -72721. Is h a multiple of 224?
False
Let f be (2 + -4)/2 - -15. Suppose -4*a + j + 48 - f = 0, 0 = -4*a - 4*j + 44. Suppose -o + a*o = 928. Does 23 divide o?
False
Suppose 0 = -5*t - 3*l - 29, 2*t + 3*l + 21 = -t. Let n(v) = 2*v**2 + 4*v - 2. Let z be n(4). Let k = t + z. Does 11 divide k?
False
Is 18 a factor of 180/(-3060) + 90578/34?
True
Let r be 990/25*20/(-6). Is (474/(-8))/(r/704) a multiple of 7?
False
Let f(a) = -2*a**3 + 164*a**2 + 188*a - 264. Is f(83) a multiple of 36?
False
Let w be (2 - (2 - 3)) + -92. Let p = w + 213. Let i = p - 76. Is i a multiple of 12?
True
Let j(z) = -3*z**2 + 38*z + 5. Let m(h) = h**2 + h + 1. Let l(r) = -j(r) + 6*m(r). Is l(-6) a multiple of 13?
False
Let f(c) = -c + 53 - 5*c + c. Let z be f(18). Let l = -5 - z. Does 10 divide l?
False
Suppose 0 = 3*u + 14*a - 9*a - 127370, 0 = -u + 5*a + 42450. Is u a multiple of 19?
False
Suppose 5*l - 22040 + 5571 = 3*p, -4*l + 13170 = -5*p. Is 11 a factor of l?
False
Is ((-9)/2 - 156/(-39))/((-3)/80010) a multiple of 21?
True
Suppose 5*z + 28 = -2*p, 4*z - 3*z + 74 = -4*p. Let v = p - -220. Is v a multiple of 4?
False
Let u = 128 - 130. Is 36 a factor of (20/2)/u - -61?
False
Let m = 20322 - 13239. Does 9 divide m?
True
Suppose -31 = -k - 42. Let j = k - -23. Let q = j - -18. Does 6 divide q?
True
Suppose 0 = -39*d + 29*d - 1300. Let a = 75 - d. Is 9 a factor of a?
False
Suppose 3*w - 5*l - 763 = 0, 5*w + l - 1309 = -0*w. Let k = 142 + w. Is 30 a factor of k?
False
Suppose -37*z + 32*z = -5*u - 3310, 3*u = 4*z - 2642. Does 41 divide z?
True
Let b(h) = -h**3 + 3*h**2 + 108*h - 6. Let l be b(-9). Does 14 divide ((-2)/(4/l))/(3/596)?
False
Let d = -2889 - -2887. Suppose -4*m + 6*m = 94. Is (5 - 6)*d - m*-1 a multiple of 7?
True
Let f(m) = 12*m**2 - 362*m - 62. Is f(38) a multiple of 6?
True
Let q(y) = 250*y**3 - 4*y**2 - 2*y + 90. Is 45 a factor of q(5)?
True
Let b(i) = -56*i + 101. Let k be b(10). Let s = k - -495. Is 5 a factor of s?
False
Let a be (-1)/((6/(-46))/3) - -3. Let x = a + 184. Is 15 a factor of x?
True
Suppose -a = g - 3, 0 = -g + 2*g + 2*a - 6. Suppose 693*u - 690*u - 432 = 0. Suppose g - u = -4*d. Is d a multiple of 5?
False
Suppose 7*y - 5*i = y + 17260, 3*i = -3*y + 8652. Does 60 divide y?
True
Suppose -11763*z + 11750*z + 83460 = 0. Does 15 divide z?
True
Let x = -3540 - -6384. Does 4 divide x?
True
Let b = -11 + -130. Let s = b - -307. Is s a multiple of 62?
False
Let u(p) = p**2 + 87*p + 1144. Is 22 a factor of u(-109)?
True
Let y = 2 + 3. Suppose 0 = -4*r + m + 34, -y*r + 24 = -4*m - 13. Suppose -360 = -r*j + 3*j. Is j a multiple of 15?
True
Let j(g) = -551*g + 382. Does 29 divide j(-20)?
False
Let z(m) = 40 - 138 + 4*m + 58. Let i be 3 + (3 - 7) + 17. Does 3 divide z(i)?
True
Suppose 1740938 = 78*a - 468568. Is 7 a factor of a?
False
Suppose -4*x - 104 = -3*s - 451, 2*s - 405 = -5*x. Let l(v) = 61 + 7*v - 8*v + x. Is l(0) a multiple of 10?
False
Suppose -3*v = -3*j + 27090, -j - 3*v + 12514 = 3508. Is 94 a factor of j?
True
Let h = 77 - 79. Let z be 1/h*(-1 + 9). Is 513/36 + 1/z a multiple of 2?
True
Let a = -621 - -605. Is 2 a factor of (-2 + (-68)/a)/((-4)/(-48))?
False
Let r(b) = 3*b**2 + 4*b - 1521. Is r(-35) a multiple of 55?
False
Let m(d) = 12*d**3 + 2*d**2 + 5*d + 2. Let y(q) = -q + 24. Let z be y(20). Let x be m(z). Suppose 4*g - 4*r - x = r, -424 = -2*g - 4*r. Is g a multiple of 26?
True
Suppose -1204*u = -1244*u + 83080. Is u a multiple of 31?
True
Let j(i) = 4*i**2 - 20*i + 15. Let c(a) = 7*a**2 - 41*a + 30. Suppose 4*n = 3*s + 26, 5*n + 9 = 4*s + 42. Let d(v) = n*j(v) - 3*c(v). Does 4 divide d(22)?
False
Let i(u) = -u**2 - 53*u + 136. Is i(-52) a multiple of 7?
False
Suppose 116 = b - 5*c, -b + 4*b + 2*c - 280 = 0. Suppose 3*o = -x + 92, -x + o + b = 5*o. Does 9 divide x?
False
Let j = -38 + 41. Suppose -4*r + 471 = -3*p + 6*p, j*r - 363 = p. Does 40 divide r?
True
Let v = 662 - 450. Let p = v + -190. Is p even?
True
Let x(t) = t**3 - 10*t**2 - t + 13. Let l be x(10). Let q be (-30)/(-4)*2/l. Suppose 380 = 4*s - 4*f, q*f - 87 = -s - 10. Does 23 divide s?
True
Suppose -t + 3 = 0, -t - 6564 - 2501 = -2*c. Suppose 8*d = 6562 + c. Is 57 a factor of d?
False
Is 8 + ((-13 - -6) + 8 - -1788) a multiple of 5?
False
Let h = -30506 - -75118. Is 19 a factor of h?
True
Let c(s) = -s**2 + 10*s - 34. Suppose 4*w - 6*w + j = -5, j = 5*w - 17. Let d be c(w). Does 11 divide (0 + -1)/(d/110)*2?
True
Suppose 0 = 2*t + a - 83 - 1042, -4*t - 4*a = -2240. Suppose -5*r + f + 1401 = 0, 2*r - t = 8*f - 3*f. Is r a multiple of 28?
True
Is (-14048)/(-24)*(4 + (-49)/(-14)) a multiple of 29?
False
Suppose -36*z + 3240 = -34*z + 4*d, -5*d - 6402 = -4*z. Does 8 divide z?
True
Suppose -4*r - 3*c = 5, -4*r + 3 = -7*r - 2*c. Let b(y) = 556*y**3 + 2*y**2 - 9*y + 9. Is b(r) a multiple of 31?
True
Suppose -8 = 4*z - 4*g, -2*g = z - 4*g + 7. Suppose -3*x + 6 = -3*m, 4*x = z*m + 5 + 1. Suppose x = 4*l - 77 - 175. Is l a multiple of 7?
True
Let t(l) = 19 - 37 + 10 - l**2 - 24*l. Does 8 divide t(-16)?
True
Let h(z) = z**3 - 23*z**2 + 22*z + 22. Let u = 106 - 84. Is h(u) 