- f - 12 = 0, 5*l - 2*f = 12 + 16. Suppose l = 2*y + i - 13, 5 = -5*i. Let x = y - -21. Is x a multiple of 3?
True
Suppose 0 = b + 2*b - 5*m - 151, 0 = 2*b - 2*m - 94. Let v be b/49*(7 + 0). Suppose -s + 714 = v*s. Is s a multiple of 17?
True
Suppose 6381 + 4311 = 75*v + 2892. Is v a multiple of 2?
True
Is (1*4*11/22 - -55739) + 3 a multiple of 32?
True
Let w(n) = -n**3 + 7*n - 10. Let o be w(4). Let b = 46 + o. Is (-1 + -74)*(-2 - b) a multiple of 25?
True
Is 17 + 8777 + 133/(-7) a multiple of 225?
True
Let r be (-24 - -20)/(2/2) + 5. Does 5 divide 5/((1/5)/r)?
True
Suppose 6*k = 995 + 139. Is 35 a factor of ((-12)/10)/(k/(-171360))?
False
Suppose -3*c - 5697 = 12*q - 13*q, 3*q + 2*c = 17036. Does 6 divide q?
True
Let h = -8598 - -10650. Does 57 divide h?
True
Suppose -r = -1, -3*r + 10339 = -186*i + 188*i. Does 76 divide i?
True
Suppose -149 = -4*n - u, -2*n + 5*u + 97 = 6. Suppose -40*l + n*l + 196 = 0. Is l a multiple of 7?
True
Suppose 314*u + 5165 = 319*u. Suppose 0 = -3*k - 4*b + 3131, -27*k + 26*k + 4*b = -u. Is 12 a factor of k?
False
Let c(g) = g**2 - 5*g + 8. Let q be c(3). Suppose -4*s = 4*k, -4*s + 6*s = q*k. Does 15 divide 29/((k + -1)*(-2)/10)?
False
Suppose -3*j + 3*z = -2859, 4*z + z - 1899 = -2*j. Suppose -j - 1032 = -8*f. Is 18 a factor of f?
False
Suppose -3*y + 189 = 129. Is 4 a factor of 25*(1 + 44/y)?
True
Suppose 3*v - 6*v - 6 = 0, 3*l = 4*v + 14. Suppose 52 = 2*p - l*o + 6*o, 2*p = o + 27. Suppose -k - 3120 = -p*k. Is 14 a factor of k?
False
Suppose 5*r + 2271 = 91. Let y = r + 565. Does 5 divide y?
False
Suppose -4*u - 2*v = -26, -4*v = -5*u + 11 + 2. Suppose 28*w - 1480 - 1488 = 0. Suppose u*d - w = 39. Does 6 divide d?
False
Let k = -17907 + 18842. Is k a multiple of 4?
False
Let q = 99 - 97. Suppose q*j = 2*v - 244, j = 6*j + 3*v + 586. Let d = j + 209. Is d a multiple of 6?
True
Let o = 11130 - 6644. Does 94 divide o?
False
Suppose 3*z - 4*k - 91003 = 0, -3*k = -4*z + 20671 + 100657. Does 13 divide z?
True
Let q(r) = -10*r**3 - 5*r**2 + 19*r + 13. Let y be q(-7). Suppose -5*b + 5*k + y = 0, 2*b - 2*k - 1218 = 2*k. Suppose 113 = -7*h + b. Is 18 a factor of h?
True
Let m(d) = d**3 - 10*d**2 + 9*d - 4. Let b be 2*(0 - (-1 + -2)) - -3. Let o be m(b). Is 4*(o/2)/((-6)/15) a multiple of 5?
True
Let o be 3 + 3 + -7 - (1 - 0). Let i(g) = -8*g - 20. Let n be i(o). Is 153 - n/(-3 - -7) a multiple of 22?
True
Let t(k) be the third derivative of -k**5/60 + k**4/2 - k**3/3 + 3*k**2. Suppose -10*s + 7*s - 41 = -5*r, 5*s = -4*r + 55. Is t(r) a multiple of 9?
True
Suppose -5*s - 2*v + 83900 = 0, -4*s = 2*v - 80006 + 12886. Does 10 divide s?
True
Suppose -14*c + 8*c = -60. Suppose 533 - 113 = c*f. Suppose -z + 30 = -f. Does 18 divide z?
True
Is 19 a factor of (-365474)/(-14) - 1880/6580?
False
Let b(c) = c**3 + 19*c**2 - 36*c - 29. Is 3 a factor of b(-7)?
False
Let d be ((-200)/15)/(-20) - (-518)/6. Let t = 52 + d. Does 5 divide t?
False
Suppose -s - 8*q = -11*q - 10899, -4*s + 2*q + 43566 = 0. Is 15 a factor of s?
True
Let j(h) = -11*h - 1. Let g(c) = 5*c**2 + 3*c + 1. Let l(p) = p**2 + p + 1. Let x(m) = g(m) - 4*l(m). Let r be x(0). Is j(r) a multiple of 6?
False
Let w be ((1 - -2) + 1)*3/(-3). Is 6444/27 - w/3 a multiple of 5?
True
Suppose -21510 = -3*q - 9*g, -4*q + 2*g - 21524 = -7*q. Is q a multiple of 24?
True
Let u be (4 - 16)*(-9)/12. Suppose -l = 3*f + 12, 4*f = l - 0*f - u. Does 14 divide ((-28)/l)/((-1)/(-6))?
True
Let w(a) = 39*a**2 + 14*a + 530. Does 33 divide w(-10)?
True
Suppose 110*d = 493*d - 1027972. Is d a multiple of 22?
True
Is 5 a factor of (-30283)/(-3) - (-7 + (-5 - 408/(-36)))?
True
Is 10 a factor of 260/((121/(-88))/(-11))?
True
Let q be (524/(-1))/(34/(-6) - -5). Suppose 0*u = 4*u + 2*f - q, -204 = -u - 2*f. Does 35 divide (u - 3) + 24/(-6)?
False
Suppose 0 = 2*i - k - 29048, 12*i + 5*k - 115615 - 58695 = 0. Is 3 a factor of i?
False
Suppose 0 = -54*r + 270497 - 46181. Does 134 divide r?
True
Let h be 16/(-12) + 2 - (-26245)/3. Suppose -h = -28*a + 6651. Is a a multiple of 50?
True
Suppose 3*m = 3*o + 42, o + 38*m = 43*m - 26. Let k(x) = 2*x**2 + 17*x + 172. Does 18 divide k(o)?
False
Let m(x) = 548*x - 3044. Is 51 a factor of m(14)?
False
Suppose 258 = 4*v + 8*q - 11*q, -4*v - 5*q = -274. Suppose 0 = v*b - 77*b + 10846. Is 29 a factor of b?
True
Suppose 64525 + 374289 = 108*u - 125918. Is u a multiple of 65?
False
Let a(i) = 7*i - 210. Let b be a(30). Suppose b = 3*g + 11*g - 350. Does 22 divide g?
False
Suppose -11 = 3*z - 4*j + 1, -2*z + 3*j = 8. Let s be ((-2)/z)/(5/30). Is (3*(-96)/(-27))/(1/s) a multiple of 8?
True
Suppose 10*f = 12*f + 3*q - 1036, 3*f - 3*q = 1554. Suppose 364 = -516*b + f*b. Does 11 divide b?
False
Is (1904632/140)/((-30)/(-70)) - (-14)/105 a multiple of 93?
False
Let u = 52 + 10. Suppose m = u - 150. Let d = -78 - m. Is 2 a factor of d?
True
Let d = 44170 + -27295. Is 18 a factor of d?
False
Let k(u) = 29*u**2 - 268*u - 2724. Is k(-10) a multiple of 8?
True
Let b(d) = -24*d + 9. Let y(w) = -48*w + 24. Let x(f) = 9*b(f) - 5*y(f). Suppose 3*s - j = 45, -3*s + 39 = -0*j - 3*j. Is x(s) a multiple of 45?
False
Let u(y) = y**2 - 8*y - 8. Let j be u(9). Let a(q) = 155*q**3 + 3*q**2 - 6*q + 4. Is 6 a factor of a(j)?
True
Let o = 119 - 115. Suppose o*n = 24 - 296. Does 28 divide (n/51)/(4/(-498)) - -3?
False
Is (11 - 2)*(-1050)/(-9) a multiple of 73?
False
Let x(b) = b**3 - 41*b**2 + 7*b. Is x(41) a multiple of 2?
False
Let s(h) = -2*h + 29. Let k be s(13). Suppose -1462 = -k*f + 4*a + 1077, 0 = -3*f - 3*a + 2511. Does 16 divide f?
False
Suppose -3*d - 2*z + 184 = -177, 4*z - 8 = 0. Suppose -2*y - 252 = 4*h, 256 = 2*h - 6*h - y. Let p = d + h. Is 9 a factor of p?
True
Let l(h) = h**3 + 39*h**2 + 336*h + 13. Does 121 divide l(-25)?
True
Suppose -226*l + 235*l = 7227. Is 73 a factor of l?
True
Suppose -18*q = 15*q - 302725 - 190460. Is q a multiple of 35?
True
Suppose -3*j + 7093 = -5*u + 20397, 2*j = -2*u + 5328. Suppose -u - 348 = -14*p. Is 31 a factor of p?
False
Suppose q - 7*i = -2*i + 19, 3*q - 57 = i. Is 5 a factor of 1 + 834/19 + 2/q?
True
Let d = 1310 + -621. Is d a multiple of 53?
True
Let r(a) = a**3 + 11*a**2 + a + 3. Let s be r(-11). Let k(l) = -85*l - 238. Does 34 divide k(s)?
True
Let a(k) = 2*k**2 + 44*k + 10. Let q be a(-22). Suppose 0 = 13*c - q*c - 1422. Let x = c - 336. Is 52 a factor of x?
False
Let g = -957 + 1522. Suppose -18*b = -13*b - g. Let m = b + -66. Is 10 a factor of m?
False
Let i be (-1 - (-55)/10) + (-2)/(-4). Suppose -i*d + 49 = a + a, 4*a - 53 = -5*d. Is -3*(-3)/d - -41 a multiple of 24?
False
Suppose 0*r + 7282 = 11*r - 625471. Is 41 a factor of r?
True
Suppose -54*k + 247195 = -30*k - 20405. Is k a multiple of 25?
True
Let i be (-3)/30*-5*16. Suppose 1554 = i*t - 6. Is 8 a factor of t?
False
Suppose 27*w - 1980 = 17*w. Suppose -5*u - h = -w, -4*u - 2*h = -2*u - 84. Is 3 a factor of u?
True
Suppose 8*c + 0*c = -864. Is ((-90)/(-20))/((-2)/c) a multiple of 13?
False
Let x = -38 + 48. Let c be (x/(-12))/(1/(-6)). Suppose 3*y - 192 = -v, -c*v - 18 - 30 = -y. Does 7 divide y?
True
Suppose 11 = -17*z + 28. Is 22 a factor of 826 + z + 4*(-30)/24?
False
Suppose -r - 11 = -4*p + 9, -88 = 3*r + 2*p. Let f = r + 33. Suppose f*h - 1088 + 413 = 0. Does 15 divide h?
True
Let n(c) = 2*c**3 + 27*c**2 - 3*c + 17. Let u be n(-14). Let y = 707 + u. Is y a multiple of 30?
True
Let h be -1*((-4)/6 + 28/42). Suppose -u + 32 = -5*p + 1007, h = -5*u + 25. Does 49 divide p?
True
Suppose -109*k + 57*k - 6816 = -60*k. Is k a multiple of 12?
True
Let l(v) = 2*v**3 - 20*v**2 - 22*v - 57. Let k be l(15). Let s = -1300 + k. Does 44 divide s?
False
Let d(f) = 2163*f**2 - 209*f + 812. Is d(4) a multiple of 44?
True
Let c = -16 + -94. Let s = 30 - c. Does 4 divide s?
True
Let k = 477 - 474. Suppose -3*u = 2*j - 2929, k*u + j - 2957 = -30. Is u a multiple of 12?
False
Suppose -4*r = -5*n + 6*n - 1846, -n + 2*r = -1846. Is n a multiple of 13?
True
Suppose 5*w + 4*f + 82 = 0, 5*w + 2*f + 104 = 18. Suppose -t = t - 3*s + 1546, 3*s = 6. Is 10 a factor of (-2)/(-9) + t/w?
False
Let k = -34752 - -58669. Is k a multiple of 41?
False
Suppose k - 22 = -4*j, 5 = -3*j + 104*k - 94*k. Let c(u) = -u**2 + 13*u - 1. Let q be c(6). Suppose 16 = j*d + w, 4*d - 5*w - q + 5 = 0. Is 2 a factor of d?
