- 26 = 4*z. Let r = x - 1. Does 3 divide (0 - 3)/((-2)/r)?
True
Suppose -3*a = -10 - 35. Suppose -2*j = 3*j + 55. Let z = a - j. Is 13 a factor of z?
True
Let f be (2 + -9)/((-3)/(-15)). Does 12 divide (f - (-1 + 2))/(-1)?
True
Suppose 2*p = 3 - 1. Suppose -3*i - x = -4, x - p = i - x. Suppose -i = -c + 4. Does 3 divide c?
False
Let a = -223 - -322. Does 11 divide a?
True
Let t be (-4)/(-16) + 9/(-4). Is 10 a factor of t/6 + 111/9?
False
Let g be 2 - (1 + 0 + -2). Suppose -g*d - 6*s = -11*s - 24, -s + 3 = 2*d. Let t = d + 0. Does 2 divide t?
False
Let h(q) = -15*q + 9. Does 14 divide h(-4)?
False
Let j be ((-6)/(-3))/(-2) - -70. Let g be 8/12*j/1. Is 1 - 2/((-4)/g) a multiple of 12?
True
Let n(f) be the first derivative of -f**2 + 0*f**3 - 3 + f + 3/4*f**4. Is n(1) even?
True
Let y = 20 - 8. Let x(l) = -l**3 + 12*l**2 + 2*l - 18. Is 3 a factor of x(y)?
True
Let p be (-1 - -13)*(1 - 2). Let k = p - -32. Suppose k = 5*t - 50. Is t a multiple of 7?
True
Let y(h) = -2*h + 4. Let d = 12 - 20. Does 6 divide y(d)?
False
Let a = 213 - 118. Is 28 a factor of a?
False
Let d be (0 - -1) + -1 + 36. Is 17 a factor of ((-24)/d)/(2/(-51))?
True
Suppose 4*x + 10 = -2. Let s be 60/1 + 4 + x. Let n = s + -35. Is 13 a factor of n?
True
Suppose -114 + 300 = -3*l. Let s = l - -93. Is s a multiple of 10?
False
Suppose -4*h = o - 40, h - 146 = -5*o - h. Suppose -4*l + 3*i = -51, l - 4*i - o = -l. Is 8 a factor of l?
False
Suppose -21 - 87 = -3*g. Does 12 divide g?
True
Let a(u) = -2*u**2 + 4*u + 1. Let b be a(3). Let i = b - -7. Suppose i*t = 4*t - 30. Does 9 divide t?
False
Suppose 2*m + m = 12. Let j(b) = -b**3 + 5*b**2 - 4*b + 9. Is 4 a factor of j(m)?
False
Let a be (1/3)/((-3)/(-18)). Is 3 a factor of ((-3)/(-3))/(a/14)?
False
Suppose 0 = -5*k - 0*k + 390. Does 17 divide k?
False
Is 5 a factor of (0 - 1) + (-56)/(-8)?
False
Let c(x) = -2*x - 2. Let w be (-34)/4 - 3/(-6). Does 14 divide c(w)?
True
Let z(q) be the second derivative of q**5/20 - q**4/24 - 2*q**3/3 + 2*q. Let t(u) be the second derivative of z(u). Is t(3) a multiple of 12?
False
Let v(t) = 2*t**2 - 10*t - 10. Does 25 divide v(8)?
False
Suppose 374 = 5*a - 4706. Suppose 2*n = -3*f - 426 - 266, 3*n - f + a = 0. Is (-14)/49 - n/14 a multiple of 8?
True
Let k = -14 - -42. Does 7 divide k?
True
Is 4/5 + (-392)/(-10) a multiple of 20?
True
Suppose -12*a + 170 = -2*a. Does 12 divide a?
False
Let x(r) = 3*r**3 - 5*r**2 + 4*r - 4. Is x(3) a multiple of 11?
True
Let n be (4/(-5))/(1/(-30)). Let l = 5 + n. Is l a multiple of 20?
False
Let w(z) = -z**2 + 8*z - 4. Let x be w(7). Let a(o) = 0*o - 4*o + 31 + x*o. Is a(0) a multiple of 11?
False
Let p(u) = -9*u + 3. Let q(a) = 10*a - 3. Let g = -6 - -2. Let t(f) = g*q(f) - 5*p(f). Is t(6) a multiple of 9?
True
Suppose -3*j = -0*j - 69. Does 9 divide j?
False
Let o be ((-4)/(-10))/(2/(-40)). Let u be (-718)/o - 2/(-8). Suppose 4*x - 2*v = -4 + u, 0 = -4*v + 4. Is 11 a factor of x?
True
Is 7 a factor of (-209)/(-8) - 2/16?
False
Let c(l) = -2*l + 11 - 3 - 5. Does 7 divide c(-6)?
False
Let x(c) = c + 2. Let j(u) = u + 5. Let l be j(0). Suppose 2*y - l*d - 12 = -3*d, 2*y - 19 = -5*d. Is x(y) a multiple of 3?
True
Suppose q = 4*q. Suppose q*v + 44 = 2*v. Does 11 divide v?
True
Let c(a) = -2*a. Let x be c(-8). Let z = x - 10. Let h = z + 32. Is h a multiple of 19?
True
Is 0/(-1) + (-2 - -1)*-132 a multiple of 22?
True
Let l be (6/(-8))/(1/4). Is 12 a factor of l/12 + 173/4?
False
Suppose -2*b = -0*b + 5*y, 0 = 3*y. Suppose -n = m - 11, 4*n + b*n - 20 = 0. Suppose 4*t = -h, 3*h - 2*t - 40 = -m*t. Is 10 a factor of h?
True
Does 14 divide (-6000)/(-39) - 4/(-26)?
True
Let k(q) = q + 2. Let n be k(3). Suppose 0 = 3*f - 8 - 1, n*o - 4*f = 8. Does 4 divide o?
True
Is 3 a factor of 2 + 4*2/8?
True
Let o(y) = 37*y**3 - y**2 + y. Suppose 4*s - 3 = 1. Let g be 2/3 - s/(-3). Is o(g) a multiple of 14?
False
Let w(c) = 2*c**2 + 3*c - 7. Is 13 a factor of w(-4)?
True
Suppose 0 = -3*i + 4*i - w - 8, 3*i - w = 26. Does 3 divide i?
True
Let d = 38 + -4. Let y be d/10 - 4/10. Let g(r) = 12*r + 3. Does 17 divide g(y)?
False
Let u be (-2)/3*3/(-2). Suppose 5*n - 25 = 5*p, n + p - 4*p + u = 0. Is n/(-3)*9/(-6) a multiple of 3?
False
Let o(x) = 68*x - 4. Is o(2) a multiple of 22?
True
Let m(g) = -3*g + 1 + 5*g - 4*g. Is m(-5) a multiple of 3?
False
Suppose 0 = l - 15 + 2. Suppose -q - l - 6 = 2*h, 5*q + 11 = 2*h. Let n = -2 - h. Is 3 a factor of n?
False
Let w(g) = -g**2 - 8*g - 9. Let s be w(-7). Is 29 a factor of 30 + -1 + -2 - s?
True
Is 4/10 - (0 - 1246/35) a multiple of 12?
True
Let t(v) = v**3 + 9*v**2 - 11*v + 7. Does 8 divide t(-10)?
False
Suppose -10*q + 12*q = 30. Is 5 a factor of q?
True
Let k(z) = -26*z**3 + 1. Let l = 1 - 2. Is 14 a factor of k(l)?
False
Let p(u) = 176*u + 2. Let n be p(1). Suppose 3*s + 28 - n = 0. Is 26 a factor of s?
False
Let o(k) = 12*k**2 + k - 9. Does 17 divide o(3)?
True
Suppose 4*u - 17 = 3. Suppose -u*y - 10 = 40. Let k(v) = -v**2 - 13*v + 6. Is 13 a factor of k(y)?
False
Let u = -4 + 8. Suppose 4*x = 4*y - 0*y, 6 = -x + u*y. Suppose 0 = v + h - 15, -2*h - 9 = -x*v + 1. Is v a multiple of 5?
True
Suppose -y = 4*y. Let j be 3/(1 + y/2). Suppose 5*v - 3*w = 24, 0*w + j*w - 30 = -4*v. Is 6 a factor of v?
True
Let k(r) = 47*r**3 - 1. Is 17 a factor of k(1)?
False
Let g(s) = -12*s - 5 + 7*s - 8*s + 0. Is 17 a factor of g(-4)?
False
Suppose 2*x = 82 + 138. Is x a multiple of 10?
True
Does 27 divide 1040/6 + 3 + (-8)/6?
False
Suppose 15*o + 1026 = 21*o. Does 19 divide o?
True
Let h be (-9)/18 + (-10)/(-4). Let g(u) = 20*u. Is g(h) a multiple of 10?
True
Does 4 divide (-12)/(-15)*60/3?
True
Suppose 5*z + 5 = 0, 0 = -4*q - 3*z + 4*z + 221. Does 8 divide q?
False
Let l(j) = j + 4. Let w be l(-3). Is 4 a factor of ((-2)/4)/(w/(-16))?
True
Suppose 3*y = -q + 11, -3*y - 2*y = -4*q + 10. Let v(z) = z**3 - 5*z**2 + 6*z - 4. Is v(q) a multiple of 13?
True
Suppose -2*g = -3*c + 20, c - 5 = 5*g + 19. Let p be 8304/176 + (-4)/22. Suppose -d = 5*a - p, c*d - 3*a - 85 = 80. Is d a multiple of 14?
True
Suppose -29 = -4*o - 2*r + 195, -3*r = o - 61. Is 11 a factor of o?
True
Let w be (2/(-4))/((-9)/1548). Suppose 2*p + 3*p = 2*d - w, 2*p + 86 = 2*d. Does 22 divide d?
False
Suppose k + 2*t = 2*k + 3, 5*k = 4*t + 3. Is 2 a factor of k?
False
Let k = 49 + 0. Does 9 divide k?
False
Let x(k) = -k**3 + 6*k**2 - 7*k + 5. Let t be x(4). Let d = 4 + t. Is d a multiple of 13?
True
Let i = -91 - -137. Does 11 divide i?
False
Let f(a) = a + 35. Let h be 0*(1 - (1 + 1)). Let j be f(h). Is j*3/(45/6) a multiple of 7?
True
Let k = 246 + -158. Is k a multiple of 9?
False
Is (-462)/(-18) + 2/6 a multiple of 7?
False
Let r = 42 - -94. Suppose 0*w - 4*w = -r. Does 16 divide w?
False
Is 19 a factor of (36/(-30))/((-2)/55)?
False
Let f = 13 - -38. Does 9 divide f?
False
Suppose -2*b = -5*g - 10, b + 0*g = 5*g + 5. Suppose -v - v = -i - 49, 3*v - 70 = b*i. Is 14 a factor of v?
False
Let a(c) = c - 5. Let w be a(4). Let u = 25 + w. Is u a multiple of 6?
True
Suppose m + 123 = 4*x - 16, 2*x = -4*m + 92. Does 36 divide x?
True
Let u(y) = 5*y**3 - 2*y + y**2 - 4*y**3 + 2 + 6*y**2 - 6. Is 13 a factor of u(-5)?
False
Let k(j) be the first derivative of 11*j**2/2 - 3*j - 6. Does 19 divide k(2)?
True
Let k(f) = f**3 + f**2. Let v(i) = -6*i**3 - 10*i**2 + 2*i + 5. Let a(u) = -5*k(u) - v(u). Let d be a(-5). Suppose -c + 2 = -d. Is c a multiple of 3?
False
Let r = -2 - -7. Suppose r*n = -t + 597, t + 0*t + 3 = 0. Suppose 0 = 4*i - n - 32. Is 15 a factor of i?
False
Let m(f) = -f + 10. Let p be m(6). Suppose 3*q + 0*d = 2*d + 110, 0 = -4*q + p*d + 148. Does 18 divide q?
True
Suppose 0*y + 4*y = 40. Let i = 5 - 8. Let p = i + y. Is 7 a factor of p?
True
Let x be ((-33)/9)/(3/(-9)). Suppose -q + 2*q - x = 0. Is 9 a factor of q?
False
Suppose 5*k - 81 = 9. Is 9 a factor of k?
True
Suppose -5*n + 104 = -66. Does 18 divide n?
False
Let f = 115 + -79. Let a = -26 - -49. Let s = f - a. Is 6 a factor of s?
False
Let l(a) = 26*a**3 + a - 1. Let o be l(1). Suppose -3*j + 35 = 3*v - 4, -o = -2*j + 2*v. Let x = j - -15. Is 14 a factor of x?
True
Suppose 5*w - 67 + 17 = 0. Suppose 4*d + 2*k = 20, -4*k - w = -4*d - 2. Suppose -r = d*r - 200. Is r a multiple of 17?
False
Let j = 184 + -124. Does 10 divide j?
True
Let 