
False
Suppose 3*j + j = 0. Let h be (2*-1)/(j - 1). Suppose -h*v - 5 = 2*x - 51, -5*v = -x - 145. Does 14 divide v?
True
Does 7 divide -2*(0 + (-63)/6)?
True
Suppose -3*k = -108 - 162. Is k a multiple of 30?
True
Suppose 172 = 4*d + 3*i, 0 = -d - 2*d + 2*i + 112. Let t = d - 26. Does 14 divide t?
True
Let d(a) = -a**3 + 4*a**2 + 3*a. Suppose -5*m = 4*q + 9, 0 = q + 2*m + 1 + 5. Is 10 a factor of d(q)?
False
Let d(x) = -x**2 + 16*x - 16. Does 13 divide d(11)?
True
Let q = -13 - -39. Suppose -13 = -b + q. Is b a multiple of 15?
False
Suppose 0*q + 3*q = -36. Let d = 4 + q. Does 6 divide (-82)/d - 12/(-16)?
False
Suppose -2*w - k = -12, 2*k + k = 4*w - 14. Suppose c = w*p - 33, p + 0*c = -2*c + 11. Does 5 divide p?
False
Let s(o) = o + 10. Let n(h) = -h**2 - 7*h - 1. Let i be n(-6). Suppose -5*x = i*m + 45, 4*m + 25 - 1 = -x. Is s(m) a multiple of 3?
False
Let o = 105 + 27. Is 22 a factor of o?
True
Let a(g) = -g**2 + 6*g - 5. Let w be a(4). Suppose -3*v - 5*k + 52 = -2, -3*k + 48 = w*v. Is 6 a factor of v?
False
Suppose -3*o - 6 = 0, 2*z - 3*o - 6 = -4*o. Suppose -q + 291 = z*r - 4, 90 = r - 3*q. Is 25 a factor of r?
True
Let j(h) = h**3 + 8*h**2 + h + 5. Let y be j(-8). Let u = 8 + y. Is 3 a factor of u?
False
Suppose b = -4*h - 3*b + 52, 0 = 4*h - 5*b - 61. Is 7 a factor of h?
True
Let w = 162 + 123. Suppose 209 = 4*v - 3*q, 5*v - w = -0*v - q. Is 15 a factor of v?
False
Let v = -20 + 42. Suppose -5*n = -3*i - 134, -v - 37 = -2*n + 3*i. Does 6 divide n?
False
Let k = 80 + -41. Is k a multiple of 13?
True
Let g = -27 - -157. Is (1 - 0)*g/2 a multiple of 19?
False
Let t(p) = -p**3 + 13*p**2 - 7*p + 6. Is t(12) a multiple of 6?
True
Suppose -3*x + 68 = -4. Does 5 divide x?
False
Let k = 269 + -443. Let z = k - -85. Let t = z + 135. Is 23 a factor of t?
True
Suppose -10 = -m - m. Let q(j) = 5*j**3 + 2*j**2 - 1. Let l be q(1). Suppose -m*a + l*a = 12. Is a a multiple of 8?
False
Let p(h) = -h**3 + 18*h**2 - 28*h - 12. Is 13 a factor of p(16)?
True
Let z(c) be the second derivative of 3/2*c**2 + 3*c - 1/12*c**4 + 3/2*c**3 + 0. Is 17 a factor of z(7)?
True
Let q = -4 + 16. Is 5 a factor of q?
False
Let k = 21 + 39. Is 12 a factor of k?
True
Let y = -100 + 149. Suppose 55 = 4*w - y. Does 13 divide w?
True
Let v(t) = t**3 - 4*t**2 - 3*t - 2. Let a = 0 + -5. Let w be (a/1)/(-2 - -1). Is 4 a factor of v(w)?
True
Suppose 422 - 30 = -2*b. Is 11 a factor of b/(-18) + (-9)/(-81)?
True
Is 4 a factor of 2 - (924/(-18) + 1/3)?
False
Let j = -16 - -76. Suppose 2*s - 7*s = -j. Does 12 divide s?
True
Suppose 3*u + 4*o - 6 = o, 4*o = -3*u + 5. Suppose 0 = -u*f + g - 73, -g + 5 = 4*g. Let t = 6 - f. Does 15 divide t?
True
Let s = 21 - -125. Is 19 a factor of s?
False
Suppose 2*i = i + 5. Suppose i*z = -27 - 8. Let u(k) = -k**2 - 9*k + 10. Is u(z) a multiple of 24?
True
Let c = 10 - 22. Let o = c + 20. Let i = o + 6. Does 14 divide i?
True
Suppose 0 = c - 4, -8 = -b - 0*b + c. Suppose -3*r + 21 = 132. Let g = b - r. Is 21 a factor of g?
False
Suppose 3*k = k + 64. Is 21 a factor of k?
False
Suppose 2*w = -c + 12, -c + 0*c = -4*w + 18. Suppose 4*l = -4*u + 120, -c*u + 66 = -3*l + 2*l. Does 12 divide u?
False
Let c(j) = j**3 - 3*j**2 + 3*j. Let h be c(3). Let y(u) = 4*u + 6. Does 18 divide y(h)?
False
Suppose -r = c - 17, 0 = -2*c - 2*r + 5*r + 34. Is 17 a factor of c?
True
Let s(r) = 2*r + 4. Let o be s(-5). Does 30 divide o/(-8)*(-2 + 42)?
True
Let z(g) = g - 4. Let u be z(4). Let y = 8 + u. Is 4 a factor of y?
True
Suppose 0 = -5*a - g + 25, 3*a + 0*g = 2*g + 2. Suppose 0 = 5*x - 15, -a*c + 0*c = 3*x - 225. Is c a multiple of 33?
False
Let o(r) = -r**3 - 9*r**2 - 5*r + 6. Let f be o(-8). Let g = f + 32. Is 7 a factor of g?
True
Suppose -59 = 2*d - 7. Let y = d + 42. Suppose 5*x = 3*c + y, 4*x - 3*c = 2*c + 5. Does 5 divide x?
True
Does 20 divide 15/5 - 111/(-3)?
True
Let m(s) = s**3 - 4*s**2 + 3*s. Let t be m(2). Let i(o) = 4*o**2 - 6*o. Let w be i(5). Does 15 divide (2/(-2))/(t/w)?
False
Let o(r) = 7*r + 5. Is o(5) a multiple of 11?
False
Let p(g) = -g**3 - 5*g**2 - 5*g - 1. Let o be p(-4). Suppose -o*r = 2*q - 58, 64 = 4*r - 3*q - q. Does 13 divide r?
False
Let k(a) be the second derivative of a**3/6 + 2*a. Let y be k(2). Suppose -y*n - 2*x = -0*x - 34, 2*n - 43 = x. Is n a multiple of 20?
True
Let l = -6 - -11. Suppose -13 = v - l*c, -5*c = -13 - 2. Suppose -6*x + 128 = -v*x. Is x a multiple of 16?
True
Does 9 divide (-12)/(-90) + 1209/45?
True
Does 2 divide (-10)/4*(-72)/20?
False
Let r = 7 + -2. Suppose 0 = r*y + o - 196, -5*o = -3*y - 2*o + 114. Is 13 a factor of y?
True
Let j be 4/(-8)*2 + 11. Let z(f) = f**2 - 3*f - 3. Does 16 divide z(j)?
False
Let b be (-22)/(-6) - 8/12. Suppose -4*s - k - 2 = -4*k, -b*k + 10 = 4*s. Suppose g - 20 = -s. Is g a multiple of 9?
False
Suppose -7*h + 116 = 5*b - 8*h, 3*h = -3. Is b a multiple of 3?
False
Let m = -17 - -24. Let x(q) = -m + 2 + 3 - 3*q. Is 5 a factor of x(-4)?
True
Let u = 57 - 111. Let k = u + 90. Is 18 a factor of k?
True
Let m(r) = 7*r**3 + r**2. Let w be m(-1). Let z be (-30)/(-20) + (-15)/(-2). Is 5 a factor of z/w + 23/2?
True
Suppose -25*r = -20*r - 660. Does 22 divide r?
True
Suppose 8 - 3 = 2*b - 3*v, 4*v - 4 = 0. Suppose 25 = b*o + o. Suppose -55 - 105 = -o*t. Is t a multiple of 11?
False
Let p(n) = n**2 + 3*n + 2. Let f be p(-3). Suppose 0 = 3*g - 5*j - 9, -3*g - g + 12 = f*j. Suppose 2*k - r - 10 = 33, 39 = k + g*r. Does 12 divide k?
True
Suppose 2*n - 6*n + 264 = 0. Is n a multiple of 11?
True
Let z = 89 - 77. Does 9 divide z?
False
Suppose 4*t - 24 = -m, -m + 0*m + 19 = 3*t. Suppose -3*w = 5*b - 84, 9 = -4*b + t*w + 54. Is 15 a factor of b?
True
Let s(t) = 60*t**2 - t - 1. Let a be s(-2). Suppose 0 = -4*m - 12, -4*q + 3*m + a = 0. Does 29 divide q?
True
Let y be (-9)/(-2) - (-6)/4. Is 10 a factor of y + 14 - (1 - 1)?
True
Let g be (-1)/(-2)*(-2 - -10). Suppose -g*v + 10 = -h, -h = -2*v + h + 2. Is v a multiple of 3?
True
Let a = -11 - -23. Suppose a = 2*i + y, 0*i - 4*y + 12 = -i. Is (-4)/i*-4*2 a multiple of 5?
False
Suppose 6*u = 3*u - 5*g + 534, 729 = 4*u + g. Suppose -4*w + u = -3*d - 2*d, 5*w + 3*d = 201. Is w a multiple of 14?
True
Let i be (52/(-10))/(1/10). Let r = -4 - i. Is r a multiple of 12?
True
Let c = -31 + -28. Suppose 2*h - 2*x - 19 = -227, -4*x + 212 = -2*h. Let w = c - h. Is w a multiple of 15?
False
Suppose 0 = 5*y + 5*a + 15, -1 = 3*y - y + a. Suppose 165 = y*f + 3*f. Does 17 divide f?
False
Suppose 0 = -4*t + i + 10, -3*t - i = -t - 8. Suppose t*l - 42 = -0*l. Is l a multiple of 7?
True
Let j = 1 - -1. Suppose -3 = u - j*u. Is (-63)/(u/(-1)) + -1 a multiple of 20?
True
Let m = -2 - -5. Suppose 98 = m*f - 5*i, 2*i - i = f - 34. Is 18 a factor of f?
True
Let r(l) = 5*l - 1. Let o be r(1). Let h = 11 - o. Does 3 divide h?
False
Suppose -4*y + 5*w - 139 = -0*w, y - 4*w + 21 = 0. Is 20 a factor of y/(-1) + -1 + 0?
True
Is 4 a factor of 17 - (-1)/((-1)/1)?
True
Let y(j) = -29*j. Let g be y(-1). Let s be -7 - (-3)/(1 - 2). Does 20 divide (g/(-1))/(s/20)?
False
Let g = 9 - 5. Suppose 2*f = g*f. Suppose f*j = -j + 20. Does 10 divide j?
True
Suppose 2*j - 12 = -5*a, -2*j = -7*j - 20. Let b be (2/(-6))/((-3)/27). Suppose -b*v + 2*g + 130 = 2*v, -a*g - 104 = -4*v. Is 9 a factor of v?
False
Suppose 77 = -5*c + 297. Is 11 a factor of c?
True
Suppose 0 = -2*p + 2 + 4. Let c(x) = 3*x**2 + x + 4. Let q be c(p). Let u = q + -15. Does 11 divide u?
False
Let d(h) = -5 + 4*h + 13 + 5*h + h**2. Is d(-10) a multiple of 18?
True
Suppose 7 + 5 = -4*l. Let w = 20 - 9. Let o = l + w. Is o a multiple of 3?
False
Suppose -2*c + 7*c = -45. Let m be -25 + (12/(-4) - 0). Let w = c - m. Is 12 a factor of w?
False
Suppose 3*g + g - 2*v = 44, 0 = -5*g + 4*v + 61. Does 6 divide ((-9)/1)/((-3)/g)?
False
Suppose 2*l = a + 466, 3*l + 5*a - 918 = -l. Is l a multiple of 17?
False
Suppose -870 = -5*u - 5*v, -v + 0*v = 4*u - 696. Does 11 divide u?
False
Is (-26)/(-130) - (-448)/10 a multiple of 3?
True
Suppose -1 + 5 = 4*l. Is 20 a factor of ((-48)/(-15))/(l/20)?
False
Let d = 24 - 6. Is ((-456)/d)/(4/(-6)) a multiple of 19?
True
Let m(p) = -p**2 + p + 23. Let b be m(0). Let q = -16 + b. Is q a multiple of 7?
True
Suppose -2*p - 4*i + 90 = -p, 4*i - 246 = -3*p. Is p a multiple of 13?
True
Let f(d) = 37*d**2 - 2*d 