de v?
True
Let k = -28 + 19. Let n = 24 + k. Is 15 a factor of n?
True
Suppose 0 = 3*r - 2 - 10. Suppose 3 - 219 = -r*j. Is j a multiple of 20?
False
Let j be (6/5)/(6/620). Let b = j - 55. Is 23 a factor of b?
True
Let c(a) = a. Let i be c(4). Let v = 11 - 21. Let y = i - v. Is 12 a factor of y?
False
Suppose -4*g + 20 = -0*g. Let w(n) = n**3 - 6*n**2 + 5*n. Let p be w(g). Let i = p - -3. Is 2 a factor of i?
False
Let k(t) = -t**3 - 6*t**2 - t. Let m be k(-5). Let p = 14 + m. Let l(s) = s**2 + 4*s - 1. Is 4 a factor of l(p)?
False
Suppose 0 = -0*r + 6*r - 1008. Does 21 divide r?
True
Suppose 0 = 3*b - r - 53, 3*b + 3*r = -b + 88. Suppose 5*i + 5*c - 95 = 0, 0*i + 5*c + 1 = i. Suppose b = 5*y - i. Is y a multiple of 3?
False
Let n = -9 - -21. Suppose 4*k + n = 4*b, k + 9 = 3*b + 3*k. Suppose b*y = 30 + 33. Is 7 a factor of y?
True
Suppose 4*q = q + 18. Suppose q = -g + 84. Suppose 0*c - 3*c + g = 0. Is 16 a factor of c?
False
Let t = 75 - 31. Does 7 divide t?
False
Suppose -4*a - a = g - 77, 5*g + 5*a = 405. Is 9 a factor of g?
False
Suppose 0 = -5*l - 2*o + 85, -2*l - 2*o = l - 51. Suppose q - 5 = 0, -4*s + 11*q - 6*q - 101 = 0. Let h = l - s. Does 12 divide h?
True
Is (6 + 4)*(-6)/(-4) a multiple of 15?
True
Let y = -6 + 10. Suppose 2*w - 46 = 2*u + u, 4*w - 84 = y*u. Is 6 a factor of w?
False
Let r(z) = -z**2 - 4*z - 1. Let u be r(-2). Suppose -u*o + 2*c = 5, 3*c - 23 = -3*o - 2*c. Is 2 a factor of 4 + 0*o/3?
True
Suppose 0 = 2*a + a - 318. Suppose c = -c + a. Is 18 a factor of c?
False
Suppose 9*i - 187 = 200. Is i a multiple of 4?
False
Suppose 10 = 3*q - 2. Suppose -q*f + 4*u = -64, -44 = -3*f + u + u. Is 6 a factor of f?
True
Suppose 0 = 3*t + 2*x - 17, 4*x = 2*t + 3*t - 65. Let z = t - 7. Suppose -j - 7 = -z*j. Does 2 divide j?
False
Suppose -5*v = 2*p - 532, 3*v + 4*p = -2*v + 524. Suppose o = t - 17, t + 4*o = -3*t + v. Is 10 a factor of t?
False
Let z(c) = c**2 - 6*c + 3. Is 22 a factor of z(9)?
False
Let z(d) = -30*d + 51. Let n(y) = 6*y - 10. Let f(w) = 21*n(w) + 4*z(w). Does 14 divide f(8)?
True
Let c(l) = l**2 - l - 1. Let q be c(2). Suppose q + 29 = 5*m. Is m a multiple of 3?
True
Let a be 6/10 + 384/10. Does 12 divide (-1)/((-3)/a - 0)?
False
Suppose -14*n + 2132 = -710. Is n a multiple of 29?
True
Suppose -t + 11 = 3. Let x = -5 + t. Suppose -f - 16 = -x*f. Is 3 a factor of f?
False
Suppose 8*d = 3*d + 730. Does 17 divide d?
False
Suppose 0 = 3*f - 9 - 3. Is f a multiple of 4?
True
Let w = -14 + 14. Suppose -8*f + 3*f + 135 = w. Is f a multiple of 9?
True
Let b be 4/(-26) + 205/65. Suppose -2*a + 10 = 2*m, -43 = -b*m - 2*a + 6*a. Is 9 a factor of m?
True
Is 28 a factor of ((-3220)/(-69))/(2/6)?
True
Let t(s) = -s**2 - 7*s - 6. Let k be t(-6). Let x(f) = -f + 18. Is 10 a factor of x(k)?
False
Let j be (-3)/5 + 15/25. Suppose j*c - 3*c = -39. Is 13 a factor of c?
True
Let i(j) = -j - 3. Let b be i(-5). Suppose -4*q + q + b*o + 70 = 0, 4*q - 92 = 4*o. Is 12 a factor of q?
True
Let n = 55 - -8. Is n a multiple of 16?
False
Let m(u) = -u**2 - 10*u - 8. Is 3 a factor of m(-6)?
False
Let i be (-2)/(-5)*(12 - -3). Suppose i*u - u = 25. Let a(j) = -j**3 + 7*j**2 - 2*j - 6. Is a(u) a multiple of 12?
False
Let c = 25 + 99. Does 31 divide c?
True
Let k(p) = p**3 + 3*p**2 - 4*p. Let g(a) = -a**3 - 3*a**2 - 2*a - 3. Let m be g(-2). Is 12 a factor of k(m)?
True
Let p = 4 - 6. Let c be 5*(216/(-10) + p). Is 16 a factor of c/(-6) + (-4)/(-12)?
False
Suppose 5 = 2*c - 11. Let m = c + -4. Suppose 2*h + m*p - 22 = h, -3*h = -5*p - 32. Is h a multiple of 14?
True
Let n(c) = -57*c**2 + 5*c - 4. Let z be n(3). Let f be 3*(z/(-6) - -1). Does 22 divide f/6 - 3/9?
False
Suppose -3*u + 120 = -3*t, 2*u - 4*t = 47 + 33. Suppose -2*z + 10 = 3*z. Suppose 3*w + z*w - u = 0. Is 7 a factor of w?
False
Suppose 2*q - b - 82 = 4*q, b + 124 = -3*q. Suppose -2*a - 26 = -4*x, -4*a + 29 = 5*x - 3*a. Is 8 a factor of x*7/(q/(-8))?
True
Let c(l) = 23*l**2 - 2*l + 4. Does 25 divide c(2)?
False
Suppose 4*w = -0*w + 360. Is 9 a factor of w?
True
Let j(t) = -9 + 4*t**2 - 3*t**2 - 3 + 3. Is 4 a factor of j(-6)?
False
Suppose 3*c - r + 98 = 0, -r - 9 = -4*c - 138. Let a = -84 - c. Let h = -16 - a. Does 22 divide h?
False
Suppose 2*u - 40 + 6 = 0. Does 3 divide u?
False
Suppose 206 = 5*n + 3*g, 79 = -4*n + 4*g + 231. Suppose m = 4, u + 2*u - 2*m - n = 0. Does 8 divide u?
True
Let a = -17 + -1. Does 23 divide a/((16/14)/(-4))?
False
Let m = 29 + -43. Let l be m*9*4/(-6). Let n = l - 43. Does 24 divide n?
False
Let x = 7 - 4. Suppose -8*g + 45 = -x*g. Is g a multiple of 3?
True
Is 15 a factor of (-1 - (-177)/(-12))/(18/(-48))?
False
Let c = 2 + 30. Is c a multiple of 32?
True
Let m be (48/(-42))/((-2)/7). Suppose m*x - 72 = 64. Does 16 divide x?
False
Let q = 269 - 127. Let y = -98 + q. Is y a multiple of 22?
True
Let h(a) = 3*a**2 + 6*a - 1. Let l(q) = 16*q**2 + 31*q - 5. Let w(b) = -11*h(b) + 2*l(b). Is 2 a factor of w(-3)?
True
Suppose 6*q - 44 = 4*q. Does 8 divide q?
False
Suppose -h + 127 = 5*i, h = i - 15 - 14. Is 13 a factor of (i/6)/(1/3)?
True
Suppose 0 = -y - 0*y + 104. Does 26 divide y?
True
Suppose -5*u = 4*l - 482, u + 5*l = 18 + 91. Does 35 divide u?
False
Let x(u) = -46*u**3 + u**2. Is x(-1) a multiple of 11?
False
Let a be 2 - -2*3/3. Suppose -2*x = -a*n - 17 - 11, 2*n - 6 = 0. Is 10 a factor of x?
True
Let h(o) = -o**3 - 16*o**2 - 18*o - 3. Is h(-15) a multiple of 13?
False
Let s = 287 + 205. Suppose 0 = 7*f - s - 103. Does 23 divide f?
False
Let k be -1 + 4/(-2) + 7. Suppose -213 = k*o - 7*o. Is 31 a factor of o?
False
Let f be 16/6 - (-2)/6. Suppose -2 = -f*w + 2*w. Suppose -9 = 3*r - 0*r, 6 = z + w*r. Is z a multiple of 6?
True
Let c(s) = -s + 27. Does 8 divide c(11)?
True
Let n(f) = -f**2 - 14*f - 11. Let g be n(-10). Suppose -21 - g = -5*r. Is 6 a factor of r?
False
Let s(a) = -a**2 - 4*a + 7. Let v be s(-5). Let c be v*2 + -3 + 1. Is 12/((-3)/c + 2) a multiple of 9?
False
Let f(q) = -q - 1. Let h be f(-4). Suppose 2*p = 7*p + 5*b - 165, 4*p - h*b - 153 = 0. Is p a multiple of 18?
True
Let w = -55 + 70. Does 5 divide w?
True
Suppose 0 = 7*t - 239 - 104. Is 7 a factor of t?
True
Let k be (-2)/(-8) - (-12)/16. Let u be (-2 - (0 + k))*-1. Suppose -u*l - 15 + 96 = 0. Does 11 divide l?
False
Let b(t) = t + 13. Does 3 divide b(-9)?
False
Let h = -2 - -5. Suppose -h*t - t = -80. Is t a multiple of 11?
False
Suppose -5 + 0 = b + 4*w, 0 = 3*w + 6. Suppose -b*z - 114 = -5*m, -2*z + 7*z - 106 = -4*m. Does 10 divide m?
False
Let j = -14 - -19. Suppose 0 = -5*r, 0 = -5*i - 0*i - j*r + 25. Is 2 a factor of i?
False
Let l = 9 - 13. Is 6 a factor of (-9)/12 - 67/l?
False
Suppose 4*u = -4*t - 8, 4*t + 4 = -u - 1. Is 13 a factor of (-2)/t + 24 - -3?
False
Suppose r = 5*c + 44, 0 = -r - 5*c + 4 + 10. Is r a multiple of 12?
False
Let r = -27 - -60. Does 11 divide r?
True
Let v = 370 - 263. Is 16 a factor of v?
False
Let i = 2 + 6. Is 10 a factor of 76/i + (-1)/(-2)?
True
Let q = 6 - 3. Let p = 11 + q. Is p a multiple of 5?
False
Suppose -3*l - 25 = 4*u + 11, -2*l - 2*u = 22. Does 9 divide 142/8 - l/32?
True
Let j(n) be the first derivative of 2*n**2 + 7. Does 24 divide j(6)?
True
Let r(q) = q**2 + 23*q + 4. Does 14 divide r(-24)?
True
Suppose -2*o = 3*u + 4, -3*u + u = 4. Is 13 a factor of (-5)/(o + (-42)/39)?
True
Suppose -a - 3*w = -26 - 0, -4*a = -2*w - 76. Does 2 divide a?
True
Is 13 a factor of (9 + -3)/(4/26)?
True
Let l be (-3)/(-1)*(-6)/(-9). Suppose -l*d - o = -75, -4*d + 144 = 3*o + o. Let m = -22 + d. Is 7 a factor of m?
False
Let y = -6 + 12. Suppose -2*j + y*j - 252 = 0. Is 29 a factor of j?
False
Let h(y) = y**2 + 34. Is 8 a factor of h(0)?
False
Let i = -60 + 64. Let r = -1 + 1. Suppose -5*h + i*y + 70 = r, -3*y = -3*h - 4*y + 42. Is h a multiple of 7?
True
Let k(b) be the third derivative of -31*b**4/24 + b**3/6 - 2*b**2. Let v be k(-1). Does 27 divide v + (0 - (-2 + 1))?
False
Let i be (7 - 3)/4 + 2. Suppose -i*y + 160 = 2*y. Is y a multiple of 17?
False
Let z(t) = -t - 4. Let x be z(-8). Suppose 3*i - 4 = -3*p + p, -24 = -2*i + x*p. Is i a multiple of 4?
True
Let y(d) = 6*d - 12. Is y(3) a multiple of 3?
True
Let t(x) = -x**2 - 7*x - 2. Let s be t(-6). Suppose 10 = -4*z - s*p + 38, -5*z - 3*p + 27 = 0. Is 3 a factor of z?
True
Let b(h) = 2*h - 2. Suppo