a factor of h?
True
Suppose -4*r + 2*j = -47334, 3734 = r + 2*j - 8112. Is 22 a factor of r?
True
Let y(g) = -g**2 + 14*g + 4. Let z be ((-20)/3 - -2)/(8/(-24)). Let x be y(z). Suppose 3*l = x*l - 85. Is 17 a factor of l?
True
Let i be (5 + -6)/((-3)/687 + 0). Suppose -r = 3*t - 1777, -2*t + 5*r + i = -950. Suppose -6*u - 160 + t = 0. Is 7 a factor of u?
False
Let x(o) = -o**3 - 4*o**2 + 8*o - 67. Is 52 a factor of x(-15)?
True
Let b(o) = -18*o + 64. Let h be b(7). Let y = h - -158. Does 8 divide y?
True
Suppose 3*z - 5*a = 92 + 17509, z - 4*a = 5867. Is z a multiple of 14?
False
Is 81 a factor of (-65)/15 - (-4841800)/129?
False
Let p(g) = 4*g**2 + 2*g + 1. Let x be p(-1). Suppose 4*z = x*y - 6*y + 191, -4*y + 243 = 3*z. Is y a multiple of 3?
True
Does 11 divide (85/10)/(((-14)/(-792))/7)?
True
Suppose -5*v - 3590 = 3*i - 14819, -5*v - i = -11223. Is v a multiple of 22?
True
Let r be ((-4)/6)/((-3)/((-27)/6)). Let o(u) = 3*u**3 + u**2 - 2*u - 3. Let n be o(r). Is 2 + n - ((-15)/(-3) - 23) a multiple of 5?
False
Is (352 - (3 - -1))/((-66)/(-165)) a multiple of 30?
True
Suppose -74*b + 75446 = -43694. Is b a multiple of 11?
False
Suppose 3*x + 12069 = 4*n, -16*x + 20*x - 15094 = -5*n. Does 8 divide n?
False
Let q = 84 - 82. Suppose q*u = -2*a + 28, -2*a = -u - u - 12. Suppose 15*d = a*d + 110. Is d a multiple of 22?
True
Let u be 10/((-3)/(-17 - 7)). Let h = -3 + u. Does 7 divide h?
True
Suppose 7354 = 2*k - 3*h + 2303, -10067 = -4*k - h. Does 7 divide k?
False
Suppose -12*o = -40283 - 61405. Is 44 a factor of o?
False
Let y = 65 - 63. Suppose 5*i - 79 = -y*n, 4*n + 2*i = 4*i + 98. Is n a multiple of 27?
True
Suppose 0*k - 4*k = 5*h - 85, h = -3*k + 6. Does 55 divide 11/(21/(-180)*(-3)/h)?
True
Suppose 3*n + 9*w - 14*w = 77517, 129195 = 5*n + 2*w. Does 9 divide n?
True
Suppose -8*t + 81 = t. Suppose 200*d = 197*d + t. Suppose 0 = k - d, 3*k + 4 = q - 12. Is 2 a factor of q?
False
Let a(v) = -464*v + 869. Does 37 divide a(-26)?
False
Let d = 22 - 82. Suppose -5*p + 4*q = 2*q + 187, -3*q = 5*p + 207. Let i = p - d. Is 8 a factor of i?
False
Let n(p) = -p**3 + 3*p**2 + 10*p + 4. Let j be n(5). Suppose -j*q = m + 3*m, 20 = 5*m - 5*q. Suppose -4*t + 0*t - 20 = -4*d, m*d - t = 10. Is 5 a factor of d?
True
Let t = 3 - -58. Suppose 101 + t = 3*n. Suppose v + n = 2*q, 4*q - q - 68 = -5*v. Is 8 a factor of q?
False
Let h(w) = w**3 - 13*w**2 - 5*w - 8. Let i(r) = -6*r**2 - 2*r - 4. Let v(y) = 2*h(y) - 5*i(y). Let q be (-3)/15*(-30)/4*2. Is 47 a factor of v(q)?
True
Let t = 559 + -665. Let i = 151 + t. Is i a multiple of 15?
True
Let o = 13302 + -6134. Is o a multiple of 28?
True
Let n be (-50)/(-20)*3*4. Does 32 divide (-2)/15 - 232/n*-7?
False
Let j(b) = -4*b - 43. Let x be j(-10). Does 2 divide -15*((-4)/12 + x)?
True
Is 11 a factor of (-196)/147*(((-645078)/(-8))/(-7) - 0)?
False
Let d(j) = -4*j - 6. Let r be d(-2). Suppose -r*y - 5*x = -1060, -5*y + 3222 - 603 = -3*x. Does 21 divide y?
True
Let y be (2/10)/(16/80) - 3. Is 10 a factor of 2/(y + (-792)/(-393))?
False
Let v = 4946 - -3006. Is v a multiple of 71?
True
Is 41 a factor of 2/((-4)/(-6234)) - 12/(16 - 4)?
True
Suppose -85933 = -15*r + j, -2*j - 17189 = -3*r - 3*j. Is 18 a factor of r?
False
Let r(u) = u - 41. Let p be r(41). Suppose 0 = -c - 1 - p, 3*c - 3237 = -2*m. Is m a multiple of 15?
True
Let p(c) = c**2 - 5*c - 13. Let j be p(7). Let w be 0*(54/60 - (-2)/(-5)). Is 15 a factor of 51/(j*(w - (3 - 4)))?
False
Let x(u) = 6*u**2 + 12*u - 690. Is x(30) a multiple of 10?
True
Let b be 5*((-452)/5 - -2). Let h = -710 - -703. Is 8 a factor of b/h + (-2)/14?
False
Let i(q) be the second derivative of -q**3/6 - 10*q**2 - 20*q. Let u be i(-12). Is (1/(-4)*2)/(u/1872) a multiple of 13?
True
Let b(h) = -1214*h - 1297. Does 12 divide b(-12)?
False
Let s(t) = -t**2 - 8*t + 120. Let l be s(16). Let i = l - -359. Does 5 divide i?
True
Is 7 a factor of 1/(-6) + (-100798)/(-60) + 11/55?
True
Let h be (3/(-6))/(3 - 2)*12. Is (596/h)/((-26)/117) a multiple of 46?
False
Suppose 23 - 72 = 4*r + o, -5*r = -o + 59. Let w(p) = -18 + 2*p + p**2 - 5 + 0*p. Does 10 divide w(r)?
False
Let f be -22*23 - (-1)/(-3)*-3. Does 27 divide -3 - -3 - 0 - f?
False
Let b(m) = -391*m - 26. Let h(v) = -2351*v - 156. Let p(q) = 13*b(q) - 2*h(q). Does 71 divide p(-1)?
True
Suppose 13484 = 68*b - 108848. Is b a multiple of 30?
False
Suppose -1502738 = -365*u + 1524937. Is u a multiple of 217?
False
Let l(w) = -w**2 - 5*w - 2. Let t be l(-9). Let a = -5 + t. Let v = 115 + a. Does 12 divide v?
True
Is 33 a factor of (-162)/(-2511) + (-64447)/(-31)?
True
Let a(g) = 3 - 7*g**3 - 20*g - 4*g**2 + 11*g + 6*g. Is a(-3) a multiple of 11?
True
Suppose 170*y = 215*y - 381375. Does 113 divide y?
True
Let s(t) = -t**3 + 6*t**2 - 5*t + 2. Let d = 23 - 18. Let v be s(d). Suppose -3*b = -3*c + 198, -5*b + v*b + 257 = 4*c. Is c a multiple of 13?
True
Let s(u) = -181*u + 9. Suppose -4*a = -2*o + 2, -4*a + 7 + 1 = -4*o. Does 17 divide s(a)?
False
Let i(p) = p**2. Let w be i(0). Suppose 131 = 11*l - 7*l - 3*x, w = 4*l - 4*x - 132. Is 4 a factor of l?
True
Let q = -162 + 188. Let l = 30 + q. Is l a multiple of 15?
False
Let o(b) = 44*b**3 + 3*b**2 + 32*b - 240. Does 19 divide o(12)?
True
Let q = -550 - -198. Let k = q + 411. Does 11 divide k?
False
Suppose -1 = -n, -2*i + 5*i + 4*n - 28 = 0. Let w be 49 + -52 + 47 + -1. Suppose w = i*b - 181. Is 7 a factor of b?
True
Suppose -5*y + 45 = 4*y. Suppose 3*o - 46 = -2*h - 2, o = -y*h + 123. Does 3 divide h?
False
Suppose -43693 = -110*s + 105*s - 2513. Is s a multiple of 28?
False
Let h(x) = -x**3 + 9*x**2 + 20*x - 25. Let d be h(10). Does 8 divide d/100 + ((-2658)/8)/(-1)?
False
Let d(x) = 22*x**2 + 95*x - 1010. Is d(13) a multiple of 12?
False
Let z(s) = 4*s**2 + 19*s - 136. Is z(9) a multiple of 15?
False
Let w be 17 + -9 - (2*2)/(-2). Let p(u) = 20*u - 38. Let t be p(w). Let r = 12 + t. Is r a multiple of 29?
True
Let p be (10 + -16)/((-3)/2). Suppose p*m - 2160 - 756 = a, m - 4*a - 729 = 0. Does 43 divide m?
False
Let l(i) = i**3 + 27*i**2 + 45*i - 288. Does 17 divide l(-22)?
False
Suppose -d + 5*s - 47760 = -6*d, -7*d - 4*s + 66882 = 0. Does 6 divide d?
True
Does 12 divide ((4640/10)/8)/(2/309)?
False
Suppose 2*n = 2*u + 4*n - 48, 3*u - 2*n - 77 = 0. Suppose -4*p = -u*m + 22*m - 453, 346 = 3*p + 4*m. Is p a multiple of 16?
False
Let y(m) = -m**3 + m**2 - 2*m + 2. Let s be y(-3). Suppose 1118 = -i + s. Does 8 divide 3 - (4/(-14) + i/14)?
True
Let r be 23/((1 - -2) + 232/(-80)). Suppose -b + 3*s = -349, 0 = b + s - r - 99. Is 24 a factor of b?
False
Let r = -12662 + 25272. Is 10 a factor of r?
True
Let x(f) = -33*f + 70. Let q(y) = -67*y + 140. Let r(c) = -2*q(c) + 5*x(c). Is r(-14) a multiple of 14?
True
Suppose 5*y = t - 10776, -2*t - 2*y + 19152 + 2436 = 0. Is 11 a factor of t?
True
Is -5 + (19 + -12 - -21*422) a multiple of 137?
False
Does 37 divide ((-8996)/8 + 10)*(-208)/12?
False
Let u = -2502 - -7538. Is 19 a factor of u?
False
Let u(d) = 3*d**2 + 11*d + 27. Let a be (-3)/(21/(-440)) + (-2)/(-14). Let y = 54 - a. Is 19 a factor of u(y)?
True
Let y(f) = -49*f + 6. Let h be y(-2). Is (-162)/12*(-2 - h/6) a multiple of 3?
True
Let p = -9920 - -14396. Is 11 a factor of p?
False
Let m(u) be the first derivative of -7*u**2/2 - 20*u + 2. Let t(k) = -14*k - 39. Let n(v) = 5*m(v) - 3*t(v). Is n(8) a multiple of 22?
False
Let t = 1503 + 3863. Does 29 divide t?
False
Suppose -4*t = -t + 195. Let r = -25 - t. Let m = 130 - r. Is m a multiple of 18?
True
Suppose -7*v + 12 = -16. Is v/14 + (-8 - 2456/(-28)) a multiple of 10?
True
Let p(d) = -106*d + 99. Let z be p(-16). Does 28 divide 5 + ((-3)/(-18) - z/(-30))?
False
Let f = 376 + 577. Let t = f - 595. Does 13 divide t?
False
Is 4/(32/10) - (5 + 24551/(-4)) a multiple of 22?
False
Let c(s) be the second derivative of -3*s**5/20 + s**4 + 23*s**3/6 - 5*s**2/2 + 60*s. Is 41 a factor of c(-5)?
False
Let c = 92 - 88. Suppose -c*k + 828 = -2*s, 5*s = k + s - 200. Does 12 divide k?
False
Suppose -5*z + 5*i = 2*i - 27, 3*i - 21 = -3*z. Let g = 6 - z. Suppose 4*j - 398 + 146 = g. Is 7 a factor of j?
True
Let a(s) = -2*s - 14. Suppose 0 = 6*c + 47 - 5. Let z be a(c). Suppose z = -j + 4*r + 24, -6*r = -r. Is j even?
True
Suppose -34*j = -55*j - 40*j + 218014. Does 3