rue
Let y be 6*(9/6 + -1). Suppose 0 = y*v - 8*v + 105. Suppose 33 = 3*a - v. Is a a multiple of 6?
True
Let v(q) = q + 14. Let f = -3 - 11. Let u be v(f). Suppose 2*t - 65 - 11 = u. Is t a multiple of 9?
False
Let w = -895 + 1453. Does 18 divide w?
True
Suppose -5*v = -q + 145, -2*v = -v - 5*q + 5. Let p be (2/(-3))/(4/v). Suppose 0 = -x - 2*n + 16, -5*x + p*n + 74 + 36 = 0. Is x a multiple of 10?
True
Suppose 0 = -t - 2*j + 3108, 9318 = 3*t - 104*j + 107*j. Is 13 a factor of t?
False
Suppose 4 + 5 = 3*d. Suppose -d*b + 147 = v, 2*v = -b - 0*v + 54. Does 12 divide b?
True
Is 51 a factor of ((30936/10)/(-3))/(30/(-75))?
False
Suppose -42*q = -46*q + 416. Is 26 a factor of q?
True
Let q = -11 - -23. Let v(i) = 3*i**2 - 26*i + 7. Does 13 divide v(q)?
False
Does 133 divide 1*12/(-18)*-1995?
True
Suppose -5*a - w + 2525 = 0, -4*a + 2485 - 474 = -w. Does 21 divide a?
True
Suppose -5*h - 2*g + 204 = -224, -5*h - 4*g = -426. Is h a multiple of 22?
False
Let d = 1499 - 1349. Is d a multiple of 5?
True
Suppose k = -5*d + 346, 4*k + 82 = 2*d - 74. Does 10 divide d?
True
Suppose -834 = -2*a + 104. Is 21 a factor of a?
False
Let a be (-93)/(-12) - 3/(-12). Suppose 4 + a = 4*i. Is i even?
False
Let z = -3 + -3. Let r be (-8)/z + 65/(-15). Let p = r + 10. Does 2 divide p?
False
Let o = -1282 - -1885. Is o a multiple of 67?
True
Let b(g) = -g**2 + 2*g + 4. Let w be b(3). Does 14 divide (420/48)/(w/8)?
True
Let n(h) = h**3 - 8*h**2 + 8*h - 3. Let g be n(7). Suppose 0 = 4*r + 3*q - 98, -g*r + q + 63 = -27. Is r a multiple of 14?
False
Is 15 a factor of (-4 - (-15)/3) + (325 - -1)?
False
Let a = 1774 + -1478. Is 46 a factor of a?
False
Let k(y) = -87*y + 33. Is 17 a factor of k(-3)?
False
Let d be 1/2 - 426/(-12). Is 16 a factor of (-280)/(-21)*d/10?
True
Suppose -2*b - 2*r = -26, 0 = 2*b + 3*r - 17 - 11. Suppose -b*i + 6*i = 10. Is 4 a factor of -10*(-1 + 1/i)?
False
Let i(o) = -14*o + 50. Let z be i(-10). Let y = -2 - -2. Suppose -3*a - 5*l + 38 = -2*a, 5*a - 5*l - z = y. Is a a multiple of 26?
False
Suppose -3*p = i - 1885 - 722, 12 = 4*i. Is 4 a factor of p?
True
Let i be 2/8 + 123/(-12). Is 12 a factor of ((-32)/5)/(4/i)?
False
Let i(l) = -4*l**3 + 8*l**2 - 12*l + 9. Let v(r) = 7*r**3 - 15*r**2 + 23*r - 17. Let q(f) = 11*i(f) + 6*v(f). Let d be q(3). Is 19 a factor of ((-16)/24)/(2/d)?
True
Let g = -6 - -13. Let d = -5 + g. Suppose d = -2*f + 16. Is f a multiple of 3?
False
Let g(j) = -j - 3*j + 19*j**2 - 9*j**2 + j**3 - 9*j**2 + 7. Let f(c) = -c + 1. Let s be f(-3). Is g(s) a multiple of 20?
False
Suppose 123*o - 11454 = 54*o. Is 5 a factor of o?
False
Let k(v) = -v**3 + 10*v**2 + 3*v - 5. Let b(c) = -c**3 + 5*c**2 + 7*c + 4. Let j be b(6). Suppose j = 3*d - 20. Does 18 divide k(d)?
False
Suppose -48*g + 7692 = -44*g - 4*j, 9621 = 5*g + j. Is 37 a factor of g?
True
Let c be -3*(1 + (-4)/6). Let h be (3 + -1)/(c/(-2)). Suppose h*w = -w + 130. Is w a multiple of 15?
False
Suppose 5*s - 170 = 2*m + 166, s - 2*m = 72. Let n be s/12 - (-2)/(-4). Suppose -4*q = -3*g + 17 - 169, g = n*q - 179. Is 18 a factor of q?
False
Suppose -2*z - 181 = -283. Does 13 divide z?
False
Let p(a) = -2*a - 23. Let f be p(-7). Is 1 + 3/f - (-2010)/9 a multiple of 16?
True
Let j be 2 + 1 - 3 - -2. Let r be j/11 - 18450/(-165). Suppose -2*g + 6*g = r. Is 7 a factor of g?
True
Let x = 34 - 6. Let t = x - 16. Does 6 divide t?
True
Let t(o) = o**3 + o - 2 + 7 + 3*o**2 - o**2 - 3*o. Let k be t(-3). Is -8 + 17 + k/2 even?
True
Let j(u) = -11*u + 2. Let d be j(4). Let b be (d/(-15))/((-1)/(-55)). Let l = -79 + b. Is 25 a factor of l?
True
Let c = 440 + -230. Let j = 301 - c. Is j a multiple of 7?
True
Is (8 + -5 - 9) + 455 a multiple of 20?
False
Let f = -20 + 74. Let l(t) = 2*t**3 + 2*t + 6. Let i be l(0). Suppose v - i = f. Is 30 a factor of v?
True
Let o = 26 - 22. Suppose b - 6 = o*x, -b + x + 24 = 6*x. Is 2 a factor of b?
True
Let h(d) = -d**2 + 20. Suppose 111*y = 112*y. Does 5 divide h(y)?
True
Let s = -101 + 149. Is 3 a factor of s?
True
Suppose 5*q + 11 = -x, 5*q + 12 = -2*x - 0*q. Does 2 divide (-22)/2*(0/4 + x)?
False
Let d(x) = 24*x - 2. Let u(q) = -6*q + 1 - 5*q**2 + 4*q**2 + 2*q. Let r be u(-4). Is 12 a factor of d(r)?
False
Let b be 6/(-4)*(-2758)/3. Suppose -g = 6*g - b. Is 29 a factor of g?
False
Let m = -7 + 10. Suppose -65 = -m*w + 145. Let f = w + -36. Does 11 divide f?
False
Let q(n) = 2*n**2 + 24*n - 35. Is q(-16) a multiple of 31?
True
Suppose -2*n + 3*y = -399, 217 = 16*n - 15*n + 2*y. Is n a multiple of 13?
False
Suppose w - 3 = -3*t, -1 = -4*w - t - 0. Suppose -v - v + 4 = w. Suppose -2*n - v*q = -10, -q - 2 = -2*n + 2. Is 2 a factor of n?
False
Is 21 a factor of -3*((-924)/18 - 1)?
False
Is 40 a factor of ((-67050)/250)/(3/(-10))?
False
Let q = -156 + 51. Let p = -50 - q. Is p a multiple of 11?
True
Is 17 a factor of (-2 - 168)*(-231)/55?
True
Let f = 6 + -15. Let z be (9/6)/(f/(-300)). Let q = -24 + z. Is 13 a factor of q?
True
Let r(a) = 2*a - 6. Let u be r(4). Suppose -u*d = -j + 27, 3*j = -4*d + 2*d + 113. Let p = j - 10. Does 7 divide p?
False
Let b(a) = -1080*a - 76. Is b(-1) a multiple of 54?
False
Suppose -7 = v - 6. Let p(a) = -50*a + 1. Is 15 a factor of p(v)?
False
Does 16 divide -5 + (-9)/3 + 328?
True
Suppose 0 = -u + 3, -u - 673 + 2348 = 4*h. Is h a multiple of 19?
True
Let n(m) = -m**2 - 15*m. Let v = -9 - 4. Let u be n(v). Does 10 divide u + -3 + (-3)/(-1)?
False
Does 7 divide 112/32 + 118/4?
False
Let q(t) = t**3 - 10*t. Let a = -8 - -12. Let w(c) = c + 1. Let b(k) = a*w(k) + q(k). Does 25 divide b(5)?
False
Let i be 8/(-16) - 11/(-2). Suppose 3*g + 4*v + 92 = 4*g, 5*g - 410 = -i*v. Is 12 a factor of g?
True
Let a = 4 - -1. Let l = 2 - a. Is 1*(50 - (-3 - l)) a multiple of 25?
True
Suppose -4*a + 2*a = 4, -5*t = -2*a - 979. Is 15 a factor of t?
True
Let d = 10466 - 7250. Is 16 a factor of d?
True
Suppose -56*w - 24*w + 270160 = 0. Does 11 divide w?
True
Is (-86)/(1/2*-4) even?
False
Let w = 20 + -6. Suppose -w = 5*h + 36. Let g(y) = -y**3 - 10*y**2 + 3. Is 3 a factor of g(h)?
True
Let y(n) = -2*n + 1. Let x be y(-5). Is 17 a factor of (x - 45)*(-2 + 0)?
True
Suppose -4539 = -8*g - 1251. Is g a multiple of 23?
False
Suppose 2548 = 65*n - 63*n. Does 13 divide n?
True
Is 10 a factor of -1 + (126 - -5 - 3 - 2)?
False
Suppose -7*z - 466 + 1481 = 0. Does 25 divide z?
False
Let t = 498 + -1010. Does 5 divide (-2)/5 + t/(-80)?
False
Let r(i) = -i**2 - 5*i + 3. Let t be r(-5). Suppose 0 = p - t*h - 78, -h = 2*p - 0*p - 149. Does 15 divide p?
True
Suppose 4*t + 255 = 5*v - 132, -3*t - 309 = -4*v. Suppose -8*n + 5*n + v = 0. Is 11 a factor of n?
False
Let z be (2 + (-3 - -2))*0. Let r = z + 3. Suppose -4*f = -5*a + f, 3*a + r*f = 12. Is a even?
True
Let f = -28 - -40. Suppose f*x + 100 = 16*x. Does 8 divide x?
False
Let y(v) = 4*v + 11. Let d = -8 - -13. Let r be y(d). Suppose -5*o + f = -3*f - 164, o - r = -f. Is o a multiple of 16?
True
Let y(j) = -j**2 - 9*j - 1. Let r be y(-5). Let q(u) = 2*u**3 + 2*u**2 + 4*u + 4. Let z be q(-1). Suppose 4*m - 103 + r = z. Is 4 a factor of m?
False
Let h = 42 - 2. Let p be (-10)/(-55) - h/(-22). Suppose 5*q - 282 = -p*s, -11 = -5*q - 5*s + 274. Is q a multiple of 28?
True
Does 69 divide (-78)/26*-1*184?
True
Let q(w) = w**3 - 7*w**2 - 6*w - 10. Let s be q(8). Let n(z) = z**3 - 6*z**2 + z - 7. Let g be n(s). Does 2 divide 0 + g + -2 + 9?
True
Suppose -7*h + 2*h + 10 = 0. Suppose -5*y = -h*y - 6. Suppose -4*g = -q - 35 - 3, q - 22 = -y*g. Is g a multiple of 3?
False
Suppose -3*p + 6 = 2*x, -2*x + x = 3*p - 6. Suppose f = 2*r + 7, x = 4*f - f + 3*r - 66. Is 8 a factor of f?
False
Is ((-1767)/186)/((-1)/12*1) a multiple of 7?
False
Suppose t = -h - 22, 4*h = 6*h - 4*t + 20. Let r(q) = -q**2 - 22*q - 11. Does 9 divide r(h)?
False
Let q(z) = -4 + 8*z - 3*z - 4*z. Let l be q(-4). Let y(f) = -f**2 - 10*f + 9. Is y(l) a multiple of 15?
False
Let m(u) = u**2 + 4*u + 4. Let f be m(-4). Suppose a = -f*a. Suppose 0 = -3*k + 5*q + 308, a = -2*k + 2*q + 2*q + 206. Is 26 a factor of k?
False
Suppose -4*m - 2*p + 3492 = -4*p, 3504 = 4*m + p. Does 13 divide m?
False
Let l(s) = s - 7. Let a be l(11). Suppose 2*z + 6*k - 128 = k, 0 = a*z + 5*k - 276. Suppose -z = -4*r - 14. Is 15 a factor of r?
True
Suppose 4*f = -4*w + 8, -4*w = 2*f