+ 29. Does 6 divide k?
False
Suppose 13*j + 15750 = 38*j. Is j a multiple of 15?
True
Let o be 6/9*(1 + 5). Suppose o*x = -h - 15, -2*h = x - 0*h - 5. Let d = x + 9. Is d a multiple of 3?
False
Suppose 0 = -5*l + 1028 + 532. Suppose 5*d - d = l. Let x = d - 54. Does 8 divide x?
True
Suppose 3*w = -z - w + 150, 2*z + 4*w = 288. Does 46 divide z?
True
Let v be 6/(-4) - 22/(-4). Suppose -90 = -v*f - f. Does 18 divide f?
True
Let r = -1215 - 573. Let f be ((-72)/(-16))/((-3)/(-4)). Is f/(-27) - r/27 a multiple of 22?
True
Let b = -96 + 217. Does 37 divide b?
False
Let j(d) = d. Let c be -1 - (-7)/(14/8). Let t be j(c). Let q(z) = 20*z - 8. Is 13 a factor of q(t)?
True
Let i = 835 + -307. Is 44 a factor of i?
True
Let p(q) = q**3 - 2*q**2 - 3*q + 4. Suppose 0 = 4*o - 18 + 6. Let l be p(o). Suppose 0*k - 8 = -2*u - 2*k, 4 = -l*k. Does 5 divide u?
True
Suppose 40*k - 35*k = 1600. Does 11 divide k?
False
Let f be (-14)/119 - (-72)/34. Is 16 a factor of (-5208)/(-108) + f/(-9)?
True
Suppose 16*b - 20016 - 11600 = 0. Is 18 a factor of b?
False
Suppose -5*r + 21 + 40 = 4*h, -r + 35 = 2*h. Suppose -17*b = -h*b + 10. Suppose i - 4*n - 3 = 18, -b*n = i + 6. Is 3 a factor of i?
True
Suppose 5*p + 3*t = 3*p + 631, -946 = -3*p - 5*t. Does 30 divide p?
False
Let a(j) = 77*j - 199. Is a(5) a multiple of 29?
False
Let q(r) = -r**2 + 17*r - 1. Let p be q(9). Let n = p + -21. Suppose -3*v = 14 - n. Does 9 divide v?
False
Let r(v) = -82*v - 22. Let t be r(-7). Is 23 a factor of ((-18)/(-8))/(-1 - (-558)/t)?
True
Let f = -55 + 55. Suppose f = 5*v - 3*k - 615, 4*k - 524 = -4*v. Is 9 a factor of v?
True
Let g(r) = -r**3 + 10*r**2 + 11*r + 10. Let k(y) = -2*y. Let w be k(-2). Suppose -l + w*m = 9, 0 = 3*l - 2*m - 0*m - 23. Does 5 divide g(l)?
True
Suppose 31*m = 36*m - 30. Is 10 a factor of (m/4)/(6/160)?
True
Let y(g) = 6*g**2 - 27*g - 112. Does 8 divide y(-4)?
False
Let r(l) = -3*l + 1. Let i be r(-2). Suppose -i*b = -12*b + 595. Suppose x - 155 = -2*m, 4*x - m = b + 528. Is 42 a factor of x?
False
Let l(g) = -3*g**2 - 13*g + 25*g - 15 + 2*g**2. Does 4 divide l(8)?
False
Let q(b) = -2*b + 4. Let g be q(-2). Suppose 0 = f - g*f + 644. Does 19 divide f?
False
Suppose -34*g + 32*g - 3*a = -228, -3*g + 3*a = -357. Is 9 a factor of g?
True
Let q = 53 + -79. Suppose -4*a + 48 = -w, -2*w = 3*w - a + 259. Let d = q - w. Is 10 a factor of d?
False
Let h = -82 + 200. Is 59 a factor of h?
True
Suppose -13*t + 16354 = 4*t. Does 74 divide t?
True
Suppose -229 = -r + x - 3*x, 2*r = 5*x + 440. Let c = r - 121. Is c a multiple of 13?
True
Let c be (1 - 1)*10/(-10). Suppose c = 5*b - 369 - 346. Does 11 divide b?
True
Let l(i) be the second derivative of i**4/12 + 2*i**3/3 + 2*i**2 - 28*i. Is 12 a factor of l(10)?
True
Let i be -1*((-4)/2)/(-2). Let x be i/8 + (-5112)/64. Let y = -44 - x. Is y a multiple of 18?
True
Let y be (3 + (1 - 3))*221. Let i = y - 153. Is 17 a factor of i?
True
Is 20 a factor of 3 - (-2*16)/((-12)/(-606))?
False
Let r = -58 - -92. Let g be (r/(-3))/((-2)/(-6)). Let c = 151 + g. Is c a multiple of 39?
True
Suppose -f = -3*r - 508, 4*r = f + 157 - 665. Let n = -285 + f. Suppose 0 = 4*j - n - 5. Is 14 a factor of j?
False
Let w be 12/(-4*(-3)/102). Suppose -5*s + 18 = -w. Suppose 5*k = 89 - s. Is k a multiple of 12?
False
Suppose 0*w + 5*w = -3*t + 531, -2*w - 4*t = -204. Is 16 a factor of w?
False
Let c(a) = -6*a - 25. Suppose -39 + 60 = -3*o. Is c(o) a multiple of 17?
True
Suppose 2*d = -3*d - 20. Does 10 divide 46 - d - (-3 + 7)?
False
Suppose 7*m = 12088 + 10942. Does 11 divide m?
False
Let r be (-2)/5 + 0 - 4/(-10). Let v be ((-2)/(-4))/((-2)/(-12)). Suppose 218 + 87 = 5*h - v*f, r = 2*h + 4*f - 148. Does 14 divide h?
False
Suppose 16*q - 17*q - 63 = 0. Does 16 divide -4 + (16/(-6))/(2/q)?
True
Let o = 7695 - 4609. Is 81 a factor of o?
False
Let h(u) be the first derivative of 7*u**4/24 - u**3 + 5*u**2/2 - 1. Let s(r) be the second derivative of h(r). Does 23 divide s(6)?
False
Let u be (-501)/5 - 5/(-25). Let a = 166 + u. Is a a multiple of 8?
False
Let z = -495 - -345. Let s = -104 - z. Is s a multiple of 7?
False
Suppose 0 = d + h - 3196, 4 - 8 = h. Is 128 a factor of d?
True
Suppose 0 = -2*o - 3*c + 55, -34 = -o - 0*o + 5*c. Let w = -10 + 15. Let k = w + o. Is 6 a factor of k?
False
Let b(k) = 92*k**2 - 9*k - 6. Let m(v) = 31*v**2 - 3*v - 2. Let d = -23 - -6. Let z(s) = d*m(s) + 6*b(s). Does 10 divide z(-1)?
False
Suppose -5*j + 2*j = 0. Suppose -5*h - 5*u + 26 = 1, j = 4*h + u - 17. Suppose h*w - 10 = 2*w. Is w even?
False
Let o = 137 + -121. Is -1*(-28)/o*60 a multiple of 7?
True
Let i(w) = -w**3 + 23*w**2 - 24*w. Does 42 divide i(21)?
True
Let p be 4/16*-5*(2 - 6). Let q(m) be the first derivative of 8*m**2 + m - 4. Is q(p) a multiple of 9?
True
Suppose 2*i = -2*q, 0*i - 2*q = -2*i - 8. Does 23 divide i + (0 - 1) - -49?
True
Suppose -33*f = -101 - 295. Does 11 divide f?
False
Does 26 divide (-3)/2 + (-13664)/(-64)?
False
Suppose 1740 = -4*q + 8*q. Is 14 a factor of (2 - -4)/(10/q)?
False
Let w(d) = -d**3 + 9*d**2 + 9*d - 5. Let g be w(7). Suppose 5*s - g = v, 3*s - 2*v - 88 = -0*s. Let q = s + -16. Is 8 a factor of q?
True
Let h(i) = i**2 + i - 9. Let s be h(0). Let k(y) be the third derivative of -y**4/24 + y**3/2 + 16*y**2. Does 10 divide k(s)?
False
Let w(q) = -q**2 + 8*q + 15. Let k be w(9). Is (-114)/(-2) + k/2 a multiple of 22?
False
Suppose -6*d + 7*d = -352. Does 4 divide d/(-33)*18/8?
True
Let x(m) = m**2 + 6*m + 2. Let l be x(-6). Let w = l + 3. Is 12 a factor of (-58)/(-5) + 2/w?
True
Suppose -21 = -2*n + g, -3*g = 3*n + 2*n - 69. Let t(d) = n - 12 + 4*d + 3*d**2. Is t(-5) a multiple of 12?
False
Let s(y) = -y**3 - y**2 + 2*y + 2. Let f be s(0). Suppose 0*l - f*l + 64 = 0. Does 8 divide l?
True
Let a be (-1*4)/(2/(-3)). Let o be 3/(-3 + a + -2). Is -4 + o + 0 + 71 a multiple of 13?
False
Suppose -2*d - 3*u = -13, -5*u = -3*d + 15 + 52. Let f = -3 + d. Is f a multiple of 2?
False
Let j = -1911 - -2978. Is j a multiple of 97?
True
Let d = -213 - -1797. Is d a multiple of 45?
False
Let m = 163 + -114. Suppose -m = -4*v + 251. Is v a multiple of 15?
True
Let g = -14 - -42. Let y = 31 - g. Suppose 20 = -4*m, n + 3*m + y = -m. Is n a multiple of 5?
False
Let m = 257 - 285. Let y be (1 + 72)/((-1)/1). Let x = m - y. Is 15 a factor of x?
True
Let r(k) = 3*k**3 - 6*k**2 + 2*k + 21. Is r(4) a multiple of 3?
False
Suppose 3*v = b - 2083, -1350 = -b - 5*v + 717. Is b a multiple of 67?
True
Let g(n) = n**3 + 13*n**2 - 74*n - 23. Is 14 a factor of g(-17)?
False
Let x(m) = 6*m - 1. Let t be x(-1). Is 17 a factor of (2/(-4))/(t/798)?
False
Let o = 0 + 3. Let w(h) = 8*h**2 + 5*h - 3. Let k be w(o). Suppose -v - 4*q + k = 2*v, 4*q - 140 = -5*v. Is v a multiple of 7?
True
Suppose 25*a = 29*a + u - 4923, 0 = -5*u - 25. Is a a multiple of 8?
True
Let v be (-2)/3*(-3)/(-2). Let f be 4/(-6) - 390/(-18). Let g = v + f. Does 10 divide g?
True
Let o(y) = 2*y**2 + 32*y - 43. Does 99 divide o(24)?
False
Let t(l) be the second derivative of 29*l**5/20 + l**4/4 - l**3/6 - l**2/2 - 18*l. Is t(1) a multiple of 10?
True
Suppose -3*s = -d + 1 + 14, 4*s - 151 = -5*d. Let g = 16 + d. Is g a multiple of 13?
False
Let a = -343 - -577. Is 62 a factor of a?
False
Let q = 23 + -21. Let i(r) = 5*r**q + 36 + 3*r + r - 2*r - 6*r**2. Does 11 divide i(0)?
False
Let s(k) = 8*k**2 - 124*k + 7. Is s(26) a multiple of 23?
False
Let f(h) = h**2 - h - 3. Let t(r) = -2*r + 2. Let a be t(0). Suppose -z - 5*n + 24 = -a*z, -n = -4. Does 9 divide f(z)?
False
Suppose -3*g + 2*g + 8 = 0. Suppose -3*a + 2*a + g = 0. Suppose 0 = 4*r + a + 12, 91 = 4*n + r. Is 9 a factor of n?
False
Suppose -5475*c = -5483*c + 608. Is c a multiple of 4?
True
Suppose 0 = -3*d - 0*d - 6, 4 = n - d. Suppose n*k - 122 - 70 = 0. Is k a multiple of 24?
True
Suppose -2*t - 13*h + 10*h + 254 = 0, -398 = -3*t + 4*h. Is 3 a factor of t?
False
Let t = 6 + -2. Suppose 6*y = t*y + 326. Is y a multiple of 22?
False
Suppose -6*n = 7*n - 780. Is n a multiple of 20?
True
Let p(l) = l**3 + 9*l**2 + 4*l + 5. Let u be (44/(-12) + 3)*-9. Suppose 2*n - u*n - 32 = 0. Does 17 divide p(n)?
False
Is 9/6 + (-15103)/(-22) a multiple of 43?
True
Suppose 0*l = q + 3*l - 10, q = 2*l - 5. Let y be 34/q*3/(-2). Let d = y + 109. Does 29 divide d?
