ctor of i?
True
Suppose q = 23 - 19. Suppose -4*u + 163 = 3*o, 0 = -u - q*o - 2 + 59. Is u even?
False
Let f(p) = -10 - 7*p**2 - 13 - 269*p + 296*p - p**3. Does 20 divide f(-12)?
False
Let g(x) = 103*x - 8. Let b = -8 - -13. Is g(b) a multiple of 13?
True
Suppose 4*p - 1 = 15. Suppose -1938 = 3*d - 8*d + p*b, 15 = 5*b. Let m = -247 + d. Is m a multiple of 15?
False
Let v(k) = -11*k - 7. Let s be v(-8). Let t(u) = -4*u + s - 77 + u. Is t(-21) a multiple of 18?
False
Suppose 0 = -182*o + 2672848 + 1367188. Does 57 divide o?
False
Let k = -68 - -73. Let l(b) = -7*b + 77. Is 7 a factor of l(k)?
True
Suppose 23*t - 20*t - 30 = 0. Let p be t/(-35) + (-2)/(-7). Suppose p*n = 5*n - 265. Does 9 divide n?
False
Let u(x) = -39*x**3 - 3*x**2 - 5*x - 5. Suppose 51 = -6*m + 39. Does 29 divide u(m)?
False
Let f(n) = n - 17. Let h be f(15). Let i(z) = -278*z - 6. Does 8 divide i(h)?
False
Suppose 37*p + 15202 = 2*j + 34*p, -3*j = -2*p - 22803. Is j a multiple of 15?
False
Is (-4 + 371126/(-42) - -1)/(2/(-3)) a multiple of 49?
False
Let s = -23 + -12. Let r be (1 + 1 - 1)*(-4 - s). Suppose 2*v = r + 35. Is v a multiple of 8?
False
Suppose -u = -2*u + 3. Suppose 18*f - 22*f = -3*y + 67, -63 = -3*y + 3*f. Suppose 3*a - u*j = 36 + 3, j = -2*a + y. Does 2 divide a?
True
Suppose 7*k - 12*k = -15. Suppose -3*d + 12 = 0, 0 = -4*g + 2*g - k*d + 28. Does 32 divide (-2)/g - (2163/(-12) - 5)?
False
Is 28 a factor of (-1)/((-22)/312932) - (8520/(-330) + 26)?
True
Let r(l) = l**2 + l - 40. Let a be r(-7). Suppose 0 = -a*n - 4*n + 1758. Is 23 a factor of n?
False
Does 29 divide (-2112)/(-198)*(-87)/(-2)?
True
Suppose 6*l + 659 = 635. Let y(j) = 110*j**2 - 43*j + 1. Is 15 a factor of y(l)?
False
Suppose 3*l - 3*k = 9, 4*l + 5*k - 3*k + 6 = 0. Suppose c = -l + 17. Is 5 a factor of c?
False
Let x(a) = -31*a - 1. Suppose -4*i + 16 = 2*d - 7*d, -5*d + 2*i - 18 = 0. Let g be x(d). Suppose 81 = 3*y - g. Is 6 a factor of y?
False
Let o(y) = 9*y**2 - 5*y + 107. Let b be o(-12). Is (12 - (-58)/(-4)) + b/2 a multiple of 56?
False
Let u be (2/(-3))/((-4)/12). Suppose u*l - 128 = -14*l. Is 8 a factor of l?
True
Suppose -7*t - 26*t = -23133. Suppose -19*p + t = -781. Is p a multiple of 4?
False
Let z = 1171 - -1210. Is 9 a factor of z?
False
Let a(k) = -21*k - 57. Let z = 65 + -72. Does 3 divide a(z)?
True
Let z(g) = -g**3 + 6*g**2 - 27*g + 138. Let c be (6/18)/(9/135). Does 2 divide z(c)?
True
Suppose -3*b + 4*c + 302 = 0, -8 = 2*c + 2*c. Suppose 60 = -2*w - b. Let v = w + 157. Is v a multiple of 26?
True
Let p = 80286 - 53299. Is 7 a factor of p?
False
Suppose -1395 = -13*c + 16*c. Let a = c - -801. Is 28 a factor of a?
True
Let o = 31 - -11. Let v = 48 - o. Suppose m - 4*m = -v, w = 2*m + 40. Does 10 divide w?
False
Suppose -4*g - 4*t = -7*g + 776, 4*g - 5*t - 1036 = 0. Let u = g + -184. Is u a multiple of 14?
False
Suppose 0 = -88*b + 82*b + 72. Suppose k + b*m - 1147 = 10*m, 3*m = 0. Does 31 divide k?
True
Suppose 15391 = 11*s - 41435. Is 21 a factor of s?
True
Let n(z) = 11*z + 4361. Is 21 a factor of n(24)?
False
Suppose 5*y - 46*v + 47*v - 37259 = 0, 4*y + 5*v = 29803. Is 36 a factor of y?
True
Let o = 21223 + -16322. Does 30 divide o?
False
Let g = 44696 + -13652. Does 106 divide g?
False
Suppose -6*o + 12059 = 1295. Suppose 0*m + 13*m - o = 0. Is m a multiple of 35?
False
Let j(a) = 28*a**2 + 3*a + 2. Let l be j(-2). Suppose 4*b - 248 = -2*w, -7*b = -5*b - 3*w - l. Is b a multiple of 4?
True
Is 111 a factor of (-2 - -30617) + 26/26?
False
Let n = 695 + -437. Let u = -242 + n. Does 4 divide u?
True
Suppose 0*o - 9 = -q + 2*o, -16 = -2*q + 5*o. Is 12 a factor of 280 - ((-9)/27 - q/(-3))?
True
Let l = -275 + 135. Let j be ((-2)/1)/((-8)/l). Is 12 a factor of 48/(-14)*j/10?
True
Suppose -5*v - 3*m = 18, 3*v + 2 = -3*m - 10. Let c(d) = d + 5. Let l be c(v). Let s(n) = 14*n**3 - 2*n**2. Is s(l) a multiple of 11?
False
Suppose 5*z - 18862 = 10*y - 9*y, -z + 3776 = -2*y. Is z a multiple of 41?
True
Let q = 196 - 182. Suppose q*i = 549 + 67. Is i a multiple of 2?
True
Let a be -2*77/14*(-1 - -2). Let z(r) = -5*r**2 - 153*r + 22. Let j(g) = 2*g**2 + 51*g - 7. Let s(t) = a*j(t) - 4*z(t). Does 11 divide s(22)?
True
Let i(y) = y + 21. Let a be -2 + (-32)/2 + (1 - 1). Let u be i(a). Suppose 3*g - u = 0, -5*b - 3*g + 55 + 43 = 0. Is b a multiple of 19?
True
Let u = -95 - -112. Let t(p) = -8 - 24 + 2*p + u*p - 5*p. Does 10 divide t(3)?
True
Suppose -78188 + 82412 = 11*d. Is 6 a factor of d?
True
Let r(i) = -7*i**3 - 7*i**2 - 12*i - 12. Let k be 1*-6 + 0/(-5 - -2). Let z be r(k). Suppose 2*o - z = -3*o. Is 44 a factor of o?
True
Let u = 46 - 61. Let s be (u - -16)*(1 - (-1 - 1)). Suppose -v - 120 = -s*w, -v + 4*v = 0. Is w a multiple of 40?
True
Let j be (5 + (-72)/16)*(1 - -5). Suppose -j*w + 1696 = 2*w - 2*f, w + 2*f - 344 = 0. Is w a multiple of 20?
True
Let q = -8 - -27. Let b(z) = 4*z + 6*z**2 - 7*z**2 + 0*z**2 + q. Does 5 divide b(6)?
False
Let d(j) = 28*j**2 - 21*j + 13. Let x be d(9). Suppose 5*m + 10 = 0, -19*o = -17*o - 3*m - x. Is 6 a factor of o?
False
Let m(z) = -4*z**2 + 42*z - 27. Let g(y) = 21*y**2 - 209*y + 137. Let h(v) = 2*g(v) + 11*m(v). Let c(s) be the first derivative of h(s). Does 21 divide c(-9)?
False
Let i = 42310 - 24992. Is i a multiple of 14?
True
Let l be (-12 + -1)/((-25)/125). Suppose 9*n - l = -2. Is 2 a factor of n?
False
Let p be (-2 + (-14)/(-4))/(3/4). Suppose -p*t + 21 = -2*f + 3, 4*t - 3*f = 31. Suppose 2*u - 388 = -t*z + 6*u, 4*u - 449 = -5*z. Is z a multiple of 12?
False
Let h(b) = -7*b**2 + 10*b - 30. Let o(v) = -6*v**2 + 11*v - 29. Let u(k) = -5*h(k) + 6*o(k). Let a = -1761 + 1769. Is 10 a factor of u(a)?
True
Suppose 9*y = 13*y + 144. Let a = -47 - -149. Let o = a + y. Is 20 a factor of o?
False
Suppose 17*b = 19*b + 1670. Let i = -406 - b. Does 35 divide i?
False
Suppose 23 = -j - 2. Does 8 divide (j - -20)*454/(-10)?
False
Let t(f) = f**3 - 7*f**2 - 4. Let o be t(7). Let c be 65/15 + o/3. Suppose 3*n = 7*l - 3*l - 322, c*l - 5*n = 247. Is l a multiple of 11?
False
Let y = -77 - -2051. Is y a multiple of 84?
False
Suppose 10146 = 47*b - 44*b. Suppose -5*a - 592 + 2843 = 2*r, 3*r = -2*a + b. Does 8 divide r?
True
Let h = -1008 + 3104. Suppose -6*m + 11*m - h = -3*j, -2*j - 3*m + 1399 = 0. Is j a multiple of 62?
False
Let q = -23553 - -38139. Is q a multiple of 82?
False
Suppose -29568 = -17*k + 6*k. Does 8 divide k/72*(150/4)/5?
True
Let r = -600 + 606. Suppose r*z - z = 7500. Does 75 divide z?
True
Suppose -12*x + 10 = -14. Suppose -t + 3*q = 5, -5*t = -x*t + 4*q + 15. Let w = t + 125. Does 8 divide w?
True
Suppose 9*h = 11*h - 1190. Suppose -w = -u - 299, w - u = 3*w - h. Does 4 divide w?
False
Suppose 4*y - 23*u + 22*u - 18439 = 0, y = 3*u + 4596. Is y a multiple of 10?
False
Let a(x) = -21*x + 390. Does 3 divide a(-7)?
True
Let z = -70000 - -109444. Does 12 divide z?
True
Let k be (43 + -2)*5*-1. Let c = k - -118. Does 8 divide c*3/(-9) - 3?
False
Let l(r) = -14*r - 359. Let z be l(-26). Let f(p) = -3 - 9*p + 32*p - 1. Is 15 a factor of f(z)?
False
Is 25 a factor of ((-537)/(-28) + (-6)/14)*28?
True
Let n be ((-270)/(-24) + -5)*8. Let x = 253 + n. Is x a multiple of 5?
False
Let b = 23888 - 12487. Does 79 divide b?
False
Suppose 0 = 4*h - 16489 + 5149. Is 11 a factor of h?
False
Suppose 5*n = 11*n - 540. Let l = n - 74. Is l a multiple of 5?
False
Let c(b) = 244*b**2 - 130*b + 360. Does 19 divide c(3)?
True
Let v(l) = l**2 - 5*l + 3. Let p be v(5). Let g(q) = -2 - q - 9 - 3*q - p. Is 4 a factor of g(-7)?
False
Suppose 10*z - 4965 = 5*z. Suppose 3*s - w = 753, -4*s + z = -0*s - 5*w. Is 3 a factor of s?
True
Let k(i) = -198*i**3 + 13*i**2 - 137*i - 515. Does 5 divide k(-4)?
False
Is (14 + 6/(-3))*76 a multiple of 10?
False
Suppose 29*b = 37*b - 384. Suppose 513 = r + 2*r. Is (r - -1)*36/b a multiple of 23?
False
Suppose -1574*a = -1648*a + 2038922. Is 59 a factor of a?
True
Suppose 183*b + 13566 = 221*b. Is 13 a factor of b?
False
Let z(p) = -3*p - 18. Let l be z(-2). Does 28 divide (0 - 32/12)*l*7?
True
Suppose -16*n - 59 = 69. Let d(v) = 5*v**2 - 6*v - 39. Is d(n) a multiple of 64?
False
Is 4 a factor of (-22 - -22 - -15) + 7753?
True
Let k(y) = -37*y + 19. Suppose 7*c - 8*c - 8 = 0. Let a be k(c). Suppose b = 2*m + 140, 0 = -3*b + b - 3*m + 