13?
True
Let c = 509 + -91. Suppose 1255 = 4*u + 5*h - c, -2*h - 850 = -2*u. Is u a multiple of 65?
False
Let g = -84 + 358. Let j = g + -92. Is j a multiple of 3?
False
Suppose 52887 = 3*z - 3*x, -5*z = -4*x + 15887 - 104039. Does 99 divide z?
False
Is ((-4)/((-16)/(-214)))/((-40)/2400) a multiple of 30?
True
Suppose -4*j + j + 153 = -3*v, -v = -5*j + 243. Let x be (0 + (-4)/5)/(j/120). Is 7 a factor of 77 + (2 - x - 1) + 1?
False
Let b be 9/2*-2*1176/(-8). Let j = -676 + b. Is j a multiple of 10?
False
Let u(h) = 2*h**3 + 12*h**2 + 15*h - 4. Let s(x) = x**3 + 11*x**2 + 14*x - 3. Let c(t) = 3*s(t) - 2*u(t). Let o be c(10). Let z = 68 - o. Is z a multiple of 17?
False
Let l(t) = 12*t - 153. Let i be l(20). Let f = 571 - i. Does 11 divide f?
True
Suppose 50*t = 72*t - 21824. Suppose 514 = f + 5*p, 3*f - f - t = -p. Does 13 divide f?
True
Let b(r) = -3*r + 10. Let n be b(4). Let u be n/8 - 2226/56. Let g = -38 - u. Is g even?
True
Let r = 38 + -36. Let q(l) = 53*l**3 - l**2 + 2*l + 4. Let h be q(r). Suppose -226 - h = -6*x. Is 14 a factor of x?
False
Let v(l) = -4*l - 4*l**2 - 3 - 2*l - 5*l**2 - l. Let h be v(-4). Let q = -61 - h. Is 7 a factor of q?
False
Suppose 6*l = -l + 14. Let x be (187/68)/(2/32*l). Let i = x - -102. Does 31 divide i?
True
Suppose -18 = -2*d - 3*r, -4*d + 3*r = r - 20. Suppose -2*s - 1757 = -5*j, -3*j + d*j - 1057 = 4*s. Does 9 divide j?
True
Suppose -5*u + 89894 = 44*p - 41*p, 4*u - 71936 = -5*p. Does 43 divide u?
True
Let z = 426 - -82. Let m = -432 + z. Is m a multiple of 34?
False
Let i be 4/(-3)*(61*-6 + 0). Suppose 2*r + 86 = -3*l + i, -4*l + 5*r + 513 = 0. Suppose -15*h - l = -17*h. Does 11 divide h?
True
Let x = -61813 + 89516. Is 161 a factor of x?
False
Suppose -21 = -3*y - 18. Let p(d) = 42*d - 1. Does 21 divide p(y)?
False
Suppose 9 = -8*b + 7*b. Let l(x) = -2*x**3 - 10*x**2 - 8*x - 5. Let j be l(b). Suppose 2*t = -c + 206, -4*c + 102 = t - j. Is c a multiple of 34?
True
Let t = -499 + 502. Suppose -10 = -5*x - 5, 637 = t*y - 5*x. Does 44 divide y?
False
Suppose 5793 + 36321 = b - 2*r, 0 = 2*r - 6. Is b a multiple of 351?
True
Suppose -x = -p + 6 + 1, 2*x - 7 = -5*p. Let d be (-1)/((-746)/(-3016) - (-1)/x). Suppose -2 = 5*n - d. Does 26 divide n?
False
Suppose 2*h + 204 = -190. Let p = 203 - h. Does 50 divide p?
True
Let s = 51 + -42. Let q be ((-2)/3)/((-4 + s)/(-300)). Suppose 8*i - q = 48. Is 4 a factor of i?
False
Let h(q) = -q**2 - 14*q + 10. Let w be h(-15). Let l(u) = u**3 + 8*u**2 + 10*u + 5. Is 10 a factor of l(w)?
True
Let z(q) = 74*q**2 - 60*q - 333. Is z(-9) a multiple of 13?
True
Let f = 13 - 13. Suppose 4*y - 11 - 9 = f. Suppose 2*v = 6*v - 3*k - 406, y*k = -5*v + 490. Is 20 a factor of v?
True
Let x = 38 + -36. Suppose -4*b + 2*u + x = -20, -2*u - 12 = -2*b. Suppose b*n - 432 = n. Does 8 divide n?
False
Suppose -12 = -5*x + 8, 0 = -3*y - 2*x - 325. Is 27 a factor of y/(-2) + ((-90)/12)/15?
False
Let q = -62 + 71. Suppose -q*o = o - 410. Let s = o - -14. Does 10 divide s?
False
Let r = 194 - 166. Is ((-60)/(-7))/(2/r) a multiple of 30?
True
Let k(z) = -z**2 - 14*z - 16. Let u be k(-5). Let a = 255 + u. Is 23 a factor of a?
False
Suppose 47*b + 3643 = 5*m + 49*b, 0 = -2*m + 4*b + 1462. Is m a multiple of 30?
False
Suppose 5*t + 0*t = -3427 + 18457. Is 9 a factor of t?
True
Let p = -15 - -24. Suppose 3*b - 2*b - p = 0. Let t(s) = 2*s + 10. Does 9 divide t(b)?
False
Suppose 3*c - 4*g = 37331, -50*c + 53*c - 37317 = -3*g. Does 13 divide c?
True
Let c = -1235 + 5005. Does 10 divide c?
True
Let f(t) = 3*t - 3. Let v be f(2). Suppose -k = -v*k + 18. Suppose c - 125 = -q + 6*c, -3*c = -k. Is 12 a factor of q?
False
Suppose c - 8 = -c. Let d(f) = 3*f**3 - 21*f**2 - 4*f + 6. Let h(l) = 3*l**3 - 18*l**2 - 3*l + 5. Let r(o) = -4*d(o) + 5*h(o). Is 35 a factor of r(c)?
False
Let j = -7 - -6. Let g be (-4 - j) + 3 + 28. Suppose o + 16 - g = 0. Is o a multiple of 6?
True
Let x = -10524 + 11497. Does 27 divide x?
False
Let j = 467 - 465. Suppose -j*g + 1425 = 3*b, -3*g + 2382 = 5*b - 2*g. Is 39 a factor of b?
False
Suppose -32*i + 1197 = -13*i. Is 3 a factor of i?
True
Let v(p) = p**3 - 14*p**2 - 15. Let u = 22 - 8. Let o be v(u). Is 11 a factor of 64 - o/5 - -4?
False
Suppose -3*m = m - 124. Let l = 27 - m. Is 10 a factor of (50/l - -2)*-4?
False
Let z be ((-4)/14)/((-16)/112). Let n = 47 - 33. Suppose -z*t + 32 = -n. Is 5 a factor of t?
False
Suppose -185*n + 378*n + 215*n = 10248960. Is n a multiple of 17?
False
Let u(v) = -v**3 - 5*v**2 - 17*v. Let g(a) = -7*a + 24. Let c be g(3). Let h be -1*11 - c/(-6)*6. Is 18 a factor of u(h)?
False
Suppose -35*d + 3462 = -6408. Is d a multiple of 141?
True
Let v be (1 - -3) + (-3 - -2). Suppose z + v*b = 7*b + 10, -z - 4*b = 22. Does 18 divide 567/z*(-4)/3?
True
Suppose 125 = 2*v + 3*v + 4*f, 4 = -v + 5*f. Let u(d) be the first derivative of d**3/3 - 21*d**2/2 + 14*d + 7. Is u(v) a multiple of 7?
True
Let t be (105/(-28))/((-3)/4). Does 26 divide 13113/63 - (-2)/(-14) - t?
False
Let u(i) = -i**3 - 33*i**2 - 2*i - 56. Let r be u(-33). Suppose -h + 3*n + r + 19 = 0, 2*n = 4*h - 166. Is h a multiple of 22?
True
Let l be ((-70)/(-5) - 27)*4. Let p(m) = 4*m**2 + 8*m. Let t be p(-7). Let x = t + l. Is x a multiple of 22?
True
Let s = 11 - 8. Let i(k) = 6*k - 7*k - 4 + 5 + 2*k. Is 3 a factor of i(s)?
False
Suppose 0 = -160*m + 165*m - 15. Suppose 2*y = -m*y + 1585. Does 15 divide y?
False
Suppose -32*w = -35*w + 3, -3*q - 4*w + 5092 = 0. Is 212 a factor of q?
True
Suppose -6 = 5*r - 31. Suppose -2*j + r*l + 39 = 0, 143 = 7*j - 3*j + 3*l. Suppose 68 = 36*s - j*s. Does 17 divide s?
True
Let f be (-111 + -2)*(-2)/2. Suppose 3*q + f - 401 = 0. Is 4 a factor of (2/8)/(6/q)?
True
Suppose 2*v + 10 = 0, -4*v - 6681 = -5*k + 10469. Is k a multiple of 6?
True
Let a(s) = -122*s + 222. Suppose 0 = -2*v + 12*y - 17*y + 10, 15 = v + 5*y. Is 8 a factor of a(v)?
True
Suppose d + 29*d = 0. Does 7 divide -17*(-21 - d/4)?
True
Suppose 0 = 62*z - 84*z + 198. Let n be (-7)/(-2) - (-2)/(-4). Does 14 divide (490/15)/(n/z)?
True
Let j be (0 - 165)*(-18)/27. Let w = j - -106. Is w a multiple of 18?
True
Is 10662/14 + (22/55)/(98/105) a multiple of 6?
True
Suppose 751 = -7*i - 1559. Is 16 a factor of (i/45 + (-2)/3)*-22?
True
Let a = -41918 - -65216. Does 22 divide a?
True
Let m = -92 - -91. Let c be (8/m)/(-2) + -2. Suppose -78 = -2*d + 4*l, -168 = -10*d + 6*d + c*l. Is d a multiple of 43?
True
Suppose 3*s = -2*y - 235, 401 - 170 = -2*y + s. Let v = -93 - 107. Let b = y - v. Does 31 divide b?
False
Suppose 23*m - 743748 - 739269 = 0. Does 72 divide m?
False
Suppose -6*d - 24 = 2*d. Let p(q) = -143*q + 37. Does 26 divide p(d)?
False
Let k = -26 + 29. Let o = 3 + k. Is ((-51)/o)/(1/(-6)) a multiple of 12?
False
Let t(b) = -202*b - 7*b - 263*b - 16 - 24. Does 12 divide t(-1)?
True
Let q(l) = -3*l - 23. Let t = -50 + 43. Let f be q(t). Let v(i) = -6*i**3 + i**2 + 4*i. Does 11 divide v(f)?
True
Let f = 3438 + 486. Is f a multiple of 36?
True
Let u(s) = 3*s**3 - 19*s**2 + 10*s. Let j(b) = -5*b**3 + 38*b**2 - 21*b. Let y(w) = -4*j(w) - 7*u(w). Let m be y(-20). Let l = -99 + m. Is l a multiple of 13?
False
Let c(i) = -166*i - 1322. Is c(-12) a multiple of 10?
True
Suppose 5*i - 4*h = 858, 5 = -5*h + 20. Let x = 354 - i. Does 12 divide x?
True
Let a(r) = -2*r - 4. Let p = -34 + 35. Let u be p - (-1 + 0)*-8. Is a(u) a multiple of 10?
True
Let f = 135 + -132. Suppose -5*w = f*x - 1449, -6*w = -2*w - 2*x - 1168. Is w a multiple of 37?
False
Let p = 174 + -164. Suppose -p*j + 5*j + 235 = 0. Is j even?
False
Let c be 44/(-143)*(-26)/4. Suppose c*m + 0*m - 2698 = 0. Is 19 a factor of m?
True
Suppose 10*k - 114 = 4*k. Let u be -15*(k + -5)*2/4. Let b = u + 261. Is b a multiple of 12?
True
Suppose 20*g = 19*g - 5*j + 15715, -62892 = -4*g - 4*j. Does 17 divide g?
True
Suppose 6*j - 27341 = -8873. Is j a multiple of 26?
False
Suppose -4*q = -2*r + 5408, -4*q - 2449 = -r + 251. Let t be (-650)/20*(0 - 4/5). Is -4*(-3)/(-78) + r/t a multiple of 26?
True
Let v(s) be the first derivative of 11*s**5/10 - s**3/3 + 2*s**2 + 4*s - 9. Let m(j) be the first derivative of v(j). Does 38 divide m(2)?
False
Suppose 2*y + r = 3, 2 - 11 = -2*y + r. Suppose 0 = 4*t - p - 549, -p + y = -0. Does 6 divide t?
True
Let d = 4093 + -278. I