- 1222, 0 = p + 2*b + 1629. Is 12 a factor of (-4)/14 + p/(-49)?
False
Suppose -2*a - r = -118, r = -4*r + 20. Does 14 divide a?
False
Let b be (-4)/16 + (-31)/4. Let k(t) = 2*t**2 + 12*t - 6. Does 13 divide k(b)?
True
Suppose -3*t = -0*t + 6. Is (44 + 6/t)/1 a multiple of 15?
False
Let a(n) = 18*n - 1. Let m be a(3). Suppose 4*y = -21 + m. Is y a multiple of 3?
False
Let s(d) = 2*d**2 + 8*d + 10. Does 13 divide s(-10)?
True
Let h be 170/(-8) - 4/(-16). Let v = h + 65. Is 12 a factor of v?
False
Let x(s) = -33*s - 64. Is 13 a factor of x(-6)?
False
Suppose 6*g - 2*g + 24 = 0. Let h be 2/6 - (-182)/39. Let n = h - g. Is 5 a factor of n?
False
Suppose -4*f - 31 = 1. Let o = -3 - f. Let s(l) = -l + 8. Does 2 divide s(o)?
False
Let d(o) = o + 3. Let s be d(0). Suppose -2*b - s*b = -10. Suppose -5*c + 55 = j, -2*c + 40 = c + b*j. Is c a multiple of 10?
True
Let n(w) = -4*w - 6. Suppose 0*u - 8 = -2*u. Suppose -3*d - 7 = u*g, 5*d + 15 = 5*g + 50. Does 5 divide n(g)?
True
Let l(w) = 121*w**2 - 1. Let y be l(1). Suppose 32 = -0*g + 3*g + 5*a, -5*g + 5*a = -y. Let v = g - 7. Does 12 divide v?
True
Suppose -4*m = -7*m. Suppose -5*u + 4*g + 120 = m, -4*u + 4*g + 96 = -0*u. Suppose -u = 5*d - 8*d. Is 4 a factor of d?
True
Let u(d) be the first derivative of -d**4/4 + d**3/3 + d**2/2 + 5*d + 5. Suppose 0 = 2*n - 3*n. Is 3 a factor of u(n)?
False
Let w(o) = -11*o - 1. Let x be w(1). Let h = 30 - x. Let f = h + -16. Is f a multiple of 9?
False
Let x = 109 - -12. Let l be (1 - 1) + (0 - -5). Suppose l*n = x - 11. Is 11 a factor of n?
True
Let f = 0 - -4. Suppose -f*g + 36 = -g. Is 6 a factor of g?
True
Let v(i) = -i**3 + 9*i**2 + 14*i - 5. Let q be v(10). Let y = -21 + q. Is 7 a factor of y?
True
Let w(x) = x - 2. Let m be 2/(-3) - (-56)/12. Let i be w(m). Suppose -i*l = 2*l - 88. Is l a multiple of 10?
False
Let c = 4 + -1. Does 9 divide c + 13 + -1 + 3?
True
Suppose q = -q. Suppose -t + 2*t = q. Suppose 4*g - 108 - 4 = t. Is 14 a factor of g?
True
Let y(i) = 10*i**2 - 2*i - 2. Does 14 divide y(-2)?
True
Suppose -4*h + 104 = -2*h. Does 13 divide h?
True
Let o be 1 + (-5)/(5/(-2)). Let z(a) = 13*a + 1. Is 14 a factor of z(o)?
False
Suppose 5*j - 345 = -6*v + v, 5*v - 279 = -4*j. Let y be ((-42)/9)/((-4)/j). Let g = y - 49. Does 14 divide g?
True
Let t(w) be the second derivative of w**4/3 + w**3/3 - w**2/2 - 3*w. Is 5 a factor of t(1)?
True
Suppose 135 = 4*q - 37. Suppose -q = -4*l + 41. Is 28/l - 2/(-3) a multiple of 2?
True
Let q(s) = -9 + 3*s - 4 + 12*s + 5. Does 22 divide q(6)?
False
Suppose 5*q - 600 = -3*x, -85 + 445 = 3*q - 5*x. Does 15 divide q?
True
Is (-1112)/(-6) + 3*2/(-18) a multiple of 37?
True
Suppose 0*c - 50 = -2*c. Suppose 145 = 4*j + c. Is 10 a factor of j?
True
Let w = 8 - -5. Is 13 a factor of w?
True
Let h(f) = 2*f - 4 + f - 4*f. Let r be h(0). Is 3 a factor of r/2 - (-8 + -2)?
False
Let l(s) = -s**3 - 3*s**2 + 3*s - 5. Let p be l(-4). Let o be (-8)/(-8) + (-3)/p. Suppose -u - 3*d + 62 = -o*d, -5*d = -4*u + 249. Is 16 a factor of u?
False
Let d be (-2 - -3)/(-1) - -3. Suppose -6 = -4*g - d*k, 4*g + 9 = 3*k - 0. Suppose g = z + 3, 2*x - z - z - 18 = 0. Is x a multiple of 6?
True
Suppose 75 = -2*y + 25. Let w = y - -48. Is w a multiple of 6?
False
Let q be ((-4)/8)/((-2)/(-16)). Let n = q - -20. Is n a multiple of 8?
True
Suppose 2*g - 22 - 2 = 0. Is 3 a factor of g?
True
Let o(k) = k - k**2 + 0*k - k + 5. Let x be o(4). Let z = x + 37. Does 13 divide z?
True
Suppose 55 + 95 = 6*x. Is x a multiple of 25?
True
Suppose 7*z - z - 528 = 0. Does 16 divide z?
False
Let p(a) = a**2 - a - 11. Let g be p(0). Let s(z) = -17*z - 5. Let f(h) = 9*h + 3. Let l(x) = g*f(x) - 6*s(x). Is 9 a factor of l(10)?
True
Suppose 5*p + f = -3*f + 51, -20 = -4*p + 2*f. Let u(z) = -2*z - 2. Let s be u(5). Let k = p - s. Does 19 divide k?
True
Suppose -173 - 7 = -5*j. Is j a multiple of 9?
True
Suppose 6*x = 2*x + 20. Suppose -x*k + 4*v + 456 = 0, 0*v = -k - 5*v + 97. Suppose -3*u - 2*j = -k, 0*u = -4*u - 3*j + 122. Is u a multiple of 16?
True
Suppose j + j - a = -5, -4*j = -5*a + 19. Does 9 divide 18*j*(-3)/6?
True
Suppose 4*q = 4 + 8. Suppose q*b = 65 - 8. Let n = 64 - b. Is 16 a factor of n?
False
Let d(s) = -s**3 - 5*s**2 - 3*s + 3. Let v be d(-4). Let q be 1/(-2)*8*v. Suppose -6*f = -q*f - 42. Is 10 a factor of f?
False
Suppose -k = 5*m - 250, -2*k + 0*k - 100 = -2*m. Let s = 92 - m. Is s a multiple of 21?
True
Let w(x) = 2*x - 7. Let k = 6 - 1. Let q be w(k). Does 15 divide (-68)/q*(-3)/2?
False
Let y = 13 - 9. Suppose -5*s - 2*d + 59 = 0, 0 = -s - s - y*d + 30. Does 4 divide s?
False
Let g(s) = 6*s - 2. Let z(x) = x + 1. Let d(r) = g(r) + 3*z(r). Does 11 divide d(4)?
False
Let p be 3/(-2)*186/(-9). Let t = -19 + p. Does 12 divide t?
True
Suppose -l + 3 = -4*a, -l + 5*a + 15 = 4*l. Is l a multiple of 2?
False
Let h(p) = p + 8. Let w be h(-8). Suppose w*d - d + 4 = 0. Is (d/2)/(-1 + 2) even?
True
Let f be (-6)/8 + (-315)/(-20). Suppose 0*z - 3*z + f = 0. Is 5 a factor of z?
True
Let x(h) = h**3 + 15*h**2 + 13*h - 13. Let u be x(-14). Let r = 45 + u. Does 23 divide r?
True
Suppose 0 = -g - g - 5*z + 44, -g + 3*z = -22. Suppose -3*n - 7 = -g. Let h = n - -5. Is h a multiple of 7?
False
Suppose 2*y = 3*y - 3. Suppose -384 = -4*u + 4*q, -u - y*u + 3*q + 382 = 0. Let f = -44 + u. Does 25 divide f?
True
Suppose 8*d - 300 = 84. Is 6 a factor of d?
True
Let t be (-296)/(-6) - 18/(-27). Let p = t + -29. Is p a multiple of 7?
True
Suppose 0*s + s = -2. Is 4 a factor of 6 + -2 + (s - -2)?
True
Let c(n) = n**2 - 2*n - 4. Let j be c(3). Let z = j + 2. Is 3 a factor of (-24)/(-6) + 2/z?
True
Suppose 3*t + l = 4*t + 12, 0 = 3*t + l + 44. Let o be (-4)/(-28) + (-12)/t. Is 12 a factor of 380/16 - o/(-4)?
True
Does 13 divide (-102)/(3 + 0)*-1?
False
Suppose 2*o + o - 9 = 0. Let h(k) = -o*k + k - 9 + 3 + 0*k. Is h(-9) a multiple of 6?
True
Let l be 762/9 + 4/(-6). Let j = 9 - 1. Suppose 5*b = j*b - l. Is 14 a factor of b?
True
Let z be 7*-1 + (-8 - -11). Let w = z + 4. Suppose 3*h + w*h - 99 = 0. Does 11 divide h?
True
Is (19/1)/(5/25) a multiple of 20?
False
Let v be 72 + -3 + -3 + 4. Does 4 divide v/4*(-24)/(-30)?
False
Let u(h) = -3*h + 6. Does 2 divide u(0)?
True
Let c be -9 + (2 - (-12)/(-4)). Is -9*(c/(-3))/(-1) a multiple of 15?
True
Suppose -l = -5*h + 118, -4*l + 10 = l. Is 12 a factor of h?
True
Let n(p) = p - 4. Let h be n(-6). Let s be h/35 + 51/7. Suppose -c = -1 - s. Is 4 a factor of c?
True
Let c(q) = -q**3 + 3*q**2 - 2. Let m be c(3). Let j(p) = -20*p - 1. Let d be j(m). Suppose d = 2*b + b. Is b a multiple of 7?
False
Suppose 0 = -9*l - l + 1800. Does 30 divide l?
True
Suppose 2*x + 5*p - 35 = 0, 3*p = -x + 2*p + 10. Suppose h + x - 14 = 0. Is 3 a factor of h?
True
Suppose 0 = i - 2, -2*i + 270 = 2*s - 166. Does 54 divide s?
True
Suppose -2*a + 1 = c, 0 = -a + 5*a - 2*c - 14. Let h(z) = -z - 5 - 4*z + 3 + z**a. Is h(6) a multiple of 3?
False
Suppose 4*n - 3*x - 20 = 0, 0 = -4*n + 5*x + 10 + 2. Does 4 divide n?
True
Suppose -2*i - 33 = -113. Does 21 divide i?
False
Let i be 5/20 - 127/(-4). Suppose -w + 8 = 5*h, w - 3*h = -0*w + i. Does 14 divide w?
False
Suppose -h - 91 + 21 = 0. Let k = -35 - h. Does 9 divide k?
False
Let f be (-8)/10*(-1 + -4). Suppose -2*u + 3 = f*d - 49, -4*d = 5*u - 64. Is 11 a factor of d?
True
Suppose -x - 2 = 0, 22 = 3*r + 2*r - x. Suppose r*v - 67 = 37. Does 13 divide v?
True
Suppose 4*s + 32 = 2*d + 2*d, 2*d - 1 = -s. Suppose -4*b + 4*x + 124 = 0, d*x + 76 = -5*b + 223. Is b a multiple of 10?
True
Let w = -75 - -119. Is w a multiple of 9?
False
Suppose -3*k + 92 = 3*h + h, -3*h = -3*k + 57. Is k a multiple of 3?
True
Let t be (24/10)/(5/(-50)). Let u = t - -50. Is u a multiple of 10?
False
Let m(l) = l**3 + 9*l**2 + 9. Let y be m(-9). Suppose -y*n + 4*n = -220. Is 11 a factor of n?
True
Let y = -10 + 46. Let q = -26 + y. Is q a multiple of 5?
True
Let s(q) = q**2 + 6*q - 5. Let o(k) = -k**3 - 5*k**2 - 3*k - 3. Let y be o(-4). Let b be s(y). Suppose b*w = -2*w + 20. Is 2 a factor of w?
False
Let m(q) = 6*q - 7. Is 3 a factor of m(4)?
False
Let c(r) = r**3 - 3*r**2 + 2*r + 4. Let k be c(4). Let v = k - -8. Is v a multiple of 18?
True
Let g(c) = 3*c - 10. Let k = 13 + -2. Does 15 divide g(k)?
False
Suppose 0*p = 4*p + 2*o - 6, 3*o + 19 