 = 6 + -2. Let h = a - t. Is h a multiple of 19?
False
Suppose 5*f + v + 0 + 49 = 0, 5*v + 47 = -3*f. Let y = -19 - f. Let d = 17 + y. Is d a multiple of 3?
False
Suppose -5*o + 12 = -13. Suppose -o*q + 10*q - 95 = 0. Suppose q = 3*n - 32. Is 5 a factor of n?
False
Is (49 + -42)*1621/7 a multiple of 13?
False
Let z = 26 + -27. Let f(a) = -a + 1. Let u be f(z). Suppose n - 15 = -u*v, 7 = 2*n + v - 8. Is n a multiple of 4?
False
Suppose 4 = -4*j + 2*j. Is 8 a factor of ((-124)/8)/(j/4)?
False
Is (-3 - -4) + 1150 + (5 - 1) a multiple of 35?
True
Suppose 0 = -12*n + 49*n - 16576. Is 32 a factor of n?
True
Is 11 a factor of 21692/99 + 1/(-9)?
False
Let k be (1/(-2))/(-3 + (-706)/(-236)). Let c = k - 16. Does 22 divide c?
False
Suppose 13*d + 968 = 21*d. Is 30 a factor of d?
False
Suppose -4*q + 440 + 328 = 0. Is 12 a factor of q?
True
Suppose 950 = -44*b + 16658. Does 6 divide b?
False
Let k(p) = -p + 12. Let m be k(8). Let r be m/(-14) - (-58)/7. Suppose -39 = -5*g + i, -51 = 3*g - r*g + 4*i. Is 7 a factor of g?
True
Let x = -5069 + 8317. Is x a multiple of 16?
True
Suppose 40*g - 516 = 34*g. Is 26 a factor of g?
False
Does 5 divide 2681/5 - (4 - 168/60)?
True
Suppose -22*u = -21*u + 165. Let j = 282 + u. Is 9 a factor of j?
True
Is (-9 - 0) + 206 + 3 a multiple of 4?
True
Let a(u) = 6*u. Let g be a(2). Is g - (0 - (2 - 2)) a multiple of 4?
True
Let d = 531 - 252. Suppose -11*w + 2259 = d. Is w a multiple of 20?
True
Let h be 28/10*1675/10. Let q = -252 + h. Is 26 a factor of q?
False
Let z = -15 + 19. Let i(r) = -2*r**3 - 4*r**2 - r + 2. Let y be i(-2). Suppose -3*q = -3*s + 66, -y*s + 92 = 2*q - z*q. Is 8 a factor of s?
True
Suppose -2*g - 439 + 515 = 0. Is g a multiple of 11?
False
Let u = -72 + 103. Is 3 a factor of u?
False
Let m(x) = -19*x - 74. Is 29 a factor of m(-10)?
True
Does 62 divide 3/18 - (-1277)/6?
False
Suppose 0 = -q + 3*s + 285, -8*q + s = -9*q + 285. Is q a multiple of 23?
False
Let i(a) = -a**3 + 13*a**2 - 7*a + 21. Does 19 divide i(7)?
True
Let s = -67 - -67. Suppose -11*g + 15*g - 1200 = s. Is 30 a factor of g?
True
Suppose -3*q = -q. Suppose q*z - 4*z = -140. Is z a multiple of 7?
True
Let b = 69 - -72. Let t = -78 + b. Let d = t - 39. Is d a multiple of 12?
True
Suppose 0 = h + 5*r - 0 + 7, -4*r = 16. Suppose h*d = 14*d - 110. Is d a multiple of 10?
True
Let g be 0/2 + (-480)/(-2). Suppose 3*m + m - g = 0. Is m a multiple of 15?
True
Let s = -636 - -1148. Does 19 divide s?
False
Let w = -32 + 18. Let d = w + 43. Is 15 a factor of d?
False
Let f be -4 + (-10)/(-2) - -27. Let t be (20/f)/((-1)/(-7)). Is (-5)/(t/2) + 147 a multiple of 42?
False
Let d(q) be the third derivative of q**6/120 - 7*q**5/60 + 5*q**4/24 - 7*q**3/6 - 4*q**2. Let i be d(5). Let w = 13 - i. Does 16 divide w?
False
Let z(n) = 2 - 1 - 9 - 37*n - 4. Let q be z(-6). Suppose -54 = -6*p + q. Is p a multiple of 12?
False
Let k(m) = -9*m**3 - 10*m**2 - 18*m - 8. Is k(-8) a multiple of 24?
True
Suppose 4*t - 756 = -5*y + 2*t, 0 = 2*y + 4*t - 296. Does 8 divide y?
True
Let a(k) = 0 + 14*k**2 + k**2 - 3 + 1. Let u be a(3). Let w = u + -89. Does 9 divide w?
False
Suppose 6*j - 8*j = -38. Let l = -3 + j. Suppose -68 = -2*d - l. Is d a multiple of 5?
False
Suppose -41*j + 376 = -37*j. Let w be ((-52)/(-5))/(3/(-15)). Let c = w + j. Does 14 divide c?
True
Let z(g) = 20*g - 4. Let x be z(11). Let d = -132 + x. Does 36 divide d?
False
Suppose -21*b = -18*b + 18. Let i(u) = -2*u**3 - 7*u**2 - 2*u - 2. Is i(b) a multiple of 17?
False
Suppose 4*v - 9*v = 0. Suppose -3*r + 6 = 2*y - v*r, 0 = 3*y - 4*r - 9. Suppose -7*n = -y*n - 236. Is n a multiple of 12?
False
Let u(c) = 183*c - 110. Is u(4) a multiple of 12?
False
Let z = 412 - 240. Let g = z + -54. Is 24 a factor of g?
False
Suppose -2*y - 84 = 3*r, 0 = 3*r - 3*y + 4*y + 81. Let d = r - -33. Is d even?
False
Let w = 3134 - 1211. Is 29 a factor of w?
False
Let w(u) = 2*u**2 + 36*u + 144. Does 7 divide w(-20)?
True
Suppose s + 1063 = 3208. Is 44 a factor of s?
False
Let b(y) = 2*y**2 + 34*y. Is 22 a factor of b(10)?
False
Let f = -1015 - -1256. Is 9 a factor of f?
False
Let c = 0 + 25. Suppose 0 = 2*l - c - 1. Is 13 a factor of l?
True
Suppose 7*x = 11*x - 32. Suppose 1 = 3*i - x. Is 4 a factor of i - 2*(-26)/4?
True
Suppose q - 281 = -r + 592, 4*q + 2*r = 3486. Is q a multiple of 87?
True
Let o(j) = -j**3 - 7*j**2 - 7*j - 4. Let b be o(-6). Suppose -q + b = -38. Is 17 a factor of q?
False
Suppose 4*q + 4*p - p = -23, 5*q - 4*p = -52. Let d = -8 - q. Suppose 3*b = i + i - 25, 4*i + 3*b - 59 = d. Is i a multiple of 7?
True
Let n = 125 + 159. Suppose -2*q + n = 2*q. Is 10 a factor of q?
False
Suppose -2*x - 3 = -2*a + 1, 2*a = -3*x + 4. Suppose -267 = -4*d + 5*b - 42, a*b = -10. Does 11 divide d?
False
Suppose -2 = -5*o - 2. Suppose o = -n - 4*n + 385. Is 23 a factor of n?
False
Suppose -2*p + 0*c + 3*c = -652, 5*p + 3*c = 1630. Does 17 divide p?
False
Let s(m) = 1. Let o(q) = 15*q + 3. Let r(n) = o(n) + 3*s(n). Let c(b) = -7*b - 3. Let u(z) = -9*c(z) - 4*r(z). Is u(3) a multiple of 6?
True
Does 34 divide (-1854)/(-6) - (0 + 5)?
False
Suppose -8 = -5*t + t. Suppose -2*j - 6 = -2*p, 5*p - 2*p - 13 = j. Suppose -j*o + 0*o + 16 = t*q, 4*q - 8 = 4*o. Is o a multiple of 3?
True
Is 17 a factor of (-16)/(-24)*1353 + -2?
False
Suppose 181 = -2*j + 845. Suppose 0*o + 2*n = 2*o - j, n - 332 = -2*o. Is 21 a factor of o?
False
Let d(s) be the first derivative of 4*s**2 - 5*s + 4. Let c be d(4). Does 8 divide (c + -7)*(-4)/(-10)?
True
Is 24 a factor of ((-756)/10)/((-4)/20)?
False
Is 5 a factor of (22/(-5) - 0)*20/(-8)?
False
Let y(a) = a**3 + 15*a**2 + 4*a + 3. Let d(t) = -t**2 - 4*t + 7. Let v be d(-7). Is 12 a factor of y(v)?
False
Suppose 0 = -46*x - 103175 + 323929. Does 14 divide x?
False
Let i(z) = -10*z + 54. Is i(-18) a multiple of 18?
True
Let b(p) = 153*p**2 - 9*p - 2. Is 55 a factor of b(-2)?
False
Suppose -3*v = 22*j - 27*j + 6273, 5*j + 3*v - 6267 = 0. Is j a multiple of 25?
False
Suppose 11 + 10 = -3*p. Let q(a) = -a - 7. Let z be q(p). Does 19 divide 35 + z/((-2)/1)?
False
Is 23 a factor of (190/(-4))/(27/(-1242))?
True
Let g = 4005 - 2795. Is g a multiple of 11?
True
Let y be ((-4)/(3 + -1))/(-1). Suppose -3*u - y*t - 15 - 68 = 0, -4*u = 4*t + 104. Let i = -20 - u. Is 7 a factor of i?
False
Let m be (-16)/(-24) + (-4)/6. Let v be 2/6*m/(-3). Suppose q + 3*q - 48 = v. Does 12 divide q?
True
Suppose 0 = -551*i + 560*i - 5400. Does 30 divide i?
True
Let w(q) = 4*q**2 + 4*q**2 + 6*q**3 - 8*q - 7*q**3. Is w(4) a multiple of 3?
False
Let r(u) = u**3 + 7*u**2 + u + 10. Let j be r(-7). Suppose -76 = -2*v - j*h + 15, 0 = -4*h - 20. Is 23 a factor of v?
False
Suppose -6*t - 10*t = -6048. Suppose -14 - t = -8*x. Is 7 a factor of x?
True
Let b(f) = -8 + f - 6 + 5*f. Let t be b(12). Suppose 92 = 3*s - 3*l - t, -4*s = -l - 200. Is 10 a factor of s?
True
Let v be ((-133)/3)/((-2)/6). Let q = 437 + -434. Suppose 29 = 2*u - q*r, -5*u - 3 = 4*r - v. Is 11 a factor of u?
True
Let q be 2 - (-5)/((-5)/(-2)). Suppose -q*m - 12 = 0, 0 = u - 5*m - 126 + 21. Is 15 a factor of u?
True
Suppose 0 = -2*n + 4*v + 94, 10 = n - 3*v - 33. Suppose 3*k = 4*k - n. Is k a multiple of 18?
False
Let u(z) = 30*z + 5. Suppose 3*v = 5*b - 42, 5*b + v = -2*v + 48. Is u(b) a multiple of 49?
False
Suppose 2*r - 210 = 4*y + 446, -3*r + 987 = -3*y. Does 55 divide r?
True
Let k = -740 + 496. Let y = 472 + k. Is y a multiple of 19?
True
Suppose -6*a - 3*a = -9. Is 2 a factor of (a + 16/(-6))/((-15)/45)?
False
Let g = -58 + 63. Suppose g*z = 3*z + 286. Is z a multiple of 13?
True
Is 8 a factor of 9/((-36)/(-1288)) + 9?
False
Suppose 3*y - 4*f = -11, -7 + 34 = 4*y + 3*f. Suppose -4*o + y*t + 104 = 0, -o + 12 = 2*t - 14. Does 3 divide o?
False
Suppose 4*g = 2*n + 50, 3*n - 3*g + 17 = -43. Let k(r) = 3*r**2 + 39*r + 59. Let h(x) = -x**2 - 13*x - 20. Let m(y) = -7*h(y) - 2*k(y). Does 13 divide m(n)?
True
Let b = 601 - 403. Is b a multiple of 20?
False
Let x(l) = 1 - l**3 + 0 + 1 + l**2 + l - 3*l**2. Let m be x(-2). Suppose m = 4*d + 3*v - 45, 5*v = 6*v - 3. Is 3 a factor of d?
True
Let s be -1 - -4 - 5 - 22. Let o = 69 + s. Suppose -16 = y - o. Is y a multiple of 13?
False
Let j = 274 - 114. Is j a multiple of 16?
True
Suppose 5*t = 4*h + 3*t - 110, 3*t = 2*h - 49. Sup