uppose -15*t - m = -3*o - 11*t, 5*t - 891 = -4*o. Is o a multiple of 62?
False
Suppose -5*z + 9733 = -5*r + 33128, -4*z = 5*r - 23377. Suppose 6*p = 1131 + r. Is p a multiple of 84?
False
Let i = -1147 - -4868. Is 2 a factor of i?
False
Does 54 divide 34741/4 - 120/96?
False
Let f = -269 - -273. Let z(y) = 7*y - 1. Let m(a) = 13*a - 2. Let t(l) = -2*m(l) + 5*z(l). Is 35 a factor of t(f)?
True
Let k(h) = 18*h**2 + 25*h + 109. Let t be k(-4). Is 21 a factor of 224/6*t/(-44)*-4?
True
Let d be 130/8 - 3/12. Suppose 4*i - d = 0, g + 4*i = -4*g - 129. Let n = g + 61. Is 8 a factor of n?
True
Suppose -3*s - 3*m = 1233, -2*m + 0*m = -s - 414. Let v = -163 - s. Is v a multiple of 46?
False
Let f(z) = -63*z**3 - 2*z**2 - 20*z - 27. Is f(-7) a multiple of 34?
True
Let w be 4/26 - 116784/624. Let q = w - -192. Does 5 divide q?
True
Let i be (27 - 1)*((-12)/(-4) + -4). Let c be (-8)/(-20) - (i/10 - 0). Suppose -33 = -c*t + 84. Is t a multiple of 28?
False
Let c(y) = 27*y**3 - 15*y**2 - 5*y + 61. Does 33 divide c(6)?
False
Suppose 3*p = 21 + 30. Let a(x) = 55 + 3*x - p*x**2 - 2*x + 16*x**2 - x**3 + x. Is 18 a factor of a(0)?
False
Let u = -27504 + 40432. Does 101 divide u?
True
Suppose 2*x = 2*n + 102, 0*n = -5*x + 3*n + 261. Let b = 56 - x. Suppose 0 = 5*q - b*g + 266 - 893, 0 = 5*q - 5*g - 630. Does 30 divide q?
False
Let t(g) = g**2 - 13*g - 30. Let x be t(15). Suppose x = -4*a - a + 660. Does 13 divide a?
False
Suppose -3*b + 28792 + 5024 = 0. Does 8 divide b?
True
Let u be ((-1 - 17) + -2)/(-2). Let y be 8/(-20) - (-34)/u. Suppose 0 = -2*a + h + 156, 0*a = -2*a - y*h + 156. Does 21 divide a?
False
Let m = 1 + 3. Suppose -t + 224 = m*b, 3*b + b - 5*t - 200 = 0. Is 3*(0 - b/(-15)) a multiple of 9?
False
Suppose 16*j = -10268 - 9604. Let v = -307 - j. Does 17 divide v?
True
Let g be (((-72)/15)/(-4))/(30/75). Is 3 a factor of (72090/21)/9 - g/7?
True
Let s be 2774 - (8 - 4) - (-1 - -1). Let i = s + -1962. Is i a multiple of 27?
False
Let x(y) = -24*y - 16. Let d be x(14). Let c = d - -183. Let b = c - -247. Does 9 divide b?
False
Let g(s) = -s**2 - 9*s - 6. Let f be g(-3). Let w = f - -342. Is 14 a factor of w?
False
Suppose 0*d = -2*d + 4. Let a be (-9*5196/(-972))/(1/9). Suppose g + 4*m = 213, 0 = -2*g + d*m - 3*m + a. Does 31 divide g?
True
Let f = -150 - -155. Suppose -f*w = 4*h - 6*h + 29, 2*h - 17 = w. Does 2 divide h?
False
Suppose -32*r + 15*r + 833 = 0. Let o(i) = i**2 - 22*i - 73. Is 112 a factor of o(r)?
False
Let y = 1737 - -3507. Does 69 divide y?
True
Let y = -9379 + 21963. Is 8 a factor of y?
True
Let p(q) = q**3 - 12*q**2 + 33*q + 13. Let i be p(5). Suppose -i*z + x + 0*x + 573 = 0, x = 3. Is z a multiple of 8?
True
Let z(d) = 38*d**2 - 2*d + 2. Let t(f) = -f + 1. Let j(b) = 3*t(b) + z(b). Does 25 divide j(-2)?
False
Let u(h) = -h**2 + 46*h + 43. Let m be 2*((-20)/(-8) + -3) - -32. Does 17 divide u(m)?
False
Suppose 4*j - 154 = 2*a, 6*a = -5*j + 11*a + 205. Suppose -2*k + j = -666. Is k a multiple of 27?
True
Let x = -4499 + 10851. Does 28 divide x?
False
Let j = -7355 - -13681. Is 9 a factor of j?
False
Suppose 15 = -7*o + 50. Suppose 2250 + 580 = o*p - 5*w, -558 = -p + 5*w. Is p a multiple of 17?
False
Let a = 8686 + -7929. Is 5 a factor of a?
False
Suppose 14*u = 10*u. Suppose -4*b + 209 - 157 = u. Let g = 67 - b. Is g a multiple of 4?
False
Let q(d) = 36*d**2 - 20*d + 48. Is q(9) a multiple of 16?
True
Suppose -2*w + 23 - 9 = 4*m, -2*w - m = -2. Is 14 a factor of 2170/77 + w + (-27)/(-33)?
True
Let h = -19 + 19. Suppose h = 2*d + 3*x + 12, 0 = 2*d - 0*d - 5*x - 20. Suppose d*s = -2*s - 4*n + 310, 5*s = -4*n + 775. Is s a multiple of 42?
False
Let m(y) = y**2 - 14*y + 118. Let v = 83 + -98. Is 44 a factor of m(v)?
False
Let y = -5249 + 9144. Is 95 a factor of y?
True
Suppose -5*m + 49092 + 12 = 6*m. Is 62 a factor of m?
True
Let i = 3775 - -13735. Is i a multiple of 216?
False
Let k be ((-42)/4)/7*2*3. Let a be -1 - -218 - (-5 - (k - -2)). Suppose 3*i = 5*m + a, -m = -0*i - 2*i + 148. Is i a multiple of 15?
True
Suppose -5*v = 10, 4*f - 2*v = -6*v - 16. Let x be (-4)/(-8)*8 + f. Does 6 divide 9 + -8 - (-158)/x?
False
Let d be (1/3)/(2/(-30)). Let g be (33/9)/(d/(-135)). Suppose 2*p = p + g. Is 33 a factor of p?
True
Let s(c) = -50*c**3 - 10*c**2 - 62*c - 42. Is 35 a factor of s(-5)?
False
Let l = -55 - -105. Let y = 46 - l. Is ((-1050)/(-28))/(-1 + (-6)/y) a multiple of 8?
False
Suppose 786 = 3*v - 5*g - 2677, -4*g - 4604 = -4*v. Suppose -7*j + 3078 - v = 0. Suppose -3*q + 48 = -j. Is q a multiple of 9?
True
Let l = 475 + -166. Suppose x = -3*k - l, -312 + 101 = 2*k - x. Let b = -20 - k. Does 28 divide b?
True
Let l be (-1 + -3 + 0)*-7. Suppose 0 = 12*d - 68 - l. Is d a multiple of 6?
False
Let f(s) = -s**2 + s. Let c(w) = 7*w**2 + 7*w + 14. Let p(h) = c(h) + 6*f(h). Let a be p(-6). Is (-6)/(-21) - 13*8/a a multiple of 2?
True
Let b(i) = 96*i**2 + 3*i - 36. Is b(5) a multiple of 9?
False
Suppose -11*m + 6783 = 8*m. Let x = 48 + m. Does 15 divide x?
True
Let a(t) = 18*t**3 - t**2 - 5*t + 24. Let o be a(4). Suppose -2*f - 5*y = -1391, -y = -3*f + o + 989. Does 55 divide f?
False
Let x be 3/5 - (-26414)/10. Suppose -11*n + x = -482. Does 17 divide n?
False
Let d = -35 - -38. Suppose h - d*m + 20 = 0, 2*m = h + 4*m. Is 21 a factor of 4/(h/(-50)) - 4?
True
Let z(v) = -106*v - 788. Is 6 a factor of z(-14)?
True
Let m = -48 - -1. Let o = m + 72. Does 25 divide (30/o)/(6/160)?
False
Let i(d) = -3*d**2 - 309*d - 301. Does 7 divide i(-82)?
True
Suppose -459905 = -910*x + 851*x. Is x a multiple of 17?
False
Let u be 18/(-4)*4/12*-2. Suppose q + 2*v + 5 = 2*q, 4 = 2*q + 2*v. Suppose -m + u*a = -75 + 9, q*m - a - 238 = 0. Does 9 divide m?
True
Let g = 17050 - 8823. Is g a multiple of 109?
False
Let n be (0 + 109/2)/((-2)/(-4)). Suppose -7*y + 395 = -n. Suppose 0 = q + 5*s - y, 5*s - 62 - 114 = -3*q. Is q a multiple of 13?
True
Suppose 0 = 10*z - 2 - 48. Is 38 + (3 - z - 1) even?
False
Does 43 divide (-2 + 174)/(164/5207)?
True
Suppose 3*g - 6*g = -8*g. Suppose m + g*r - 14 = -4*r, 23 = 4*m + 5*r. Suppose -5*i + 3*c = -266, 6*i = m*i + 5*c + 205. Does 11 divide i?
True
Let s(g) = 6 - 3*g**2 + 8*g + 4*g**2 + 3*g**2 - 31*g. Is s(12) a multiple of 21?
False
Let u(t) = 33*t**3 - t**2 + 4*t - 1. Let x be u(2). Suppose 5*b = -4*l - 0*l - x, 2*l + 141 = -5*b. Does 7 divide (l/(-14))/(9/168)?
True
Let x(i) = 173*i + 446. Let n(p) = -87*p - 223. Let z(g) = -11*n(g) - 6*x(g). Does 6 divide z(-8)?
False
Suppose 6*i = 17 + 229. Let t = 54 - i. Suppose t*z - 245 = 8*z. Does 10 divide z?
False
Let q(t) = -20*t - 575. Let d be q(-27). Let x = 104 - 151. Let g = d - x. Is 3 a factor of g?
True
Let t(c) = 24*c + 22. Let v be t(5). Suppose 4*y - 38 = -v. Let s = 5 - y. Is s a multiple of 21?
False
Let z(u) = -u**3 + 13*u**2 + 17*u - 26. Let j(r) = -31*r - 3*r**3 + 40*r**2 - 50 - 2 - 26 + 81*r. Let m(h) = -2*j(h) + 7*z(h). Is m(12) a multiple of 29?
True
Let x = -3858 + 14596. Is 13 a factor of x?
True
Suppose -5*b = -2*k - 4805, -100*b + 105*b - 4825 = -2*k. Suppose -2*z + 3631 = b. Is z a multiple of 69?
False
Suppose -2*u + 85544 = -3*j, -4*u + 112869 + 58243 = -3*j. Is u a multiple of 112?
True
Let p be ((-1 - -1) + -16)/(288/2160). Is 3*10*(-2 - p/16) a multiple of 12?
False
Let d = -20 + 28. Suppose -u + d = -2*z, u + 4*z + 12 = 2*u. Suppose 2*v - 116 = -5*y, 128 = u*y + y - 4*v. Is 8 a factor of y?
True
Suppose g + q = 4390, 2*q - 5*q = -5*g + 21918. Is g a multiple of 102?
True
Is 19 a factor of (6 - (-3 + 4))*3345/75?
False
Let p = 3349 - -2135. Does 6 divide p?
True
Suppose -41871 = -15*i + 83304. Does 22 divide i?
False
Let m be ((-5)/15*-42)/(2/109). Suppose 3*p - 8*n + 10*n = m, p + 4*n = 261. Is 13 a factor of p?
False
Suppose 2*s + 4842 = 4*z, -32*z + 35*z - 2*s = 3634. Suppose -3*i - 717 = -v, 0 = 2*v + 2*i - z - 266. Is v a multiple of 6?
True
Let p(h) = h**3 + 4*h**2 - 4*h - 10. Let o be ((-1551)/(-27))/11 - 2/9. Suppose r - 5*x + 14 = 0, 0*r = r + o*x - 6. Is 3 a factor of p(r)?
True
Let h be 50/20*(-492)/(-15). Is h - -4 - (-3 + 5) a multiple of 3?
True
Let s be (-78)/(-21) + 4/14. Suppose -s*j + 42 = y, -22 = -3*j + 4*y - 0*y. Is 14 a factor of ((-24)/j)/((-2)/45)?
False
Suppose -3285 - 13381 = -2*c - 2*r, -4*r = 3*c - 24992. Is 36 a factor of