v*n - 5*f, 0*f + 282 = 2*n + 3*f. Does 27 divide n?
True
Let a be 1*50/5 - (4 + -1). Does 27 divide (2 + 2)/(a/364)?
False
Let b(t) be the second derivative of 20*t**3/3 + 2*t**2 - 37*t. Is b(2) a multiple of 37?
False
Suppose -5*o + 6*f = 8*f - 1501, -305 = -o + 2*f. Is o a multiple of 7?
True
Suppose 20*u - 2672 = 2428. Is 5 a factor of u?
True
Is 24 a factor of 2847 + (-54)/(-24)*4?
True
Suppose 27 = -17*d + 20*d. Suppose -3*m - d = -72. Is 7 a factor of m?
True
Suppose 10*u = 9*u + s + 259, 2*u - 522 = s. Is 15 a factor of u?
False
Let a(k) = -k**3 + 4*k**2 + 1. Let f be a(4). Let s be f + (-8*13)/(-4). Let d = -21 + s. Is d even?
True
Let s = 10 - 10. Let g be 7 - (0 + -2 + s). Suppose 8*v + 120 = g*v. Is v a multiple of 32?
False
Let w(p) = p**2 + 9*p - 10. Let h be w(-11). Does 11 divide (h/2)/(-6) + 1*67?
True
Let f be ((-158)/(-6))/(3/9). Suppose -2*l = -f + 27. Let p = l - -18. Is p a multiple of 13?
False
Let i = 5 - -3. Is 5 a factor of (4/i)/(2/68)?
False
Suppose 2*l + 0*l = 16. Let x = l + -7. Suppose -2 = -3*t + 4*w + 3, -t + 2*w = -x. Is t a multiple of 3?
True
Suppose 2*q = 3*z - 9, q - 5 = -z + 3. Suppose q*u - 6 = u + n, -u = 3*n + 4. Suppose 40 = -i + u*i. Does 20 divide i?
True
Suppose 21*g = 22392 + 5937. Is 19 a factor of g?
True
Suppose 0 = 5*k - 4*k + 2*h - 4, 11 = 3*k + 5*h. Suppose -k*d + 184 = 3*c - 0*d, -c - 2*d = -60. Suppose 5*b + g = 138, -58 = -5*b + 5*g + c. Does 18 divide b?
False
Suppose 4*m + 5*z = 553, -596 = -3*m - 3*z - 179. Does 7 divide m?
False
Let g = 326 - 262. Is g a multiple of 8?
True
Suppose -1011*t = -1013*t + 12. Does 4 divide t?
False
Let n(j) be the first derivative of -j**4/4 + 4*j**3/3 + j**2/2 - 7*j - 14. Let b be n(3). Suppose -b*l + 34 = -141. Is 6 a factor of l?
False
Let z(f) = f**3 - 6*f**2 - 9*f + 4. Let l be z(8). Let b = 114 - l. Is b a multiple of 8?
False
Let t = -31 - -33. Suppose 5*i = t*i + 189. Is i a multiple of 15?
False
Suppose -5*p - 2*g = -9*p + 3866, p + 4*g = 953. Does 6 divide p?
False
Suppose 3*o = 5*i - 2*i - 1320, 1795 = 4*i + 3*o. Does 5 divide i?
True
Let j be -2*1/2 + -2. Suppose 0 = -w + 2*c + 6, 4*w - 3*w = 5*c - 3. Let f = w + j. Is 4 a factor of f?
False
Suppose 638 = 2*v + 4*j, 2*v - 5*j - 218 = 402. Is v a multiple of 35?
True
Suppose t + 4*z - 99 = 0, 0*z + 5 = z. Suppose 5*r - 529 = -t. Is r a multiple of 9?
True
Suppose 0 = -3*c - 5*s - 37 + 5, c - 2*s = -7. Let h(d) = -2*d - 4. Let v be h(c). Suppose -v = -0*w - 2*w. Is 3 a factor of w?
False
Is 7 a factor of (-10)/(-15)*(3858/12 + 4)?
True
Suppose 0*l = -4*l + 100. Let y = l - -152. Suppose 4*i - y = -5*u, 2*i + u - 81 = -4*u. Is 24 a factor of i?
True
Let u(d) = 2*d - 110. Let k be u(0). Let v = 173 + k. Is v a multiple of 8?
False
Let d(c) = -2*c. Let b(y) = 2*y. Let k(t) = -2*b(t) - 3*d(t). Let i be k(4). Suppose -3*n = -i*n + 145. Is 9 a factor of n?
False
Let v = 312 + -215. Let m be 1*-3 + -15 + v. Let g = m + -39. Is 10 a factor of g?
True
Let o(a) = -7*a - 28. Let h be o(-7). Suppose 4*d + 16 = -4*p, -6 + h = -4*p - 3*d. Is 21 a factor of (63/6)/(p/(-18))?
True
Let a = 27 + -11. Suppose -4*i = a - 340. Is i a multiple of 27?
True
Let g = 451 + -26. Does 12 divide g?
False
Let n(j) be the first derivative of j - 1/2*j**2 - 1. Is n(-6) a multiple of 7?
True
Suppose 0 = d + 4*i - 458, 3*d + 11*i = 7*i + 1406. Is 6 a factor of d?
True
Let t(b) = 65*b**2 + b - 2. Is t(3) a multiple of 29?
False
Let i(c) = -c**3 - 7*c**2 - c + 5. Let t be i(-7). Let g = t - 14. Is (-1524)/(-24) + g/(-4) a multiple of 16?
True
Is 15 a factor of (1074 - -51)*2/5?
True
Let d(f) = f**2 + 3*f + 7. Let p be d(-3). Suppose -g = 1, -4*m - 2*g + p*g = -69. Is 5 a factor of m?
False
Is (-127 - -1 - 0)/(34/(-85)) a multiple of 15?
True
Suppose 3*f + 2*o = 126, 4*f - 2*o = 3*o + 168. Let a = f + -12. Is 5 a factor of a?
True
Suppose -5*i + 2*w + 6900 = 0, 0 = -5*i + 6*w - w + 6900. Is i a multiple of 46?
True
Suppose -3*o - 4 + 13 = 0. Does 7 divide 24/(-18) + 67/o?
True
Suppose -63*n + 66*n = 0. Suppose n = -3*r + 17*r - 2380. Does 17 divide r?
True
Suppose -128*x = -131*x + 483. Suppose -x = -2*j + 155. Is j a multiple of 19?
False
Let v(k) = k**3 + 3*k**2 + 4*k + 4. Let q be v(-2). Suppose -5*a + 6*a - 9 = q. Is a a multiple of 5?
False
Let j(k) = k**3 + 12*k**2 - 29*k + 10. Let b(c) = 9*c + 4. Let f be b(-2). Is j(f) a multiple of 12?
True
Suppose -4995 = 27*s - 32*s. Suppose -3*i + s = 171. Is i a multiple of 28?
False
Let t(u) = -u**3 + 5*u**2 - 2*u + 9. Let h be t(8). Let p = 55 - h. Let g = p - 179. Is g a multiple of 15?
True
Does 4 divide (1 + 0)/(-1) + 300/12?
True
Let b be (1/(-3))/((-2)/30). Let k(v) = -v**2 - 7*v - 3. Let t(h) = h**2 + 7*h + 3. Let z(o) = b*t(o) + 4*k(o). Is 6 a factor of z(-9)?
False
Let x = 203 - 57. Is x a multiple of 9?
False
Let y(j) = 26*j**2 + 1. Let n be y(2). Let p(g) = g**2 + 7*g - 7. Let b be p(6). Let x = n - b. Is 14 a factor of x?
False
Let h = 1 - -2. Let g = h + -9. Is g/21*14/(-2) a multiple of 2?
True
Let x(i) = -12*i + 12. Let h be x(6). Let w be 128/h + (-2)/(-15). Does 3 divide w/6*(-25 - -7)?
True
Let b = -49 - -60. Let g = -6 + b. Does 5 divide g?
True
Is 48 a factor of -2*(7 + -3)*-78?
True
Let o(r) = -90*r**2 + 5*r - 2. Let a(j) = j. Let l(g) = 6*a(g) - o(g). Is l(-1) a multiple of 15?
False
Suppose 0 = 27*c - 24*c - 3*q - 1824, 2*c + 4*q = 1228. Is 67 a factor of c?
False
Suppose -5 = -9*j + 4*j. Does 15 divide 8/(-36) - j*2164/(-18)?
True
Suppose 0 = 3*y + 5*v - 16, 3*y - 4*v + 0*v - 25 = 0. Suppose y*x - 69 - 673 = 0. Does 20 divide x?
False
Suppose -r + 7 = 1. Does 6 divide r*(0*(-2)/2 + 1)?
True
Suppose -3*a + 156 = 3*a. Suppose -y = -2*y + a. Is 26 a factor of y?
True
Suppose 2*r + 4*t - 1050 = 0, -t - 2031 - 550 = -5*r. Does 22 divide r?
False
Let x(g) = 19*g**2 - g. Let m be x(-2). Suppose 0*q - 3*q + m = 0. Suppose 2*d = d + q. Is d a multiple of 26?
True
Suppose -4*k + 3 = -3*k. Suppose 2*h - t - 143 = 0, 5*h + k*t + 75 = 427. Suppose 64 = 5*z - h. Is z a multiple of 14?
False
Let a(j) = 16*j**2 - 14*j + 8. Is a(-4) a multiple of 8?
True
Suppose 0 = -2*n + 2, 0 = 5*v + 2*n - 9 - 3. Let x be (0/v + 1)*0. Suppose z - 2*l = l + 15, -3*z - 4*l + 6 = x. Is z a multiple of 3?
True
Suppose -2*n + 334 = 4*t, -3*t - 4*n + 179 + 69 = 0. Does 7 divide t?
True
Let m be 8/(-12)*3 - -26. Suppose -m = 8*p - 11*p. Is 174/p + 1/4 a multiple of 14?
False
Is 115 a factor of -2*6/4 + 1194?
False
Let s = 7 + -3. Let b(m) = -m. Let k(p) = 5*p - 9. Let v(g) = b(g) + k(g). Is 4 a factor of v(s)?
False
Let z(y) = -y**2 + 15*y - 10. Let w be (1/(-2))/((-4)/96). Let d be z(w). Let a = 14 + d. Does 10 divide a?
True
Let x = -1719 - -2274. Does 15 divide x?
True
Suppose 13 = z - t, 3*z - t = 5*z - 35. Is 16 a factor of z?
True
Let d = 32 + -29. Suppose -6*i + 5*b + 69 = -4*i, -i + d*b = -37. Is i a multiple of 22?
True
Suppose -4*r = 5*f - 9*r + 245, 3*r = 2*f + 101. Suppose v + 3*v = -8. Does 16 divide -3 - f/(-4)*v?
False
Let l(p) = -2 - 10*p**3 + 5*p**3 + 13*p - 3*p**2 + 0*p**2 + 4*p**3. Is l(-6) a multiple of 3?
False
Suppose 797 = -4*a + 3293. Is 78 a factor of a?
True
Let u(h) be the second derivative of h**4/6 + 2*h**3 + 7*h**2/2 + 14*h. Is 39 a factor of u(-8)?
True
Let q = 101 + -96. Suppose -x = 4*n - 232 + 30, 5*x - 260 = -q*n. Is 10 a factor of n?
True
Is 7 a factor of -7*4/(-56)*-6 - -165?
False
Is 2 a factor of (-5)/(-1)*19/(285/18)?
True
Let g(m) = -m**3 + 2*m**2 + 9*m + 229. Does 21 divide g(0)?
False
Suppose 0*b - b = -144. Let t = b - 78. Is t a multiple of 10?
False
Let i = -25 - -9. Let k = i + 38. Is 11 a factor of k?
True
Let s be ((-1055)/4 + 3/4)/1. Let h = -187 - s. Is 19 a factor of h?
True
Let o(d) = -13*d**2 + 2*d + 580. Is 58 a factor of o(0)?
True
Let c be (8/14)/(26/1001). Suppose 4 = -m, -p + 3*m - c = -55. Does 21 divide p?
True
Suppose -9 - 1 = -2*r + 4*i, 0 = -2*i. Suppose 3*y - 88 = -r*b, -2*b - 10 = -2*y + 22. Is y a multiple of 6?
False
Suppose -6*a + 470 = -2302. Suppose -f + a = 5*f. Is 7 a factor of f?
True
Let z = 185 + -150. Suppose 0 = 2*a - 181 - z. Does 18 divide a?
True
Let y = -122 + 92. Is (0 + 5 + 1)*y/(-12) a multiple of 5?
True
Suppose 5*u = 3*l - 17, 4 = l + u + 9. Does 4 divide 15/(-5) + (l - -12)?
True
Let h(x) = x - 9. Let q be h(