, p*m = -2*j + 66. Does 7 divide j?
True
Let a = 708 + -506. Does 9 divide a?
False
Let p = 68 + -28. Suppose -3*k + p = -77. Let f = k - 32. Does 7 divide f?
True
Suppose 0 = -143*a + 153*a - 18860. Is a a multiple of 41?
True
Suppose 65 = 14*j - j. Suppose 265 = j*l + 5*b, l - 31 - 42 = -5*b. Is 48 a factor of l?
True
Let j(n) = -24*n + 13. Let o be j(-4). Let v = o + -48. Is 17 a factor of v?
False
Let q = -27 + 35. Let c = q - -24. Is c a multiple of 11?
False
Let t(u) = 4*u**2 + 2 - 6*u**2 - 4*u - 2. Let n be t(-3). Let g = 10 + n. Is 3 a factor of g?
False
Suppose 5*t - 3*w = -6895 + 18486, 5*t = -4*w + 11612. Does 10 divide t?
True
Is (14 + -11)/((-6)/(-3328)) a multiple of 13?
True
Is 10 a factor of 56/(-16)*(-19980)/63?
True
Suppose 2*l = 5*l + 2*t - 685, -5*t = -3*l + 692. Does 22 divide l?
False
Let r(j) = -14*j - 5. Let o be r(15). Let u = -119 - o. Is u a multiple of 16?
True
Let r = -33 + 51. Suppose -2*l = 3*l + 2*l. Suppose 0 = 4*y - y - 3*m - 27, -2*y - 5*m + r = l. Is 7 a factor of y?
False
Let w = 3079 + -2071. Is w a multiple of 18?
True
Suppose 3*f = 2*h + 144, 5*h - 10 = 5. Suppose 3*s - 31 = f. Is s a multiple of 9?
True
Suppose 3*i - 3589 = -s, 0*i = -4*i + s + 4790. Does 133 divide i?
True
Suppose 6*n + 9 = 3*n. Let j(o) = -3*o + 1. Let c be j(n). Suppose -4*s = m + c, 10 = -4*m + 6*m + 2*s. Is 4 a factor of m?
False
Let z(y) = 2*y**2 + 9*y + 11. Let o = 21 + -26. Let n be z(o). Suppose 4*q + n = 2*f, 0 = -3*f + 6*q - 3*q + 18. Does 2 divide f?
True
Let r be (36/(-8))/(((-3)/(-182))/(-3)). Suppose 0 = 7*x - 0*x - r. Is 9 a factor of x?
True
Let b be 4*(2 - 12/3). Let m be (-152)/(-6) + b/(-12). Let o = m - -1. Is 9 a factor of o?
True
Suppose n + 67 = -6*a + 9*a, -124 = 2*n - 4*a. Let w = 68 - n. Does 20 divide w?
True
Let s be (2/(-2))/(5/(-105)). Let t be (-6 - -3)/(3/s). Let z = -15 - t. Is 6 a factor of z?
True
Let d = 50 + -9. Suppose 5*q - d = -2*s, q - 3*s = -0*s + 15. Does 5 divide q?
False
Is 28 a factor of (-27)/(-6 - -9) + 1409?
True
Suppose 3 = 3*j - s - 3, 0 = j + 5*s - 18. Does 25 divide 5*(j - (0 + (1 - 3)))?
True
Let w = 20 + -16. Suppose -b + w*b - 30 = -5*l, 4*b + 3*l = 29. Suppose -b*u - 17 = -92. Is 15 a factor of u?
True
Is (-3916)/(-14) - (-6)/21 a multiple of 20?
True
Let c be 0 - 2/(-2) - 8. Suppose 0 = 5*o + 20, i - 88 = -2*i + o. Is 27 a factor of i*(0 - c/4)?
False
Let g = -27 - -29. Suppose -7*r - g = -5*v - 3*r, 0 = -4*v + 2*r + 4. Does 2 divide v?
True
Is 29 a factor of (-23619)/(-15) - (-57)/(-95)?
False
Suppose 1349*i + 8019 = 1358*i. Is 52 a factor of i?
False
Let g(s) = 11*s + 16. Let w(d) = -21*d - 33. Let u(v) = -7*g(v) - 4*w(v). Is 28 a factor of u(11)?
False
Let n(h) = 3*h**2 + h - 2*h**3 + 6 - 8*h**2 + h**3 - 5*h. Let q be n(-6). Suppose -3*s + 113 = 4*o, o - 4*s - q = -2*o. Is o a multiple of 8?
False
Let k = 973 + -684. Suppose 2*m + 5*t - k = 0, -2*t + 0*t = -m + 167. Does 24 divide m?
False
Let n = -271 - -20. Let y = -601 + 250. Let c = n - y. Does 13 divide c?
False
Suppose 0 = 2*n - 5*m - 14, -5*n + 2 = 3*m - 2. Let g(j) = 10*j - 5. Is 12 a factor of g(n)?
False
Let j(s) = s**2 - 11*s + 70. Does 32 divide j(13)?
True
Let r be -4 + 118/4*2. Let m = r - 45. Is m a multiple of 5?
True
Let n be (-135)/(-30)*284/(-3). Let b = -258 - n. Is b a multiple of 24?
True
Let h be 32/18 - (-2)/9. Let k(i) = -i**3 - i**2 - 3*i + 3. Let g(f) = f**3 + 2*f**2 + 5*f - 5. Let a(n) = -3*g(n) - 5*k(n). Is a(h) a multiple of 3?
True
Suppose 2*j + 0*g = -g + 11, 3*g = 4*j - 17. Suppose l = -j*t - l + 132, -3 = -3*l. Is t a multiple of 5?
False
Let g(d) = d**3 + 12*d**2 - 17*d - 3. Let u be g(-13). Let y = 31 - u. Let k = y + 55. Is k a multiple of 20?
False
Let k(n) = -2*n**3 + 15*n**2 - 2*n - 5. Does 3 divide k(7)?
True
Let w(l) = -l**3 - 11*l**2 - l - 6. Let d be w(-11). Suppose -c + 2*a + 113 = 0, -8*a + 3*a - 575 = -d*c. Does 39 divide c?
True
Suppose 0 = -4*l - 30 + 214. Does 22 divide ((-23)/l)/(2/(-528))?
True
Let i(c) = -c**3 - 4*c**2 - 3*c - 3. Let r be i(-4). Suppose -z - 2*n = 2, z - r = 4*n + 1. Suppose -v = -z*v + 5. Is v even?
False
Suppose 5*f - f = 288. Suppose -2*m + 7*m - f = -h, 3*h - m = 232. Does 11 divide h?
True
Suppose 4*k + b - 259 = 0, -2*k = b - 72 - 55. Is 7 a factor of k?
False
Let f(l) = 0 - 16 - 2*l - 6*l + 4*l. Is f(-6) a multiple of 8?
True
Let y(b) = -b + 2. Let m be y(-2). Suppose 3*z - m*r - 26 = 0, 0*r + 4 = -3*z - 2*r. Let l = 44 - z. Is 14 a factor of l?
True
Let c(q) be the first derivative of -q**4/4 - 16*q**3/3 + 8*q**2 - 14*q + 1. Is c(-17) a multiple of 3?
True
Let o(n) = 2*n**3 - n**2 - 7*n + 7. Let s be o(2). Suppose -436 - 364 = -s*w. Does 32 divide w?
True
Suppose 20 = -5*k, -3*u + 35 - 9 = -5*k. Suppose -u*h - 16 = 2*h. Let c = 10 + h. Is 4 a factor of c?
False
Let l = -16 - -17. Suppose -3*y - l = -4. Is 21 - (-1 - (y - 3)) a multiple of 16?
False
Let a = 17 + -17. Suppose a = 5*b - 174 + 19. Let f = 58 - b. Does 7 divide f?
False
Let j(a) = -7*a - 3. Let u be j(-5). Suppose -3*z = -7*m + 2*m - u, -2*z = -5*m - 28. Is 5 a factor of (z - -1)*(-1 + 2)?
True
Let a be (30/(-4))/(-5)*2. Suppose a*x = x. Suppose x*t = -t + 42. Is t a multiple of 11?
False
Let y = 76 - -45. Is y a multiple of 5?
False
Let g(b) = -117*b**2 - 3*b + 2. Let i be g(1). Let y = -84 - i. Does 17 divide y?
True
Suppose 3*s - 55 = -19. Is 6 a factor of s?
True
Suppose v = 12*h - 14*h + 428, 0 = 3*v - 5*h - 1284. Is 107 a factor of v?
True
Suppose -196 = -3*j + d, -6*j - 3*d + 270 = -2*j. Let t = j + -53. Does 2 divide t?
False
Let w be (0 + -6)*8/12. Let i be ((-2)/w)/(2/4). Let h = 46 + i. Is 8 a factor of h?
False
Suppose 0 = -3*c + 5*c. Suppose -5*f = 5*p - 180, 5*f = -4*p - c*p + 176. Suppose -3*n + f = -22. Does 6 divide n?
True
Let c(l) = 2*l**2 - l**2 + 2*l - 6 + 0*l. Suppose -u + t = 4*u - 23, -5*u - 2*t = -14. Does 6 divide c(u)?
True
Let w = 355 + -68. Let d = 417 - w. Is d a multiple of 42?
False
Suppose 9*d - 14*d - 5*n + 1935 = 0, 0 = 2*d + n - 773. Is 20 a factor of d?
False
Let z(c) = 57*c**3 + 5 + 0*c + 2*c - 1 - 5. Is 6 a factor of z(1)?
False
Suppose -4*l - 3*d = -318, 5*l - d + 5*d = 398. Suppose 0*z + l = z. Is z a multiple of 13?
True
Let g(x) = 6*x**3 - 3*x**2 - 5*x + 3. Let p(w) = 6*w**3 - 2*w**2 - 5*w + 3. Let r(n) = -4*g(n) + 5*p(n). Is 8 a factor of r(2)?
False
Let k = 1228 + -1132. Is k a multiple of 16?
True
Let g = 31 - 26. Suppose g*n = 3*n + 190. Does 19 divide n?
True
Suppose 2*t + 227 = 1917. Is t a multiple of 13?
True
Let o(q) = q**3 + 11*q**2 + 3*q - 6. Let u(h) = h**3 - 4*h**2 - h + 1. Let a be u(3). Let l be o(a). Is (-3 + 1)/(6/l) a multiple of 5?
False
Let n = -16 - -1080. Suppose s - 6*s + n = -4*j, 3*s = 5*j + 641. Does 53 divide s?
True
Does 8 divide ((-11568)/(-72))/(4/6)?
False
Let d(m) = 8*m**2 - m + 2. Let t be d(1). Suppose 3*f = t*f - 324. Does 17 divide f?
False
Let i(u) = u**2 - 5*u - 19. Let j be i(8). Suppose -j*b + 5*p + 255 = 0, -2*b + 45 = p - 63. Is 15 a factor of b?
False
Let u(w) be the second derivative of w**5/20 + w**4/2 + 2*w**3/3 + 5*w**2/2 - 6*w. Let i be u(-6). Let r(h) = -h**3 - 19*h**2 + 18. Is 18 a factor of r(i)?
True
Let b(a) = -7*a - 17. Let d(s) = 6*s + 2. Let c be d(-1). Is b(c) a multiple of 3?
False
Suppose -14 = -3*t - 2*x, 16 = 3*t + 3*x - 2. Suppose -t*u + 282 = r, -4*r + 1113 = -0*r + 3*u. Is r a multiple of 23?
True
Suppose u - 1 = 5*r + 6, -4*r = 4. Let z = u - -20. Is 11 a factor of z?
True
Suppose 3*m - 1434 + 261 = 0. Is 26 a factor of m?
False
Suppose 3*x - 5 = 2*x. Suppose 0*h + x*y + 35 = 3*h, 0 = 2*h - y - 35. Does 8 divide h?
False
Let i(l) = l + 2. Let w be i(0). Suppose -470 - 88 = -w*m. Is m a multiple of 47?
False
Suppose -5*o + 42 + 443 = 0. Let h = o - 13. Is 28 a factor of h?
True
Suppose 0 = 5*o - 3*d - 137, 17 = 2*o - 4*d - 35. Does 7 divide o?
True
Let a be (-10)/(-3) - 7/21. Suppose a*c - 8 = 5*c. Is c/26 - 314/(-13) a multiple of 12?
True
Suppose -22*s - 226 = -19608. Is s a multiple of 7?
False
Suppose 21 = x + 18. Suppose -x*g - m = -8*g + 516, 4*m - 536 = -5*g. Is 10 a factor of g?
False
Let w(j) = 12*j**2 + 69*j - 406. Does 22 divide w(6)?
True
Let y(b) = 28*b**3 - 3*b**2 + 9*b - 16. Is y(3) a multiple of 58?
False
Suppose 0 = 30*q - 8112 + 1362. Is q a multiple of 5?
Tru