49*d + y*i. Is 27 a factor of d?
True
Does 107 divide (4173/2)/(295/(-30) - -10)?
True
Let k = 6 - -2. Does 6 divide 478/k + 1/4?
True
Suppose -13*o + 1688 = b - 17*o, 2*o = 2*b - 3364. Does 80 divide b?
True
Suppose 28*f + 22*f - 139250 = 0. Does 8 divide f?
False
Let u be -17*(4 - 3 - 3). Let s = u + 211. Does 3 divide s?
False
Let s(r) = 4*r**2 + 8*r + 2. Let m be s(-9). Let b = 251 + m. Suppose 76 - b = -13*h. Is 11 a factor of h?
True
Let o = 556 - -541. Suppose -7*z + o = -1738. Is 15 a factor of z?
True
Does 4 divide (-1)/(-9) - (-4 - 139675/45)?
True
Suppose 5*q + o - 2640 = -4*o, 0 = -2*q + 2*o + 1072. Let f be -2 - ((-4)/(-1) - q). Suppose -2*h - 49 + 297 = -4*g, 4*h + 2*g = f. Is h a multiple of 26?
True
Let f(c) = -3*c**2 + 16*c - 2. Let u(r) = -r**2 + 1. Let h(x) = -f(x) + 6*u(x). Let z be h(-6). Let l(s) = -6*s - 2. Is l(z) a multiple of 9?
False
Suppose v = 5*f + 6*v - 190, -v = -4. Let s(x) = -9*x - 27. Let q be s(-6). Let n = f - q. Is 7 a factor of n?
True
Let g = -335 + -40. Let b = g + 1585. Is 11 a factor of b?
True
Let y = -11716 + 22200. Is y a multiple of 20?
False
Let s(m) = 10*m - 31. Let a(j) = 9*j - 32. Let w(k) = 5*a(k) - 4*s(k). Let u be w(10). Suppose -12*f + u*f = 72. Does 12 divide f?
True
Let k = 3701 - 885. Does 9 divide k?
False
Let m = 50 - 48. Suppose s + 5*t + 13 = 0, -m*t = 3*t + 15. Is 16 a factor of (-542)/(-6) + s/3?
False
Let d(j) = 1413*j - 74. Does 13 divide d(1)?
True
Suppose 0 = 4*d + 2*y + 36, -10*d + 5*d - 36 = -2*y. Is (-3)/12 + (-2850)/d a multiple of 13?
False
Suppose 4*y - w = 20757, 10361 = 2*y + 5*w - 2*w. Is 90 a factor of y?
False
Let b be ((-2)/6)/(2/(-18)). Suppose -b*p + 2*t + 93 = -22, -5*t = 4*p - 184. Suppose 111 = 5*f + p. Does 2 divide f?
True
Suppose v + 15*w - 10*w = 29, w = 4. Suppose 0 = -14*a + v*a + 1485. Is a a multiple of 13?
False
Let o be (8/(-10))/(5 - (-3456)/(-690)). Let l = 2 - 2. Suppose 2*m - 52 = -l*m + z, -4*m + 5*z + o = 0. Is 14 a factor of m?
True
Suppose 64*p + 101*p - 417255 = 751935. Is p a multiple of 6?
True
Suppose -12693 = 17*i + 10224 - 153477. Is 64 a factor of i?
True
Let d(p) = -51*p - 91. Does 5 divide d(-59)?
False
Let o(u) = -6*u**3 - 12*u**2 - 12*u + 18. Let b be o(-7). Let m = -1044 + b. Does 33 divide m?
True
Does 5 divide 15/(-9)*(-68094)/585?
False
Suppose 2*n = -3*n - 15, -2*l + 4*n = -6. Is 32 a factor of -84*(-13)/l*-1?
False
Suppose -2*c - 1231 + 1223 = 0, 3*c = -a + 1890. Does 21 divide a?
False
Suppose 85*i - 141111 = 66023 + 137626. Is i a multiple of 312?
True
Let d = 32861 + -26135. Is 38 a factor of d?
True
Let d(w) = -8*w - 22. Let l be d(-3). Let m be l/6 - 28588/(-42). Suppose 2*q = -3*x + 104 + 330, -3*q + 3*x = -m. Does 28 divide q?
False
Let a(j) = -2*j**3 + 6*j**2 + 3*j. Let w(d) be the second derivative of 3*d**5/20 - d**4 - 7*d**3/6 - 2*d. Let y(r) = 5*a(r) + 3*w(r). Is y(-5) a multiple of 3?
False
Let n = -988 - -4252. Does 16 divide n?
True
Suppose -5*n = -2*c + 14331, -4*c - 6*n + 28651 = -5*n. Is 132 a factor of c?
False
Is 44 a factor of (-941 - 11)*(-26)/8?
False
Let w(z) = 407*z + 26. Let k be w(2). Suppose 3*t = 7*t - k. Does 14 divide t?
True
Let b be 0/(7 - 2) + 395. Suppose -b = -4*o - 5*y + 4*y, 5*y = -4*o + 391. Is o a multiple of 5?
False
Let v be 1/(-2) + 19635/42. Suppose -3*m + 73 + v = -o, 2*m + o - 360 = 0. Does 9 divide m?
True
Suppose -137 - 143 = 5*t. Let a = 60 + t. Suppose a*y = i + 4 - 77, 4*y = -2*i + 98. Is i a multiple of 18?
False
Is -1*24032/(-12 - -8) a multiple of 27?
False
Suppose 5*l = -83*y + 81*y + 8760, -4*l - 17576 = -4*y. Is y a multiple of 3?
False
Suppose 5*y = -17 + 232. Let v = -37 + y. Is 15 a factor of 5/(15/(-6))*(v - 36)?
True
Let a(b) = 52*b**2 - 6*b - 23. Let t be a(5). Suppose 246 = -j - 4*c + 666, c = 3*j - t. Is j a multiple of 32?
True
Let n(x) = -14 - x + 0*x + 6 + 8*x - 11. Let r(u) = -u**3 - 5*u**2 - 3*u - 4. Let z be r(-5). Is n(z) a multiple of 29?
True
Let a = -9 + -669. Let y = -663 - a. Does 5 divide y?
True
Let a(d) = -7*d + 28. Let w = 20 + -15. Let s be a(w). Let k(z) = 4*z**2 + z - 1. Does 7 divide k(s)?
False
Let p be 8/(-3)*3/(-1). Suppose 3*c + 66 = v - 15, c - 1 = 0. Is 0*2/p + v a multiple of 12?
True
Let t(r) be the second derivative of -13*r**4/12 - 26*r**3 + 5*r**2 - 41*r. Does 2 divide t(-12)?
True
Suppose -10 = -n - 4*n. Suppose 6*x - x = n*x. Suppose x = 5*w - 4*w + 3*r - 227, 0 = 5*w + 4*r - 1091. Does 15 divide w?
False
Let w = 236 - -937. Suppose 0 = -33*f + 10*f + w. Does 5 divide f?
False
Let f = 5173 + -341. Is f a multiple of 32?
True
Is 39 a factor of 5*137*6*(-377)/(-290)?
True
Suppose 3*b = -3*f + 24837, -3*b + 24778 + 61 = f. Does 45 divide b?
True
Let s = 12223 - -3689. Is s a multiple of 18?
True
Let m(l) be the second derivative of 1/3*l**4 + 0 + 20*l - 9/2*l**2 - 11/6*l**3. Is 14 a factor of m(6)?
False
Suppose 3*t = -3*v + 5*v + 311, 0 = -2*t + 4*v + 194. Let u = t + 47. Is u a multiple of 11?
True
Let n be 6*4/(-8) + 12. Suppose 0 = -n*f + 1726 - 5200. Let z = -246 - f. Does 20 divide z?
True
Let c(s) = -3*s**2 - 58*s - 11. Let v be c(-19). Suppose 3*r + q = 945, 1260 = 4*r - 10*q + v*q. Is r a multiple of 35?
True
Suppose 0 = -10*x + 5*x + 500. Suppose 2*w + 0*k + x = k, 4*k + 68 = -w. Let s = w + 106. Is 27 a factor of s?
True
Let g be (2/(-1))/(38/57). Let p be (5 - -2) + (g - -3). Suppose -w + 12 = -p. Is w a multiple of 4?
False
Let d = 149 + -134. Let z(f) = -f**3 + 18*f**2 - 19*f - 37. Does 56 divide z(d)?
False
Let y(p) be the first derivative of -18*p**2 + 10*p - 87. Does 35 divide y(-1)?
False
Suppose -4*b + 244 = 4*t, -t = b - 2*t - 57. Suppose 4*u = 3*x - 124, -2*u - u = 5*x - 197. Suppose -b = 39*d - x*d. Is 9 a factor of d?
False
Let m(b) = -138*b**2 + 4*b + 1. Let x be m(-2). Let j = x - -582. Is 2 a factor of j?
False
Suppose -4*w = 942*z - 941*z - 2430, -5*w + z + 3051 = 0. Is w even?
False
Suppose -8*d + 34*d - 910 = 0. Suppose d*c - 2470 = 30*c. Does 36 divide c?
False
Let d(g) = 2*g**2 - 6*g - 6. Let f be d(-4). Let p = f - 46. Suppose -120 = -2*v - p*v. Is 5 a factor of v?
True
Let j(h) = h + 9. Let p be j(-11). Is 24 + -19 - -13*(-58)/p a multiple of 15?
False
Suppose 8347 = -116*n + 210883. Does 5 divide n?
False
Let w(p) = 6*p**2 + 69*p + 20. Let v be 4/26 - (-11)/(572/(-632)). Is 28 a factor of w(v)?
True
Let v(l) = 52*l**2 - 60*l. Does 116 divide v(-10)?
True
Let j = 74 - 73. Let c(a) = -j + 4 - 7*a - 4 - 22*a. Is c(-1) a multiple of 27?
False
Suppose -14994 - 9639 = -7*y. Is 23 a factor of y?
True
Suppose 6*n - 41 - 31 = 0. Let m be 16/6*9/n. Suppose 180 = d + m*d. Does 20 divide d?
True
Let w(m) = m**2 - 5*m - 26. Suppose -c = -2*f + 2 - 9, -2*c + 5*f + 13 = 0. Let n be w(c). Does 17 divide (-5)/n + 462/4?
False
Let u(g) = g**3 - 35*g**2 + 83*g + 482. Is u(42) a multiple of 13?
False
Suppose 0 = 80*w - 98*w - 72. Is 52 a factor of (5/w + 1)*620/(-1)?
False
Suppose 0 = -k + 7*k - 420. Suppose 0 = k*u - 65*u - 835. Is u a multiple of 68?
False
Suppose q - 167618 = -8*t, 104735 = 16*t - 11*t + 5*q. Is 23 a factor of t?
True
Suppose 5*g + 2*n + 56 = 0, -8*g + 5*n = -5*g + 46. Let k(u) = -2*u + 23. Does 6 divide k(g)?
False
Is 527/3*(373/25 + (-76)/(-950)) a multiple of 19?
False
Let u = -4 + 8. Suppose u*l = 6*l - 556. Let i = l + -168. Is i a multiple of 18?
False
Let u be (15900/(-8))/(-5)*16/10. Is 103*10*(u/(-60) + 11) a multiple of 12?
False
Let r = 280 + -500. Let w be (-1060)/r - (-4)/22. Suppose o = w*y - 3*o - 264, 2*y = 3*o + 107. Does 10 divide y?
False
Let u = 13350 + -10875. Is u a multiple of 25?
True
Suppose -102*t = -119*t + 54655. Is 13 a factor of t?
False
Suppose 69 = 5*p + 44. Suppose 4*n = p*n + 124. Let i = -56 - n. Is 17 a factor of i?
True
Let x(u) = 9*u - 68. Let c(r) = -4*r + 34. Let y(o) = 5*c(o) + 3*x(o). Is y(10) a multiple of 2?
True
Let x(f) = f**3 + 13*f**2 - 2*f - 20. Let i(p) = -p**3 + 16*p**2 - 3*p + 37. Let t be i(16). Does 20 divide x(t)?
False
Let c = -28333 + 64493. Is c a multiple of 226?
True
Suppose -2326 = -2*p - 3*g + 6*g, 5*p - 3*g = 5815. Let q = p - 757. Is 40 a factor of q?
False
Let a = 425 + -394. Suppose 56*j = a*j + 7275. Is j a multiple of 67?
False
Suppose 4*c - 2*f = 2074, 3*c - f - 1566 = 4*f. Suppose 5*p + c = -673. Let r = -149 - p. Is r a mult