 = -f + 24. Suppose r = 5, -2*v - 2*v - f*r = -175. Does 5 divide v?
True
Let m = 394 - -541. Is m a multiple of 23?
False
Suppose -i + 107 = 4*s, 4*s - 3*i = -s + 138. Suppose 2*n = 5*n - s. Let k = -5 + n. Does 2 divide k?
True
Suppose 1683*j + 12490 = 1688*j. Is j a multiple of 105?
False
Let k(q) = 5*q - 4. Let t be k(9). Let u = 138 - t. Is u a multiple of 11?
False
Suppose -4*m = 4*p - 5*m - 17, 4*p = -2*m + 14. Suppose x + p*x = 0. Suppose 2*s + 4*v - 78 = x, v - 37 = -s - 0*v. Is 13 a factor of s?
False
Suppose -3*u - 8 = -5*u. Let w be (u/3)/((-12)/(-18)). Suppose 26 = 2*o + w. Does 3 divide o?
True
Let q be 9 - 7 - -6*9. Let f = -33 + q. Let g = 33 - f. Is 7 a factor of g?
False
Let l = -14 - -16. Suppose 4*d = -2*y + 80, -l*y + d + d + 104 = 0. Is 14 a factor of y?
False
Let y = 78 + -77. Is 10 a factor of 540/8 + y/2 - -2?
True
Let y(v) = -2*v**2 + 3 + 2*v**2 + 9*v**2 + 4*v. Is 7 a factor of y(-2)?
False
Let r = -83 - -95. Is r a multiple of 5?
False
Let u = -111 - -1946. Does 23 divide u?
False
Let k be (-3 - (0 + -3))*1. Suppose k = 3*u + 7 - 22. Suppose u*l + 5*v - 53 = 2*l, 2*l = -4*v + 36. Is l a multiple of 15?
False
Let v(q) = -q + 6. Let w be v(6). Suppose 5*o + 0 - 55 = -4*b, w = o - 2*b - 11. Is 7 a factor of o?
False
Let y = 19 - -34. Is 36/33*y - 6/(-33) a multiple of 22?
False
Let f = -898 - -1218. Does 16 divide f?
True
Let w = 784 - 399. Is 40 a factor of w?
False
Suppose 0 = 67*a - 86*a + 11685. Is a a multiple of 12?
False
Let k(y) = 230*y - 1. Let x be k(2). Suppose 5*o - x = -9. Suppose -2*c + o = 3*a, -a = 5*c - 11 - 32. Is 7 a factor of a?
True
Suppose 16*g - 35*g = -627. Is 7 a factor of g?
False
Suppose 28*i = 54*i - 5408. Let p be 4/(-3)*3/(-1). Suppose -5*s + 203 = -s + 3*x, 0 = 4*s + p*x - i. Does 10 divide s?
False
Let p = 5 - 2. Let c(h) = -4*h**2 - 4*h - 7*h + p*h**2 - 4. Does 10 divide c(-8)?
True
Suppose 10*c = 1813 + 4427. Is 39 a factor of c?
True
Let y be 0 + -1 + -1 + 1. Let c be y/((-4)/224) - 2. Is 4 a factor of c/3 + 1 + -3?
True
Let f = -44 + 119. Suppose -3*p + n = -2*n - f, -5*n - 25 = 0. Does 20 divide p?
True
Suppose -1 = -2*g + 7. Suppose 5*f = g*f + 4. Let x(i) = 9*i - 4. Is x(f) a multiple of 11?
False
Let a(o) be the second derivative of o**5/20 - o**4/4 - o**3/2 + o**2 + 2*o. Let w be a(3). Let t = w - -34. Is 13 a factor of t?
False
Let d(s) = -7*s - 62. Is d(-11) a multiple of 5?
True
Let d(t) = -6*t + 1 - 3 - 15*t. Let j be d(-1). Is 8 a factor of -8 + 10 + j + 0?
False
Suppose -1 = 2*y - 9. Suppose 0 = 2*x + y*u - 108, 0 = -2*x - 2*u + 42 + 64. Does 13 divide x?
True
Let o = 1 + -3. Let c(z) = 2*z**2 - 2*z + 239 + 243 - 483. Does 4 divide c(o)?
False
Is 40 a factor of 7 + -3 + (1 - -521)?
False
Suppose -17762 = -7*b - 5750. Is 26 a factor of b?
True
Let i(n) = -n**3 - 4*n**2 - 3*n + 2. Suppose 15 = -6*y - 3. Let p be i(y). Does 30 divide (-14)/p*(-120)/7?
True
Suppose -5*q - 150 = 3*x, -2*q - 78 = 3*x + 72. Let l = x - -119. Is 21 a factor of l?
False
Suppose -4*j - 12*j = -32. Suppose 3*t + 2*b = 5*t - 112, 0 = -j*t + 4*b + 122. Does 3 divide t?
True
Let p(i) = 2*i**2 - 8*i + i**2 - 2*i**2 - 9. Let v(u) = u - 2. Let f be v(12). Is p(f) a multiple of 11?
True
Let f = 2 - 0. Let a be ((-570)/(-9))/(4*(-3)/(-54)). Suppose f*u = 7*u - a. Is u a multiple of 13?
False
Let m be 13 + (-5)/(-5)*2. Let g = 52 - m. Let y = -11 + g. Is 13 a factor of y?
True
Suppose 16*q + 6 = 18*q. Suppose -2*r = q*n - 743, 0*r - 2*r + 746 = 2*n. Is 47 a factor of r?
True
Suppose 0 = -9*k + 2714 + 2560. Is 30 a factor of k?
False
Let w(v) = -v**2 + 10*v - 4. Let i be w(11). Let z = 17 + i. Suppose -3*g + 2*c - 121 = -6*g, -2*c = -z*g + 74. Does 13 divide g?
True
Let p(v) = -v**2 + 9*v + 3. Let r be p(9). Suppose r*y = 8*y - 15. Suppose -3*a + c = -72, 0 = a - 4*c + y - 38. Is a a multiple of 10?
False
Let s(w) = w**2 + 826. Let p be s(0). Suppose 0 = 5*j - 379 - p. Is j a multiple of 49?
False
Let j be (2/6)/((-9)/(-378)). Suppose -2*m = j + 18. Let w = m + 33. Does 17 divide w?
True
Is 69 a factor of (16/(-40) - (-9)/(-15))*-289?
False
Suppose 47*i + 4845 = 12741. Is i a multiple of 12?
True
Let f be (28/10)/(13/65). Is 842/f + (-1)/7 a multiple of 9?
False
Let s = 5266 + -706. Does 48 divide s?
True
Suppose 0 = 129*o - 168981 - 89019. Is o a multiple of 50?
True
Does 14 divide ((-296)/6 + -1)/((-15)/135)?
False
Suppose 462 = 3*v - 5*s, 2*v = -2*s + 209 + 115. Does 53 divide v?
True
Let x(h) = 514*h**2 + 11*h + 13. Is x(-1) a multiple of 2?
True
Let p(g) = 14*g**2 + g + 1. Let c be p(-1). Let v(i) = -12*i + 3*i - i**2 - 6 + c. Is v(-9) a multiple of 3?
False
Suppose 9*u = 13*u - 584. Suppose 3*c - 416 = -u. Suppose c + 2 = 4*s. Is s a multiple of 23?
True
Is 6*333 + (-131 - -136) a multiple of 14?
False
Let o(h) = -h**3 - 15*h**2 - 19*h - 13. Let a be o(-9). Let d = a + 580. Is d a multiple of 42?
True
Let j = 187 + -128. Is 28 a factor of j?
False
Let t(l) = -l**3 + 22. Let b(o) = -7*o + 2. Let r be b(3). Let f = r - -19. Is t(f) a multiple of 7?
False
Suppose -607 = -2*i + f, -5*i - f - 222 = -1722. Is 7 a factor of i?
True
Let o be (-1)/(-2)*(-130)/13. Let w be (-74)/o - 7/(-35). Let v = 47 - w. Is 12 a factor of v?
False
Let n = 25 - 22. Does 2 divide n?
False
Suppose -2*z - 658 = -4*d, -267 = -3*d + 5*z + 230. Suppose -o + 36 = 3*a, -3*o + d = -9*a + 4*a. Does 12 divide o?
True
Let w = 2258 + -1000. Is w a multiple of 34?
True
Let h(p) = -p**2 + 6*p + 2. Let r be h(6). Let n be (r/5)/((-2)/70). Is 21 a factor of 4/n - 4642/(-77)?
False
Let x be 2/(-2 - 32/(-12)). Suppose o - 12 = -x*o. Is (-3*o)/(10 - 11) a multiple of 9?
True
Suppose -4*g + 7*h - 2*h = -372, 0 = 3*h - 12. Suppose -g = -4*i + 2*y + 70, 2*i - 3*y = 88. Is i a multiple of 4?
False
Suppose -5*r - 5*h = -10*h - 150, -h = 4. Suppose -5 = q - r. Let y = 27 - q. Is 6 a factor of y?
True
Let a(q) = 2*q**2 + 11*q - 6. Let u(t) = t - 1. Let b(g) = -a(g) + 5*u(g). Let s be b(-3). Suppose -c + 61 = s. Is c a multiple of 20?
True
Let b be 1/5 - 1587/(-15). Let c = b + -84. Is 19 a factor of c?
False
Let v(b) = -6*b - 38. Let n be v(-20). Let i = n + 10. Does 4 divide i?
True
Let w(b) = -b**2 + 40*b + 221. Does 12 divide w(35)?
True
Suppose 4*p - o + 97 = 0, 2*o - 3*o + 1 = 0. Let a = p + 38. Is a a multiple of 2?
True
Let y(t) = 38*t + 224. Is y(7) a multiple of 7?
True
Let z(a) = -28*a**2 + 226*a - 12. Does 43 divide z(6)?
False
Suppose 0 = -5*r - 5*h + 5495, 9*h = 4*h - 5. Is 20 a factor of r?
True
Let w = -61 + 139. Does 13 divide w?
True
Let b = 79 + -44. Suppose -5*z + 0*z = -b. Is 2 a factor of z/(14/12) + -1?
False
Let f = -13 + 22. Let l(a) = -f + 13 - 3*a - 3. Is l(-3) a multiple of 8?
False
Suppose 13*l - 44 = 17*l. Let p be 559 - (3 - (-4 - l)). Suppose -3*w = -5*i + p, -5*w + w + 16 = 0. Is i a multiple of 22?
False
Suppose 7*h + 10 = 12*h. Suppose -r - 26 = -h*r. Does 13 divide r?
True
Is 11 a factor of ((-36)/20*1)/((-2)/20)?
False
Let r = -506 + 929. Does 14 divide r?
False
Suppose 0 = -40*s + 1253 + 27307. Is 34 a factor of s?
True
Let y be 1184/24*(-9)/6. Let r = y + 321. Does 19 divide r?
True
Let b be -6*(-4 + 5)*-37. Let z = -120 + b. Does 6 divide z?
True
Suppose -11*l + 135 = -8*l. Suppose -5*n = -2*n - l. Is 3 a factor of n?
True
Suppose 9*j - 4*j + 100 = 0. Let i = -1 - 27. Let p = j - i. Is 7 a factor of p?
False
Let r be 0/((-15)/3) - 96. Let n = -9 - r. Is 29 a factor of n?
True
Suppose -38*h + 43811 + 4069 = 0. Is 105 a factor of h?
True
Suppose 0 = -2*z + 12 + 22. Let y be z + 6/(-4 + 1). Is (-1)/(42/y + -3) a multiple of 5?
True
Let y = -25 + 25. Suppose -4*m + 2*f + 227 = -m, y = 5*m + 3*f - 372. Is m a multiple of 15?
True
Let d = -96 - -98. Suppose 5*p = d*p + 600. Is p a multiple of 40?
True
Suppose -13968 = -48*w + 39*w. Is 8 a factor of w?
True
Let g = 54 - -74. Is 8 a factor of g?
True
Let q be (-13)/1*(1 + 0). Let n = q + 12. Does 7 divide (31 + n - -3)/1?
False
Suppose -79*l + 80*l = 24. Is 12 a factor of l?
True
Let p be 378/90 + 8/10. Suppose -31 + 151 = p*x. Is x a multiple of 7?
False
Suppose 0 = -d - 15 + 17. Suppose d*b = -5*q + 9*q - 248, 56 = q + b. Does 12 divide q?
True
Suppose 0 = 40*x - 41*x + 666. Suppose 0 = 5*l + m - x - 185, -l + 166 = -4*m. Is 34 a factor of l?
True
Does 22 divide (600/(