 = -14052 + 25364. Does 16 divide u?
True
Let i(b) = -4*b + 9. Let v(m) = 1. Let f(o) = -i(o) + 4*v(o). Let t be f(2). Suppose -t*s + 105 + 57 = -4*c, 2*s - 5*c = 115. Is s a multiple of 10?
True
Suppose 12*v - 10*v + 18 = 0. Let p(w) = -75*w - 129. Is p(v) a multiple of 21?
True
Suppose -3*g + 4 = -11. Suppose g*p - 52 = 3*p. Let y = p - -18. Is y a multiple of 7?
False
Let l be -2*(31 - 29)/(4/(-73)). Suppose -l = -4*r - 5*k + 6, -k + 35 = 2*r. Does 16 divide r?
True
Suppose 36*c = -121 + 301. Suppose 5*y - 28 + 2638 = 0. Is 17 a factor of 2/c*(-4 - y/3)?
True
Suppose 5535 = -72*d + 146871. Is 2 a factor of d?
False
Let h = -894 - -1266. Suppose -h = -12*r - 72. Does 2 divide r?
False
Suppose -3*n + 2218 = -0*n + 2*m, -4*n - 4*m = -2956. Suppose q + z - n = 0, -2*q - 7*z = -11*z - 1468. Is q a multiple of 82?
True
Let c = 291 - 28. Suppose 4*t = -0*t + 3*a + 1090, 0 = -t - 4*a + c. Suppose 2*z + 4*k - t = -111, 5*z - k = 345. Is 7 a factor of z?
True
Suppose 0 = -2*b + 2*f + 116, 150 = 3*b + 3*f - 48. Suppose -5*g - 2*y = -b, -3*y + 30 = 4*g - 14. Does 21 divide g/63 - (-565)/9?
True
Let w = -36730 + 56944. Is 5 a factor of w?
False
Suppose 5*g - o = 28408, 0 = -4*g + 117*o - 114*o + 22733. Is g a multiple of 68?
False
Is 7 a factor of (10/4)/(10 + (-1552180)/155232)?
True
Let t = -7 - -15. Suppose t*j - 11 = 93. Is j a multiple of 2?
False
Let d = 17 + -14. Suppose -3*c + 2*f - 3*f - 7 = 0, d*c + 2*f = -8. Is c/4*-9*8 a multiple of 9?
True
Is 13 a factor of 7 - (2 + 9392/((-24)/3))?
False
Suppose 17*r = 21*r - 36. Let m = -190 - -478. Suppose y - r*y + m = 0. Is 3 a factor of y?
True
Suppose 86359 = 72*m + m. Is 102 a factor of m?
False
Let a(u) = u**2 + 7*u - 25. Let s be a(-10). Suppose s*l - 985 + 213 = x, 456 = 3*l - 3*x. Is 17 a factor of l?
False
Suppose -3 = -2*o - x, 2*o + 3 = 4*x - 7*x. Let u(t) = 10*t**2 - t - 4. Is 83 a factor of u(o)?
True
Suppose 76616 = -9391*k + 9399*k. Does 61 divide k?
True
Let i = -282 - -294. Suppose 78 = u + 4*x, -2*u - 3*x + 124 = -i. Is 2 a factor of u?
True
Is 76*292/48*30 a multiple of 14?
False
Let s(o) = -o**3 + 30*o**2 + 106*o - 354. Does 15 divide s(27)?
True
Is 19 a factor of (-109254)/(-10) + ((-90)/(-405))/(5/(-9))?
True
Let n be (1 + 4)/5*0. Suppose -4*t + 6*t - 208 = n. Let k = t - 50. Does 4 divide k?
False
Suppose 0 = -4*q + 269 - 49. Does 40 divide (-22)/q*(-1150)/5?
False
Let v be (588/105)/((-4)/(-50)). Suppose -v*r - 448 = -72*r. Is r a multiple of 16?
True
Suppose 0 = -3*g + 9, 3*a - 61 = g + 194. Is a + 6/(15/(-5)) a multiple of 13?
False
Let o(s) be the third derivative of -s**5/60 - 53*s**4/24 + 65*s**3/2 + 238*s**2. Does 10 divide o(-27)?
False
Let a = 302 + 2163. Is a a multiple of 37?
False
Suppose 0*a - 5*a = -2*t - 14, 3*t - 29 = -5*a. Does 20 divide 841/t + (-11)/33?
True
Let m(w) = 23*w**2 + 153*w + 1004. Does 127 divide m(-6)?
False
Suppose 0 = 5*z - 155 - 180. Suppose -66*k - 301 = -z*k. Is 37 a factor of k?
False
Let x = -1136 - -2042. Let l = x - 511. Is l a multiple of 19?
False
Let t be (-2*7909)/((-15)/(-3) + -7). Is 69 a factor of (t/55 - -3)/(2/5)?
False
Let f(j) = 4*j + 4. Let w be f(1). Suppose -w*s + 25 + 23 = 0. Suppose -s*l + l - 62 = -3*c, 2*c - 36 = -2*l. Is 6 a factor of c?
False
Let i(s) = 19*s**3 - 2*s**2 - 161*s + 461. Does 3 divide i(3)?
False
Suppose 135*z - 291018 = -111*z. Is 14 a factor of z?
False
Let l = 66383 - 46916. Is 103 a factor of l?
True
Let j be (-10)/(-2) + -4 - 4. Does 24 divide (1251/21 + j)/(6/28)?
True
Let u be (-1 - 0)*(369 + -6). Let m = -204 - u. Does 8 divide m?
False
Let q = -2108 + 4012. Suppose 9*j - 5*j - q = 0. Is 31 a factor of j?
False
Suppose 9*i = 3*i. Suppose i = -17*b + 6*b + 297. Suppose b = a + 3. Is 4 a factor of a?
True
Let o = -213 + 226. Let s(g) = g**2 - 8*g + 18. Is 41 a factor of s(o)?
False
Let z(r) = 743*r**2 - 270*r - 1678. Is z(-6) a multiple of 85?
True
Let p be 8/(-36)*3*-930. Suppose z + p = 4*o, 0 = -2*o - z - 0*z + 316. Is 26 a factor of o?
True
Suppose 65*i + 41*i - 1016540 = 0. Is 14 a factor of i?
True
Suppose -5 = -3*d - 4*i, 4*i - 2 = -6. Suppose -c + 303 = -4*j, -c = -3*c + d*j + 606. Suppose 3*s = -x + 101, -3*x + 5*s = -0*s - c. Does 18 divide x?
False
Let c(n) = -7*n - 70. Let q be c(-7). Is 26 a factor of 0 + 6/(-21) - 13110/q?
True
Let h = 16 - 8. Suppose -4*d - 64 = 5*v - h*v, -4*v - 5*d + 137 = 0. Does 19 divide (-2 + 9)/(32/v + -1)?
False
Let w(z) = 178*z**2 + z + 12. Is w(-4) a multiple of 8?
True
Suppose -5*w - 5*s = -493 - 1172, 5*w + 4*s = 1668. Is 28 a factor of w?
True
Let r = 1303 - -5634. Does 36 divide r?
False
Let l be (-30)/18*-291 - (1 + -1). Suppose 4*r + 405 = l. Is r a multiple of 10?
True
Let z = -678 - -381. Let w = z - -535. Is w a multiple of 7?
True
Suppose 32*a + 212940 = 110*a. Does 105 divide a?
True
Suppose 4*w - 5*a + 2316 = 9603, -2*w + 3646 = -2*a. Is 6 a factor of w?
False
Let d be 0 + 7 + (-13)/((-13)/2). Let v be 1*d/(2 - 1/2). Let s(f) = 4*f**2 + 4*f - 25. Is s(v) a multiple of 11?
True
Suppose -10*y + 9*y - 30 = 0. Let l be y/(-9) - (-7)/(-21). Suppose 0 = l*t + t - 64. Does 3 divide t?
False
Let o(r) = 12*r + 23. Let s be o(9). Let q = -20 + s. Is 16 a factor of q?
False
Suppose 11651*z - 11633*z = 13734. Is z a multiple of 23?
False
Suppose -336*n = -332*n - 52. Suppose 17*c - 720 = -n*c. Is c a multiple of 6?
True
Let x = -1280 - -1412. Is 56 a factor of x?
False
Let o be ((-92)/10)/(2/110). Let u = -402 - o. Is 8 a factor of u?
True
Suppose 67*a - 66*a - 6 = 0. Let v(s) = -s**3 + 5*s**2 + 6*s. Let r be v(a). Suppose r = -4*k + 148 + 96. Is k a multiple of 11?
False
Suppose 0 = -2*m + 4*w + 3948, m - 1096 = 4*w + 884. Let b = m - 1056. Is 57 a factor of b?
True
Let h(j) = j**3 + 6*j**2 + 11*j + 15. Let k be h(-4). Suppose k*y + 430 = 271. Let p = -28 - y. Does 25 divide p?
True
Let n = -175 + 180. Is 6 + (2 - n) - -252 a multiple of 18?
False
Let v(h) = -26*h - 75. Let d be v(-3). Suppose 2*t - 3*f = 76, d*t + 0*t = f + 100. Is 4 a factor of t?
True
Let z be ((-102)/(-24) - 3)*(1 - -3). Suppose 3*d - 7*d - 5*b = -30, z*d + 5*b = 35. Suppose -d*h + 321 = 4*k - 636, 2*k = -3*h + 479. Does 17 divide k?
True
Suppose -2*c = -9*c - 266. Let t = 36 + c. Is 14 a factor of t + 1 - (-23 - 6)?
True
Does 17 divide 31810 + (-21)/(-2)*38/(-133)*2?
False
Suppose -17*i + 113 = 11. Does 5 divide i/(-2) - (-1920)/60?
False
Let n = 50 + -45. Suppose n*k = -3*k + 32. Is 6 a factor of 1 + 128/(k/1)?
False
Suppose 30*q = 31*q + 13. Is 2 a factor of (-3 - 13)/(q/52)?
True
Let n = 22382 - 21687. Is n a multiple of 2?
False
Suppose 4*o = -8*o + 36. Let g(i) = 22*i**2 + i - 12. Let a be g(o). Suppose a = -32*q + 41*q. Does 21 divide q?
True
Does 15 divide -818*11/(-176)*8?
False
Let i = -6601 + 6931. Is 7 a factor of i?
False
Let f(a) = 7 + 2*a - 4*a - 5*a - 16 + 181*a**2 + 3*a. Is 16 a factor of f(-2)?
False
Let x(a) = 14*a**2 + 9*a**2 - 28*a**2 - 6*a - 6 + 11*a**2. Let q = 122 - 127. Does 35 divide x(q)?
False
Let m(w) = -w**2 - 16*w + 38. Let f be m(-18). Suppose 3*v - 5 = -d, f*v + v - 3 = -3*d. Suppose -110 = -3*a - v*a. Is a a multiple of 2?
True
Let w(j) = 6*j - 43. Let a be w(6). Is 41 a factor of ((-16)/7 - 2/a) + 416?
False
Suppose 5*m = 1165 + 2715. Suppose -5*v + t - 2*t = -1255, 0 = 3*v - 4*t - m. Is 18 a factor of v?
True
Let h be 19/(8/(-8 + -16)). Let n = h - -482. Is n a multiple of 17?
True
Is 13 a factor of (-396531)/(-7) - (1819/119 - 16)?
False
Suppose -2*s + 239 = -1217. Suppose 207 = k - s. Is k a multiple of 85?
True
Let q = -6856 + 10318. Is q a multiple of 60?
False
Suppose 3*f + 0*n = 5*n - 24, -9 = 4*f + n. Let b be (-2992)/48 - (-2)/f. Is 12 a factor of (-678)/(-8) + (b/(-12))/(-7)?
True
Let w(q) = 40*q - 834. Is w(24) a multiple of 8?
False
Suppose 5500 = 3*r - 2*x, 19*x - 23*x + 7340 = 4*r. Does 131 divide r?
True
Suppose -4*n + 16573 = 5913. Suppose -10*u = -8535 - n. Suppose 0 = -8*w + 16*w - u. Does 28 divide w?
True
Let k = 4927 + -3135. Is k a multiple of 8?
True
Does 42 divide 42588/(-54)*(-26 + -1)?
True
Suppose -72745 - 84755 = -6*v - 29*v. Is 75 a factor of v?
True
Suppose 3*i + 4174 - 299 = 5*p, 2*p + 3*i - 1571 = 0. Is 56 a factor of p?
False
Suppose 0 = -30*i - 336*i - 7*i + 10444746. Is i a multiple of 13?
True
Let v(u) be the seco