- 52, 13 = g - 4*n. Suppose -g*i = 4*i - 1683. Is 15 a factor of i?
False
Let d(q) be the third derivative of -10*q**2 + 11/3*q**3 + 1/12*q**4 + 0*q + 0. Is d(-7) a multiple of 5?
False
Suppose 3*j - 3*u = -36, 3*j - 4*j + 2*u = 14. Is 10 a factor of (1 - 161)*(j + (-153)/(-18))?
True
Let f = 5345 + -4850. Is f a multiple of 2?
False
Suppose -3*w - 1016 = -11*w. Let b = w + -95. Is 4 a factor of b?
True
Suppose 0 = -6*g + 16 - 4. Suppose -3 = g*r + 17. Is 5 a factor of 4*15/(-12)*r?
True
Suppose -c = 5*x + 2*c + 172, 5*c + 116 = -3*x. Does 14 divide (2*-5)/(x/160)?
False
Let c(n) be the first derivative of -n**4/4 + 4*n**3/3 + 3*n**2/2 - 5*n - 4. Let r be c(4). Suppose 0 + r = q. Does 7 divide q?
True
Let b = -17 - -33. Suppose -5*q = -b - 4. Suppose 3*u = -q*p + 52, 3*p + 0*p = -5*u + 83. Does 3 divide u?
False
Let x(m) = 23*m + 22. Let p be x(-6). Let i = 113 + p. Does 43 divide 176 - 3 - (i - -4)?
True
Let n(u) = u**3 - 8*u**2 - u + 8. Let s be n(8). Let c(i) = -i**2 - 4*i + 4. Let a be c(s). Suppose 2*w = -a*k + 132, -4*k + 8*k = -5*w + 132. Does 11 divide k?
True
Let j be (33/(-6) + 4)*(-1 + -3). Suppose j = 5*u - 69. Suppose 18*s - u*s = 300. Does 10 divide s?
True
Suppose 7*j + 69 = -36. Let q = -18 + 118. Let s = q - j. Is s a multiple of 23?
True
Suppose -28*d + 42 = -35*d. Is 15*(3 - (-5 + 13) - d) a multiple of 3?
True
Suppose 42*c - 44*c + 44 = 0. Suppose -47*y + 9775 = -c*y. Is y a multiple of 13?
False
Let x = 1799 - 1787. Suppose 5*l = 37 + 28. Suppose -x*w = -l*w + 135. Is 27 a factor of w?
True
Suppose 0 = 53*s - 46*s + 658. Let h = -163 - s. Let k = h + 105. Is 9 a factor of k?
True
Suppose 11*v - 28 = 7*v. Suppose -v*t + 2*t + 13 = -4*g, 0 = g - 3. Suppose -o - 3*o - 2*l = -194, -t = -5*l. Does 6 divide o?
True
Suppose 5*n - 3*c = 815, 5*n - 2*c = 774 + 41. Let q = n + -151. Does 4 divide q?
True
Suppose 52*c = 62*c. Suppose 5*z - 1997 = g + 2*g, -4*z + g + 1599 = 0. Suppose c = 3*h, z = 5*q - q - 2*h. Is q a multiple of 18?
False
Let d(s) = 601*s**2 - 60*s - 49. Is 18 a factor of d(7)?
True
Suppose 12*j - 42 = 6*j. Suppose -2*g = -0*g - 3*a - j, -4*a + 2 = 3*g. Is 8 a factor of (15/(-45))/(g/(-48))?
True
Suppose t + 4*t - 45 = 0. Let p(d) = 2*d**3 + 13*d**2 - 14*d - 12. Let a(j) = j**3 + j**2 - j. Let k(h) = 3*a(h) - p(h). Is 10 a factor of k(t)?
True
Let w(v) be the second derivative of v**5/20 + 5*v**4/12 - v**3 + 9*v**2/2 - 37*v. Is w(-6) a multiple of 9?
True
Let m(r) = -r**2 - 11*r - 9. Let s(n) = -13*n - 12. Let x be s(-4). Let y be x/(-6) + (-4)/(-6). Is m(y) a multiple of 15?
False
Suppose 2*w = 4*z - 524, -6*w = 2*z - 3*w - 246. Let k = 207 - z. Is 5 a factor of k?
False
Let i be (-2 + 2)/(-1 - -1 - -1). Suppose 3*b - 30 = -i*b. Suppose -b - 6 = -u. Does 3 divide u?
False
Let a be (2 - 9/2)*(-8)/10. Let q(n) = -n**3 + 11*n**2 - 17*n + 6. Let u be q(8). Suppose -a*t + 154 = -u. Does 12 divide t?
True
Suppose -5*h = 2*m + 13, 4*m + 4*h - 205 + 213 = 0. Let b be ((-4)/(-2))/(1/321). Is 20 a factor of b/15 - m/(-5)?
False
Is 127 a factor of 3/24 - 370588/(-32)?
False
Suppose 5*o - 9*q = -4*q + 1665, -4*q = 0. Let l = o - -91. Is l a multiple of 54?
False
Suppose -4*q + 8 + 4 = 0. Suppose -q*n - y - y = -298, 3*y = -4*n + 396. Suppose -3 = -5*i + n. Does 5 divide i?
False
Let h(p) = p**3 - 17*p**2 + 57*p - 3. Let n be h(13). Suppose n*l - 57*l = 800. Is 20 a factor of l?
True
Suppose -5*f + 4 = 5*c - 31, 0 = -5*c - f + 39. Suppose -c*t + 755 - 307 = 0. Suppose -t = s - 168. Does 28 divide s?
True
Suppose 5*k = -4*l - 1300, -2*k - 179 = l + 143. Let g = l + 512. Is 26 a factor of g?
True
Let o(l) = 23*l - 43*l + 22*l + l**2. Does 24 divide o(-8)?
True
Suppose -9*f + 14 = -5*f - v, 5*f - 25 = 5*v. Suppose -f*r - 20 = -191. Does 19 divide r?
True
Let f be (6/(-12)*5)/((-2)/4). Suppose 0 = 4*s + 12, -3*o - f*s - 107 - 13 = 0. Is (60/25)/((-1)/o + 0) a multiple of 4?
True
Suppose 207 - 663 = -4*r + 4*b, 0 = r - 4*b - 120. Suppose 0 = 2*d + 5*w - r, -5*d - 4*w + 177 = -137. Is 6 a factor of d?
True
Let z = 353 + -323. Is (336/z - 0)/((-2)/(-45)) a multiple of 14?
True
Let r be 8/36 - (-2 - (-5938)/(-9)). Let j = r - 402. Is j a multiple of 20?
True
Let f = 961 - -1325. Is f a multiple of 8?
False
Suppose -6*x + 137235 = -23817. Does 19 divide x?
False
Suppose -4*k - 11*y = -9*y + 1392, -4*y = -2*k - 706. Let w = k - -385. Is 2 a factor of w?
True
Suppose 13*r + 3 = 42. Let m be (-2)/4*0/(-5). Suppose -x = m, x - 317 = -r*o + 220. Is 36 a factor of o?
False
Let x = 1968 - -393. Is 36 a factor of x?
False
Is 5 + (-14288)/(-16) + -13 a multiple of 15?
True
Let b(d) = -2*d**3 - 27*d**2 + 12*d + 9. Let c be b(-13). Let z = c + 458. Does 44 divide z?
False
Let i(r) = 5*r**2 + 7*r + 9. Let u(t) = t**3 + t**2 + 7*t + 1. Let g(x) = -x**3 - 7*x. Let p(k) = 7*g(k) + 6*u(k). Let a be p(5). Is i(a) a multiple of 13?
False
Suppose -15*t = -18*t - z + 4132, -5*t + 6885 = 2*z. Is t a multiple of 66?
False
Suppose -1104 = -4*x - 2*w, 3*x - 688 = -3*w + 137. Suppose -x = -4*d - 85. Let c = d - 20. Is c a multiple of 7?
True
Let l = -599 - -598. Is 73 a factor of ((-988)/(-228))/((-172)/174 - l)?
False
Let o(r) = -r**3 + 77*r**2 + 252*r - 370. Does 5 divide o(80)?
True
Is 2 a factor of (-22)/(-220)*70 + 73?
True
Let n be 10*(-100)/(-30)*(-114)/(-8). Let m = n - 347. Is 64 a factor of m?
True
Let j be (1 + 2*-1)/(61/(-122)). Suppose -6*v - 160 = -3*l - 5*v, -j*v = l - 51. Is l a multiple of 11?
False
Let u(l) = 12*l**2 - 151*l - 4556. Is 12 a factor of u(-43)?
False
Let p(s) = -s**3 - 67*s**2 - 18*s + 609. Is p(-67) a multiple of 4?
False
Let m = 34 + -32. Suppose -5*c + c - 578 = -m*b, 0 = 3*b - c - 877. Is 13 a factor of b?
False
Let w be (-1 - 0) + 480 + (2 - 0). Let b(r) = -131*r**3 + r**2 + 2*r + 1. Let t be b(-1). Suppose -10*y = t - w. Is 8 a factor of y?
False
Suppose 4*i - 2*g - 1925 = 6811, 10920 = 5*i - 4*g. Is i a multiple of 28?
True
Let c = 12823 + -6695. Is c a multiple of 92?
False
Let w(v) = 3*v**3 - 4*v**2 + 5*v - 6. Suppose 4*t + 5 = 17. Is 3 a factor of w(t)?
True
Let z = 12 - 9. Suppose 4*l - 5*l + 1947 = z*h, -5*l = -2*h + 1315. Suppose -h = -5*s - 50. Does 12 divide s?
True
Let f be (-10)/(-50)*0 + 4 + -1. Suppose 0 = -5*o + f*o - 3*n + 375, 3*n = 5*o - 990. Does 15 divide o?
True
Suppose -143*j = 5*m - 138*j - 25210, -3*m = -2*j - 15116. Does 34 divide m?
False
Suppose 2*l + 2879 + 5485 = 2*b, 3*b + 2*l = 12581. Is b a multiple of 14?
False
Let f = -123 + 173. Let o be f*28/8 - 3. Let z = o + -92. Does 22 divide z?
False
Let o(d) be the third derivative of -d**6/120 - 2*d**5/5 - 9*d**4/8 + 23*d**3/6 + 203*d**2. Is 76 a factor of o(-24)?
False
Let g be 3/(-3*(-4)/108) + -3. Suppose 4*s - v - 238 = 119, 359 = 4*s - 3*v. Let p = g + s. Is p a multiple of 21?
False
Let b(y) = -3*y + 23. Let z be b(6). Suppose 5*u = 4*x - 1362, 0 = -z*x + 5*u + 616 + 1084. Suppose -4*q - 5*w = -0*w - 347, -2*w + x = 4*q. Is 9 a factor of q?
False
Let a = -7894 - -11276. Is a a multiple of 89?
True
Is (-13)/(-26)*-16 - -2867 a multiple of 120?
False
Let i = -3657 - -5549. Does 19 divide i?
False
Let p(u) = -4*u**3 - 2*u**2 - 3*u + 7. Let f be p(-3). Suppose -31 = l + 3*s, 0*s - f = 4*l + 3*s. Does 25 divide (-6)/(60/l)*(18 + 2)?
True
Let s(f) = f**2 + 129*f + 5663. Is s(-77) a multiple of 3?
True
Suppose -5*n - 24 = 3*f, -f + 12 = 4*n + 27. Does 3 divide 6976/96 + 2*1/n?
True
Suppose -x - 3*u + 24 = -2*x, -2*x + 3*u - 36 = 0. Let v be (0 - x/54) + (-68)/(-18). Suppose -v*h = -w - 433, -w + 538 = 5*h + w. Is 12 a factor of h?
True
Let p(g) = -g**2 + 22*g - 37. Let c be p(20). Suppose -c*w + 124 = -92. Does 12 divide w?
True
Let i = -591 - -714. Is i a multiple of 2?
False
Suppose 0 = 5*s - 4*m - 5831, -2329 = -2*s - 39*m + 44*m. Does 37 divide s?
False
Suppose -26815*w + 26813*w = -2692. Is 73 a factor of w?
False
Let z(t) = 6 + 2*t - 15 - 13 + 2157*t**2 - 2155*t**2. Is z(-12) a multiple of 11?
True
Suppose 17504 = 2*d - 4*g, -9*d + 5*g - 26322 = -12*d. Is 63 a factor of d?
False
Suppose z = 3*w + 4*z - 12, -4*z + 16 = -5*w. Suppose w = -192*s + 195*s - 4071. Is s a multiple of 82?
False
Suppose -39*v - 1606050 = -205*v. Does 25 divide v?
True
Let c(b) = b**3 - b**2 + b - 3. Let x be c(3). Let m be 2398/x - 18/81. Let o = m + -101. Is o a m