 46. Suppose 5*t = 51 + s. Does 7 divide t?
False
Suppose -5*y = -10*y + 9530. Suppose -y = -13*i + 161. Is i a multiple of 53?
True
Let o(u) = 2*u**2 - 1. Let d be o(2). Let s be 3/(-9) + d/((-84)/(-40)). Suppose -4*f - 456 = -s*i, 3*i - 3*f = 402 + 57. Is i a multiple of 12?
True
Let m = 245 + -52. Let a = m + 137. Is 6 a factor of a?
True
Let o(t) = -5*t**3 + t. Let g be o(1). Let p be 7/14*g/6*-327. Let m = -97 + p. Is m a multiple of 4?
True
Let w(v) = -161*v - 826. Is w(-26) a multiple of 24?
True
Suppose -u + 4*j + 7 = -4, 0 = -u - 3*j + 4. Suppose -5*r = 4*b - 1737, -u*b + 360 = r - 2*b. Is 19 a factor of r?
False
Suppose -472*n - 3056 = -476*n. Is 10 a factor of n?
False
Suppose -14*r + 78 - 8 = 0. Suppose r*x = 3*d + 1, -5*d + 0 = -2*x + 8. Is -284*d/2 - (-32)/8 a multiple of 52?
False
Let c = -58 - -52. Let l = c + 17. Suppose -l*q = -14*q + 858. Is 50 a factor of q?
False
Let w be (-24)/(-56) - (48/14)/1. Does 18 divide (15 - -151) + 5*w/3?
False
Let a = -21189 - -21742. Is 7 a factor of a?
True
Suppose 50 + 1966 = 3*r. Suppose 29*n + 5467 = 13819. Suppose 2*g - n = -5*w + r, -4*w + 4*g = -740. Does 38 divide w?
True
Suppose 12 = 33*l - 35*l. Let h be (-1*1)/(l - 68/(-12)). Suppose -6*b = -h*z - 3*b + 63, -6 = 2*b. Does 3 divide z?
True
Let m(n) = 2*n**3 - 6*n**2 - 100*n + 323. Is m(12) a multiple of 6?
False
Let i(y) = -287*y**3 + y**2 + 16. Is 169 a factor of i(-3)?
True
Let n(o) = 6345*o - 2852. Is n(7) a multiple of 78?
False
Let o(n) = -n**2 - 4*n - 15. Let l be o(-4). Does 4 divide (-2)/l - (-4554)/270?
False
Let a = 16 + -11. Suppose 0 = -d + a - 3, -5 = -5*s + 5*d. Let o(l) = 15*l**2 + l - 6. Does 22 divide o(s)?
True
Suppose -197110 = 95*w - 249622 - 535918. Is w a multiple of 27?
False
Suppose 2*g + 20*h - 7354 = 21*h, -3*g - h + 11046 = 0. Is g a multiple of 40?
True
Suppose n - 3*l = -1, -3*n - 4*l + 6*l = 17. Let d(x) = -25*x + 2. Let a be d(4). Let z = n - a. Does 9 divide z?
False
Is (212/(-12))/((-22)/3630) a multiple of 11?
True
Let a(w) = 8*w + 100. Let m be a(0). Is 51460/m + (-2)/(-5) - -2 a multiple of 11?
True
Is (10/(-12))/(18/(-157476)) + 12/27 a multiple of 7?
False
Suppose -5*q + 22 = -4*q. Let p(o) = o**3 + 15*o**2 - 9*o - 144. Let i be p(-14). Let z = i + q. Does 17 divide z?
False
Let a = 125 + -95. Let d(g) = a - 4*g - 10 - 1 - 1. Is d(0) a multiple of 9?
True
Is 35 a factor of -3 + (-3)/(-6)*10 - (-2227 - 2)?
False
Suppose -2*h = 4*b + h - 385, 0 = -b + 4*h + 101. Let y = -80 + b. Is y a multiple of 2?
False
Suppose 132*g - 592291 = -148771. Is 5 a factor of g?
True
Suppose -2*v + 1238 = y - 1054, 5*v + 6898 = 3*y. Does 8 divide y?
True
Suppose -4*t + 14 + 1 = 3*n, 2*n = -t. Let l be (-2 + 12/8)*-1*t. Suppose -4*x + l*x = -33. Does 7 divide x?
False
Suppose -i = -1, 2*y + i - 3*i = -2. Suppose 0*j - j + 99 = y. Is 2 a factor of j?
False
Suppose 3*r = 5*o + 266, -4*o + 7 - 218 = -3*r. Let b = o - -82. Let i = b + 31. Does 11 divide i?
False
Let u be (-2 - 29) + -5*(7 - 8). Does 28 divide (u - -24)*(1 - 197)?
True
Let y(a) = -144*a - 5. Let l be y(1). Let v = 228 + l. Does 18 divide (-3 - 0) + (v - (8 + -4))?
True
Let z = 8 - 5. Let y be z/(-2)*(-10)/6*2. Suppose s = -y*v + 116, -4*v - 80 = -0*s - s. Is 6 a factor of s?
True
Suppose 0 = c + 2*b + 6, -16 = -c + 2*b - 2. Suppose -3*v + 714 = 7*r - 4*r, -c*v + 250 = r. Is r a multiple of 26?
True
Let f be (5*-3)/5*8/(-3). Let y be f/12*2/(2/3). Suppose -4*u - 359 = -4*s - 31, -2*u + y = 0. Is s a multiple of 16?
False
Suppose -47 - 17 = -8*y. Suppose -3*v + 21 = d, -y*v + 9*v - 7 = 5*d. Is v a multiple of 4?
False
Is 46 a factor of ((-55412)/6)/((-32)/48) + -3 + -4?
True
Let n(f) = -f**2 - 5*f - 5. Let p be n(-3). Let k(z) = -11*z**2 + z**3 - 3*z - 2*z**3 + 4*z**3 - p - 2*z**3. Is k(12) a multiple of 22?
False
Suppose -43*d - 44765 = -137*d + 31939. Is 4 a factor of d?
True
Let b(q) = 4*q**2 + 2*q - 7. Let y be b(-3). Suppose -22*o + y*o = 24. Suppose -90 = o*r - 27*r. Is 15 a factor of r?
True
Let r be 2/8 + (1581/4)/(-17). Let i(t) = t**2 + 14*t - 44. Does 13 divide i(r)?
False
Suppose -6*t = -257 + 11. Suppose 48*d - 3710 = t*d. Is d a multiple of 10?
True
Let u be 2/9 - (-1976)/342. Is 12 a factor of (u/(-5))/(27/(-7290))?
True
Let t = 9069 + 2158. Is t a multiple of 103?
True
Let l(h) = 12*h + 75. Let k be l(-6). Suppose 0 = -3*j + 9, 6*j - k*j = 4*g - 255. Is 6 a factor of g?
True
Let j be 2/(-9) + 83/9. Let u be j/(675/(-10)) - (-64)/30. Suppose u*d - 2*g - 65 = 3*g, -d - g + 43 = 0. Is 10 a factor of d?
True
Suppose -3*w + 8168 = -5740 - 2724. Does 33 divide w?
True
Let f = 156 - 154. Suppose -285 = -f*d - p, -2*d + 2*p = -142 - 128. Is 10 a factor of d?
True
Suppose -4*r + 161 = 5*f, -4*f + 0*r - r + 131 = 0. Suppose -f*b - 78 = -39*b. Is 3 a factor of b?
False
Suppose 33*f = 3*r + 32*f - 15845, -4*f = -3*r + 15860. Does 240 divide r?
True
Suppose 0 = -5*h - 5*j + 6500, -h + j = 5*j - 1309. Does 10 divide h?
False
Let d = -108 + 310. Let b = 59 + d. Let o = -176 + b. Is o a multiple of 5?
True
Let n(d) = d - 2. Let m be n(6). Suppose 2*i - 2*b = 0, b - 14 = -3*i - 3*b. Suppose -m*l = 16, a + i*l - 33 = -2*l. Does 14 divide a?
False
Suppose -64 = -5*k + k. Let j = 20 - k. Suppose -j*b + 258 = -b. Is b a multiple of 9?
False
Let i be 3/2 + 105/(-42). Let p = i + 85. Does 6 divide p?
True
Suppose -21*d + 5 = -20*d. Suppose -d*v + 14 = o, 2*v - 4*v + 5 = o. Let l(m) = 106*m**2 + m. Does 21 divide l(o)?
True
Suppose -33 = 5*i + 4*u - 6*u, -24 = 4*i - 4*u. Let b(d) = 11*d - 198 + 126*d**2 + 207 - 124*d**2. Is 6 a factor of b(i)?
True
Suppose -284216 - 675456 = -28*t. Does 57 divide t?
False
Suppose -17*b = -14*b + 2*f - 31529, -3*b - 5*f + 31550 = 0. Is 17 a factor of b?
False
Let w be (-11 + 12)/((-2)/(-420)). Let o = w + -93. Does 20 divide o?
False
Let o(a) = -11*a**2 + 80*a**2 + 18 - 37 - 13 + 9*a. Does 44 divide o(3)?
True
Suppose -13 - 3 = -4*t, 3*i - t - 2 = 0. Suppose 4*u + i*k = -0*u, 2*k + 8 = 0. Suppose 2*n - 47 = -y - 3*n, -5*y + 212 = u*n. Is y a multiple of 14?
True
Let g(t) = 15*t**2 + 34*t - 25 + t**2 - 39*t. Does 26 divide g(5)?
False
Let c(d) = 15*d - 2. Let y be c(1). Suppose -6*v = -y - 17. Suppose v*f + 26 = 7*f. Is f a multiple of 13?
True
Suppose -44*f + 40*f - 76 = 3*y, -5*f = -y + 76. Does 6 divide 5 + 0/5 - 8*f?
False
Suppose 347*m = 323*m + 579600. Does 161 divide m?
True
Let z(v) = -42*v - 4. Let o be z(1). Does 2 divide -4 + o*6/(-6)?
True
Suppose -4*i - 3*c + 14850 = 0, -c - 14049 = -5*i + 4504. Is 59 a factor of i?
False
Let w = 24 - 58. Let g = 48 + w. Let x(m) = -m**3 + 13*m**2 + 19*m + 14. Is x(g) a multiple of 21?
True
Let p be ((-13)/26)/((-2)/488). Suppose 2*c + p = 374. Let x = 224 - c. Is x a multiple of 14?
True
Let k be -38 + 37 + 1/1. Suppose k = 2*z + 12*z - 994. Let l = z - 30. Does 41 divide l?
True
Let m = -1369 + 692. Let x = -467 - m. Does 14 divide x?
True
Let i(k) = -k**2 + 12*k - 26. Let d be i(8). Suppose 6*r - 3*r + d = 0. Does 12 divide ((-8)/(-12) + (-74)/3)*r?
True
Suppose 99 = 2*b + b. Suppose -b = -6*q + 231. Suppose -q = -u - p - 4, -2*u = -2*p - 88. Does 22 divide u?
False
Suppose -v + 202 = 2*p - 0*v, 5*v = 10. Suppose -p = -x - x. Suppose 12 = -g + x. Is 9 a factor of g?
False
Suppose -2*d = -3*x - 2, -2*x - 5*d = -2*d - 3. Suppose 0*a - a = x. Let o(y) = y**3 - 2*y**2 + y + 22. Is o(a) a multiple of 5?
False
Suppose -l - o = -3, 4*l + 5 = o + 2. Suppose l*s - 891 = -3*s. Suppose -5*p = 6*p - s. Is 27 a factor of p?
True
Suppose 3*s = -4*y + 24, -2*s = s - 3*y - 3. Suppose 0 = s*u - 25 + 5. Suppose -2*w - u*v + 79 = 0, 250 = -0*w + 5*w + 2*v. Is w a multiple of 13?
True
Suppose -4*d - 20811 = -5*w, 3*w + 266*d = 263*d + 12465. Does 50 divide w?
False
Suppose 0 = -12*b + 34802 + 8962. Is 7 a factor of b?
True
Let b be ((-1288)/42)/((-4)/6). Let h be -4*1*(-23)/b. Suppose -3*z + 4*k = -272, -5*k + 266 = h*z + 77. Is 23 a factor of z?
True
Suppose -2*c + 20*g - 17*g + 624 = 0, -1526 = -5*c - g. Does 10 divide c?
False
Suppose 10*q = 5*q - 3*t + 13649, q - t - 2725 = 0. Is q a multiple of 7?
False
Is (-21 + 1307)*(-11 + 7 + 18/4) a multiple of 4?
False
Suppose -920 - 4822 = -9*y. Suppose -n = -5*j - 219, -3*n + 0*n - 4*j + y = 0. Is 23 a factor of n?
False
Let g(t) = -90*t**3 - 9*t**2 - t - 