- (-2)/(-4))*2. Suppose -35 = -2*t + j. Is 5 a factor of t?
False
Let z be (-4)/(-10)*(-20 - -5). Let w(g) = g**3 + 8*g**2 + 7*g - 6. Does 11 divide w(z)?
False
Let r = -315 + 330. Is 7 a factor of r?
False
Let t = 2745 + -2401. Does 8 divide t?
True
Let c(h) = -h**2 + 0*h**2 + 2*h**2 - 3 + 25*h + 0. Let j be c(-11). Let q = -91 - j. Is 26 a factor of q?
False
Suppose -116 = -o - o + 4*x, -3*o - 4*x = -174. Does 24 divide o?
False
Let q be ((-5)/(-4) - 1)/(2/24). Suppose q*d - 112 - 68 = 0. Is d a multiple of 12?
True
Let k = 237 + 235. Is k a multiple of 10?
False
Let a be 4/16 + 462/8. Suppose -5*b + 4*o + 21 = 0, -7 = -2*b - b + o. Suppose v - b = a. Is v a multiple of 14?
False
Let l = 90 - -46. Suppose 23*g + l = 27*g. Is g a multiple of 25?
False
Let z = 22 - -42. Suppose 2*d + z = 2*t, -92 = -5*t + 2*t + d. Is t a multiple of 5?
True
Suppose 3*d - 9 - 48 = 0. Suppose 16 + d = 5*c. Suppose 12*n - 130 = c*n. Is n a multiple of 26?
True
Suppose 9327 + 19728 = 15*s. Is 13 a factor of s?
True
Let g = -1 - -11. Let o be 6/g*(-135)/(-9). Suppose 0 = 2*u + 2, o*u = -5*j + 4*u + 205. Does 14 divide j?
True
Suppose 30*q = 35*q + 175. Let m = -38 - q. Let i(d) = 8*d**2 + d + 4. Is 17 a factor of i(m)?
False
Suppose 162 + 102 = z. Suppose -5*f = -f - z. Is f a multiple of 27?
False
Suppose 0*b + 5*y = 5*b + 385, 4*y = -3*b - 238. Let j be ((-548)/2)/(-1 + -1). Let p = b + j. Is 16 a factor of p?
False
Suppose -f = 2*p - 0*f - 6, 0 = -p + 4*f + 21. Suppose -b - 92 = -2*s, 0 = -p*s - 4*b + 37 + 193. Is 37 a factor of s?
False
Let p = -59 - -59. Suppose 3*r + p*a = 3*a + 75, -122 = -5*r + 4*a. Is r a multiple of 11?
True
Let a = 38 - 33. Suppose a*m + 5 = 20. Suppose -2*k + r = -19, 4*k + 14 - 53 = m*r. Is 3 a factor of k?
True
Suppose 1 = 5*p - 4. Let y be p - (-3 - -6) - -16. Let w = -11 + y. Is 3 a factor of w?
True
Suppose -2 = -5*a - 12. Let t be 1 + (16 - 2/a). Does 5 divide (-30)/t*(1 + -4)?
True
Let j(c) = 2*c**3 + c**2 - 64*c + 26. Is j(9) a multiple of 23?
True
Suppose -236 = 4*f + 144. Let a = 201 + f. Is a a multiple of 29?
False
Suppose 6*i = 5*i + 112. Does 19 divide i?
False
Let o(f) = f - 2 + 7 + 17*f**2 - 12*f**2 + f**3. Let v be o(-5). Suppose 3*x + 4*b - 80 = v, -5*x = -3*x + 2*b - 52. Is 14 a factor of x?
False
Let i be -2 + 9 + -3 + 16. Let r = 61 - i. Does 31 divide r?
False
Let t(i) = 2*i**2 - 5*i - 12. Let x = -40 + 61. Let w = x - 15. Is t(w) a multiple of 6?
True
Is (126/12 - 10) + 15838/4 a multiple of 15?
True
Let y(k) = -k**3 - 5*k**2 + 3. Let s be y(-5). Let n(v) = 6*v - 4. Let g be n(s). Is 290/35 + (-4)/g a multiple of 8?
True
Suppose -16 = 6*p - 88. Let m = -6 + p. Is 16 a factor of (-24)/16*(-128)/m?
True
Suppose 36 = 5*b - 2*q, 5*q = -5*b + 17 - 2. Let p = -16 + 8. Let j = b - p. Is 14 a factor of j?
True
Let q(d) = 2*d**2 - 6. Let x(o) = o**2 + 7*o + 9. Let i be x(-6). Let u = 0 + i. Does 3 divide q(u)?
True
Is 72 a factor of (-171377)/(-85) - (-3)/(-15)?
True
Suppose 4*i - 8868 = -j - 2246, -3320 = -2*i - 5*j. Is i a multiple of 28?
False
Suppose 0 = -2*q - 0*z - z + 181, 2*q - 3*z = 169. Let p = 160 - q. Is 11 a factor of p?
False
Let s(l) = 144*l**2 + 19*l + 47. Does 65 divide s(-4)?
True
Does 22 divide 282 - (5/(-10))/(2/(-20))?
False
Suppose 3*b - 6424 = -19*b. Does 37 divide b?
False
Suppose -93 = m - 187. Suppose -5 = -5*x + 4*x. Let a = m - x. Is a a multiple of 16?
False
Is (525/(-140))/((-9)/4728) a multiple of 26?
False
Let o = -47 - -56. Does 5 divide (-15)/(-2) - (81/6)/o?
False
Let v(c) = -c**3 + 3*c**2 + 3*c - 1. Let o be v(4). Let j = -9 - o. Is ((-4)/j)/(1/37) a multiple of 18?
False
Let d be (-3)/12 - 44/16. Let j = d + 17. Does 7 divide j?
True
Suppose -3*y - 420 = -k, 5*y - 5*k + 1118 - 418 = 0. Is 3 a factor of (-2)/6 + y/(-15)?
True
Let j be (1*-8)/4 + 26. Let b = j + 2. Does 10 divide (-4)/(-6)*(b - -4)?
True
Suppose 402 = 7*a - 431. Is a a multiple of 7?
True
Let h = 347 + 2271. Is 10 a factor of 1/(-6) - h/(-84)?
False
Is 46 a factor of 8 + (-7 - -92*4)?
False
Let l be -2*((-4 - -3) + 1 - -2). Let q(n) = -n - 3 + 5*n - n**3 + 9. Is 18 a factor of q(l)?
True
Let o(w) = 35*w - 154. Is o(14) a multiple of 32?
False
Let v(b) = -15 + b - b**3 + b + 4*b + 6*b**2. Let z be (2 - (2 - 1))*6. Is 3 a factor of v(z)?
True
Let l(f) = f**3 - 11*f**2 - 13*f - 6. Let s be l(12). Does 10 divide 10*(-2 + s/(-2))?
True
Suppose 5*j - 6147 = -652. Is 39 a factor of j?
False
Let a be 104/6 - 2/6. Let w = a + 33. Does 27 divide w?
False
Let h = -7 - -30. Let x = 51 - h. Does 14 divide x?
True
Let p(o) = -o**3 - 12*o**2 + 31*o + 202. Is 80 a factor of p(-14)?
True
Let a(c) be the third derivative of -11*c**4/24 - c**3/3 + 11*c**2. Let s = -15 - -8. Is 27 a factor of a(s)?
False
Suppose 5*f + 4*y = 0, -5*f - 5*y = -2*f. Suppose 2*d + 20 = 6*d. Suppose 0 = 2*j + x - 4, -2*j + d*x = -f*j - 28. Does 4 divide j?
True
Let p(x) = 19*x + 4. Let j be p(6). Let d(w) = -w**3 - 27*w**2 - 22*w + 37. Let q be d(-26). Let i = q + j. Is i a multiple of 17?
True
Let b = -9 + 13. Suppose -28 = -3*l + l - 4*k, -4*k = -4*l - b. Is l a multiple of 2?
True
Suppose -4*f + 616 = -720. Let r = -196 + f. Does 40 divide r?
False
Suppose 3*i = -286 - 272. Let m = i + 330. Does 36 divide m?
True
Let v(q) = 3*q**2 - 5*q + 4. Let o be v(2). Suppose o = -5*t + 161. Does 5 divide t?
False
Suppose -142*q - 1386 = -156*q. Is q a multiple of 15?
False
Suppose 0 = -c - 2*n + n + 2, 4*n - 6 = -5*c. Let o be (-1 - c)/((-4)/(-8)). Let f(m) = 3*m**3 - 3*m**2 + 4*m - 3. Does 17 divide f(o)?
True
Is 20 a factor of (16164/63)/((-4)/(-14))?
False
Suppose -4*u = 5*n - 56, -5*n - 4*u + 44 = -n. Let m(l) = -l**3 + 13*l**2 - 10*l + 6. Is 2 a factor of m(n)?
True
Is 23 a factor of 11*(-7 + -85)/(-4)?
True
Let j(h) = 50*h + 8. Let f(w) = 1350*w + 215. Let x(u) = 2*f(u) - 55*j(u). Let i be x(-4). Let o = -136 + i. Does 27 divide o?
True
Suppose 4*l - 187 = -5*f, 8*f = -4*l + 12*f + 160. Let k = -51 - -17. Let o = k + l. Is o even?
False
Is 7 a factor of ((-1374)/8)/(12/(-16))?
False
Let r be ((-10)/(-20))/(2/320). Suppose 5*d - 5*x = r, -3*x + 112 = 4*d + d. Is d a multiple of 4?
True
Let g be ((-16)/(-6))/(7/21). Suppose -5*l = -g - 2. Suppose 0 = l*k - 3*w - 107, 2*k + 0*k = 4*w + 108. Is 13 a factor of k?
True
Does 51 divide 2038/5 + 2/5?
True
Suppose -8*h - 45 = -3*h. Let x = h + 11. Suppose n + 222 = 5*b + 31, x*b - 3*n = 79. Is 19 a factor of b?
True
Let s(q) = 4*q**2 + q + 1. Let m(d) = -5*d**2 - d. Let x(r) = 3*m(r) + 4*s(r). Does 19 divide x(8)?
True
Let o be (-1 - 54 - 1) + -1. Let w = -8 + o. Let f = w + 95. Is 15 a factor of f?
True
Let c(o) = -3*o + 60. Let l = -4 - -8. Let s(q) = 4*q - 59. Let b(i) = l*s(i) + 5*c(i). Is 14 a factor of b(0)?
False
Let o be (-539)/(-105) - (-2)/(-15). Let v(p) = 4*p**2 - 4*p - 5. Let j be v(o). Let n = 106 - j. Does 10 divide n?
False
Suppose r - 9 + 1 = 0. Does 6 divide (-2 + 4)/(r/(-12)) - -21?
True
Let g(b) = -204*b - 1. Let m(s) = -3*s + 44. Let u be m(15). Does 13 divide g(u)?
False
Suppose 0 = 2*k - 3 + 1. Let t(p) = 12*p - 2. Let u be t(k). Is 24/(-30) - (-308)/u a multiple of 10?
True
Let r = -432 + 1022. Does 10 divide r?
True
Let o(n) = -9*n**2 - 4*n + 7. Let c(q) = -10*q**2 - 4*q + 8. Suppose 0*p + 3*p + 3 = 3*s, -5*p + s - 21 = 0. Let u(g) = p*o(g) + 4*c(g). Is 31 a factor of u(4)?
True
Suppose 3*a - 5*i - 195 = 0, 0*a - 5*i - 75 = -a. Is 30 a factor of a?
True
Let y(h) = 6*h - 2*h - h**2 + 0*h**2. Let i be y(3). Suppose -i*z = -7*z + 40. Is z a multiple of 9?
False
Suppose 0 = 9*r - 269 + 98. Is r a multiple of 3?
False
Suppose -38*c = -36*c. Let s(h) = -2*h + 144. Is s(c) a multiple of 36?
True
Let h be (-95)/10 - (-3)/6. Let b = 10 + h. Suppose -b = -j + 2. Is j a multiple of 2?
False
Let d = -612 - -692. Is d a multiple of 8?
True
Let z(i) = -5*i**2 + 2*i + 2. Let r be z(2). Let n = -16 - r. Does 10 divide n*((-3)/3 + -9)?
True
Suppose -52*i + 62*i = 1260. Does 42 divide i?
True
Let d(p) = -450*p - 3. Let a be d(1). Let f = -225 - a. Suppose 0 = l - 4*z - 60, 2*l + 3*l - 2*z = f. Is l a multiple of 11?
True
Suppose 1 = -j, 2*j + 5 - 18 = -5*a. Is 50 a factor of 129/(15/(-6) + a)?
False
Let b(t) = 24 + 15*t + 2*t**2 + 14*t - 10*t - t**2. Is 12 a factor of b(-19)?
True
Suppose -4*j + h + 1 = -11, 0 = -