 15?
True
Suppose 0 = 4*a - 2*j - 14383 - 3021, 7*j = -4*a + 17386. Does 174 divide a?
True
Let h(l) = -l**3 + 69*l**2 + 181*l - 461. Is 15 a factor of h(68)?
False
Does 2 divide ((-84460)/615)/(2/(-18))?
True
Suppose 8*u - 276 - 156 = 0. Is 3 a factor of 81/u*136/3?
False
Suppose -19*t + 8*t = 110. Is 14700/(-280)*(1 - (-58)/t) a multiple of 42?
True
Suppose 5*f - 2*i = -1090, 9*f - 13*f - 860 = -4*i. Let o = f - -591. Is 24 a factor of o?
False
Is 82 a factor of (4 - 145/10)/((-27)/11808)?
True
Suppose -2*w + 311*l - 314*l = -42987, 4*w + 2*l - 85962 = 0. Is 33 a factor of w?
False
Let i = 159 - 458. Let b = i - -315. Is b a multiple of 2?
True
Let i(l) = 3*l**2 - 3*l + 2. Let n be i(0). Suppose 3*z - 3*k + 918 = 0, 5*k - 999 = 3*z - 77. Is 5 a factor of ((-1)/2)/(1/(z/n))?
False
Let o(r) = -r**2 - 41*r**3 + 9*r**3 + 4 + 3*r + 2*r**3. Is o(-2) a multiple of 8?
False
Suppose -5*i + 1853 = -3*x, -33*i + 2*x = -30*i - 1112. Let q = i - -451. Is 56 a factor of q?
False
Let n(r) = 21*r**2 + 58*r - 33. Is n(-20) a multiple of 9?
False
Let f(x) = -16*x - 22. Let n(w) = 1. Let z(i) = f(i) + 3*n(i). Let o be z(-8). Suppose a = o - 7. Does 17 divide a?
True
Let p(s) be the third derivative of -s**4/4 - 2*s**3 + 27*s**2. Let r be p(-2). Suppose r = 15*k - 7*k - 392. Does 18 divide k?
False
Suppose 5*t - 28926 = -i, -35*t - 28862 = -i - 32*t. Is i a multiple of 202?
True
Suppose 3*j = -2*a - 4, a - 3 = -3*j - j. Suppose 0 = -3*m - 4*t - 71, j*m - 5*t + 80 = -m. Is (-30)/m*225/6 a multiple of 45?
True
Suppose -9 = -5*x - 19. Let p be (0 - x)*17/34. Let q(r) = 42*r**2. Is q(p) a multiple of 21?
True
Suppose 17 = 4*p - j + 1, -4*p - 8 = 5*j. Suppose 2*t + 4*b = -24, -6*t = -t - p*b + 86. Is ((-24)/t)/(6/400) a multiple of 20?
True
Suppose -4*a + 2163 = 3*a. Suppose 2*q - a = -h + 39, q + h = 173. Does 9 divide q?
False
Suppose 0 = -69*v + 52*v - 17. Is 19 a factor of (v - -742)/((42/14)/3)?
True
Suppose -116*n + 21 = -115*n. Suppose 4575 = 4*o + n*o. Does 28 divide o?
False
Suppose -2*f - 1 = -f. Let a be f - -2*39/6. Suppose -6*u = -2*u - a. Is u even?
False
Does 16 divide 6 - (-14 + 16) - -9356?
True
Suppose 17350*d - 17356*d + 20253 + 18939 = 0. Does 46 divide d?
True
Let n be 1364/20 - 5/25. Suppose -n*d + 62*d = 0. Suppose f + 2*k + 5 = d, 3*k + 6 = -f - 4. Is f even?
False
Let y = 5709 - 5068. Is y a multiple of 2?
False
Is 16 a factor of 4 + (-77)/14 - (-7 + 745911/(-18))?
False
Let s be (0 + -1)/((1 + -3)/1076). Suppose 2*a + 3*x - s = x, 0 = -4*a + 2*x + 1052. Let y = -177 + a. Does 44 divide y?
True
Let x = 9491 + -6281. Is x a multiple of 20?
False
Let l(a) = -a + 19. Suppose -8*y = -184 - 24. Suppose 3*c - r = y, c - r + 30 = 6*c. Is 6 a factor of l(c)?
True
Let u = 60 - 57. Let n(c) = 53*c - 2. Let w(a) = -106*a + 4. Let j(d) = u*w(d) + 5*n(d). Does 11 divide j(-1)?
True
Suppose -y = -2*r + 102, -5*y - 3*r = 99 + 398. Let u be (12/(-30))/(-2 + 1798/900). Let o = u + y. Does 8 divide o?
True
Let s = 21 + -13. Let v be (4/(-2))/(s/(-2956)). Suppose 1121 = 12*y - v. Is 31 a factor of y?
True
Let p be 6 - 225/10*4. Let m be 195*4/(-20)*-3. Let t = p + m. Does 4 divide t?
False
Suppose 0 = u - 4*s - 4000, -116*u + 3*s = -118*u + 8033. Does 12 divide u?
False
Let h be (-4 - -7)*74 - 2. Suppose 370 = -8*v + 3*v + u, -3*v + u = h. Is (v/6)/(2/(-8)) a multiple of 8?
False
Let i = -75 - -179. Let y be (-18 - -13) + i*5. Let v = -335 + y. Is v a multiple of 30?
True
Let i be (260/60 + (-4)/1)*0. Suppose -2*f - q + 181 = i, -3*q = -2*f - 2*q + 183. Does 13 divide f?
True
Suppose 3*n - 1391 = -0*n + 4*w, -2*w + 447 = n. Is 17 a factor of n - (1 + -6 - -3)?
True
Suppose 0 = -l + u + 422, -l - 832 = -3*l - u. Suppose 3*v - 2*h - 1199 = l, 0 = v + 3*h - 528. Is 12 a factor of v?
False
Let q = 42 + -24. Let d(a) = 6 + 6*a**2 + 5*a + q*a - 15*a. Does 29 divide d(-5)?
True
Let i = -4231 + 4430. Does 8 divide i?
False
Let i = 319 - -1493. Let g = -1004 + i. Suppose 19*h - g = 11*h. Does 11 divide h?
False
Let c = 2839 + -1717. Suppose -c*b + 1129*b - 8316 = 0. Does 9 divide b?
True
Suppose 5*j - 3*p - 485 = -2*p, 0 = -2*j - p + 201. Is (j/8)/(-1 + 9/8) a multiple of 7?
True
Let b(o) be the second derivative of o**5/120 + 7*o**4/6 - 8*o**3/3 - 11*o. Let t(p) be the second derivative of b(p). Is t(-4) a multiple of 8?
True
Let o = 2504 + -3705. Let s = 2051 + o. Is 34 a factor of s?
True
Suppose -131*q + 132*q - 4107 = 0. Does 111 divide q?
True
Suppose 4557 = 22*f + 27*f. Is f even?
False
Is 275 a factor of (-132)/(-12) + 15376 - -13?
True
Let b = 8115 - 3695. Is 5 a factor of b?
True
Let q(n) = -n**2 + 19*n + 31. Let w = -118 - -135. Let s be q(w). Let o = s + -14. Is 25 a factor of o?
False
Let f(a) = a**2 - 23*a + 20. Let n be f(22). Let r(h) = -5*h**3 + 5*h**2 + 14*h + 3. Is r(n) a multiple of 6?
False
Let h = -2190 + 2339. Is h a multiple of 2?
False
Let d = -5269 + 5419. Is d a multiple of 109?
False
Let t = 353 - 304. Suppose 52*j - 188 = -b + t*j, 4*b = -4*j + 728. Is b a multiple of 16?
False
Let d be (-301 - (1 - -1))/(-1). Suppose 3*i - f = 15, -4*f - 9 + 1 = i. Suppose 0 = i*j - d + 35. Does 11 divide j?
False
Suppose -s = 3*k - 134, -k = -2*k + s + 46. Suppose 0 = -k*c + 57*c - 6840. Is 15 a factor of c?
True
Suppose 3*a - 9 - 2 = 2*u, -5*a = -5*u - 25. Let m be 6 - a/1*2. Suppose 5*g = -0*g - j + 834, 3*j = m*g - 671. Is g a multiple of 22?
False
Let n be (-2)/(-6) - ((-56)/12)/(-14). Suppose -i + n = -134. Is i a multiple of 7?
False
Let k(f) = 6 + 2*f + 16 - 2 + f. Let v be k(-5). Does 30 divide 4 + (-30)/v + 113?
False
Is 13 a factor of (1 - 94)*((-42968)/264 + (-5)/(-55))?
False
Let v be (1/(-5) + 14/70)/(-3). Suppose g - 2245 = -4*g - y, -4*y - 20 = v. Is g a multiple of 25?
True
Let g(k) = 3*k**2 + 3*k + 9. Let j be g(-9). Suppose -4*p = -5*a - 157, 4*p - 2*a + 59 - j = 0. Is 2 a factor of p?
False
Let z(r) = -11*r**3 - 3*r**2 - 119*r - 750. Does 31 divide z(-6)?
True
Suppose -2*d = 2*f - 15023 - 28173, -5*f + 2*d + 108004 = 0. Does 40 divide f?
True
Suppose 4*o + 4*d - 13080 = 0, 5*o + 2*d + 2886 = 19254. Does 6 divide o?
True
Suppose 2*z + y = 4, -z - 2*y + 1 = -1. Let k(n) = -36*n**3 + 16*n**3 - 2*n**z + 26 + 19*n**3. Is k(0) a multiple of 3?
False
Suppose -n - 179 = -5*x - 0*n, 0 = 5*x + 5*n - 185. Suppose 36 = 8*h - x. Suppose -h*b + 299 = 11. Does 32 divide b?
True
Suppose 21*v - 58 = 26. Suppose 0 = r, 25 = 3*q - 2*r + 7. Does 10 divide 59 - (q - 5) - v?
False
Is (-1696)/(-4) - (-4)/(-12)*24 a multiple of 5?
False
Let c(q) = 13*q + 3. Let w(a) = -4*a + 54. Let u be w(13). Let y be c(u). Suppose 3*m = y + 160. Is m a multiple of 43?
False
Suppose 9*a + 0*a = 4266. Let f = a + -336. Let b = -127 + f. Does 8 divide b?
False
Let n = 14962 + 727. Is 121 a factor of n?
False
Let y(v) = 15*v**2 - 22*v - 1. Suppose 1 = -0*x - x + 3*l, 0 = -5*x - 4*l + 33. Is y(x) a multiple of 5?
False
Suppose 4*j = 7*j + 1848. Let b = j + 322. Let x = b + 450. Does 26 divide x?
True
Let h(b) = -b**3 - 14*b**2 - 46*b + 4. Let j = 695 + -704. Is 13 a factor of h(j)?
True
Suppose -178*s = -350997 - 1330391. Is s a multiple of 22?
False
Let v(p) = p**3 + 5*p**2 - p - 1. Let m be -5 + -3 - (2 + -5). Let s be v(m). Suppose -4*a = 0, 41 - 231 = -5*n - s*a. Is 18 a factor of n?
False
Let t = 249 - 70. Let w = t - 139. Is w a multiple of 5?
True
Let y(w) = 79*w - 42 - 60*w - 9. Does 24 divide y(9)?
True
Let d = 890 - 1249. Let m = d - -500. Is 29 a factor of m?
False
Does 9 divide (0 - -3859) + (0 - -2 - -2)?
False
Let q(f) = 21*f**2 + 9*f + 2. Let u be q(3). Suppose p = 598 + u. Suppose -9*j - 3*j + p = 0. Is 34 a factor of j?
True
Suppose 3*o - 2*i - 167 - 1482 = 0, -5*o + 7*i = -2719. Is 9 a factor of o?
False
Let u(i) = -i + 5. Let b be u(4). Let r be b/3*3*4. Suppose 5*d = r*s - 0*s - 163, -s + 34 = d. Does 4 divide s?
False
Suppose 17*g - 4312 = -5*g. Let v = g - 76. Is v a multiple of 13?
False
Suppose -26*v + 21901 = -23534 - 143247. Does 177 divide v?
True
Suppose -i - 14 = v + 1, -3*v - 51 = i. Does 7 divide 297 + (-27)/v*16/(-6)?
False
Suppose 6*a = 2*a + 1860. Let y = a + 338. Does 23 divide y?
False
Let n(f) = f**3 - 7*f**2 + 14*f + 6. Let k be n(6). Let w = -52 + k. Suppose w*x - 281 = r, -3*r - 8 = 7. Is 23 a factor of x?
True
Suppose 0 = 11*p - 9*p,