f 3?
False
Let u be (-674)/(-6) - (-4)/(-12). Let j be 0*(-3)/(-6) + u. Suppose -40 = 4*x - j. Is 9 a factor of x?
True
Let x(d) = -110*d + 48. Is 6 a factor of x(-10)?
False
Suppose -36 + 27 = -c. Let w(m) = m**3 + 7*m**2 + 7*m - 1. Let d be w(-6). Let t = c - d. Does 5 divide t?
False
Let m be (0 - 8/(-6))*114. Suppose -2*q = -0*q - m. Let p = q + -49. Is p a multiple of 9?
True
Let x = -6 - 1. Let f(j) be the third derivative of -j**4/8 + 3*j**3/2 - 5*j**2. Does 11 divide f(x)?
False
Let k(z) = -7*z + 67. Let g be k(9). Suppose -q + 6*q = 15. Suppose -q*n = -5*o - 3 - 38, -g*o - 4 = 0. Is 12 a factor of n?
True
Let g(p) = 3*p - 10. Let i(f) = 4*f - 10. Let y(m) = -3*g(m) + 2*i(m). Let o be y(7). Suppose j - 59 - 92 = -5*k, 3*j - o = 0. Does 15 divide k?
True
Let f(p) = 25*p**3 + 6*p**2 - 3*p + 6. Does 22 divide f(3)?
True
Let l(v) = -3*v**2 - 5*v + 38. Let m(g) = g - 1. Let h(i) = -l(i) - 3*m(i). Is 34 a factor of h(-11)?
True
Let q = 63 - 60. Suppose 2*n - 145 = -5*u, 0 = 3*n - q*u - 71 - 157. Does 25 divide n?
True
Let b(y) = 5*y**3 - 3*y + 2. Let t be b(2). Let a be (-3 - t/(-15))*-55. Suppose 3*k = -3*g + 57, -2*k - 5*g + 2*g + a = 0. Is 12 a factor of k?
True
Suppose b + 0*s - 5*s - 1490 = 0, 5*b - 7472 = 3*s. Is 65 a factor of b?
True
Suppose 3*o + 2*o = 10. Suppose -1 + 7 = o*s. Suppose -g = -2*k + k - 52, -s*g + k = -152. Is g a multiple of 16?
False
Suppose 12*u - 44 + 8 = 0. Suppose 0 = u*g + 2*w - 0*w - 129, g - 53 = -4*w. Is 3 a factor of g?
False
Suppose 3*i - 2*b = 675, -b = i - 119 - 106. Is 5 a factor of i?
True
Is 12 a factor of ((-1)/(-8) + 6055/(-56))*-3?
True
Does 3 divide (-31)/5*(-1 + -4)?
False
Suppose k + 4 = 5. Is 16 a factor of k/3 + (-382)/(-6)?
True
Let w(c) = 3*c - 6. Let l(r) = -r**3 - 7*r**2 + 8*r + 5. Suppose -5*h + 2*k - 30 = 0, k = 5*h + 2*k + 45. Let i be l(h). Is w(i) a multiple of 3?
True
Is (-40)/(-100) - (1192/(-10))/2 a multiple of 30?
True
Suppose s = -3*f - 4 + 65, -2*f + 344 = 5*s. Is 2 a factor of (-1)/(-2) + -5*(-371)/s?
False
Suppose 0 = -5*z + 4*g + 16, 3*z - 7 - 13 = 5*g. Suppose -4*n + 3*o = -972, -2*n + z*o + o = -484. Suppose u + 2*b = -u + n, 3*u - 2*b = 385. Does 35 divide u?
False
Let f be 4/(-10) - (1 - (-64)/(-10)). Suppose f*l - 335 = -5*j, 142 = 3*j - j - 2*l. Does 10 divide j?
False
Let j be (-10)/4*(-24)/20. Suppose 3*t = -4*u + 4*t + 10, -2*u = -j*t. Suppose 96 = y + u*y. Is 12 a factor of y?
True
Let h(r) = 2*r**2 + 6*r - 2. Let l be h(-4). Suppose -l*o = -3*o - 9. Suppose -f - 4*f = -z - 545, -o*f - 4*z + 350 = 0. Is 29 a factor of f?
False
Let w be 3 + (6 + -21)*(-4)/(-10). Is (-2 - -3 - -220) + 1*w a multiple of 47?
False
Let r = -3 + 3. Suppose 0 = -5*p + i - 6*i - 15, -4*i - 20 = r. Suppose p*w - 6 + 0 = 0. Does 3 divide w?
True
Is 8 a factor of ((-178)/10)/((-13)/195)?
False
Let l = -745 + 1051. Is 51 a factor of l?
True
Let u = 38 + -35. Suppose -141 = -5*j - 2*x, 8 = -u*x - x. Is j a multiple of 19?
False
Suppose -7*h + 12 = -23. Is h - (15/5 - 58) a multiple of 20?
True
Let k(r) = 18*r - 3. Let b be k(1). Suppose -3*j - 5*i + 10 + 15 = 0, j + 5*i - b = 0. Suppose -j*a = d - 220, -a + d = -2*d - 60. Is 5 a factor of a?
True
Let g(c) = c**3 - c**2 - c + 40. Let f be g(0). Suppose a - 10 = 4*m - f, m + 3 = -5*a. Does 2 divide m?
False
Suppose -5*i + 6129 = -4*a, -65*i + a = -60*i - 6126. Does 7 divide i?
True
Suppose -5*q = 3*g + 59, 0*g - 4*g - 3*q = 75. Let f be (2/3)/(2/g). Is ((-12)/9)/(f/369) a multiple of 21?
False
Let t be 42 + 4/4 + -4. Does 8 divide (-13 + t)*2/4?
False
Suppose -3*n = -5*u + 73, -53 = 3*n + 3*u + 4. Is 8 a factor of (42/(-9) - 6/(-3))*n?
True
Suppose -2*b - 8 + 0 = 0. Is 13 a factor of (-2 - 6)/(b/52)?
True
Let c(m) = -9*m**2 + 4*m + 3. Let k be c(-2). Let i be (0 + 2)*k/2. Is i/(1 + (-2)/1) a multiple of 13?
False
Suppose 0 = -2*i + 6*i + 5*m - 3207, 5*i - m = 3987. Does 57 divide i?
True
Let i = -1609 + 1903. Is 10 a factor of i?
False
Suppose -3*z = -2*r - 6026, 6*z = 2*z - 2*r + 8016. Is z a multiple of 17?
True
Let t(y) be the third derivative of 0 - 1/12*y**4 + 0*y - 1/3*y**3 - 1/60*y**5 + 12*y**2 - 7/60*y**6. Is t(-2) a multiple of 38?
False
Suppose 9*k = -3*k + 1332. Does 29 divide k?
False
Let g(n) = n + 1. Let t(r) = -8*r - 4. Let b(v) = -18*g(v) - 2*t(v). Does 6 divide b(-10)?
False
Let l(p) be the first derivative of -6 + 14*p + 3/2*p**2. Is l(12) a multiple of 21?
False
Does 3 divide (130 + -1)/((-27)/(-18))?
False
Suppose -2*q = -5*q. Suppose q*k + 2*k - 34 = 0. Does 7 divide k?
False
Let z(b) = 3*b + 3. Let a be z(-4). Let v be (a + 0 - 1)*-2. Suppose -2*o + 4*h = o - 124, -v = 5*h. Is 9 a factor of o?
True
Let c = 3 - -7. Let b be (0/2)/(-14 - -17). Suppose b = -p - c + 42. Does 16 divide p?
True
Suppose -v + 2*q + 92 = -148, -4*v + 987 = q. Is 54 a factor of v?
False
Suppose 4*f + 14*f - 4482 = 0. Does 6 divide f?
False
Let s = 2 - -2. Suppose 3*i - 2*v = v + 189, -244 = -4*i - 4*v. Suppose 5*p - i = -2*r, 0 = 5*r + s*p - 7*p - 93. Does 10 divide r?
False
Let i(b) = b**3 + 8*b**2 - b - 3. Let x be i(-8). Suppose -r - 4*r - 4*c = -6, 0 = 3*r - x*c + 26. Let a(m) = 6*m**2 + 3*m - 2. Is 6 a factor of a(r)?
False
Suppose 29*q - 1728 = 25*q. Is 24 a factor of q?
True
Suppose -2*i = -3*m - 900, -1035 - 1240 = -5*i - 5*m. Is 26 a factor of i?
False
Suppose 42636 = 58*c + 10*c. Is 57 a factor of c?
True
Let r = 105 + 315. Is r a multiple of 14?
True
Let n(t) = -8*t - 9. Let b(i) = -3*i - 3. Let v(k) = -11*b(k) + 4*n(k). Let a be v(7). Suppose 3*g - 2*u = 2*g + 16, -3*g + 58 = -a*u. Is 13 a factor of g?
True
Let g = 254 + 115. Is g a multiple of 41?
True
Suppose -8*w + 2*w = 126. Let j(x) = x**3 + 20*x**2 - 23*x + 18. Is 15 a factor of j(w)?
True
Let j = 33 - 28. Suppose -r + 3 = 0, -2*r - 57 = -j*q - 163. Let f = q + 29. Does 7 divide f?
False
Suppose 2*a = 8, 2*c + 2*a + 212 = 7*c. Suppose -c = -3*z + 115. Is z a multiple of 19?
False
Let x(w) = 2*w**2 - 15*w + 6. Let b be x(7). Let j(s) = -174*s**3 + s + 1. Is 15 a factor of j(b)?
False
Suppose a - 4*a + 460 = -5*k, -a - 4*k + 142 = 0. Suppose 3*h = 3*n - a, 3*h = -n - h + 65. Is 12 a factor of n?
False
Is (-2)/(-12) - (13 + (-170672)/96) a multiple of 18?
False
Let s = 828 - -771. Does 12 divide s?
False
Let r = -77 - -72. Let n(t) = -t**3 - 3*t**2 - 6*t. Is n(r) a multiple of 8?
True
Let z(f) = f + 1. Let b(q) = q + 4. Let v be b(-3). Let s be z(v). Suppose s*m - 116 = -5*h + h, 116 = 4*h + 3*m. Is h a multiple of 19?
False
Let v(g) = -g**3 - 5*g**2 + 6*g - 5. Let q be v(-6). Is 1/q - 1719/(-45) a multiple of 22?
False
Suppose 8*u - 4069 = 5*u + d, -4099 = -3*u - 5*d. Does 23 divide (-1)/3 - (u/(-6) - 0)?
False
Let f(q) = q**2 - 25*q - 29. Does 25 divide f(27)?
True
Let i(c) = -37*c + 241. Is 15 a factor of i(-59)?
False
Let h(m) = -m**3 - 13*m**2 + 16*m + 33. Let d be h(-14). Suppose 0 = -4*o + d*i + 32, -4*o + i + 48 = -0*i. Is 3 a factor of o?
False
Suppose 4*m - 43 = 49. Let y = 13 + m. Let k = y + 3. Is k a multiple of 13?
True
Let g = 8 - 5. Suppose g*r - r - 74 = 0. Suppose 2*c + r = 4*c - u, -c = 4*u - 32. Is c a multiple of 18?
False
Suppose -63*z + 62*z = -252. Suppose -z = -3*y - 0*s + 3*s, 2*s + 8 = 0. Does 10 divide y?
True
Suppose 7 + 103 = -5*h. Let w be (8/(-10))/((-4)/110). Is 16 a factor of (-708)/h - 4/w?
True
Let c(x) = 7*x**2 - 3*x + 13. Suppose -6 = 16*f - 102. Is 13 a factor of c(f)?
True
Let t(i) = 4*i**2 - i. Let r be t(1). Suppose -3*o + 4*s + 39 - 7 = 0, -21 = -2*o + r*s. Let w = o - -5. Does 5 divide w?
False
Suppose -5*b + 8 = 3*j, -2*b - 3*j = -3 + 7. Suppose -2*i + 12 = b*t, 4*t - 3 - 3 = i. Suppose i*u + 5*s - 2 = 12, 5*u + 3*s - 35 = 0. Is u a multiple of 7?
True
Let o(z) = z**3 - 8*z**2 - 3*z + 4. Let a be o(8). Let x = a - -21. Let y = x - -12. Does 13 divide y?
True
Suppose h = -0*h - 5*x + 90, h + x = 70. Is 13 a factor of h?
True
Let t = 481 + -363. Is 31 a factor of t?
False
Let m be 0 - -4 - (1 - -3). Suppose 5*n = b - 2*b + 120, 3*n - b - 72 = m. Is 20 a factor of n?
False
Suppose -g - 6*j = -2*j - 11, -3*j + 15 = 3*g. Suppose -z + 7 = -i, 4*z + g*i - 19 = 37. Does 11 divide z?
True
Suppose 3*z = -z + 648. Suppose 2*b = -4*w + 166, z = 5*w - w - 2*b. Is 8 a factor of w?
False
Let c be 4 - (4 - 4) - 1. Let d be (-4)/((-4)/c)*1. Suppose -d*y 