se 4*x - 2*x = h. Is 13 a factor of x?
True
Suppose 31*v + 1640 - 24146 = 0. Is v a multiple of 11?
True
Suppose -14*d + 3348 = -13*d. Is d a multiple of 62?
True
Suppose j + 0 = -3*x + 3, -3*x + 27 = 5*j. Let o be (2 + -5)*(-8)/j. Suppose 3*p + o*s = 12, -3*p - 3*s + 12 = -0*s. Is p a multiple of 2?
True
Let p(q) = 692*q**2 + 6*q + 16. Is 66 a factor of p(-2)?
True
Let x = 1768 - 1520. Is 31 a factor of x?
True
Let a = 2302 + -2276. Does 13 divide a?
True
Suppose -4*j + 0*r + 418 = -2*r, j - 115 = -3*r. Is j a multiple of 53?
True
Let n be 0*2/8 - -44. Let c = n + -11. Let l = c + -6. Is l a multiple of 11?
False
Let w(u) = -u**3 + 5*u**2 + 6*u - 7. Let x be w(6). Is 23 + (1 - (x - -4)) a multiple of 25?
False
Let z = -14 + 25. Let d(g) = 28*g - 43. Is d(z) a multiple of 40?
False
Let u be (3 + -3)*(0 + -1). Suppose 7*m - 116 + 4 = u. Is 12 a factor of m?
False
Let x = 3 - -2. Suppose 365 = 5*c - x*o, -6*c = -c + o - 347. Suppose 0*h + c = 5*h. Is 14 a factor of h?
True
Let x = 223 + -55. Is x a multiple of 7?
True
Suppose 1 + 7 = 2*v. Suppose v*c - 5*l - 1237 = 0, 6*l - l - 919 = -3*c. Does 14 divide c?
True
Let i(f) = f**2 - 3*f + 2. Let v be i(0). Suppose 0 = v*a - 160 - 156. Is 10 a factor of a?
False
Suppose 0 = 5*t - 3*t + 108. Let d = t + 118. Does 16 divide d?
True
Let w = 607 - -203. Is 6 a factor of w?
True
Let p = 6 - -172. Suppose j = -j + p. Is 18 a factor of j?
False
Suppose -3*w = -58 - 110. Let x = 151 - w. Is 12 a factor of x?
False
Let q = 560 + -317. Is 27 a factor of q?
True
Suppose 2*c = 4*q + 104, -10*c + 325 = -5*c + 3*q. Suppose -870 = -5*r - 5*o, r - 3*o + c - 228 = 0. Is 13 a factor of r?
False
Let d(m) = 4*m - 119. Let z(q) = q - 40. Let p(u) = 2*d(u) - 7*z(u). Does 3 divide p(-16)?
False
Let o(c) = 15*c - 174. Let b be o(12). Suppose -3*z + 67 = 5*a, 4*z - a - 42 = 55. Let s = z + b. Does 10 divide s?
True
Let s(x) = -x + 2. Let y be s(-2). Suppose -3*v - 117 = -4*t, 0*v - 34 = -t - y*v. Is 10 a factor of t?
True
Let j(z) = 6*z**2 - 4*z. Let y be j(3). Suppose -v + y = 2*v. Is 28 a factor of 32/(-112) + 1740/v?
False
Let i = 7 - 5. Suppose -i*n = 2*n + 5*b - 12, 5*n + 3*b = 15. Suppose 8*q - n*q = 25. Is 4 a factor of q?
False
Suppose -2*u - 14 + 4300 = 0. Does 69 divide u?
False
Let u(y) = y**3 + 14*y**2 - 20*y + 23. Does 80 divide u(-11)?
False
Let y = 1032 + -615. Is 12 a factor of y?
False
Let y = -7 + 11. Suppose y*a - 95 = 17. Suppose 29 = 4*j - 3*b, -3*j + 0*j + b = -a. Is j a multiple of 2?
False
Suppose n - 1 = -m + 1, 5*n - 13 = -2*m. Suppose -b = -0*t - 4*t + 14, -3*t = -n*b - 6. Suppose -3*v - 55 = -5*c + b*v, -3*c + 33 = -5*v. Is c a multiple of 11?
True
Let t = -91 + 55. Let j = t + 42. Is 3 a factor of j?
True
Let l be 3 + (0 - (-2 - (1 - 0))). Let g(b) = 8*b - 16. Is g(l) a multiple of 16?
True
Let x(a) = a**2 + a - 7. Let b(n) = -n**2 + 6*n + 13. Let y be b(-3). Is x(y) a multiple of 35?
True
Let f = 610 - -3815. Is 20 a factor of f?
False
Let k = 747 + 549. Suppose k = l + 5*l. Does 52 divide l?
False
Suppose 0 = -z - 4*l + 66 - 177, 306 = -3*z - 3*l. Let a = 198 + z. Does 43 divide a?
False
Does 3 divide 6838/6 + (-190)/114?
False
Let t(u) = 2*u - 4*u + u**2 + 8 + 0*u**2 - 5*u. Let n be t(7). Suppose 3*y = 4*l - 278, n*y = -l + 5*y + 62. Is l a multiple of 27?
False
Let d(t) = t - 1 + 1 + t**2. Let b be 45/6*(96/(-30) + 4). Is d(b) a multiple of 14?
True
Suppose -4*l = -0*u + 4*u - 36, -5*l = -u - 15. Let a(w) = 16*w**2 + 1. Let c(n) = 15*n**2 + 1. Let x(s) = l*c(s) - 3*a(s). Does 13 divide x(1)?
True
Is 13 a factor of (-4 - -3)*-383 - 6?
True
Suppose 5*p + 2*r - 3*r + 65 = 0, -3*p + 2*r = 32. Let f(u) = 17*u - 6. Let j(i) = i - 1. Let y(d) = p*j(d) + 2*f(d). Does 14 divide y(1)?
False
Let p(z) = 2*z - 12. Let x be p(8). Suppose 3 = 5*g + x*q, -3*q + 0 = 2*g + 3. Is 17 a factor of 2/g*(-585)/(-6)?
False
Suppose 20*g - 5296 - 21224 = 0. Is g a multiple of 78?
True
Suppose 5*j + 2*t = 423, 29*j + 4*t = 25*j + 336. Is 17 a factor of j?
True
Let s = 199 - 34. Let y = s - 40. Suppose 0 = -4*r - r + 2*p + y, -3*p - 130 = -5*r. Does 6 divide r?
False
Let k(n) = n**2 - 6*n - 6. Let g be k(3). Is 14 a factor of 422/6 - (-5)/g?
True
Let x(a) be the first derivative of -a**4/4 - a**3/3 + a**2 + 225*a + 13. Is 24 a factor of x(0)?
False
Let v = -98 + 386. Is v a multiple of 18?
True
Suppose -4*c - 1031 = -347. Let h = 287 + c. Suppose -2*a + h = 2*z, -2*z + 4*z = 3*a - 164. Is a a multiple of 15?
False
Suppose 312 = u + 8*x - 7*x, -3*u + 5*x = -936. Is u a multiple of 12?
True
Let t(s) = s**3 - 11*s**2 - 19*s + 42. Is 5 a factor of t(13)?
False
Suppose 6*y - 40 = -16. Suppose 5*h = -5*r + 285 - 10, -2*h - 214 = -y*r. Is 9 a factor of r?
True
Suppose 4*o = -0*o + 36. Suppose -o*q = -25 - 1325. Is q a multiple of 15?
True
Let j = -60 + 64. Is 418/57*6/j even?
False
Let z(w) = w**2 + 15*w - 6. Let x be z(-10). Suppose -4*j - 4*t + 0*t = 52, -5*j + 4*t - 74 = 0. Is 2 a factor of (-96)/x*j/(-4)?
True
Suppose 3*l + 2*g = -0 + 8, 0 = -5*g - 25. Let h be 126/15*20/l. Is 3 a factor of (24/h)/((-2)/(-14))?
True
Let q(h) = h**3 - 13*h**2 - 14*h. Let b be q(14). Suppose -4*c + 26 = -2*z, -4*z + 2 - 6 = b. Does 13 divide 3/c - 71/(-2)?
False
Let s = 19 + -16. Suppose -5*z + s*c = 203, 0 = z - 2*z + 5*c - 23. Let p = 74 + z. Is 10 a factor of p?
False
Let f(l) = l**2 - 6*l - 8. Does 9 divide f(10)?
False
Suppose -4*o = -7*g + 6*g + 1136, -5*o - 3408 = -3*g. Is g a multiple of 16?
True
Suppose u - 4*j - 1259 = -2*u, 2*u - 801 = -5*j. Is u a multiple of 42?
False
Let n be (20/25)/((-10)/475). Suppose 0 = -l + 38 + 43. Let b = l + n. Does 13 divide b?
False
Let g(i) = -1 - 28*i - 2 + 4. Let p be g(-1). Is p + (-3 - -2) + 1 a multiple of 6?
False
Let d(f) = -f + 4. Let o be d(-6). Suppose -o*m + 35 = -645. Is 34 a factor of m?
True
Let w(n) = n**2 - 4*n - 6. Let s be w(5). Suppose -3*f - 3 = -3*q, 5*q - 4*q = 2*f + 5. Is 2 a factor of (s/q)/(7/42)?
True
Let h = 8 - 6. Let r(w) = 53*w + 1. Let x be r(h). Suppose 44 = 3*c + 4*t - x, -4*c + 2*t = -216. Is 10 a factor of c?
False
Let y(i) = 17*i - 49. Let g be y(3). Let c = 123 + -71. Suppose -2*b = -l + 31, g*l = -0*l + 2*b + c. Is 7 a factor of l?
True
Let i = -7 + 11. Suppose -m - 1 = v - 3*m, -i*m + 17 = 3*v. Suppose 0 = -5*g - 5*r + 60, r = -v - 0. Is 15 a factor of g?
True
Does 6 divide (4 + -6)/2 + 349?
True
Let w(n) be the first derivative of 5 - 6*n + n**2 + 1/3*n**3. Is w(-9) a multiple of 18?
False
Let t be 0*(0 + 4)/12. Suppose s - 1470 = -t*s. Is 21 a factor of ((-12)/10)/((-28)/s)?
True
Suppose -m + 12 = -5*y - 11, 3*m + 7 = -4*y. Suppose -m*h = -5*l + 142, -3*l = 2*h - 5*h - 90. Is l a multiple of 6?
False
Let r(k) = 2*k**3 + 1 + 6*k**3 + 2*k**2 + 9*k**3 - 2*k. Suppose 3*c - 19 = -4*p, 4*c = -p - 4 + 12. Is 6 a factor of r(c)?
True
Let p be -7*((-155)/35 + 3). Let o be (4/p)/(10/2250). Let h = 156 - o. Is 22 a factor of h?
True
Suppose -17*r + 12*r - 2*b = -1581, 5*b = 15. Does 21 divide r?
True
Suppose -3 = -5*r + 2. Suppose b + r = 5. Suppose b*h + 0*x - x - 272 = 0, 3*h - 213 = 3*x. Is h a multiple of 11?
False
Let l be (-7)/(294/(-12)) - (-61)/7. Suppose 205 = -4*m + l*m. Is m a multiple of 9?
False
Suppose 10 + 2 = -6*c. Let u be (c - 15) + 4 - 1. Let j = 21 - u. Does 7 divide j?
True
Let u be (-2)/(-9) - 382/18. Let y = -7 - -8. Does 5 divide (u/6 + y)*-2?
True
Let j(f) = 4*f**2 + 3*f - 4. Let q be j(-3). Suppose 4*y - 119 = -q. Is y a multiple of 6?
True
Suppose 5*f + 31 = 11. Let y be 16/f + 3 + 1. Is 2 a factor of 0*(y + 1) + 7?
False
Suppose 0 = -3*m - 4*c + 16813, 11*m = 15*m - 5*c - 22438. Does 21 divide m?
True
Is 9 a factor of (-289)/(-3)*273/91?
False
Let t = 80 - 48. Is t a multiple of 4?
True
Let v(z) = z + 8. Suppose b = 2*q + 11, -5*b + 16 + 14 = -5*q. Let c be v(q). Suppose 4*i - c*i = 75. Is i a multiple of 26?
False
Let w = 19 + 101. Is w even?
True
Let b(p) = -p**2 - 10*p + 31. Let q be b(-13). Does 3 divide -2*-13*(-4)/q?
False
Suppose -3*x + 320 = -64. Let v = -58 + x. Does 13 divide v?
False
Let k = 201 - 183. Does 14 divide k?
False
Suppose 10*t = 5*t. Suppose s + 4*s = t. Suppose 0 = -4*i - s + 8, 3*d - i = 97. Is d a multiple of 12?
False
Let f = -12 - -14. Is (f - 2/(-2)) + 78 a multiple of 27?
True
Let o be (-20)/(-8)*(-12)/15. D