68. Is o(5) a multiple of 12?
True
Let v = 45 - -83. Let m = v - -212. Is 13 a factor of m?
False
Let q = 406 + -401. Suppose -1129 = -5*w - g, 0 = -0*w + q*w + 5*g - 1145. Is 75 a factor of w?
True
Suppose 0 = -3*g - 2*o - 4 + 13, 5*g + o - 15 = 0. Let p be (0/(-2))/(2*3/(-2)). Suppose -4*l + l + 5*r + 125 = 0, -3*l - g*r + 117 = p. Is l a multiple of 10?
True
Is 17 a factor of (-1096455)/603*(2/10 + -2)?
False
Does 63 divide 844109/70 + 48/160?
False
Let s be ((-18)/(-24))/(85418/(-28472) - -3). Let z = -6883 - s. Suppose -1278 = 17*h - z. Is h a multiple of 18?
False
Let l(g) = 8*g**2 + 2*g - 1. Let a(j) = 3*j + 1. Let t be a(0). Let u be l(t). Suppose u = -d + 5*w, -d + 3*w - 27 = -4*d. Is d a multiple of 3?
True
Suppose 25730 = 2*w - 2*a, 79*a = 4*w + 76*a - 51465. Is 65 a factor of w?
True
Let f(q) = -16*q + 48. Let w be f(3). Suppose w*u + u = -4*g + 548, -5*u - 710 = -5*g. Is g a multiple of 49?
False
Let a(w) be the third derivative of -w**5/60 + 31*w**4/24 + 315*w**2. Is a(21) a multiple of 6?
True
Let u be 6 - (17 - 7) - -13. Is 28 a factor of (-17)/(-51) + 8979/u?
False
Is 33 a factor of 10 + (-16285)/50*-10?
True
Let w = 40 + -40. Suppose v - 43 = -3*j, -4*v + 0*v - 3*j + 136 = w. Does 10 divide v?
False
Is (-1 + 5 + 3)*((-166184)/(-56) + -5) a multiple of 157?
False
Let u(w) = 2376*w + 775. Is u(2) a multiple of 31?
False
Let o be -48 + ((-32)/4)/2. Let f = 122 + o. Suppose w = -4*b + b + f, -4*b = -5*w + 445. Is 17 a factor of w?
True
Suppose 94 + 20 = 6*v. Let u = v + 17. Is 18 a factor of u?
True
Let r be (-5 - -2)/((-4)/(3 - -1)). Suppose 479 = r*a - 2*b, -4*b - 2 + 10 = 0. Is a a multiple of 6?
False
Suppose -24*w = -4*w + 54895 - 219435. Is w a multiple of 96?
False
Let q(m) = 1 + 366*m**2 - 10*m - 363*m**2 + 71. Does 12 divide q(6)?
True
Let u(o) = 2*o**3 + 85*o**2 + 20*o - 431. Is 2 a factor of u(-41)?
True
Let k(g) = 10*g - 12. Let b be k(0). Is 9 a factor of (-34)/(51/b + 4)?
False
Is (8/(-6) - (-119)/(-21)) + 4546 a multiple of 56?
False
Is (3880/873 + (-4)/9)*(-2 + 2071) a multiple of 9?
False
Suppose -f = -5*c - 1197, 4*c + 4*f - 3*f = -963. Let l be ((-4)/3)/(4/c). Let u = -32 + l. Is 8 a factor of u?
True
Let x be ((-4)/6)/((-4)/138). Let y = -5339 + 5385. Suppose -y = -d - q + x, 5*d = 4*q + 372. Is 28 a factor of d?
False
Suppose -2*x = -4*o - 4*x - 114, -x = 4*o + 117. Is (22/2)/(o/(-660)) a multiple of 11?
True
Let b(w) be the second derivative of w**5/10 + w**4/6 - 4*w**3/3 + 3*w**2/2 - w. Suppose -14*u + 2*g = -13*u - 11, 16 = -4*g. Is b(u) a multiple of 4?
False
Suppose -5*m = -4*v + 55596, -2*v - 2*m = 3*v - 69528. Does 80 divide v?
False
Suppose -3*v - 1039 = -2*l - 5183, 0 = 3*l + 6. Suppose -2*c = -2*x - c + 539, 5*x + 4*c - v = 0. Is x a multiple of 16?
True
Let u be 17/4 + (-6)/(-8). Let v(i) = 10*i - 33. Let s(j) = 9*j - 33. Let y(g) = u*v(g) - 6*s(g). Is y(0) a multiple of 33?
True
Suppose 1115577 = 50*f + 633497 - 1366170. Does 47 divide f?
False
Suppose 4*f - b + 10097 = 35291, 6*f = -b + 37806. Is f a multiple of 70?
True
Suppose 10*n - 6102 = 2148. Is 36 a factor of n?
False
Let l(p) = p**3 + 26*p**2 + 40*p - 12. Let i be l(-24). Suppose -11 = -2*f - 1, 0 = -5*v - 5*f + i. Is v a multiple of 28?
False
Let q = 4733 - 2999. Is 15 a factor of q?
False
Suppose 12*f = -1703 + 2855. Is 12 a factor of f?
True
Suppose 2*x - 3*f + 947 = 6146, -5*x + 13017 = -f. Does 6 divide x?
True
Let d(j) = j**2 - 8*j + 10. Let y be d(4). Let w(a) = a**3 + 8*a**2 + 6*a - 13. Is 2 a factor of w(y)?
False
Let v(o) = 4*o**3 - 38*o**2 + 22*o + 262. Is 11 a factor of v(17)?
True
Suppose 0 = 2*o + a - 27, 4*o + 3*a = 6*a + 29. Let u be ((-97)/(-3))/(o/33). Suppose 3*i = -u + 448. Is i a multiple of 9?
True
Let c(z) = -9*z - 76. Let q be c(-10). Does 56 divide 2/4 + q/((-28)/(-783))?
True
Suppose 5*n + 13 = -2*m - 9, 4*n + m + 17 = 0. Let r be -2 - ((-2)/(-4))/(n/64). Does 38 divide (26/r - 1)*15?
False
Let f(m) be the first derivative of m**4/4 - 4*m**3/3 - m**2/2 + 14*m + 3. Let p = 123 + -117. Is f(p) a multiple of 16?
True
Suppose -9*w = -6 - 75. Suppose -w*f - 3*f + 3876 = 0. Does 57 divide f?
False
Suppose -103 = -5*z - p, -2*z - 7*p + 6*p = -40. Suppose -18*d - 63 = -z*d. Is 7 a factor of d?
True
Is 7 a factor of (248580/105)/((-102)/(-476))?
False
Let i be 7*21 - (1 - 2). Suppose 28*t - 20*t = 18*t. Suppose t = -4*y - y, -y = -4*q + i. Is 37 a factor of q?
True
Does 74 divide (122364/(-154))/(-27)*271*7?
False
Suppose 0 = -11*p + 155201 + 2187. Is p a multiple of 14?
True
Suppose -887803 = -182*f + 176715. Is 14 a factor of f?
False
Suppose -2*u = 4*i - 12 - 6, -18 = -5*i - u. Suppose 0 = -3*n - d + 10, -3*d = n - 5*n + 9. Suppose h - i*z - 18 = 0, -74 = -n*h + z - 2*z. Does 4 divide h?
True
Suppose 2*x - 12986 = 4*i - 134412, 121419 = 4*i - 3*x. Does 24 divide i?
True
Let r(y) = -y**3 + 33*y**2 + 9*y - 70. Let o be (264/(-20))/(12/(-30)). Does 32 divide r(o)?
False
Let q(w) = 6*w**3 - w**2 - 29*w + 444. Does 10 divide q(12)?
True
Suppose -868 = f - 8*f. Suppose -2*r = -2*u - f, 3*r - 60 - 130 = u. Is 16 a factor of r?
True
Is 9 a factor of (165/(-4))/((-3)/324)?
True
Suppose -10*u + 17*u = 420. Let l = 78 - u. Is l even?
True
Suppose x = 2*r + 2*x - 69, 4*r + x - 135 = 0. Suppose 0*l - 3*l + 60 = 5*p, 0 = 2*p + 3*l - r. Let q = p - -14. Does 23 divide q?
True
Let t = 22 + 88. Suppose 1315 = 5*g - t. Is 57 a factor of g?
True
Let m be (2/(-4))/(1/2). Suppose -g - 2*h + 102 = 3*g, 3*h = 9. Is 822/g - m/(-4) a multiple of 23?
False
Suppose 3*z + 26 - 29 = 0. Let h(d) = 34*d**2 + 3*d - 4. Is h(z) even?
False
Suppose -4*f - 15*y = -11*y - 81976, -5*y - 102520 = -5*f. Does 27 divide f?
False
Is 6 a factor of (1152/63 - 11 - 9)/(1/(-3801))?
True
Suppose 0 = 2*a - 2*k + 1766, -15 = 5*k - 40. Does 71 divide a/(-6) + 12*3/(-27)?
False
Let u = 16567 + -7957. Is u a multiple of 30?
True
Let l = 49 + -54. Let y be (l - -7)/(1 + -3). Is (y + -84)/(0 - 1) a multiple of 31?
False
Let d be 2*(-12)/(-8) + 37. Let z be ((-176)/d - -4)/((-1)/90). Suppose -26*t = -z*t + 840. Is t a multiple of 21?
True
Let l = -860 + 848. Is 18 a factor of ((-14623)/(-28))/((-3)/l)?
False
Suppose 4636 = 2*w + 7*a - 10*a, 2300 = w + 3*a. Does 34 divide w?
True
Let s(n) be the first derivative of n**4/4 + 8*n**3/3 - 3*n**2/2 + 9*n + 655. Suppose 3*t + 2*t + 4 = m, -6 = 3*t. Is s(m) a multiple of 19?
False
Does 13 divide (-23337)/(-15) + 10/50?
False
Let l(b) = -2*b**2 + 4*b + 0*b + 11*b + 17 - 3*b. Let h be l(7). Suppose -4*x = h*x - 182. Does 25 divide x?
False
Suppose -3822 = -3*u + 213. Suppose 215*l = 210*l + u. Is l a multiple of 30?
False
Does 39 divide 6/10*-26*45/(-2)?
True
Let z = -21794 - -28955. Is z a multiple of 38?
False
Suppose 2*q + 3*k - 16 = 0, k = q - 0*k - 3. Suppose -16*g - 1050 = -2*x - 18*g, -q*x - 4*g + 2628 = 0. Does 73 divide x?
False
Suppose 8375 = 3*o - z - 8947, -z - 23097 = -4*o. Does 55 divide o?
True
Let p = 29659 - 5976. Is 14 a factor of p?
False
Let b(u) be the second derivative of -u**5/20 - u**4/2 + 25*u**3/6 - 13*u**2 + 58*u - 1. Is 32 a factor of b(-11)?
False
Suppose -6*g + g = -2*q - 400, -g + 2*q = -88. Suppose -10*s + g = -9*s + 3*r, 5*r = s - 110. Is 37 a factor of s?
False
Let l(y) = -255*y + 2. Suppose 0*g + 7 = g - 4*n, -2 = -4*g + 3*n. Let w be l(g). Suppose -4*k + 510 = 5*a, 5*k - 3*a = 913 - w. Is 26 a factor of k?
True
Let g = 201 - 140. Suppose -62*t + 105 = -g*t. Is t a multiple of 6?
False
Suppose -28 = -8*u + u. Let j be 12 + (-1)/(-2)*(-2 - u). Is 33 a factor of 162 - (-5)/(15/j)?
True
Suppose 4*g - 39772 = 2650*a - 2654*a, 0 = -3*a - 5*g + 29835. Is a a multiple of 7?
True
Suppose 51*n + 4145 = 56*n. Let y = -561 + n. Is 11 a factor of y?
False
Suppose -30*b + 36837 = -8043. Is b a multiple of 9?
False
Does 275 divide (1725867/(-18))/(-11) - -6*5/20?
False
Suppose 32*g + g = g. Suppose -106*b + 109*b - 441 = g. Does 49 divide b?
True
Let b = 37718 - 23980. Does 27 divide b?
False
Let a be 2*2 + (1 - 5). Suppose a = -5*b + 420 + 735. Is 21 a factor of b?
True
Let z(q) = 9915*q + 625. Is z(2) a multiple of 14?
False
Suppose 0 = 256*m - 250*m + 4866. Let t = -539 - m. Is 16 a factor of t?
True
Let d = 11058 - -1614. Is d a multiple of 132?
True
Let f = 2 - 0. Suppose -3*u - 4*r = -10, r + 0*r = f*u