 x(-12). Let o be (v/12)/(1/9). Does 25 divide 47 - (o + 0 - 0)?
True
Suppose -51 = 5*q - 241. Let i = 34 - q. Let g(z) = -z**3 - 2*z**2 + 7*z + 5. Does 4 divide g(i)?
False
Let f(c) = -4*c**2 - 2*c - 2. Let q be f(-1). Let h = -1 - q. Suppose -5*n + h*n + 64 = 0. Does 11 divide n?
False
Suppose 8*t + 3*t - 55 = 0. Suppose 0 = 2*b - 2*r - 134, t*b - 2*r - 238 - 85 = 0. Is 9 a factor of b?
True
Does 2 divide ((-12)/(-5))/((-26)/(-585))?
True
Suppose 13 - 7 = 3*n. Does 7 divide 0 + 2 + (5 - (n + -2))?
True
Let x(z) = 2*z**2 - 20*z - 11. Let s be x(8). Let k = s + 81. Is k a multiple of 7?
False
Suppose -2*k + 145 = -h, -4*k - 3*h + 195 = -k. Is 35 a factor of k?
True
Is ((-62)/4)/(4/4)*-74 a multiple of 37?
True
Suppose 9784 = -33*h + 136834. Is 11 a factor of h?
True
Let u = 95 + -26. Suppose -c + 21 = -u. Does 29 divide c?
False
Let g(a) = -a**2 + 126. Is 18 a factor of g(-10)?
False
Let i(v) = 2*v**2 + 5*v + 4. Let p be i(-3). Let a(x) = x**3 + 10*x**2 - 10*x + 16. Let m be a(-11). Is 4 a factor of m/10 - p/(-2)?
True
Suppose -9 = -2*w - 183. Let o = w + 166. Is 21 a factor of o?
False
Is 36 a factor of (((-1140)/(-24))/(-19))/((-2)/36)?
False
Is (-151904)/(-1692) - (-2)/9 a multiple of 23?
False
Let z be 2/2 - (-167)/1. Suppose 0 = 2*r - 4*r + z. Is 5 a factor of r?
False
Let i be ((-4)/1)/(-2)*-6. Is 6 a factor of 0 - -27 - (i + 10)?
False
Suppose m = -121 + 226. Does 35 divide m?
True
Let g(f) = 11*f**2 + 40*f - 21. Does 17 divide g(-9)?
True
Suppose 6*s + 425 = -397. Let n = s - -273. Is 12 a factor of n?
False
Suppose 0 = 2*g + 2*m - 16, 6*g - 31 = 2*g - 3*m. Suppose -2*q - 2*t + 6 = 0, -5*q + 2 + 13 = -3*t. Suppose -16 = q*h - g*h. Is 4 a factor of h?
True
Suppose j = -2*q + 3*j - 12, 5*q + 2*j - 5 = 0. Let r = q - -1. Let x(u) = -u**2 + u + 15. Is 5 a factor of x(r)?
True
Let h = -18 - -21. Let c be -2*h/(-6) - -43. Suppose -c = -a - 11. Does 11 divide a?
True
Does 17 divide (-7850)/(-18) + (-4)/(52 - 16)?
False
Suppose 2*c - z = 3*z + 152, 0 = 3*c - 3*z - 213. Is c a multiple of 9?
False
Does 26 divide 67616/200 + 2/(-25)?
True
Let l = -24 + 49. Let p = l - 7. Is p a multiple of 5?
False
Suppose -34*n - 202 = -35*n. Suppose -n + 42 = -x. Does 20 divide x?
True
Does 18 divide 6 - (-13)/(91/84)?
True
Let p = 15 + -13. Suppose -l = p*l - 168. Suppose 3*s - 71 = -2*o, 0 = s + s - 3*o - l. Is 7 a factor of s?
False
Let z(a) = -a**2 + 17*a - 16. Let n be z(13). Let x be 299/11 - n/198. Let w = 39 - x. Is w a multiple of 9?
False
Suppose 17*n - 2496 = 5*n. Is n a multiple of 52?
True
Is 20 a factor of 25*(3 - (-565)/25)?
True
Does 16 divide (10/(-5))/2 - 258/(-2)?
True
Let t = 30 - -33. Suppose -4*j - 12 - 4 = 0. Let y = t - j. Is 21 a factor of y?
False
Suppose -9 = -3*z - 54. Suppose d - 8 = -21. Let h = d - z. Is 2 a factor of h?
True
Let n be (12/10)/(3/(-20)). Let o be n/(-36) - 32/(-18). Suppose 7 = o*p - 1. Is 3 a factor of p?
False
Let v be (-1206)/(-14) + 8/(-56). Let o = v + -53. Let a = o + 2. Is 20 a factor of a?
False
Suppose -4*l + c + 233 - 10 = 0, -c + 281 = 5*l. Let j be 9/((-4)/l*3). Let d = 75 + j. Is d a multiple of 20?
False
Let d be (42/7)/(1*2). Let m(p) = -10*p - d + 1 - 4 + p. Does 13 divide m(-5)?
True
Let j be 325/(-4) - (-4)/16. Is 11 a factor of (j/(-4))/(4/16)?
False
Let d(i) = -i**3 - 7*i**2 + 5*i - 7. Does 16 divide d(-8)?
False
Suppose -7*h - 131 - 135 = 0. Let g = h + 38. Suppose g = -l - 5 + 21. Does 10 divide l?
False
Let t(f) = -4*f + 34. Let h be t(6). Suppose h = 5*d, 0 = -5*u + 2*d - 3*d + 22. Is 4 a factor of u?
True
Let b(a) = -a**2 - 5*a + 18. Let h be b(-6). Suppose -5*g + 8*g - h = 0. Is 3 a factor of g?
False
Let k = -460 - -690. Suppose -q - q = -k. Is 23 a factor of q?
True
Let a(o) = 30*o**3 - 9*o**2 + 2*o. Is 4 a factor of a(2)?
True
Suppose -2*h - 3*q + 2115 = 0, 5*q - 3*q = -3*h + 3180. Is 59 a factor of h?
True
Let c(y) = 4*y**2 + 7*y + 93. Does 11 divide c(-9)?
False
Let z(q) = q + 2. Let n be 2/4 - 9/(-18). Let c be z(n). Let f = 42 + c. Is f a multiple of 9?
True
Suppose 0 = -4*y - 3*a - 14, -4 = -2*y + 4*a. Let z be (-7)/(-1) + (1 + -5 - -2). Let o = z - y. Is 2 a factor of o?
False
Let x = -12 - -16. Suppose 5*q + 27 + 39 = -4*h, 34 = -3*h + x*q. Let p = 42 + h. Is p a multiple of 19?
False
Suppose -q + 12 = 3*q, q - 15103 = -5*u. Does 33 divide u?
False
Let f be -2*(-2)/(-2)*-2. Suppose 0 = f*r - 34 - 190. Is 28 a factor of (r/(-5))/((-4)/20)?
True
Does 19 divide (1600/15)/4*2736/40?
True
Let k(q) = -q + 1. Let b(n) = n**2 - n - 1. Let s be b(1). Let z(v) = -26*v + 14. Let w(m) = s*z(m) + 12*k(m). Is 9 a factor of w(2)?
False
Suppose -5*p - 904 + 3979 = 0. Is 5 a factor of p?
True
Let a = 23 + -18. Suppose -351 = a*n - 8*n. Does 12 divide n?
False
Suppose -12 = 3*z - 63. Let n = z + 54. Is 24 a factor of n?
False
Let d = -34 - -34. Suppose -4*w + 10*w - 384 = d. Let a = w + 35. Is 29 a factor of a?
False
Does 12 divide (556 - 4)*(66/(-12) + 6)?
True
Suppose 4*k - g - 26 = 0, -5*k = -5*g + 17 - 57. Let p be (-2)/4 - k/(-12). Suppose q - 5*b + 8 = p, 0 = -2*q + 7*q - 3*b - 48. Does 4 divide q?
True
Is 1*2/7 - (-136396)/364 a multiple of 25?
True
Let z(b) = -b**3 + 4*b**2 + 4*b - 1. Let x be z(-3). Let m be (276/10)/(20/x). Suppose 0 = 2*y - 3*y - 3, 3*u + y - m = 0. Is u a multiple of 8?
True
Suppose v - 46 = -426. Is 6 a factor of (12/(-10))/(57/v)?
False
Let f(i) = -i**2 - 61*i - 313. Is f(-49) a multiple of 25?
True
Let n(h) = 15*h**3 + 7*h**2 + 3*h - 10. Let a(x) = 7*x**3 + 3*x**2 + x - 5. Let y(j) = -13*a(j) + 6*n(j). Does 9 divide y(4)?
True
Let x be ((-23)/2 - -3) + 2/4. Is 12 a factor of ((-62)/x - -2)*16?
True
Does 45 divide (-6)/(-4) + 13/(208/43224)?
False
Let n be 4/6 + 20/(-12). Let m be -1 + -1 - 63/n. Let x = -26 + m. Is 9 a factor of x?
False
Suppose -2*a - 3*v + 8*v + 1876 = 0, 2*v + 4 = 0. Is a a multiple of 48?
False
Suppose 3*v - 245 = -4*v. Suppose 3*h = 40 + v. Let t = h - 18. Does 7 divide t?
True
Let u be (-4 + 3)*3 + 87. Let k be 2*-4*9/(-24). Is (u/(-8))/(k/(-4)) a multiple of 14?
True
Let h be 22/(-6) - 2/(-3). Let d be -11 - h/6*2. Is 22*(-5)/d*1 a multiple of 11?
True
Suppose -b + 2*d + 6 = 0, -2 = 4*b - 4*d - 6. Let z(p) = -2*p - 4*p + 2*p**2 + 12*p. Does 4 divide z(b)?
True
Let j(b) = 5*b**2 + 2*b - 1. Let r(n) = 6*n**2 + 2*n - 1. Let s(g) = -3*j(g) + 2*r(g). Let z be s(1). Is 26 a factor of z - (0 - 380)/4?
False
Suppose 2*x = -3*x - 15, 0 = -5*m - x + 16872. Is m a multiple of 133?
False
Let d(w) = w**2 - 16*w + 7. Let p be d(17). Is (0 - -36)*(-18)/(-48)*p a multiple of 27?
True
Let b(z) = z**3 + 15*z**2 - 16*z - 4. Let a be b(-16). Is 3 a factor of (1*(a + 2) - -1)*-23?
False
Let s = 169 + -118. Suppose 0 = -s*a + 47*a + 496. Is a a multiple of 49?
False
Suppose 5*u - 6 = -16. Let q be u/((-8)/(-12)) - -8. Suppose 2*x + 5*s - 15 = -5, -x = -5*s - q. Is x a multiple of 2?
False
Suppose n - 3 = 3*p, 3*p - 93 + 6 = -4*n. Is n a multiple of 3?
True
Suppose 3*t - 143 = -53. Suppose -3*y = -564 - t. Does 33 divide y?
True
Suppose -24 + 4 = 4*d. Does 4 divide -8*(d + 4 + -4)?
True
Let f(s) = -5*s**3 - 4*s**2 - s + 2. Let l(z) = z**3 + 4*z**2 - 2*z - 10. Let m be l(-4). Is f(m) a multiple of 13?
False
Let o(r) = r**3 + 7*r**2 + 4*r - 10. Let f be o(-6). Suppose 4*y - 54 = -f. Is y a multiple of 2?
False
Let g(q) = -9*q - 3. Let r be (-4)/(-32) - (-25)/(-8). Let x be g(r). Suppose -2*n + 4*n = x. Is n a multiple of 6?
True
Let k(v) = -v**2 - 7*v + 21. Let r be k(-8). Suppose 82 = r*d - 12*d. Does 23 divide d?
False
Is 4 a factor of (-255)/(-180)*16*(4 + -1)?
True
Suppose -34 = -5*q - 2*j - 90, -3*q - 44 = -4*j. Let r = q - -20. Let z(g) = 2*g - 1. Is z(r) a multiple of 9?
False
Suppose 2*n + 2*v = -0*n + 6, 4*n - 3*v - 19 = 0. Let x be (-13 + 3)/(2/n). Is 8/x - (-137)/5 a multiple of 9?
True
Let i = -13 - -17. Let l be 10/i*(3 + -1). Suppose -t = -3*k - 37, l*t - 3*k - 224 = -k. Is t a multiple of 23?
True
Suppose -3*x + 6 + 3 = 0. Suppose 2*p - 8*m + 11 = -x*m, -3*p = 3*m + 6. Does 8 divide p/2*(-250)/15?
False
Let f(o) = 390*o**2 + 3*o + 2. Is f(-1) a multiple of 9?
False
Let u(z) = 162*z - 69. Is 39 a factor of u(5)?
True
Let i = 435 + -276. Is i a multiple of 26?
False
Let l(y) = -2*y**2 - 5*y - 13. Let k be l(-8). Let p = -72 - k. Is p a multiple of 