b - -315. Is i a multiple of 28?
False
Suppose -j + 1 = -2*j. Let h be ((-24)/(-20))/(j/15). Is h/4*(184/(-12))/1 a multiple of 23?
True
Let n(s) = 2134*s - 437. Is 8 a factor of n(3)?
False
Let a be ((2835/10)/(-27))/(6/(-904)). Let f = a - 1117. Is 23 a factor of f?
False
Let u be 1 - -1 - (3 + 9 + -10). Suppose 2*j + g = 3*g + 148, u = -2*g + 6. Does 10 divide j?
False
Let v be ((-3024)/(-120))/(1/15). Suppose -17*u + 2282 = v. Is u a multiple of 5?
False
Suppose 0 = 2*m - 4*m + 4, 5*m = 2*s + 4. Let l(r) = 9 - 23 - r**3 + 0*r**s - 17*r + 20*r**2. Does 12 divide l(19)?
True
Let h be 14*-11*(-4)/(-8). Let t = h - -205. Does 8 divide t?
True
Let y = 13 - 20. Let h be 204/(-1) + 4 + (y - -5). Is 32 a factor of -3*h/3 - -5?
False
Let m = 125 - 101. Is 3 a factor of (-47)/2*-6*m/36?
False
Let s be 2/(-2) + (-10)/(-2). Let p = 288 - 284. Is (2 + 538)/p + s a multiple of 10?
False
Let x = -1014 + 598. Let z = -402 - x. Is 6 a factor of z?
False
Let i = 5189 + 11198. Does 21 divide i?
False
Suppose 22*s - 277471 = -54*s + 96525. Is 48 a factor of s?
False
Is 40 a factor of 17004/(-234)*270/(-4)?
False
Suppose 0 = 18*o - 13*o + 540. Is 13 a factor of o*(56/(-20) + 4/(-20))?
False
Let s(n) = n**3 + 11*n**2 - n - 3. Let q be s(-6). Let o = -129 + q. Let g = o - 1. Is 24 a factor of g?
False
Let q = 16 + -105. Let j = 76 + q. Let f = 115 - j. Does 12 divide f?
False
Let i(d) be the third derivative of d**6/120 + 11*d**5/30 - 7*d**4/24 - 5*d**3/6 - 26*d**2. Let x be i(-22). Let b = 101 + x. Is 10 a factor of b?
True
Let u be ((-1965)/(-9))/((-1)/3). Let h = -497 - u. Is 3 a factor of h?
False
Does 21 divide (1820/156)/((-35)/(-41139))?
True
Let g be 1146*((-140)/24 - -6). Let j = g - -111. Is j a multiple of 32?
False
Suppose 0 = -18*x + 9929 + 21049. Suppose 0 = -h - j + 534 + 319, 2*h = j + x. Is h a multiple of 26?
True
Let n = 7636 - -11515. Is 26 a factor of n?
False
Suppose -4*g - 4*h + 84 = 0, -3*h - 15 = -g - 7*h. Let x be ((-825)/(-2))/(-3) + g/(-46). Is 23 a factor of (-3 - (-26)/6)/((-2)/x)?
True
Suppose 0 = 9*y - 90 - 513. Let t = 187 - y. Does 15 divide t?
True
Let i(a) = -a + 59. Let d be i(34). Suppose d*k = 4*l + 30*k - 490, -4*k + 248 = 2*l. Is 30 a factor of l?
True
Let s(g) = g**2 - 43*g - 74. Let u be s(0). Is 3 a factor of 148/u + 127*1?
False
Suppose g = -2*j + 3738 + 7068, -2*j + 10822 = -3*g. Is j a multiple of 47?
True
Suppose 2*t - 283 = -31. Suppose t = 4*i + 10*i. Suppose -5*l - k + 71 = 0, 5*l + i - 92 = 2*k. Is l a multiple of 3?
True
Let y = -652 + 661. Is 17 a factor of (-16)/36 - (-4288)/y?
True
Does 39 divide (-2)/(-22) + (0 + (-3)/(-22))*416958?
False
Let r(t) = t**2 - 10*t + 24. Let h be r(7). Suppose 4*c = -5*k + 905, -2*c - h*k = k - 454. Suppose -g - d - 74 = -185, 2*g - c = -d. Is g a multiple of 8?
False
Let u = -3905 + 21411. Is u a multiple of 4?
False
Suppose -22*w + 6 = -21*w. Suppose w*g + 12 = 8*g. Suppose g*a - 253 = 47. Is a a multiple of 5?
True
Let d(k) = -10*k + 33. Let v be d(3). Is 19 a factor of (-216)/(-60)*(116/v + -2)?
False
Suppose 0 = 4*a - 7*f - 31169, -31142 = -7*a + 3*a - 2*f. Does 13 divide a?
True
Let p(t) = 2*t**2 - 10*t + 22. Let v be 2/(-2)*(-5 - (-4 + 15)). Is p(v) a multiple of 17?
True
Let c(i) = -i**2 - 57*i - 34. Let x be (189/(-35))/(6/30). Is c(x) a multiple of 37?
False
Is 3 a factor of (-529 + -5 + 6)*210/(-63)?
False
Let u(q) = 8*q**2 - 14*q - 55. Suppose 5*a + 12 = -38. Is 59 a factor of u(a)?
True
Suppose 3*a - 2*b + 7*b - 7162 = 0, -2406 = -a + 3*b. Does 5 divide a?
False
Suppose -5*f = 2*h - 3205, -9*h + 10*h + 5*f - 1595 = 0. Does 15 divide h?
False
Let i = -17 + 13. Let s be (-1 + 30/i)/(4/(-8)). Let j(f) = -f**3 + 18*f**2 - 17*f + 8. Is 6 a factor of j(s)?
False
Suppose -13860 = 26*f - 89650. Is f a multiple of 53?
True
Let n = -16043 - -84433. Is n a multiple of 10?
True
Let n(u) = -7*u - 20. Suppose 8 = -3*h - 3*x + 8*x, h = 2*x - 2. Let p be -16 - -11 - (-2)/4*h. Does 36 divide n(p)?
True
Suppose 4*y = 2*x + 60 - 16, -3*x = -5*y + 63. Let g(c) = -c**3 - 17*c**2 - 20*c + 2. Is 3 a factor of g(x)?
True
Let x = 3273 - 2131. Does 13 divide x?
False
Suppose -54*f + 58*f - 4*x = 28808, 0 = -3*f + 5*x + 21604. Is 9 a factor of f?
False
Let w = -1509 - -4144. Is w a multiple of 31?
True
Suppose -12*h = -275309 - 211603. Is 128 a factor of h?
True
Let q(h) = -44*h**3 - 2*h**2 - 32*h + 76. Is q(-6) a multiple of 20?
True
Let u(v) = -3108*v**3 - 2*v**2 - 73*v - 139. Is 67 a factor of u(-2)?
False
Suppose -20*v + 408 = -5*v + 2*v. Does 8 divide v?
True
Let x(o) = 2*o**3 + o**2 - 2. Let b(q) = -13*q**3 - 11*q**2 + 12*q + 7. Let w(j) = b(j) + 5*x(j). Is 11 a factor of w(-7)?
False
Suppose 6*n - n = -70. Let c = 43 + n. Suppose s = 5*o - 84, -5*s - 1 = 3*o - c. Does 2 divide o?
True
Let r(z) = z**3 - 10*z**2 + 17*z + 14. Let p(x) = x + 27. Let s be p(15). Let l = 50 - s. Is r(l) a multiple of 11?
True
Suppose 3*q + 16 = 2*b, 2*b + 14 = -2*q - 0*b. Let u(g) = -g**3 - 7*g**2 + 9*g + 7. Let t be u(q). Let p = -6 - t. Does 11 divide p?
True
Suppose -3*b + 12204 = -4*v, 16461 = 4*b - v + 189. Does 113 divide b?
True
Suppose -3*n + 406 = 5*n - 26714. Is n a multiple of 92?
False
Suppose 0 = 4*y - 5*s - 663 - 3245, 0 = -5*y + 3*s + 4872. Is 36 a factor of y?
True
Let i(b) = -2*b**2 - 21*b - 39. Let h be i(-12). Let l = h + 286. Is 31 a factor of l?
False
Let z(i) = -42*i + 2. Let u be z(-4). Let p = -99 + u. Suppose 1523 = 12*n + p. Does 11 divide n?
True
Let f be (-75)/20 + (-24)/(-32). Is 2 a factor of f/6*(-18)/(-9) - -9?
True
Suppose -4*h - w - 47 = 2*w, 2*h + 17 = 5*w. Let d(p) = -24*p - 77. Is d(h) a multiple of 11?
True
Let c = -10385 + 12716. Does 63 divide c?
True
Let v(k) = -2*k + 2. Let i be v(-2). Let l(q) = -13*q + 920. Let f be l(71). Is 0 + (-3)/f + (i - -2) a multiple of 3?
True
Let a = -56 - -56. Suppose -2*n + 3*n + 29 = 2*k, a = n + 4*k + 47. Let l = 9 - n. Is l a multiple of 22?
True
Let m(z) be the second derivative of z**4/6 - 4*z**3 - 9*z**2 + 11*z. Let f be m(-9). Suppose 0 = 10*l - l - f. Is 20 a factor of l?
True
Suppose 408 = c - 4*p, 887 = 2*c + 3*p + 93. Suppose -4*z + 3*x - 193 = -595, -4*z + c = -4*x. Suppose 0 = -0*s + 2*s - z. Is 17 a factor of s?
True
Let o = 277 + -210. Suppose 68*f = o*f + 140. Does 33 divide f?
False
Suppose 39*i - 1815 = 36*i. Let h(o) = o**3 + 5*o**2 - 8*o - 9. Let p be h(-6). Suppose 5*j + a + 2*a = i, -2*a + 364 = p*j. Is j a multiple of 27?
False
Let l = 90 - 85. Suppose 0*a - 5*q = -2*a + l, 0 = 3*a - 4*q - 25. Let s = a + 27. Is s a multiple of 3?
True
Let b = -50356 + 81097. Is 23 a factor of b?
False
Let x = -137 + 139. Is 14 a factor of 1347 + 8 + -13 + x?
True
Suppose -6*m - 1818 = 1008. Let b = -57 - m. Does 9 divide b?
True
Let b = 32285 - 17630. Is 5 a factor of b?
True
Suppose -x = -3*y - 2*x + 32, -y + 5*x = -32. Is y*-9*9/(-1) a multiple of 77?
False
Let f = 27 + -31. Is -6 + (-2955)/20*f a multiple of 26?
False
Suppose -5*z + 30 = 0, -1903 = -3*s - 3*z + 746. Does 13 divide s?
False
Let v(f) = -9*f - 7. Let r be v(-3). Let j = -43 + r. Let s = 104 + j. Is 9 a factor of s?
True
Let k(m) = -m**2 + 9*m - 17. Let h be k(5). Let w(b) = -b + 7. Let t be w(h). Is 11 a factor of 44*t/((-16)/(-6))?
True
Suppose b + 4*b - 1 = 3*x, -4*x + 7 = -5*b. Suppose 4*a - x*a - 32 = -2*p, -4*p = 5*a - 116. Let g = p - 3. Does 13 divide g?
False
Let i(m) = -m**2 + m + 5. Let d(l) = -l**3 - 5*l**2 + 8*l + 14. Let s be d(-6). Let q be i(s). Suppose -q*n - 5*c = -32, -4*c = 5 + 3. Is 14 a factor of n?
True
Suppose -5*l = 16 + 9, 3*m - 2*l = -8765. Let b be -2 + (m/(-1))/5. Let u = b + -391. Is 32 a factor of u?
True
Let x = 5144 - -1410. Is x a multiple of 58?
True
Let m(l) = 751*l - 2254. Is 15 a factor of m(25)?
False
Suppose 3*s - 5466 = -q, -5*s + 7905 = -3*q - 1177. Does 7 divide s?
True
Let t(d) = d**3 - 17*d**2 - 15*d - 24. Let b = -26 + 44. Let j be t(b). Suppose 366 + j = 4*y. Does 13 divide y?
False
Suppose -3*d = -15*d - 192. Is (-192)/(-5) + d/40 a multiple of 14?
False
Let d be 1*-8*(-47 + 49). Is (d/(-40))/(1/30) even?
True
Suppose -9*x - 6*x = -30. Suppose -3*j = 5*k - 24, 2*j - 49 = -x*j - k. Suppose 0 = 15*t - j*t - 352. Does 20 divide t?
False
Suppose -6 - 9 = -3*u - 3*i, -7 = -3*u + 5*i. Suppose 2*a - 63 = -4*z - 19, 3