2*b + 26. Let w be j(-11). Suppose 2*i + 196 = w*i. Does 14 divide i?
True
Suppose -4*p - 2*i = 98, i + 101 = -4*p - 4*i. Let q = 85 + -43. Let y = q + p. Is y a multiple of 9?
True
Let z be 2/(-4)*(3 + 132/(-12)). Suppose 2*q = -3*q + 4*j + 135, -130 = -5*q + 5*j. Suppose -z*g + q = -49. Is 5 a factor of g?
True
Let x be -5 - 3*(-21)/9. Suppose -7*p + 126 = -3*p - 2*a, 4*a = -x*p + 88. Does 2 divide p?
True
Suppose -3154 = -w + h - 650, 4*w - 2*h - 10024 = 0. Is w a multiple of 33?
True
Suppose 22*h - 15*h = -33*h + 400000. Is 46 a factor of h?
False
Suppose -5*x = -i + 1200, -45*i + 50*i = 6*x + 6019. Is i even?
False
Let t = -123 - -45. Let p be (t/(-65))/((-4)/(-10)). Suppose -4*w - 45 = -z - p*w, -w = 0. Is z a multiple of 5?
True
Let g be 2 + 12/(1 - -2). Suppose -4*c + g = -22. Let u(o) = o**2 - 2*o - 14. Is u(c) a multiple of 15?
False
Does 50 divide (774/8)/(4/(-3744)*3*-3)?
False
Let u = 577 - 593. Let s(t) = -t**3 - 14*t**2 - 4*t - 82. Is s(u) a multiple of 19?
True
Suppose -104456 = 7*q - 9*q - 20*q. Is 17 a factor of q?
False
Suppose -122*c - 2*x = -120*c - 10222, -c + 3*x + 5135 = 0. Is c a multiple of 43?
True
Let c be ((-14)/(-4))/((-10)/(-620)). Suppose -c = 2*b - 4*t - 2059, -4*b + 3696 = -4*t. Does 27 divide b?
False
Let s = 564 - -3250. Is s a multiple of 8?
False
Let m(j) = 169*j - 677. Is m(29) a multiple of 19?
False
Let m be ((-345)/20)/3*4. Let a(i) = 4 - 34 - 5*i**3 + 23*i + 23*i**2 + 6*i**3 - 27*i. Is a(m) a multiple of 22?
False
Suppose -4*x = -2*c - 1190, -4*c + c = 15. Let p be (x*-4)/(-4) - 1. Let m = -144 + p. Is 30 a factor of m?
True
Let i = 8541 - -2910. Is 33 a factor of i?
True
Suppose 12 + 0 = 3*o. Suppose -1034 + 1636 = -7*b. Let z = o - b. Is 18 a factor of z?
True
Suppose -27*u - 73022 = 3*u - 431912. Is u a multiple of 22?
False
Suppose 8*d + 55 - 159 = 0. Let b(x) = d + 3*x + 0*x**3 + 0*x**3 + 9*x**2 + x**3. Is 29 a factor of b(-7)?
False
Suppose 2*h = 3*p + 21, 25 = 4*h + p + 4. Suppose -18 = h*j - 30. Suppose r - 2*f - 3*f = -10, -j*r + 24 = f. Is r a multiple of 10?
True
Let v(a) = a**2 - 15*a + 26. Let z be v(17). Is 8/z*-1 + (-912)/(-90) a multiple of 2?
True
Let p be 1/(-2) + (1 - (-15)/10). Let a(j) = -8*j**2 - j + 1. Let u be a(p). Let o = u + 99. Does 22 divide o?
True
Suppose -9*p - 180 = -13*p. Is 5 - 235/p - (-384)/27 a multiple of 7?
True
Let i be (-8 - 7)/((-2)/4*2). Suppose 7*f = -i*f + 396. Is 9 a factor of f?
True
Suppose 8*p = -3 + 139. Let a(y) = 10 + 2*y + p*y + y**2 - 40. Is a(-22) a multiple of 10?
False
Let y = -39 - 13. Let a = -48 - y. Suppose -a*c + 3*k = -72, 0*k + 4*k = 5*c - 90. Is c a multiple of 18?
True
Suppose 27*c - 28*c - 26210 = -f, 22*c = 44. Is 17 a factor of f?
False
Let o = 2933 - -1139. Is 8 a factor of o?
True
Let u = -170 - -172. Suppose u*l - 619 = -4*n + 1091, 0 = -4*n - l + 1709. Is n a multiple of 12?
False
Suppose 458*x = 2*d + 462*x - 2942, -4*x - 5908 = -4*d. Is d a multiple of 59?
True
Let x be 16/12*(-9)/(-6). Suppose -j = x - 52. Suppose -3*z - 66 - 9 = -4*u, 0 = -3*u + z + j. Is 7 a factor of u?
False
Suppose i + 1 = p, i - 8 = -5*p - 3. Suppose 5*f + 1 = 2*t, 3*f - 9 = -2*t - i*t. Suppose -t*c = 2*c + 5*a - 235, 0 = -a + 2. Does 5 divide c?
True
Suppose -2*h - 2 - 4 = 0, 2*h = -2*r - 154. Is r/(-10) + (-6)/15 even?
False
Let w = 796 + -180. Let s = 896 - w. Does 10 divide s?
True
Let j = -2572 - -3352. Does 60 divide j?
True
Let p(t) = -4*t + 3 + t**2 - t**2 + 4*t**2. Suppose 3*a + 3 = -3*g, 5*g - 43 + 75 = 4*a. Is 25 a factor of p(a)?
False
Suppose -300 = 3*s - o - 1657, s - 2*o = 459. Is s a multiple of 2?
False
Let p(d) = 5*d**2 - 8*d - 5. Let g be p(-5). Let w = 595 - 553. Let r = g - w. Is 12 a factor of r?
False
Suppose 0 = 3*z - 3*p + 15, -17 = -3*z - 6*p + p. Let b = -56 + z. Is (b/38)/(2/(-12)) + -1 a multiple of 2?
True
Let t = -85 - -91. Let u be -2*2/(16/t)*-2. Suppose u*w - 356 = -w. Is 9 a factor of w?
False
Is (5 - 8) + 141195/2 + (-18)/12 a multiple of 130?
False
Let z = 45491 + -31633. Does 19 divide z?
False
Let z be 3/((-3)/(-2))*10. Let t(m) = -m**3 + 14*m**2 - 8*m - 34. Let p be t(13). Let i = p - z. Does 3 divide i?
False
Suppose 0 = -16*y + 34095 + 21873. Does 66 divide y?
True
Let b = 112 + -103. Let r(x) = 1 - 10 + 2*x**2 - 16*x + 3*x. Is r(b) a multiple of 3?
True
Let c(j) = 12*j - 92. Let u be c(8). Suppose 5*k - u*s = 271, 0 = -2*s + s + 1. Is k a multiple of 24?
False
Suppose 8*a - 7*a - 34 = 0. Let n = a - 41. Is 6 a factor of 2/4 + ((-1204)/8)/n?
False
Let t(y) = y**3 + 14*y**2 + y - 29. Suppose -4*z - 82 = -58. Is t(z) a multiple of 29?
False
Let y(t) = 2976*t**3 + 3*t**2 - 9*t + 8. Does 21 divide y(1)?
False
Let t(c) = 209*c**2 - 73*c - 196. Is 16 a factor of t(-4)?
True
Suppose 9165 = 3*m - 5*g, -3*m + 9153 = -93*g + 90*g. Is 7 a factor of m?
True
Let f(m) = -28*m - 80. Let t be f(-3). Suppose 0 = -5*n + t*k + 762, -18*n + 3*k = -16*n - 309. Is n a multiple of 25?
True
Suppose -228*p + 10*p = -2086252 - 1287734. Is p a multiple of 67?
True
Suppose -946*f + 1566189 = -889*f. Is f a multiple of 71?
True
Let n(i) = 63*i**2 - 3*i + 7. Let u(c) = -127*c**2 + 5*c - 14. Let y(q) = 7*n(q) + 3*u(q). Is y(3) a multiple of 55?
False
Let l = -302 + 177. Let i = l + 179. Is i a multiple of 9?
True
Let x = -375 - -760. Suppose -q - 6*q + x = 0. Is 11 a factor of q?
True
Let c be ((20/(-6))/((-9)/27))/1. Suppose -7*h + c = -2*h. Suppose h*t + 4*y = 444, -7*t - 4*y = -3*t - 908. Is 21 a factor of t?
False
Let s = 8667 + 1673. Is s a multiple of 47?
True
Let c(p) be the third derivative of -p**4/6 + 11*p**3/6 - 23*p**2. Let j = -1 + -5. Does 24 divide c(j)?
False
Let c(h) = -1206*h - 685. Does 215 divide c(-20)?
True
Suppose 568*o = 565*o + 3243. Suppose 2*z + 0*z - 542 = 4*q, o = 4*z - 5*q. Is 31 a factor of z?
False
Suppose -q - 2*q + 36 = 0. Suppose -5*v + 2*v + 30 = 0. Suppose q*i = 11*i + v. Is 5 a factor of i?
True
Let f = 46 - 43. Suppose f*w = -5*v + 4, 3*w - 4*v = 11 + 2. Is w/(3/4) - -112 a multiple of 27?
False
Suppose 13*a - 160 = 11*a. Is 16 a factor of (-2346)/115*a/(-6)?
True
Let s = -219 + 220. Is 436/s + (-12 - -5) a multiple of 39?
True
Let r = -231 + 176. Let b = r + 58. Does 2 divide b?
False
Let m be -1*(4 + 0) + 11. Let j(i) = 45*i + 13. Let s be j(m). Let w = s - 208. Does 30 divide w?
True
Suppose -10*p - 3240 = -40*p. Suppose 5*o = p + 177. Does 13 divide o?
False
Let z(t) = 3004*t**2 - 4*t - 3. Does 49 divide z(2)?
True
Let f = -151 + 148. Suppose -2*a + 0*a + 22 = 0. Let j = a - f. Is 2 a factor of j?
True
Let r = 75 - 77. Let b be (42/4)/(r/(-4)). Is 994/b - 4/(-6) a multiple of 16?
True
Let h = -4820 - -7782. Is 22 a factor of h?
False
Suppose 47*t - 127724 - 231309 = 0. Does 104 divide t?
False
Let g = -36585 - -61330. Is g a multiple of 145?
False
Suppose -5*p + 61066 = 4*g, 5*g - 2685 = -p + 9503. Is p a multiple of 149?
True
Let j be (-12)/15*9620/(-104). Let p = -129 - -281. Let d = p - j. Does 26 divide d?
True
Let u(w) = 14*w**2 - 26*w + 121. Let g(h) = -2*h**2 + 1. Let s(r) = 6*g(r) + u(r). Is 5 a factor of s(5)?
False
Suppose 0 = c - 19 - 28. Suppose -3*h + k = -26, 4*k + c - 6 = 5*h. Suppose h*a - 156 = 51. Is a a multiple of 10?
False
Let g(a) = 458*a**2 - 15*a + 3. Is g(3) a multiple of 16?
True
Let t be (120/(-42))/(1/(-112)). Let s = t + 142. Is s a multiple of 6?
True
Let k = -2201 + -311. Does 4 divide (k/(-56) - 2)*(-84)/(-8)?
False
Suppose 4*p + 12 = 4*h, 0 = 4*h - 3*h + 5. Let y = 47 + p. Is 31 a factor of y?
False
Let g(m) = -5*m - m - 19*m - m**2. Let r(a) = -a**2 - 7*a - 29. Let h be r(-6). Does 4 divide g(h)?
False
Is 2 a factor of 150925/40 - (103/(-8) - -13)?
False
Suppose 25 = 5*l, -5*c = -3*l - 5 - 0. Suppose -c - 12 = 16*f. Is 6 a factor of (686/(-56))/((-3)/(-12)*f)?
False
Is (-8)/(-12)*(-15)/(-10)*10148 a multiple of 59?
True
Let g(i) = 40*i**3 + 48*i - 72. Does 12 divide g(6)?
True
Let g(d) = 1. Let a(x) = x - 9. Let u(i) = a(i) + 2*g(i). Let p be u(2). Does 27 divide (-30 + (-6)/(-2))/(p/25)?
True
Let s = 56 + 11. Let u = s - 34. Let j = u - -7. Is 7 a factor of j?
False
Let i = 128 - 131. Let f be (-15)/(-4) + i + (-3)/4. Suppose 12*r - 124 - 356 = f. Does 4 divide r?
True
Let a = -30 + 105. Let o be -3*3*a/(-45). Let q(h) = h**3 - 14*h**2 - 11*h - 21. Is 9 a facto