. Suppose r = 6*r - 3*k + 3, 0 = -r + 5*k - 5. Let y = r - z. Does 5 divide y?
True
Let x = 88 + -86. Let c be (-6)/(-8) - 27/36. Suppose c = b + x*b - 342. Is b a multiple of 19?
True
Suppose -195*z = -199*z + 232. Let r = z + 327. Is r a multiple of 7?
True
Let c(m) = 176*m + 5. Let i be c(3). Let a = 775 - i. Suppose -5*o + 78 = -a. Does 12 divide o?
False
Let o = 686 - 499. Does 61 divide 33651/33 - (-51)/o?
False
Is 50/(((-24)/(-1596))/1) a multiple of 33?
False
Let k(r) = -80*r - 1352. Does 19 divide k(-129)?
True
Suppose 0 = 2*n + 33 - 41. Let o(y) = 399*y**2 - y - 1. Let t be o(-1). Suppose -n*l = -l - t. Is l a multiple of 15?
False
Suppose -3*a - d + 25 = 0, -2*a + 2*d = a - 13. Suppose a*c - 995 = 349. Does 16 divide c?
True
Let f(s) = -334*s + 400. Does 9 divide f(-4)?
False
Suppose 7764 = 58*f - 29008. Is f a multiple of 10?
False
Is 11 a factor of -5 - (8 + -5) - (-5261 - -11)?
False
Let v(r) = -r**2 + 52*r - 300. Does 3 divide v(16)?
True
Suppose 0 = 2*n + 14 - 0. Let t be 39510/72 - (-2 - n/4). Suppose 0 = 3*q + 3*l - t, 3*q - l + 3*l = 551. Is 24 a factor of q?
False
Let g(z) = 1787*z**2 - 41*z - 47. Does 45 divide g(4)?
False
Suppose -3*c - l + 1465 = 0, -3*c + 1491 = 3*l + 30. Suppose 0 = 6*z + 39 - c. Does 75 divide z?
True
Is 27 a factor of 1*2*(-489 - -9397)?
False
Let s(j) = 13 + 12*j - 73*j - 1. Let h be s(-5). Suppose -h = -6*m + 283. Is m a multiple of 50?
True
Let y(n) = -56*n**2 + 5*n + 1. Let l be y(-4). Let s be l/9 - 2/6. Is 18 a factor of 3/(-3) + (1 - s)?
False
Let p(a) be the third derivative of -a**4/24 - 5*a**3/6 + 19*a**2. Let r be p(-10). Suppose 64 = 2*y - r*m, -2*y - 3*m = 3*y - 98. Does 18 divide y?
False
Suppose 3*s + 23*g = 25*g + 11155, -4*s + 5*g = -14878. Does 59 divide s?
True
Let v = 538 + -300. Suppose -i + v + 203 = 0. Is 49 a factor of i?
True
Let h(i) = 3*i**3 + 6*i**2 - 12*i - 3. Suppose -21*n + 22*n - 4 = 2*p, -2*n + 16 = 4*p. Is 87 a factor of h(n)?
False
Let z = 60 - 57. Let h be 1 - z/(-6)*2*-2. Does 9 divide h/((-292)/144 - -2)?
True
Suppose a = -3*a - t + 11, 0 = -3*a + 2*t + 22. Let b be 4/8 + a/(-8). Suppose -2*z + 3*s + 112 = b, -2 + 6 = -s. Does 18 divide z?
False
Suppose 46*p = 50*p - 700. Is 10 a factor of 5/35*2*p?
True
Suppose -17 = 5*o + 183. Let v be (7/(-28))/(2/o). Suppose 0 = -v*j + 2*n + 204, 4*j - 77 - 106 = -5*n. Is j a multiple of 14?
True
Suppose -134*b + 132*b + 51924 = 4*w, 129846 = 5*b + 4*w. Is 51 a factor of b?
False
Suppose 2*a + 3*r = 3178, 1586 = -50*a + 51*a + 2*r. Is a a multiple of 25?
False
Suppose 53*i - 51*i = -4*d + 1892, 2*i - 5*d = 1847. Does 12 divide i?
True
Let y(t) = t**3 + 11*t**2 - 25*t + 8. Let q be y(-13). Let n be 1/q + -1*(-3)/15. Suppose -g - 2*b + 76 = n, -5*g + 387 = 5*b - 2*b. Is 13 a factor of g?
True
Let z(n) = 48*n - 61. Let u be z(-7). Let a = u - -811. Does 46 divide a?
True
Let a(j) = 204*j + 208. Let y be a(-1). Let m = -3 + 8. Suppose 0 = -m*g - y + 74. Is g a multiple of 7?
True
Let j = 180 + 34. Suppose -209 = -5*r - i, -6*r + r + j = -4*i. Is 12/r - 166/(-7) a multiple of 4?
True
Let q be -18*2/(-6) - 1. Suppose 0 = -5*g + q*k + 1250, -42 + 312 = g - 5*k. Is g a multiple of 19?
False
Does 104 divide (48/15)/((-43)/(-22360))?
True
Let d(n) = 48*n**3 + 6*n**2 - 30*n + 14. Does 169 divide d(7)?
True
Suppose -2*g - c = -66051 + 9025, g = -5*c + 28522. Is g a multiple of 174?
False
Let l = -109 + 94. Is 21 a factor of ((-9)/(-3))/(l/(-965))?
False
Let o(m) = 203*m**3 + m**2 - 2*m + 1. Let b be o(1). Suppose 0*f - 3*f - r + b = 0, 296 = 4*f - 5*r. Let w = f + -41. Does 28 divide w?
True
Let b(q) = -183*q - 541. Is b(-22) a multiple of 41?
True
Let d = -383 + 388. Suppose 0 = 4*w - d*t - 78, t = -0*t - 2. Is 8 a factor of w?
False
Is 21 a factor of (-10674)/(-4) - -36*(-5)/120?
True
Suppose 312*h = 311*h + 27. Suppose -6*x + h*x - 9681 = 0. Does 5 divide x?
False
Suppose -9*g + 2*g = -8758 - 734. Is 11 a factor of g?
False
Suppose -573 - 2010 = -7*t. Is t a multiple of 2?
False
Let f be (-4)/(16/13)*44*1. Let i = f + 206. Is i a multiple of 3?
True
Let z = -353 - -272. Is 16 a factor of (48 + z)/(6/(-32))?
True
Let q(d) = -d**3 + 10*d**2 + 6*d - 14. Let y be q(12). Let w = y - -1357. Suppose -6*r + 313 = -w. Does 14 divide r?
False
Let r = -22 + 24. Suppose r*u + 3*u = 4*m - 37, -5*m = 5*u + 10. Suppose 107 + 37 = m*h. Does 8 divide h?
True
Let g(v) = -1. Let f(u) = 5*u + 24. Let i(l) = -f(l) - 3*g(l). Let a be i(-5). Suppose 0 = 5*m + 3*k - 300, -2*m + a*m - 99 = 3*k. Does 19 divide m?
True
Suppose 15*b = 12*b + 9. Let q(k) = -k + 6. Let h be q(b). Does 19 divide 2/((-32)/(-1496)) + h/2?
True
Let b(q) = 28*q**2 - 98*q + 29. Is 45 a factor of b(10)?
False
Is 8067 + (-79 + 80)/(8/(-10) + 1) a multiple of 12?
False
Let c(y) = -5335*y - 2537. Is 15 a factor of c(-5)?
False
Let c(w) = -17*w**3 - 21*w**2 - 86*w - 2. Is c(-6) a multiple of 13?
False
Let z(n) be the first derivative of -5*n**2/2 + 75*n + 151. Does 11 divide z(4)?
True
Let t be (-396)/(-10)*(12 + 3). Let q be (4 + -1)/((-6)/(-1504)) - (-32)/(-8). Suppose 0 = 4*n - 3*h - t, -n + h + q = 4*n. Is 10 a factor of n?
True
Suppose 0 = 5*u - 26*u + 4410. Suppose -428 = -2*o + 4*p, 4*o + u = -4*p + 1078. Is o a multiple of 24?
True
Let p be 657/(-18)*(0 + -2)/1. Suppose 64*x - p*x + 4464 = 0. Does 16 divide x?
True
Let q be ((-182)/(-35))/((-1)/(-5)) + 2. Let i = -12 + q. Suppose 21*x - 440 = i*x. Is x a multiple of 35?
False
Let w be (-2)/8*-29*12. Let g be w/(-9) + -2 + 4/(-12). Is 12 a factor of 143/3 - (1 - (-16)/g)?
True
Let h(f) = -f**3 + 3*f**2 + 6*f - 5. Let v be h(4). Suppose 12*n - 5*n = -v*n. Suppose 4*y - 2*y - 28 = n. Does 14 divide y?
True
Let c(x) = -x**3 + 11*x**2 + x + 15. Suppose -3*d - 35 = -8*d. Let i be c(d). Suppose -3*t + 46 + i = 0. Is 13 a factor of t?
False
Suppose -11065*c + 11081*c = 41920. Is 20 a factor of c?
True
Let k = -76300 - -108639. Is k a multiple of 232?
False
Is 40 a factor of (0 - (6 - 1))/(3/(-12912))?
True
Suppose m - 2 = 3*z, -m + 14*z - 9*z - 2 = 0. Does 2 divide (8 - 92/16)*m?
True
Suppose 3*l - 960 = l. Let n be (-28)/(-3 + -4) + 0 + -4. Suppose n*v - 10*v = -l. Is 12 a factor of v?
True
Let l(g) = 8*g + 2. Let b be l(-1). Let m be (-3)/(b/28)*6/7. Let y = 78 - m. Is 11 a factor of y?
True
Let f(n) = 21*n - 53. Let h be f(3). Is 8 a factor of (488/(-10))/((-4)/h) - 5?
False
Let t = 65 - 63. Suppose t*s - 5 = -35. Let n = 243 + s. Does 13 divide n?
False
Is 17 a factor of (90/6 - 49)*205/(-10)?
True
Suppose 4*c - 4*o + 1796 = 0, 3*o + 2343 = -5*c + 82. Let f = -275 - c. Suppose 0 = x - 4*u - f, -5*x + 4*u + 1127 = 311. Is 20 a factor of x?
True
Suppose -3*z - 16557 = 3*h + 2*h, 3*h + 9938 = 2*z. Let r = -1527 - h. Does 23 divide r?
False
Suppose 0 = -8*r - 4856 - 6480. Let c = r - -2562. Is c a multiple of 45?
False
Let q(a) = 2*a**3 - 13*a**2 - 12*a + 3. Let h be q(7). Let v(c) = c**3 + 33*c**2 + 25*c + 75. Is 23 a factor of v(h)?
True
Let d(h) = h**3 + 9*h**2 + 4*h + 34. Let o be d(-9). Is o/(-12) + (-42211)/(-102) a multiple of 23?
True
Suppose -4*x = -5*b + 51881, 3*b + 12598 = 4*x + 43725. Is b a multiple of 36?
False
Let j = 69 + -61. Let h(z) = 5*z + 27. Let o be h(j). Let t = -51 + o. Does 8 divide t?
True
Let z(h) = 11*h**2 - 2*h - 5. Let b = -113 + 110. Is 5 a factor of z(b)?
True
Suppose -4 = -0*g + 3*g - l, 0 = 5*g + 4*l + 1. Let v(f) = -208*f**3 + 6*f**2 + 8*f + 2. Is 16 a factor of v(g)?
True
Let w(g) = 12*g - 106. Let n be w(9). Suppose -2*o = 5*h - 385, n*o = -o - 4*h + 567. Is 85 a factor of o?
False
Let a be 3 - (-1 + (-73)/(-1)). Let d = 280 + a. Suppose 0 = -3*w + d + 401. Is w a multiple of 12?
True
Let r be 1*15*4/12. Let g(p) = -p**2 + 5*p - 4. Let m be g(r). Let o(a) = -7*a - 2. Is 13 a factor of o(m)?
True
Let d(n) be the first derivative of 137*n**4 - 5*n**2/2 + 3*n - 122. Does 42 divide d(1)?
True
Suppose -3*r + 63 = 18*r. Let f(l) = 50*l - 48. Is 102 a factor of f(r)?
True
Suppose -24*g = 98*g - 757010. Is 73 a factor of g?
True
Suppose -137 - 24 = i. Let u = 47 - i. Is u a multiple of 16?
True
Let q(m) = 19*m - 6. Let z be q(-4). Let y = 268 - z. Is y a multiple of 50?
True
Suppose 0 = 35*j - 33*j - 5*m + 192, -5*j - 445 = 5*m. Let n be 1/3 + 332/(-6). Let q = n - j. Is q a multiple of 5?
False
Let b(t) =