*s**2 + 3. Let u be f(-11). Is u/15 - 16627/(-65) a multiple of 32?
True
Let s = 248 + -240. Is 4*(-2 + 28/s*16) a multiple of 18?
True
Let w be (-58)/(-20) + 2/20. Suppose -w*v + v = 0. Suppose 7*x - 3*x - 340 = v. Is x a multiple of 9?
False
Does 25 divide -21 - -17 - -935 - (1*-4)/1?
False
Let f be (1114/(-6))/((-11)/99). Suppose -2*t - 215 = -f. Is t a multiple of 61?
False
Suppose 0 = w + 4*y - 160, 12*y + 240 = -7*w + 9*w. Does 5 divide w?
False
Let x(n) = 157*n**2 + 2*n - 152*n**2 - 4 - n + 3. Is 3 a factor of x(-5)?
False
Let h = 74 + -72. Suppose -16 = -10*o + h*o. Suppose -o*b + 67 = 3*s + 3*b, -s + 20 = 4*b. Is s a multiple of 4?
True
Let t(a) = a**3 - 14*a**2 + 4*a - 2. Let q be t(14). Let p be 12/q + 16/9. Is (-12 + -62)*(-1)/p a multiple of 13?
False
Let o = -61 + 65. Suppose b + 144 = a - 103, 20 = -o*b. Is a a multiple of 11?
True
Suppose 0 = -v + 4*s + 674, 4*v + 4*s + 1998 = 7*v. Let n = v - 404. Is 43 a factor of n?
True
Let p(w) be the first derivative of 22*w**3/3 + w**2/2 + 3*w - 1. Let v = -7479 + 7476. Is 34 a factor of p(v)?
False
Let s(z) = 2809*z - 259. Is 25 a factor of s(1)?
True
Suppose -17*q + 121980 = 2*q. Suppose 119*m = 109*m + q. Does 36 divide m?
False
Let z(h) = -2911*h + 930. Is 186 a factor of z(-3)?
False
Suppose -13 + 7 = 3*y. Let h be (4/y)/4 - (-2037)/14. Let j = -47 + h. Is j a multiple of 14?
True
Let c = 27 - 19. Suppose -3*l + c = l. Suppose l*z - 258 + 2 = 0. Does 16 divide z?
True
Let t(j) be the second derivative of 1/12*j**4 - 3/2*j**3 - 5*j + 0 + 7*j**2. Is t(9) a multiple of 3?
False
Suppose -28*j = -44*j + 36864. Is 32 a factor of j?
True
Let t(q) = -q**2 - 7*q - 7. Let m be t(-5). Let j(g) = 6*g**2 + 5*g + 6. Let w be j(-2). Suppose w = -m*r + 293. Is 22 a factor of r?
False
Is 29 a factor of (5934/92)/((-3)/(-116))?
True
Suppose 0 = 9*w - 2*w. Suppose -4*u + 16 = w, 3*q - 5*q + 4*u = 28. Is (5 + q)/(2/(-194)) a multiple of 34?
False
Let i = -539 - -779. Suppose 0 = 5*f + 5*g - i, -2*f + 0*g + 3*g + 106 = 0. Let l = f - 38. Does 6 divide l?
True
Suppose -2*d = -3*r, 3*r = 2*r - 4*d + 14. Let m be ((-1964)/(-8))/(1/r). Suppose -5*q + 4*f + 460 = 0, 4*f - m + 31 = -5*q. Is 34 a factor of q?
False
Suppose 0 = -3*z - 2*f + 328, -3*f + 395 + 41 = 4*z. Let u = -101 + z. Suppose -4*g + 4*i + u = -53, -3*i = g - 16. Does 3 divide g?
False
Let u(m) = 811*m + 759. Is u(3) a multiple of 42?
True
Suppose 2*n + 3*t - 2005 = 0, 2*t = 4*n - 3362 - 640. Suppose 4*b - n = -p, p + 244 = -0*b + b. Does 14 divide b?
False
Suppose 842 = 17*u + 9172. Let l = u + 834. Does 43 divide l?
True
Let v(p) = -9*p - 44. Let q be v(-5). Suppose -2*o - q = -5. Is 178 - (4/2 + o) a multiple of 23?
False
Let z(u) = -7*u + 114. Let s be z(14). Let l(j) = j**3 - 16*j**2 + 8*j + 22. Is 20 a factor of l(s)?
False
Suppose 0*w + 4*w + 3*m - 12 = 0, -4*m = 3*w - 16. Let l(i) = -i**3 + i**2 + i - 2. Let z be l(w). Is 3 a factor of ((-72)/(-10))/(((-4)/10)/z)?
True
Suppose 0 = -5*s + 24*s + 626658. Does 8 divide s/(-54) + 8/36?
False
Let s be -189 - -5 - 3*(-3)/3. Let g = s - -290. Is g a multiple of 8?
False
Let u be -4 + -87*(-1 - 0). Let x = 85 - u. Suppose 11 = q - 4*c - 57, -2 = x*c. Is q a multiple of 26?
False
Suppose 5*m = 1274 - 39. Let o = m + -120. Let b = 31 + o. Does 39 divide b?
False
Let z = -13 + 442. Suppose 3*a - z = -105. Does 3 divide a?
True
Suppose 12*z - 64897 - 4949 = -2*z. Does 27 divide z?
False
Let f(d) = 207*d - 3441. Is 80 a factor of f(63)?
True
Let a = 22670 - 10276. Is a a multiple of 18?
False
Suppose 0 = -c - 8 + 152. Let f be 13760/56*1 + (-10)/(-35). Let b = f - c. Is 34 a factor of b?
True
Suppose 9*o + 4*o = 0. Suppose 4*z + 3*b - 7*b - 408 = o, 2*b + 301 = 3*z. Suppose -k + z - 41 = 0. Does 15 divide k?
False
Let j(n) = n**3 - 59*n**2 + 2*n + 19184. Does 29 divide j(0)?
False
Let o = 1570 + -1117. Suppose -7*r + 282 = -o. Let x = 38 + r. Does 13 divide x?
True
Let p(k) = -k + 14. Let z be p(14). Suppose z = -2*m + 4*m - 612. Suppose 6*y + m = 9*y. Is y a multiple of 11?
False
Let v(f) = -3*f + 8. Let o be (-112)/(-84)*6/4. Let j be v(o). Is 1*17 + j/(-4)*4 even?
False
Let u be (1 - 0)/((-1)/3) + 3. Suppose -3*t = u, -t - 28 = -4*a - 3*t. Suppose -a*g + 96 = -g. Is 8 a factor of g?
True
Suppose 26*v + 32 = 27*v. Let o = v + -30. Suppose 2*h - 95 = -5*l, o*l - 94 = -2*l + 2*h. Is l a multiple of 7?
True
Let k(h) = -54*h + 4. Let d(b) = 3*b - 17. Let a be d(8). Suppose -g - 32 = a*g. Is 10 a factor of k(g)?
True
Let t = -14091 + 16003. Is 8 a factor of t?
True
Suppose 0 = 11*o - 95661 - 74168. Is o a multiple of 18?
False
Let y(m) = m**3 + 87*m**2 - 2086*m + 82. Is y(-105) a multiple of 164?
False
Suppose 3 = 12*z - 11*z. Suppose -5*c = -0*c - z*w - 168, 2*c - 4*w = 56. Is c a multiple of 4?
True
Suppose 2 + 18 = 4*b. Suppose -2*w - 7 = b*p - 30, -3*p = 2*w - 17. Suppose -5*r + 186 = -p*r. Does 22 divide r?
False
Suppose -5*l + 2*m = -19598, 0 = 5*l - 27*m + 28*m - 19601. Is l a multiple of 80?
True
Let t(s) = 225*s**2 - 38*s + 14. Is t(2) a multiple of 5?
False
Let i = -139 - -153. Suppose 0 = -i*s + 1380 + 594. Does 3 divide s?
True
Suppose 45*x + 2937 = w + 44*x, 0 = 5*x. Is 11 a factor of w?
True
Let w be -3 + -1 + (404 - 3). Suppose -5*d = -4*h - 1869, 28*d - 27*d - w = -5*h. Is d a multiple of 19?
False
Let x be (-5*(-2 + 1) + -2)*-2. Let z be 3/(8/x*(-7)/28). Does 22 divide (0 - 0)*(-3)/z - -65?
False
Suppose 4*z - 2*u - 36524 - 50246 = 0, 0 = -4*z + 5*u + 86779. Is z a multiple of 12?
False
Let m(i) = -i**3 - 3*i**2 + 5*i + 7. Let c be m(-4). Suppose -4*h + 200 = -y, -c*h - 4*y = 2*h - 250. Suppose r - 3 = h. Is 24 a factor of r?
False
Suppose 2*s - 2*u = -0*u + 1144, s = -4*u + 562. Suppose -s = -6*m + 4*m + 4*y, -5*m - 4*y = -1481. Is m a multiple of 8?
False
Suppose 3*w + 146 = 5*l - 6589, -2*l + 2694 = -w. Suppose l = 6*d - 3171. Is 15 a factor of d?
False
Let a(p) = -p**3 + 27*p**2 - 41*p + 21. Let h be a(25). Let w = h - 210. Is w a multiple of 5?
False
Suppose 3*w + 4*m - 2609 = 0, w = 5*m + 39 + 837. Suppose -3*x + 2*p + 309 = -556, -3*x + 5*p + w = 0. Is x a multiple of 41?
True
Let t = 333 + -333. Let y(s) = 16*s + 336. Is 7 a factor of y(t)?
True
Let v(b) = -23 + 68*b - 12 - 6 + 55*b + 8. Is 32 a factor of v(4)?
False
Let z be 95/(-380) + -9*(-1)/4. Does 49 divide 294/z*(-100)/(-30)?
True
Let b(a) = 2*a**3 + 9*a**2 - a - 9. Is 21 a factor of b(6)?
False
Suppose 5*i = 3*v - 32, -3*v - 2*v + i + 68 = 0. Let n = v - 14. Suppose n = -8*k - 28 + 156. Is 8 a factor of k?
True
Let f(w) = 20*w**2 - 43*w + 363. Does 169 divide f(21)?
False
Suppose -374262 = -34*o + 10*o - 25*o. Does 134 divide o?
True
Let t = -47 - -49. Suppose -t*b = -12 - 8. Let x = b + 18. Does 5 divide x?
False
Suppose -3*a + d = 91, 3*a + 104 = 3*d + 17. Let w = a + -41. Let i = 208 + w. Does 17 divide i?
True
Suppose 0*w + 17*w - 196197 = 0. Is w a multiple of 14?
False
Let r = 424 - 486. Let p = r + 99. Does 37 divide p?
True
Let n be (-2 - -288) + (-60)/12. Suppose -286*f + n*f = -930. Does 31 divide f?
True
Let q = -54 + 36. Let h be 12/10*(-240)/q. Suppose -m + h + 28 = 0. Is 11 a factor of m?
True
Let z(q) = 12*q**2 + q - 13 + 6*q**3 - 5*q**3 - q - 3*q. Let p be z(-12). Suppose -3*l = -p - 25. Is l a multiple of 8?
True
Let n = 5990 + 1025. Does 69 divide n?
False
Let x(j) = 9*j + 62. Let v be x(-34). Let i = 520 + v. Is i a multiple of 18?
False
Suppose -6*w + 2*w + 4*k = 0, 3*k = -3*w + 6. Suppose 17 = 3*x - w. Suppose 2*j + 144 = 2*t, -x*j - 153 = -2*t - j. Is 5 a factor of t?
False
Suppose 4*l - c = -3 + 25, 4*c + 13 = l. Suppose 0 = u - 3*t - 81, -u + 341 = 3*u + l*t. Is u a multiple of 28?
True
Let k = -37395 - -58238. Is k a multiple of 19?
True
Let m(r) = -20*r + 30. Let l be m(12). Let g = -19 + l. Let o = -61 - g. Is o a multiple of 24?
True
Let h be (-12)/(-13) - 8/(-104). Does 17 divide ((-48)/(-12))/(h/229)?
False
Suppose -3*d + 42102 = 3*q, 5*q = -29*d + 33*d + 70143. Is q a multiple of 11?
False
Let v = 24 + -24. Suppose 45*b - 38*b - 35 = v. Suppose -11*w = -b*w - 900. Does 25 divide w?
True
Let x be ((-112)/5)/(5/(-50)). Let p be x/48 + (-1)/(-3). Suppose 3*o + 120 = p*o. Is o a multiple of 10?
True
Suppose -279444 = -36*g - 96*g. Is 4 a factor of g?
False
Let n be 95/20 + (-2)/(-8). Supp