se h = -4*z + 39333, 4*z - 54388 - 103004 = -4*h. Is h a multiple of 22?
False
Let b(v) = 320*v**2 - 5*v + 4. Let q be b(1). Suppose -q*o + 322*o - 150 = 0. Is o even?
True
Let r = -6493 + 6498. Suppose 0 = -0*s + s - 15. Suppose -s = -r*u + 20. Does 2 divide u?
False
Let s = 4275 + -1881. Is 19 a factor of s?
True
Suppose -12*h + 9*h = 5*z + 1465, 5*z + 1465 = -4*h. Let j = z + 543. Does 10 divide j?
True
Does 22 divide 2/(-8) + (-211878879)/(-3004)?
True
Does 117 divide (-3570616)/(-280) - (-8)/20*2?
True
Let f(a) be the third derivative of -25*a**4/12 + 11*a**3/3 - 201*a**2. Does 50 divide f(-4)?
False
Let i(g) = g + 4. Suppose 0 = q - 2*b - 3, 2*q + 3*b + 15 = -0*b. Let h be i(q). Is (h + 39/21)*7 a multiple of 6?
False
Let l(k) = -k**3 + 14*k**2 + 240*k + 53. Does 26 divide l(16)?
False
Let h = 31 - 31. Suppose h = -2*b + 3*b + 161. Let v = -10 - b. Is 41 a factor of v?
False
Let l = 1953 - 1895. Does 2 divide l?
True
Let j = -58 - -62. Suppose -j = 5*h - 29. Let u = 44 + h. Is 12 a factor of u?
False
Let t(d) = 14*d**2 - 76*d - 715. Does 33 divide t(-12)?
False
Let v be (-1)/(-2) - -6*4/(-48). Suppose v = 2*n - 5*q - 128, n - 64 = -5*q + 4*q. Is n a multiple of 14?
False
Let l be (-1 - -89) + 37/(-37). Suppose -v + 204 = -l. Is 23 a factor of v?
False
Let o(t) = 17*t - 167. Let i be o(-31). Does 16 divide ((-2)/(-4))/(0 + (-1)/i)?
False
Let n(a) = 67*a**2 + 32*a + 117. Is 28 a factor of n(-7)?
False
Let j = 23100 - 45314. Does 29 divide 132/242 + j/(-11)?
False
Let f be ((-1090)/3)/(34/51). Let u = -383 - f. Suppose 0 = -10*r + 4*r + u. Is 6 a factor of r?
False
Suppose 0 = -3*m - 835 - 440. Suppose -1123 = 4*g - 103. Let q = g - m. Is 20 a factor of q?
False
Let a(l) = 7*l**2 - 21*l - 819. Is a(-39) a multiple of 13?
True
Suppose -3*b + 12 = 4*z, 3*b + z = -z + 12. Suppose -2*v = -4*g - 36, 7 = v - b*g - 5. Does 16 divide (-6)/4 + 1188/v?
True
Let b = -44941 + 72969. Is b a multiple of 44?
True
Let o(p) = 3*p + 19. Let d(l) = -3*l - 19. Let y(m) = -3*d(m) - 2*o(m). Let z be y(-17). Is 12/(-8)*(z - 6) a multiple of 3?
True
Suppose 7*p = -2*x + 3*p, -3*x = -2*p. Suppose x = 17*i - 18*i + 96. Is 3 a factor of i?
True
Let s = 7589 - 4480. Is 2 a factor of s?
False
Suppose 0 = 7*a + 7440 - 27145. Let x = a - 1933. Is x a multiple of 62?
False
Suppose 3*d - 7110 = -3*q, -3*d - 4753 = -4*q + 4769. Is q a multiple of 9?
True
Let i be (-3)/2 + (23358/12 - 2). Suppose 23*p - i = 1208. Does 16 divide p?
False
Suppose w - 29598 = -3*c, w - 24*c - 29578 = -23*c. Is 177 a factor of w?
False
Is 27 a factor of (-15 - -15)/12 + 18635?
False
Let h be (2/(-6))/((-4665)/(-360) - 13). Suppose -2*f + 2*k + 424 = 0, -h*f + 2*k + 1057 = -3*f. Is f a multiple of 6?
False
Let x(k) = -7638*k - 102. Is x(-1) a multiple of 48?
True
Let l be 24/42 - 262/(-7). Suppose 2*p - 1 = 5*t + l, -5*t + 25 = 0. Let o = p - 27. Does 4 divide o?
False
Suppose -153*z + 1090 = -152*z. Let u = z - 544. Is u a multiple of 14?
True
Let w(h) = h - 6. Let o be w(10). Let q(r) = 3*r - 15. Let c be q(6). Suppose 0 = 2*g - c*f - 69, -2*g - 2*f + 66 = -o*f. Does 10 divide g?
True
Suppose 1369275 = 81*o - 6*o. Is 19 a factor of o?
False
Let b be (2793 + 5)*(3 - (0 + 2)). Suppose 0 = 4*r + m - 2803, 4*r - 9*m = -11*m + b. Is 39 a factor of r?
True
Let z(r) = 12*r + 50. Let o be z(-4). Suppose 0 = 2*a + 2*t - 1010, o*a + t - 23 - 982 = 0. Is a a multiple of 50?
True
Suppose 49*w - 109242 = -18102. Is w a multiple of 10?
True
Suppose 5*l - 256 = -4*f, 2*f + 18*l - 15*l - 130 = 0. Suppose 56*c - f*c + 471 = 0. Does 4 divide c?
False
Suppose -2*t = 2*m - 4 - 8, 3*m = 3*t. Let g(z) = 16*z**2 - 2*z + 13. Does 9 divide g(t)?
False
Let k = 28468 + -18869. Is 13 a factor of k?
False
Suppose 4*q = 2*n + 834, 2*n = -16*q + 12*q - 858. Let g = -248 - n. Is g a multiple of 5?
True
Let a(i) = -2*i**2 - 35*i - 83. Let t be a(-14). Suppose 8*y + t*y - 20562 = 0. Does 31 divide y?
False
Let p(t) = -286*t - 74. Let x be p(-4). Suppose x + 1042 = 3*w. Is w a multiple of 11?
True
Is (-152180)/(-32) - 19/(2888/(-57)) a multiple of 267?
False
Let k = 50 - 40. Let g(t) = 2 + 4*t**2 - k*t**3 + 11*t + 10 - 6*t. Is g(-3) a multiple of 22?
False
Suppose -3*v - 1 = 4*q + 8, 3 = 3*q - v. Let m(y) = y**3 - 41*y**2 - 57*y + 630. Let p be m(42). Suppose 3*a - 5*d - 17 = q, p*d + d - 2 = 0. Is a even?
False
Let v(p) = -p**3 - 8*p**2 + 2*p + 10. Let u be v(-8). Let m be 2 + -1 + (-4 - u - -160). Suppose c - m = 3*i, -6*c + 4*i + 859 = -c. Does 25 divide c?
True
Let u(i) = i**3 + 13*i**2 + 10. Let p(v) = -4*v - 1. Let j be p(-1). Let k(m) = -m**3 - 14*m**2 - 11. Let q(s) = j*u(s) + 2*k(s). Is 3 a factor of q(-11)?
False
Let m(y) = -y**3 - 3*y + 2247. Let k be m(0). Suppose -10*w + k = -3*w. Is w a multiple of 34?
False
Let j(h) = -h**3 - 7*h**2 + 54*h + 302. Is 35 a factor of j(-19)?
False
Let q = 6133 - -7046. Is q a multiple of 69?
True
Let c be -5 + (-10)/(80/(-10744)). Is c - ((-2)/(-6))/((-3)/54) a multiple of 96?
True
Suppose -4*i + 5*i = 5*v + 396, 2*i = 2. Let q = v - -751. Does 14 divide q?
True
Let w be -1 - (-1 - -5) - 2791/1. Let k = w + 4507. Does 42 divide k?
False
Does 74 divide 374/44*(-3552)/(-6)?
True
Suppose -r + 32 = -16. Let n = r - 42. Is (n/(-4))/(3/(-218)) a multiple of 25?
False
Let t(b) = b**2 + 7*b - 27. Let v be t(-11). Let l = v - 18. Is 9 a factor of (l - 145)*(1 - 9/6)?
False
Let s be (-3)/15 + (-4 - 121/(-5)). Does 20 divide -3 - 3 - s/(-4) - -375?
False
Let h(m) = m - 11. Suppose -c + 5*v + 10 = 0, -5*v + 12 + 68 = 5*c. Let t be h(c). Suppose 26 = u - 4*o, -3*o + 66 = -0*u + t*u. Is 18 a factor of u?
True
Let x be (1880/(-24)*-6)/(-2). Let i = 290 + x. Is i a multiple of 2?
False
Let c = 22688 + -4008. Is c a multiple of 13?
False
Let z(c) = 18*c**3 - 20*c**2 - 21*c + 23. Let y(w) = 11*w**3 - 9*w**2 - 11*w + 11. Let l(v) = 5*y(v) - 3*z(v). Let q be 42/9*(-3 - 0). Is l(q) a multiple of 10?
True
Suppose 33*q + 3629 - 27767 = 47934. Is q a multiple of 84?
True
Let p = 15467 - 10231. Is p a multiple of 14?
True
Suppose 9*d + a + 25684 = 11*d, 0 = -26*a + 156. Is d a multiple of 55?
False
Suppose -7*g + 8 = -9*g - 2*m, 0 = -5*g + 5*m - 20. Is 5 a factor of 5/1 - (g + 13) - -62?
False
Suppose 0 = 3*b + 4*r - 3114, -196*r + 194*r + 3120 = 3*b. Is b a multiple of 138?
False
Let m(k) = 4*k**2 + 3*k + 25. Suppose 5*b = 5*d - 40, 2*d = -4*b + 3*b + 1. Let j be m(b). Suppose -3*g + 4*g = j. Does 21 divide g?
False
Let y(j) = j**2 - 11*j - 5. Let a be y(12). Is 6 a factor of 173 - a/(-3 - 4)?
True
Let s = 22 + -12. Let i be (s/8)/((-4)/32). Let q(r) = -r**3 - 10*r**2 - 3*r + 13. Is 10 a factor of q(i)?
False
Suppose g + 3*g = 92. Suppose 21*z - g*z = 22. Is (-1254)/z - (-4 - 0) a multiple of 33?
False
Let i be (-93)/(-24) - 2/(-16). Suppose 65 = -4*g + 7*g + i*z, z = -2*g + 40. Is 6 a factor of g?
False
Let s(o) = -8*o**2 + 10*o**2 - 17 + 14 - 4*o. Is 17 a factor of s(-7)?
False
Let v(k) = 6*k**3 + 376*k**2 + 38*k - 212. Is v(-61) a multiple of 12?
True
Suppose 3055*r - 3056*r + 3*d = -17688, 35448 = 2*r + 3*d. Does 32 divide r?
False
Suppose -2*j = -2*u - 1398, 6*u - 3485 = -5*j + u. Suppose -2*g + j = 2*n, 0*n = -g + 2*n + 361. Does 34 divide g?
False
Let y be 1838 - (4/(-12) - (-10)/(-6)). Suppose -24*r - y = -29*r. Does 23 divide r?
True
Suppose -1 = -j + 3*b + 10, -2*j = -b - 7. Suppose -4*y - w = 63, 0 = -j*y - 5*w - 4 - 5. Let o(q) = q**3 + 17*q**2 - 5*q - 5. Is o(y) a multiple of 10?
True
Suppose s = -3*g + 25, 0 = 6*s - 4*s - 4*g. Suppose -11*h + s*h = -3, -4*w - 2*h + 1222 = 0. Does 76 divide w?
True
Let b(j) = 71*j + 67 - 7 + 25 - 147*j + 5*j**2 + 83*j. Does 14 divide b(10)?
False
Let p be (-2 - -5)/6 - (-60)/(-8). Let f(u) = -4*u**3 - 15*u**2 + 22*u + 37. Does 26 divide f(p)?
True
Suppose 5*o + 7 = 2*v, 26 = v + 3*o + 2*o. Suppose -4*p + 281 = -v. Let c = 93 - p. Is c a multiple of 11?
False
Let g be ((-22)/4)/((-5)/10). Suppose -379 = -g*m + 1623. Is m a multiple of 14?
True
Let a = 24399 + -15466. Is a a multiple of 69?
False
Let q(b) = 3*b**2 + 13*b + 15. Let m be q(-3). Suppose 2064 = m*n + 3*c, 2*c - 4*c = -4*n + 2746. Does 10 divide n?
False
Suppose 12434 = y + v + 4171, -5*v = -35. Does 16 divide y?
True
Is 60 a factor of (60/(-51))/10 - 100986/(-51)?
True
Let l be (-49390)/(-44)*(-