 f?
True
Let j(d) = -d**2 - 8*d - 2*d**2 - d**2 + 5 + 3*d**2. Let t be j(-8). Is 7 a factor of 67/t - (-8)/(-20)?
False
Let u(j) = 493*j - 193. Does 11 divide u(7)?
False
Suppose 71*u - 51*u = 8820. Does 63 divide u?
True
Let r(j) = 102*j - 180. Does 36 divide r(6)?
True
Let d(c) = -c**2 - 11*c - 5. Let x be d(-5). Suppose 2*m - 113 = -x. Is 14 a factor of m?
False
Let w = 91 + -60. Let j = 2 - -7. Let i = w - j. Is i a multiple of 11?
True
Let l be (-5 + 3)/(1 - 2). Suppose 2 + 0 = -3*g + 2*z, -l*z = -2*g. Does 12 divide (g/(-6))/((-4)/(-372))?
False
Suppose -22*t + 20*t - g + 652 = 0, 5*g = -t + 344. Is 35 a factor of t?
False
Let s(u) = -614*u - 15. Does 11 divide s(-1)?
False
Let u = -17 + 15. Is 5 a factor of 84 - u*(5 + -3)?
False
Suppose 4*o - 67 = 5*f, 3*f + f + 50 = 3*o. Suppose -2*q - 2*m = m + 16, 4*q = 2*m. Does 24 divide (-9)/q*(o + -4)?
False
Let h(r) = 3 - r**3 + 2 - 4 - 16*r**2 + 15*r. Is 5 a factor of h(-17)?
True
Suppose -6*y - 348 = 456. Let w = y - -189. Is 13 a factor of w?
False
Let n(p) = p**2 + 7*p - 11. Let d be n(-8). Let f be 4/d*(-9)/6. Suppose -35 = -3*l - f. Is l a multiple of 4?
False
Suppose -r + 6*r + 2*f - 5 = 0, -4*r + f - 9 = 0. Is 13 a factor of (26/6)/(r/(-6))?
True
Suppose 0 = -0*b + 5*b - 15. Suppose 10 - 1 = -b*y. Let u = 16 + y. Is 9 a factor of u?
False
Let v = -123 + 173. Let f be (((-80)/(-6))/8)/((-5)/(-6)). Suppose f*a + 0*a - v = 0. Does 10 divide a?
False
Suppose -z + 136 = -9*z. Let a = z + 69. Is 20 a factor of a?
False
Suppose -13*r - 50 = -3*r. Does 39 divide 4545/27*(-9)/r?
False
Let t(f) be the first derivative of -9*f**2 - 2*f - 3. Does 33 divide t(-6)?
False
Suppose 4*d - 191 + 19 = 0. Suppose -10 = -w - 2*i, -4*i = 5*w - i - d. Suppose -u + 16 = -w. Is 8 a factor of u?
True
Suppose 2415 = 5*u - 4*o - 343, -3*u + 1653 = -3*o. Does 4 divide u?
False
Let d(z) be the third derivative of -z**6/120 - z**5/20 + z**4/12 - z**3/6 + 17*z**2. Let h = -1 + -3. Is 7 a factor of d(h)?
True
Suppose 321 = -4*h + 5*q, -2*q + 6*q + 202 = -3*h. Let s = h - -45. Let c = -12 - s. Does 8 divide c?
False
Let p = -2281 + 1617. Let q = p + 1136. Suppose 134 = i - 3*r + 10, -4*i + 4*r = -q. Is 30 a factor of i?
False
Let y(z) = 65*z - 3. Let j be y(-2). Let o = -21 - j. Does 14 divide o?
True
Let b = 9 + -33. Let r = b + 58. Is r a multiple of 5?
False
Let h(x) = 7*x**3 + 2*x**2 - 2*x + 1. Let a be h(1). Suppose 2*w - 26 = a. Is w a multiple of 11?
False
Let v be 0 - (-3)/2 - (-765)/6. Let f = -2 - -8. Suppose v = f*m - 525. Is 25 a factor of m?
False
Let r = -16 - -15. Let i(a) = -5*a**3 - 3*a**2 + 1. Let x be i(r). Suppose -x*z - z + 220 = 0. Is 24 a factor of z?
False
Suppose -131 = 3*y - 4*y + z, y - 119 = -3*z. Does 24 divide y?
False
Let l = 9 + -7. Suppose 4*g - 8 = l*g. Suppose -2*f - 2*f + x + 258 = 0, 4*x = -g*f + 268. Does 11 divide f?
False
Suppose -3*t + 0*t + 528 = 5*x, 0 = -5*x. Does 44 divide t?
True
Let v = -63 + 114. Suppose 3*q = v + 15. Does 10 divide q?
False
Suppose 3*k = 13 + 5. Let w be (10/4)/(1/10). Let l = w - k. Is 13 a factor of l?
False
Is 1578/9 - (-20)/(-15) a multiple of 3?
True
Suppose -16*p + 9*p = -1127. Is p a multiple of 16?
False
Let p be (-14)/(-49) + 15/21 + 2. Suppose -2062 = -5*t + 3*d, 2*t + p*d - 4*d - 824 = 0. Does 41 divide t?
True
Suppose -14*p + 1612 = 17*p. Is 2 a factor of p?
True
Is 130/(-455) - (-8236)/14 a multiple of 7?
True
Let a = 3 - 0. Is 24 a factor of (-1 + a)*(-4 - -98)?
False
Suppose 395 = h - 4*a, -5*h + a - 304 + 2336 = 0. Let c = h - 164. Is 33 a factor of c?
False
Suppose -5*t + 4*r = 6*r - 373, t + r = 74. Is 25 a factor of t?
True
Let b be (-5 - (-3 + 0)) + 6. Let t = 4 - b. Let r = 15 + t. Is r a multiple of 3?
True
Suppose 11 = 4*s - 3*s - 5*y, 0 = y. Let b(v) = v**2 - 9*v - 16. Does 6 divide b(s)?
True
Suppose -4*z - 2852 = -5*j, 1140 = 6*j - 4*j - 2*z. Is j a multiple of 8?
False
Does 3 divide ((-634)/4)/(3*(-22)/264)?
False
Let t(c) = c**2 - 6*c - 5. Let a be t(10). Suppose 116 = m + a. Suppose 3*k = 3*y - 207, -2*y + m + 85 = 5*k. Does 19 divide y?
False
Let j be 0 + -2 - -3 - -28. Let z be 3*2*1/(18/21). Let w = j - z. Is 7 a factor of w?
False
Suppose 3*u - 379 = 5*b, 2*u + 2*b = -3*b + 236. Suppose 2*y + 5*o = u, 3*y - 222 = 2*o - 47. Let r = y - 21. Is 8 a factor of r?
False
Let x be 0 + 1545/25 + (-3)/(-15). Suppose -3*s = -x - 22. Does 7 divide s?
True
Suppose u + 2*l = 5*l + 9, 3*u + l = 7. Let z = u + 101. Is 17 a factor of z?
False
Suppose -5*p - 4*t = -30, p - 7 = 4*t - 1. Let r(s) be the third derivative of -s**5/60 + s**4/3 + 2*s**3/3 + 2*s**2. Is 5 a factor of r(p)?
False
Suppose 0*i - 9 = -3*i. Suppose 4*h = i*v + 195, 0*h + 66 = h + 5*v. Suppose -3*z + h + 57 = 0. Is z a multiple of 13?
False
Let t = 82 + -11. Let r = -42 + t. Is 2 a factor of r?
False
Let l be 6/1*(-3)/9. Let d be 3/2*l + 49. Suppose -j + 3*q - 93 = -4*j, 0 = -j - 4*q + d. Does 13 divide j?
True
Let h(j) = j**3 + 8*j**2 + 10*j + 6. Suppose l + 2 = -g, -4*l = 2*g - 3 + 1. Let d(u) = 2*u + 4. Let f be d(g). Is 6 a factor of h(f)?
True
Let n(i) = 10*i + 9*i - 33 + 33 - 2*i. Suppose -4*j - 2 = -14. Is 17 a factor of n(j)?
True
Let j(u) be the second derivative of u**3/3 + 11*u**2/2 - 4*u. Let p be j(-7). Is 6 a factor of (-10)/15 + (-38)/p?
True
Let q(u) = -6*u**2 - 12*u - 1. Let h(b) = 6*b**2 + 12*b. Let o(g) = 5*h(g) + 4*q(g). Is 29 a factor of o(-6)?
False
Let c(s) = 3*s**3 - 3*s**2 + 11*s - 8. Let k be c(4). Is 3 a factor of (-2)/(-14) + k/63?
True
Suppose 23*n - 9 = 20*n. Let w be ((-1)/(-3))/((-2)/(-12)). Is 9 a factor of (w - n)/(2/(-26))?
False
Suppose 111 + 99 = -3*r. Let b = 115 + r. Is 13 a factor of b?
False
Let t = 827 - 377. Is 9 a factor of t?
True
Let n be (-6 - -7)*(-12)/(-3). Suppose -37 = -3*c + 2*p, n*c + 0*c = -3*p + 38. Is c a multiple of 11?
True
Let u be 12/(-5)*(1 - 6). Let v(y) be the third derivative of y**4/4 - 2*y**3 - 31*y**2 + 3. Is v(u) a multiple of 15?
True
Suppose 893*y - 890*y = 612. Is 13 a factor of y?
False
Let m(o) be the third derivative of o**5/20 + o**4/12 - 16*o**2. Is m(-7) a multiple of 13?
False
Let v = 18 - 13. Let r(g) = -6 + v + 4 + g**2 - 2*g. Does 2 divide r(3)?
True
Let k = 1556 + -1072. Is k a multiple of 56?
False
Let h(l) = -9*l - 17. Let c(m) = -m. Let s(f) = -2*c(f) + h(f). Is 5 a factor of s(-7)?
False
Does 4 divide (2/(-6)*14)/((-4)/162)?
False
Is 11 a factor of (31/5 - 5) + 2738/10?
True
Suppose -5*x + 4 = -4*x. Suppose -5*k = 112 - 137. Suppose x*n - 154 = -3*r, -k = 5*n - 4*r - 213. Is n a multiple of 19?
False
Let u be (-8)/20 + (-81)/(-15). Suppose -26 + u = -i. Let v = i - -8. Does 10 divide v?
False
Let m(l) = 4*l**3 + 4*l**2 + 4*l + 3. Let c be m(-2). Let w = -16 - c. Suppose -5*g - b + 141 = 0, 3*b - b + 138 = w*g. Does 6 divide g?
False
Suppose 2*j - 73 - 1043 = 0. Let t be 1/(-3) - j/27. Let i = t + 61. Does 20 divide i?
True
Let c be 0*(-3)/(-6) - -72. Suppose 3*b = 2*j + c, -4*b + 48 = -j - 48. Is 4 a factor of b?
True
Suppose -l - c + 124 = 0, -5*l + 2*c + c + 612 = 0. Let n = l + -73. Is 23 a factor of n?
False
Let z(d) = 5*d**2 + 74*d - 15. Let o be z(-15). Suppose -35 = -3*k - 5. Suppose -k = -a - o*a. Does 5 divide a?
True
Let i = -3 - -8. Let s be 27/i + (-6)/15. Suppose -s*c + r = -34, c - 5*r = 2*c + 14. Does 5 divide c?
False
Suppose -6*c + 526 = 184. Suppose -6*l + c = -3*l. Does 2 divide l?
False
Let f(u) = 2*u**2 + u + 15. Let h(o) = -7*o - 14. Let v be h(-3). Is f(v) a multiple of 30?
True
Suppose -o + 54 = 5*p, -4*p + 7 + 113 = 2*o. Is 5 a factor of o?
False
Let t = 1390 - 200. Is 14 a factor of t?
True
Let n(o) = 5*o**2 - 271*o + 38. Is 23 a factor of n(57)?
False
Suppose -3*i + q + 17 = 0, 6*q = 4*i + 4*q - 24. Suppose 23 = i*x + 3*b - 475, 3*x - b - 310 = 0. Is 17 a factor of x?
True
Let n = 16 + -8. Let y be ((-15)/(-12))/5*n. Suppose 6 = 5*a - 5*t - 19, a = y*t + 2. Is 8 a factor of a?
True
Suppose 14*l - 26*l = -14760. Is l a multiple of 17?
False
Let t(d) = 2*d**3 + 10*d**2 - 22. Let z be t(8). Suppose 5*a - z + 402 = 0. Is a a multiple of 18?
False
Let s be 0/(-3 - (1 + -1)). Suppose 11*t - 8*t - 234 = s. Is t a multiple of 27?
False
Let f = 100 + -103. Let l(w) = 23*w + 5. Let t(q) = -12*q - 2. Let s(j) = 2*l(j) + 5*t(j). Does 22 divide s(f)?
False
Let v = -19 