 divide h?
True
Suppose -m + g = -g - 14, m - g - 11 = 0. Let b = m - 2. Suppose -b*o = -2*o - 140. Is 22 a factor of o?
False
Suppose p - 2774 = -2*n, 4*p + 1378 = -0*n + n. Suppose n = 8*q - q. Is 52 a factor of q?
False
Suppose -5*q + 13856 = -2*o + 5571, -5*q - 5*o = -8320. Does 7 divide q?
True
Let o(z) = z**3 + 2*z**2 - 5*z - 2. Let l be o(-3). Let x be 15/20*(-24)/(-9). Suppose x*w - 37 = 5*a, 4*w + 0*a - l*a - 104 = 0. Is 12 a factor of w?
False
Suppose 5*v + 3 = -f + 21, -2*v - 9 = -5*f. Let g = f + -23. Is (-10)/((-36)/g - 2) a multiple of 10?
True
Let v(x) = -x**3 - 19*x**2 - 24*x - 42. Is 101 a factor of v(-23)?
True
Let l = 11 + -18. Let t(q) = 3*q + 21. Let m be t(l). Suppose m = -2*u + o + 49 + 14, 3*u = -o + 92. Is u a multiple of 10?
False
Let v(x) be the second derivative of -x**3 + x**2/2 + 12*x. Let s(j) = 2*j - 1. Let q be s(-3). Is v(q) a multiple of 9?
False
Let x(b) = b**2 + 6*b + 3. Let g be x(-6). Suppose -4*k + g*m + 170 = -127, -4*m + 276 = 4*k. Is k a multiple of 9?
True
Let t(a) = -a + 11. Let c be t(6). Suppose c*o + 5*k = 0, 6*o = o - 3*k + 6. Suppose 155 = o*x - 5*v, 2*x - v - 130 = -3*v. Does 15 divide x?
True
Is 1 + (-8544)/(-18) + (-16)/(-12) a multiple of 53?
True
Suppose 1 = 6*p + 13. Does 9 divide ((-20)/16 - 0)/(p/56)?
False
Suppose -5*w = -m - 11 - 8, 5 = -w - 2*m. Suppose -w*a + 265 = l, -3*l = -2*l - 4. Is a a multiple of 29?
True
Suppose -k = -2*c - 4*k + 20, 3*k + 30 = 3*c. Suppose 0 = -y - 4 - c. Let t = y + 64. Does 12 divide t?
False
Let k be 2*(6/(-2) - -5). Suppose -k*c + 3 = -5. Suppose -c*u + 26 = -u. Is u a multiple of 13?
True
Suppose -6*i = -i - 190. Let a(c) = -c**3 + c**2 - c - 24. Let l be a(0). Let f = i + l. Is f a multiple of 3?
False
Let s(n) = -14*n - 34. Let p be s(-7). Suppose 3*d = 2*c + 104, -2*d + 0*c + p = 4*c. Is d a multiple of 17?
True
Let f(i) be the first derivative of -i**2/2 + 2*i - 10. Let l be f(1). Is 32 a factor of (99/3)/1 - l?
True
Suppose 3*m = 16 - 31. Let l(j) = 6*j**2 + 10*j + 8. Is l(m) a multiple of 27?
True
Let a be (-372)/4 - (3 - 6). Let o be ((-10)/(-6))/((-15)/a). Suppose 90 = 2*j - o. Is 25 a factor of j?
True
Suppose 0*j = j + 37. Let r = 8 - j. Is r a multiple of 9?
True
Let d be (-2 - -5) + -1 + -53. Let j = d + 146. Is j a multiple of 19?
True
Let f = -47 - -28. Does 25 divide 4/((-12)/f)*21?
False
Let f be ((-24)/21)/(2/(-14)). Let z = 8 - f. Suppose 7*i + 17 - 465 = z. Is 36 a factor of i?
False
Is (3 - 4)/(6/(-636)) a multiple of 6?
False
Let d = 71 + -36. Suppose d = r + 5. Is r a multiple of 4?
False
Let h = -15 - 48. Let d = -6 - h. Is 19 a factor of d?
True
Let g(q) = -q**2 + 14*q - 3. Let x be g(14). Does 19 divide 51 - (1 + 1 + x)?
False
Suppose -4*y + 1088 + 84 = 0. Suppose -p + y = 34. Is p a multiple of 14?
False
Suppose -3*x + 2*b - 4 = -16, 4*x = -5*b + 16. Is 13 a factor of (-3)/(7 - x) + 50?
False
Suppose -25*l + 3300 + 3575 = 0. Is 3 a factor of l?
False
Suppose 0 = p + p - 1050. Let s be (-6)/4 - -1 - (-60)/8. Suppose 12*m = s*m + p. Does 18 divide m?
False
Let o be 4 - (3 - -8) - -1. Is ((-5)/((-20)/(-8)) - o) + 278 a multiple of 43?
False
Let y(k) = k**3 + 15*k**2 + k + 19. Let b be y(-15). Suppose -48 = -7*w + b*w. Is 16 a factor of w?
True
Let i be -1 + (-8)/(-2) - 1. Suppose -6*a + a + 9 = -3*v, -15 = -5*a. Suppose i*y = 5*h + 4, -3*y + 5 = -v*y - h. Does 7 divide y?
True
Let t be (-1*(-2 + 4))/(-2). Suppose 2*n - 7 = -t. Suppose -v - 64 = -n*x, -3*x = -2*x + v - 24. Is x a multiple of 11?
True
Suppose -2*b + 4 = -0*b, 667 = 3*d + 2*b. Does 13 divide d?
True
Let h = 50 - 48. Is ((-21)/h)/(6/(-36)) a multiple of 7?
True
Let k = -3 + 6. Let y(c) = 2*c + 0*c - 4 - 12*c - c**k - 9*c**2 + 6. Does 9 divide y(-8)?
True
Let j = 400 + -387. Is 2 a factor of j?
False
Suppose 0 = -f + 29 - 22. Suppose f*p = -2*c + 2*p + 86, -2*c + p = -98. Does 5 divide c?
False
Suppose 4*a + 416 = 8*a + 5*k, k = -3*a + 312. Is 22 a factor of a?
False
Suppose 4*g + 2456 = 4*l, -11*l + 6*l - 5*g + 3050 = 0. Does 34 divide l?
True
Let v be -1 + (40/4 - -1). Let a = -8 + v. Suppose -a*l = -4*l + 4. Does 2 divide l?
True
Suppose 27086 + 20962 = 88*s. Is 8 a factor of s?
False
Suppose -2*u + 30 = w - 5*u, -5*u = -2*w + 65. Let o = w - -7. Is o a multiple of 43?
False
Let i(c) = 2*c**3 - 13*c**2 + 14*c - 11. Is i(9) a multiple of 8?
True
Let x(v) = 19*v**2 + 2*v - 5. Is 20 a factor of x(-5)?
True
Suppose -10*k = -3289 - 11. Is 12 a factor of k?
False
Is 20 a factor of (8 - (-1 - -8)) + 1256?
False
Let s = 328 + -32. Is 60 a factor of s?
False
Let z be -9*(-32)/6 - 2. Suppose -3*p - 43 + z = 0. Is 17/((2/p)/2) a multiple of 5?
False
Let g = 1204 + -904. Is 4 a factor of g?
True
Let g(v) = 2*v**2 + 3*v + 9. Let i be g(-6). Is (32/(-6))/((-6)/i) a multiple of 10?
False
Let s(j) = 16*j**2 + 21*j - 102. Does 38 divide s(6)?
False
Let y be 10/20 + 5511/6. Suppose -551 = -7*v + y. Is 35 a factor of v?
True
Suppose -l - 933 = 601. Is 17 a factor of l/(-30) - (-14)/(-105)?
True
Let b be (-854)/(-5) + (-12)/(-60). Suppose -4*n + b = 5*n. Does 19 divide n?
True
Let t(g) = -26*g + 150. Does 16 divide t(-9)?
True
Let x(n) = -n**3 - 10*n**2 - 30*n - 42. Does 67 divide x(-11)?
False
Let o(q) = q**3 - 15*q**2 + 18*q + 1. Let j be o(15). Let z = j - -37. Is 22 a factor of z?
True
Let n(m) = -m**3 + 7*m**2. Let c be n(7). Suppose c + 36 = s. Let j = -12 + s. Is j a multiple of 10?
False
Let d = -17 + 33. Suppose 12*q = d*q - 32. Is 2 a factor of q?
True
Let g = -4999 - -8485. Does 42 divide g?
True
Is (-3 + 35/15)/(2/(-810)) a multiple of 14?
False
Suppose 1053 = 5*p + 2*q - 1346, -p + 481 = q. Is p a multiple of 10?
False
Let y(o) be the first derivative of -o**3/3 - 3*o**2/2 - 3*o - 3. Let v be y(-4). Does 8 divide (14 - 2) + v + 6?
False
Let p = 61 + 33. Suppose j - 106 = -p. Is 12 a factor of j?
True
Suppose -u - 5 = -2*h, 0*u - 13 = u + 2*h. Let l be 3/(u/(-6)) + -7. Let q(g) = g**2 + g + 6. Does 13 divide q(l)?
True
Suppose -4*l + 2*a + 0 = 2, 7 = 4*l + a. Let u be l + 2 + -2 - -172. Suppose -u = -5*h - 33. Is 7 a factor of h?
True
Suppose -2 = -3*h - 2*k - 6, -2*h = 4*k + 16. Suppose 3*l - 5*l = -4*p - 104, 0 = 2*l + h*p - 92. Is 12 a factor of l?
True
Let s = 21 + -19. Suppose 2 = -d - s*x - 2*x, 4*x = -2*d. Suppose 5*k - 2*k - 244 = -2*q, d*k - 3*q = 154. Is k a multiple of 20?
True
Let d = -212 - -402. Is 10 a factor of d?
True
Let l(b) = -96*b**3 + 4*b**2 - 3*b - 4. Let h be l(3). Let z be h/(-21) + (-1)/3. Suppose 18 = 2*x - z. Is 25 a factor of x?
False
Suppose -x = -4, 4*u + 5*x = 3*x - 344. Is u/(-10)*(9 - 16/4) a multiple of 22?
True
Let g be 3 - (-35 + 5 + 6/2). Suppose 2*y + 33 = 4*b + 11, -4*b + 13 = y. Suppose -b*r - r = -g. Is 6 a factor of r?
True
Let o be 20/(-10) - (-4138 + (1 - 2)). Is o/27 - 2/9 a multiple of 9?
True
Let n(t) = 2*t**2 - 6*t - 6. Let o be n(5). Suppose 0 = 5*h + 3*p + 226, -3*h + 4*h + 52 = -4*p. Let d = o - h. Does 15 divide d?
False
Let h = 11 - -9. Is (4 - h/3)*-6 a multiple of 3?
False
Suppose 296 = 6*a - 40. Let f = a + -49. Is f a multiple of 7?
True
Let n be -2*(15/(-4))/((-15)/(-10)). Suppose 19 = -n*j + 169. Does 3 divide j?
True
Suppose -10 = 4*u + 2. Let p be (-4)/u*(-3)/(-2). Suppose m = 2*m + p*g - 105, -4*g = 4*m - 424. Is m a multiple of 27?
False
Let y be 96/(-10)*560/(-21). Suppose 3*j + 4*p = 7*j - y, j = -5*p + 76. Does 11 divide j?
True
Suppose 0 = -k + z + 634, 11*k + 628 = 12*k + 5*z. Does 42 divide k?
False
Let q(n) = 75*n**2 + 33*n + 2. Is 5 a factor of q(-3)?
False
Suppose 0 = -5*p + 15, -3*p + 1902 = 3*w - p. Suppose 3*m - w = -m. Suppose 5*b + 4*f - 164 = 0, 7*b - 2*f = 2*b + m. Is 32 a factor of b?
True
Suppose 12*r - 5*r - 315 = 0. Does 3 divide r?
True
Let s(j) = 7*j**2 - 12*j + 195. Does 122 divide s(25)?
True
Let v be ((-14)/(-35))/((-1)/(-5)). Suppose 2*t + v - 6 = 0. Let q(s) = 3*s + 3. Does 6 divide q(t)?
False
Let u(c) = -417*c + 42. Is 48 a factor of u(-6)?
True
Suppose 0*y = -4*y - 3*s + 5562, -2 = s. Does 39 divide 20/15 - y/(-9)?
True
Let a(n) = n**2 - 9*n + 14. Let w be a(8). Suppose -q = m + w + 2, 5*q - 5*m - 10 = 0. Is 28 a factor of (86 - 12/q) + 3?
False
Let q be (-2)/3 - (-48)/18. Does 20 divide (0 - 4)/q + 34?
False
Let a(q) = 37*q - 145. Is 4 a factor of a(6)?
False
Let l(x) be the