ose 0 = g + 5*f - 1168, -4 = 2*f - 0. Suppose -5*a + g = -322. Is a a multiple of 34?
False
Let j(u) = u**2 - 10*u + 5. Let z(t) = -t**3 - 11*t**2 + 10. Let i be z(-11). Let w be j(i). Suppose 7*k - 2*k - w*d - 5 = 0, 3*d + 8 = 4*k. Does 5 divide k?
True
Let m be 775 + (3/2 - (-30)/(-20)). Let b = -495 + m. Is 35 a factor of b?
True
Suppose 79*r - 64159 = -53*r + 309929. Is 13 a factor of r?
True
Suppose 0 = -1137*m + 1124*m + 12748 - 3674. Is m a multiple of 28?
False
Let r(z) = 5 - 390*z + 208*z + 2*z**2 - z**3 + 194*z - 13*z**2. Let o be -1 - (-1 - (-16 + 3)). Does 28 divide r(o)?
False
Suppose -5*d - 581 = 1014. Let v = -15 - d. Does 19 divide v?
True
Let a be ((-12)/(-10))/(12/30). Suppose 22 + 35 = 3*y. Suppose 0*v + n = a*v - 57, v - n = y. Is v a multiple of 6?
False
Suppose -k + 6 = -3*j + 5*j, -3*j - 3*k + 9 = 0. Suppose 0 = -u - j*o + 573, 269 = 2*u - 2*o - 909. Does 50 divide u?
False
Is 41 a factor of 54707 - ((-204)/17 + 25)?
True
Let s = 109 - -1400. Let y = -933 + s. Does 36 divide y?
True
Let d(j) = -6*j**2 - 255*j + 74. Is 10 a factor of d(-22)?
True
Let z(c) = 1313*c**2 + 128*c - 401. Does 30 divide z(3)?
False
Let x(r) = -r + 2. Let c be x(-3). Suppose c*a - 11*a + 36 = 0. Does 6 divide a/2 - -78 - -1?
False
Let s(k) = -21*k - 5. Let i be s(-1). Suppose -i*r + 336 = -14*r. Is 12 a factor of r?
True
Let r = -56 - -60. Suppose 3*x = -r*k + x + 24, 3*k + 4*x = 28. Suppose k*n - 250 = o + 306, 2*o = 4*n - 552. Does 14 divide n?
True
Let x(s) = -6*s - 7. Let i be x(-5). Suppose -i = -l - 5*k, -l + 3*k = -6*l + 27. Suppose -3*f - f + 3*z = -117, 3 = l*z. Does 10 divide f?
True
Suppose b = 5*u - 74761, 5*b - 3907 = 5*u - 78672. Is u a multiple of 84?
True
Let d = -1216 + 2084. Suppose j + 2*r = -0*j + 868, -j = 5*r - d. Is 73 a factor of j?
False
Suppose 7*l - 3*l + 156 = 0. Let y = l + 36. Is (-302)/(-3) - (48/18 + y) a multiple of 28?
False
Let b be ((-5)/3)/(26/(-156)). Suppose 6 = 12*h - b*h. Suppose -4*y = -3*f - 333 - 22, h*f = -2*y + 155. Is y a multiple of 21?
False
Let m(y) = -5*y**3 - 97*y**2 - 48*y - 561. Is 28 a factor of m(-27)?
False
Let v be -5*-179*9/(-15). Let w = 991 + v. Is w a multiple of 29?
False
Suppose 2*s - 2452 = -3*j, 16*j - 21*j - 4*s = -4084. Does 4 divide j?
True
Suppose -34*i - 171*i = 127*i - 20678952. Is 21 a factor of i?
True
Suppose 176*a = 201*a - 25025. Is a a multiple of 91?
True
Suppose 0 = 4*q + 11*q - 5985. Let k = 665 - q. Is k a multiple of 38?
True
Suppose -57 = 4*v + 23. Let g = 86 - v. Let b = 131 - g. Is 4 a factor of b?
False
Let o = 1542 - 784. Suppose 3*j - 12 = 0, 3*y - 35 = -j - j. Suppose 6 - y = 3*t, 4*q - 2*t - o = 0. Is 9 a factor of q?
True
Suppose -9 = -5*f - 4*f. Suppose 5*y + 10 = -2*u + 2*y, 3*u = -y - f. Does 23 divide (u/1)/(-1) - -1 - -170?
False
Let r(o) = 1110*o**2 + 143*o - 781. Is 9 a factor of r(5)?
True
Let d(q) = -4*q**2 + 83*q - 66. Let a = 290 - 274. Does 119 divide d(a)?
True
Let w(c) = -c**3 + 3*c**2 + 2*c - 4. Let z be w(3). Suppose 2 = -z*f + 8. Does 7 divide f/6*28/1?
True
Let n = -742 - -740. Is n/(8/(-868)) + 0 + 1 a multiple of 14?
False
Suppose 8*v = 4*v + 16. Let a be ((-96)/v)/(-3) - 4. Suppose 2*k + p - 104 = -k, 4*p = a*k - 160. Is 12 a factor of k?
True
Suppose 0 = 3*n + 3*x, -2*x = 5*n - 7*n + 8. Suppose n*t = 2*s - 1980, -s + 0*t + 996 = -3*t. Does 21 divide s?
True
Suppose 23*h - 69737 = -32661 + 98716. Is h a multiple of 123?
True
Let o(v) = 27*v**3 - 2*v**2 - 11*v + 14. Does 13 divide o(7)?
True
Let p = 54 - 106. Let x = p - -55. Suppose -2*s - 310 = -3*u, -x*u - s + 2 = -320. Is 11 a factor of u?
False
Let a be ((-4)/12)/((-1)/12). Let f = a - -6. Is f/15*27*6 a multiple of 18?
True
Let y be 316/(0 - -2*1/2). Suppose 11*j = y + 4744. Suppose -3*t = 2*v + 123 - j, -5*v + 560 = 5*t. Does 13 divide t?
False
Let g = 1 + 137. Let y = g + -172. Is 2 a factor of 6/(-1)*y/12?
False
Let w = 991 - 820. Let z be (-1 - 0) + (-1 - 77). Let i = w + z. Does 23 divide i?
True
Suppose u - d = -3*d + 204, 2*u - 3*d = 443. Let j = u + 626. Suppose 9*l - j = -l. Does 14 divide l?
True
Let h = 8 - 5. Suppose 0 = -2*c - 5*y - 18 + 33, -4*y = -4*c - 12. Suppose c = -4*g + h + 325. Does 30 divide g?
False
Suppose -96*x = -470896 - 352737 - 1364591. Is x a multiple of 174?
True
Suppose 2*j + 4*a = -6, 0 = 5*j + 2*a - a - 12. Suppose -2*g = j - 3. Suppose 5*t - 10*t + 95 = g. Is t a multiple of 7?
False
Let w be 88/(-12) + 16/(-24). Let i be 54*2/w*-2. Does 17 divide 6/(-4)*(-3)/(i/102)?
True
Let g(x) = 109*x**2 + 3*x - 4. Let v be g(1). Is 16 a factor of v/(-5)*(5 + (-35)/3)?
True
Is 143 a factor of 15*((-104)/50 + 2 + (-4157238)/(-2850))?
True
Let l = 36 + 10. Let i(q) = 48*q - l*q - 2 + 11*q**3 + 8*q**3. Is 19 a factor of i(1)?
True
Let n(r) = 2*r**3 - 2*r**2 + 7*r + 7. Let v be n(-3). Let h = v - -90. Suppose h*a = 3*u + 66 + 21, 3*u + 108 = 5*a. Is a a multiple of 6?
False
Suppose 20*p - 6*p - 56 = 0. Let d = 27 + -23. Suppose 3*c - 82 = p*z, -c - 5*z = d*c - 160. Does 3 divide c?
True
Let r be 1256*(0 + -2)/(-2). Suppose 1255*x = r*x - 441. Is x a multiple of 9?
True
Let n be (-1)/2*-1*(-4 - -190). Suppose -126 = -3*u + 3*z, -5*u + 87 = 5*z - n. Is 2 a factor of u?
False
Let l(x) = -6*x - 4. Let j be l(-4). Suppose 0 = 23*f - j*f - 21. Suppose -f*b + 27 = -36. Is b even?
False
Suppose 5 = 15*x - 40. Suppose 3*r = -a + 25 + 64, -x = -r. Is 7 a factor of a?
False
Suppose 29058 + 15522 = 30*j. Does 15 divide j?
False
Let o(j) = -2*j**3 + 69*j**2 + 44*j + 203. Is o(26) a multiple of 37?
True
Suppose -o - 5*k + 10*k = -25098, 0 = -8*o - 5*k + 200469. Is 121 a factor of o?
False
Suppose -z + 5101 = -22*k + 19*k, 25448 = 5*z + 4*k. Is 38 a factor of z?
True
Let b = -2341 - -2499. Let p = 1 - 57. Let k = b + p. Does 17 divide k?
True
Does 6 divide 12/18 - (-1336)/(-12)*-7?
True
Suppose -5*y + 122 + 15 = 2*v, -2*v - 153 = -5*y. Let c = y - -39. Let k = c - 37. Is 11 a factor of k?
False
Let q be (-8)/(-20)*5*3/2. Suppose -4*d = -2*x + x + 81, -195 = -2*x - q*d. Suppose 0 = -12*l + 111 + x. Is l a multiple of 17?
True
Suppose 1 = z, -8*z + 6*z = 5*m - 17. Suppose -3*n = 6, 4*k + m*n - 314 = -0*k. Does 40 divide k?
True
Let u be (40/(-220) + 51/(-22))*-2. Suppose t - 4*p = -4*t + 158, -t - u*p = -20. Is 6 a factor of t?
True
Suppose -66*y = -81*y - 30. Is (y + -83)/(3 - (-124)/(-40)) a multiple of 31?
False
Suppose 5*d = -0*d + 3*h + 15, -5*h = -d + 3. Suppose -d = -n - 11. Is -204*-1*(-4)/n a multiple of 34?
True
Let j(v) = -v**2 + v + 1. Let y(l) = -l**3 + 14*l**2 + 3*l - 9. Let z(k) = -3*j(k) - y(k). Let o be z(14). Suppose -6*x + o = -3*x. Is 18 a factor of x?
False
Let n(v) = 13*v - 37. Suppose -3*x - 4*s + 9 = 0, -6*s + s = 2*x + 1. Let m be n(x). Is 14 a factor of 5 + (m - (4 - 1))?
True
Suppose 30*q - 51*q = 12*q - 403557. Is q a multiple of 66?
False
Suppose 2*p - 13*z - 14140 = -15*z, 2*p - 7*z = 14194. Is p a multiple of 189?
False
Let y = 10880 - 8576. Is y even?
True
Let v(s) = 2*s - 1. Let u(f) = f**3 + 13*f**2 - 12*f. Let n(t) = -2*u(t) - 14*v(t). Does 6 divide n(-13)?
True
Suppose 14*x + 19*x - 264 = 0. Let o(a) be the first derivative of a**2/2 + 22*a - 3. Does 4 divide o(x)?
False
Let f be (-4 + 1366/(-4))*2. Let h = 764 + f. Does 2 divide h?
False
Let i(r) be the first derivative of -23 + 5 - 308*r + 2*r**2 + 314*r. Does 22 divide i(15)?
True
Let y(h) be the second derivative of 47*h**3/3 - 32*h**2 + 88*h. Is y(6) a multiple of 50?
True
Let m be 5/(30/114)*1*-1. Let d = m - -20. Let w = d + 111. Is 16 a factor of w?
True
Let u be -3*((-8)/(-8) - (-8)/(-12)). Let k(c) be the first derivative of 11*c**3 + 1. Is k(u) a multiple of 11?
True
Let a(t) = -t**3 - 15*t**2 - 2*t - 16. Suppose 0 = -4*w + 27 - 7. Let x be (-5)/w + -17 - (-1 - 2). Is a(x) a multiple of 2?
True
Suppose 5985*l - 68586 = 5962*l. Does 8 divide l?
False
Suppose -5*r + 0*f + 381 = 4*f, 2*f = 4*r - 284. Let o = r + -57. Suppose 15*d + 34 = o*d. Is 4 a factor of d?
False
Suppose -6*c - 87 = -35*c. Is 21 a factor of 15/c + 546 + 8 + -3?
False
Let o(r) = -r**3 - 11*r**2 - 38*r - 19. Let z be o(-5). Suppose -22*m + 5*a = -z*m - 143, -5*m - a = -793. Is m a multiple of 53?
False
Let g = -1206 + 2174. Suppose -m = -2*m - 33. Does 21 divide g/m*30/(-8)?
False
Let q(r) = -r + 9. Let f be q(