 Let c be v(s). Suppose 4*u + j - 245 = c, 0*u - 3*u + 3*j + 165 = 0. Is u a multiple of 16?
False
Suppose 0*b + b = 2*q - 1, -4*q = 4*b - 20. Suppose 4*k - g = -5*g + 252, 0 = -2*k - b*g + 125. Is k a multiple of 29?
False
Suppose -6*n - 6748 = -8*n + 5*j, 0 = 2*n + 4*j - 6748. Is 25 a factor of n?
False
Let b(o) be the third derivative of -5*o**4/24 - 2*o**3/3 - 4*o**2. Let j be b(-4). Let d = 29 + j. Is 13 a factor of d?
False
Let z = 20 + 25. Suppose 2*v = 4*v. Suppose v = -4*r + 2*g + 136, 2*r - z = -g + 23. Does 12 divide r?
False
Is 3838/22 - (-246)/451 a multiple of 17?
False
Suppose 0 = o + 3, -6*m + 10*m + 3*o = 43. Let u(r) = r**3 - 4*r**2 + 4*r + 5. Let v be u(4). Let h = v - m. Is h a multiple of 8?
True
Let u(z) = z**3 - 2*z**2 + 4*z - 9. Suppose -2*a + 9 - 1 = 0. Is 13 a factor of u(a)?
True
Let w(l) = -741*l - 434. Does 23 divide w(-4)?
True
Let g be ((-8)/6)/(4/(-6)). Suppose g*j + r + 11 = 0, -3*r - 4 - 1 = 2*j. Is (12 + -5)*(-30)/j a multiple of 15?
True
Let w(b) = -3*b**2 + 107*b - 97. Does 20 divide w(30)?
False
Let d be 6 + 1*-1*2/(-2). Suppose 4*u = d*u - 15, -4*f - u + 261 = 0. Is f a multiple of 11?
False
Let w be 3/2*2/1. Suppose l + 0 = n + 3, 0 = -4*n + 4. Suppose w*b = 4*d + 110, l*d - 140 = -5*b + 2*d. Does 15 divide b?
True
Let y(n) = -n**2 + 8*n + 14. Let h be y(8). Is (h/(-1))/(-14 - -13) a multiple of 2?
True
Let p(x) = -x**3 + 31*x**2 - x - 30*x**2 + 97 + 0*x. Is p(0) a multiple of 7?
False
Let z be 6/((-9)/(-2) + -3). Suppose -w = -z*h + 824, 94 + 133 = h + 5*w. Is h a multiple of 35?
False
Let l = 9 - 3. Suppose -l*h = -h. Suppose 45 = 3*m - h*m. Does 5 divide m?
True
Suppose 2*x + 2*h - 7 = -1, -x - 2 = 2*h. Is 10 a factor of (x*-1)/2 + 34?
True
Let n be 1/3*(-4 + 9 - -1). Does 26 divide (144/27 - 6)/(n/(-540))?
False
Let q be 28/(-1)*3/(-3). Let u = 179 - q. Let k = -88 + u. Is k a multiple of 23?
False
Suppose 5*h - 365 = -5*r, 3*h = 8*h - 3*r - 333. Is 3*-1 + h + -10 a multiple of 14?
True
Suppose -2*b = -q - 70 - 150, 330 = 3*b + 4*q. Let v be (4/5)/(4/b). Suppose -v*h + 27*h - 310 = 0. Is h a multiple of 31?
True
Is (-2 - -4)*612/18 a multiple of 27?
False
Suppose -m + 2*t = -3138, -4*t = -20 + 32. Is 58 a factor of m?
True
Let n(i) = i**3 + 2*i**2 - 6*i + 5. Suppose 9 = -0*a + 3*a. Let g(t) = t**3 + 3*t**2 - 6*t + 5. Let l(r) = a*n(r) - 4*g(r). Is 13 a factor of l(-8)?
False
Suppose -1009 + 15 = -14*n. Let c = 98 - n. Is 9 a factor of c?
True
Suppose -4*d + 244 = -2*m, 0*d + 2*d - 2*m = 126. Let t = 75 - d. Is t a multiple of 4?
True
Suppose 3*b = 5*o - 3*o - 22, 3*b - 3 = -3*o. Let u be 7884/60 - (-3)/o. Suppose q - u = -q. Is 11 a factor of q?
True
Let i(p) = -2*p**2 - 5*p + 3. Let a be i(-3). Suppose a = 4*z - z - 5*x - 37, -26 = -2*z + 2*x. Is 33 a factor of -56*z*(-3)/24?
False
Let k(b) = b**2 + 1. Let x = -6 + 1. Let h(l) = -23*l**2 - 3*l - 3. Let c(f) = x*k(f) - h(f). Does 6 divide c(1)?
False
Let v(d) = 14*d**2 + 4*d + 5. Suppose -t - 5*q = 3, -t - 3*q + 0 = 3. Is 25 a factor of v(t)?
False
Let o = -642 - -6184. Does 13 divide o/102 - 1*2/6?
False
Suppose -3*t = 3*a - 9474, 2*t + 5*a - 10*a - 6309 = 0. Is 41 a factor of t?
True
Suppose -3*n - 177 = -165. Is (-18735)/(-135) - n/18 a multiple of 10?
False
Suppose 0 = 5*g + 2*y - 608, 2*y - 344 = -3*g + 6*y. Suppose -4*b + 2*b = -g. Suppose 144 = 3*v - 3*j, 2*v - b = -5*j + 22. Is 23 a factor of v?
True
Let g(x) = -x**3 + 4*x**2 - 3. Suppose -4*u = -3*u - 2. Suppose u*o - o + 12 = 5*n, 0 = 3*o - 5*n + 6. Does 2 divide g(o)?
True
Let r be 14/2 - (0 + -2 + 0). Suppose 4*a = r*a - 690. Is 18 a factor of a?
False
Suppose -4*c + 35 - 3 = 0. Suppose 0 = -4*g - c*g + 660. Is 12 a factor of g?
False
Let c(r) = -6*r - 6. Let t be c(-8). Is 25 a factor of (120/t)/((-2)/(-35))?
True
Suppose 0 = -3*f - 2*h + 10, 3*f + h - 3*h = -10. Suppose -3*l + 224 + 16 = f. Does 16 divide l?
True
Is 37 a factor of 7 + (2/4)/((-8)/(-14096))?
True
Let s(h) = -h**3 + 4*h**2 + 3*h + 7. Let p be s(5). Let n = 2 - p. Is n a multiple of 5?
True
Does 9 divide (-60)/75 + 147/15?
True
Let t(m) = -3*m**2 - 105*m + 18. Is 78 a factor of t(-31)?
True
Let t(h) = h + 3. Let g be t(0). Suppose -5*b + 302 = -g*x, 5*b + 5*x - 384 = -114. Is b a multiple of 29?
True
Suppose 3274 = 4*t + 3*i, t - 812 = 2*i - 6*i. Does 5 divide t?
True
Suppose 0 = 8*r + 2 - 4514. Is r a multiple of 30?
False
Let z(v) = -2*v + 5*v - 4 + 7. Let r(p) = -p**3 - 7*p**2 - 7*p - 3. Let k be r(-6). Is z(k) a multiple of 4?
True
Let x = -573 - -815. Is 17 a factor of x?
False
Let q = 12 + -17. Let o = q - -10. Suppose o = -3*k + 59. Is k a multiple of 13?
False
Let q(y) = -y**3 + 11*y**2 - 11*y + 13. Let h = -6 - -16. Let x be q(h). Suppose -a + 32 = -x. Does 19 divide a?
False
Suppose -360 = 26*b - 27*b. Suppose -16*u + b = -12*u. Is 17 a factor of u?
False
Suppose 0*l + 5*l = 3025. Let g = l - 389. Is g a multiple of 18?
True
Suppose 3*p = 2*p - 3, 0 = -w - 5*p + 2784. Is 19 a factor of w?
False
Let j(m) = 18*m**3 + m**2 - 10*m + 4. Is 12 a factor of j(2)?
True
Suppose -28*j = -16632 + 4032. Does 7 divide j?
False
Let f(j) = 5*j**2 + 11*j + 39. Let t be f(-9). Let d = -195 + t. Does 13 divide d?
False
Suppose 0 = 7*z - 12*z + 10. Does 8 divide ((-1)/(-2))/(510/(-256) + z)?
True
Is 9 a factor of 78/468 + (-1679)/(-6) + 0?
False
Suppose -4*r - c = -1323, -2*c + 0*c = r - 336. Suppose -6*z + 0*z + r = 0. Is z a multiple of 7?
False
Is ((-549)/122)/(2/(-96)) a multiple of 18?
True
Suppose u - 3*p = 531, 3*u - 5*u = -4*p - 1060. Is 22 a factor of u?
True
Let o = -11 + 10. Let a(x) = -3*x**2 - 8*x - 5. Let h(w) = -w**2 + w - 1. Let r(m) = o*a(m) + 4*h(m). Does 6 divide r(11)?
True
Let i be (-2)/(-1) - -6*(-23)/(-1). Let c = i - 77. Does 31 divide c?
False
Let p(a) = 2*a**3 - 9*a**2 - 5*a. Let m be p(5). Suppose m = 4*k - 5*k + 316. Does 19 divide k?
False
Let k(c) = c**3 - c**2 + c + 1. Let q be k(0). Is 13 a factor of 1*(80 - q) - 1?
True
Suppose -4*i = 12, -3*p + 5*p = -2*i. Let x be 9 + -3 - (-4 - -5). Is 3 a factor of ((-2)/x)/(p/(-30))?
False
Suppose 0 = -2*n + 8 - 72. Let k = -3 - 10. Let a = k - n. Does 19 divide a?
True
Let v = 103 + -58. Let i = v - 31. Let p(d) = -d**3 + 13*d**2 + 15*d + 19. Is 11 a factor of p(i)?
True
Let f = 200 - 134. Is 23 a factor of f?
False
Let k(d) = d**3 - 4*d**2 + d + 5. Let h be k(3). Does 6 divide h/(-3) - 1120/(-42)?
False
Let d be (-1 + 0)*(12 + 2). Is (4/d - 0) + 8874/42 a multiple of 12?
False
Let q(l) = -3*l**3 - 2*l**2 + 1. Let v be q(-1). Let b be (0/(1 - v))/(-2). Suppose b = -2*n + 12 + 18. Does 15 divide n?
True
Let o be (-13 - -36) + (-1 - -5). Let b = 49 - o. Does 6 divide b?
False
Let p = 1092 - 888. Is 68 a factor of p?
True
Suppose 6*d - 42 = 318. Suppose 9*o = 4*o + d. Is o a multiple of 5?
False
Suppose -25*y = -1021 - 2279. Is y a multiple of 44?
True
Let c be 71/(-5) - (-1)/5. Let o be 2/c - (-3872)/56. Suppose 8*d = 5*d + o. Is 23 a factor of d?
True
Is 1/(-2) + 102465/46 a multiple of 26?
False
Let g = -42 + -47. Let b = g + 104. Is b a multiple of 3?
True
Does 6 divide 1496/16*4 - (0 + 0)?
False
Let s = -12 + 4. Let t be s/(-12) - 11/3. Let w(b) = -b**3 + b**2 - 3*b - 1. Is 11 a factor of w(t)?
True
Suppose 0 = 4790*z - 4804*z + 38192. Does 22 divide z?
True
Let j(s) = 3*s**2 + 1 + 3 - 2 + s. Is j(-2) a multiple of 6?
True
Suppose -3*l = -5*l. Suppose -d - 2*f + 0*f + 34 = l, 5*f - 175 = -5*d. Suppose -5*y + y = r - d, 4*y = 5*r - 84. Is 5 a factor of r?
True
Let i(z) = 9*z - 2. Let o be -1 - (-2)/((-8)/(-12)). Suppose o = 3*n - 13. Is 15 a factor of i(n)?
False
Let p be (3/(-4))/(2/(-72)). Suppose -6*t - 105 = p. Is 28 a factor of (-1067)/t - 2/(-4)?
False
Suppose 5*h = 4*h + 4. Let u = 24 - h. Suppose u = z - 0*z. Does 20 divide z?
True
Let y(z) = 1. Let t(l) = 21*l - 6. Let f(w) = t(w) + 3*y(w). Is f(3) a multiple of 15?
True
Suppose 46 - 244 = 6*b. Let q = b - -47. Is q a multiple of 2?
True
Suppose 223 + 8 = 11*l. Does 20 divide (-4)/(-3)*(l - -174)?
True
Suppose -58 = -4*k - 18. Let y be 6/k - 2570/(-50). Suppose -y - 56 = -4*w. Does 9 divide w?
True
Suppose 4*h = -5*n + 543, -n - 3*n = -4*h + 516. Suppose -2*i = -2*o - h, 6*o = -3*i + o + 238. Is i a multiple of 24?
False
Let y(t) be the second derivative of 7*t**6/720 + t**5/120 - 7*t**4/12 + 3*t