 Does 11 divide y?
True
Let y(c) = -c**3 - 11*c**2 + 14*c + 27. Let h be y(-12). Let z(d) = 7*d**3 - 4*d**2 + 2*d + 4. Is 25 a factor of z(h)?
False
Let x = -127 + 157. Suppose -3 = 9*q - x. Is q a multiple of 3?
True
Let d(x) = x**3 - 4*x**2 + 2*x - 6. Let w be d(4). Let f(a) = -a**2 - 13*a + 6. Let s be f(-13). Suppose w*t + 144 = s*t. Is t a multiple of 12?
True
Let i(o) = -177*o - 202. Is 47 a factor of i(-3)?
True
Suppose -2*i + 5*i + 168 = h, -4*i + 296 = 2*h. Is h a multiple of 23?
False
Let n(l) = 16*l. Is 4 a factor of n(2)?
True
Let r = 2232 - 528. Is r a multiple of 8?
True
Let g = 63 - 75. Let p(y) = y**3 - y**2 - 296. Let m be p(0). Is 18/g*m/6 a multiple of 18?
False
Let z(c) = 3*c**2 + 3*c. Let l be 10*(27/6)/9. Does 15 divide z(l)?
True
Suppose -2*b - 3*b = 4*l - 60, -5*b = 2*l - 30. Is l a multiple of 2?
False
Is 15 a factor of (-786)/(-24)*4 + 4?
True
Suppose q + 2*c + 38 - 368 = 0, 2*c = 2*q - 660. Does 16 divide q?
False
Let z = -46 + 83. Is z a multiple of 8?
False
Let d = 1880 + -1715. Is d a multiple of 33?
True
Suppose v + 3*v = 8. Suppose 4*r + 24 = v*w, 2*r - 42 + 0 = -2*w. Does 6 divide w?
True
Let x(t) be the first derivative of t**3/3 - 4*t**2 + 223*t - 41. Does 32 divide x(0)?
False
Suppose -34*w + 40*w - 42 = 0. Let o(p) = 2*p**2 + p - 2. Let j be o(2). Suppose -j*c = -w*c - 66. Does 11 divide c?
True
Let q = -400 + 478. Is q a multiple of 6?
True
Suppose -6*w = -563 + 23. Is 2 a factor of w?
True
Let z = -6461 - -9386. Does 15 divide z?
True
Suppose 14*a + 9*a = 7452. Is 13 a factor of a?
False
Suppose 0 = 4*y - 3*y + 34. Let d be -1 + -2 - -4 - 8. Let v = d - y. Does 4 divide v?
False
Suppose -131 + 15 = -4*c. Let o = 35 - c. Suppose 0*y = -o*y + 42. Does 7 divide y?
True
Let m(j) = 312*j**3 + 2*j**2 - 5*j. Does 38 divide m(2)?
False
Let w(v) = -v - 4. Let m be w(4). Let p(k) = -2*k**3 - 10*k**2 + 8*k. Let q be p(m). Suppose -15*n + q = -10*n. Is n a multiple of 32?
True
Let c = -1660 - -2545. Is 15 a factor of c?
True
Let p(j) = 166*j**2 + 20*j + 36. Is p(-2) a multiple of 3?
True
Let z(a) = -a**3 - 8*a**2 + 13*a + 16. Let d be z(-13). Suppose 3*v + 248 = d. Is 20 a factor of v?
False
Let d = 6 + -4. Is -94*(9/6 - d) a multiple of 13?
False
Let t be (8/(-10))/(-7 + 2343/335). Let z = 191 - t. Is z a multiple of 37?
False
Let w(a) = -41*a + 32. Let z be w(-11). Suppose 7*b - 10*b = -z. Is b a multiple of 27?
False
Let a(r) = -3*r - 9*r - r**2 - 2*r + 0*r - 3. Is 7 a factor of a(-10)?
False
Let x = -1209 - -1741. Does 19 divide x?
True
Let j = 42 - 73. Let y = j + 83. Is y a multiple of 26?
True
Let a be (2 - -2)/(-1) - 90/(-5). Suppose -4*b + a*b - 1890 = 0. Is 21 a factor of b?
True
Let n = 285 + -249. Is n a multiple of 2?
True
Suppose 0 = -2*v + v + 3*v. Suppose v = s - 3, g - 2*s - 16 - 22 = 0. Is g a multiple of 11?
True
Suppose 4*z - r = 1853, -z - r + 0*r + 457 = 0. Suppose -18*t + z = -15*t. Is 14 a factor of t?
True
Suppose 4*g - 3*g = -n + 146, 5*g - 762 = 3*n. Suppose g = 4*d - 70. Does 10 divide d?
False
Let i = -281 - -344. Does 9 divide i?
True
Suppose 6*r - 12*r + 552 = 0. Is 47 a factor of r?
False
Let y(i) = -i + 68. Let q be (0/(15/(-3)))/1. Is y(q) a multiple of 33?
False
Suppose 14*a - 12081 = 22415. Is a a multiple of 22?
True
Suppose 5*t = 2*a + 1 - 18, 2*a = 4*t + 16. Suppose 236 + 688 = a*s. Is 11 a factor of s?
True
Let o = 5 - 8. Is 12 a factor of o + (1*-60)/(-4)?
True
Let k = 144 - 44. Does 16 divide k?
False
Let d(h) = -2*h - 14. Let n be d(-8). Suppose -g = n*g + 12. Does 17 divide g/8 - (-411)/6?
True
Let w = 972 - 244. Is 24 a factor of w?
False
Let n = 14 + -12. Suppose -c = n*w - 7, 9*w + 5*c - 15 = 4*w. Suppose 0 = -w*t - 2*j + j + 24, -2*t + 4*j + 30 = 0. Is 5 a factor of t?
False
Let t = -138 - -316. Let p = t - 91. Is p a multiple of 18?
False
Let i = 8 - 13. Does 2 divide 56 + i - 4 - 4?
False
Let p(q) = -6*q + 32. Let y be p(10). Let c be 4/14 - (-932)/(-28). Let x = y - c. Is x even?
False
Let y be 6/(-8) + 9993/12. Suppose -y = -10*d - 6*d. Is 4 a factor of d?
True
Suppose -4*a - 585 = -y, 5*y - 251 = 3*a + 2589. Let x = -390 + y. Is 25 a factor of x?
True
Suppose -18365 = -4*i - 7805. Is 55 a factor of i?
True
Suppose 10 = -i + 6*i. Let t be (1/i)/((-1)/(-24)). Suppose -o + t = o. Is 6 a factor of o?
True
Let i(a) = -4*a + 40. Let d be i(6). Suppose -d*z + 399 = -305. Is 14 a factor of z?
False
Let f(i) = 2*i**2 - 10*i + 8. Suppose -12*s - 42 = -18*s. Is 18 a factor of f(s)?
True
Let o(z) = 3*z - 51. Is o(19) a multiple of 4?
False
Let s be 3/(-6)*-2*-16. Let u = 45 + s. Is 9 a factor of u?
False
Let p(k) = k**3 + 8*k**2 - 8*k + 7. Let i be p(-9). Is 15 a factor of 1/i + 0 + (-3645)/(-18)?
False
Suppose -135 = -0*p - 2*p + 3*b, 3*p = -b + 208. Suppose 8*s + p = 9*s. Is (33/(-2))/(s/(-184)) a multiple of 13?
False
Let f = 2039 - 750. Is 7 a factor of f?
False
Suppose 0 = 4*f, -3*q - 2*f - 10 = -115. Is 5 a factor of q?
True
Let n = -629 + 915. Is 26 a factor of n?
True
Let p(a) = 153*a - 583. Does 52 divide p(31)?
True
Suppose c - 2*c - 3*k = -197, 2*c + 5*k - 397 = 0. Let l = 19 + c. Is 32 a factor of l?
False
Let g(y) = y**2 + 11*y + 48. Is 18 a factor of g(13)?
True
Suppose -11 = -5*p - s + 3*s, -p + 5*s = 7. Let h be 531/12 + p/4. Suppose -3*a - h - 32 = -2*w, 79 = 2*w - 5*a. Is w a multiple of 32?
False
Let n(h) = 5*h - 16. Let q be ((-5)/10)/((-3)/30). Is 3 a factor of n(q)?
True
Let m(u) = -2*u - 47. Let y be m(-22). Does 15 divide 10/(-6)*y*24?
True
Let z = -85 - -92. Suppose -385 = -0*k - z*k. Is k a multiple of 4?
False
Suppose 33*k = -41*k + 157472. Is 76 a factor of k?
True
Suppose 5*o + 31 - 124 = -m, 5*m + 2*o = 511. Is ((-10)/4)/5 - m/(-2) a multiple of 9?
False
Let n(i) = -i**2 + 1. Let v(k) = -33*k**2 + k + 2. Let x(f) = 4*n(f) - v(f). Does 8 divide x(1)?
False
Let i = 820 + -480. Is i a multiple of 17?
True
Let o = 131 + 177. Is 35 a factor of o?
False
Suppose -5*h - 135 = -2*i, 0*h = 3*h - 2*i + 77. Let s = 23 - h. Is s a multiple of 13?
True
Let m(v) = 1. Let k(n) be the second derivative of n**4/12 + 7*n**3/6 - 3*n**2 + 3*n. Let z(g) = -k(g) - 6*m(g). Is 6 a factor of z(-5)?
False
Suppose 3*d = -2*g + 1329, -3*g - 416 = -2*d - 2377. Is g a multiple of 73?
True
Let b(r) = 30*r**2 - r. Let g = -38 + 37. Is 8 a factor of b(g)?
False
Suppose -9776 = 3611*m - 3619*m. Does 44 divide m?
False
Suppose -4*v = -28 - 32. Suppose 11*u = v*u - 36. Is 5 a factor of u?
False
Suppose 13 - 169 = -3*s. Is s a multiple of 5?
False
Let f(v) = -2*v + 15. Let m be f(6). Suppose m*s + 0*s = 135. Is s a multiple of 6?
False
Suppose 988*c - 10446 = 982*c. Does 40 divide c?
False
Is (6 - 0) + -2 + 1870 + 3 a multiple of 15?
False
Let b(u) = 2*u**2 + 7*u + 865. Does 14 divide b(0)?
False
Does 69 divide (4 - 50)*(2/(-1) + -34)?
True
Let h(c) = -7*c**3 - 4*c**2 - 7*c - 5. Is 5 a factor of h(-1)?
True
Let z = 32 + -18. Let i = z + 8. Suppose 5*p + i = 277. Is p a multiple of 17?
True
Suppose 2*p - 608 = -2*z, 0*z = -4*p + 3*z + 1230. Is 18 a factor of p?
True
Let j(f) be the second derivative of -f**5/20 - f**4/12 - f**3/6 + 19*f**2 + 3*f. Let g(b) = b - 12. Let h be g(12). Is 14 a factor of j(h)?
False
Let h = -139 - -349. Does 44 divide h?
False
Suppose -8*i - 1560 + 8096 = 0. Is i a multiple of 100?
False
Let x(j) = j**3 + 5*j**2 + j + 6. Suppose -17*b = -12*b + 15. Is x(b) a multiple of 4?
False
Suppose 0 = 3*u - 12, -3*f + 634 = -0*f - 5*u. Is f a multiple of 74?
False
Let y = 54 + -33. Let u = -13 + 6. Let g = y - u. Is g a multiple of 9?
False
Is 55 a factor of (-4)/(-6)*669*(-3)/(-6)?
False
Let x be (4 + 2)*3/6. Suppose -92 - 7 = -5*m - 2*z, 9 = -x*z. Is 7 a factor of m?
True
Suppose 5*g + 2*s = 25, 5*g - 5*s - 9 = 16. Suppose 3*y + 2*c = 61, 105 = g*y + 5*c - 0. Does 19 divide y?
True
Let h be -1*(-2 + 1)*9. Suppose 2*m = j + h, -3*m = -2*m - 5*j. Suppose 0 = -m*q + 9 + 11. Is q a multiple of 4?
True
Suppose 4*v - m - 41 = 569, m = 3*v - 457. Suppose 30 = w - 0*w - 5*y, 0 = -2*y - 10. Suppose -4*t + 5*o + v = 0, -t - w*o = -25 - 32. Does 21 divide t?
True
Let u(w) = 326*w + 106. Is u(1) a multiple of 4?
True
Is (-21)/(126/204)*-43 a multiple of 43?
True
Let g be ((-3)/(-6))/((-2)/(-220)). Suppose -58*x + 450 = -g*x. Is x a multiple of 25?
True
Suppose 8695 + 169 = 