Suppose v - 5*f = -3*v + 357, x*f + 15 = b. Is 25 a factor of v?
False
Is 19 a factor of 4517 + 28 + -23 - (4 + -1)?
False
Let r be (-4*21/14)/(-3). Suppose p - 23 = -5*u - 7, r*p - 5*u = 47. Is p a multiple of 7?
True
Let n = -6087 + 7480. Does 44 divide n?
False
Suppose -4*j = 5*y - 6787, -3*j + 6299 = 4*y + 1209. Suppose 0 = -3*b + h + 5110, 12*b + h - j = 11*b. Does 74 divide b?
True
Let t(o) = 2*o**3 + o**2 + 6*o - 20. Suppose 4 = 8*v - 36. Is t(v) a multiple of 31?
False
Suppose 4 = -y + 10. Is (10164/(-22))/((-4)/y) a multiple of 63?
True
Suppose 8*c + 218152 = 23*c + 7*c. Does 8 divide c?
False
Is 8 a factor of 6/(-9)*15*(-22854)/156?
False
Let z(n) = -n**3 + 13*n**2 + 13*n + 2. Let q be z(5). Is 10 a factor of q - ((-2)/2 - (-20)/4)?
False
Let i be 2/(-8) + (-413)/(-4). Let l be (-2586)/(-21) + (-186)/(-217). Let c = l - i. Does 2 divide c?
False
Suppose 27*z - 4446 = 47556. Does 107 divide z?
True
Let g be (-93)/155 - (-27)/(-5). Does 11 divide (g/(-3) - -25)*(-120)/(-15)?
False
Let n = -50 - -85. Suppose -n = -5*r - 4*b - 146, 5 = 5*b. Let i = 67 - r. Is 9 a factor of i?
True
Let m(x) = -2*x. Let o = 13 - 15. Let d be m(o). Suppose 0 = -d*b + 5*b - 51. Does 15 divide b?
False
Let n(t) = -623*t + 3652. Is n(0) a multiple of 83?
True
Is 2 a factor of (((-53460)/(-40))/33)/(6/16)?
True
Let f = -2788 + 4916. Suppose 0 = 4*g - 3*t - f - 742, -3*g + 2147 = -5*t. Does 38 divide g?
False
Let s be 15/2 + -12*2/(-16). Suppose s = n - 4*n. Does 16 divide -2*((-2)/1 - 14) - n?
False
Let g(k) = 2*k - 13. Let u be g(10). Suppose -u*x - 63 = -238. Does 5 divide x?
True
Suppose 2*a = -2*q + 484, -4*a - 2*q = 314 - 1284. Suppose -79 = -23*m + a. Does 4 divide m?
False
Let t(f) = 7*f - 25. Let n be t(5). Suppose -n*a = 1235 - 4205. Is a a multiple of 27?
True
Let s = 3338 + -1107. Suppose -4*w + 3093 = -s. Is w a multiple of 57?
False
Let h = -1266 - -15183. Does 16 divide h?
False
Suppose -9*r + 3*d = -7326, -2*r - 283 = 4*d - 1925. Is 34 a factor of r?
False
Let a = -2299 + 2419. Is 2 a factor of a?
True
Let u = 32 + -96. Let a = u - -69. Suppose 102 = a*k - 108. Does 6 divide k?
True
Does 20 divide (-77)/((-5)/(716 + 9)) - 18/(-3)?
False
Let q(d) = -317*d - 475. Is 30 a factor of q(-5)?
True
Suppose -5*c + 6 = -4. Suppose 0 = 5*x + 4*m + 59 - 14, 0 = -c*x + 4*m - 18. Let s(o) = -o**2 - 10*o + 6. Does 15 divide s(x)?
True
Let o(j) = 1655*j - 117. Does 293 divide o(33)?
True
Let s(m) = 79*m - 92. Suppose 6*i = -13 + 43. Is s(i) a multiple of 20?
False
Let l be -1*((-212)/44 - 2/11). Suppose 3*k = -9, 0 = -z - 5*k - 23 + 8. Suppose z = 4*p - 5*n - 80, 2*p + l*n - 70 = -0*p. Is 5 a factor of p?
True
Let w(t) = 162*t + 47. Does 13 divide w(8)?
False
Let o be (-12)/30 + 12/5. Suppose -4*n + o*d + 344 = 4*d, 0 = n - 3*d - 79. Is 9 a factor of n?
False
Suppose 5*p + 4*n + 58 = 0, -2*n + 4 = -4*n. Let l(b) = -27*b + 26. Is l(p) a multiple of 37?
True
Suppose 5*x = -4*m + 6387, -2949 - 2148 = -4*x + m. Is 4 a factor of x?
False
Let q(t) = -3*t + 4. Let k(c) = 24*c - 33. Let b(o) = -4*k(o) - 33*q(o). Let d be b(-1). Does 24 divide 16/(-6)*(d + 1*-51)?
True
Let f be (-3)/((-9)/12) - 4. Suppose -15*t + 11*t + 20 = f. Suppose -5*r = 4*l - 76, 3*l + 2*l = -t*r + 90. Does 5 divide l?
False
Suppose 0*x = 4*x + 128. Suppose -3*c - 12 = 63. Let d = c - x. Is 7 a factor of d?
True
Suppose 0 = -5*u + j + 21, 3*u - 2*j - 1 = 6. Suppose -4*h = -5*v - 169 + 64, u*v - 45 = -2*h. Does 13 divide h?
False
Let u be ((-58)/6)/(44/12 - 4). Suppose 3341 + 2894 = u*s. Is 5 a factor of s?
True
Let l(a) = 2*a**3 - 4*a**2 - 13*a + 113. Does 112 divide l(16)?
False
Let j be (21/(-15))/((-3)/15). Suppose 3*x - 75 = -4*w, x = j - 2. Suppose -t - w = -6*t, -3*t = 5*d - 344. Does 13 divide d?
False
Let y(r) = -2*r - 2. Let t be y(-2). Let f(m) = 2*m**2 - m + 2. Let s be f(t). Suppose -11*a = -s*a - 60. Does 5 divide a?
True
Suppose 0 = -5*l + 35747 - 7907. Suppose 54*p = 66*p - l. Is 16 a factor of p?
True
Let d(i) = 8*i - 58. Let g be d(9). Suppose -9*p + g*p - 5*n - 3625 = 0, p - 728 = 2*n. Does 38 divide p?
True
Let v be ((-186)/(-4))/(120/(-32) + 3). Let q = 230 + v. Does 6 divide q?
True
Let u(d) = -59*d**3 + 62*d**2 - 12*d - 8. Let n(g) = 15*g**3 - 15*g**2 + 3*g + 2. Let t(z) = 9*n(z) + 2*u(z). Does 56 divide t(4)?
False
Let h(d) = -6*d - 12. Is 18 a factor of h(-8)?
True
Suppose 9*l - 6*l + 251 = -4*h, 1 = -l. Let v = 24 + -38. Let b = v - h. Is 6 a factor of b?
True
Suppose -31837 = 72*j - 384637. Is 14 a factor of j?
True
Let d = -213 - -206. Does 16 divide (-1325)/(-7) - (-2)/d - -3?
True
Let t = 0 + -2. Let l be t/(2 - 4)*0. Suppose -3*i - 3*x = -42, l = i + 4*i + 2*x - 67. Does 5 divide i?
False
Suppose 3*w + 3*o = 3999, -7*w + 4*o - 6670 = -12*w. Is 20 a factor of w?
False
Let q = 111128 + -77050. Is q a multiple of 34?
False
Suppose 0 = 3*p - 5*u + 29, 2*p + 5*u - 2*u = 6. Let t = p + 36. Suppose t*b = 32*b + 3. Is b a multiple of 2?
False
Let o = -240 + 102. Let n = o + 328. Is n a multiple of 19?
True
Let a(r) = 7*r - 39. Let y be a(6). Suppose 281 = y*i - 112. Is i a multiple of 25?
False
Suppose 4*g - 4*x + 1 = 25, 4*g = -2*x + 18. Suppose 5*t - 2390 = -g*t. Is 6 a factor of t?
False
Does 104 divide 2 + 25/((-300)/(-81096))?
True
Let v(p) = p - 13. Let k(h) = -12*h + 81 + 37 + 39 + 11. Let q(f) = -2*k(f) - 27*v(f). Does 19 divide q(-20)?
False
Is 125/(-10)*-1*(-1504)/(-40) a multiple of 35?
False
Let t = -52 - -715. Let y = -377 + t. Is 26 a factor of y?
True
Let d = -6 + 10. Let q(r) = 5*r**3 - 4*r - 3. Let t be q(d). Suppose 85 = -3*v + t. Does 18 divide v?
True
Let f = -15082 - -27656. Is f a multiple of 57?
False
Let z = 220 + -208. Suppose -4*o + z = 0, 27*x - o - 63 = 25*x. Is x a multiple of 3?
True
Let q = 46 + -42. Suppose -62 = q*n - 2. Let z = 55 + n. Does 6 divide z?
False
Suppose -4*g + 4*h + 21785 = 3965, -g + 3*h = -4455. Is 18 a factor of g?
False
Let v = 31565 + -15280. Is 150 a factor of v?
False
Let n = 19247 - 12835. Is n a multiple of 14?
True
Suppose 2*u = -b + 7, 4*u + 3 = 5*u + b. Suppose -u*q + 4 = -3*p, 3*q = -4*p - 2*q + 36. Does 16 divide 113/p - (-2)/(-8)?
False
Does 16 divide (69 + 18)/((2/200)/1)?
False
Suppose 0 = -10*f + 850 - 300. Does 29 divide f/165*3*245?
False
Suppose 0*w - 6 = -3*w, i - 6 = -3*w. Suppose i = 2*z - 3*d - 88, d - 28 - 6 = -z. Let m = 74 + z. Is 14 a factor of m?
True
Suppose 0 = 11*f - 20*f. Suppose -7*o + 310 + 418 = f. Is 11 a factor of ((-104)/56 - 2/14) + o?
False
Suppose 3*v - 544050 = -16*v - 43*v. Is v a multiple of 56?
False
Let y = 97 - 92. Suppose -432 = -4*o - y*i, 2*o - 71 = -i + 145. Suppose 0*q + 2*q = -3*b + 44, -b = 4*q - o. Is 10 a factor of q?
False
Let j(w) = -2*w**3 + 20*w**2 - 4*w + 3. Let o be j(8). Let r = o - -273. Is r a multiple of 50?
True
Let h be 16/5 - (80/25 + -3). Suppose 3*g - 438 = -5*c - 0*g, 0 = -h*c - 2*g + 263. Is c a multiple of 6?
False
Let m(x) = 28607*x - 546. Is 118 a factor of m(1)?
False
Let s(w) = 6*w + 121. Let l be s(-18). Is 4 a factor of 1/((-2)/(-20)) - (14 - l)?
False
Let h(c) = -c**2 + 13*c - 96. Let p be h(15). Is (-28)/p + (-11224)/(-36) a multiple of 31?
False
Let z(l) = l**2 + 6*l + 194. Let v be z(0). Let y = 562 - v. Is 16 a factor of y?
True
Let y = 603 + -494. Suppose 3*l - 7 - 8 = s, 0 = 2*s - 6. Suppose y + 65 = l*h. Is 11 a factor of h?
False
Let j(l) = -5*l + 45. Let r be j(9). Suppose r = 9*i - 211 + 76. Is 3 a factor of i?
True
Suppose 11*u = 8*u - 108. Let s = -16 - u. Suppose -s = -4*n + 32. Does 3 divide n?
False
Suppose -3*x + 6174 = -3*r, -10*x - 2057 = -11*x + 2*r. Is 71 a factor of x?
True
Suppose -944*d + 594828 = -903*d. Is 9 a factor of d?
True
Let f be (-84 - -70)*-4*(-2)/(-14). Suppose -6*x + 2*n = -f*x + 366, 0 = 5*x + n - 927. Does 10 divide x?
False
Let o be ((-6)/(-7))/(21/98). Suppose 476 = 3*w - 2*w - o*d, -1874 = -4*w + d. Suppose -7*b + 148 = -w. Is 22 a factor of b?
True
Suppose -33*h + 23 = -43. Does 28 divide ((2 - 5) + -601)/(0 - h)?
False
Suppose 173*u - 133*u = 1241200. Is u a multiple of 244?
False
Suppose 5*u = 5*d - 2115, 7*u + 5 = 12*u. Suppose 8*i - 5*i = -6, 5*i = m - d. Is 46 a factor of m?
True
Let m = -312 - -7088. Is m a multiple of 154?
True
Is 13 a factor of 4 - ((32 + 4)/12)/((-5)/1115)?
False
Suppose -4*o -