e 1/5 - 27/(-15). Suppose -t + 32 = -3*i - 2*i, k = v*t - i. Does 18 divide t?
False
Suppose -158*r + 297643 = 6662 - 102439. Is r a multiple of 15?
True
Let j = 61 - 1. Suppose q + 13 = j. Suppose r - 124 = -q. Is r a multiple of 11?
True
Suppose -s + 75 = 18. Let r = s - -98. Suppose 3*m - 8*m + r = 0. Is 15 a factor of m?
False
Suppose 3*r + f - 5352 = 0, 280*r = 275*r - 3*f + 8912. Is r a multiple of 183?
False
Let k = -103 + 435. Suppose -5*d = 4*x - 461, -3*x + k = -2*d + 3*d. Is 13 a factor of x?
False
Let m be -3 + -5 - 0/11. Is (-1 + m)*((1 - -9) + -51) a multiple of 9?
True
Suppose 101*t - 8233 = 18027. Is 52 a factor of t?
True
Suppose -2*p = 4*a + 1 - 13, -5*a - p + 12 = 0. Suppose d + 4*d - 130 = 0. Suppose -a*m + d = -94. Is m a multiple of 10?
True
Suppose -100 = -5*z - 7*h + 2*h, -2*z + 2*h + 60 = 0. Suppose 4*g - 4*q - 304 = 0, -g - 5*q = -33 - z. Does 4 divide g?
False
Let y = -2775 - -8540. Is 5 a factor of y?
True
Let j(d) = d**3 - d**2 - 5*d - 3. Let f be j(4). Let a be f*((-93)/15 + 5). Let q = 39 - a. Is 9 a factor of q?
False
Let p = 40512 + -7144. Is p a multiple of 243?
False
Let y(h) = h**3 - 18*h**2 - h + 23. Suppose -4*z + 3*t + 82 = -2*t, z + 4*t - 10 = 0. Does 2 divide y(z)?
False
Suppose -5*q = s - 2*s + 675, q = -2*s - 135. Let f = -77 - q. Suppose i = -2*g + f, 2*i = -i - g + 179. Does 15 divide i?
True
Let i(a) = 5*a**2 - 100*a - 327. Let y(g) = -g**2 + 25*g + 82. Let s(n) = 2*i(n) + 9*y(n). Is s(-31) a multiple of 10?
True
Suppose -2*p = p - 189. Let a(j) = -j**2 + 25*j - 119. Let n be a(20). Let k = p + n. Is k a multiple of 25?
False
Let w(t) = 23*t - 1. Suppose 0 = f - 2, -4 = 3*z + 2*f - 11. Let u be w(z). Suppose -5*d - 3*y + u + 11 = 0, 4*y + 20 = 4*d. Does 6 divide d?
True
Let a(t) = -6*t - 45. Let f be a(-10). Suppose f*u - 1084 - 596 = 0. Does 8 divide u?
True
Let l be -2*(-2)/(-14) + 194/679. Suppose 1 = -c, -5*c + 625 = 3*r - l*r. Is r a multiple of 42?
True
Let y(n) = 87*n + 1116. Does 26 divide y(14)?
False
Suppose 4 = -j, q - 29 + 5 = 2*j. Is (5 + -3)/((q/268)/2) a multiple of 67?
True
Let l = 39336 - 26889. Does 145 divide l?
False
Suppose o + 5*b = 3297, 147*b = 142*b - 15. Does 36 divide o?
True
Let b = -2915 + 3377. Is b a multiple of 16?
False
Suppose 4*h - 1 = 3, z + 4*h - 257 = 0. Let c = 65 - z. Let g = 388 + c. Is g a multiple of 14?
False
Suppose -16 = -12*y + 8*y, -26276 = -4*r - 4*y. Is r a multiple of 65?
True
Let x = 71 - 62. Suppose -x*g + 11*g = 234. Is 13 a factor of g?
True
Suppose -4*z - 4*d + 3*d + 30 = 0, 4*z + 4*d - 24 = 0. Suppose -5*s + z*s = 87. Does 3 divide s?
False
Let g(x) = 438*x**3 + x**2 - 1. Let u be g(1). Suppose 5*r + 5 = 2*s + 17, -3*s = -12. Suppose -r*a + 14 = -u. Is a a multiple of 22?
False
Suppose -187214 = -13*v + 2001. Does 41 divide v?
True
Let h(q) be the second derivative of 14*q - 1/12*q**4 - 7/3*q**3 + 13*q**2 + 0. Is 39 a factor of h(-13)?
True
Let k(f) be the second derivative of f**4/12 - f**3 - 7*f**2/2 + f. Is 6 a factor of k(-5)?
True
Suppose -4*i + 16 = k, -i + 10 = 4*k - 9. Suppose 2*d + 260 = 3*x - i*d, 0 = 2*x + d - 156. Suppose -2*s - 2*s + 2*a + x = 0, 4*s - 74 = 5*a. Does 2 divide s?
False
Let p be (-120)/(-14) - (-36)/(-63). Let i(y) = -y**3 + 11*y**2 + 17*y - 103. Is i(p) a multiple of 35?
False
Suppose -4*q - n - 134 = -388, 0 = -2*q - n + 126. Suppose 54*h = q*h - 340. Is h a multiple of 22?
False
Is 890 - -98 - (1 + -3) a multiple of 55?
True
Is 139 a factor of (-11677)/(-6) - 11*(-9)/(-594)?
True
Let l be (-1)/(-1)*-1*-1*17. Suppose -l*d - d + 7344 = 0. Is 12 a factor of d?
True
Is (-61 + -8 + -7)*(-134)/4 a multiple of 14?
False
Is -12 - (-6 + -725 + -12) a multiple of 14?
False
Let r(k) = -2*k**2 + 28*k + 105. Let g be r(17). Suppose 0*y - 5*y - 4*z + 4212 = 0, -3*y + 2538 = -g*z. Is 23 a factor of y?
False
Let u(o) = 2*o**3 - 11*o**2 - 6*o. Let d be u(6). Let n(m) be the second derivative of -m**5/20 - m**4/6 + m**3/6 + 54*m**2 - 6*m. Does 36 divide n(d)?
True
Suppose 4*r - 8577 = -533. Let x(g) = g**2 + 2030 - g - 13*g - r. Is 3 a factor of x(13)?
True
Let s(m) = 43*m**2 - 37*m - 31. Let x(n) = -19*n**2 + 19*n + 15. Let w(r) = -4*s(r) - 9*x(r). Let p be 3/(-9) + (-100)/6. Does 13 divide w(p)?
True
Let j(o) = 40*o - 14. Let d be j(6). Let l = 324 - d. Let w = l + -68. Is w a multiple of 12?
False
Suppose -5*k - 15 = 0, -t = 5*k + 5 + 5. Is 83 a factor of 5967/t + (-50)/125?
False
Let v(r) = -10*r**2 - r - 3. Let o be v(2). Let j be (o/2)/(-9) - 4/(-8). Suppose h = 2, 5*d - j*d - 2*h = 42. Is 7 a factor of d?
False
Let j(n) = n**2 - 26*n + 98. Let q be j(23). Let f = 310 - q. Does 45 divide f?
False
Let t(i) = 3*i**2 + 21*i - 83. Let n be t(8). Suppose 2 = -11*l + 9*l, 0 = 3*c - 4*l - n. Does 8 divide c?
False
Let v(s) = -2*s**2 - 3 + 31*s + 15*s**3 + 26*s - 54*s. Let g be v(1). Suppose -g*b = -345 - 123. Is 6 a factor of b?
True
Let u(n) = 501*n**2 + 126*n + 523. Is 180 a factor of u(-4)?
False
Let a(l) = -28*l**3 - l**2 + 68*l + 18. Is 237 a factor of a(-8)?
True
Let f(t) = -329*t - 223. Is 61 a factor of f(-12)?
False
Let m(h) = -3*h + 53. Let g(a) = 2*a**2 + a - 5. Let p be g(3). Let x be m(p). Suppose 3*f = -3*q + 126, x*f + q - 218 = -0*f. Does 33 divide f?
False
Let r be (-24)/(-126)*-3*(1 - 8). Suppose -r*w = -4*o + 1504, -2*w = -5*o + 2*w + 1876. Is o a multiple of 12?
True
Let x(y) = 16*y**3 - 4*y + 13*y + 17*y**2 - 9 - 15*y**3. Does 37 divide x(-14)?
False
Let t = 17 + 264. Suppose -9*p + 1982 = t. Is 27 a factor of p?
True
Suppose 5 = 4*f - 3*k, k + 2 = 3*k. Is 32 - (f + 1) - (-16 - -13) a multiple of 32?
True
Suppose 38*k - 4*y = 33*k + 1223, -244 = -k + y. Does 6 divide k?
False
Suppose 58 = -2*f - 122. Suppose -4*t - 20 = 0, 0*w + 3*w - 3*t = 0. Is (9/w)/(27/f) a multiple of 4?
False
Suppose s = -11 - 55. Let x = 300 + s. Is x a multiple of 18?
True
Let t(f) = 5*f + 108. Let m be t(-19). Suppose -15*y - m*y = -24192. Is y a multiple of 12?
True
Suppose 2*t = -229 - 73. Let z = t - -162. Is 11 a factor of z?
True
Suppose -90 = -130*n + 115*n. Suppose n*m - 2678 + 338 = 0. Does 30 divide m?
True
Let z = -896 + 1437. Let v = z + -25. Does 15 divide v?
False
Let c = 29415 + -20031. Does 51 divide c?
True
Let x = -61 + 26. Let g = x + 78. Suppose 4*d - 49 = -2*s + 31, -g = -s - d. Does 10 divide s?
False
Let v(h) = 3*h**2 - 13*h + 6. Let u be v(4). Let g be 1/((-2)/(-74)*-1). Is u*g/2*-3 a multiple of 37?
True
Is -1 + 5/3 + -1*(-4456)/12 a multiple of 31?
True
Let y = -3697 - -4873. Is 14 a factor of y?
True
Let v(i) = 10*i - 65. Suppose -1127 + 345 = -46*g. Does 5 divide v(g)?
True
Let m = -57 + 56. Let a be m/3 - (-819)/27 - 1. Is 20 a factor of (a + -7)/(4/14)?
False
Suppose -156 = b - 5*f, -412 = 3*b + 8*f - 9*f. Let h = 74 - b. Is h a multiple of 4?
False
Suppose 0 = -7*n + 12*n - 25. Suppose -4*t - t = 2*z - 79, -214 = -n*z + 4*t. Is z*(0 + 0 + 2/6) even?
True
Suppose 1313400 = 22*x + 53*x. Is x a multiple of 17?
False
Let s(v) = -v**3 - 11*v**2 - v - 39. Let k be s(-12). Suppose 2*r = 2*a + 378, -r + 4*a = -69 - k. Is r a multiple of 5?
True
Let c be 2/8 - ((-11)/4 - 3). Let o(r) be the second derivative of r**4/12 - r**3/2 - 3*r**2/2 + 6*r. Is o(c) a multiple of 15?
True
Let y(p) = -102*p**3 - 14*p**2 + 11*p + 8. Let r(f) = 34*f**3 + 5*f**2 - 4*f - 3. Let x(l) = 8*r(l) + 3*y(l). Let h be x(1). Let k = h - -122. Does 10 divide k?
False
Suppose -4*r + 35 = -5*b, -3*r = 7*b - 9*b - 21. Suppose -5*z - 60*p + 64*p = -1290, r*p = -4*z + 991. Does 21 divide z?
False
Let v(b) = b**3 + 1. Let f(x) = 226*x**3 + 3*x**2 - 4*x + 4. Let r(k) = f(k) - 2*v(k). Is 9 a factor of r(1)?
True
Let r(u) = 3*u**2 - 10*u - 31. Let h = -120 + 155. Let b be 2 - (-7)/(h/(-50)). Does 35 divide r(b)?
False
Let k(b) = 17*b - 238. Let t be k(16). Let m(v) = v**3 - 34*v**2 + 4*v - 29. Does 7 divide m(t)?
False
Is (0 - (25 - 0/1))*(-1266)/2110 a multiple of 3?
True
Let u = -486 - -872. Let d = u + -230. Is d a multiple of 12?
True
Let y(i) = -29*i**3 - 18*i**2 + 16*i - 1. Does 34 divide y(-5)?
True
Let w(q) be the third derivative of q**4 - 38*q**3/3 - 16*q**2. Let i be w(8). Let f = i - -204. Is f a multiple of 26?
False
Suppose 0 = -13*d - 3874 - 338. Let j = 467 + d. Does 11 divide j?
True
Suppose 5*y = -z + 126, -5*z - y = -488 - 70.