 l(-6). Suppose -5*z + 0*z - 39 = -g*x, 3*x + 4*z - 66 = 0. Does 9 divide x?
True
Let g = 2 + 3. Let z = 0 + g. Suppose 3*a - 159 = -a + 3*r, 27 = a - z*r. Does 19 divide a?
False
Suppose -4*s = -6*s + 2*r + 204, 0 = 5*r + 15. Is 37 a factor of s?
False
Let a(z) = z + 51. Is 17 a factor of a(0)?
True
Let z = -5 - -11. Let i = 0 + z. Suppose -i = -5*a + 19. Is a even?
False
Does 48 divide ((-32)/(-6))/(7/(-126))*-4?
True
Suppose 0 = 2*h - 5*p - 53, -2*p = -7*h + 3*h + 98. Is 8 a factor of h?
True
Is ((-228)/20)/((-2)/20) a multiple of 19?
True
Suppose -38*p + 252 = -35*p. Is 42 a factor of p?
True
Suppose 0 = -4*z + 103 - 31. Suppose 3*x - z + 111 = 0. Does 14 divide (-2)/(-5)*(4 - x)?
True
Let j be (-52)/(-5) - (-3)/5. Let b = -6 + j. Is 3 a factor of b?
False
Suppose n = -4*k + 70 + 27, 4 = 4*n. Is k a multiple of 2?
True
Suppose 5*k = 2*d + 6*k - 113, 3*d - k = 172. Is 19 a factor of d?
True
Let i(u) = -u**2 + 23*u - 26. Is 6 a factor of i(19)?
False
Suppose 0 = 2*a + a - 9. Is (12/(-8))/(a/(-64)) a multiple of 16?
True
Let i(m) = m**2 + m + 4. Let z be i(0). Let o = z - 2. Suppose 72 = o*l + 4*k, 2*l - l - 21 = k. Does 13 divide l?
True
Suppose -40 = -5*y + 5*p, 4*p + 24 = 3*y - 3. Suppose -y*w - 32 = -332. Is w a multiple of 30?
True
Let k = -20 + 28. Does 4 divide k?
True
Let c = 119 + -83. Does 19 divide c?
False
Suppose 460 = -4*v + 8*v. Suppose -3*o + v = 4*u, 4*o - 223 = -2*u - 53. Is 19 a factor of o?
False
Suppose 0 = -4*y + 93 - 5. Suppose 0 = 3*o - y - 17. Does 13 divide o?
True
Let q be (-75)/12 + 1/4. Let u(g) = -g + 6. Does 4 divide u(q)?
True
Suppose 3*u - x = 17, u + 0*x - 11 = 3*x. Suppose 0*l + 4*k - 101 = -u*l, -3*l + 66 = -3*k. Does 11 divide l?
False
Let f = -12 + 69. Is 13 a factor of f?
False
Let w be (3/2 - 1)*0. Let y be 16 + (w - (0 - -1)). Is 7 a factor of 294/y + (-4)/(-10)?
False
Suppose -5*u + 3*m + 132 = 0, -4*m = -5*u + 100 + 36. Does 24 divide u?
True
Is 1 - (715/(-26) - 1/2) a multiple of 3?
False
Suppose 4*f + 12 = 0, 658 = d + 4*d - f. Is d a multiple of 20?
False
Suppose 2*j + 480 + 1104 = 4*t, -t = -j - 396. Suppose v - 70 = 5*q, -3*v + 8*v - 2*q = t. Suppose s + 3*s = v. Is s a multiple of 18?
False
Let d(h) = 2*h**3 - 7*h**2 + 4*h + 4. Let q be d(4). Let o = 59 - q. Let x = 63 - o. Does 20 divide x?
True
Let h(m) be the first derivative of m**4/4 - 7*m**3/3 + 4*m**2 + 7*m + 1. Let l be h(7). Suppose 4*g - 170 + l = -5*d, 2*d + 109 = 3*g. Does 13 divide g?
False
Let s(g) be the first derivative of -g**4/4 + 3*g**3 - 5*g**2/2 - 11*g + 1. Is s(8) a multiple of 8?
False
Suppose q = -3*y + 4 - 8, -q = -y - 16. Let g = 18 - q. Suppose -21 = -m - g. Is m a multiple of 14?
True
Suppose 20*t - 14*t - 360 = 0. Is 29 a factor of t?
False
Let u be (-14)/2*(-8)/28. Let j = u + 3. Is 5 a factor of j?
True
Is (170/5 + -5)/(2/2) a multiple of 7?
False
Let a(l) = l**2 - 9*l + 9. Let j be a(8). Let g = 1 + j. Is g even?
True
Let o = 15 - 11. Suppose o*l = -5*r - 0*r + 44, -l + 26 = 5*r. Is l a multiple of 3?
True
Let x be (5/3)/(-1)*-3. Suppose x*z - 58 = 22. Does 8 divide z?
True
Suppose 4*k - 136 = -4*c, -4*k + 132 = 3*c - 3. Is 11 a factor of k?
True
Is 24 a factor of 3 + -4 - 0 - (-174 - -2)?
False
Suppose -t + 8 = -1. Suppose -g = 3*u - 3, 3*g + 5*u = g + t. Is g a multiple of 7?
False
Suppose 2*q - 4 = -24. Let o(p) = -2*p. Is o(q) a multiple of 8?
False
Is 21 a factor of (3*33)/(39/26)?
False
Suppose 0 = 4*j - 14 - 10. Let c = j - -1. Let i(d) = 3*d - 5. Is i(c) a multiple of 7?
False
Let l(c) = c**2 + 9*c + 7. Let f be l(-10). Suppose 0 = -5*t + 5, 223 = q - 4*t + 40. Suppose 5*n = q - f. Is 16 a factor of n?
False
Does 20 divide (-4)/(-6) + (-2641)/(-57)?
False
Does 6 divide (0 - (-174)/15)*5 + 2?
True
Suppose -2 + 3 = j. Let u(y) = -y**2 + 1. Let x be u(-1). Does 9 divide j + -1 + x + 9?
True
Let o(y) = -21*y + 4. Does 8 divide o(-4)?
True
Is 32 a factor of 1160/36 - 2/9?
True
Suppose 2*u = 2*f + 350 - 86, -f + 660 = 5*u. Is 12 a factor of u?
True
Let a(v) = 2*v**3 + v**2 + v + 3. Let h be a(4). Let o be 0 + h + 0 + 0. Suppose 0*u = k - u - 37, -u - o = -4*k. Does 14 divide k?
False
Let w(b) be the second derivative of -13*b**3/6 + b**2/2 - b. Is w(-3) a multiple of 14?
False
Does 21 divide (-1)/2 + (-30)/12 - -285?
False
Let i be ((-30)/25)/(3/10). Let q(n) = n**2 + 3*n - 2. Let o be q(i). Suppose o*u - 10 = -h - h, 5*u + 4*h = 23. Is u a multiple of 3?
True
Let j = -15 - -45. Is j a multiple of 9?
False
Suppose 0 = -n + 2 - 0. Let m(d) = -9*d**3 - 11*d + 17. Let o(b) = 3*b**3 + 4*b - 6. Let p(z) = -4*m(z) - 11*o(z). Is p(n) a multiple of 13?
False
Let y be 1/2*-7*2. Let m = 0 - y. Is m a multiple of 3?
False
Suppose 3*u = -0*u + 63. Let b = u - -6. Is 7 a factor of b?
False
Let x be 1 + 1*-1*16. Let t be (8/6)/(2/x). Let k = -3 - t. Does 7 divide k?
True
Let d be 4/14 - 834/(-21). Let m(r) = -r**2 + 6*r + 3. Let y be m(6). Is 17 a factor of (y/6)/(1/d)?
False
Suppose -3*c = 4*d - 0*d - 137, -5*c + 237 = -2*d. Let k = -29 + c. Is k a multiple of 9?
True
Suppose -8*y = -3*y - 45. Is y a multiple of 2?
False
Let l(d) = -6*d + 4. Let o(q) = -7*q + 5. Let w(y) = -6*l(y) + 5*o(y). Let b be w(1). Does 6 divide ((-2)/(-4))/(b/24)?
True
Is 14 a factor of ((-168)/16 + 5)/(1/(-34))?
False
Let k be (-4)/14 + (-115)/(-35). Suppose 4*f = -f - 5*r + 310, -k*r = -4*f + 213. Is f a multiple of 19?
True
Let o(l) = -l**2 + 4*l. Let n be o(3). Let b be 1 - n/9*3. Does 11 divide b + 0 + -2 - -35?
True
Suppose 0*g - g = 1. Let s = 3 - g. Let v = s + -2. Does 2 divide v?
True
Suppose -a - 17 = -2*v, 5*v - 42 = a + a. Is 4 a factor of v?
True
Let x = -8 - -32. Is 8 a factor of x?
True
Let z = -28 - -18. Let j(g) = -g + 7. Is 16 a factor of j(z)?
False
Suppose -3*p + 2*p + 63 = -k, 4*k = -4*p + 292. Let l = p - 30. Does 11 divide l?
False
Suppose 2*h - 124 = -5*f, -2*f - 209 = -3*h + 2*f. Is h a multiple of 16?
False
Suppose -j - 4*j + 470 = -5*d, 476 = 5*j - 2*d. Let g be (1/2)/(4/j). Let o = 27 - g. Does 15 divide o?
True
Suppose -2*s - 2 = -6, 0 = 5*o + s - 152. Suppose o = -x + 6*x. Is 3 a factor of x?
True
Suppose 4*k + 21 = -23. Let d = -3 - k. Is d a multiple of 5?
False
Let l(p) = 2*p + 1. Let v(r) = 3*r + 6. Let o be v(-4). Let h = -4 - o. Is l(h) a multiple of 5?
True
Suppose -2*h = -4*t + 38, -t - 4*h = t - 4. Let p be 1/(-2) - 220/t. Let i = 58 + p. Is i a multiple of 15?
True
Let d = -9 + 16. Does 2 divide d?
False
Let v = -17 + 50. Suppose 0 = 5*o + v + 37. Is (o/3)/((-1)/3) a multiple of 4?
False
Suppose 3*u - 280 = -u. Is u a multiple of 14?
True
Suppose k + 2*v = -5, -5*k + 2*v = 7*v + 25. Let h be ((-3)/(-6))/(1/(-48)). Let g = k - h. Is g a multiple of 19?
True
Suppose 0 = 4*g + g - 5*q, 0 = 5*g - 2*q. Is (3 + 32)*(1 - g) a multiple of 11?
False
Suppose 0 = b + 5*q + 5, -4*b - 4*q - 37 = -q. Is 23 a factor of (-244)/b - (-4)/(-10)?
False
Let x be 16/5 + 1/(-5). Suppose -4*f = -x*w - 75, -3*f - 5 = -5*f - 5*w. Let n = -11 + f. Is n a multiple of 2?
True
Suppose 4*p + 34 + 267 = 3*b, -5*p = 5*b - 490. Is b a multiple of 22?
False
Suppose 4*v - 573 = 39. Does 17 divide (v/12)/((-6)/(-16))?
True
Suppose 2*f = -v + 37 + 136, 5*f - 431 = -v. Suppose -2*p = -5*x - f, -x + p - 13 = 2*p. Let t = 23 + x. Is 7 a factor of t?
True
Suppose -2*i = -2*d + 2, 2*d = 2*i - 5*i + 7. Let q = 1 - i. Suppose q = -w - 3*w + 72. Does 9 divide w?
True
Suppose 2*i = k + 38 + 3, -4*i + k = -81. Is i even?
True
Let o = -66 - -119. Does 10 divide o?
False
Let n = -135 - -193. Does 29 divide n?
True
Is 12 a factor of 8 + -4 - (-4)/((-8)/(-174))?
False
Suppose 2*n + c + 1 = 6, 0 = -5*c - 15. Suppose -118 = -n*k - i + 182, 3*k - 225 = -5*i. Suppose -3*h + d + 2*d = -k, -h = 2*d - 34. Does 10 divide h?
False
Let s = 14 - 22. Let n be 2 + 2*-1 + 19. Let w = s + n. Does 5 divide w?
False
Suppose 3*i + 294 = 5*p, -i - 292 = -5*p + 3*i. Suppose 2*h - 122 = p. Suppose h = 5*n - 89. Is n a multiple of 13?
False
Suppose -3*s + 3*x + 87 = -45, -x = -5*s + 212. Does 14 divide s?
True
Suppose 0 = 4*t + 3 - 7. Let i = t - 1. Suppose -2*m + 0*m + 60 = i. Does 14 divide m?
False
Suppose 2*f + 593 = 5*y, 4*y - 62 = 5*f + 409. Let v = y + -39. Does 21 divide v?
False
Suppose -4*y - 2*l - l + 76 = 0, 4*y - 100 = 3*l. Does 8 divide y?
False
Suppose -21 = -n 