s y(v) a multiple of 54?
True
Suppose 2*f + 2 = -3*n + 32, 14 = 2*f - 5*n. Suppose -f = -y + 38. Is 7 a factor of y?
False
Let j(l) = -4*l**3 + 3*l**2 - 4*l - 2. Let d(a) = 0*a**3 - 9*a + 1 + 5*a**2 - 7*a**3 - 6. Let k(c) = 3*d(c) - 5*j(c). Is k(-2) a multiple of 2?
False
Let q = 1902 + -1345. Is 4 a factor of q?
False
Let y be 39/((-2)/(40/(-15))). Suppose n - y + 0 = 0. Let f = -2 + n. Is 13 a factor of f?
False
Suppose -4*o - 5*j = -92193, 3*o - 46097 = o - 3*j. Is o a multiple of 132?
False
Let c(o) be the third derivative of 27*o**4/8 - 6*o**3 - 32*o**2 - 3. Does 69 divide c(3)?
True
Suppose 2 + 12 = -3*v - f, 23 = -v - 4*f. Does 29 divide (-58)/(-2*v/(-51))?
True
Let b(z) = -2*z + 66. Let x be b(32). Does 3 divide -2 - 2346/(-24) - x/(-8)?
True
Let f = -14962 - -22362. Is 7 a factor of f?
False
Let s(d) = -3*d**2 + 10*d - 20. Let u be s(6). Let a = u - -71. Suppose 6*y = -a*y + 108. Is y a multiple of 2?
True
Is (102/(-4) + 180/(-20))*-236 a multiple of 46?
True
Let x = -1128 + 406. Let y = -524 - x. Is y a multiple of 22?
True
Suppose -4*j + 12165 + 3391 = -2*q, -q - 3890 = -j. Is j a multiple of 9?
True
Let p(o) = 5*o - 66. Let y = 30 + -17. Let c be p(y). Is 15 a factor of (1 - 3 - c)/(4/(-720))?
True
Let v = 50508 + -29917. Is v a multiple of 31?
False
Let t(m) = -m**3 + m**2 - 24*m + 30. Let z be t(9). Let y = 1212 + z. Is 18 a factor of y?
True
Let a = -364 + 374. Is (44/(-16))/(a/(-1360)) a multiple of 22?
True
Suppose 0 = 7*f - 12 + 5. Suppose -l + f = t, -3*l - 2*l - 4*t + 8 = 0. Suppose -m + h = -51, l*h = -3*m + h + 153. Is 17 a factor of m?
True
Does 25 divide (-26 - 44460)/(3 + -5) - -2?
False
Let d = -9 - -237. Does 12 divide d?
True
Let l(u) = -20*u**2 + 3*u - 2. Let i be l(1). Let j = 25 + i. Does 24 divide (3 - (-14)/j)*18?
True
Let y(j) = 15*j - 282. Let r be 150/5 - (-5 - -8 - 2). Does 9 divide y(r)?
True
Let w(f) = -f**3 + 8*f**2 + 19*f + 30. Suppose -9*d + 36 = -54. Is 5 a factor of w(d)?
True
Let s(i) = i**2 - 27*i - 58. Let f be s(-2). Suppose f = -w + 432 + 95. Is w a multiple of 31?
True
Let c be 17/(-136) - 978/(-16). Suppose -4*g + 169 = c. Does 9 divide (4/(-12))/(1*(-1)/g)?
True
Let p = 11921 - 6135. Does 35 divide p?
False
Let f(l) = -l**3 + 14*l**2 + 14*l + 24. Let i be f(15). Suppose -i*r - 3*r = -2760. Is r a multiple of 23?
True
Let g(a) = -a**3 + 49*a**2 - 47*a - 43. Let t be g(48). Does 11 divide t/(2 - 1) + 80?
False
Let t be ((-1)/(-3))/((-9)/891*-3). Suppose 8690 = -t*u + 22*u. Is 12 a factor of u?
False
Let p = -42 - -49. Suppose 24 = p*w - 11. Suppose 3*d - 5*h - 54 = 0, -130 = 2*d - 7*d - w*h. Is 3 a factor of d?
False
Let o(g) = -g**2 + 51*g - 60. Is 43 a factor of o(41)?
False
Suppose 12 = -6*a + 4*a. Let v = 2 + a. Let k(b) = 4*b**2 - 3*b + 6. Is k(v) a multiple of 8?
False
Suppose -n + 0 = g - 1, 5*n - 3 = -4*g. Let d(j) be the third derivative of -67*j**6/120 - j**4/24 + 2*j**2. Is 6 a factor of d(n)?
False
Let p(d) = 222*d - 807. Does 25 divide p(6)?
True
Let g be (-2)/(-1 + -7) + (-1476)/(-48). Suppose g - 13 = -6*s. Is 15 a factor of (-24)/9*(-39 - s)?
False
Let q(v) be the first derivative of 8*v**2 - 5*v + 14. Let t be q(2). Is 9 a factor of 2*(0 - t/(-6))?
True
Let g(d) be the first derivative of 15*d**2/2 - 149*d - 86. Does 8 divide g(21)?
False
Suppose 44*y - 2591348 - 612679 = -13*y. Is 85 a factor of y?
False
Let g(t) be the second derivative of -t**3 + 33*t**2/2 - 17*t. Let x be g(6). Is 15 - (7/42 - x/(-18)) a multiple of 7?
False
Suppose 2*v - 4378 = d - 4*d, -v = -3*d + 4363. Suppose 18*o - 10*o - d = 0. Is o a multiple of 16?
False
Suppose -13685 - 23708 - 4367 = -12*i. Is 12 a factor of i?
True
Let b(a) = a + 24. Let z be b(-16). Let q(x) = x**3 - 4*x**2 + 16. Is 8 a factor of q(z)?
True
Let q = 25 - 17. Suppose -3*c + q = c. Does 18 divide c/2 + (35 - (3 - 3))?
True
Suppose 5*m = 1 + 24. Suppose 0 = -m*b + 7*b + 20. Is b/(-35) - 537/(-7) a multiple of 14?
False
Is 9 a factor of 6 + 16558 + 51/(-17)?
False
Is (2 - 447)/((-9)/357 + 4/(-34)) a multiple of 35?
True
Let g = -6615 - -20706. Is 11 a factor of g?
True
Suppose -67*x = 92*x - 649781 - 137587. Is 11 a factor of x?
False
Let v be ((-173)/2)/((-2)/12). Suppose -6*c + 3*c = v. Let b = c - -261. Is b a multiple of 22?
True
Suppose -36*h = -33*h - 1287. Suppose 5*f = 111 + h. Let x = 118 - f. Is x a multiple of 10?
True
Let l(v) = -16*v**3 - 10*v**2 - 88*v - 528. Does 13 divide l(-7)?
False
Suppose 0 = -2*n + 6*w - 8*w + 22458, 0 = -n - 5*w + 11237. Does 28 divide n?
False
Let r be 5/20 - 2163/12. Let y = -115 - r. Is 18 a factor of y/2 + -2*6/(-8)?
False
Is ((-1385)/(-7) + 3)/(210/735) a multiple of 12?
False
Let s(t) = -t**3 + t**2 + 70*t - 136. Let z be s(2). Let j = -52 + 88. Suppose z = 4*x - 20 - j. Is x a multiple of 11?
False
Suppose -2*t + 4*r + 555 + 15405 = 0, -23940 = -3*t + 4*r. Suppose t = 24*q - 17*q. Is q a multiple of 15?
True
Let c(g) = -2*g**2 + 0 - 3 + 8 + g**2. Let t be c(0). Suppose 5*b - 4*h = 297, 10*h - t*h + 186 = 3*b. Does 31 divide b?
False
Let c = 1 - 1. Suppose 2*q + 3*l - 16 - 17 = c, 0 = 3*q - 2*l - 17. Suppose 700 = 16*r - q*r. Is r a multiple of 25?
True
Suppose -2*v = -z + 15638, 0 = -3*z - 3*v + 14304 + 32583. Does 180 divide z?
False
Let j be (2812/(-185))/((-2)/275). Suppose 3*d - j + 1640 = 0. Does 9 divide d?
False
Let a(b) = -36*b + 123. Suppose 0 = -3*u - y - 12, -2*u - 4*y = -27 + 35. Is a(u) a multiple of 24?
False
Let a(q) = 13*q + 12. Let n(i) = i + 1. Suppose 0 = 4*h + 10 - 2. Let z(w) = h*n(w) + a(w). Is 13 a factor of z(5)?
True
Suppose 9*s = 6*s + 5*m + 37, 2*s = 3*m + 24. Is (1 - s/6)/(16/(-1792)) a multiple of 28?
True
Let z be (-111)/(-7) - 12/(-84). Let k(b) = 6*b + 14. Does 31 divide k(z)?
False
Let c = 199 + 138. Suppose -1511 = -21*h + c. Is h a multiple of 4?
True
Let c be (-212)/(-6) + (6 - -3)/(-27). Is (6 - 1300/c)*(-21)/3 a multiple of 31?
False
Suppose -851 = -6*k + 2*k + 2129. Is k even?
False
Let p(s) = -s**3 - s**2 + 6*s + 8. Let o be p(-4). Suppose 0 = -o*a + 30*a + 68. Is a a multiple of 5?
False
Let n(f) = 3719*f**3 - 2*f**2 + 35*f - 32. Is 20 a factor of n(1)?
True
Let a(r) be the third derivative of -r**6/120 + r**5/30 - r**4/24 + 5*r**3/6 - 14*r**2. Let d be a(2). Suppose -d*s + 144 = 3*s. Does 8 divide s?
True
Suppose -30 = -41*x + 47*x. Suppose 24 = -72*u + 73*u. Does 4 divide (u/x)/(4/(-30))?
True
Suppose 119*g - 1030298 = -187302. Does 6 divide g?
False
Does 12 divide (0 - (-34 + -14)) + 0?
True
Let a = 40883 + -4931. Is a a multiple of 112?
True
Let f(i) be the first derivative of -i**4/4 - 16*i**3/3 - 13*i**2/2 + 28*i - 42. Let u be f(-15). Is 14 a factor of u/(-8) - ((-2680)/32 - 0)?
True
Suppose 2*w - 222118 = -218278. Is w a multiple of 10?
True
Let t(n) be the third derivative of -n**6/120 + n**5/60 + n**4/8 + 136*n**3/3 - 22*n**2. Does 16 divide t(0)?
True
Let n(s) = 2042*s + 599. Is n(3) a multiple of 4?
False
Let u(f) = -4*f + 15 - 21 - 8*f - 7*f - 27. Is 17 a factor of u(-10)?
False
Is (-1*20/(-15))/(134084/44694 + -3) a multiple of 26?
True
Suppose 2*r + 10 = -0*r - 2*n, 0 = -n + 3. Let s = 192 - r. Does 8 divide s?
True
Let f = -9949 + 23605. Is 12 a factor of f?
True
Let a(t) be the first derivative of -t**4 - 5*t**3/3 - 7*t**2/2 - 14. Does 12 divide a(-4)?
True
Let a be 69/(-15) - -1 - 12/30. Is (-164)/(-5 - 18/a) a multiple of 4?
True
Let o = -20 + 7344. Is o a multiple of 5?
False
Let c be 3/(((-3)/(-9))/((-8)/(-12))). Suppose c*i - 8*i = -5*u + 1146, -i + 453 = 2*u. Is 50 a factor of u?
False
Let d(s) = 37*s + 28. Suppose 7*v - 13*v - 714 = 0. Let w = v + 123. Is 25 a factor of d(w)?
False
Suppose 0 = -39*f + 1133 - 3473. Is -7 + 7 - (f - -3) a multiple of 57?
True
Suppose -99104 = -8*q - 38*q + 568816. Does 13 divide q?
False
Let r = -38 - -8. Let y = 32 + r. Suppose -s + 31 = 4*i, -y*s + 75 + 5 = -i. Is 15 a factor of s?
False
Let v(c) = -1442*c + 4968. Does 7 divide v(-17)?
False
Let w = -744 + 1140. Suppose 5*s - 2*g - w - 134 = 0, 0 = 3*s - 2*g - 318. Suppose r - 67 = -0*r + 5*v, 4*v - s = -3*r. Is r a multiple of 21?
True
Suppose 15 = k - 5*i, -28*k + 12 = -27*k - 4*i. Let u = 7 + -6. Suppose -p - 6 + u = k, -2*q + 267 = -3*p. Does 18 divide q?
True
Let h(i) = -i**3 - 66*i**2 + 14*i - 3680. Is 36 a factor of h(-69)?
False