
Let t(o) = o**3 - 2*o**2 + 7*o - 2. Let p be t(6). Suppose -64*n - 268 = -65*n - 4*d, n - 4*d = 260. Let l = n - p. Is 10 a factor of l?
True
Suppose 5*s - 25 = -0*s. Let m(b) = b**3 - 7*b**2 - 5*b - 3. Let x be m(s). Let q = 132 + x. Is q a multiple of 18?
True
Let d = -63 + 62. Is d*(0 + 55)/(-1) a multiple of 11?
True
Let t be (15*8/6)/1. Let k = 46 - 40. Let s = t - k. Is 7 a factor of s?
True
Let n(m) = 3*m**2 + 3*m + 1. Let v be n(-2). Suppose 0 = v*j - 137 - 731. Is 31 a factor of j?
True
Suppose 266 = -m + 2*m. Is 43 a factor of m?
False
Let j = 903 - -55. Is j a multiple of 63?
False
Suppose 3*h - 6 = 6. Suppose 114 - h = 5*n. Is 11 a factor of n?
True
Let n be (-128)/13 + 4/(-26). Let o be (-8)/20 - 84/n. Is (-4)/o + (-201)/(-6) a multiple of 11?
True
Suppose 547*v + 999 = 2*n + 546*v, -2*v = n - 502. Does 5 divide n?
True
Let g(c) = 32*c + 64. Does 23 divide g(15)?
False
Let u = 71 + -69. Suppose -u*y - 1 + 81 = 0. Does 17 divide y?
False
Suppose 2*b + 12 = 5*b. Let x be 0*((-4)/b + 2). Suppose 2*m - 4*m + 22 = x. Is 3 a factor of m?
False
Is 882 + 0/(7/(7/2)) a multiple of 14?
True
Suppose 97 = -4*n + 21. Let o = -29 - n. Does 7 divide (-201)/(-15) - 6/o?
True
Let m = 288 - -297. Is 45 a factor of m?
True
Let s be (10 - 16)*2*5/(-6). Suppose 0 = s*j - 13*j + 378. Is 9 a factor of j?
True
Suppose -3*d + 5*f = -3412, -12*d - 1152 = -13*d - 2*f. Is d a multiple of 8?
True
Suppose 0 = -5*p + 3*p + 8. Let g = 7 - 5. Suppose 5*n - 65 = p*j, -g*n - 3*j + 3 = -0*j. Is 3 a factor of n?
True
Let f(l) = 6*l**3 - 9*l**2 + 13*l + 16. Is f(9) a multiple of 29?
False
Let y(q) = 61*q. Let k be y(2). Let x = k - 73. Is 7 a factor of x?
True
Is 17 a factor of (2064/(-80))/(6/(-40))?
False
Let y be (-27)/(-27)*(1 - -1). Is 62 + (y/1 - 1) a multiple of 21?
True
Is 6798/15 - (-8)/10 a multiple of 18?
False
Let m = -14 + 19. Suppose 3*h = x + 37, 9*x - m*h + 225 = 4*x. Let j = 17 - x. Does 14 divide j?
False
Let u be -277*(2 + 2 + -3). Let k = u + 468. Is k a multiple of 22?
False
Suppose 9*u = 16*u - 1456. Let h = 12 + u. Is 20 a factor of h?
True
Let x(s) = 2*s**2 - 3*s - 4*s - s**2 - 2*s**2. Is 6 a factor of x(-6)?
True
Let b(m) = -13*m**2 + 228*m - 2. Is 13 a factor of b(17)?
True
Let v(y) = 17*y**2 - 4*y - 3. Let k be v(3). Let o = k - 72. Does 9 divide (-361)/(-6) - 11/o?
False
Let x(w) = -14*w**3 - w**2 + 2*w - 1. Let n be x(1). Let k(i) = i**2 + 10*i - 2. Let z be k(3). Let c = z - n. Does 17 divide c?
True
Let c(p) = 91*p**2 - 6*p + 18. Is c(3) a multiple of 31?
False
Let r be (-34)/(-10) + (-2)/5. Let h = r + 0. Suppose -6*n = -h*n - 15. Is n even?
False
Suppose -4*q + 9*q - 8720 = -3*g, 4*q + 5*g - 6963 = 0. Is q a multiple of 57?
False
Suppose -14*y = -5 - 37. Is 32 a factor of 194/y + 8/(-12)?
True
Let z(g) = g**3 - g + 132. Let x be z(0). Let r = -61 + x. Is 23 a factor of r?
False
Suppose -8*x = 8*x - 3584. Is 8 a factor of x?
True
Let w(y) = 50*y**2 - 44*y + 238. Is w(7) a multiple of 7?
True
Suppose 3*w - 51 = -2*m - 3, -2*w + 5*m = -32. Does 12 divide 73 - w - (-1 - 1)?
False
Let v(w) = -10*w + 28. Let p(t) = -7*t + 19. Suppose 0*l + 15 = -3*l. Let m(i) = l*v(i) + 7*p(i). Is 2 a factor of m(9)?
True
Let l be (4 - 1) + 0/10. Let n = 11 + -9. Suppose 0 = n*d - 3*d + 5*o + 18, 18 = d + l*o. Is 14 a factor of d?
False
Suppose 7*a - 536 = -a. Suppose 5*i - 5*n - 111 = 9, 3*i - a = 2*n. Is 3 a factor of i?
False
Let w(d) = 55*d + 5. Suppose 0 = 4*m + 4*h + 4, -1 = -3*m - 2*h - 2. Is 5 a factor of w(m)?
True
Let s be 1 - (900/4)/(-5). Suppose 5*c - q = -5*q + 108, -2*c + s = 3*q. Does 3 divide c?
False
Suppose n - 3*u + 13 = 0, 0 = -u - 3*u + 20. Suppose -2*a + 4*k = -76, -n*a - 120 = -7*a - 4*k. Does 4 divide a?
True
Let d be 144/27 + (-2)/(-3). Let b be ((-6)/d)/(1/8). Is ((-46)/b)/(1/8) a multiple of 23?
True
Does 68 divide (-5 - (-83 + -8))*13?
False
Suppose 0*k + 82 = -3*k - 4*x, 5*k - 2*x + 154 = 0. Let j = k + 50. Is j a multiple of 10?
True
Suppose 211*m - 217*m + 8262 = 0. Does 20 divide m?
False
Let w(a) = -a**2 + 5*a + 16. Is 5 a factor of w(0)?
False
Suppose -47124 - 20251 = -55*w. Is w a multiple of 43?
False
Suppose 285 = 17*m - 20*m. Let c = 108 + m. Does 2 divide c?
False
Let t(z) = z**3 + 4*z**2 + 4*z + 2. Let c be t(-2). Let u(l) = -l + l + c*l. Is 11 a factor of u(10)?
False
Suppose 0 = -2*u + 13 - 7. Suppose u*h - h + 2*z - 12 = 0, 5*z = h - 6. Suppose 3*b + 15 = h*b. Is b a multiple of 3?
False
Let q = 65 + -58. Suppose -q*o + 2*o + 1125 = 0. Does 15 divide o?
True
Let k(c) = -c + 6. Let v be k(5). Suppose -h + v = 0, -3*p - 2*h + 407 = 9. Is p a multiple of 11?
True
Let a = 1427 + -813. Does 71 divide a?
False
Suppose 2*j + 4*n - 1537 = 3259, -n = -4*j + 9592. Is j a multiple of 109?
True
Let x(i) = -45*i**2 + 2*i - 1. Let s be x(1). Let d = 12 + s. Does 7 divide d/(-6)*27/6?
False
Let f(b) = -6*b**2 + 9*b + 7. Let d be f(-4). Let u = -40 - d. Is 11 a factor of u?
False
Let q be (-5)/(20/(-8)) - (-1 + 2). Let r(w) = 7*w**2 + 3*w - 3. Does 7 divide r(q)?
True
Let t(f) be the third derivative of -f**7/2520 + f**6/48 - f**5/40 + f**4/12 + 7*f**2. Let h(s) be the second derivative of t(s). Does 17 divide h(10)?
False
Suppose 0 = 3*x + t + 3 - 1, 2*x + 5*t = -10. Suppose x = -3*r - 31 + 91. Is 7 a factor of r?
False
Suppose 5*l + 30 = 11*l. Suppose -4*w + l*o + 483 = 0, -3*o = -3*w - 2*w + 594. Is 48 a factor of w?
False
Let k = 6 - 3. Let v = 7 - k. Suppose v*i + b + b = 190, -3*b - 185 = -4*i. Is i a multiple of 18?
False
Suppose -8 = 11*r - 15*r. Suppose -37 = -r*s + 3. Does 4 divide s?
True
Suppose 6*o = -5*v + 3*o + 183, 58 = 2*v + 5*o. Let a be (13/v)/(1/3). Suppose 2*r - 3*i - i = 60, -a = -i. Is 16 a factor of r?
True
Let i be (52/(-6))/(4/6). Let a = i + 13. Let r(k) = k**2 + 90. Does 10 divide r(a)?
True
Let c = 43 - 56. Let b(k) = -4*k - 11. Does 6 divide b(c)?
False
Let r = -17 + 20. Suppose 3*f = -6*g + 4*g + 226, 0 = r*g - f - 317. Is 10 a factor of g?
False
Suppose -2*g = -4*g - 12. Let j = 13 + g. Is 208/j - 14/(-49) a multiple of 15?
True
Let b(z) = z**3 - 4*z + 2. Let j be b(3). Suppose -19*p = -j*p - 4. Is (-9)/(-3) + (21 - p) a multiple of 13?
False
Suppose -2*q = 3*o - 1721, 3*o + 4*q + 86 = 1803. Is 33 a factor of o?
False
Suppose -32*g + 8748 = -5684. Is 11 a factor of g?
True
Suppose 16 + 40 = -4*v. Is 7 a factor of 1632/119 - 4/v?
True
Let u(q) = -q**2 + 3*q - 2. Let x be u(7). Let t = x - -32. Does 2 divide t?
True
Let i be 6/(-10) + (-168)/70. Let l = -1 + i. Let d = l + 10. Does 3 divide d?
True
Suppose 18*g + 4466 = 29*g. Is g a multiple of 58?
True
Let s(m) = -m**2 + 6*m - 4. Let d be s(4). Suppose 2*a - 60 = d. Suppose -35 = -t + a. Is t a multiple of 27?
False
Is 42 a factor of 835 + -13 - (1 + 5)?
False
Suppose -7*x = 416 - 1543. Is x a multiple of 14?
False
Suppose -24*j = -28*j + 264. Let v = -4 + j. Does 12 divide v?
False
Let l be (-31)/(13/(-4) - -3). Suppose 5*m - l = m. Suppose 5*k + m = 3*g, -2*k + k - 2 = 0. Does 7 divide g?
True
Suppose 10*g + 1596 = 11886. Is g a multiple of 16?
False
Suppose -8196 = -34*m + 18562. Is 40 a factor of m?
False
Suppose -30 = 3*x - 6*x. Suppose 0 = -x*r + 6*r + 240. Let v = 142 - r. Is v a multiple of 36?
False
Let g = -12 - -10. Let v be (-131)/g - 1/(-2). Suppose 0 = -d - 4*p + 43, -4*d + v = -2*d + 3*p. Does 10 divide d?
False
Let j be ((-12)/(-10))/(2/(-5)). Is (-90)/(-4) + j/(-2) a multiple of 5?
False
Is 43 a factor of (-23)/((-798)/392 + 0 + 2)?
False
Is 2*(5 + -3) + 6 even?
True
Is 3 a factor of 560 - -2*(-5 + 10)?
True
Let g = -157 + 269. Is g a multiple of 66?
False
Let i be 35 + -2 - (3 - 3/1). Does 7 divide 1016/22 - (105/i + -3)?
False
Suppose 24*j - 19*j - 2010 = 0. Suppose 2*x - n - j = -4*n, -x = -5*n - 175. Is x a multiple of 39?
True
Let s(z) = z**3 - 8*z**2 + 7*z + 2. Let o be s(7). Let f be (-1 + 2)*(o + -2). Suppose f*r + 3*r - 51 = 0. Is r a multiple of 17?
True
Suppose -3*x + 1 = o - 9, 2*o - 4 = -2*x. Is 12 a factor of (-149)/o - 12/24?
False
Suppose p - 3*p = -10. Let b(d) = 16*d**2 - 12*d - 6. Let w be b(6). Suppose w = p*m + 4*l, 0 = -m - 4*m - 5*l + 495. Does 33 divide m?
False
Suppose -n = -3*n + 610. Suppose 0 = 4*v + 4*a - n + 117, -2*v + 82 = -2*a. Suppose 4*g + v = 3*o, 5*o + 2*g - 45 - 11 = 0. Is 3 a factor of o?
