?
True
Let p = -432 + 436. Suppose -y - p*a + 247 = -49, -y = -a - 271. Is y a multiple of 4?
True
Suppose 2134 = 2*g + 3*i, 2603 = 3*g + 2*i - 603. Does 6 divide g?
False
Let i(z) be the third derivative of z**6/120 + 3*z**5/10 - 43*z**4/24 - 13*z**3/2 + 71*z**2 + 2. Is i(-20) a multiple of 5?
False
Suppose -3*m = -5*y + 4522, 3*y + 0*m = 2*m + 2714. Is y a multiple of 41?
True
Suppose x = 8*x - 14. Suppose 20 = 6*q - x*q. Suppose 2*g + q*c - 58 = 0, -17 = -4*g + c + 77. Does 3 divide g?
True
Suppose 0 = 5*a + 2*t - 615, 5*t = a - 6*a + 615. Let c be (-56)/(-26) - (-3 + a/39). Suppose -3*z = -2*b - 19 + 47, 3*b - 16 = -c*z. Is 4 a factor of b?
True
Let a = 18 + -16. Suppose -7*h + 4*h - 3*z + 33 = 0, a*h - 13 = -5*z. Does 17 divide 5826/42 + 4/h?
False
Let g(z) = 13*z**2 + 33*z - 43. Let b(c) = 3*c**2 + 8*c - 11. Let k(p) = 9*b(p) - 2*g(p). Let y be k(-8). Suppose 0 = 3*r + y - 57. Is 6 a factor of r?
True
Let m(s) be the third derivative of -7*s**4/12 - 3*s**3 + 16*s**2. Is 26 a factor of m(-18)?
True
Let h(x) = x**2 + 9*x + 509 + 3*x**2 - 500. Let p be h(-3). Is 18/4*24/p a multiple of 3?
True
Let f be ((612/(-16))/(-17))/(2/8). Suppose 2*y = -2*o + 456, 7*y + 452 = f*y - 2*o. Is y a multiple of 24?
False
Suppose 5*w = 2*u + 35232, -4*u - 15029 = -3*w + 6113. Is (6 - (-253)/(-44)) + w/8 a multiple of 22?
False
Let r = 4308 + 17842. Does 25 divide r?
True
Let z be (61/(-2))/(2/636). Is 9 a factor of ((1*-4)/2)/(183/z)?
False
Let m(i) = 2*i**2 - 5*i - 65. Let g be m(16). Let y = g - 203. Is 36 a factor of y?
False
Let y(f) = -464*f + 42. Does 9 divide y(-6)?
True
Suppose 1089285 = 86*r - 579299 + 565806. Is 32 a factor of r?
False
Suppose -5*l = -12*l - 175. Let x = l - -31. Is 3 a factor of 130/x - 4/(-12)?
False
Let m(s) = -7*s**2 - 6*s**2 - 101 + 21*s**2 - 5*s**2 - 9*s. Does 7 divide m(-7)?
False
Let q = 7015 + -677. Is q a multiple of 4?
False
Let b(r) = -526*r - 10204. Does 14 divide b(-94)?
False
Let b be (-2)/(3/(5 - -1) - 1). Suppose -b*t = -7*t + 486. Is 5 a factor of (-4)/(t/(-420) - (-2)/7)?
True
Let y(f) = -302*f - 1445. Does 10 divide y(-11)?
False
Suppose 0 = -19*b + 4681 + 3717. Suppose 446*d = b*d + 1344. Does 28 divide d?
True
Let x = -11 + 19. Let z be (6/(-5))/((-51)/29920). Suppose 744 = x*w - z. Is 11 a factor of w?
False
Is (16/32)/(4/21064) a multiple of 19?
False
Let p = 10485 - 8430. Is 5 a factor of p?
True
Suppose -5*r - 2 = -22. Suppose -4*h + r*y = -28, 2*h = 7*h + 3*y - 51. Let l(f) = f**3 - 8*f**2 - 4*f - 8. Is 37 a factor of l(h)?
True
Let k(c) = 80*c**2 - 12 - 5*c - 9 + 15. Is k(-2) a multiple of 36?
True
Suppose -2*f = 3*s - 14, -3*s - 2*s + 4*f = -38. Suppose 0 = 3*y - y - s. Suppose -u + y*n - 3 = -48, -5*u + n = -225. Is 8 a factor of u?
False
Is -2*48/32 - (-5818 + (-6)/(-2)) a multiple of 36?
False
Let m(i) = -i**3 + 3*i**2 - 41*i - 52. Is m(-15) a multiple of 11?
False
Let g(q) = -7*q**3 - 2*q**2 + 8*q + 3. Let r be g(3). Let c = r - -962. Does 17 divide c?
True
Suppose 4*j = -24, 144*q - j = 142*q + 24554. Is 4 a factor of q?
False
Let u = -16 + 13. Let z(s) = -s + 1. Let y be z(u). Suppose y*r - 276 = -4*i, -2*r - r = -3*i - 189. Is 22 a factor of r?
True
Let w be ((-12)/5)/(-9*(-4)/120). Let m(h) = -14*h - 17. Let s be m(w). Suppose -b - 5*i = -52, -4*b + 375 = 2*i + s. Is 24 a factor of b?
True
Let h(t) be the third derivative of -t**5/60 + 31*t**4/24 - 31*t**3/6 - 26*t**2. Is 11 a factor of h(16)?
True
Does 41 divide (-1 + 3852)*(62 - 61)?
False
Is ((-945)/12)/(16/(-64)) a multiple of 2?
False
Let y be 42/(-10) - 12/15. Let o = 6 - 6. Is 1/(y/(-495) - o) a multiple of 21?
False
Let h(m) = m**3 - 4 + 5 - 7*m + 12*m**2 + m**2 - 9. Is 10 a factor of h(-13)?
False
Let a(c) = c**3 - 9*c**2 - 21*c - 6. Let v be a(11). Suppose -i = -2*i - v*i. Let x(s) = s**3 - s**2 + 124. Does 8 divide x(i)?
False
Suppose 0 = 5*r + w - 80, -w - 2*w - 16 = -r. Suppose 0 = -2*b - 2*b - r, 5*v + 4*b = 1454. Is 21 a factor of v?
True
Suppose -5*l = -2*n - 19556, -6*l + 4*n + 7800 = -4*l. Is 19 a factor of l?
True
Let r(x) = x - 10. Let j(y) = 1. Let a(u) = -3*j(u) - r(u). Let d be a(9). Is 2 a factor of 510/50 - d/(-10)?
True
Let o = -677 + 3406. Is o a multiple of 52?
False
Suppose -5*n = -1264 - 10246. Let b = n + -1378. Is 21 a factor of b?
True
Suppose -130 = -14*o - 18. Is ((0 - (-20)/o) + -4)*-12 a multiple of 6?
True
Let y = -28 - -10. Let t be -73 - (-18)/(-2)*6/y. Let j = 23 - t. Is j a multiple of 13?
False
Let r = 2 + 6. Suppose 9*d + 191 = r*d. Let k = -82 - d. Is 27 a factor of k?
False
Suppose -3*j = -5*h + 59543, -5*j - 22501 - 13228 = -3*h. Is h a multiple of 185?
False
Let i(j) = -58*j - 4. Suppose -10*p = -2*f - 14*p - 24, -4*p = 20. Is 4 a factor of i(f)?
True
Let x(p) = 47*p - 126. Let h be 5 - ((-12)/(-4) + -1 + -4). Is x(h) a multiple of 2?
False
Suppose 7*c + 3 = 10. Let h be 56/48 - c*2/12. Suppose -3*s = g - 6, -5*g - h - 3 = -2*s. Is 2 a factor of s?
True
Let x(c) = 133*c**2 - 33*c + 134. Is x(10) a multiple of 8?
True
Let t(l) = l - 10. Let m be t(12). Let g(x) = 15*x. Let k be g(m). Suppose -3*q = -4*q + k. Does 6 divide q?
True
Does 5 divide 80/6*(-41601)/(-1132)?
True
Suppose 5*v - 514 = z, 0 = 3*v - 192*z + 193*z - 302. Is v a multiple of 6?
True
Suppose -18 = 9*g - 6*g. Let r be (-24)/(-16)*(-20)/g. Is ((-75)/(-6))/5*274/r a multiple of 12?
False
Suppose -5*w = 3217 + 1103. Let r = -95 - w. Is r a multiple of 35?
False
Suppose -27360 + 3578265 = 261*i. Is i a multiple of 9?
False
Let m(a) = a + 495. Let j be (3 - (-1 + 4))/(-5 + 3). Is 25 a factor of m(j)?
False
Let b(i) = 1225*i**3 - 5*i**2 + 13*i - 1. Does 11 divide b(2)?
False
Suppose 5*k - 44230 = -5*h, 0 = 130*h - 132*h + 3*k + 17702. Is 56 a factor of h?
True
Let m(z) = 304*z - 658. Does 6 divide m(36)?
False
Let c be (-1 - (-8)/1)*(-4)/(-7). Suppose 3 = 3*n, -c*o + 1912 - 707 = n. Does 7 divide o?
True
Suppose -65 = 10*y - 285. Does 23 divide (2 - y)*609/(-58)?
False
Suppose 5912 = q + k, 29*k = 2*q + 24*k - 11789. Is 73 a factor of q?
False
Suppose -5*v = -g + 3375, -3*v - v - 10125 = -3*g. Suppose -4*s = -g + 135. Is s a multiple of 45?
True
Suppose -57*d + 109*d - 562200 = -98*d. Is d a multiple of 4?
True
Let y(j) = 2128*j**2 - 66*j + 80. Is y(3) a multiple of 94?
False
Let d be (4 - 6 - -3)/(-3)*-69. Suppose d = -6*u + 263. Is 8 a factor of u?
True
Suppose -3*x - 2*x + 20 = a, 0 = 3*a + 3*x - 12. Suppose 3*u + l - 569 = 0, -3*u + 5*l - 281 + 856 = a. Is 95 a factor of u?
True
Let u(n) = -41*n + 170. Is 8 a factor of u(-30)?
True
Suppose 0 = s + 1, -4*z + 103 = -9*z - 3*s. Let m = 22 + z. Is m/(-13) + 4/26 - -77 a multiple of 7?
True
Let z = 90 - 81. Suppose 7*v - z*v - 206 = 0. Let s = v + 119. Is s a multiple of 8?
True
Suppose 7*m = 4*y + 9*m - 30196, 3*y - 22642 = -4*m. Is y a multiple of 5?
True
Let n(f) = -65*f + 39. Let a be n(-3). Suppose a = -u + 304. Is 7 a factor of u?
True
Suppose 6*f = 13*f - 77. Suppose 99 = 3*z + 3*o, 5*o - 51 = -13*z + f*z. Is z even?
True
Suppose -1305 = -5*b + 5*p, 2*p + 786 = 3*b - 0*p. Suppose 528 = 2*w - 5*l, -2*l = w + l - b. Does 11 divide w?
True
Let p(z) = 7*z + 96. Let o be p(-13). Suppose 9 = -3*k, 10*k - 1038 = -o*w + 6*k. Is 10 a factor of w?
True
Suppose t = 3*o, -32 = -4*t - 3*o - o. Suppose 0 = -2*p - q + 181, t*p - p = -3*q + 453. Is 27/p*8/(-6)*-200 a multiple of 16?
True
Let i(q) = 182*q**3 - 2*q**2 - 4*q - 2. Let w be i(-1). Let z = w - -346. Suppose 0 = -4*g + 3*s + 299 + 321, -g = -3*s - z. Is g a multiple of 11?
False
Let l = 34115 - 21053. Is l a multiple of 24?
False
Let s be -2 - (1/4 - 99/44). Let v(j) = -2*j + 3. Let a be v(s). Suppose 387 + 132 = 3*y + a*r, 3*r = 4*y - 657. Is y a multiple of 14?
True
Suppose -4*o = -19 + 83. Let s = 1415 - 1475. Let y = o - s. Is 31 a factor of y?
False
Let p = 6419 + -3454. Does 9 divide p?
False
Let a(p) = -1025*p**2 - 5 - 2*p**3 + 1020*p**2 + p**3 + 6 - 6*p. Let m = -7 - -2. Does 5 divide a(m)?
False
Let x(z) = 21 - 14 - z**3 + 21*z**2 - 15*z - 5*z. Suppose 36 = g + 4*n, g + 2*n = 12 + 16. Does 4 divide x(g)?
False
Let n(k) = 7*k**3 + 5*k**2 - 3*k + 1. Let t(b) = 4*b**3 + 4*b**2 - 3*b + 1. Let w(c) = 4*n(c) - 5*t(c). Suppose -4*u - 6 = -14. Does 23 divide w(u)?
True
Let r be 6/(-18) + 10/3. Suppose r = 21*n - 20*n. Suppose n*a - 