 a multiple of 19?
True
Let s be (-5 + 6)*(-3)/(6/(-10)). Suppose -5*q = -j + 2421 - 779, s*j + 5*q = 8150. Suppose 14*z - j = -2*z. Does 6 divide z?
True
Let t(u) = -7*u - 102. Let h be t(-15). Suppose 6*d - 50 = -j + 4*d, -h*d - 198 = -5*j. Is j a multiple of 11?
False
Does 32 divide 3248154/260 - (4 - (3 + 44/40))?
False
Suppose 368*t + 1326089 + 2662511 = 1182*t. Is t a multiple of 50?
True
Let k(i) = 2 + 67*i**2 + 6 - 66*i**2. Suppose 2*b + 32 = 2*x, 5*b + 3 = -3*x + x. Is k(x) a multiple of 47?
False
Let m be ((-5)/(-2))/(11/176). Let c = m - 35. Suppose -5*d = c*t - 245, t = -0*d + 2*d + 43. Is 5 a factor of t?
False
Is 67 a factor of -2*16/((-608)/386669)?
False
Let b(r) = -4*r**3 + 1197*r**2 + 2 + 8*r + 3*r**3 - 1190*r**2. Let t be b(8). Suppose -2*u - 3*u = -t*i + 169, -4*i + u + 347 = 0. Is i a multiple of 28?
False
Let u = 597 - 610. Does 44 divide (-3)/(-8) - (u + 30303/(-24))?
True
Suppose -443*c + 1199*c - 2223396 = 0. Does 8 divide c?
False
Let m = 8805 + 23628. Does 19 divide m?
True
Let u(g) = 185*g**3 + 2*g**2 + 4*g + 3. Let i be u(-1). Does 14 divide -3 + (-2 - i) + 3?
True
Suppose -15 = -5*p, 4*l + 2*p - 14 = 4*p. Let o(j) = 3 - 2 + j**2 + 4*j + 2. Does 4 divide o(l)?
True
Let j be 10 + (-1 - -2)*-4. Let n be (4/((-24)/(-9)))/(21/476). Let q = j + n. Is 10 a factor of q?
True
Let j = -36647 + 55142. Does 9 divide j?
True
Let u be 3 + -4 + (1940 - (-6 - -3)). Suppose 10*c - 38 = u. Is c a multiple of 12?
False
Is 1 + 1693 - (-11 - -20) a multiple of 49?
False
Suppose 4*b = 2*v + 14077 - 2541, 5*b - 14426 = v. Is 49 a factor of b?
False
Let f = 249 - -1008. Suppose -2095 = -3*z - 2*z - 3*m, 0 = -3*z + 4*m + f. Is 14 a factor of z?
False
Let f(p) = 89*p + 18. Let j = -262 - -266. Is f(j) a multiple of 22?
True
Let v be 4/5*(-4 + -1). Let f(h) = 11*h**2 + 5 + 114*h - 113*h - 1. Is f(v) a multiple of 15?
False
Let d(b) = 3*b**3 - 2*b. Let t be d(0). Suppose 3*y - 69*y + 72072 = t. Is 21 a factor of y?
True
Let z = -877 - -872. Let m(f) = 1. Let q(y) = -5*y - 8. Let t(w) = -2*m(w) + q(w). Is 12 a factor of t(z)?
False
Suppose 2*l = -l + 48. Let i be l/(-6)*(8 - 80). Let f = i - 87. Does 15 divide f?
True
Let o(f) = 16*f**2 + 3. Let q be o(-3). Let c(u) = u**3 + 5*u**2 - 7*u + 1. Let h be c(-7). Let d = q + h. Does 9 divide d?
True
Let p = -31092 - -31332. Does 2 divide p?
True
Is 242/22 - (-3 + -12442) a multiple of 36?
True
Suppose 0 = -5*a - 2*n + 60, 0 = -0*a + 2*a - 5*n - 24. Does 19 divide 27330/40 - a/(-16)?
True
Let j(t) = 19*t**2 + 31*t - 2. Let m be j(-7). Suppose 3*l - m = -5*i, l + 35 = -i + 177. Does 13 divide i?
True
Let a = -24 + 30. Let x be 3/a + (-1290)/(-12). Let f = x + 8. Does 29 divide f?
True
Let r be 3/((4 - 3)/3). Let n be (0 + 2)*72/r. Is 25 a factor of 4/n + (-4193)/(-28)?
True
Let u be 290*(-5)/(-20)*-2. Let b = 332 + u. Is 10 a factor of b?
False
Suppose 1139 = 10*u - 4881. Let b = u - 422. Is 18 a factor of b?
True
Is -4 - (160380/(-6))/6 a multiple of 10?
False
Suppose -132*t + 110*t = -617716. Is t a multiple of 37?
False
Let r be 29796/18 + (-12)/9 + 1. Suppose 4*a = 5*m + 1651, r = -a + 5*a - m. Is a a multiple of 18?
True
Let o(b) = -4*b**3 - 14*b**2 - 31*b - 26. Does 56 divide o(-11)?
False
Suppose -6*f + 2*f + 5653 + 15371 = 0. Does 9 divide f?
True
Let p(w) = -450*w - 4680. Is 7 a factor of p(-16)?
True
Suppose 72*p = 397 + 20627. Is 3 a factor of p?
False
Let u be 2/2*6 - 1. Let j = -576 + 692. Suppose -j = -i - i - 4*c, -2*i + 117 = u*c. Does 28 divide i?
True
Let x(r) = 54*r**2 + 75*r - 205. Does 3 divide x(3)?
False
Let d be (28/(-6))/((-12)/414). Let y(x) = -12*x - 23. Let h be y(-10). Let q = d - h. Is q a multiple of 41?
False
Let r = 8217 + 4814. Is 31 a factor of r?
False
Suppose 2*x - 15682 = -4*t, 3*t + 864 = -5*x + 40118. Is 5 a factor of x?
True
Suppose -b - 17830 = -3*g, 77*g + b - 29714 = 72*g. Is 108 a factor of g?
False
Does 3 divide (-215930)/(-91) + 64/56?
False
Let j be (6/(-12))/((-2)/(-188)). Let d = j + 42. Does 14 divide (12/d)/((-26)/455)?
True
Let j = 528 - 120. Is j a multiple of 18?
False
Suppose 0*m - 5*m + 14 = 3*b, 2*b - 3*m - 3 = 0. Suppose 3*t = -g + 227, 9*t = 6*t + b*g + 231. Is 4 a factor of t?
True
Let u be (-60)/16*2*(-12)/(-9). Let d be (9 + u)/((-2)/(-32)). Does 10 divide (25 - 0) + (-21 - d)?
True
Suppose p + o = 3384, 215*p - 219*p - 5*o = -13544. Is 30 a factor of p?
False
Suppose 0 = 5*g + 3*q - 49 - 26, -30 = -2*g + 4*q. Let s be 1 + -2 - g/(-5). Is (s/(-5))/(2/(-640)) a multiple of 17?
False
Suppose -49*d + 42*d - 2534 = 0. Let x = d + 638. Is 17 a factor of x?
False
Suppose v - 1295 = -13*f + 12*f, 1295 = v + 3*f. Is 5 a factor of v?
True
Suppose 4*k = 6*y - 2*y + 28, 2*k - 5*y = 29. Suppose 3*u - 450 = 2*r, -k*u + 0*r - 2*r = -310. Suppose 0 = 2*v - u + 42. Is v a multiple of 11?
True
Suppose -19*q - 13 = -51. Suppose 8*p - 110 = -q*x + 12*p, -p + 95 = 2*x. Does 49 divide x?
True
Let u(b) be the first derivative of b**6/120 + b**5/40 - b**4/4 - 5*b**3 + 20. Let o(h) be the third derivative of u(h). Does 20 divide o(6)?
True
Let v(x) = x**2 + 41*x - 33. Let m be v(-30). Let o = m + 688. Does 25 divide o?
True
Is 19 a factor of ((-692037)/(-38))/(3/2)?
True
Let b be (5/(-1))/(7/(-3) - -2). Suppose -5 = 2*l - 3, 4*f = 3*l + b. Suppose -p = -f - 130. Is 19 a factor of p?
True
Let h(g) = -g**3 - 4*g**2 - 2*g - 4. Let s be h(-4). Suppose 0 = -3*k + d + 2*d + 1887, d = -s*k + 2521. Is k a multiple of 10?
True
Suppose 5*l - 7488 = -5*l + 4602. Is l a multiple of 39?
True
Is 30 a factor of (6840/240)/(4/303*1/8)?
False
Suppose 2*n = -g - 4, 5*g - 6 - 16 = 4*n. Let j be (39/n + -1)*72/(-4). Is 21 a factor of (j/(-24))/((-1)/6)?
True
Let w = 11688 - 10624. Is 38 a factor of w?
True
Suppose -839991 = -62*c + 1097943. Is c a multiple of 69?
True
Let b = 18726 - 16360. Does 14 divide b?
True
Let m(n) = 46*n**2 - 7*n. Suppose -4*l - 5*i - 18 = 0, -5*l - 2*i = i + 16. Let v be m(l). Suppose 0 - v = -2*z - p, -p = z - 100. Is z a multiple of 8?
False
Let r(g) be the third derivative of -143*g**4/24 + 15*g**3 + g**2 - 9*g. Is r(-4) a multiple of 35?
False
Suppose 8080 = x - t, -2*x - 24*t = -21*t - 16170. Does 50 divide x?
False
Suppose 811 = -5*l - 544. Let a = l + 612. Is a a multiple of 31?
True
Suppose -40*k + 39*k + 535 = -2*r, 1608 = 3*k - 5*r. Is k a multiple of 12?
False
Suppose 74638*y + 260400 = 74652*y. Is 155 a factor of y?
True
Let k = 83595 + -48379. Is 8 a factor of k?
True
Let r(q) = -1070*q**3 - 13*q**2 - 29*q + 5. Is 5 a factor of r(-2)?
False
Suppose -30*h + 118*h - 227568 = 0. Is h a multiple of 18?
False
Let n = 6479 - 3059. Does 7 divide n?
False
Let h = -28958 - -60036. Is h a multiple of 82?
True
Let h(a) = -78*a + 142. Let p be h(-47). Suppose -11*i = 5*i - p. Does 5 divide i?
False
Suppose -3*h - 15 = -0*h, 5*s = -5*h. Suppose 0 = b - s*u + 2, 5*u - 11 = -6. Is b a multiple of 3?
True
Suppose -19 = -3*t - 2*f - 2, f - 5 = -t. Let j(l) = 2*l**3 - 4*l**2 - 4*l + 21. Let v be j(t). Suppose -587 = -10*x + v. Is 7 a factor of x?
False
Is ((-1)/3)/((-974)/7734534) a multiple of 133?
False
Let h(b) = b**3 + 23*b**2 + 2*b - 16. Suppose 128 = 12*u + 404. Let i be h(u). Let c = i + 82. Is c a multiple of 10?
True
Let r(d) = d + 19. Let p be r(-19). Suppose -h - 17 - 8 = -b, p = -2*b + h + 47. Is 3 a factor of b?
False
Let b(v) = -2*v + 26. Let j be b(14). Let g be (j/(-1))/(116/36 - 3). Suppose 0 = -3*y - g - 0, -219 = -4*u + 5*y. Is 21 a factor of u?
False
Suppose 0 = 6*g - 2*g + 16. Let s be 70 + (-12)/g + 3. Suppose -5*u + 21 + 175 = -b, -s = -2*u + b. Is u a multiple of 8?
True
Suppose -32*k + 317574 = -967034. Does 104 divide k?
True
Suppose -5*s = -38 - 67. Suppose 3*t = -5*q - 17 - 16, -2*t + 17 = -q. Let z = q + s. Is 12 a factor of z?
True
Suppose 2*l + 19 = -2*i - 3, 34 = -4*i - 2*l. Let n(j) = -23*j + 22. Let a be n(i). Suppose 112 - 28 = 2*y - 2*r, 2*r = 4*y - a. Is y a multiple of 12?
False
Suppose 17*b - 6240 = -23*b. Suppose -4*d - 3*w + 598 = 0, -4*d + w - 753 = -9*d. Suppose -d*q - 1100 = -b*q. Is q a multiple of 10?
True
Let t(v) = 2*v**3 + 55*v**2 + 10*v + 105. Is 25 a factor of t(-24)?
False
Let i(m) = m**2 + 17*m + 18. Let d be i(-1). Let k be (-1)/2 - (-5)/2. Suppose 2 = -k*j, -3*j + 269 = d*n - 2*j. Is n a multiple of 2