2)?
True
Let k(z) = 237*z - 10. Let b be k(1). Let o = -214 + b. Does 9 divide o?
False
Suppose -c = 5*q - 202, 0 = -0*q + 2*q + 4*c - 88. Suppose q = 4*v - 160. Is 15 a factor of v?
False
Suppose 0 = -4*r - 4*k + 26244, 0 = 2*r - 2*k - k - 13117. Is r a multiple of 16?
True
Let k be 0/(((-6)/(-9))/(4/6)). Suppose k = -5*z + 8*z - 654. Suppose -3*n + z = 4*r, 0 = 4*n - 3*r - 0*r - 324. Does 10 divide n?
False
Let w = 853 + 9338. Does 136 divide w?
False
Let w = 38 - 33. Suppose -w*u = 1 - 6, -5*u = -4*q + 299. Suppose 0 = -2*n - k + 2*k + 130, n = -5*k + q. Does 22 divide n?
True
Let i(s) = s + 69. Let l be i(14). Suppose -2*g - l = -1123. Is g a multiple of 13?
True
Suppose -72 = -t + y, 78 = -2*t + 3*y + 217. Let u(o) = -o + 6. Let h be u(8). Let q = t - h. Does 9 divide q?
False
Is 20 a factor of (-20675)/(-15)*((-14)/35)/((-8)/60)?
False
Does 13 divide ((-21528)/108)/(4/(-30))?
True
Is ((-17360)/12)/(520/60 - 9) a multiple of 35?
True
Suppose 5*h = -k + 8, -k = 2*h + 2*h - 6. Let n(m) = -h*m - 7*m + m**3 - 89*m**2 + 84*m**2 - 2. Does 6 divide n(7)?
False
Suppose -22 = -3*w - 10, 5*d + w = 5014. Does 167 divide d?
True
Suppose -2*w = -6*w + 24, -2*y + 5*w = -30096. Is 31 a factor of y?
False
Let f(l) = l + 8. Let a be f(-6). Let p(s) = -34*s + 5. Let y be p(-1). Suppose 2*t + 10 = a*u + 28, -4*t + 3*u + y = 0. Is t a multiple of 4?
True
Suppose 0*f = -2*f + 2*t + 52, 2*f = 5*t + 58. Does 21 divide f/(-30) + 668/10?
False
Let a(s) = -8*s - 8. Let o be a(-21). Suppose -o = -394*u + 389*u. Is u a multiple of 3?
False
Is 46 a factor of -20*87/(-3770) - (-324104)/26?
True
Let z(o) = -o**3 + 3*o**2 + 23*o + 23. Let m be z(7). Let j = 80 + m. Is j a multiple of 4?
True
Suppose 0 = -4*q - 12, -5*i + 3*q + 7 = -6*i. Let t(y) = y**2 - 7*y + 5. Let h be t(7). Suppose 2*l + i*r - 34 = 6, l + 4 = h*r. Is 4 a factor of l?
True
Suppose 97*y = 94*y - 2*w + 38351, 5*y - 63916 = -3*w. Does 49 divide y?
False
Suppose -2*x + 9 = -a, -x + 4*a = -7 - 8. Suppose x*m + 1132 + 752 = 0. Let p = -448 - m. Does 36 divide p?
True
Let i(z) = -z**3 + 115*z**2 - 382*z - 164. Is 36 a factor of i(109)?
True
Let c(j) = -14*j - 12*j - 25 + 4*j**2 + 22*j. Is c(-5) a multiple of 38?
False
Suppose -2*x = -4*b - 13 + 3, -4*b = -5*x + 31. Is 1202/x + (-14)/(-49) a multiple of 21?
False
Let y(s) = -192*s - 1825. Is y(-20) a multiple of 5?
True
Let u(z) = -15*z**3 - 4*z**2 - 7*z - 1. Let s be u(-2). Let f = 9 - s. Let y = 114 + f. Is y a multiple of 6?
True
Suppose 0*f - 36 = -k + 5*f, -5*f - 84 = -4*k. Suppose 3*r - 6 + k = 2*q, 4*q + 4*r = 0. Suppose -55 = q*b - 135. Is b a multiple of 10?
True
Suppose 3*o + 1056 = 5*x + 21622, x - 27406 = -4*o. Does 3 divide o?
True
Let s = 325 + 44. Let f = 522 - s. Is f a multiple of 3?
True
Let p be 17802/81 + (-4)/(-18). Let w be ((-18)/(-10))/(33/p). Suppose 0 = -2*a + 56 + w. Is 7 a factor of a?
False
Suppose -4*t + 3222 = 47*z - 48*z, 0 = -t + 3*z + 811. Is t a multiple of 2?
False
Suppose -x + 2 = 3*x - 2*r, -2*x + 5 = -5*r. Suppose x = -6*c + 828 + 1404. Is 53 a factor of c?
False
Let p = 113 - 117. Is p + 44*(7/2 + 0) a multiple of 15?
True
Suppose -12*z - z - 26 = 0. Is 14 a factor of z*(2 + (-4)/8 + -173)?
False
Suppose -75*d + 325825 + 202175 = 0. Does 32 divide d?
True
Is 64/16 - (5 - 3257) a multiple of 44?
True
Let x(p) = -24*p**2 - 3*p - 1. Let m be x(1). Let z = m + 23. Is ((-93)/z)/((-22)/(-10) + -2) a multiple of 31?
True
Let y(v) = v**2 + 16*v + 58. Let a be y(-11). Is (a*-6*4)/((-23)/345) a multiple of 54?
True
Let b(v) = 3*v - 18 - 2*v + 5*v. Suppose l - t = 2*t + 15, 5*t = 4*l - 46. Is 18 a factor of b(l)?
True
Let n = -7 - -6. Let u(s) = 162*s**2 - 1. Let g be u(n). Suppose 3*d - 4*i - g = i, 4*d - 4*i - 204 = 0. Is 14 a factor of d?
False
Suppose -8*o - 27 = -27. Let r be 211*-1*(-1)/1. Suppose -5*l + v + 965 = -2*v, o = l + 3*v - r. Is 28 a factor of l?
True
Let u(n) = n**2 - 25*n + 41. Suppose -h = -0*h + 5, -o + 5*h + 49 = 0. Does 2 divide u(o)?
False
Let d = -291 + 303. Suppose -17*y = d*y - 39440. Does 82 divide y?
False
Suppose 3*k + 0 = 6. Suppose -s = -5*v + 52, k*v + 1 = 9. Let r = 90 + s. Is 29 a factor of r?
True
Suppose 2*n - 10 = -0*n. Suppose 0 = 2*a - n*a + 2763. Suppose 4*g - 3*d = -0*d + a, -1158 = -5*g - 3*d. Is 14 a factor of g?
False
Let i(v) = 7*v + 153. Let r be i(-21). Is 25 a factor of 1*(-10 + r) + 383/1?
False
Let g be (-2)/(-10) + (-14)/(-5) + -4. Let i be -1*(-1)/((-192)/193 - g). Let w = i + 72. Does 49 divide w?
False
Let n be (-4)/(-16)*-2 - 7/(-2). Suppose 2*u = -3*v + 91, n*v + 155 = -4*u + 8*u. Is u a multiple of 6?
False
Let x(w) = 5*w - 33 - 43 + 24. Let f be x(21). Suppose -5*p = -o + f, -5*p = 2*o - 82 - 24. Does 11 divide o?
False
Let y(s) = -167*s + 23. Let h(z) = -166*z + 21. Let t(r) = 2*h(r) - 3*y(r). Does 32 divide t(2)?
False
Suppose 2*v - 3*l = l + 8, 0 = -2*v + 2*l + 6. Let d be (-2)/(v*4/(-24)). Suppose -5*o = g - 138, -g = -d*g + 2*o + 636. Is 32 a factor of g?
True
Suppose -90*m + 1729 = -971. Suppose -2*i + 0*i - 28 = 0. Let z = m + i. Is z a multiple of 5?
False
Let f(t) = 67*t - 50. Let b be f(9). Suppose 3*j - b = -2*i, -8*i + 11*i - 175 = -j. Does 14 divide j?
False
Let b = -88 - -82. Is 11 a factor of -132*(54/(-24) - b/4)?
True
Suppose 3*s - 15 - 9 = -3*m, -3*m + 4*s = -3. Suppose m*o - 821 = 4*a, 4*a - 639 = -3*o - 172. Suppose -x - 57 = -p, 3*p + 0*p = -2*x + o. Is 18 a factor of p?
False
Suppose -6*z - 31 = -7. Does 3 divide (-90)/(-8)*z/(-3)?
True
Let y = -21481 + 22138. Is 99 a factor of y?
False
Let o = 23812 + -15388. Is 54 a factor of o?
True
Let i(r) = 72*r**2 + 87*r - 9. Does 27 divide i(6)?
True
Let r(o) = o**3 - 5*o**2 + 9*o - 4. Let a be r(2). Let u be (-3147)/(-12) + a - 12/(-16). Suppose z - u = -2*i, z + 2*z = -3*i + 399. Is 11 a factor of i?
True
Suppose -2373 = -2*k - 5*k. Suppose 6*x = -k - 117. Does 10 divide (-2)/(16/x) - 1/(-2)?
True
Let c(v) = 156*v**2 + 8*v + 175. Is c(-7) a multiple of 24?
False
Let k = 139 + -136. Suppose -k*w - 1 + 4 = 0, -2*l + 5*w + 3 = 0. Suppose 3*x - 116 + 290 = b, 0 = 4*b + l*x - 680. Is 57 a factor of b?
True
Let h(p) = -p**2 - 22*p + 52. Let g be h(-24). Suppose -i - 6 = -g*i. Suppose 3*r - r = -i*x + 180, 3*x = -5*r + 444. Is r a multiple of 29?
True
Is (-190 - 9)*(2 - -483)/(-5) a multiple of 199?
True
Suppose 0 = -6*u + 12*u. Let z be 0 + 1*(u - -2) + 1. Suppose z*m + 3 = 2*m, 3*l = -m + 57. Is 5 a factor of l?
True
Suppose 8 = -5*g + 2*l, -g - l + 1 - 4 = 0. Let u(b) = -b - 18. Let a(f) = f + 18. Let i(m) = g*a(m) - 3*u(m). Is 12 a factor of i(-6)?
True
Let x = -9275 - -12506. Is x a multiple of 11?
False
Let d = -292 + 140. Does 11 divide (-4694)/(-18) - (d/36 + 4)?
False
Let a = 611 - 435. Suppose a = -134*l + 136*l. Is l a multiple of 11?
True
Does 35 divide 1*12 - (27 + (-16477 - 23))?
True
Let a(l) = -l**3 - 94*l**2 + 23*l - 834. Is a(-95) a multiple of 21?
True
Let z(r) = -3*r - 10. Let g be z(-4). Suppose 5*i + g = -3. Does 4 divide (72/(i + -3) - 3)*-1?
False
Suppose -65*r + 31802 = -200638. Is r a multiple of 8?
True
Suppose -37*c - 2*q = -41*c + 19982, -3*c = q - 14999. Does 98 divide c?
True
Let j = -612 - -617. Is 6 - (4 + 82*-2 + j) a multiple of 12?
False
Let t be (-13)/((-741)/(-3870)) + 16/(-152). Let h = 98 + t. Is h a multiple of 5?
True
Let o = -9266 + 10206. Is 9 a factor of o?
False
Does 48 divide ((-132)/(-77))/(((-6)/(-7160))/((-672)/(-20)))?
True
Let h(f) = 1122*f + 15994. Is h(-6) a multiple of 8?
False
Suppose 2*z + 12 = 2. Is 938/4 + z*(-5)/50 a multiple of 6?
False
Let h(w) = 50*w**2 + 122*w + 468. Is 20 a factor of h(-4)?
True
Suppose 886912 = 85*s - 1900068. Is 62 a factor of s?
False
Suppose -56*f + 5*o = -58*f + 11788, -2*o + 29470 = 5*f. Is f a multiple of 44?
False
Let x be 5 - ((-3)/(-5) - 24/(-10)). Suppose -14 = 3*o + x*c, 3*o = 4*o + 5*c + 9. Does 25 divide 0 - (200/o)/2?
True
Let i(p) = -6*p - 88. Let g be i(-26). Suppose -s + g = 5. Is 9 a factor of s?
True
Let a be (1 + -3)*((-6970)/20 - -6). Suppose 0 = -15*t + a + 1655. Is 19 a factor of t?
False
Let x(o) = 872*o**2 + 13*o - 116. Does 91 divide x(5)?
True
Suppose -1225 = -2*y - 347. Suppose 4*d + y + 257 = 0. Let i = d + 267. Is i a multiple of 24?
False
Let y(l) = -3*l + 30. Let f be y(7). Suppose 0 = f*a - 514 