47. Let d be a(39). Suppose 222*t = d*t - 2800. Does 50 divide t?
True
Suppose -3*v + 25962 = -5*b, 2*v = 4*b + 5788 + 11524. Is 14 a factor of v?
False
Suppose 226170 = -169*i + 204*i. Does 12 divide i?
False
Let l = 22472 + -15658. Is l a multiple of 10?
False
Let u = 6 - 9. Let m be 12/(-20)*(6/u + -3). Suppose m*w - 4*w = -19. Is w a multiple of 3?
False
Does 5 divide (-24990)/(-420)*1224/28?
False
Let w = 332 + -322. Does 7 divide (-4)/w*370/4*-1?
False
Is 126 a factor of ((-1035)/(-4))/(143/8008)?
True
Let r(p) = 2*p**2 - p + 262. Let v be r(0). Suppose -65*o - v = -67*o. Is 8 a factor of o?
False
Suppose 6*s - 1182 = 2*s - 2*k, 2*s - k - 585 = 0. Suppose -186 = -6*c + s. Is c a multiple of 21?
False
Let g(s) = -7*s + 119. Let k be g(17). Suppose k = -13*w + 1129 + 1458. Is w a multiple of 12?
False
Let x be 0 + (1 - 3) + -133 + 34. Let d = 271 + x. Is 10 a factor of d?
True
Suppose 10 = 4*o - o + 4*u, -4*o + 4*u + 32 = 0. Is 17 a factor of o/8 - (-12771)/108?
True
Let x(c) = 311*c**3 - 4*c + 4. Let w be x(2). Let m = w - 1764. Suppose -4*t = t - m. Does 18 divide t?
True
Suppose -131 = 3*p + 76. Let f = 169 + p. Is f a multiple of 25?
True
Suppose -26*p = -68*p + 32*p + 23920. Does 4 divide p?
True
Suppose -p + 26 = -14. Suppose 30*w - 25*w - 5*t - 40 = 0, -3*t - 4 = 2*w. Suppose 0 = -3*g + 2*s + 120, w*s - 2*s + p = g. Is g a multiple of 20?
True
Let o be (-10)/(-4)*(4 + -1*2938). Let x be o/(-21) - (-8)/(-28). Let g = x + -249. Is g a multiple of 50?
True
Let c = 353 - 189. Suppose 69 = a + 2*r - 83, -5*r + c = a. Does 17 divide a?
False
Suppose 16*d - 6238 = 105095 + 28571. Is d a multiple of 191?
False
Is 22 a factor of ((-2178)/54)/(4/(-96))?
True
Suppose -7*b + 23*b = -24096. Let l = -1065 - b. Does 9 divide l?
True
Is 5 a factor of 1512/180 - 8 - (-104053)/5?
False
Suppose 3*i - 3038 = 5*z - 692, i - 3*z - 778 = 0. Is 44 a factor of i?
False
Suppose 362*r - 386*r + 17614 + 14066 = 0. Is 15 a factor of r?
True
Let t(r) be the second derivative of r**4/4 + 7*r**3/6 - 3*r**2/2 + 3*r. Let q = -186 - -191. Does 16 divide t(q)?
False
Let m be (-2 + (1 - 0))*(-202 + 29). Suppose -4*f + 122 = 2*r, 3*r = -3*f - f + m. Is r a multiple of 4?
False
Let q = 710 - 252. Suppose -2*h + 3*b + 103 = -73, 5*h - q = 3*b. Is h a multiple of 6?
False
Let f = -4105 - -37798. Is 33 a factor of f?
True
Let m = 219 + 41. Suppose -3050 = -6*o - m. Is 46 a factor of o?
False
Suppose 42599 + 57575 = 11*z - 7395. Is z a multiple of 7?
True
Let n be (-233)/(-7) + (-10)/35. Let m = n + -37. Is 11 a factor of ((-438)/m)/(9/6)?
False
Let b(d) = 8*d. Let f be b(-4). Let o = -14 - f. Is ((-6)/(-27))/(-1) + 580/o a multiple of 4?
True
Let t(x) = x**3 - 19*x**2 - 6*x - 40. Let m be t(20). Suppose 204 = 6*o - m. Is 18 a factor of o?
False
Let w be (3 + -3 - -744) + 2. Suppose 186 = -4*o + w. Does 20 divide o?
True
Let z(c) = c**2 - 18*c + 36. Suppose 8 = 2*n, 2*s + 20 = -2*n + 68. Is 4 a factor of z(s)?
True
Let j be 4 + (0*4/16)/(-4). Let r be (j/(-5))/((-30)/1275). Let t = r + -4. Is 6 a factor of t?
True
Does 15 divide (-119106)/(-14) + 207/483?
False
Is (-1398)/36*(-8364)/34 a multiple of 29?
False
Let q be (-6)/(-3)*(-13)/2. Let w be q/(-2) + 12/8. Suppose y = w*y - 35. Is 5 a factor of y?
True
Let t = 78 - 75. Suppose -o = t*o - 1776. Does 12 divide o?
True
Suppose -4*y + 1043 = -2873. Suppose -59*x + 440 = 51*x. Suppose y = x*u - 93. Does 17 divide u?
False
Suppose -6 = 2*x - 0*x, 0 = h + 4*x + 16. Let o be 9/(54/(-8))*6/h. Suppose 0 = -o*b + 5*t + 140, t = -2*t. Is b a multiple of 15?
False
Let a(s) = -1044*s - 889. Is 7 a factor of a(-6)?
False
Suppose 22*b + 436 = 3*a + 18*b, 5*a = -5*b + 680. Suppose -a*q = -136*q - 5188. Does 15 divide q?
False
Let t be (-4)/2 - (-3792)/(0 + -6). Let r = t - -766. Is 6 a factor of r?
True
Suppose -38 = 10*u - 138. Let r be 4/u + 52/20. Is 18 a factor of (-54)/48*6*-8*r?
True
Let j(f) = 34*f + 14. Let d be -6 - (-11 - (2 - 3)). Is j(d) a multiple of 15?
True
Let b(o) = o**2 + 2*o + 9. Let d be b(7). Suppose -2*z = -z + 23. Let a = d - z. Does 14 divide a?
False
Suppose 13*o = -24*o + 14393. Suppose 0 = 3*z + 3*i - 570, 0 = -4*z - 3*i + 367 + o. Is 31 a factor of z?
True
Let m be ((-4)/5)/(7/(-175)). Let a(g) = g**2 + 2*g + 1. Let p(q) = -q**3 + 20*q**2 - 30*q + 18. Let o(c) = -a(c) - p(c). Is o(m) a multiple of 27?
False
Suppose 0 = -43*m + 49*m - 24. Suppose 3*q + 717 = 4*i - i, m*q + 478 = 2*i. Is i a multiple of 23?
False
Is 33 a factor of ((-44)/(-10))/((-12)/(3600*-5))?
True
Let o(c) = 3*c**2 + c - 14. Let d(q) = -6*q**2 - 66*q - 5. Let y be d(-11). Is o(y) a multiple of 7?
True
Suppose 20*v - 14693 = 47747. Is v a multiple of 160?
False
Suppose 3*r - z - 22872 = 0, 3*z + 31020 = 5*r - 7104. Is 11 a factor of r?
True
Suppose z - 10 = -32. Let s = z - -176. Is 14 a factor of s?
True
Let j be (-75 - -67)*((-6)/8 + -2). Suppose 13*r - j*r = -14346. Is r a multiple of 70?
False
Suppose 0 = -5*m + 3156 - 8916. Does 3 divide (m/(-360))/(1/30*2)?
True
Is 65668/6 + (-11 + (-252)/(-27) - -1) a multiple of 18?
True
Let y(v) = -v**2 + 95*v + 211. Is y(96) even?
False
Let n = 579 + -989. Let b = -210 - n. Suppose w - 180 = -5*u, -b = -5*u - 0*u + 3*w. Is 37 a factor of u?
True
Suppose v = 6, 1840 = 2*r + 5*v - 1918. Is 6 a factor of r?
False
Let l(n) = 3*n**3 - 7*n**2 + 30*n - 14. Is 231 a factor of l(21)?
False
Suppose 4*u - s = 5, -3*u - 2*s + 9 = 19. Suppose u = -23*i - 2119 + 7869. Is 25 a factor of i?
True
Let n be (-16)/96*10*(-16 + 1). Does 14 divide ((-140)/n)/((-2)/10)?
True
Is (1/9)/(146/657) + (-92315)/(-2) a multiple of 42?
True
Let h(g) = g**2 + 4*g - 4. Suppose 0 = 3*x - 12, -2*z - 2*x + 8 = -x. Let t be h(z). Is (10/t)/(-4 - 130/(-32)) a multiple of 10?
True
Let v be 5/5 - -1*2. Suppose 3*h - v*s = 2*h + 6, -5*h = 4*s + 8. Suppose -5*n + 112 - 22 = h. Is 18 a factor of n?
True
Let m(u) = -u**2 + 4*u - 1. Let n(v) = -6*v**2 - 27*v + 10. Let w(h) = 5*m(h) - n(h). Is 16 a factor of w(20)?
False
Is -1 + 8860 - (-3 - -13 - 2 - 4) a multiple of 115?
True
Let b = 417 + -415. Does 8 divide b + 418 - (-41 - -45)?
True
Let k be 27 + -26 - (-18 - 2). Suppose -10733 = -k*n - 2501. Does 7 divide n?
True
Let b(x) = 7*x - 31. Let n = -78 - -137. Suppose -4*r - 3 = -n. Is b(r) a multiple of 17?
False
Suppose -2*t + 5*j + 24 = 0, t - 5*j + 0*j = 17. Let x(p) = p**3 - 2*p**2 - 9*p + 71. Does 11 divide x(t)?
True
Suppose 0 = 17*p - 20*p + 105. Is 3 a factor of 1 - p/30 - (-530)/12?
False
Let c = -11 + 14. Suppose 4*j + 20 = -2*v, 3*v = -2*v + c*j + 15. Is 65/(v - -1) - 4 - -3 a multiple of 8?
True
Let o(t) = 166*t + 3469. Is o(44) a multiple of 189?
True
Let o be -2 + (1 - -5) + -6. Let x be o/(-2) - (-2 + 1). Suppose 4*f - x = -0*d + d, 18 = d + f. Does 7 divide d?
True
Let b(s) = -18*s**2 - 7*s - 2. Let f(n) = 3*n**2 + n. Let r(t) = -6*b(t) - 34*f(t). Does 18 divide r(-6)?
True
Let t(v) = 12*v - 16. Let p be t(4). Suppose 0 = 3*l - 7*l + 24. Suppose l = -c + p. Is 14 a factor of c?
False
Let c(o) = -93 - 8*o - 6*o + 7*o. Is 6 a factor of c(-18)?
False
Is 51 a factor of (1/3)/(127722/(-15966) + 8)?
False
Let k = 251 - 242. Suppose 0 = -4*l + 4*s + 2380, k*l + 5*s = 10*l - 575. Does 60 divide l?
True
Suppose 2*r - 2 = 3*r. Let i(a) = 6*a**3 + 36*a**2 + 5*a + 4. Let c(u) = -7*u**3 - 44*u**2 - 5*u - 5. Let n(h) = -4*c(h) - 5*i(h). Is n(r) a multiple of 10?
True
Let i(t) = -t**2 + 3*t + 36. Let k be i(7). Suppose 2*l + 7*x - k*x - 29 = 0, -5*x + 24 = 3*l. Is l a multiple of 3?
False
Suppose 0 = -2*z - 5*t + 20503, -41042 = -6*z + 2*z + 2*t. Suppose 28813 = 66*r - z. Is 7 a factor of r?
False
Let p be 8*(1 - (-2 + 27/12)). Suppose -2*y - p = -s + 53, -280 = -5*s + 5*y. Suppose -s = -3*v + 2*f + 88, -2*v + 5*f + 83 = 0. Does 8 divide v?
False
Suppose 50*u - 20*u = 27120. Suppose 276 = 10*a - u. Is a a multiple of 21?
False
Let k(d) = 68*d + 1038. Is k(-2) a multiple of 41?
True
Let t be -16*(-11)/(11/20). Let q be t - (-5 + 6)/1. Let r = q + -183. Is 17 a factor of r?
True
Does 92 divide 33407/3 - 2 - (-2)/((-42)/35)?
True
Let u be 1 - 6/(-9)*3. Let s(w) be the second derivative of 8*w**3/3 + 7*w**2/2 - 56*w. Does 11 divide s(u)?
True
Let c(w) = -3*w**3 - 9*w**2 + 22*w - 56. Is 152 a factor of c(-10)?
True
Let v(g) = -4*g + 21. Let m(